title: C3: Cross-instance guided Contrastive Clustering

abstract: Clustering is the task of gathering similar data samples into clusters without using any predefined labels. It has been widely studied in machine learning literature, and recent advancements in deep learning have revived interest in this field. Contrastive clustering (CC) models are a staple of deep clustering in which positive and negative pairs of each data instance are generated through data augmentation. CC models aim to learn a feature space where instance-level and cluster-level representations of positive pairs are grouped together. Despite improving the SOTA, these algorithms ignore the cross-instance patterns, which carry essential information for improving clustering performance. This increases the false-negative-pair rate of the model while decreasing its true-positive-pair rate. In this paper, we propose a novel contrastive clustering method, Cross-instance guided Contrastive Clustering (C3), that considers the cross-sample relationships to increase the number of positive pairs and mitigate the impact of false negative, noise, and anomaly sample on the learned representation of data. In particular, we define a new loss function that identifies similar instances using the instance-level representation and encourages them to aggregate together. Moreover, we propose a novel weighting method to select negative samples in a more efficient way. Extensive experimental evaluations show that our proposed method can outperform state-of-the-art algorithms on benchmark computer vision datasets: we improve the clustering accuracy by 6.6%, 3.3%, 5.0%, 1.3% and 0.3% on CIFAR-10, CIFAR-100, ImageNet-10, ImageNet-Dogs, and Tiny-ImageNet.


title: DroneNet: Crowd Density Estimation using Self-ONNs for Drones

abstract: Video surveillance using drones is both convenient and efficient due to the ease of deployment and unobstructed movement of drones in many scenarios. An interesting application of drone-based video surveillance is to estimate crowd densities (both pedestrians and vehicles) in public places. Deep learning using convolution neural networks (CNNs) is employed for automatic crowd counting and density estimation using images and videos. However, the performance and accuracy of such models typically depend upon the model architecture i.e., deeper CNN models improve accuracy at the cost of increased inference time. In this paper, we propose a novel crowd density estimation model for drones (DroneNet) using Self-organized Operational Neural Networks (Self-ONN). Self-ONN provides efficient learning capabilities with lower computational complexity as compared to CNN-based models. We tested our algorithm on two drone-view public datasets. Our evaluation shows that the proposed DroneNet shows superior performance on an equivalent CNN-based model.


title: Watermarking in Secure Federated Learning: A Verification Framework Based on Client-Side Backdooring

abstract: Federated learning (FL) allows multiple participants to collaboratively build deep learning (DL) models without directly sharing data. Consequently, the issue of copyright protection in FL becomes important since unreliable participants may gain access to the jointly trained model. Application of homomorphic encryption (HE) in secure FL framework prevents the central server from accessing plaintext models. Thus, it is no longer feasible to embed the watermark at the central server using existing watermarking schemes. In this paper, we propose a novel client-side FL watermarking scheme to tackle the copyright protection issue in secure FL with HE. To our best knowledge, it is the first scheme to embed the watermark to models under the Secure FL environment. We design a black-box watermarking scheme based on client-side backdooring to embed a pre-designed trigger set into an FL model by a gradient-enhanced embedding method. Additionally, we propose a trigger set construction mechanism to ensure the watermark cannot be forged. Experimental results demonstrate that our proposed scheme delivers outstanding protection performance and robustness against various watermark removal attacks and ambiguity attack.


title: Noncanonical Domain Wall as a Unified Model of Dark Energy and Dark Matter: I. Cosmic Dynamics

abstract: We propose noncanonical domain walls as a new dark energy model inspired by grand unified theories (GUTs). We investigate the cosmic dynamics and discover that the domain walls act as either dark energy or dark matter at different times, depending on the velocity v in the observer's comoving frame. We find a single stable solution to the dynamics, i.e., only freezing (v = 0) noncanonical domain walls can enter the phantom zone without having to experience ghost field instability. This means that the solution has an equation of state (EoS) w_dw < -1 without having to possess negative kinetic energy. These domain walls give rise to a late-time cosmic acceleration starting from z = 0.8, resulting in w_dw = -1.5 and w_eff = -1.03 today. We learn that the EoS of the noncanonical domain walls is independent of the potential form. We also investigate the perturbation dynamics following the model. Our simulations show that compared to LCDM, the amplitude of the dark matter power spectrum in the noncanonical domain wall model is lower, while the CMB power spectrum is shifted slighly to lower l multipoles. The proposed model gives a smaller sigma8 compared to that of LCDM.


title: A note on reduction of tiling problems

abstract: We show that translational tiling problems in a quotient of $\mathbb{Z}^d$ can be effectively reduced or ``simulated'' by translational tiling problems in $\mathbb{Z}^d$. In particular, for any $d \in \mathbb{N}$, $k < d$ and $N_1,\ldots,N_k \in \mathbb{N}$ the existence of an aperiodic tile in $\mathbb{Z}^{d-k} \times (\mathbb{Z} / N_1\mathbb{Z} \times \ldots \times \mathbb{Z} / N_k \mathbb{Z})$ implies the existence of an aperiodic tile in $\mathbb{Z}^d$. Greenfeld and Tao have recently disproved the well-known periodic tiling conjecture in $\mathbb{Z}^d$ for sufficiently large $d \in \mathbb{N}$ by constructing an aperiodic tile in $\mathbb{Z}^{d-k} \times (\mathbb{Z} / N_1\mathbb{Z} \times \ldots \times \mathbb{Z} / N_k \mathbb{Z})$ for suitable $d,N_1,\ldots,N_k \in \mathbb{N}$.


title: On a Nonlocal Integral Operator Commuting with the Laplacian and the Sturm-Liouville Problem I: Low Rank Perturbations of the Operator

abstract: We reformulate all general real coupled self-adjoint boundary value problems as integral operators and show that they are all finite rank perturbations of the free space Green's function on the real line. This free space Green's function corresponds to the nonlocal boundary value problem proposed earlier by Saito [N. Saito, Appl. Comput. Harmonic Anal., 25, 68--97 (2008)]. We prove these perturbations to be polynomials of rank up to 4. They encapsulate in a fundamental way the corresponding boundary conditions.


title: Automated Detection, Categorisation and Developers' Experience with the Violations of Honesty in Mobile Apps

abstract: Human values such as honesty, social responsibility, fairness, privacy, and the like are things considered important by individuals and society. Software systems, including mobile software applications (apps), may ignore or violate such values, leading to negative effects in various ways for individuals and society. While some works have investigated different aspects of human values in software engineering, this mixed-methods study focuses on honesty as a critical human value. In particular, we studied (i) how to detect honesty violations in mobile apps, (ii) the types of honesty violations in mobile apps, and (iii) the perspectives of app developers on these detected honesty violations. We first develop and evaluate 7 machine learning (ML) models to automatically detect violations of the value of honesty in app reviews from an end user perspective. The most promising was a Deep Neural Network model with F1 score of 0.921. We then conducted a manual analysis of 401 reviews containing honesty violations and characterised honest violations in mobile apps into 10 categories: unfair cancellation and refund policies; false advertisements; delusive subscriptions; cheating systems; inaccurate information; unfair fees; no service; deletion of reviews; impersonation; and fraudulent looking apps. A developer survey and interview study with mobile developers then identified 7 key causes behind honesty violations in mobile apps and 8 strategies to avoid or fix such violations. The findings of our developer study also articulate the negative consequences that honesty violations might bring for businesses, developers, and users. Finally, the app developers' feedback shows that our prototype ML-based models can have promising benefits in practice.


title: WSC-Trans: A 3D network model for automatic multi-structural segmentation of temporal bone CT

abstract: Cochlear implantation is currently the most effective treatment for patients with severe deafness, but mastering cochlear implantation is extremely challenging because the temporal bone has extremely complex and small three-dimensional anatomical structures, and it is important to avoid damaging the corresponding structures when performing surgery. The spatial location of the relevant anatomical tissues within the target area needs to be determined using CT prior to the procedure. Considering that the target structures are too small and complex, the time required for manual segmentation is too long, and it is extremely challenging to segment the temporal bone and its nearby anatomical structures quickly and accurately. To overcome this difficulty, we propose a deep learning-based algorithm, a 3D network model for automatic segmentation of multi-structural targets in temporal bone CT that can automatically segment the cochlea, facial nerve, auditory tubercle, vestibule and semicircular canal. The algorithm combines CNN and Transformer for feature extraction and takes advantage of spatial attention and channel attention mechanisms to further improve the segmentation effect, the experimental results comparing with the results of various existing segmentation algorithms show that the dice similarity scores, Jaccard coefficients of all targets anatomical structures are significantly higher while HD95 and ASSD scores are lower, effectively proving that our method outperforms other advanced methods.


title: Regulating electron diffraction direction with cylindrically symmetric rotating crystal

abstract: We report a promising InSiO film that allows simultaneous observation of sample morphology and Kikuchi patterns in raster scan mode of scanning electron microscopy. This new experimental observation suggests potential mechanism beyond existing diffraction theories. We find by simulation that this material has a novel cylindrically symmetric rotational crystalline structure that can control the diffraction direction of electrons through a specific rotational distribution of crystal planes, while being independent of the angle and energy of incident electrons within a certain range.


title: Towards Understanding Omission in Dialogue Summarization

abstract: Dialogue summarization aims to condense the lengthy dialogue into a concise summary, and has recently achieved significant progress. However, the result of existing methods is still far from satisfactory. Previous works indicated that omission is a major factor in affecting the quality of summarization, but few of them have further explored the omission problem, such as how omission affects summarization results and how to detect omission, which is critical for reducing omission and improving summarization quality. Moreover, analyzing and detecting omission relies on summarization datasets with omission labels (i.e., which dialogue utterances are omitted in the summarization), which are not available in the current literature. In this paper, we propose the OLDS dataset, which provides high-quality Omission Labels for Dialogue Summarization. By analyzing this dataset, we find that a large improvement in summarization quality can be achieved by providing ground-truth omission labels for the summarization model to recover omission information, which demonstrates the importance of omission detection for omission mitigation in dialogue summarization. Therefore, we formulate an omission detection task and demonstrate our proposed dataset can support the training and evaluation of this task well. We also call for research action on omission detection based on our proposed datasets. Our dataset and codes are publicly available.


title: Joint Data Deepening-and-Prefetching for Energy-Efficient Edge Learning

abstract: The vision of pervasive machine learning (ML) services can be realized by training an ML model on time using real-time data collected by internet of things (IoT) devices. To this end, IoT devices require offloading their data to an edge server in proximity. On the other hand, high dimensional data with a heavy volume causes a significant burden to an IoT device with a limited energy budget. To cope with the limitation, we propose a novel offloading architecture, called joint data deepening and prefetching (JD2P), which is feature-by-feature offloading comprising two key techniques. The first one is data deepening, where each data sample's features are sequentially offloaded in the order of importance determined by the data embedding technique such as principle component analysis (PCA). No more features are offloaded when the features offloaded so far are enough to classify the data, resulting in reducing the amount of offloaded data. The second one is data prefetching, where some features potentially required in the future are offloaded in advance, thus achieving high efficiency via precise prediction and parameter optimization. To verify the effectiveness of JD2P, we conduct experiments using the MNIST and fashion-MNIST dataset. Experimental results demonstrate that the JD2P can significantly reduce the expected energy consumption compared with several benchmarks without degrading learning accuracy.


title: Towards Generalization on Real Domain for Single Image Dehazing via Meta-Learning

abstract: Learning-based image dehazing methods are essential to assist autonomous systems in enhancing reliability. Due to the domain gap between synthetic and real domains, the internal information learned from synthesized images is usually sub-optimal in real domains, leading to severe performance drop of dehaizing models. Driven by the ability on exploring internal information from a few unseen-domain samples, meta-learning is commonly adopted to address this issue via test-time training, which is hyperparameter-sensitive and time-consuming. In contrast, we present a domain generalization framework based on meta-learning to dig out representative and discriminative internal properties of real hazy domains without test-time training. To obtain representative domain-specific information, we attach two entities termed adaptation network and distance-aware aggregator to our dehazing network. The adaptation network assists in distilling domain-relevant information from a few hazy samples and caching it into a collection of features. The distance-aware aggregator strives to summarize the generated features and filter out misleading information for more representative internal properties. To enhance the discrimination of distilled internal information, we present a novel loss function called domain-relevant contrastive regularization, which encourages the internal features generated from the same domain more similar and that from diverse domains more distinct. The generated representative and discriminative features are regarded as some external variables of our dehazing network to regress a particular and powerful function for a given domain. The extensive experiments on real hazy datasets, such as RTTS and URHI, validate that our proposed method has superior generalization ability than the state-of-the-art competitors.


title: Heavily Damped Precessional Switching with Very Low Write-error Rate in Elliptical-cylinder Magnetic Tunnel Junction

abstract: Voltage-induced dynamic switching in magnetic tunnel junctions (MTJs) is a writing technique for voltage-controlled magnetoresistive random access memory (VCMRAM), which is expected to be an ultimate non-volatile memory with ultra-low power consumption. In conventional dynamic switching, the width of sub-nanosecond write voltage pulses must be precisely controlled to achieve a sufficiently low write-error rate (WER). This very narrow tolerance of pulse width is the biggest technical difficulty in developing VCMRAM. Heavily damped precessional switching is a writing scheme for VCMRAM with a substantially high tolerance of pulse width although the minimum WER has been much higher than that of conventional dynamic switching with an optimum pulse width. In this study, we theoretically investigate the effect of MTJ shape and the direction of the applied magnetic field on the WER of heavily damped precessional switching. The results show that the WER in elliptical-cylinder MTJ can be several orders of magnitude smaller than that in usual circular-cylinder MTJ when the external magnetic field is applied parallel to the minor axis of the ellipse. The reduction in WER is due to the fact that the demagnetization field narrows the component of the magnetization distribution perpendicular to the plane direction immediately before the voltage is applied.


title: Secure Robotics: A Definition and a Brief Review from a Cybersecurity Control and Implementation Methodology Perspective

abstract: Secure robotics is a multi-disciplinary endeavour for improving the cybersecurity posture of robotic and embodied Artificial Intelligence systems. The article surveys emerging concepts and ideas encapsulating the notion of secure robotics and identifies five Secure Robotics Cybersecurity Control Implementation Layers as a crucial starting point for consideration by practitioners. It also recognises the need for further studies on the relationship between Human-robot trust and the implementation of established and novel cybersecurity controls.


title: Supermodular Extension of Vizing's Edge-Coloring Theorem

abstract: K\H{o}nig's edge-coloring theorem for bipartite graphs and Vizing's edge-coloring theorem for general graphs are celebrated results in graph theory and combinatorial optimization. Schrijver generalized K\H{o}nig's theorem to a framework defined with a pair of intersecting supermodular functions. The result is called the supermodular coloring theorem. This paper presents a common generalization of Vizing's theorem and a weaker version of the supermodular coloring theorem. To describe this theorem, we introduce intersecting 2/3-supermodular functions, which are extensions of intersecting supermodular functions. The paper also provides an alternative proof of Gupta's edge-coloring theorem using a special case of this supermodular version of Vizing's theorem.


title: Random Vector Representation of Continuous Functions and Its Applica-tions in Quantum Mechanics

abstract: The relation between continuous functions and random vectors is revealed in the paper that the main meaning is described as, for any given continuous function, there must be a sequence of probability spaces and a sequence of random vectors where every random vector is defined on one of these probability spaces, such that the sequence of conditional mathematical expectations formed by the random vectors uniformly converges to the continuous function. This is random vector representation of continuous functions, which is regarded as a bridge to be set up between real function theory and probability theory. By means of this conclusion, an interesting result about function approximation theory can be got. The random vectors representation of continuous functionsis is of important applications in physics. Based on the conclusion, if a large proportion of certainty phenomena can be described by continuous functions and random phenomenon can also be described by random variables or vectors, then any certainty phenomenon must be the limit state of a sequence of random phenomena. And then, in the approximation from a sequence of random vectors to a continuous function, the base functions are appropriately selected by us, an important conclusion for quantum mechanics is deduced: classical mechanics and quantum mechanics are unified. Particularly, an interesting and very important conclusion is introduced as the fact that the mass point motion of a macroscopical object possesses a kind of wave characteristic curve, which is called wave-mass-point duality.


title: Spectral & Timing analysis of Be/X-ray binary EXO 2030+375 during its giant 2021 outburst

abstract: We report the X-ray spectral and timing analysis of the high mass X-ray binary EXO 2030+375 during the 2021 type II outburst. We have incorporated NuSTAR, NICER, \textit{Swift}/BAT \& \textit{Fermi}/GBM observations to carry out a comprehensive analysis of the source. Pulse profiles in different energy ranges and time intervals have been generated and analyzed. We have performed a brief comparison of the observations amidst the peak outburst condition and also during the decaying state of the outburst. Pulse profiles are found to evolve with time and energy. An iron emission line at (6-7) keV is observed in the X-ray continuum. Distinct absorption features were observed in the spectra corresponding to the peak outburst state while such features were not detected during the later decaying phase of the outburst. We have estimated the characteristic spin-up time scale to be $\backsim$ 60 years. The continuum flux of the system and the varying luminosities covering the entire outburst period have been used to interpret the characteristics of the source. We have summarized the variability of various parameters along with their underlying physical implications.


title: On existence, uniqueness and stability of solutions to Cahn-Hilliard/Allen-Cahn systems with cross-kinetic coupling

abstract: A system of phase-field equations with strong-coupling through state and gradient dependent non-diagonal mobility matrices is studied. Existence of weak solutions is established by the Galerkin approximation and a-priori estimates in strong norms. Relative energy estimates are used to derive a general nonlinear stability estimate. As a consequence, a weak-strong uniqueness principle is obtained and stability with respect to model parameters is investigated.


title: An Improved Parameterized Algorithm for Treewidth

abstract: We give an algorithm that takes as input an $n$-vertex graph $G$ and an integer $k$, runs in time $2^{O(k^2)} n^{O(1)}$, and outputs a tree decomposition of $G$ of width at most $k$, if such a decomposition exists. This resolves the long-standing open problem of whether there is a $2^{o(k^3)} n^{O(1)}$ time algorithm for treewidth. In particular, our algorithm is the first improvement on the dependency on $k$ in algorithms for treewidth since the $2^{O(k^3)} n^{O(1)}$ time algorithm given by Bodlaender and Kloks [ICALP 1991] and Lagergren and Arnborg [ICALP 1991]. We also give an algorithm that given an $n$-vertex graph $G$, an integer $k$, and a rational $\varepsilon \in (0,1)$, in time $k^{O(k/\varepsilon)} n^{O(1)}$ either outputs a tree decomposition of $G$ of width at most $(1+\varepsilon)k$ or determines that the treewidth of $G$ is larger than $k$. Prior to our work, no approximation algorithms for treewidth with approximation ratio less than $2$, other than the exact algorithms, were known. Both of our algorithms work in polynomial space.


title: $p$-adic hypergeometric function related with $p$-adic multiple polylogarithms

abstract: This paper introduces a $p$-adic analogue of Gauss's hypergeometric function which is constructed along ideas different from Dwork's. Our construction is based on a relationship between the hypergeometric function and the KZ equation. We perform a residue-wise analytic prolongation of our $p$-adic hypergeometric function by investigating its relationship with $p$-adic multiple polylogarithms. By further exploring its local behavior around the point $1$, we show that a $p$-adic analogue of Gauss hypergeometric theorem holds for the function.


title: Characterizations and properties of dual matrix star orders

abstract: In this paper, we introduce D-star order, T-star order and P-star order on the class of dual matrices. By applying matrix decomposition and dual generalized inverses, we discuss properties, characterizations and relations among these orders, and illustrate their relations with examples.


title: ParCNetV2: Oversized Kernel with Enhanced Attention

abstract: Transformers have shown great potential in various computer vision tasks. By borrowing design concepts from transformers, many studies revolutionized CNNs and showed remarkable results. This paper falls in this line of studies. Specifically, we propose a new convolutional neural network, ParCNetV2, that extends position-aware circular convolution (ParCNet) with oversized convolutions and bifurcate gate units to enhance attention. The oversized convolution employs a kernel with twice the input size to model long-range dependencies through a global receptive field. Simultaneously, it achieves implicit positional encoding by removing the shift-invariant property from convolution kernels, i.e., the effective kernels at different spatial locations are different when the kernel size is twice as large as the input size. The bifurcate gate unit implements an attention mechanism similar to self-attention in transformers. It is applied through element-wise multiplication of the two branches, one serves as feature transformation while the other serves as attention weights. Additionally, we introduce a uniform local-global convolution block to unify the design of the early and late stage convolution blocks. Extensive experiments demonstrate the superiority of our method over other convolutional neural networks and hybrid models that combine CNNs and transformers. Code will be released.


title: General-relativistic neutrino-radiation magnetohydrodynamics simulation of seconds-long black hole-neutron star mergers: Dependence on initial magnetic field strength, configuration, and neutron-star equation of state

abstract: As a follow-up study of our previous work, numerical-relativity simulations for seconds-long black hole-neutron star mergers are performed for a variety of setups. Irrespective of the initial and symmetry conditions, we find qualitatively universal evolution processes: The dynamical mass ejection takes place together with a massive accretion disk formation after the neutron star is tidally disrupted; Subsequently, the magnetic field in the accretion disk is amplified by the magnetic winding, Kelvin-Helmholtz instability, and magnetorotational instability, which establish a turbulent state inducing the dynamo and angular momentum transport; The post-merger mass ejection by the effective viscous processes stemming from the magnetohydrodynamics turbulence sets in at $\sim300$-$500$ ms after the merger and continues for several hundred ms; A magnetosphere near the black-hole spin axis is developed and the collimated strong Poynting flux is generated with its lifetime of $\sim0.5$-$2$ s. We have newly found that the model of no equatorial-plane symmetry shows the reverse of the magnetic-field polarity in the magnetosphere, which is caused by the dynamo associated with the magnetorotational instability in the accretion disk. The model with initially toroidal fields shows the tilt of the disk and magnetosphere in the late post-merger stage because of the anisotropic post-merger mass ejection. These effects could terminate the strong Poynting-luminosity stage within the timescale of $\sim0.5$-$2$ s.


title: Gallai's Path Decomposition for 2-degenerate Graphs

abstract: Gallai's path decomposition conjecture states that if $G$ is a connected graph on $n$ vertices, then the edges of $G$ can be decomposed into at most $\lceil \frac{n }{2} \rceil$ paths. A graph is said to be an odd semi-clique if it can be obtained from a clique on $2k+1$ vertices by deleting at most $k-1$ edges. Bonamy and Perrett asked if the edges of every connected graph $G$ on $n$ vertices can be decomposed into at most $\lfloor \frac{n}{2} \rfloor$ paths unless $G$ is an odd semi-clique. A graph $G$ is said to be 2-degenerate if every subgraph of $G$ has a vertex of degree at most $2$. In this paper, we prove that the edges of any connected 2-degenerate graph $G$ on $n$ vertices can be decomposed into at most $\lfloor \frac{n }{2} \rfloor$ paths unless $G$ is a triangle.


title: FedTracker: Furnishing Ownership Verification and Traceability for Federated Learning Model

abstract: Federated learning (FL) is a distributed machine learning paradigm allowing multiple clients to collaboratively train a global model without sharing their local data. However, FL entails exposing the model to various participants. This poses a risk of unauthorized model distribution or resale by the malicious client, compromising the intellectual property rights of the FL group. To deter such misbehavior, it is essential to establish a mechanism for verifying the ownership of the model and as well tracing its origin to the leaker among the FL participants. In this paper, we present FedTracker, the first FL model protection framework that provides both ownership verification and traceability. FedTracker adopts a bi-level protection scheme consisting of global watermark mechanism and local fingerprint mechanism. The former authenticates the ownership of the global model, while the latter identifies which client the model is derived from. FedTracker leverages Continual Learning (CL) principles to embed the watermark in a way that preserves the utility of the FL model on both primitive task and watermark task. FedTracker also devises a novel metric to better discriminate different fingerprints. Experimental results show FedTracker is effective in ownership verification, traceability, and maintains good fidelity and robustness against various watermark removal attacks.


title: Is FIDO2 Passwordless Authentication a Hype or for Real?: A Position Paper

abstract: Operating system and browser support that comes with the FIDO2 standard and the biometric user verification options increasingly available on smart phones has excited everyone, especially big tech companies, about the passwordless future. Does a dream come true, are we finally totally getting rid of passwords? In this position paper, we argue that although passwordless authentication may be preferable in certain situations, it will be still not possible to eliminate passwords on the web in the foreseeable future. We defend our position with five main reasons, supported either by the results from the recent literature or by our own technical and business experience. We believe our discussion could also serve as a research agenda comprising promising future work directions on (passwordless) user authentication.


title: Stochastic asymptotical regularization for nonlinear ill-posed problems

abstract: In this paper, we establish an initial theory regarding the stochastic asymptotical regularization (SAR) for the uncertainty quantification of the stable approximate solution of ill-posed nonlinear-operator equations, which are deterministic models for numerous inverse problems in science and engineering. By combining techniques from classical regularization theory and stochastic analysis, we prove the regularizing properties of SAR with regard to mean-square convergence. The convergence rate results under the canonical sourcewise condition are also studied. Several numerical examples are used to show the accuracy and advantages of SAR: compared with the conventional deterministic regularization approaches for deterministic inverse problems, SAR can provide the uncertainty quantification of a solution and escape local minimums for nonlinear problems.


title: Strongly Continuous Domains

abstract: Strong Scott topology introduced by X. Xu and D. Zhao is a kind of new topology which is finer than upper topology and coarser than Scott topology. Inspired by the topological characterizations of continuous domains and hypercontinuous domains, we introduce the concept of strongly continuous domains and investigate some properties of strongly continuous domains. In particular, we give the definition of strong way-below relation and obtain a characterization of strongly continuous domains via the strong way-below relation. We prove that the strong way-below relation on a strongly continuous domain satisfies the interpolation property, and clarify the relationship between strongly continuous domains and continuous domains, and the relationship between strongly continuous domains and hypercontinuous domains. We discuss the properties of strong Scott topology and strong Lawson topology, which is the common refinement of the strong Scott topology and the lower topology, on a strongly continuous domain.


title: Evade the Trap of Mediocrity: Promoting Diversity and Novelty in Text Generation via Concentrating Attention

abstract: Recently, powerful Transformer architectures have proven superior in generating high-quality sentences. Nevertheless, these models tend to produce dull high-frequency phrases, severely hurting the diversity and novelty of generated text. In this work, we dig into the intrinsic mechanism of this problem and found that sparser attention values in Transformer could improve diversity. To understand such a phenomenon, we first conduct both empirical and theoretical analysis and then attribute it to representation degeneration caused by the attentive mixture of the hidden states during training. We term this process the Trap of Mediocrity. To escape from such a trap, we introduce a novel attention regularization loss to control the sharpness of the attention distribution, which is transparent to model structures and can be easily implemented within 20 lines of python code. We prove that this method could be mathematically regarded as learning a Bayesian approximation of posterior attention. Experiments show that our method improved the diversity and novelty of the generated text while maintaining comparable quality on a variety of conditional and unconditional generation tasks.


title: Model Evaluation in Medical Datasets Over Time

abstract: Machine learning models deployed in healthcare systems face data drawn from continually evolving environments. However, researchers proposing such models typically evaluate them in a time-agnostic manner, with train and test splits sampling patients throughout the entire study period. We introduce the Evaluation on Medical Datasets Over Time (EMDOT) framework and Python package, which evaluates the performance of a model class over time. Across five medical datasets and a variety of models, we compare two training strategies: (1) using all historical data, and (2) using a window of the most recent data. We note changes in performance over time, and identify possible explanations for these shocks.


title: Optimal Privacy Preserving for Federated Learning in Mobile Edge Computing

abstract: Federated Learning (FL) with quantization and deliberately added noise over wireless networks is a promising approach to preserve user differential privacy (DP) while reducing wireless resources. Specifically, an FL process can be fused with quantized Binomial mechanism-based updates contributed by multiple users. However, optimizing quantization parameters, communication resources (e.g., transmit power, bandwidth, and quantization bits), and the added noise to guarantee the DP requirement and performance of the learned FL model remains an open and challenging problem. This article aims to jointly optimize the quantization and Binomial mechanism parameters and communication resources to maximize the convergence rate under the constraints of the wireless network and DP requirement. To that end, we first derive a novel DP budget estimation of the FL with quantization/noise that is tighter than the state-of-the-art bound. We then provide a theoretical bound on the convergence rate. This theoretical bound is decomposed into two components, including the variance of the global gradient and the quadratic bias that can be minimized by optimizing the communication resources, and quantization/noise parameters. The resulting optimization turns out to be a Mixed-Integer Non-linear Programming (MINLP) problem. To tackle it, we first transform this MINLP problem into a new problem whose solutions are proved to be the optimal solutions of the original one. We then propose an approximate algorithm to solve the transformed problem with an arbitrary relative error guarantee. Extensive simulations show that under the same wireless resource constraints and DP protection requirements, the proposed approximate algorithm achieves an accuracy close to the accuracy of the conventional FL without quantization/noise. The results can achieve a higher convergence rate while preserving users' privacy.


title: Bi-Asymptotic $c$-Expansivity

abstract: In this paper, we define bi-asymptotically $c$-expansive maps on metric spaces and study its relationship with other variants of expansivity such as bi-asymptotically expansive maps and $N$-expansive maps. We also provide an example to establish that expansive homeomorphisms need not be bi-asymptotically expansive. Finally we prove a spectral decomposition theorem for bi-asymptotically $c$-expansive continuous surjective maps with the shadowing property on compact metric spaces.


title: Unsupervised Galaxy Morphological Visual Representation with Deep Contrastive Learning

abstract: Galaxy morphology reflects structural properties which contribute to understand the formation and evolution of galaxies. Deep convolutional networks have proven to be very successful in learning hidden features that allow for unprecedented performance on galaxy morphological classification. Such networks mostly follow the supervised learning paradigm which requires sufficient labelled data for training. However, it is an expensive and complicated process of labeling for million galaxies, particularly for the forthcoming survey projects. In this paper, we present an approach based on contrastive learning with aim for learning galaxy morphological visual representation using only unlabeled data. Considering the properties of low semantic information and contour dominated of galaxy image, the feature extraction layer of the proposed method incorporates vision transformers and convolutional network to provide rich semantic representation via the fusion of the multi-hierarchy features. We train and test our method on 3 classifications of datasets from Galaxy Zoo 2 and SDSS-DR17, and 4 classifications from Galaxy Zoo DECaLS. The testing accuracy achieves 94.7%, 96.5% and 89.9% respectively. The experiment of cross validation demonstrates our model possesses transfer and generalization ability when applied to the new datasets. The code that reveals our proposed method and pretrained models are publicly available and can be easily adapted to new surveys.


title: Tunable boson-assisted finite-range interaction and engineering Majorana corner modes in optical lattices

abstract: Nonlocal interaction between ultracold atoms trapped in optical lattices can give rise to interesting quantum many-body phenomena. However, its realization usually demands unconventional techniques, for example the artificial gauge fields or higher-orbit Feshbach resonances, and is not highly controllable. Here, we propose a valid and feasible scheme for realizing a tunable finite-range interaction for spinless fermions immersed into the bath of bosons. The strength of the effective interaction for the fermionic subsystem is artificially tunable by manipulating bosons, ranging from the repulsive to attractive regime. And the interaction distance is locked to the hopping of bosons, making the finite-range interaction perfectly clean for the fermionic subsystem. Specifically we find that, by introducing an additional staggered hopping of bosons, the proposal is readily applied to search the Majorana corner modes in such a spinless system, without implementation of complex artificial gauge fields, which is totally distinct from existing results reported in spinful systems. Therefore this scheme provides a potential platform for exploring the unconventional topological superfluids and other nontrivial phases induced by long-range interactions in ultracold atoms.


title: In situ tuning of dynamical Coulomb blockade on Andreev bound states in hybrid nanowire devices

abstract: Electron interactions in quantum devices can exhibit intriguing phenomena. One example is assembling an electronic device in series with an on-chip resistor. The quantum laws of electricity of the device is modified at low energies and temperatures by dissipative interactions induced by the resistor, a phenomenon known as dynamical Coulomb blockade (DCB). The DCB strength is usually non-adjustable in a fixed environment defined by the resistor. Here, we design an on-chip circuit for InAs-Al hybrid nanowires where the DCB strength can be gate-tuned in situ. InAs-Al nanowires could host Andreev or Majorana zero-energy states. This technique enables tracking the evolution of the same state while tuning the DCB strength from weak to strong. We observe the transition from a zero-bias conductance peak to split peaks for Andreev zero-energy states. Our technique opens the door to in situ tuning interaction strength on zero-energy states.


title: Cross-Modality Knowledge Distillation Network for Monocular 3D Object Detection

abstract: Leveraging LiDAR-based detectors or real LiDAR point data to guide monocular 3D detection has brought significant improvement, e.g., Pseudo-LiDAR methods. However, the existing methods usually apply non-end-to-end training strategies and insufficiently leverage the LiDAR information, where the rich potential of the LiDAR data has not been well exploited. In this paper, we propose the Cross-Modality Knowledge Distillation (CMKD) network for monocular 3D detection to efficiently and directly transfer the knowledge from LiDAR modality to image modality on both features and responses. Moreover, we further extend CMKD as a semi-supervised training framework by distilling knowledge from large-scale unlabeled data and significantly boost the performance. Until submission, CMKD ranks $1^{st}$ among the monocular 3D detectors with publications on both KITTI $test$ set and Waymo $val$ set with significant performance gains compared to previous state-of-the-art methods.


title: Pilot-Aided Distributed Multi-Group Multicast Precoding Design for Cell-Free Massive MIMO

abstract: We propose fully distributed multi-group multicast precoding designs for cell-free massive multiple-input multiple-output (MIMO) systems with modest training overhead. We target the minimization of the sum of the maximum mean squared errors (MSEs) over the multicast groups, which is then approximated with a weighted sum MSE minimization to simplify the computation and signaling. To design the joint network-wide multi-group multicast precoders at the base stations (BSs) and the combiners at the user equipments (UEs) in a fully distributed fashion, we adopt an iterative bi-directional training scheme with UE-specific or group-specific precoded uplink pilots and group-specific precoded downlink pilots. To this end, we introduce a new group-specific uplink training resource that entirely eliminates the need for backhaul signaling for the channel state information (CSI) exchange. The precoders are optimized locally at each BS by means of either best-response or gradient-based updates, and the convergence of the two approaches is analyzed with respect to the centralized implementation with perfect CSI. Finally, numerical results show that the proposed distributed methods greatly outperform conventional cell-free massive MIMO precoding designs that rely solely on local CSI.


title: SportsTrack: An Innovative Method for Tracking Athletes in Sports Scenes

abstract: The SportsMOT dataset aims to solve multiple object tracking of athletes in different sports scenes such as basketball or soccer. The dataset is challenging because of the unstable camera view, athletes' complex trajectory, and complicated background. Previous MOT methods can not match enough high-quality tracks of athletes. To pursue higher performance of MOT in sports scenes, we introduce an innovative tracker named SportsTrack, we utilize tracking by detection as our detection paradigm. Then we will introduce a three-stage matching process to solve the motion blur and body overlapping in sports scenes. Meanwhile, we present another innovation point: one-to-many correspondence between detection bboxes and crowded tracks to handle the overlap of athletes' bodies during sports competitions. Compared to other trackers such as BOT-SORT and ByteTrack, We carefully restored edge-lost tracks that were ignored by other trackers. Finally, we reached the SOTA result in the SportsMOT dataset.


title: A parton shower generator based on the GLR equation

abstract: We develop a novel Monte Carlo parton branching algorithm based on the Gribov-Levin-Ryskin (GLR) equation. The formulations of both forward evolution and backward evolution for the GLR equation are presented. The results from the Monte Carlo implementation of the GLR equation are in full agreement with its numerical solutions. Our work thus paves the way for developing an event generator that embodies the saturation effect.


title: Search for dark matter produced in association with a dark Higgs boson decaying into $W^{+}W^{-}$ in the one-lepton final state at $\sqrt{s}$=13 TeV using 139 fb$^{-1}$ of $pp$ collisions recorded with the ATLAS detector

abstract: Several extensions of the Standard Model predict the production of dark matter particles at the LHC. A search for dark matter particles produced in association with a dark Higgs boson decaying into $W^{+}W^{-}$ in the $\ell^\pm\nu q \bar q'$ final states with $\ell=e,\mu$ is presented. This analysis uses 139 fb$^{-1}$ of $pp$ collisions recorded by the ATLAS detector at a centre-of-mass energy of 13 TeV. The $W^\pm \to q\bar q'$ decays are reconstructed from pairs of calorimeter-measured jets or from track-assisted reclustered jets, a technique aimed at resolving the dense topology from a pair of boosted quarks using jets in the calorimeter and tracking information. The observed data are found to agree with Standard Model predictions. Scenarios with dark Higgs boson masses ranging between 140 and 390 GeV are excluded.


title: On the relationship between manipulated inter-scale phase and energy-efficient turbulent drag reduction

abstract: We investigate the role of inter-scale interactions in the high-Reynolds number skin-friction drag reduction strategy reported by Marusic et al. (Nat. Commun., vol. 12, 2021). The strategy involves imposing relatively low-frequency streamwise travelling waves of spanwise velocity at the wall to actuate the drag generating outer-scales. This approach has proven to be more energy-efficient than the conventional method of directly targeting the drag producing inner-scales, which typically requires actuation at higher frequencies. Notably, it is observed that actuating the outer-scales at low frequencies leads to a substantial attenuation of the major drag producing inner-scales, suggesting that the actuations affect the non-linear inner-outer coupling inherently existing in wall-bounded flows. In the present study, we find that increased drag reduction, through imposition of spanwise wall oscillations, is always associated with an increased coupling between the inner and outer scales. This enhanced coupling emerges through manipulation of the phase relationships between these triadically linked scales, with the actuation forcing the entire range of energy-containing scales, from the inner (viscous) to the outer (inertial) scales, to be more in-phase. We also find that a similar enhancement of this non-linear coupling, via manipulation of the inter-scale phase relationships, occurs with increasing Reynolds number for canonical turbulent boundary layers. This indicates improved efficacy of the energy-efficient drag reduction strategy at very high Reynolds numbers, where the energised outer-scales are known to more strongly superimpose and modulate the inner-scales. Leveraging the inter-scale interactions, therefore, offers a plausible mechanism for achieving energy-efficient drag reduction at high Reynolds numbers.


title: Concordance of spheres in 4-manifolds with an immersed dual sphere

abstract: Let $S_0$ and $S_1$ be two homotopic, oriented 2-spheres embedded in an orientable 4-manifold $X$. After discussing several operations for modifying an immersion of a 3-manifold into a 5-manifold, we discuss the Freedman--Quinn (fq) and Stong (stong) concordance obstructions. When these are defined for the pair $S_0,S_1$, they are defined in terms of the self-intersection set of a regular homotopy from $S_0$ to $S_1$. When $S_0$ has an immersed dual sphere, we see that under some mild topological conditions on $X$, the invariants fq and stong are a complete set of concordance obstructions. This work is an adaption of the methods of Richard Stong to the context of concordances of 2-spheres.


title: Spin Vector Potential and Spin Aharonov-Bohm Effect

abstract: The Aharonov-Bohm (AB) effect is an important discovery of quantum theory. It serves as a surprising quantum phenomenon in which an electrically charged particle can be affected by an electromagnetic potential, despite being confined to a region in which both the magnetic field and electric field are zero. This fact gives the electromagnetic potentials greater significance in quantum physics than in classical physics. The original AB effect belongs to an ``electromagnetic type". A certain vector potential is crucial for building a certain type of AB effect. In this work, we focus on the ``spin", which is an intrinsic property of microscopic particles that has been widely accepted nowadays. First, we propose the hypothesis of spin vector potential by considering a particle with a spin operator. Second, to verify the existence of such a spin vector potential, we present a gedanken double-slit interference experiment (i.e., the spin AB effect), which is possible to be observed in the lab. Third, we apply the spin vector potential to naturally explain why there were the Dzyaloshinsky-Moriya-type interaction and the dipole-dipole interaction between spins, and also predict a new type of spin-orbital interaction.


title: Photoionization and core resonances from range-separated time-dependent density-functional theory for open-shell states: Example of the lithium atom

abstract: We consider the calculations of photoionization spectra and core resonances of open-shell systems using range-separated time-dependent density-functional theory. Specifically, we use the time-dependent range-separated hybrid (TDRSH) scheme, combining a long-range Hartree-Fock (HF) exchange potential and kernel with a short-range potential and kernel from a local density-functional approximation, and the time-dependent locally range-separated hybrid (TDLRSH) scheme, which uses a local range-separation parameter. To efficiently perform the calculations, we formulate a spin-unrestricted linear-response Sternheimer approach in a non-orthogonal B-spline basis set and using appropriate frequency-dependent boundary conditions. We illustrate this approach on the Li atom, which suggests that TDRSH and TDLRSH are adequate simple methods for estimating single-electron photoionization spectra of open-shell systems.


title: Dollar-Yuan Battle in the World Trade Network

abstract: From the Bretton Woods agreement in 1944 till the present day, the US dollar has been the dominant currency in the world trade. However, the rise of the Chinese economy led recently to the emergence of trade transactions in Chinese yuan. Here, we analyze mathematically how the structure of the international trade flows would favor a country to trade whether in US dollar or in Chinese yuan. The computation of the trade currency preference is based on the world trade network built from the 2010-2020 UN Comtrade data. The preference of a country to trade in US dollar or Chinese yuan is determined by two multiplicative factors: the relative weight of trade volume exchanged by the country with its direct trade partners, and the relative weight of its trade partners in the global international trade. The performed analysis, based on Ising spin interactions on the world trade network, shows that, from 2010 to present, a transition took place, and the majority of the world countries would have now a preference to trade in Chinese yuan if one only consider the world trade network structure.

categories: q-fin.TR cond-mat.stat-mech cs.SI physics.soc-ph


title: Using Machine Learning Hamiltonians To Compute Molecular Motor Barrier Heights

abstract: Machine Learning Inter-atomic Potentials (MLIPs) have become a common tool in use by computational chemists due to their combination of accuracy and speed. Yet, it is still not clear how well these tools behave at or near transitions states found in complex molecules. Here we investigate the applicability of MLIPs in evaluating the transition barrier of two, complex, molecular motor systems: a 1st generation Feringa motor and the 9c alkene 2nd generation Feringa motor. We compared paths generated with the Hierarchically Interacting Particle Neural Network (HIP-NN), the PM3 semi-empirical quantum method (SEQM), PM3 interfaced with HIP-NN (SEQM+HIP-NN), and Density Functional Theory calculations. We found that using SEQM+HIP-NN to generate cheap, realistic pathway guesses then refining the intermediates with DFT allowed us to cheaply find realistic reaction paths and energy barriers matching experiment, providing evidence that deep learning can be used for high precision computational tasks such as transition path sampling while also suggesting potential application to high throughput screening.


title: Compressive Spectrum Sensing Using Blind-Block Orthogonal Least Squares

abstract: Compressive sensing (CS) has recently emerged as an extremely efficient technology of the wideband spectrum sensing. In compressive spectrum sensing (CSS), it is necessary to know the sparsity or the noise information in advance for reliable reconstruction. However, such information is usually absent in practical applications. In this paper, we propose a blind-block orthogonal least squares-based compressive spectrum sensing (B-BOLS-CSS) algorithm, which utilizes a novel blind stopping rule to cut the cords to these prior information. Specifically, we first present both the noiseless and noisy recovery guarantees for the BOLS algorithm based on the mutual incoherence property (MIP). Motivated by them, we then formulate the blind stopping rule, which exploits an $\ell_{2,\infty}$ sufficient statistic to blindly test the support atoms in the remaining measurement matrix. We further evaluate the theoretical performance analysis of the holistic B-BOLS-CSS algorithm by developing a lower bound of the signal-to-noise ratio (SNR) to ensure that the probability of exact recovery is no lower than a given threshold. Simulations not only demonstrate the improvement of our derived theoretical results, but also illustrate that B-BOLS-CSS works well in both low and high SNR environments.


title: Chiral flows can induce neck formation in viscoelastic surfaces

abstract: During division in animal cells, the actomyosin cortex has been found to exhibit counter-rotating cortical flows, also known as chiral flows, along the axis of division. Furthermore, such chiral surface flows were shown to influence cellular rearrangements and drive the left-right symmetry breaking in developing organisms. In spite of this prospective biological importance, at the current state, no numerical simulations have been done to study the influence of chiral flows on the cell cortex shape. To deepen the insight on that matter, we present here a numerical study of an axi-symmetric viscoelastic surface embedded in a viscous fluid. To investigate the influence of a chiral flow field on the surface shape and material transport, we impose a generic counter-rotating force field on this surface which induces a chiral flow field. Notably, we find that the building of a neck, as is observed during cell division, occurs if there is a strong shear elastic component. Furthermore we find that a large areal relaxation time results in flows towards the equator of the surface. These flows assist the transport of a surface concentration during the forming of a contractile ring. Accordingly, we show that chiral forces by themselves can drive pattern formation and stabilise contractile rings at the equator.


title: Approximating outcome probabilities of linear optical circuits

abstract: Quasiprobability representation is an important tool for analyzing a quantum system, such as a quantum state or a quantum circuit. In this work, we propose classical algorithms specialized for approximating outcome probabilities of a linear optical circuit using $s$-parameterized quasiprobability distributions. Notably, we can reduce the negativity bound of a circuit from exponential to at most polynomial for specific cases by modulating the shapes of quasiprobability distributions thanks to the norm-preserving property of a linear optical transformation. Consequently, our scheme renders an efficient estimation of outcome probabilities with precision depending on the classicality of the circuit. Surprisingly, when the classicality is high enough, we reach a polynomial-time estimation algorithm within a multiplicative error. Our results provide quantum-inspired algorithms for approximating various matrix functions beating best-known results. Moreover, we give sufficient conditions for the classical simulability of Gaussian boson sampling using the approximating algorithm for any (marginal) outcome probability under the poly-sparse condition. Our study sheds light on the power of linear optics, providing plenty of quantum-inspired algorithms for problems in computational complexity.


title: Securing Access to Untrusted Services From TEEs with GateKeeper

abstract: Applications running in Trusted Execution Environments (TEEs) commonly use untrusted external services such as host File System. Adversaries may maliciously alter the normal service behavior to trigger subtle application bugs that would have never occurred under correct service operation, causing data leaks and integrity violations. Unfortunately, existing manual protections are incomplete and ad-hoc, whereas formally-verified ones require special expertise. We introduce GateKeeper, a framework to develop mitigations and vulnerability checkers for such attacks by leveraging lightweight formal models of untrusted services. With the attack seen as a violation of a services' functional correctness, GateKeeper takes a novel approach to develop a comprehensive model of a service without requiring formal methods expertise. We harness available testing suites routinely used in service development to tighten the model to known correct service implementation. GateKeeper uses the resulting model to automatically generate (1) a correct-by-construction runtime service validator in C that is linked with a trusted application and guards each service invocation to conform to the model; and (2) a targeted model-driven vulnerability checker for analyzing black-box applications. We evaluate GateKeeper on Intel SGX enclaves. We develop comprehensive models of a POSIX file system and OS synchronization primitives while using thousands of existing test suites to tighten their models to the actual Linux implementations. We generate the validator and integrate it with Graphene-SGX, and successfully protect unmodified Memcached and SQLite with negligible overheads. The generated vulnerability checker detects novel vulnerabilities in the Graphene-SGX protection layer and production applications.


title: Exchanging Keys with Authentication and Identity Protection for Secure Voice Communication without Side-channel

abstract: Motivated by an increasing need for privacy-preserving voice communications, we investigate here the original idea of sending encrypted data and speech in the form of pseudo-speech signals in the audio domain. Being less constrained than military ``Crypto Phones'' and allowing genuine public evaluation, this approach is quite promising for public unsecured voice communication infrastructures, such as 3G cellular network and VoIP.A cornerstone of secure voice communications is the authenticated exchange of cryptographic keys with sole resource the voice channel, and neither Public Key Infrastructure (PKI) nor Certificate Authority (CA). In this paper, we detail our new robust double authentication mechanism based on signatures and Short Authentication Strings (SAS) ensuring strong authentication between the users while mitigating errors caused by unreliable voice channels and also identity protection against passive eavesdroppers. As symbolic model, our protocol has been formally proof-checked for security and fully validated by Tamarin Prover.


title: Identification of vortices in quantum fluids: finite element algorithms and programs

abstract: We present finite-element numerical algorithms for the identification of vortices in quantum fluids described by a macroscopic complex wave function. Their implementation using the free software FreeFem++ is distributed with this paper as a post-processing toolbox that can be used to analyse numerical or experimental data. Applications for Bose-Einstein condensates (BEC) and superfluid helium flows are presented. Programs are tested and validated using either numerical data obtained by solving the Gross-Pitaevskii equation or experimental images of rotating BEC. Vortex positions are computed as topological defects (zeros) of the wave function when numerical data are used. For experimental images, we compute vortex positions as local minima of the atomic density, extracted after a simple image processing. Once vortex centers are identified, we use a fit with a Gaussian to precisely estimate vortex radius. For vortex lattices, the lattice parameter (inter-vortex distance) is also computed. The post-processing toolbox offers a complete description of vortex configurations in superfluids. Tests for two-dimensional (giant vortex in rotating BEC, Abrikosov vortex lattice in experimental BEC) and three-dimensional (vortex rings, Kelvin waves and quantum turbulence fields in superfluid helium) configurations show the robustness of the software. The communication with programs providing the numerical or experimental wave function field is simple and intuitive. The post-processing toolbox can be also applied for the identification of vortices in superconductors.


title: Indoor Coverage Enhancement for RIS-Assisted Communication Systems: Practical Measurements and Efficient Grouping

abstract: Reconfigurable intelligent surface (RIS)-empowered communications represent exciting prospects as one of the promising technologies capable of meeting the requirements of the sixth generation networks such as low-latency, reliability, and dense connectivity. However, validation of test cases and real-world experiments of RISs are imperative to their practical viability. To this end, this paper presents a physical demonstration of an RIS-assisted communication system in an indoor environment in order to enhance the coverage by increasing the received signal power. We first analyze the performance of the RIS-assisted system for a set of different locations of the receiver and observe around 10 dB improvement in the received signal power by careful RIS phase adjustments. Then, we employ an efficient codebook design for RIS configurations to adjust the RIS states on the move without feedback channels. We also investigate the impact of an efficient grouping of RIS elements, whose objective is to reduce the training time needed to find the optimal RIS configuration. In our extensive experimental measurements, we demonstrate that with the proposed grouping scheme, training time is reduced from one-half to one-eighth by sacrificing only a few dBs in received signal power.


title: Sharp, localized phase transitions in single neuronal cells

abstract: The origin of nonlinear responses in cells has been suggested to be crucial for various cell functions including the propagation of the nervous impulse. In physics nonlinear behavior often originates from phase transitions. Evidence for such transitions on the single cell level, however, has so far not been provided leaving the field unattended by the biological community. Here we demonstrate that single cells of a human neuronal cell line, display all optical features of a sharp, highly nonlinear phase transition within their membrane. The transition is reversible and does not origin from protein denaturation. Triggered by temperature and modified by pH here, a thermodynamic approach, strongly suggests, that similar nonlinear state changes can be induced by other variables such as calcium or mechanical stress. At least in lipid membranes such state changes are accompanied by significant changes in permeability, enzyme activity, elastic and electrical properties.


title: TriDoNet: A Triple Domain Model-driven Network for CT Metal Artifact Reduction

abstract: Recent deep learning-based methods have achieved promising performance for computed tomography metal artifact reduction (CTMAR). However, most of them suffer from two limitations: (i) the domain knowledge is not fully embedded into the network training; (ii) metal artifacts lack effective representation models. The aforementioned limitations leave room for further performance improvement. Against these issues, we propose a novel triple domain model-driven CTMAR network, termed as TriDoNet, whose network training exploits triple domain knowledge, i.e., the knowledge of the sinogram, CT image, and metal artifact domains. Specifically, to explore the non-local repetitive streaking patterns of metal artifacts, we encode them as an explicit tight frame sparse representation model with adaptive thresholds. Furthermore, we design a contrastive regularization (CR) built upon contrastive learning to exploit clean CT images and metal-affected images as positive and negative samples, respectively. Experimental results show that our TriDoNet can generate superior artifact-reduced CT images.


title: Backward stochastic differential equations with conditional reflection and related recursive optimal control problems

abstract: We introduce a new type of reflected backward stochastic differential equations (BSDEs) for which the reflection constraint is imposed on its main solution component, denoted as $Y$ by convention, but in terms of its conditional expectation $\mathbb{E}[Y_t|\mathcal{G}_{t}]$ on a general sub-filtration $\{\mathcal{G}_{t}\}.$ We thus term such equation as conditionally reflected BSDE (for short, conditional RBSDE). Conditional RBSDE subsumes classical RBSDE with a pointwise reflection barrier, and the recent developed BSDE with a mean reflection constraint, as its two special and extreme cases: they exactly correspond to $\{\mathcal{G}_{t}\}$ being the full filtration to represent complete information, and the degenerated filtration to deterministic scenario, respectively. For conditional RBSDE, we obtain its existence and uniqueness under mild conditions by combining the Snell envelope method with Skorokhod lemma. We also discuss its connection, in the case of linear driver, to a class of optimal stopping problems in presence of partial information. As a by-product, a new version of comparison theorem is obtained. With the help of this connection, we study weak formulations of a class of optimal control problems with reflected recursive functionals by characterizing the related optimal solution and value. Moreover, in the special case of recursive functionals being RBSDE with pointwise reflections, we study the strong formulations of related stochastic backward recursive control and zero-sum games, both in non-Markovian framework, that are of their own interests and have not been fully explored by existing literatures yet.


title: On a charged spinless point particle minimally coupled to a constant magnetic field in a noncommutative plane

abstract: In this paper, we provide a mathematically and physically consistent minimal prescription for a charged spinless point particle coupled to a constant magnetic field in a 2-dimensional noncommutative plane. It turns out to be a gauge invariant prescription in contrast to the widely and carelessly used naive minimal prescription in the context of 2-dimensional quantum mechanics in a noncommutative plane. Besides, we explore the noncommutative U(1) gauge theoretic structure of the underlying noncommutative system by explicitly computing the 1-parameter family of Seiberg-Witten maps.


title: Surface Deformation During an Action Potential in Pearled Cells

abstract: Electric pulses in biological cells (action potentials) have been reported to be accompanied by a propagating cell-surface deformation with a nano-scale amplitude. Typically, this cell surface is covered by external layers of polymer material (extracellular matrix, cell wall material etc.). It was recently demonstrated in excitable plant cells (Chara Braunii) that the rigid external layer (cell wall) hinders the underlying deformation. When the cell membrane was separated from the cell wall by osmosis, a mechanical deformation, in the micrometer range, was observed upon excitation of the cell. The underlying mechanism of this mechanical pulse has up to date remained elusive. Herein we report that Chara cells can undergo a pearling instability, and when the pearled fragments were excited even larger and more regular cell shape changes were observed (about 10 to 100 um in amplitude). These transient cellular deformations were captured by a curvature model that is based on three parameters: surface tension, bending rigidity and pressure difference across the surface. In this paper these parameters are extracted by curve-fitting to the experimental cellular shapes at rest and during excitation. This is a necessary step to identify the mechanical parameters that change during an action potential.


title: Thresholdless stochastic particle heating by a single wave

abstract: Stochastic heating is a well-known mechanism through which magnetized particles may be energized by low-frequency electromagnetic waves. In its simplest version, under spatially homogeneous conditions, it is known to be operative only above a threshold in the normalized wave amplitude, which may be a demanding requisite in actual scenarios, severely restricting its range of applicability. In this work we show, by numerical simulations supported by inspection of the particle Hamiltonian, that allowing for even a very weak spatial inhomogeneity completely removes the threshold, trading the requirement upon the wave amplitude with a requisite upon the duration of the interaction between wave and particle. The thresholdless chaotic mechanism considered here is likely to be applicable to other inhomogeneous systems.


title: Controllable GAN Synthesis Using Non-Rigid Structure-from-Motion

abstract: In this paper, we present an approach for combining non-rigid structure-from-motion (NRSfM) with deep generative models,and propose an efficient framework for discovering trajectories in the latent space of 2D GANs corresponding to changes in 3D geometry. Our approach uses recent advances in NRSfM and enables editing of the camera and non-rigid shape information associated with the latent codes without needing to retrain the generator. This formulation provides an implicit dense 3D reconstruction as it enables the image synthesis of novel shapes from arbitrary view angles and non-rigid structure. The method is built upon a sparse backbone, where a neural regressor is first trained to regress parameters describing the cameras and sparse non-rigid structure directly from the latent codes. The latent trajectories associated with changes in the camera and structure parameters are then identified by estimating the local inverse of the regressor in the neighborhood of a given latent code. The experiments show that our approach provides a versatile, systematic way to model, analyze, and edit the geometry and non-rigid structures of faces.


title: On the infimum of the absolute value of successive derivatives of a real function defined on a bounded interval

abstract: A study of the greatest possible ratio of the smallest absolute value of a higher derivative of some function, defined on a bounded interval, to the L p-norm of the function.


title: Solving viscoelastic problems in a step-inverse Laplace transform approach supplanted with ARX models: a way to upgrade Finite Element or spectral codes

abstract: Finite Element codes used for solving the mechanical equilibrium equations in transient problems associated to (time-dependent) viscoelastic media generally relies on time-discretized versions of the selected constitutive law. Recent concerns about the use of non-integer differential equations to describe viscoelasticity or well-founded ideas based upon the use of a behavior's law directly derived from Dynamic Mechanical Analysis (DMA) experiments in frequency domain, could make the Laplace domain approach particularly attractive if embedded in a time discretized scheme. Based upon the inversion of Laplace transforms, this paper shows that this aim is not only possible but also gives rise to a simple algorithm having good performances in terms of computation times and precision. Such an approach, which fully relies on the Laplace-defined Behavioral Transfer Function (LTBF) can be promoted if it uses ARX parametric models perfectly substitutable to the real LTBF. They avoid the hitherto prohibitive pitfall of having to store all past data in the computer's memory while maintaining an equal computation precision.


title: Fcaformer: Forward Cross Attention in Hybrid Vision Transformer

abstract: Currently, one main research line in designing a more efficient vision transformer is reducing the computational cost of self attention modules by adopting sparse attention or using local attention windows. In contrast, we propose a different approach that aims to improve the performance of transformer-based architectures by densifying the attention pattern. Specifically, we proposed forward cross attention for hybrid vision transformer (FcaFormer), where tokens from previous blocks in the same stage are secondary used. To achieve this, the FcaFormer leverages two innovative components: learnable scale factors (LSFs) and a token merge and enhancement module (TME). The LSFs enable efficient processing of cross tokens, while the TME generates representative cross tokens. By integrating these components, the proposed FcaFormer enhances the interactions of tokens across blocks with potentially different semantics, and encourages more information flows to the lower levels. Based on the forward cross attention (Fca), we have designed a series of FcaFormer models that achieve the best trade-off between model size, computational cost, memory cost, and accuracy. For example, without the need for knowledge distillation to strengthen training, our FcaFormer achieves 83.1% top-1 accuracy on Imagenet with only 16.3 million parameters and about 3.6 billion MACs. This saves almost half of the parameters and a few computational costs while achieving 0.7% higher accuracy compared to distilled EfficientFormer.


title: Unitary response of solvatochromic dye to pulse excitation in lipid and cell membranes

abstract: The existence of acoustic pulse propagation in lipid monolayers at the air-water interface is well known. These pulses are controlled by the thermodynamic state of the lipid membrane. Nevertheless, the role of acoustic pulses for intra- and intercellular communication are still a matter of debate. Herein, we used the dye di 4- -ANEPPDHQ, which is known to be sensitive to the physical state and transmembrane potential of membranes, in order to gain insight into compression waves in lipid-based membrane interfaces. The dye was incorporated into lipid monolayers made of phosphatidylserine or phosphatidylcholine at the air-water-interface. A significant blue shift of the emission spectrum was detected when the state of the monolayer was changed from the liquid expanded (LE) to the liquid condensed (LC) phase. This transition-sensitivity of di-4-ANEPPDHQ was generalized in experiments with the bulk solvent dimethyl sulfoxide (DMSO). Upon crystallization of solvent, the emission spectrum also underwent a blue shift. During compression pulses in lipid monolayers, a significant fluorescence response was only observed when in the main transition regime. The optical signature of these waves, in terms of sign and magnitude, was identical to the response of di-4-ANEPPDHQ during action potentials in neurons and excitable plant cells. These findings corroborated the suggestion that action potentials are nonlinear state changes that propagate in the cell membrane.


title: Fishburn trees

abstract: The in-order traversal provides a natural correspondence between binary trees with a decreasing vertex labeling and endofunctions on a finite set. By suitably restricting the vertex labeling we arrive at a class of trees that we call Fishburn trees. We give bijections between Fishburn trees and other well-known combinatorial structures that are counted by the Fishburn numbers, and by composing these new maps we obtain simplified versions of some of the known maps. Finally, we apply this new machinery to the so called flip and sum problems on modified ascent sequences.


title: Towards A Unified Conformer Structure: from ASR to ASV Task

abstract: Transformer has achieved extraordinary performance in Natural Language Processing and Computer Vision tasks thanks to its powerful self-attention mechanism, and its variant Conformer has become a state-of-the-art architecture in the field of Automatic Speech Recognition (ASR). However, the main-stream architecture for Automatic Speaker Verification (ASV) is convolutional Neural Networks, and there is still much room for research on the Conformer based ASV. In this paper, firstly, we modify the Conformer architecture from ASR to ASV with very minor changes. Length-Scaled Attention (LSA) method and Sharpness-Aware Minimizationis (SAM) are adopted to improve model generalization. Experiments conducted on VoxCeleb and CN-Celeb show that our Conformer based ASV achieves competitive performance compared with the popular ECAPA-TDNN. Secondly, inspired by the transfer learning strategy, ASV Conformer is natural to be initialized from the pretrained ASR model. Via parameter transferring, self-attention mechanism could better focus on the relationship between sequence features, brings about 11% relative improvement in EER on test set of VoxCeleb and CN-Celeb, which reveals the potential of Conformer to unify ASV and ASR task. Finally, we provide a runtime in ASV-Subtools to evaluate its inference speed in production scenario. Our code is released at https://github.com/Snowdar/asv-subtools/tree/master/doc/papers/conformer.md.


title: Parallel Downlink Data Distribution in Indoor Multi-hop THz Networks

abstract: The emerging dynamic Virtual Reality (VR) applications are the best candidate applications in high bandwidth indoor Terahertz (THz) wireless networks, with the Reconfigurable Intelligent Surface (RIS) devices presenting a breakthrough solution in extending the typically short THz communication range and alleviating line-of-sight link blockages. In future smart factories, it is envisioned that factory workers will use VR devices via VR application data with high quality resolution, while transmitting over THz links and RIS devices, enabled by the Mobile Edge Computing (MEC) capabilities. Since indoor RIS placement is static, whereas VR users move and send multiple VR data download requests simultaneously, there is a challenge of proper network load balancing, which if unaddressed can result in poor resource utilization and low throughput. To address this challenge, we propose a parallel downlink data distribution system and develop multi-criteria optimization solutions that can improve throughput, while transmitting each downlink data flow over a set of possible paths between source and destination devices. The results show that the proposed system can enhance the performance in terms of throughput benefit, as compared to the system using one serial download link distribution.


title: LHCb measurements of Quarkonia Production in Ultraperipheral PbPb collisions and Z production in $p$Pb collisions

abstract: Measurements of quarkonia production in ultra-peripheral heavy-ion collisions are of important value to study photon-photon and photon-nucleus interactions, the partonic structure of nuclei, and mechanisms of vector-meson production. LHCb has studied both coherent $J/\psi$ and $\psi(2S)$ mesons in ultra-peripheral collisions using PbPb data at forward rapidity with the highest precision currently accessible. In addition, measurements of $Z$ production in $p$Pb collisions provide new constraints on the partonic structure of nucleons bound inside nuclei. Here will present these measurements of quarkonia and $Z$ production, along with comparisons with the latest theoretical models. Measurements of quarkonia production in ultra-peripheral heavy-ion collisions are of important value to study photon-photon and photon-nucleus interactions, the partonic structure of nuclei, and mechanisms of vector-meson production. LHCb has studied both coherent $J/\psi$ and $\psi(2S)$ mesons in ultra-peripheral collisions using PbPb data at forward rapidity with the highest precision currently accessible. In addition, measurements of $Z$ production in $p$Pb collisions provide new constraints on the partonic structure of nucleons bound inside nuclei. Here will present these measurements of quarkonia and $Z$ production, along with comparisons with the latest theoretical models.


title: Multi-User Frequency Assignment for Ultra-Reliable mmWave Two-Ray Channels

abstract: We consider a multi-user two-ray ground reflection scenario with unknown distances between transmitter and receivers. By using two frequencies per user in parallel, we can mitigate possible destructive interference and ensure ultra-reliability with only very limited knowledge at the transmitter. In this work, we consider the problem of assigning two frequencies to each receiver in a multi-user communication system such that the average minimum receive power is maximized. In order to solve this problem, we introduce a generalization of the quadratic multiple knapsack problem to include heterogeneous profits and develop an algorithm to solve it. Compared to random frequency assignment, we report a gain of around 6 dB in numerical simulations.


title: Unique in the Smart Grid -The Privacy Cost of Fine-Grained Electrical Consumption Data

abstract: The collection of electrical consumption time series through smart meters grows with ambitious nationwide smart grid programs. This data is both highly sensitive and highly valuable: strong laws about personal data protect it while laws about open data aim at making it public after a privacy-preserving data publishing process. In this work, we study the uniqueness of large scale real-life fine-grained electrical consumption time-series and show its link to privacy threats. Our results show a worryingly high uniqueness rate in such datasets. In particular, we show that knowing 5 consecutive electric measures allows to re-identify on average more than 90% of households in our 2.5M half-hourly electric time series dataset. Moreover, uniqueness remains high even when data is severely degraded. For example, when data is rounded to the nearest 100 watts, knowing 7 consecutive electric measures allows to re-identify on average more than 40% of the households (same dataset). We also study the relationship between uniqueness and entropy, uniqueness and electric consumption, and electric consumption and temperatures, showing their strong correlation.


title: Scalable PAC-Bayesian Meta-Learning via the PAC-Optimal Hyper-Posterior: From Theory to Practice

abstract: Meta-Learning aims to speed up the learning process on new tasks by acquiring useful inductive biases from datasets of related learning tasks. While, in practice, the number of related tasks available is often small, most of the existing approaches assume an abundance of tasks; making them unrealistic and prone to overfitting. A central question in the meta-learning literature is how to regularize to ensure generalization to unseen tasks. In this work, we provide a theoretical analysis using the PAC-Bayesian theory and present a generalization bound for meta-learning, which was first derived by Rothfuss et al. (2021a). Crucially, the bound allows us to derive the closed form of the optimal hyper-posterior, referred to as PACOH, which leads to the best performance guarantees. We provide a theoretical analysis and empirical case study under which conditions and to what extent these guarantees for meta-learning improve upon PAC-Bayesian per-task learning bounds. The closed-form PACOH inspires a practical meta-learning approach that avoids the reliance on bi-level optimization, giving rise to a stochastic optimization problem that is amenable to standard variational methods that scale well. Our experiments show that, when instantiating the PACOH with Gaussian processes and Bayesian Neural Networks models, the resulting methods are more scalable, and yield state-of-the-art performance, both in terms of predictive accuracy and the quality of uncertainty estimates.


title: Quantum phase transitions for an integrable quantum Rabi-like model with two interacting qubits

abstract: A two-interacting-qubit quantum Rabi-like model with vanishing transverse fields on the qubit-pair is studied. Independently of the coupling regime, this model can be exactly and unitarily reduced to two independent single-spin quantum Rabi models, where the spin-spin coupling plays the role of the transverse field. This transformation and the analytical treatment of the single-spin quantum Rabi model provide the key to prove the integrability of our model. The existence of different first-order quantum phase transitions, characterized by discontinuous two-spin magnetization, mean photon number and concurrence, is brought to light.


title: A Lego-Brick Approach to Coding for Network Communication

abstract: Coding schemes for several problems in network information theory are constructed starting from point-to-point channel codes that are designed for symmetric channels. Given that the point-to-point codes satisfy certain properties pertaining to the rate, the error probability, and the distribution of decoded sequences, bounds on the performance of the coding schemes are derived and shown to hold irrespective of other properties of the codes. In particular, we consider the problems of lossless and lossy source coding, Slepian-Wolf coding, Wyner-Ziv coding, Berger-Tung coding, multiple description coding, asymmetric channel coding, Gelfand-Pinsker coding, coding for multiple access channels, Marton coding for broadcast channels, and coding for cloud radio access networks (C-RAN's). We show that the coding schemes can achieve the best known inner bounds for these problems, provided that the constituent point-to-point channel codes are rate-optimal. This would allow one to leverage commercial off-the-shelf codes for point-to-point symmetric channels in the practical implementation of codes over networks. Simulation results demonstrate the gain of the proposed coding schemes compared to existing practical solutions to these problems.


title: Learning Neural Optimal Interpolation Models and Solvers

abstract: The reconstruction of gap-free signals from observation data is a critical challenge for numerous application domains, such as geoscience and space-based earth observation, when the available sensors or the data collection processes lead to irregularly-sampled and noisy observations. Optimal interpolation (OI), also referred to as kriging, provides a theoretical framework to solve interpolation problems for Gaussian processes (GP). The associated computational complexity being rapidly intractable for n-dimensional tensors and increasing numbers of observations, a rich literature has emerged to address this issue using ensemble methods, sparse schemes or iterative approaches. Here, we introduce a neural OI scheme. It exploits a variational formulation with convolutional auto-encoders and a trainable iterative gradient-based solver. Theoretically equivalent to the OI formulation, the trainable solver asymptotically converges to the OI solution when dealing with both stationary and non-stationary linear spatio-temporal GPs. Through a bi-level optimization formulation, we relate the learning step and the selection of the training loss to the theoretical properties of the OI, which is an unbiased estimator with minimal error variance. Numerical experiments for 2D+t synthetic GP datasets demonstrate the relevance of the proposed scheme to learn computationally-efficient and scalable OI models and solvers from data. As illustrated for a real-world interpolation problems for satellite-derived geophysical dynamics, the proposed framework also extends to non-linear and multimodal interpolation problems and significantly outperforms state-of-the-art interpolation methods, when dealing with very high missing data rates.


title: Grafting Pre-trained Models for Multimodal Headline Generation

abstract: Multimodal headline utilizes both video frames and transcripts to generate the natural language title of the videos. Due to a lack of large-scale, manually annotated data, the task of annotating grounded headlines for video is labor intensive and impractical. Previous researches on pre-trained language models and video-language models have achieved significant progress in related downstream tasks. However, none of them can be directly applied to multimodal headline architecture where we need both multimodal encoder and sentence decoder. A major challenge in simply gluing language model and video-language model is the modality balance, which is aimed at combining visual-language complementary abilities. In this paper, we propose a novel approach to graft the video encoder from the pre-trained video-language model on the generative pre-trained language model. We also present a consensus fusion mechanism for the integration of different components, via inter/intra modality relation. Empirically, experiments show that the grafted model achieves strong results on a brand-new dataset collected from real-world applications.


title: Joint Jammer Mitigation and Data Detection for Smart, Distributed, and Multi-Antenna Jammers

abstract: Multi-antenna (MIMO) processing is a promising solution to the problem of jammer mitigation. Existing methods mitigate the jammer based on an estimate of its subspace (or receive statistics) acquired through a dedicated training phase. This strategy has two main drawbacks: (i) it reduces the communication rate since no data can be transmitted during the training phase and (ii) it can be evaded by smart or multi-antenna jammers that are quiet during the training phase or that dynamically change their subspace through time-varying beamforming. To address these drawbacks, we propose joint jammer mitigation and data detection (JMD), a novel paradigm for MIMO jammer mitigation. The core idea is to estimate and remove the jammer interference subspace jointly with detecting the transmit data over multiple time slots. Doing so removes the need for a dedicated rate-reducing training period while enabling the mitigation of smart and dynamic multi-antenna jammers. We instantiate our paradigm with SANDMAN, a simple and practical algorithm for multi-user MIMO uplink JMD. Extensive simulations demonstrate the efficacy of JMD, and of SANDMAN in particular, for jammer mitigation.


title: Risk Budgeting Portfolios: Existence and Computation

abstract: Modern portfolio theory has provided for decades the main framework for optimizing portfolios. Because of its sensitivity to small changes in input parameters, especially expected returns, the mean-variance framework proposed by Markowitz (1952) has however been challenged by new construction methods that are purely based on risk. Among risk-based methods, the most popular ones are Minimum Variance, Maximum Diversification, and Risk Budgeting (especially Equal Risk Contribution) portfolios. Despite some drawbacks, Risk Budgeting is particularly attracting because of its versatility: based on Euler's homogeneous function theorem, it can indeed be used with a wide range of risk measures. This paper presents mathematical results regarding the existence and the uniqueness of Risk Budgeting portfolios for a very wide spectrum of risk measures and shows that, for many of them, computing the weights of Risk Budgeting portfolios only requires a standard stochastic algorithm.


title: Branching Random Walks on relatively hyperbolic groups

abstract: Let $\Gamma$ be a non-elementary relatively hyperbolic group with a finite generating set. Consider a finitely supported admissible and symmetric probability measure $\mu$ on $\Gamma$ and a probability measure $\nu$ on $\mathbb{N}$ with mean $r$. Let $\mathrm{BRW}(\Gamma,\nu,\mu)$ be the branching random walk on $\Gamma$ with offspring distribution $\nu$ and base motion given by the random walk with step distribution $\mu$. It is known that for $1 < r \leq R$ with $R$ the radius of convergence for the Green function of the random walk, the population of $\mathrm{BRW}(\Gamma,\nu,\mu)$ survives forever, but eventually vacates every finite subset of $\Gamma$. We prove that in this regime, the growth rate of the trace of the branching random walk is equal to the growth rate $\omega_\Gamma(r)$ of the Green function of the underlying random walk. We also prove that the Hausdorff dimension of the limit set $\Lambda(r)$, which is the random subset of the Bowditch boundary consisting of all accumulation points of the trace of $\mathrm{BRW}(\Gamma,\nu,\mu)$, is equal to a constant times $\omega_\Gamma(r)$.


title: Robust Collaborative 3D Object Detection in Presence of Pose Errors

abstract: Collaborative 3D object detection exploits information exchange among multiple agents to enhance accuracy of object detection in presence of sensor impairments such as occlusion. However, in practice, pose estimation errors due to imperfect localization would cause spatial message misalignment and significantly reduce the performance of collaboration. To alleviate adverse impacts of pose errors, we propose CoAlign, a novel hybrid collaboration framework that is robust to unknown pose errors. The proposed solution relies on a novel agent-object pose graph modeling to enhance pose consistency among collaborating agents. Furthermore, we adopt a multi-scale data fusion strategy to aggregate intermediate features at multiple spatial resolutions. Comparing with previous works, which require ground-truth pose for training supervision, our proposed CoAlign is more practical since it doesn't require any ground-truth pose supervision in the training and makes no specific assumptions on pose errors. Extensive evaluation of the proposed method is carried out on multiple datasets, certifying that CoAlign significantly reduce relative localization error and achieving the state of art detection performance when pose errors exist. Code are made available for the use of the research community at https://github.com/yifanlu0227/CoAlign.


title: The Volumetric Extended-Schmidt Law: A Unity Slope

abstract: We investigate the extended-Schmidt (ES) law in volume densities ($\rho_{\rm SFR}$ $\propto$ $(\rho_{\rm gas}\rho_{\rm star}^{0.5})^{\alpha^{\rm VES}}$) for spatially-resolved regions in spiral, dwarf, and ultra-diffuse galaxies (UDGs), and compare to the volumetric Kennicutt-Schmidt (KS) law ($\rho_{\rm SFR}$ $\propto$ $\rho_{\rm gas}^{\alpha^{\rm VKS}}$). We first characterize these star formation laws in individual galaxies using a sample of 11 spirals, finding median slopes $\alpha^{\rm VES}$=0.98 and $\alpha^{\rm VKS}$=1.42, with a galaxy-to-galaxy rms fluctuation that is substantially smaller for the volumetric ES law (0.18 vs 0.41). By combining all regions in spirals with those in additional 13 dwarfs and one UDG into one single dataset, it is found that the rms scatter of the volumetric ES law at given x-axis is 0.25 dex, also smaller than that of the volumetric KS law (0.34 dex). At the extremely low gas density regime as offered by the UDG, the volumetric KS law breaks down but the volumetric ES law still holds. On the other hand, as compared to the surface density ES law, the volumetric ES law instead has a slightly larger rms scatter, consistent with the scenario that the ES law has an intrinsic slope of $\alpha^{\rm VES} \equiv$1 but the additional observational error of the scale height increases the uncertainty of the volume density. The unity slope of the ES law implies that the star formation efficiency (=$\rho_{\rm SFR}$/$\rho_{\rm gas}$) is regulated by the quantity that is related to the $\rho_{\rm star}^{0.5}$.


title: Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS

abstract: Using an algorithm due to Safra for distributed termination detection as a running example, we present the main tools for verifying specifications written in TLA+. Examining their complementary strengths and weaknesses, we suggest a workflow that supports different types of analysis and that can be adapted to the desired degree of confidence.