title: Compact differences of composition operators on weighted Dirichlet spaces

abstract: Here we consider when the difference of two composition operators is compact on the weighted Dirichlet spaces $\mathcal{D}_\alpha$. Specifically we study differences of composition operators on the Dirichlet space $\mathcal{D}$ and $S^2$, the space of analytic functions whose first derivative is in $H^2$, and then use Calder\'{o}n's complex interpolation to extend the results to the general weighted Dirichlet spaces. As a corollary we consider composition operators induced by linear fractional self-maps of the disk.


title: Optimal edge fault-tolerant-prescribed hamiltonian laceability of balanced hypercubes

abstract: Aims: Try to prove the $n$-dimensional balanced hypercube $BH_n$ is $(2n-2)$-fault-tolerant-prescribed hamiltonian laceability. Methods: Prove it by induction on $n$. It is known that the assertation holds for $n\in\{1,2\}$. Assume it holds for $n-1$ and prove it holds for $n$, where $n\geq 3$. If there are $2n-3$ faulty links and they are all incident with a common node, then we choose some dimension such that there is one or two faulty links and no prescribed link in this dimension; Otherwise, we choose some dimension such that the total number of faulty links and prescribed links does not exceed $1$. No matter which case, partition $BH_n$ into $4$ disjoint copies of $BH_{n-1}$ along the above chosen dimension. Results: On the basis of the above partition of $BH_n$, in this manuscript, we complete the proof for the case that there is at most one faulty link in the above chosen dimension.


title: Non-Hermitian skin effect in one-dimensional interacting Bose gas

abstract: Non-Hermitian skin effect (NHSE) is a unique feature studied extensively in non-interacting non-Hermitian systems. In this work, we extend the NHSE originally discovered in non-interacting systems to interacting many-body systems by investigating an exactly solvable non-Hermitian model, i.e., the prototypical Lieb-Liniger Bose gas with imaginary vector potential. We show that this non-Hermitian many-body model can also be exactly solved through Bethe ansatz. By solving the Bethe ansatz equations accurately, the explicit eigenfunction is obtained, and the model's density profiles and momentum distributions are calculated to characterize the NHSE quantitatively. We find that the NHSE is gradually suppressed on the repulsive side but does not vanish as the repulsive interaction strength increases. On the attractive side, the NSHE for bound-state solutions is enhanced as interaction strength grows. In contrast, for the scattering state the NHSE shows a non-monotonic behavior in the attractive side. Our work provides the first example of the NHSE in exactly solvable many-body systems, and we envision that it can be extended to other non-Hermitian many-body systems, especially to integrable models.


title: Variance estimation in graphs with the fused lasso

abstract: We study the problem of variance estimation in general graph-structured problems. First, we develop a linear time estimator for the homoscedastic case that can consistently estimate the variance in general graphs. We show that our estimator attains minimax rates for the chain and 2D grid graphs when the mean signal has total variation with canonical scaling. Furthermore, we provide general upper bounds on the mean squared error performance of the fused lasso estimator in general graphs under a moment condition and a bound on the tail behavior of the errors. These upper bounds allow us to generalize for broader classes of distributions, such as sub-exponential, many existing results on the fused lasso that are only known to hold with the assumption that errors are sub-Gaussian random variables. Exploiting our upper bounds, we then study a simple total variation regularization estimator for estimating the signal of variances in the heteroscedastic case. We also provide lower bounds showing that our heteroscedastic variance estimator attains minimax rates for estimating signals of bounded variation in grid graphs, and $K$-nearest neighbor graphs, and the estimator is consistent for estimating the variances in any connected graph.


title: SOUL-Net: A Sparse and Low-Rank Unrolling Network for Spectral CT Image Reconstruction

abstract: Spectral computed tomography (CT) is an emerging technology, that generates a multienergy attenuation map for the interior of an object and extends the traditional image volume into a 4D form. Compared with traditional CT based on energy-integrating detectors, spectral CT can make full use of spectral information, resulting in high resolution and providing accurate material quantification. Numerous model-based iterative reconstruction methods have been proposed for spectral CT reconstruction. However, these methods usually suffer from difficulties such as laborious parameter selection and expensive computational costs. In addition, due to the image similarity of different energy bins, spectral CT usually implies a strong low-rank prior, which has been widely adopted in current iterative reconstruction models. Singular value thresholding (SVT) is an effective algorithm to solve the low-rank constrained model. However, the SVT method requires manual selection of thresholds, which may lead to suboptimal results. To relieve these problems, in this paper, we propose a Sparse and lOw-rank UnroLling Network for spectral CT image reconstruction (SOUL-Net), that learns the parameters and thresholds in a data-driven manner. Furthermore, a Taylor expansion-based neural network backpropagation method is introduced to improve the numerical stability. The qualitative and quantitative results demonstrate that the proposed method outperforms several representative state-of-the-art algorithms in terms of detail preservation and artifact reduction.


title: Regular and Singular Steady States of 2D incompressible Euler equations near the Bahouri-Chemin Patch

abstract: We consider steady states of the two-dimensional incompressible Euler equations in $\mathbb{T}^2$ and construct smooth and singular steady states around a particular singular steady state. More precisely, we construct families of smooth and singular steady solutions that converge to the Bahouri-Chemin patch.


title: On a Bogomolov type vanishing theorem

abstract: Let $X$ be a compact K\"ahler manifold and $(L,h)\rightarrow X$ be a pseudoeffective line bundle, such that the curvature $i\Theta_{L,h}\geq 0$ in the sense of currents. The main result of the present paper is that $H^n(X,\mathcal{O}(\Omega^p_X\otimes L)\otimes \mathcal{I}(h))=0$ for $p\geq n-nd(L,h)+1$. This is a generalization of Bogomolov's vanishing theorem.


title: Euclidean Dynamical Triangulations Revisited

abstract: We conduct numerical simulations of a model of four dimensional quantum gravity in which the path integral over continuum Euclidean metrics is approximated by a sum over combinatorial triangulations. At fixed volume the model contains a discrete Einstein-Hilbert term with coupling $\kappa$ and local measure term with coupling $\beta$ that weights triangulations according to the number of simplices sharing each vertex. We map out the phase diagram in this two dimensional parameter space and compute a variety of observables that yield information on the nature of any continuum limit. Our results are consistent with a line of first order phase transitions with a latent heat that decreases as $\kappa\to\infty$. We find a Hausdorff dimension along the critical line that approaches $D_H=4$ for large $\kappa$ and a spectral dimension that is consistent with $D_s=\frac{3}{2}$ at short distances. These results are broadly in agreement with earlier works on Euclidean dynamical triangulation models which utilize degenerate triangulations and/or different measure terms and indicate that such models exhibit a degree of universality.


title: Pluriclosed flow and Hermitian-symplectic structures

abstract: We show pluriclosed flow preserves the Hermitian-symplectic structures. And we observe that it can actually become a flow of Hermitian-symplectic forms when an extra evolution equation determined by the Bismut-Ricci form is considered. Moreover, we get a topological obstruction to the long-time existence in arbitrary dimension.


title: Learning Bipedal Walking On Planned Footsteps For Humanoid Robots

abstract: Deep reinforcement learning (RL) based controllers for legged robots have demonstrated impressive robustness for walking in different environments for several robot platforms. To enable the application of RL policies for humanoid robots in real-world settings, it is crucial to build a system that can achieve robust walking in any direction, on 2D and 3D terrains, and be controllable by a user-command. In this paper, we tackle this problem by learning a policy to follow a given step sequence. The policy is trained with the help of a set of procedurally generated step sequences (also called footstep plans). We show that simply feeding the upcoming 2 steps to the policy is sufficient to achieve omnidirectional walking, turning in place, standing, and climbing stairs. Our method employs curriculum learning on the complexity of terrains, and circumvents the need for reference motions or pre-trained weights. We demonstrate the application of our proposed method to learn RL policies for 2 new robot platforms - HRP5P and JVRC-1 - in the MuJoCo simulation environment. The code for training and evaluation is available online.


title: Multiplication operators between Lipschitz-type spaces on a tree

abstract: Let $\mathcal{L}$ be the space of complex-valued functions $f$ on the set of vertices $T$ of an rooted infinite tree rooted at $o$ such that the difference of the values of $f$ at neighboring vertices remains bounded throughout the tree, and let $\mathcal{L}_{\textbf{w}}$ be the set of functions $f\in \mathcal{L}$ such that $|f(v)-f(v^-)|=O(|v|^{-1})$, where $|v|$ is the distance between $o$ and $v$ and $v^-$ is the neighbor of $v$ closest to $o$. In this article, we characterize the bounded and the compact multiplication operators between $\mathcal{L}$ and $\mathcal{L}_{\textbf{w}}$, and provide operator norm and essential norm estimates. Furthermore, we characterize the bounded and compact multiplication operators between $\mathcal{L}_{\textbf{w}}$ and the space $L^\infty$ of bounded functions on $T$ and determine their operator norm and their essential norm. We establish that there are no isometries among the multiplication operators between these spaces.


title: Learning Hierarchy Aware Features for Reducing Mistake Severity

abstract: Label hierarchies are often available apriori as part of biological taxonomy or language datasets WordNet. Several works exploit these to learn hierarchy aware features in order to improve the classifier to make semantically meaningful mistakes while maintaining or reducing the overall error. In this paper, we propose a novel approach for learning Hierarchy Aware Features (HAF) that leverages classifiers at each level of the hierarchy that are constrained to generate predictions consistent with the label hierarchy. The classifiers are trained by minimizing a Jensen-Shannon Divergence with target soft labels obtained from the fine-grained classifiers. Additionally, we employ a simple geometric loss that constrains the feature space geometry to capture the semantic structure of the label space. HAF is a training time approach that improves the mistakes while maintaining top-1 error, thereby, addressing the problem of cross-entropy loss that treats all mistakes as equal. We evaluate HAF on three hierarchical datasets and achieve state-of-the-art results on the iNaturalist-19 and CIFAR-100 datasets. The source code is available at https://github.com/07Agarg/HAF


title: Cross-Modal Causal Relational Reasoning for Event-Level Visual Question Answering

abstract: Existing visual question answering methods often suffer from cross-modal spurious correlations and oversimplified event-level reasoning processes that fail to capture event temporality, causality, and dynamics spanning over the video. In this work, to address the task of event-level visual question answering, we propose a framework for cross-modal causal relational reasoning. In particular, a set of causal intervention operations is introduced to discover the underlying causal structures across visual and linguistic modalities. Our framework, named Cross-Modal Causal RelatIonal Reasoning (CMCIR), involves three modules: i) Causality-aware Visual-Linguistic Reasoning (CVLR) module for collaboratively disentangling the visual and linguistic spurious correlations via front-door and back-door causal interventions; ii) Spatial-Temporal Transformer (STT) module for capturing the fine-grained interactions between visual and linguistic semantics; iii) Visual-Linguistic Feature Fusion (VLFF) module for learning the global semantic-aware visual-linguistic representations adaptively. Extensive experiments on four event-level datasets demonstrate the superiority of our CMCIR in discovering visual-linguistic causal structures and achieving robust event-level visual question answering. The datasets, code, and models are available at https://github.com/HCPLab-SYSU/CMCIR.


title: Efficient and Accurate Skeleton-Based Two-Person Interaction Recognition Using Inter- and Intra-body Graphs

abstract: Skeleton-based two-person interaction recognition has been gaining increasing attention as advancements are made in pose estimation and graph convolutional networks. Although the accuracy has been gradually improving, the increasing computational complexity makes it more impractical for a real-world environment. There is still room for accuracy improvement as the conventional methods do not fully represent the relationship between inter-body joints. In this paper, we propose a lightweight model for accurately recognizing two-person interactions. In addition to the architecture, which incorporates middle fusion, we introduce a factorized convolution technique to reduce the weight parameters of the model. We also introduce a network stream that accounts for relative distance changes between inter-body joints to improve accuracy. Experiments using two large-scale datasets, NTU RGB+D 60 and 120, show that our method simultaneously achieved the highest accuracy and relatively low computational complexity compared with the conventional methods.


title: The Gap Test: Effects of Crack Parallel Compression on Fracture in Carbon Fiber Composites

abstract: This paper explores the global Mode I fracture energy of a carbon fiber composite subject to a biaxial stress state at a crack tip, specifically in which one stress component is compressive and parallel to the crack. Based on an experimental technique previously coined as The Gap Test and Bazant's Type II Size Effect Law, it is found that there is a monotonic decrease in the Mode I fracture energy as the crack parallel compressive stress increases. Compared to the nominal value of fracture energy, where no crack parallel compression is applied, the fracture energy is observed to decrease by up to 37% for a compressive stress equal to 44% of the compressive failure limit of the composite. This weakening effect is attributed to splitting cracks that are induced at the crack tip due to the crack parallel compression, which are identified via crack tip photomicroscopy. This is a novel result that challenges the century old hypothesis of fracture energy being a constant material property and further, shows for the first time that crack parallel compression leads to a composite structure being dangerously weaker than expected. The experimental campaign is also buttressed with a computational campaign that provides a framework capable of capturing the effects of crack parallel compression. Through the use of the crack band model, which correctly characterizes the fracture process zone tensorially, coupled with a fully tensorial damage law, the simulated results provide satisfactory agreement with the experimental data. Conversely, when a reduced tensorial damage law defines the crack band it is shown that the structural strength and fracture energy are dangerously overpredicted. This emphasizes the importance of using a crack band model coupled with a fully tensorial damage law to accurately predict fracture in composites.


title: Asymmetric Scalable Cross-modal Hashing

abstract: Cross-modal hashing is a successful method to solve large-scale multimedia retrieval issue. A lot of matrix factorization-based hashing methods are proposed. However, the existing methods still struggle with a few problems, such as how to generate the binary codes efficiently rather than directly relax them to continuity. In addition, most of the existing methods choose to use an $n\times n$ similarity matrix for optimization, which makes the memory and computation unaffordable. In this paper we propose a novel Asymmetric Scalable Cross-Modal Hashing (ASCMH) to address these issues. It firstly introduces a collective matrix factorization to learn a common latent space from the kernelized features of different modalities, and then transforms the similarity matrix optimization to a distance-distance difference problem minimization with the help of semantic labels and common latent space. Hence, the computational complexity of the $n\times n$ asymmetric optimization is relieved. In the generation of hash codes we also employ an orthogonal constraint of label information, which is indispensable for search accuracy. So the redundancy of computation can be much reduced. For efficient optimization and scalable to large-scale datasets, we adopt the two-step approach rather than optimizing simultaneously. Extensive experiments on three benchmark datasets: Wiki, MIRFlickr-25K, and NUS-WIDE, demonstrate that our ASCMH outperforms the state-of-the-art cross-modal hashing methods in terms of accuracy and efficiency.


title: Can Deep Learning Assist Automatic Identification of Layered Pigments From XRF Data?

abstract: X-ray fluorescence spectroscopy (XRF) plays an important role for elemental analysis in a wide range of scientific fields, especially in cultural heritage. XRF imaging, which uses a raster scan to acquire spectra across artworks, provides the opportunity for spatial analysis of pigment distributions based on their elemental composition. However, conventional XRF-based pigment identification relies on time-consuming elemental mapping by expert interpretations of measured spectra. To reduce the reliance on manual work, recent studies have applied machine learning techniques to cluster similar XRF spectra in data analysis and to identify the most likely pigments. Nevertheless, it is still challenging for automatic pigment identification strategies to directly tackle the complex structure of real paintings, e.g. pigment mixtures and layered pigments. In addition, pixel-wise pigment identification based on XRF imaging remains an obstacle due to the high noise level compared with averaged spectra. Therefore, we developed a deep-learning-based end-to-end pigment identification framework to fully automate the pigment identification process. In particular, it offers high sensitivity to the underlying pigments and to the pigments with a low concentration, therefore enabling satisfying results in mapping the pigments based on single-pixel XRF spectrum. As case studies, we applied our framework to lab-prepared mock-up paintings and two 19th-century paintings: Paul Gauguin's Po\`emes Barbares (1896) that contains layered pigments with an underlying painting, and Paul Cezanne's The Bathers (1899-1904). The pigment identification results demonstrated that our model achieved comparable results to the analysis by elemental mapping, suggesting the generalizability and stability of our model.


title: Muon conversion to an eletron in nuclei in the $B-L$ symmetric SSM

abstract: In a few years, the COMET experiment at J-PARC and the Mu2e experiment at Fermilab will probe the $\mu-e$ conversion rate in the vicinity of $\mathcal{O}(10^{-17})$ for an Al target with high experimental sensitivity. Within the framework of the minimal supersymmetric extension of the Standard Model with local $B-L$ gauge symmetry (B-LSSM), we analyze the lepton flavor violating (LFV) process of $\mu-e$ conversion in nuclei. Considering the constraint of the experimental upper limit of the LFV rare decay $\mu\rightarrow e\gamma$, the $\mu-e$ conversion rates in nuclei within the B-LSSM can achieve $\mathcal{O}(10^{-12})$, which is 5 orders of magnitude larger than the future experimental sensitivity at the Mu2e and COMET experiments and may be detected in the near future.


title: Incremental Measurement of Structural Entropy for Dynamic Graphs

abstract: Structural entropy is a metric that measures the amount of information embedded in graph structure data under a strategy of hierarchical abstracting. To measure the structural entropy of a dynamic graph, we need to decode the optimal encoding tree corresponding to the best community partitioning for each snapshot. However, the current methods do not support dynamic encoding tree updating and incremental structural entropy computation. To address this issue, we propose Incre-2dSE, a novel incremental measurement framework that dynamically adjusts the community partitioning and efficiently computes the updated structural entropy for each updated graph. Specifically, Incre-2dSE includes incremental algorithms based on two dynamic adjustment strategies for two-dimensional encoding trees, i.e., the naive adjustment strategy and the node-shifting adjustment strategy, which support theoretical analysis of updated structural entropy and incrementally optimize community partitioning towards a lower structural entropy. We conduct extensive experiments on 3 artificial datasets generated by Hawkes Process and 3 real-world datasets. Experimental results confirm that our incremental algorithms effectively capture the dynamic evolution of the communities, reduce time consumption, and provide great interpretability.


title: ProposalContrast: Unsupervised Pre-training for LiDAR-based 3D Object Detection

abstract: Existing approaches for unsupervised point cloud pre-training are constrained to either scene-level or point/voxel-level instance discrimination. Scene-level methods tend to lose local details that are crucial for recognizing the road objects, while point/voxel-level methods inherently suffer from limited receptive field that is incapable of perceiving large objects or context environments. Considering region-level representations are more suitable for 3D object detection, we devise a new unsupervised point cloud pre-training framework, called ProposalContrast, that learns robust 3D representations by contrasting region proposals. Specifically, with an exhaustive set of region proposals sampled from each point cloud, geometric point relations within each proposal are modeled for creating expressive proposal representations. To better accommodate 3D detection properties, ProposalContrast optimizes with both inter-cluster and inter-proposal separation, i.e., sharpening the discriminativeness of proposal representations across semantic classes and object instances. The generalizability and transferability of ProposalContrast are verified on various 3D detectors (i.e., PV-RCNN, CenterPoint, PointPillars and PointRCNN) and datasets (i.e., KITTI, Waymo and ONCE).


title: Semi-supervised 3D Object Detection with Proficient Teachers

abstract: Dominated point cloud-based 3D object detectors in autonomous driving scenarios rely heavily on the huge amount of accurately labeled samples, however, 3D annotation in the point cloud is extremely tedious, expensive and time-consuming. To reduce the dependence on large supervision, semi-supervised learning (SSL) based approaches have been proposed. The Pseudo-Labeling methodology is commonly used for SSL frameworks, however, the low-quality predictions from the teacher model have seriously limited its performance. In this work, we propose a new Pseudo-Labeling framework for semi-supervised 3D object detection, by enhancing the teacher model to a proficient one with several necessary designs. First, to improve the recall of pseudo labels, a Spatialtemporal Ensemble (STE) module is proposed to generate sufficient seed boxes. Second, to improve the precision of recalled boxes, a Clusteringbased Box Voting (CBV) module is designed to get aggregated votes from the clustered seed boxes. This also eliminates the necessity of sophisticated thresholds to select pseudo labels. Furthermore, to reduce the negative influence of wrongly pseudo-labeled samples during the training, a soft supervision signal is proposed by considering Box-wise Contrastive Learning (BCL). The effectiveness of our model is verified on both ONCE and Waymo datasets. For example, on ONCE, our approach significantly improves the baseline by 9.51 mAP. Moreover, with half annotations, our model outperforms the oracle model with full annotations on Waymo.


title: Deep reinforcement learning for preparation of thermal and prethermal quantum states

abstract: We propose a method based on deep reinforcement learning that efficiently prepares a quantum many-body pure state in thermal or prethermal equilibrium. The main physical intuition underlying the method is that the information on the equilibrium states can be efficiently encoded/extracted by focusing on only a few local observables, relying on the typicality of equilibrium states. Instead of resorting to the expensive preparation protocol that adopts global features such as the quantum state fidelity, we show that the equilibrium states can be efficiently prepared only by learning the expectation values of local observables. We demonstrate our method by preparing two illustrative examples: Gibbs ensembles in non-integrable systems and generalized Gibbs ensembles in integrable systems. Pure states prepared solely from local observables are numerically shown to successfully encode the macroscopic properties of the equilibrium states. Furthermore, we find that the preparation errors, with respect to the system size, decay exponentially for Gibbs ensembles and polynomially for generalized Gibbs ensembles, which are in agreement with the finite-size fluctuation within thermodynamic ensembles. Our method paves a path toward studying the thermodynamic and statistical properties of quantum many-body systems in quantum hardware.


title: JWST/NIRCam Observations of Stars and HII Regions in $z\simeq 6-8$ Galaxies: Properties of Star Forming Complexes on 150 pc Scales

abstract: The onset of the {\it JWST}-era provides a much-improved opportunity to characterize the resolved structure of early star forming systems. Previous {\it Spitzer} observations of $z\gtrsim 6$ galaxies revealed the presence of old stars and luminous HII regions (via [OIII]+H$\beta$ emission), but the poor resolution stunted our ability to map their locations with respect to the star forming regions identified in the rest-UV. In this paper, we investigate the internal structure of 12 of the most luminous $z\simeq 6-8$ galaxies in the EGS field observed with recent {\it JWST}/NIRCam imaging. The systems appear clumpy in the rest-UV, with more than half of the light coming from $\simeq 10^7$ to 10$^{9}$ M$_\odot$ star forming complexes that are $\simeq 150$ - 480 pc in size. The clumps tend to be dominated by young stars (median = 36 Myr), but we also find large variations in clump ages within individual galaxies. The [OIII]+H$\beta$ EW varies significantly across individual galaxies (reflecting differences in stellar and gas properties), but the HII regions largely track the UV-bright complexes. Perhaps surprisingly, the rest-optical continuum is just as clumpy as the UV, and we do not find older (and redder) nuclear stellar components that were previously undetected or faint in the UV. The majority of the stellar mass in bright $6<z<8$ galaxies appears to be contained in the $\gtrsim 150$ pc-scale clumpy star forming complexes, reflecting the very active phase of assembly that is common in reionization-era galaxies.


title: Quantitatively visualizing bipartite datasets

abstract: As experiments continue to increase in size and scope, a fundamental challenge of subsequent analyses is to recast the wealth of information into an intuitive and readily-interpretable form. Often, each measurement only conveys the relationship between a pair of entries, and it is difficult to integrate these local interactions across a dataset to form a cohesive global picture. The classic localization problem tackles this question, transforming local measurements into a global map that reveals the underlying structure of a system. Here, we examine the more challenging bipartite localization problem, where pairwise distances are only available for bipartite data comprising two classes of entries (such as antibody-virus interactions, drug-cell potency, or user-rating profiles). We modify previous algorithms to solve bipartite localization and examine how each method behaves in the presence of noise, outliers, and partially-observed data. As a proof of concept, we apply these algorithms to antibody-virus neutralization measurements to create a basis set of antibody behaviors, formalize how potently inhibiting some viruses necessitates weakly inhibiting other viruses, and quantify how often combinations of antibodies exhibit degenerate behavior.


title: Graph Neural Network and Spatiotemporal Transformer Attention for 3D Video Object Detection from Point Clouds

abstract: Previous works for LiDAR-based 3D object detection mainly focus on the single-frame paradigm. In this paper, we propose to detect 3D objects by exploiting temporal information in multiple frames, i.e., the point cloud videos. We empirically categorize the temporal information into short-term and long-term patterns. To encode the short-term data, we present a Grid Message Passing Network (GMPNet), which considers each grid (i.e., the grouped points) as a node and constructs a k-NN graph with the neighbor grids. To update features for a grid, GMPNet iteratively collects information from its neighbors, thus mining the motion cues in grids from nearby frames. To further aggregate the long-term frames, we propose an Attentive Spatiotemporal Transformer GRU (AST-GRU), which contains a Spatial Transformer Attention (STA) module and a Temporal Transformer Attention (TTA) module. STA and TTA enhance the vanilla GRU to focus on small objects and better align the moving objects. Our overall framework supports both online and offline video object detection in point clouds. We implement our algorithm based on prevalent anchor-based and anchor-free detectors. The evaluation results on the challenging nuScenes benchmark show the superior performance of our method, achieving the 1st on the leaderboard without any bells and whistles, by the time the paper is submitted.


title: Bilateral Self-unbiased Learning from Biased Implicit Feedback

abstract: Implicit feedback has been widely used to build commercial recommender systems. Because observed feedback represents users' click logs, there is a semantic gap between true relevance and observed feedback. More importantly, observed feedback is usually biased towards popular items, thereby overestimating the actual relevance of popular items. Although existing studies have developed unbiased learning methods using inverse propensity weighting (IPW) or causal reasoning, they solely focus on eliminating the popularity bias of items. In this paper, we propose a novel unbiased recommender learning model, namely BIlateral SElf-unbiased Recommender (BISER), to eliminate the exposure bias of items caused by recommender models. Specifically, BISER consists of two key components: (i) self-inverse propensity weighting (SIPW) to gradually mitigate the bias of items without incurring high computational costs; and (ii) bilateral unbiased learning (BU) to bridge the gap between two complementary models in model predictions, i.e., user- and item-based autoencoders, alleviating the high variance of SIPW. Extensive experiments show that BISER consistently outperforms state-of-the-art unbiased recommender models over several datasets, including Coat, Yahoo! R3, MovieLens, and CiteULike.


title: Learning Visual Representation from Modality-Shared Contrastive Language-Image Pre-training

abstract: Large-scale multi-modal contrastive pre-training has demonstrated great utility to learn transferable features for a range of downstream tasks by mapping multiple modalities into a shared embedding space. Typically, this has employed separate encoders for each modality. However, recent work suggests that transformers can support learning across multiple modalities and allow knowledge sharing. Inspired by this, we investigate a variety of Modality-Shared Contrastive Language-Image Pre-training (MS-CLIP) frameworks. More specifically, we question how many parameters of a transformer model can be shared across modalities during contrastive pre-training, and rigorously examine architectural design choices that position the proportion of parameters shared along a spectrum. In studied conditions, we observe that a mostly unified encoder for vision and language signals outperforms all other variations that separate more parameters. Additionally, we find that light-weight modality-specific parallel modules further improve performance. Experimental results show that the proposed MS-CLIP approach outperforms vanilla CLIP by up to 13\% relative in zero-shot ImageNet classification (pre-trained on YFCC-100M), while simultaneously supporting a reduction of parameters. In addition, our approach outperforms vanilla CLIP by 1.6 points in linear probing on a collection of 24 downstream vision tasks. Furthermore, we discover that sharing parameters leads to semantic concepts from different modalities being encoded more closely in the embedding space, facilitating the transferring of common semantic structure (e.g., attention patterns) from language to vision. Code is available at \href{https://github.com/Hxyou/MSCLIP}{URL}.


title: Time Majority Voting, a PC-based EEG Classifier for Non-expert Users

abstract: Using Machine Learning and Deep Learning to predict cognitive tasks from electroencephalography (EEG) signals is a rapidly advancing field in Brain-Computer Interfaces (BCI). In contrast to the fields of computer vision and natural language processing, the data amount of these trials is still rather tiny. Developing a PC-based machine learning technique to increase the participation of non-expert end-users could help solve this data collection issue. We created a novel algorithm for machine learning called Time Majority Voting (TMV). In our experiment, TMV performed better than cutting-edge algorithms. It can operate efficiently on personal computers for classification tasks involving the BCI. These interpretable data also assisted end-users and researchers in comprehending EEG tests better.


title: A topological characterization of symplectic fillings of Seifert 3-manifolds

abstract: In this paper, we investigate a relation between rational blowdown surgery and minimal symplectic fillings of a given Seifert 3-manifold with a canonical contact structure. Consequently, we determine a necessary and sufficient condition for a minimal symplectic filling of a Seifert 3-manifold satisfying certain conditions to be obtained by a sequence of rational blowdowns from the minimal resolution of the corresponding weighted homogeneous surface singularity. Furthermore, as an application of the main results, we prove that every minimal symplectic filling of a large family of Seifert 3-manifolds with a canonical contact structure is in fact realized as a Milnor fiber of the corresponding weighted homogeneous surface singularity in the Appendix.


title: Communication-Censored-ADMM for Electric Vehicle Charging in Unbalanced Distribution Grids

abstract: We propose an alternating direction method of multipliers (ADMM)-based algorithm for coordinating the charge and discharge of electric vehicles (EVs) to manage grid voltages while minimizing EV time-of-use energy costs. We prove that by including a Communication-Censored strategy, the algorithm maintains its solution integrity, while reducing peer-to-peer communications. By means of a case study on a representative unbalanced two node circuit, we demonstrate that our proposed Communication-Censored-ADMM (CC-ADMM) EV charging strategy reduces peer-to-peer communications by up to 80%, compared to a benchmark ADMM approach.


title: Perturbative confinement in thermal Yang-Mills theories induced by imaginary angular velocity

abstract: We perturbatively compute the Polyakov loop potential at high temperature with finite imaginary angular velocity. This imaginary rotation does not violate the causality and the thermodynamic limit is well defined. We analytically show that the imaginary angular velocity induces the perturbatively confined phase and serves as a new probe to confinement physics. We discuss a possible phase diagram that exhibits adiabatic continuity from the perturbative confinement to the confined phase at low temperature. We also mention subtlety in the analytical continuation from imaginary to real angular velocity by imposing a causality bound.


title: Gapless triangular-lattice spin-liquid candidate in PrZnAl$_{11}$O$_{19}$

abstract: A quantum spin liquid (QSL) is an exotic state in which electron spins are highly entangled, yet keep fluctuating even at zero temperature. Experimental realization of model QSLs has been challenging due to imperfections, such as antisite disorder, strain, and extra or a lack of interactions in real materials compared to the model Hamiltonian. Here we report the magnetic susceptibility, thermodynamic, inelastic neutron scattering (INS), and muon-spin relaxation studies on a polycrystalline sample of PrZnAl$_{11}$O$_{19}$, where the Pr$^{3+}$ ions form an ideal two-dimensional triangular lattice. Our results demonstrate that this system does not order nor freeze, but keep fluctuating down to 50 mK despite large antiferromagnetic couplings ($\sim$ -10 K). Furthermore, the INS and specific-heat data suggest that PrZnAl$_{11}$O$_{19}$ is best described as a gapless QSL.


title: On $\tau$-tilting finiteness of block algebras of direct products of finite groups

abstract: We discuss finiteness/infiniteness of $\tau$-tilting modules over tensor products of two symmetric algebras. As an application, we discuss that over block algebras of direct products of finite groups.


title: On tilting complexes over blocks covering cyclic blocks

abstract: Let $p$ be a prime number, $k$ an algebraically closed field of characteristic $p$, $\tilde{G}$ a finite group, and $G$ a normal subgroup of $\tilde{G}$ having a $p$-power index in $\tilde{G}$. Moreover let $B$ be a block of $kG$ with a cyclic defect group and $\tilde{B}$ be the unique block of $k\tilde{G}$ covering $B$. We study tilting complexes over the block $\tilde{B}$ and show that the block $\tilde{B}$ is a tilting-discrete algebra. Moreover we show that the set of all tilting complexes over $\tilde{B}$ is isomorphic to that over $B$ as partially ordered sets.


title: EEG-Based Detection of Braking Intention During Simulated Driving

abstract: Accurately detecting and identifying drivers' braking intention is the basis of man-machine driving. In this paper, we proposed an electroencephalographic (EEG)-based braking intention measurement strategy. We used the Car Learning to Act (Carla) platform to build the simulated driving environment. 11 subjects participated in our study, and each subject drove a simulated vehicle to complete emergency braking and normal braking tasks. We compared the EEG topographic maps in different braking situations and used three different classifiers to predict the subjects' braking intention through EEG signals. The experimental results showed that the average response time of subjects in emergency braking was 762 ms; emergency braking and no braking can be well distinguished, while normal braking and no braking were not easy to be classified; for the two different types of braking, emergency braking and normal braking had obvious differences in EEG topographic maps, and the classification results also showed that the two were highly distinguishable. This study provides a user-centered driver-assistance system and a good framework to combine with advanced shared control algorithms, which has the potential to be applied to achieve a more friendly interaction between the driver and vehicle in real driving environment.


title: Tunable Sample-wide Electronic Kagome Lattice in Low-angle Twisted Bilayer Graphene

abstract: Overlaying two graphene layers with a small twist angle can create a moire superlattice to realize exotic phenomena that are entirely absent in graphene monolayer. A representative example is the predicted formation of localized pseudo-Landau levels (PLLs) with Kagome lattice in tiny-angle twisted bilayer graphene (TBG) with theta < 0.3 deg when the graphene layers are subjected to different electrostatic potentials. However, this was shown only for the model of rigidly rotated TBG which is not realized in reality due to an interfacial structural reconstruction. It is believed that the interfacial structural reconstruction strongly inhibits the formation of the PLLs. Here, we systematically study electronic properties of the TBG with 0.075 deg < theta < 1.2 deg and demonstrate, unexpectedly, that the PLLs are quite robust for all the studied TBG. The structural reconstruction suppresses the formation of the emergent Kagome lattice in the tiny-angle TBG. However, for the TBG around magic angle, the sample-wide electronic Kagome lattices with tunable lattice constants are directly imaged by using scanning tunneling microscope. Our observations open a new direction to explore exotic correlated phases in moire systems.


title: Charge carriers trapping by the full-configuration defects in metal halide perovskites quantum dots

abstract: Metal halide perovskites quantum dots (MHPQDs) have aroused enormous interesting in the photovoltaic and photoelectric because of their marvelous properties and size characteristics. However, one of key problems that how to systematically analyze charge carriers trapping by different defects is still a challenge task. Here, we study nonradiation multiphonon processes of the charge carrier trapping by various defects in MHPQDs based on the well-known Huang-Rhys model, in which a method of fullconfiguration defect, including different defect species with variable depth and lattice relaxation strength, is developed by introducing a localization parameter in the quantum defect model. With the help of this method, these fastest trapping channels for charge carriers transferring from the quantum dot ground state to different defects are found. Furthermore, the dependences of the trapping time on the radius of quantum dot, the defect depth and temperature are given. These results not only enrich the knowledge of charge carrier trapping processes by defects, but enlighten the designs of MHPQDs-based photovoltaic and photoelectric devices.


title: Dynamical disruption timescales and chaotic behavior of hierarchical triple systems

abstract: We examine the stability of hierarchical triple systems using direct $N$-body simulations without adopting a secular perturbation approximation. We estimate their disruption timescales in addition to the mere stable/unstable criterion, with particular attention to the mutual inclination between the inner and outer orbits. First, we improve the fit to the dynamical stability criterion by \citet{Mardling1999,Mardling2001} widely adopted in the previous literature. Especially, we find that that the stability boundary is very sensitive to the mutual inclination; coplanar retrograde triples and orthogonal triples are much more stable and unstable, respectively, than coplanar prograde triples. Next, we estimate the disruption timescales of triples satisfying the stability condition up to $10^9$ times the inner orbital period. The timescales follow the scaling predicted by \citet{Mushkin2020}, especially at high $e_\mathrm{out}$ where their random walk model is most valid. We obtain an improved empirical fit to the disruption timescales, which indicates that the coplanar retrograde triples are significantly more stable than the previous prediction. We furthermore find that the dependence on the mutual inclination can be explained by the energy transfer model based on a parabolic encounter approximation. We also show that the disruption timescales of triples are highly sensitive to the tiny change of the initial parameters, reflecting the genuine chaotic nature of the dynamics of those systems.


title: A Data Driven Method for Multi-step Prediction of Ship Roll Motion in High Sea States

abstract: Ship roll motion in high sea states has large amplitudes and nonlinear dynamics, and its prediction is significant for operability, safety, and survivability. This paper presents a novel data-driven methodology to provide a multi-step prediction of ship roll motions in high sea states. A hybrid neural network is proposed that combines long short-term memory (LSTM) and convolutional neural network (CNN) in parallel. The motivation is to extract the nonlinear dynamic characteristics and the hydrodynamic memory information through the advantage of CNN and LSTM, respectively. For the feature selection, the time histories of motion states and wave heights are selected to involve sufficient information. Taken a scaled KCS as the study object, the ship motions in sea state 7 irregular long-crested waves are simulated and used for the validation. The results show that at least one period of roll motion can be accurately predicted. Compared with the single LSTM and CNN methods, the proposed method has better performance in predicting the amplitude of roll angles. Besides, the comparison results also demonstrate that selecting motion states and wave heights as feature space improves the prediction accuracy, verifying the effectiveness of the proposed method.


title: On convergence of the generalized Lanczos trust-region method for trust-region subproblems

abstract: The generalized Lanczos trust-region (GLTR) method is one of the most popular approaches for solving large-scale trust-region subproblem (TRS). Recently, Jia and Wang [Z. Jia and F. Wang, \emph{SIAM J. Optim., 31 (2021), pp. 887--914}] considered the convergence of this method and established some {\it a prior} error bounds on the residual, the solution and the Largrange multiplier. In this paper, we revisit the convergence of the GLTR method and try to improve these bounds. First, we establish a sharper upper bound on the residual. Second, we give a new bound on the distance between the approximation and the exact solution, and show that the convergence of the approximation has nothing to do with the associated spectral separation. Third, we present some non-asymptotic bounds for the convergence of the Largrange multiplier, and define a factor that plays an important role on the convergence of the Largrange multiplier. Numerical experiments demonstrate the effectiveness of our theoretical results.


title: Aberration control in quantitative widefield quantum microscopy

abstract: Widefield quantum microscopy based on nitrogen-vacancy (NV) centres in diamond has emerged as a powerful technique for quantitative mapping of magnetic fields with a sub-micron resolution. However, the accuracy of the technique has not been characterised in detail so far. Here we show that optical aberrations in the imaging system may cause large systematic errors in the measured quantity beyond trivial blurring. We introduce a simple theoretical framework to model these effects, which extends the concept of a point spread function to the domain of spectral imaging. Using this model, the magnetic field imaging of test magnetic samples is simulated under various scenarios, and the resulting errors quantified. We then apply the model to previously published data, show that apparent magnetic anomalies can be explained by the presence of optical aberrations, and demonstrate a post-processing technique to retrieve the source quantity with improved accuracy. This work presents a guide to predict and mitigate aberration induced artefacts in quantitative NV-based widefield imaging and in spectral imaging more generally.

categories: physics.optics cond-mat.mes-hall physics.app-ph quant-ph


title: Switching modulation of spin transport in ferromagnetic tetragonal silicene

abstract: We study the band structure and transport properties of ferromagnetic tetragonal silicene nanoribbons by using the non-equilibrium Green's function method. The band structure and spin-dependent conductance are discussed under the combined effect of the external electric field, potential energy, exchange field and the spin-orbit coupling. One can easily realize a phase transition from a semimetallic to a semiconducting state by changing the transverse width of the nanoribbon. Separation of spin-dependent conductances arises from the effect of exchange field and the spin-orbit coupling, while zero-conductance behaviors exhibit spin-dependent band gaps induced by the electric field. We propose a device configuration of four-terminal tetragonal silicene nanoribbon with two central channels. It is found that spin current can be controlled by utilizing two switches. The switch with a high potential barrier can block electrons flowing from the central scattering region into other terminals. Interestingly, applying only one switch can realize spin-dependent zero conductance and large spin polarization. Two switches can provide multiple operations for controlling spin-dependent transport properties. The two-channel ferromagnetic tetragonal silicene nanoribbon can realize an effective separation of spin current, which may be a potential candidate for spintronic devices.


title: A tool towards EEG semi-autonomous electrode placement

abstract: The paper proposes a novel medical device based on a 9 dof IMU to help health professionals performing more precisely the electrode placement task in EEG exams. The tool precisely tells the operator if the 10-20 electrode placement system is being correctly followed. The manual task is of major importance and time consuming, because all the electrodes must be correctly and very precisely placed in the head of the patient. The gold standard process is manual, and although several medical devices (developed to other types of medical procedures) can be applied to increase the precision of the electrode placement, they are still very expensive. The proposed medical device, based only on the sensors of a 9 dof IMU, and the processing capabilities of a microprocessor, diminish the price of the device. Moreover, the size of the apparatus is also diminished, when compared with infrared vision based systems. The developed system includes a visualization subsystem that visualises the position of the electrodes in a virtual head of the patient, using a specific tool, 3DSlicer, to receive and visualise the 3D pose of the medical device when point to the patient head. Preliminary results showed the validity of the proposed device.


title: Analyzing Sharpness along GD Trajectory: Progressive Sharpening and Edge of Stability

abstract: Recent findings (e.g., arXiv:2103.00065) demonstrate that modern neural networks trained by full-batch gradient descent typically enter a regime called Edge of Stability (EOS). In this regime, the sharpness, i.e., the maximum Hessian eigenvalue, first increases to the value 2/(step size) (the progressive sharpening phase) and then oscillates around this value (the EOS phase). This paper aims to analyze the GD dynamics and the sharpness along the optimization trajectory. Our analysis naturally divides the GD trajectory into four phases depending on the change of the sharpness. We empirically identify the norm of output layer weight as an interesting indicator of sharpness dynamics. Based on this empirical observation, we attempt to theoretically and empirically explain the dynamics of various key quantities that lead to the change of sharpness in each phase of EOS. Moreover, based on certain assumptions, we provide a theoretical proof of the sharpness behavior in EOS regime in two-layer fully-connected linear neural networks. We also discuss some other empirical findings and the limitation of our theoretical results.


title: Cr$_3$X$_4$ (X=Se, Te) monolayers as new platform to realize robust spin filter, spin diode and spin valve

abstract: Two-dimensional ferromagnetic (FM) half-metals are promising candidates for advanced spintronic devices with small-size and high-capacity. Motivated by recent report on controlling synthesis of FM Cr$_3$Te$_4$ nanosheet, herein, to explore the potential application in spintronics, we designed spintronic devices based on Cr$_3$X$_4$ (X=Se, Te) monolayers and investigated their spin transport properties. We found that Cr$_3$Te$_4$ monolayer based device shows spin filtering and dual spin diode effect when applying bias voltage, while Cr$_3$S$_4$ monolayer is an excellent platform to realize a spin valve. The different transport properties are primarily ascribed to the semiconducting spin channel, which is close to and away from the Fermi level in Cr$_3$Te$_4$ and Cr$_3$Se$_4$ monolayers, respectively. Interestingly, the current in monolayer Cr$_3$Se$_4$ based device also displays a negative differential resistance effect (NDRE) and a high magnetoresistance ratio (up to 2*10$^3$). Moreover, we found thermally induced spin filtering effect and NDRE in Cr$_3$Se$_4$ junction when applying temperature gradient instead of bias voltage. These theoretical findings highlight the potential of Cr$_3$X$_4$ (X=Se, Te) monolayers in spintronic applications and put forward realistic materials to realize nanosale spintronic device.


title: Modeling compressed turbulent plasma with rapid viscosity variations

abstract: We propose two-equations models in order to capture the dynamics of a turbulent plasma undergoing compression and experiencing large viscosity variations. The models account for possible relaminarization phases and rapid viscosity changes through closures dependent on the turbulent Reynolds and on the viscosity Froude numbers. These closures are determined from a data-driven approach using eddy-damped quasi normal markovian simulations. The best model is able to mimic the various self-similar regimes identified in \citet{Viciconte2018} and to recover the rapid transition limits identified by \citet{Coleman1991}.


title: Singular P\"oschl-Teller II potentials and gravitating kinks

abstract: We report a two-dimensional (2D) gravitating kink model, for which both the background field equations and the linear perturbation equation are exactly solvable. The background solution describes a sine-Gordon kink that interpolating between two asymptotic AdS$_2$ spaces, and can be regarded as a 2D thick brane world solution. The linear perturbation equation can be recasted into a Schr\"odinger-like equation with singular P\"oschl-Teller II potentials. There is no tachyonic state in the spectrum, so the solution is stable against the linear perturbations. Besides, there can be $n=0,1,2,\cdots$ bounded vibrational modes around the kink. The number of these vibrational modes varies with model parameters.


title: Cahn-Hilliard Equations on Random Walk Spaces

abstract: In this paper we study a nonlocal Cahn-Hilliard model (CHE) in the framework of random walk spaces, which includes as particular cases, the CHE on locally finite weighted connected graphs, the CHE determined by finite Markov chains or the Cahn-Hilliard Equations driven by convolution integrable kernels. We consider different transitions for the phase and the chemical potential, and a large class of potentials including obstacle ones. We prove existence and uniqueness of solutions in $L^1$ of the Cahn-Hilliard Equation. We also show that the Cahn-Hilliard equation is the gradient flow of the Ginzburg-Landau free energy functional on an appropriate Hilbert space. We finally study the asymptotic behaviour of the solutions.


title: About the asymptotic behaviour of the martingale associated with the Vertex Reinforced Jump Process on trees and Z d

abstract: We study the asymptotic behaviour of the martingale ($\psi$ n (o)) n$\in$N associated with the Vertex Reinforced Jump Process (VRJP). We show that it is bounded in L p for every p > 1 on trees and uniformly integrable on Z d in all the transient phase of the VRJP. Moreover, when the VRJP is recurrent on trees, we have good estimates on the moments of $\psi$ n (o) and we can compute the exact decreasing rate $\tau$ such that n --1 ln($\psi$ n (o)) $\sim$ --$\tau$ almost surely where $\tau$ is related to standard quantities for branching random walks. Besides, on trees, at the critical point, we show that n --1/3 ln($\psi$ n (o)) $\sim$ --$\rho$ c almost surely where $\rho$ c can be computed explicitely. Furthermore, at the critical point, we prove that the discrete process associated with the VRJP is a mixture of positive recurrent Markov chains. Our proofs use properties of the $\beta$-potential associated with the VRJP and techniques coming from the domain of branching random walks.


title: Small diameters and generators for arithmetic lattices in $\mathrm{SL}_2(\mathbb{R})$ and certain Ramanujan graphs

abstract: We show that arithmetic lattices in $\mathrm{SL}_{2}(\mathbb{R})$, stemming from the proper units of an Eichler order in an indefinite quaternion algebra over $\mathbb{Q}$, admit a `small' covering set. In particular, we give bounds on the diameter if the quotient space is co-compact. Consequently, we show that these lattices admit small generators. Our techniques also apply to definite quaternion algebras where we show Ramanujan-strength bounds on the diameter of certain Ramanujan graphs without the use of the Ramanujan bound.


title: Enabling Grid-Aware Market Participation of Aggregate Flexible Resources

abstract: Increasing integration of distributed energy resources (DERs) within distribution feeders provides unprecedented flexibility at the distribution-transmission interconnection. With the new FERC 2222 order, DER aggregations are allowed to participate in energy market. To enable market participation, these virtual power plants need to provide their generation cost curves. This paper proposes efficient optimization formulations and solution approaches for the characterization of hourly as well as multi-time-step generation cost curves for a distribution system with high penetration of DERs. Network and DER constraints are taken into account when deriving these cost curves, and they enable active distribution systems to bid into the electricity market. The problems of deriving linear and quadratic cost curves are formulated as robust optimization problems and tractable reformulation/solution algorithm are developed to facilitate efficient calculations. The proposed formulations and solution algorithm are validated on a realistic test feeder with high penetration of flexible resources.


title: Exponential asymptotic stability of Riemann shocks of hyperbolic systems of balance laws

abstract: For strictly entropic Riemann shock solutions of strictly hyperbolic systems of balance laws, we prove that exponential spectral stability implies large-time asymptotic orbital stability. As a preparation, we also prove similar results for constant solutions of initial value and initial boundary value problems, that seem to be new in this generality. Main key technical ingredients include the design of a nonlinear change of variables providing a hypocoercive Kawashima-type structure with dissipative boundary conditions in the high-frequency regime and the explicit identification of most singular parts of the linearized evolution, both being deduced from the mere spectral assumption.


title: A Kendall Shape Space Approach to 3D Shape Estimation from 2D Landmarks

abstract: 3D shapes provide substantially more information than 2D images. However, the acquisition of 3D shapes is sometimes very difficult or even impossible in comparison with acquiring 2D images, making it necessary to derive the 3D shape from 2D images. Although this is, in general, a mathematically ill-posed problem, it might be solved by constraining the problem formulation using prior information. Here, we present a new approach based on Kendall's shape space to reconstruct 3D shapes from single monocular 2D images. The work is motivated by an application to study the feeding behavior of the basking shark, an endangered species whose massive size and mobility render 3D shape data nearly impossible to obtain, hampering understanding of their feeding behaviors and ecology. 2D images of these animals in feeding position, however, are readily available. We compare our approach with state-of-the-art shape-based approaches, both on human stick models and on shark head skeletons. Using a small set of training shapes, we show that the Kendall shape space approach is substantially more robust than previous methods and results in plausible shapes. This is essential for the motivating application in which specimens are rare and therefore only few training shapes are available.


title: Single MCMC Chain Parallelisation on Decision Trees

abstract: Decision trees are highly famous in machine learning and usually acquire state-of-the-art performance. Despite that, well-known variants like CART, ID3, random forest, and boosted trees miss a probabilistic version that encodes prior assumptions about tree structures and shares statistical strength between node parameters. Existing work on Bayesian decision trees depend on Markov Chain Monte Carlo (MCMC), which can be computationally slow, especially on high dimensional data and expensive proposals. In this study, we propose a method to parallelise a single MCMC decision tree chain on an average laptop or personal computer that enables us to reduce its run-time through multi-core processing while the results are statistically identical to conventional sequential implementation. We also calculate the theoretical and practical reduction in run time, which can be obtained utilising our method on multi-processor architectures. Experiments showed that we could achieve 18 times faster running time provided that the serial and the parallel implementation are statistically identical.


title: Spectral radius of graphs with given size and odd girth

abstract: Let $\mathcal{G}(m,k)$ be the set of graphs with size $m$ and odd girth (the length of shortest odd cycle) $k$. In this paper, we determine the graph maximizing the spectral radius among $\mathcal{G}(m,k)$ when $m$ is odd. As byproducts, we show that, there is a number $\eta(m)>\sqrt{m-k+3}$ such that every non-bipartite graph $G$ with size $m$ and spectral radius $\rho\ge \eta(m)$ must contains an odd cycle of length less than $k$ unless $m$ is odd and $G\cong SK_{k,m}$, which is the graph obtained by subdividing an edge $k-2$ times of complete bipartite $K_{2,\frac{m-k+2}{2}}$. This result implies the main results of [Discrete Math. 345 (2022)] and \cite{li-peng}, and settles the conjecture in \cite{li-peng} as well.


title: A spectral decomposition method to approximate DtN maps in complicated waveguides

abstract: In this paper, we propose a new spectral decomposition method to simulate waves propagating in complicated waveguides. For the numerical solutions of waveguide scattering problems, an important task is to approximate the Dirichlet-to-Neumann map efficiently. From previous results, the physical solution can be decomposed into a family of generalized eigenfunctions, thus we can write the Dirichlet-to-Neumann map explicitly by these functions. From the exponential decay of the generalized eigenfunctions, we approximate the Dirichlet-to-Neumann (DtN) map by a finite truncation and the approximation is proved to converge exponentially. With the help of the truncated DtN map, the unbounded domain is truncated into a bounded one, and a variational formulation for the problem is set up in this bounded domain. The truncated problem is then solved by a finite element method. The error estimation is also provided for the numerical algorithm and numerical examples are shown to illustrate the efficiency of the algorithm.


title: CENet: Toward Concise and Efficient LiDAR Semantic Segmentation for Autonomous Driving

abstract: Accurate and fast scene understanding is one of the challenging task for autonomous driving, which requires to take full advantage of LiDAR point clouds for semantic segmentation. In this paper, we present a \textbf{concise} and \textbf{efficient} image-based semantic segmentation network, named \textbf{CENet}. In order to improve the descriptive power of learned features and reduce the computational as well as time complexity, our CENet integrates the convolution with larger kernel size instead of MLP, carefully-selected activation functions, and multiple auxiliary segmentation heads with corresponding loss functions into architecture. Quantitative and qualitative experiments conducted on publicly available benchmarks, SemanticKITTI and SemanticPOSS, demonstrate that our pipeline achieves much better mIoU and inference performance compared with state-of-the-art models. The code will be available at https://github.com/huixiancheng/CENet.


title: Competition in a system of Brownian particles: Encouraging achievers

abstract: We introduce and study analytically and numerically a simple model of inter-agent competition, where underachievement is strongly discouraged. We consider $N\gg 1$ particles performing independent Brownian motions on the line. Two particles are selected at random and at random times, and the particle closest to the origin is reset to it. We show that, in the limit of $N\to \infty$, the dynamics of the coarse-grained particle density field can be described by a nonlocal hydrodynamic theory which was encountered in a study of the spatial extent of epidemics in a critical regime. The hydrodynamic theory predicts relaxation of the system toward a stationary density profile of the "swarm" of particles, which exhibits a power-law decay at large distances. An interesting feature of this relaxation is a non-stationary "halo" around the stationary solution, which continues to expand in a self-similar manner. The expansion is ultimately arrested by finite-$N$ effects at a distance of order $\sqrt{N}$ from the origin, which gives an estimate of the average radius of the swarm. The hydrodynamic theory does not capture the behavior of the particle farthest from the origin -- the current leader. We suggest a simple scenario for typical fluctuations of the leader's distance from the origin and show that the mean distance continues to grow indefinitely as $\sqrt{t}$. Finally, we extend the inter-agent competition from $n=2$ to an arbitrary number $n$ of competing Brownian particles ($n\ll N$). Our analytical predictions are supported by Monte-Carlo simulations.


title: Experimental test of generalized multipartite entropic uncertainty relations

abstract: Entropic uncertainty relation (EUR) formulates the restriction of the inherent uncertainty of quantum mechanics from the information-theoretic perspective. A tighter lower bound for uncertainty relations can provide information-theoretic security to quantum communication protocols. Recently, a generalized EUR (GEUR) for the measurement of multiple observables in arbitrary many-body systems has been formulated. Here, we experimentally test this GEUR using a four-photon entangled state with a controllable decoherence channel and show that for the tripartite scenario, the GEUR improves the entropic bound from Renes--Boileau's famous results. As an application, we further demonstrate an improvement of the secure key rate in quantum key distribution from the GEUR. Our results extend the test of EURs into multipartite regimes and may find applications in practical quantum cryptography tasks.


title: A generalization of Bohr-Mollerup's theorem for higher order convex functions: a tutorial

abstract: In its additive version, Bohr-Mollerup's remarkable theorem states that the unique (up to an additive constant) convex solution $f(x)$ to the equation $\Delta f(x)=\ln x$ on the open half-line $(0,\infty)$ is the log-gamma function $f(x)=\ln\Gamma(x)$, where $\Delta$ denotes the classical difference operator and $\Gamma(x)$ denotes the Euler gamma function. In a recently published open access book, the authors provided and illustrated a far-reaching generalization of Bohr-Mollerup's theorem by considering the functional equation $\Delta f(x)=g(x)$, where $g$ can be chosen from a wide and rich class of functions that have convexity or concavity properties of any order. They also showed that the solutions $f(x)$ arising from this generalization satisfy counterparts of many properties of the log-gamma function (or equivalently, the gamma function), including analogues of Bohr-Mollerup's theorem itself, Burnside's formula, Euler's infinite product, Euler's reflection formula, Gauss' limit, Gauss' multiplication formula, Gautschi's inequality, Legendre's duplication formula, Raabe's formula, Stirling's formula, Wallis's product formula, Weierstrass' infinite product, and Wendel's inequality for the gamma function. In this paper, we review the main results of this new and intriguing theory and provide an illustrative application.


title: Exact results for the order picking time distribution under return routing

abstract: This paper derives exact expressions for the Laplace-Stieltjes transform of the order picking time in single- and 2-block warehouses. We consider manual warehouses that deploy return routing and assume that order sizes follow a Poisson distribution. The results in this paper apply to a wide range of storage policies, including but not restricted to class-based and random storage. Furthermore, we compare the performance of the storage policies and warehouse lay-outs by using numerical inversion of the Laplace-Stieltjes transforms.


title: Advanced Conditional Variational Autoencoders (A-CVAE): Towards interpreting open-domain conversation generation via disentangling latent feature representation

abstract: Currently end-to-end deep learning based open-domain dialogue systems remain black box models, making it easy to generate irrelevant contents with data-driven models. Specifically, latent variables are highly entangled with different semantics in the latent space due to the lack of priori knowledge to guide the training. To address this problem, this paper proposes to harness the generative model with a priori knowledge through a cognitive approach involving mesoscopic scale feature disentanglement. Particularly, the model integrates the macro-level guided-category knowledge and micro-level open-domain dialogue data for the training, leveraging the priori knowledge into the latent space, which enables the model to disentangle the latent variables within the mesoscopic scale. Besides, we propose a new metric for open-domain dialogues, which can objectively evaluate the interpretability of the latent space distribution. Finally, we validate our model on different datasets and experimentally demonstrate that our model is able to generate higher quality and more interpretable dialogues than other models.


title: Design of Classes I

abstract: The use of functional programming languages in the first programming course at many universities is well-established and effective. Invariably, however, students must progress to study object-oriented programming. This article presents how the first steps of this transition have been successfully implemented at Seton Hall University. The developed methodology builds on the students' experience with type-based design acquired in their previous introduction to programming courses. The transition is made smooth by explicitly showing students that the design lessons they have internalized are relevant in object-oriented programming. This allows for new abstractions offered by object-oriented programming languages to be more easily taught and used by students. Empirical evidence collected from students in the course suggests that the approach developed is effective and that the transition is smooth.


title: Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One

abstract: We report on a one-semester compiler construction course based on the idea of implementing a small self-contained compiler for a small model language from scratch, not using other compiler construction frameworks. The course is built around an evolving family of languages with increasing expressiveness and complexity, which finally is crowned by a language with first-class functions, S-expressions, pattern matching, and garbage collection. The code generation technique is based on the idea of symbolic interpreters, which allows to implement a robust albeit not a very efficient native code generator. We give the motivation for the course, describe its structure, and report some results of teaching based on students' post-course surveys.


title: Teaching Functional Programmers Logic and Metatheory

abstract: We present a novel approach for teaching logic and the metatheory of logic to students who have some experience with functional programming. We define concepts in logic as a series of functional programs in the language of the proof assistant Isabelle/HOL. This allows us to make notions which are often unclear in textbooks precise, to experiment with definitions by executing them, and to prove metatheoretical theorems in full detail. We have surveyed student perceptions of our teaching approach to determine its usefulness and found that students felt that our formalizations helped them understand concepts in logic, and that they experimented with them as a learning tool. However, the approach was not enough to make students feel confident in their abilities to design and implement their own formal systems. Further studies are needed to confirm and generalize the results of our survey, but our initial results seem promising.


title: Introduction to Functional Classes in CS1

abstract: Students introduced to programming using a design-based approach and a functional programming language become familiar with first-class functions. They rarely, however, connect first-class functions to objects and object-oriented program design. This is a missed opportunity because students inevitably go on to courses using an object-oriented programming language. This article describes how students are introduced to objects within the setting of a design-based introduction to programming that uses a functional language. The methodology exposes students to interfaces, classes, objects, and polymorphic dispatch. Initial student feedback suggests that students benefit from the approach.


title: Teaching Interaction using State Diagrams

abstract: To make computational thinking appealing to young learners, initial programming instruction looks very different now than a decade ago, with increasing use of graphics and robots both real and virtual. After the first steps, children want to create interactive programs, and they need a model for this. State diagrams provide such a model. This paper documents the design and implementation of a Model-Driven Engineering tool, SD Draw, that allows even primary-aged children to draw and understand state diagrams, and create modifiable app templates in the Elm programming language using the model-view-update pattern standard in Elm programs. We have tested this with grade 4 and 5 students. In our initial test, we discovered that children quickly understand the motivation and use of state diagrams using this tool, and will independently discover abstract states even if they are only taught to model using concrete states. To determine whether this approach is appropriate for children of this age we wanted to know: do children understand state diagrams, do they understand the role of reachability, and are they engaged by them? We found that they are able to translate between different representations of state diagrams, strongly indicating that they do understand them. We found with confidence p<0.001 that they do understand reachability by refuting the null hypothesis that they are creating diagrams randomly. And we found that they were engaged by the concept, with many students continuing to develop their diagrams on their own time after school and on the weekend.


title: Teaching Programming to Novices Using the codeBoot Online Environment

abstract: Teaching programming to novices is best done with tools with simpler user interfaces than professional IDEs that are tailored for experienced programmers. In a distance learning situation it is also important to have a development environment that is easy to explain and use, and that integrates well with the variety of course material used (slides, homework, etc). In this paper we give an experience report on teaching programming with codeBoot, an online programming environment we designed specifically for novices.


title: Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space

abstract: Worldwide, computer science departments have experienced a dramatic increase in the number of student enrolments. Moreover, the ongoing COVID-19 pandemic requires institutions to radically replace the traditional way of on-site teaching, moving interaction from physical to virtual space. We report on our strategies and experience tackling these issues as part of a Haskell-based functional programming and verification course, accommodating over 2000 students in the course of two semesters. Among other things, we fostered engagement with weekly programming competitions and creative homework projects, workshops with industry partners, and collaborative pair-programming tutorials. To offer such an extensive programme to hundreds of students, we automated feedback for programming as well as inductive proof exercises. We explain and share our tools and exercises so that they can be reused by other educators.


title: Directional asymptotic cones of groups equipped with bi-invariant metrics

abstract: Given a bi-invariant metric on a group, we construct a version of an asymptotic cone without using ultrafilters. The new construction, called the directional asymptotic cone, is a contractible topological group equipped with a complete bi-invariant metric and admits a canonical Lipschitz homomorphism to the standard asymptotic cone. Moreover, the directional asymptotic cone of a countable group is separable.


title: Efficient shape-constrained inference for the autocovariance sequence from a reversible Markov chain

abstract: In this paper, we study the problem of estimating the autocovariance sequence resulting from a reversible Markov chain. A motivating application for studying this problem is the estimation of the asymptotic variance in central limit theorems for Markov chains. We propose a novel shape-constrained estimator of the autocovariance sequence, which is based on the key observation that the representability of the autocovariance sequence as a moment sequence imposes certain shape constraints. We examine the theoretical properties of the proposed estimator and provide strong consistency guarantees for our estimator. In particular, for geometrically ergodic reversible Markov chains, we show that our estimator is strongly consistent for the true autocovariance sequence with respect to an $\ell_2$ distance, and that our estimator leads to strongly consistent estimates of the asymptotic variance. Finally, we perform empirical studies to illustrate the theoretical properties of the proposed estimator as well as to demonstrate the effectiveness of our estimator in comparison with other current state-of-the-art methods for Markov chain Monte Carlo variance estimation, including batch means, spectral variance estimators, and the initial convex sequence estimator.


title: Sub-Planck phase-space structure and sensitivity for SU(1,1) compass states

abstract: We investigate the sub-Planck-scale structures associated with the SU(1,1) group by establishing that the Planck scale on the hyperbolic plane can be considered as the inverse of the Bargmann index $k$. Our discussion involves SU(1,1) versions of Wigner functions, and the quantum-interference effect is easily visualized through plots of these Wigner functions. Specifically, the superpositions of four Perelomov SU(1,1) coherent states (compass state) yield nearly isotropic sub-Planck structures in phase space scaling as $\frac1{k}$ compared with $\frac1{\sqrt{k}}$ scaling for individual SU(1,1) coherent states and anisotropic quadratically improved scaling for superpositions of two SU(1,1) coherent states (cat state). We show that displacement sensitivity exhibits the same quadratic improvement to scaling.


title: Fast Multiobjective Gradient Methods with Nesterov Acceleration via Inertial Gradient-like Systems

abstract: We derive efficient algorithms to compute weakly Pareto optimal solutions for smooth, convex and unconstrained multiobjective optimization problems in general Hilbert spaces. To this end, we define a novel inertial gradient-like dynamical system in the multiobjective setting, whose trajectories converge weakly to Pareto optimal solutions. Discretization of this system yields an inertial multiobjective algorithm which generates sequences that converge weakly to Pareto optimal solutions. We employ Nesterov acceleration to define an algorithm with an improved convergence rate compared to the plain multiobjective steepest descent method (Algorithm 1). A further improvement in terms of efficiency is achieved by avoiding the solution of a quadratic subproblem to compute a common step direction for all objective functions, which is usually required in first order methods. Using a different discretization of our inertial gradient-like dynamical system, we obtain an accelerated multiobjective gradient method that does not require the solution of a subproblem in each step (Algorithm 2). While this algorithm does not converge in general, it yields good results on test problems while being faster than standard steepest descent by two to three orders of magnitude.


title: Dynamics of spin-1/2 $J_1$-$J_2$ model on the triangular lattice

abstract: We discuss spin-$\frac12$ $J_1$--$J_2$ model on the triangular lattice using recently proposed bond-operator theory (BOT). In agreement with previous discussions of this system, we obtain four phases upon $J_2$ increasing: the phase with $120^\circ$ ordering of three sublattices, the spin-liquid phase, the state with the collinear stripe order, and the spiral phase. The $120^\circ$ and the stripe phases are discussed in detail. All calculated static characteristics of the model are in good agreement with previous numerical findings. In the $120^\circ$ phase, we observe the evolution of quasiparticles spectra and dynamical structure factors (DSFs) upon approaching the spin-liquid phase. Some of the considered elementary excitations were introduced first in our recent study of this system at $J_2=0$ using the BOT. In the stripe phase, we observe that the doubly degenerate magnon spectrum known from the spin-wave theory (SWT) is split by quantum fluctuations which are taken into account more accurately in the BOT. As compared with other known findings of the SWT in the stripe state, we observe additional spin-1 and spin-0 quasiparticles which give visible anomalies in the transverse and longitudinal DSFs. We obtain also a special spin-0 quasiparticle named singlon who produces a peak only in four-spin correlator and who is invisible in the longitudinal DSF. We show that the singlon spectrum lies below energies of all spin-0 and spin-1 excitations in some parts of the Brillouin zone. Singlon spectrum at zero momentum can be probed by the Raman scattering.


title: Asymptotic Mutual Information Analysis for Double-scattering MIMO Channels: A New Approach by Gaussian Tools

abstract: The asymptotic mutual information (MI) analysis for multiple-input multiple-output (MIMO) systems over double-scattering channels has achieved engaging results, but the convergence rates of the mean, variance, and the distribution of the MI are not yet available in the literature. In this paper, by utilizing the large random matrix theory (RMT), we give a central limit theory (CLT) for the MI and derive the closed-form approximation for the mean and the variance by a new approach -- Gaussian tools. The convergence rates of the mean, variance, and the characteristic function are proved to be O(1/N) for the first time, where N is the number of transmit antennas. Furthermore, the impact of the number of effective scatterers on the mean and variance was investigated in the moderate-to-high SNR regime with some interesting physical insights. The proposed evaluation framework can be utilized for the asymptotic performance analysis of other systems over double-scattering channels.


title: Active Learning of Ordinal Embeddings: A User Study on Football Data

abstract: Humans innately measure distance between instances in an unlabeled dataset using an unknown similarity function. Distance metrics can only serve as proxy for similarity in information retrieval of similar instances. Learning a good similarity function from human annotations improves the quality of retrievals. This work uses deep metric learning to learn these user-defined similarity functions from few annotations for a large football trajectory dataset. We adapt an entropy-based active learning method with recent work from triplet mining to collect easy-to-answer but still informative annotations from human participants and use them to train a deep convolutional network that generalizes to unseen samples. Our user study shows that our approach improves the quality of the information retrieval compared to a previous deep metric learning approach that relies on a Siamese network. Specifically, we shed light on the strengths and weaknesses of passive sampling heuristics and active learners alike by analyzing the participants' response efficacy. To this end, we collect accuracy, algorithmic time complexity, the participants' fatigue and time-to-response, qualitative self-assessment and statements, as well as the effects of mixed-expertise annotators and their consistency on model performance and transfer-learning.


title: Existence of global solutions for the modified Camassa-Holm equation with a nonzero background

abstract: Consideration in the present paper is the existence of global solutions for the modified Camassa-Holm (mCH) equation with a nonzero background initial value. The mCH equation is completely integrable and can be considered as a model for the unidirectional propagation of shallow-water waves. By applying the inverse scattering transform with an application of the Cauchy projection operator, the existence of a unique global solution to the mCH equation in the line with a nonzero background initial value is established in the weighted Sobolev space $ H^{2, 1} (\mathbb{R})\cap H^{1, 2} (\mathbb{R})$ based on the representation of a Riemann-Hilbert (RH) problem associated with the Cauchy problem to the mCH equation. A crucial technique used is to derive the boundedness of the solution in the Sobolev space $ W^{1,\infty}(\mathbb{R}),$ then reconstruct a new RH problem for the Cauchy projection operator of reflection coefficients. The regularity of the global solution is achieved by the refined estimate arguments on those solutions of the corresponding RH problem.


title: Flow 2.0 -a flexible, scalable, cross-platform post-processing software for realtime phase contrast sequences

abstract: Flow 2.0 is an end-to-end easy-of-use software that allows us to quickly, robustly and accurately perform a batch process real-time phase contrast data and multivariate analysis of the effect of respiration on cerebral fluids circulation. Synopsis (99/100) Real-time phase contrast sequences (RT-PC) have potential value as a scientific and clinical tool in quantifying the effects of respiration on cerebral circulation. To simplify its complicated post-processing process, we developed Flow 2.0 software, which provides a complete post-processing workflow including converting DICOM data, image segmentation, image processing, data extraction, background field correction, antialiasing filter, signal processing and analysis and a novel time-domain method for quantifying the effect of respiration on the cerebral circulation. This end-to-end software allows us to quickly, robustly and accurately perform batch process RT-PC and multivariate analysis of the effects of respiration on cerebral circulation.


title: Implementing the Comparison-Based External Sort

abstract: In the age of big data, sorting is an indispensable operation for DBMSes and similar systems. Having data sorted can help produce query plans with significantly lower run times. It also can provide other benefits like having non-blocking operators which will produce data steadily (without bursts), or operators with reduced memory footprint. Sorting may be required on any step of query processing, i.e., be it source data or intermediate results. At the same time, the data to be sorted may not fit into main memory. In this case, an external sort operator, which writes intermediate results to disk, should be used. In this paper we consider an external sort operator of the comparison-based sort type. We discuss its implementation and describe related design decisions. Our aim is to study the impact on performance of a data structure used on the merge step. For this, we have experimentally evaluated three data structures implemented inside a DBMS. Results have shown that it is worthwhile to make an effort to implement an efficient data structure for run merging, even on modern commodity computers which are usually disk-bound. Moreover, we demonstrated that using a loser tree is a more efficient approach than both the naive approach and the heap-based one.


title: Real-Time Phase Contrast MRI to quantify Cerebral arterial flow change during variations breathing

abstract: Cerebral arterial blood flow (CABF) can be investigated in few seconds without any synchronization by Real-Time phase contrast. Significant changes in CABF were found between expiration and inspiration during normal breathing of healthy volunteers. Synopsis (100/100) Real-time phase contrast MRI has been applied to investigate cerebral arterial blood flow (CABF) during normal breathing of healthy volunteers. We developed a novel time-domain analysis method to quantify the effect of normal breathing on several parameters of CABF. We found the existence of a delay between the recorded respiratory signal from the belt sensor and the breathing frequency component present in the reconstructed arterial blood flows. During the expiratory, the mean flow rate of CABF increased by 4.4$\pm$1.7%, stroke volume of CABF increased by 9.8$\pm$3.1% and the duration of the cardiac period of CABF increased by 8.1$\pm$3%.


title: Comparison of Deep Learning and Machine Learning Models and Frameworks for Skin Lesion Classification

abstract: The incidence rate for skin cancer has been steadily increasing throughout the world, leading to it being a serious issue. Diagnosis at an early stage has the potential to drastically reduce the harm caused by the disease, however, the traditional biopsy is a labor-intensive and invasive procedure. In addition, numerous rural communities do not have easy access to hospitals and do not prefer visiting one for what they feel might be a minor issue. Using machine learning and deep learning for skin cancer classification can increase accessibility and reduce the discomforting procedures involved in the traditional lesion detection process. These models can be wrapped in web or mobile apps and serve a greater population. In this paper, two such models are tested on the benchmark HAM10000 dataset of common skin lesions. They are Random Forest with Stratified K-Fold Validation, and MobileNetV2 (throughout the rest of the paper referred to as MobileNet). The MobileNet model was trained separately using both TensorFlow and PyTorch frameworks. A side-by-side comparison of both deep learning and machine learning models and a comparison of the same deep learning model on different frameworks for skin lesion diagnosis in a resource-constrained mobile environment has not been conducted before. The results indicate that each of these models fares better at different classification tasks. For greater overall recall, accuracy, and detection of malignant melanoma, the TensorFlow MobileNet was the better choice. However, for detecting noncancerous skin lesions, the PyTorch MobileNet proved to be better. Random Forest was the better algorithm when it came to having a low computational cost with moderate correctness.


title: MV-FCOS3D++: Multi-View Camera-Only 4D Object Detection with Pretrained Monocular Backbones

abstract: In this technical report, we present our solution, dubbed MV-FCOS3D++, for the Camera-Only 3D Detection track in Waymo Open Dataset Challenge 2022. For multi-view camera-only 3D detection, methods based on bird-eye-view or 3D geometric representations can leverage the stereo cues from overlapped regions between adjacent views and directly perform 3D detection without hand-crafted post-processing. However, it lacks direct semantic supervision for 2D backbones, which can be complemented by pretraining simple monocular-based detectors. Our solution is a multi-view framework for 4D detection following this paradigm. It is built upon a simple monocular detector FCOS3D++, pretrained only with object annotations of Waymo, and converts multi-view features to a 3D grid space to detect 3D objects thereon. A dual-path neck for single-frame understanding and temporal stereo matching is devised to incorporate multi-frame information. Our method finally achieves 49.75% mAPL with a single model and wins 2nd place in the WOD challenge, without any LiDAR-based depth supervision during training. The code will be released at https://github.com/Tai-Wang/Depth-from-Motion.


title: The derivatives of Sinkhorn-Knopp converge

abstract: We show that the derivatives of the Sinkhorn-Knopp algorithm, or iterative proportional fitting procedure, converge towards the derivatives of the entropic regularization of the optimal transport problem with a locally uniform linear convergence rate.


title: XInsight: eXplainable Data Analysis Through The Lens of Causality

abstract: In light of the growing popularity of Exploratory Data Analysis (EDA), understanding the underlying causes of the knowledge acquired by EDA is crucial. However, it remains under-researched. This study promotes a transparent and explicable perspective on data analysis, called eXplainable Data Analysis (XDA). For this reason, we present XInsight, a general framework for XDA. XInsight provides data analysis with qualitative and quantitative explanations of causal and non-causal semantics. This way, it will significantly improve human understanding and confidence in the outcomes of data analysis, facilitating accurate data interpretation and decision making in the real world. XInsight is a three-module, end-to-end pipeline designed to extract causal graphs, translate causal primitives into XDA semantics, and quantify the quantitative contribution of each explanation to a data fact. XInsight uses a set of design concepts and optimizations to address the inherent difficulties associated with integrating causality into XDA. Experiments on synthetic and real-world datasets as well as a user study demonstrate the highly promising capabilities of XInsight.


title: Unification of the mathematical model of elastic perfectly plastic solids: a convex analysis approach

abstract: A new mathematical formulation for the constitutive laws governing elastic perfectly plastic materials is proposed here. In particular, it is shown that the elastic strain rate and the plastic strain rate form an orthogonal decomposition with respect to the tangent cone and the normal cone of the yield domain. It is also shown that the stress rate can be seen as the projection on the tangent cone of the elastic stress tensor. This approach leads to a coherent mathematical formulation of the elasto-plastic laws and simplifies the resulting system for the associated flow evolution equations. The cases of one or two yields functions are treated in detail. The practical examples of the von Mises and Tresca yield criteria are worked out in detail to demonstrate the usefulness of the new formalism in applications.


title: Convolutional neural networks and multi-threshold analysis for contamination detection in the apparel industry

abstract: Quality control of apparel items is mandatory in modern textile industry, as consumer's awareness and expectations about the highest possible standard is constantly increasing in favor of sustainable and ethical textile products. Such a level of quality is achieved by checking the product throughout its life cycle, from raw materials to boxed stock. Checks may include color shading tests, fasteners fatigue tests, fabric weigh tests, contamination tests, etc. This work deals specifically with the automatic detection of contaminations given by small parts in the finished product such as raw material like little stones and plastic bits or materials from the construction process, like a whole needle or a clip. Identification is performed by a two-level processing of X-ray images of the items: in the first, a multi-threshold analysis recognizes the contaminations by gray level and shape attributes; the second level consists of a deep learning classifier that has been trained to distinguish between true positives and false positives. The automatic detector was successfully deployed in an actual production plant, since the results satisfy the technical specification of the process, namely a number of false negatives smaller than 3% and a number of false positives smaller than 15%.


title: The fate of horizons under quantum corrections

abstract: We have studied a lagrangian in which the Einstein-Hilbert term is deformed by the Weyl cube operator, which is the lowest-dimension operator that is non-vanishing on shell and appears as a two-loop counterterm. There is a tension between the Schwarzschild de Sitter (SdS) spacetime and this operator, which we study in some detail.