title: Markerless Camera-to-Robot Pose Estimation via Self-supervised Sim-to-Real Transfer

abstract: Solving the camera-to-robot pose is a fundamental requirement for vision-based robot control, and is a process that takes considerable effort and cares to make accurate. Traditional approaches require modification of the robot via markers, and subsequent deep learning approaches enabled markerless feature extraction. Mainstream deep learning methods only use synthetic data and rely on Domain Randomization to fill the sim-to-real gap, because acquiring the 3D annotation is labor-intensive. In this work, we go beyond the limitation of 3D annotations for real-world data. We propose an end-to-end pose estimation framework that is capable of online camera-to-robot calibration and a self-supervised training method to scale the training to unlabeled real-world data. Our framework combines deep learning and geometric vision for solving the robot pose, and the pipeline is fully differentiable. To train the Camera-to-Robot Pose Estimation Network (CtRNet), we leverage foreground segmentation and differentiable rendering for image-level self-supervision. The pose prediction is visualized through a renderer and the image loss with the input image is back-propagated to train the neural network. Our experimental results on two public real datasets confirm the effectiveness of our approach over existing works. We also integrate our framework into a visual servoing system to demonstrate the promise of real-time precise robot pose estimation for automation tasks.


title: Noether Symmetry analysis in Chameleon Field Cosmology

abstract: This work deals with chameleon field cosmology (a scalar field nonminimally coupled to cold dark matter) in the background of flat Friedmann-Lemaitre-Robertson-Walker (FLRW) space-time. Both classical and quantum cosmology have been investigated using Noether symmetry analysis of the underlying physical system. The Wheeler-DeWitt (WD) equation has been constructed on the minisuperspace and solutions have been obtained using conserved charge.


title: Design of an Adaptive Lightweight LiDAR to Decouple Robot-Camera Geometry

abstract: A fundamental challenge in robot perception is the coupling of the sensor pose and robot pose. This has led to research in active vision where robot pose is changed to reorient the sensor to areas of interest for perception. Further, egomotion such as jitter, and external effects such as wind and others affect perception requiring additional effort in software such as image stabilization. This effect is particularly pronounced in micro-air vehicles and micro-robots who typically are lighter and subject to larger jitter but do not have the computational capability to perform stabilization in real-time. We present a novel microelectromechanical (MEMS) mirror LiDAR system to change the field of view of the LiDAR independent of the robot motion. Our design has the potential for use on small, low-power systems where the expensive components of the LiDAR can be placed external to the small robot. We show the utility of our approach in simulation and on prototype hardware mounted on a UAV. We believe that this LiDAR and its compact movable scanning design provide mechanisms to decouple robot and sensor geometry allowing us to simplify robot perception. We also demonstrate examples of motion compensation using IMU and external odometry feedback in hardware.


title: DC-Former: Diverse and Compact Transformer for Person Re-Identification

abstract: In person re-identification (re-ID) task, it is still challenging to learn discriminative representation by deep learning, due to limited data. Generally speaking, the model will get better performance when increasing the amount of data. The addition of similar classes strengthens the ability of the classifier to identify similar identities, thereby improving the discrimination of representation. In this paper, we propose a Diverse and Compact Transformer (DC-Former) that can achieve a similar effect by splitting embedding space into multiple diverse and compact subspaces. Compact embedding subspace helps model learn more robust and discriminative embedding to identify similar classes. And the fusion of these diverse embeddings containing more fine-grained information can further improve the effect of re-ID. Specifically, multiple class tokens are used in vision transformer to represent multiple embedding spaces. Then, a self-diverse constraint (SDC) is applied to these spaces to push them away from each other, which makes each embedding space diverse and compact. Further, a dynamic weight controller(DWC) is further designed for balancing the relative importance among them during training. The experimental results of our method are promising, which surpass previous state-of-the-art methods on several commonly used person re-ID benchmarks.


title: Beamforming and Device Selection Design in Federated Learning with Over-the-air Aggregation

abstract: Federated learning (FL) with over-the-air computation can efficiently utilize the communication bandwidth but is susceptible to analog aggregation error. Excluding those devices with weak channel conditions can reduce the aggregation error, but it also limits the amount of local training data for FL, which can reduce the training convergence rate. In this work, we jointly design uplink receiver beamforming and device selection for over-the-air FL over time-varying wireless channels to maximize the training convergence rate. We reformulate this stochastic optimization problem into a mixed-integer program using an upper bound on the global training loss over communication rounds. We then propose a Greedy Spatial Device Selection (GSDS) approach, which uses a sequential procedure to select devices based on a measure capturing both the channel strength and the channel correlation to the selected devices. We show that given the selected devices, the receiver beamforming optimization problem is equivalent to downlink single-group multicast beamforming. To reduce the computational complexity, we also propose an Alternating-optimization-based Device Selection and Beamforming (ADSBF) approach, which solves the receiver beamforming and device selection subproblems alternatingly. In particular, despite the device selection being an integer problem, we are able to develop an efficient algorithm to find its optimal solution. Simulation results with real-world image classification demonstrate that our proposed methods achieve faster convergence with significantly lower computational complexity than existing alternatives. Furthermore, although ADSBF shows marginally inferior performance to GSDS, it offers the advantage of lower computational complexity when the number of devices is large.


title: UniFLG: Unified Facial Landmark Generator from Text or Speech

abstract: Talking face generation has been extensively investigated owing to its wide applicability. The two primary frameworks used for talking face generation comprise a text-driven framework, which generates synchronized speech and talking faces from text, and a speech-driven framework, which generates talking faces from speech. To integrate these frameworks, this paper proposes a unified facial landmark generator (UniFLG). The proposed system exploits end-to-end text-to-speech not only for synthesizing speech but also for extracting a series of latent representations that are common to text and speech, and feeds it to a landmark decoder to generate facial landmarks. We demonstrate that our system achieves higher naturalness in both speech synthesis and facial landmark generation compared to the state-of-the-art text-driven method. We further demonstrate that our system can generate facial landmarks from speech of speakers without facial video data or even speech data.


title: Turning a CLIP Model into a Scene Text Detector

abstract: The recent large-scale Contrastive Language-Image Pretraining (CLIP) model has shown great potential in various downstream tasks via leveraging the pretrained vision and language knowledge. Scene text, which contains rich textual and visual information, has an inherent connection with a model like CLIP. Recently, pretraining approaches based on vision language models have made effective progresses in the field of text detection. In contrast to these works, this paper proposes a new method, termed TCM, focusing on Turning the CLIP Model directly for text detection without pretraining process. We demonstrate the advantages of the proposed TCM as follows: (1) The underlying principle of our framework can be applied to improve existing scene text detector. (2) It facilitates the few-shot training capability of existing methods, e.g., by using 10% of labeled data, we significantly improve the performance of the baseline method with an average of 22% in terms of the F-measure on 4 benchmarks. (3) By turning the CLIP model into existing scene text detection methods, we further achieve promising domain adaptation ability. The code will be publicly released at https://github.com/wenwenyu/TCM.


title: Efficient Exploration Using Extra Safety Budget in Constrained Policy Optimization

abstract: Reinforcement learning (RL) has achieved promising results on most robotic control tasks. Safety of learning-based controllers is an essential notion of ensuring the effectiveness of the controllers. Current methods adopt whole consistency constraints during the training, thus resulting in inefficient exploration in the early stage. In this paper, we propose an algorithm named Constrained Policy Optimization with Extra Safety Budget (ESB-CPO) to strike a balance between the exploration efficiency and the constraints satisfaction. In the early stage, our method loosens the practical constraints of unsafe transitions (adding extra safety budget) with the aid of a new metric we propose. With the training process, the constraints in our optimization problem become tighter. Meanwhile, theoretical analysis and practical experiments demonstrate that our method gradually meets the cost limit's demand in the final training stage. When evaluated on Safety-Gym and Bullet-Safety-Gym benchmarks, our method has shown its advantages over baseline algorithms in terms of safety and optimality. Remarkably, our method gains remarkable performance improvement under the same cost limit compared with baselines.


title: HelixSurf: A Robust and Efficient Neural Implicit Surface Learning of Indoor Scenes with Iterative Intertwined Regularization

abstract: Recovery of an underlying scene geometry from multiview images stands as a long-time challenge in computer vision research. The recent promise leverages neural implicit surface learning and differentiable volume rendering, and achieves both the recovery of scene geometry and synthesis of novel views, where deep priors of neural models are used as an inductive smoothness bias. While promising for object-level surfaces, these methods suffer when coping with complex scene surfaces. In the meanwhile, traditional multi-view stereo can recover the geometry of scenes with rich textures, by globally optimizing the local, pixel-wise correspondences across multiple views. We are thus motivated to make use of the complementary benefits from the two strategies, and propose a method termed Helix-shaped neural implicit Surface learning or HelixSurf; HelixSurf uses the intermediate prediction from one strategy as the guidance to regularize the learning of the other one, and conducts such intertwined regularization iteratively during the learning process. We also propose an efficient scheme for differentiable volume rendering in HelixSurf. Experiments on surface reconstruction of indoor scenes show that our method compares favorably with existing methods and is orders of magnitude faster, even when some of existing methods are assisted with auxiliary training data. The source code is available at https://github.com/Gorilla-Lab-SCUT/HelixSurf.


title: Generalization of the Kuramoto model to the Winfree model by a symmetry breaking coupling

abstract: We construct a nontrivial generalization of the paradigmatic Kuramoto model by using an additional coupling term that explicitly breaks its rotational symmetry resulting in a variant of the Winfree Model. Consequently, we observe the characteristic features of the phase diagrams of both the Kuramoto model and the Winfree model depending on the degree of the symmetry breaking coupling strength for unimodal frequency distribution. The phase diagrams of both the Kuramoto and the Winfree models resemble each other for symmetric bimodal frequency distribution for a range of the symmetry breaking coupling strength except for region shift and difference in the degree of spread of the macroscopic dynamical states and bistable regions. The dynamical transitions in the bistable states are characterized by an abrupt (first-order) transition in both the forward and reverse traces. For asymmetric bimodal frequency distribution, the onset of bistable regions depends on the degree of the asymmetry. Large degree of the symmetry breaking coupling strength promotes the synchronized stationary state, while a large degree of heterogeneity, proportional to the separation between the two central frequencies, facilitates the spread of the incoherent and standing wave states in the phase diagram for a low strength of the symmetry breaking coupling. We deduce the low-dimensional equations of motion for the complex order parameters using the Ott-Antonsen ansatz for both unimodal and bimodal frequency distributions. We also deduce the Hopf, pitchfork, and saddle-node bifurcation curves from the evolution equations for the complex order parameters mediating the dynamical transitions. Simulation results of the original discrete set of equations of the generalized Kuramoto model agree well with the analytical bifurcation curves.


title: Abstract interlevel persistence for Morse-Novikov and Floer theory

abstract: We develop a general algebraic framework involving "Poincar\'e--Novikov structures" and "filtered matched pairs" to provide an abstract approach to the barcodes associated to the homologies of interlevel sets of $\mathbb{R}$- or $S^1$-valued Morse functions, which can then be applied to Floer-theoretic situations where no readily apparent analogue of an interlevel set is available. The resulting barcodes satisfy abstract versions of stability and duality theorems, and in the case of Morse or Novikov theory they coincide with the standard barcodes coming from interlevel persistence. In the case of Hamiltonian Floer theory, the lengths of the bars yield multiple quantities that are reminiscent of the spectral norm of a Hamiltonian diffeomorphism.


title: New perspectives on spectroscopic factor quenching from reactions

abstract: The evolution of single-particle strengths as the neutron-to-proton asymmetry changes informs us of the importance of short- and long-range correlations in nuclei and has therefore been extensively studied for the last two decades. Surprisingly, the strong asymmetry dependence of these strengths and their extreme values for highly-asymmetric nuclei inferred from knockout reaction measurements on a target nucleus are not consistent with what is extracted from electron-induced, transfer, and quasi-free reaction data, constituting a two-decade old puzzle. This work presents the first consistent analysis of one-nucleon transfer and one-nucleon knockout data, in which theoretical uncertainties associated with the nucleon-nucleus effective interactions considered in the reaction models are quantified using a Bayesian analysis. Our results demonstrate that, taking into account these uncertainties, the spectroscopic strengths of loosely-bound nucleons extracted from both probes agree with each other and, although there are still discrepancies for deeply-bound nucleons, the slope of the asymmetry dependence of the single-particle strengths inferred from transfer and knockout reactions are consistent within $1\sigma$. Both probes are consistent with a small asymmetry dependence of these strengths. The uncertainties obtained in this work represent a lower bound and are already significantly larger than the original estimates.


title: Modular and Parallelizable Multibody Physics Simulation via Subsystem-Based ADMM

abstract: In this paper, we present a new multibody physics simulation framework that utilizes the subsystem-based structure and the Alternating Direction Method of Multiplier (ADMM). The major challenge in simulating complex high degree of freedom systems is a large number of coupled constraints and large-sized matrices. To address this challenge, we first split the multibody into several subsystems and reformulate the dynamics equation into a subsystem perspective based on the structure of their interconnection. Then we utilize ADMM with our novel subsystem-based variable splitting scheme to solve the equation, which allows parallelizable and modular architecture. The resulting algorithm is fast, scalable, versatile, and converges well while maintaining solution consistency. Several illustrative examples are implemented with performance evaluation results showing advantages over other state-of-the-art algorithms.


title: Sagbi combinatorics of maximal minors and a Sagbi algorithm

abstract: The maximal minors of a matrix of indeterminates are a universal Gr\"obner basis by a theorem of Bernstein, Sturmfels and Zelevinsky. On the other hand it is known that they are not always a universal Sagbi basis. By an experimental approach we discuss their behavior under varying monomial orders and their extensions to Sagbi bases. These experiments motivated a new implementation of the Sagbi algorithm which is organized in a Singular script and falls back on Normaliz for the combinatorial computations. In comparison to packages in the current standard distributions of Macaulay 2 and Singular it extends the range of computability by at least one order of magnitude.


title: Sampled Transformer for Point Sets

abstract: The sparse transformer can reduce the computational complexity of the self-attention layers to $O(n)$, whilst still being a universal approximator of continuous sequence-to-sequence functions. However, this permutation variant operation is not appropriate for direct application to sets. In this paper, we proposed an $O(n)$ complexity sampled transformer that can process point set elements directly without any additional inductive bias. Our sampled transformer introduces random element sampling, which randomly splits point sets into subsets, followed by applying a shared Hamiltonian self-attention mechanism to each subset. The overall attention mechanism can be viewed as a Hamiltonian cycle in the complete attention graph, and the permutation of point set elements is equivalent to randomly sampling Hamiltonian cycles. This mechanism implements a Monte Carlo simulation of the $O(n^2)$ dense attention connections. We show that it is a universal approximator for continuous set-to-set functions. Experimental results on point-clouds show comparable or better accuracy with significantly reduced computational complexity compared to the dense transformer or alternative sparse attention schemes.


title: Membership analysis and 3D kinematics of the star-forming complex around Trumpler 37 using Gaia-DR3

abstract: Identifying and characterizing young populations of star-forming regions is crucial to unravel their properties. In this regard, Gaia-DR3 data and machine learning tools are very useful for studying large star-forming complexes. In this work, we analyze the $\rm \sim7.1degree^2$ area of one of our Galaxy's dominant feedback-driven star-forming complexes, i.e., the region around Trumpler 37. Using the Gaussian mixture and random forest classifier methods, we identify 1243 high-probable members in the complex, of which $\sim60\%$ are new members and are complete down to the mass limit of $\sim$0.1 $-$ 0.2~$\rm M_{\odot}$. The spatial distribution of the stars reveals multiple clusters towards the complex, where the central cluster around the massive star HD 206267 reveals two sub-clusters. Of the 1243 stars, 152 have radial velocity, with a mean value of $\rm -16.41\pm0.72~km/s$. We investigate stars' internal and relative movement within the central cluster. The kinematic analysis shows that the cluster's expansion is relatively slow compared to the whole complex. This slow expansion is possibly due to newly formed young stars within the cluster. We discuss these results in the context of hierarchical collapse and feedback-induced collapse mode of star formation in the complex.


title: Im2Hands: Learning Attentive Implicit Representation of Interacting Two-Hand Shapes

abstract: We present Implicit Two Hands (Im2Hands), the first neural implicit representation of two interacting hands. Unlike existing methods on two-hand reconstruction that rely on a parametric hand model and/or low-resolution meshes, Im2Hands can produce fine-grained geometry of two hands with high hand-to-hand and hand-to-image coherency. To handle the shape complexity and interaction context between two hands, Im2Hands models the occupancy volume of two hands - conditioned on an RGB image and coarse 3D keypoints - by two novel attention-based modules responsible for (1) initial occupancy estimation and (2) context-aware occupancy refinement, respectively. Im2Hands first learns per-hand neural articulated occupancy in the canonical space designed for each hand using query-image attention. It then refines the initial two-hand occupancy in the posed space to enhance the coherency between the two hand shapes using query-anchor attention. In addition, we introduce an optional keypoint refinement module to enable robust two-hand shape estimation from predicted hand keypoints in a single-image reconstruction scenario. We experimentally demonstrate the effectiveness of Im2Hands on two-hand reconstruction in comparison to related methods, where ours achieves state-of-the-art results. Our code is publicly available at https://github.com/jyunlee/Im2Hands.


title: Advantages of Asynchronous Measurement-Device-Independent Quantum Key Distribution in Intercity Networks

abstract: The new variant of measurement-device-independent quantum key distribution (MDI-QKD), called asynchronous MDI-QKD or mode-pairing MDI-QKD, offers similar repeater-like rate-loss scaling but has the advantage of simple technology implementation by exploiting an innovative post-measurement pairing technique. We herein present an evaluation of the practical aspects of decoy-state asynchronous MDI-QKD. To determine its effectiveness, we analyze the optimal method of decoy-state calculation and examine the impact of asymmetrical channels and multi-user networks. Our simulations show that, under realistic conditions, aynchronous MDI-QKD can furnish the highest key rate with MDI security as compared to other QKD protocols over distances ranging from 50 km to 480 km. At fiber distances of 50 km and 100 km, the key rates attain 6.02 Mbps and 2.29 Mbps respectively, which are sufficient to facilitate real-time one-time-pad video encryption. Our findings indicate that experimental implementation of asynchronous MDI-QKD in intercity networks can be both practical and efficient.


title: Knowledge Augmented Relation Inference for Group Activity Recognition

abstract: Most existing group activity recognition methods construct spatial-temporal relations merely based on visual representation. Some methods introduce extra knowledge, such as action labels, to build semantic relations and use them to refine the visual presentation. However, the knowledge they explored just stay at the semantic-level, which is insufficient for pursing notable accuracy. In this paper, we propose to exploit knowledge concretization for the group activity recognition, and develop a novel Knowledge Augmented Relation Inference framework that can effectively use the concretized knowledge to improve the individual representations. Specifically, the framework consists of a Visual Representation Module to extract individual appearance features, a Knowledge Augmented Semantic Relation Module explore semantic representations of individual actions, and a Knowledge-Semantic-Visual Interaction Module aims to integrate visual and semantic information by the knowledge. Benefiting from these modules, the proposed framework can utilize knowledge to enhance the relation inference process and the individual representations, thus improving the performance of group activity recognition. Experimental results on two public datasets show that the proposed framework achieves competitive performance compared with state-of-the-art methods.


title: Torsional rigidity in random walk spaces

abstract: In this paper we study the (nonlocal) torsional rigidity in the ambient space of random walk spaces. We get the relation of the (nonlocal) torsional rigidity of a set $\Omega$ with the spectral $m$-heat content of $\Omega$, what gives rise to a complete description of the nonlocal torsional rigidity of $\Omega$ by using uniquely probability terms involving the set $\Omega$; and recover the first eigenvalue of the nonlocal Laplacian with homogeneous Dirichlet boundary conditions by a limit formula using these probability term. For the random walk in $\R^N$ associated with a non singular kernel, we get a nonlocal version of the Saint-Venant inequality, and, under rescaling we recover the classical Saint-Venant inequality. We study the nonlocal $p$-torsional rigidity and its relation with the nonlocal Cheeger constants. We also get a nonlocal version of the P\'{o}lya-Makai-type inequalities. We relate the torsional rigidity given here for weighted graphs with the torsional rigidity on metric graphs.


title: Positive semidefinite interval of matrix pencil and its applications for the generalized trust region subproblems

abstract: We are concerned with finding the set $I_{\succeq}(A,B)$ of real values $\mu$ such that the matrix pencil $A+\mu B$ is positive semidefinite. If $A, B$ are not simultaneously diagonalizable via congruence (SDC), $I_{\succeq}(A,B)$ either is empty or has only one value $\mu.$ When $A, B$ are SDC, $I_{\succeq}(A,B),$ if not empty, can be a singleton or an interval. Especially, if $I_{\succeq}(A,B)$ is an interval and at least one of the matrices is nonsingular then its interior is the positive definite interval $I_{\succ}(A,B).$ If $A, B$ are both singular, then even $I_{\succeq}(A,B)$ is an interval, its interior may not be $I_{\succ}(A,B),$ but $A, B$ are then decomposed to block diagonals of submatrices $A_1, B_1$ with $B_1$ nonsingular such that $I_{\succeq}(A,B)=I_{\succeq}(A_1,B_1).$ Applying $I_{\succeq}(A,B),$ the hard-case of the generalized trust-region subproblem (GTRS) can be dealt with by only solving a system of linear equations or reduced to the easy-case of a GTRS of smaller size.


title: A semantic backdoor attack against Graph Convolutional Networks

abstract: Graph convolutional networks (GCNs) have been very effective in addressing the issue of various graph-structured related tasks. However, recent research has shown that GCNs are vulnerable to a new type of threat called a backdoor attack, where the adversary can inject a hidden backdoor into GCNs so that the attacked model performs well on benign samples, but its prediction will be maliciously changed to the attacker-specified target label if the hidden backdoor is activated by the attacker-defined trigger. A semantic backdoor attack is a new type of backdoor attack on deep neural networks (DNNs), where a naturally occurring semantic feature of samples can serve as a backdoor trigger such that the infected DNN models will misclassify testing samples containing the predefined semantic feature even without the requirement of modifying the testing samples. Since the backdoor trigger is a naturally occurring semantic feature of the samples, semantic backdoor attacks are more imperceptible and pose a new and serious threat. In this paper, we investigate whether such semantic backdoor attacks are possible for GCNs and propose a semantic backdoor attack against GCNs (SBAG) under the context of graph classification to reveal the existence of this security vulnerability in GCNs. SBAG uses a certain type of node in the samples as a backdoor trigger and injects a hidden backdoor into GCN models by poisoning training data. The backdoor will be activated, and the GCN models will give malicious classification results specified by the attacker even on unmodified samples as long as the samples contain enough trigger nodes. We evaluate SBAG on four graph datasets and the experimental results indicate that SBAG is effective.


title: Deep Learning for Identifying Iran's Cultural Heritage Buildings in Need of Conservation Using Image Classification and Grad-CAM

abstract: The cultural heritage buildings (CHB), which are part of mankind's history and identity, are in constant danger of damage or in extreme situations total destruction. That being said, it's of utmost importance to preserve them by identifying the existent, or presumptive, defects using novel methods so that renovation processes can be done in a timely manner and with higher accuracy. The main goal of this research is to use new deep learning (DL) methods in the process of preserving CHBs (situated in Iran); a goal that has been neglected especially in developing countries such as Iran, as these countries still preserve their CHBs using manual, and even archaic, methods that need direct human supervision. Having proven their effectiveness and performance when it comes to processing images, the convolutional neural networks (CNN) are a staple in computer vision (CV) literacy and this paper is not exempt. When lacking enough CHB images, training a CNN from scratch would be very difficult and prone to overfitting; that's why we opted to use a technique called transfer learning (TL) in which we used pre-trained ResNet, MobileNet, and Inception networks, for classification. Even more, the Grad-CAM was utilized to localize the defects to some extent. The final results were very favorable based on those of similar research. The final proposed model can pave the way for moving from manual to unmanned CHB conservation, hence an increase in accuracy and a decrease in human-induced errors.


title: Task-Oriented Grasp Prediction with Visual-Language Inputs

abstract: To perform household tasks, assistive robots receive commands in the form of user language instructions for tool manipulation. The initial stage involves selecting the intended tool (i.e., object grounding) and grasping it in a task-oriented manner (i.e., task grounding). Nevertheless, prior researches on visual-language grasping (VLG) focus on object grounding, while disregarding the fine-grained impact of tasks on object grasping. Task-incompatible grasping of a tool will inevitably limit the success of subsequent manipulation steps. Motivated by this problem, this paper proposes GraspCLIP, which addresses the challenge of task grounding in addition to object grounding to enable task-oriented grasp prediction with visual-language inputs. Evaluation on a custom dataset demonstrates that GraspCLIP achieves superior performance over established baselines with object grounding only. The effectiveness of the proposed method is further validated on an assistive robotic arm platform for grasping previously unseen kitchen tools given the task specification. Our presentation video is available at: https://www.youtube.com/watch?v=e1wfYQPeAXU.


title: Universal parameterized family of distributions of runs

abstract: We present explicit formulae for parameterized families of distributions of the number of nonoverlapping words and increasing nonverlapping words in independent and identically distributed (i.i.d.) finite valued random variables, respectively. Then we provide an explicit formula for a parameterized family of distributions of the number of runs, which generalizes \(\mu\)-overlapping distributions for \(\mu\geq 0\) in i.i.d.~binary valued random variables. We also demonstrate that of runs whose size are exactly given numbers (Mood 1940). The number of arithmetic operations required to compute our formula for generalized distributions of runs for fixed number of parameters and fixed range is linear order of sample size.


title: A Token-Wise Beam Search Algorithm for RNN-T

abstract: Standard Recurrent Neural Network Transducers (RNN-T) decoding algorithms for speech recognition are iterating over the time axis, such that one time step is decoded before moving on to the next time step. Those algorithms result in a large number of calls to the joint network, which were shown in previous work to be an important factor that reduces decoding speed. We present a decoding beam search algorithm that batches the joint network calls across a segment of time steps, which results in 20%-96% decoding speedups consistently across all models and settings experimented with. In addition, aggregating emission probabilities over a segment may be seen as a better approximation to finding the most likely model output, causing our algorithm to improve oracle word error rate by up to 11% relative as the segment size increases, and to slightly improve general word error rate.


title: A Unified Representation Framework for Rideshare Marketplace Equilibrium and Efficiency

abstract: Ridesharing platforms are a type of two-sided marketplace where ``supply-demand balance'' is critical for market efficiency and yet is complex to define and analyze. We present a unified analytical framework based on the graph-based equilibrium metric (GEM) for quantifying the supply-demand spatiotemporal state and efficiency of a ridesharing marketplace. GEM was developed as a generalized Wasserstein distance between the supply and demand distributions in a ridesharing market and has been used as an evaluation metric for algorithms expected to improve supply-demand alignment. Building upon GEM, we develop SD-GEM, a dual-perspective (supply- and demand-side) representation of rideshare market equilibrium. We show that there are often disparities between the two views and examine how this dual-view leads to the notion of market efficiency, in which we propose novel statistical tests for capturing improvement and explaining the underlying driving factors.


title: Feasibility of the J-PET to monitor range of therapeutic proton beams

abstract: Objective: The aim of this work is to investigate the feasibility of the Jagiellonian Positron Emission Tomography (J-PET) scanner for intra-treatment proton beam range monitoring. Approach: The Monte Carlo simulation studies with GATE and PET image reconstruction with CASToR were performed in order to compare six J-PET scanner geometries (three dual-heads and three cylindrical). We simulated proton irradiation of a PMMA phantom with a Single Pencil Beam (SPB) and Spread-Out Bragg Peak (SOBP) of various ranges. The sensitivity and precision of each scanner were calculated, and considering the setup's cost-effectiveness, we indicated potentially optimal geometries for the J-PET scanner prototype dedicated to the proton beam range assessment. Main results: The investigations indicate that the double-layer cylindrical and triple-layer double-head configurations are the most promising for clinical application. We found that the scanner sensitivity is of the order of 10$^{-5}$ coincidences per primary proton, while the precision of the range assessment for both SPB and SOBP irradiation plans was found below 1 mm. Among the scanners with the same number of detector modules, the best results are found for the triple-layer dual-head geometry. Significance: We performed simulation studies demonstrating that the feasibility of the J-PET detector for PET-based proton beam therapy range monitoring is possible with reasonable sensitivity and precision enabling its pre-clinical tests in the clinical proton therapy environment. Considering the sensitivity, precision and cost-effectiveness, the double-layer cylindrical and triple-layer dual-head J-PET geometry configurations seem promising for the future clinical application. Experimental tests are needed to confirm these findings.


title: A Study of Comfortability between Interactive AI and Human

abstract: As the use of interactive AI systems becomes increasingly prevalent in our daily lives, it is crucial to understand how individuals feel when interacting with such systems. In this work, we investigate the comfort level of individuals when interacting with intent-predicting AI systems and identify the factors of influence. We introduce a study protocol to analyze human comfortability when interacting with intent-predicting AI systems and execute the study with over a dozen participants. The study findings suggest that users are comfortable with AI systems if they have control and their privacy is not affected. Additionally, the study found that users could differentiate between AI and human responses, but this did not significantly affect their comfort levels. This research paper's significance lies in its contribution to the growing body of literature on interactive AI systems, and it emphasizes the need to consider user perceptions in the development and deployment.


title: Towards continuity: Universal frequency-preserving KAM persistence and remaining regularity

abstract: Beyond H\"{o}lder's type, this paper mainly concerns the persistence and remaining regularity of an individual frequency-preserving KAM torus in a finitely differentiable Hamiltonian system, even allows the non-integrable part being critical finitely smooth. To achieve this goal, besides investigating the Jackson approximation theorem towards only modulus of continuity, we demonstrate an abstract regularity theorem adapting to the new iterative scheme. Via these tools, we obtain a KAM theorem with sharp differentiability hypotheses, asserting that the persistent torus keeps prescribed universal Diophantine frequency unchanged. Further, the non-H\"older regularity for invariant KAM torus as well as the conjugation is explicitly shown by introducing asymptotic analysis. To our knowledge, this is the first approach to KAM on these aspects in a continuous sense, and we also provide two systems, which cannot be studied by previous KAM but by ours.


title: One-Shot Video Inpainting

abstract: Recently, removing objects from videos and filling in the erased regions using deep video inpainting (VI) algorithms has attracted considerable attention. Usually, a video sequence and object segmentation masks for all frames are required as the input for this task. However, in real-world applications, providing segmentation masks for all frames is quite difficult and inefficient. Therefore, we deal with VI in a one-shot manner, which only takes the initial frame's object mask as its input. Although we can achieve that using naive combinations of video object segmentation (VOS) and VI methods, they are sub-optimal and generally cause critical errors. To address that, we propose a unified pipeline for one-shot video inpainting (OSVI). By jointly learning mask prediction and video completion in an end-to-end manner, the results can be optimal for the entire task instead of each separate module. Additionally, unlike the two stage methods that use the predicted masks as ground truth cues, our method is more reliable because the predicted masks can be used as the network's internal guidance. On the synthesized datasets for OSVI, our proposed method outperforms all others both quantitatively and qualitatively.


title: Efficient Implicit Neural Reconstruction Using LiDAR

abstract: Modeling scene geometry using implicit neural representation has revealed its advantages in accuracy, flexibility, and low memory usage. Previous approaches have demonstrated impressive results using color or depth images but still have difficulty handling poor light conditions and large-scale scenes. Methods taking global point cloud as input require accurate registration and ground truth coordinate labels, which limits their application scenarios. In this paper, we propose a new method that uses sparse LiDAR point clouds and rough odometry to reconstruct fine-grained implicit occupancy field efficiently within a few minutes. We introduce a new loss function that supervises directly in 3D space without 2D rendering, avoiding information loss. We also manage to refine poses of input frames in an end-to-end manner, creating consistent geometry without global point cloud registration. As far as we know, our method is the first to reconstruct implicit scene representation from LiDAR-only input. Experiments on synthetic and real-world datasets, including indoor and outdoor scenes, prove that our method is effective, efficient, and accurate, obtaining comparable results with existing methods using dense input.


title: Quantum Gate Generation in Two-Level Open Quantum Systems by Coherent and Incoherent Photons Found with Gradient Search

abstract: In this work, we consider an environment formed by incoherent photons as a resource for controlling open quantum systems via an incoherent control. We exploit a coherent control in the Hamiltonian and an incoherent control in the dissipator which induces the time-dependent decoherence rates $\gamma_k(t)$ (via time-dependent spectral density of incoherent photons) for generation of single-qubit gates for a two-level open quantum system which evolves according to the Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) master equation with time-dependent coefficients determined by these coherent and incoherent controls. The control problem is formulated as minimization of the objective functional, which is the sum of Hilbert-Schmidt norms between four fixed basis states evolved under the GKSL master equation with controls and the same four states evolved under the ideal gate transformation. The exact expression for the gradient of the objective functional with respect to piecewise constant controls is obtained. Subsequent optimization is performed using a gradient type algorithm with an adaptive step size that leads to oscillating behaviour of the gradient norm vs iterations. Optimal trajectories in the Bloch ball for various initial states are computed. A relation of quantum gate generation with optimization on complex Stiefel manifolds is discussed. We develop methodology and apply it here for unitary gates as a testing example. The next step is to apply the method for generation of non-unitary processes and to multi-level quantum systems.


title: RemoteTouch: Enhancing Immersive 3D Video Communication with Hand Touch

abstract: Recent research advance has significantly improved the visual realism of immersive 3D video communication. In this work we present a method to further enhance this immersive experience by adding the hand touch capability ("remote hand clapping"). In our system, each meeting participant sits in front of a large screen with haptic feedback. The local participant can reach his hand out to the screen and perform hand clapping with the remote participant as if the two participants were only separated by a virtual glass. A key challenge in emulating the remote hand touch is the realistic rendering of the participant's hand and arm as the hand touches the screen. When the hand is very close to the screen, the RGBD data required for realistic rendering is no longer available. To tackle this challenge, we present a dual representation of the user's hand. Our dual representation not only preserves the high-quality rendering usually found in recent image-based rendering systems but also allows the hand to reach the screen. This is possible because the dual representation includes both an image-based model and a 3D geometry-based model, with the latter driven by a hand skeleton tracked by a side view camera. In addition, the dual representation provides a distance-based fusion of the image-based and 3D geometry-based models as the hand moves closer to the screen. The result is that the image-based and 3D geometry-based models mutually enhance each other, leading to realistic and seamless rendering. Our experiments demonstrate that our method provides consistent hand contact experience between remote users and improves the immersive experience of 3D video communication.


title: $\mathbb{Z}_2$ Non-Hermitian skin effect in equilibrium heavy-fermions

abstract: We demonstrate that a correlated equilibrium $f$-electron system with time-reversal symmetry can exhibit a $\mathbb{Z}_2$ non-Hermitian skin effect of quasi-particles. In particular, we analyze a two-dimensional periodic Anderson model with spin-orbit coupling by combining the dynamical mean-field theory (DMFT) and the numerical renormalization group. We prove the existence of the $\mathbb{Z}_2$ skin effect by explicitly calculating the topological invariant and show that spin-orbit interaction is essential to this effect. Our DMFT analysis demonstrates that the $\mathbb{Z}_2$ skin effect of quasi-particles is reflected on the pseudo-spectrum. Furthermore, we analyze temperature effects on this skin effect using the generalized Brillouin zone technique, which clarifies that the skin modes are strongly localized above the Kondo temperature.


title: BrainBERT: Self-supervised representation learning for intracranial recordings

abstract: We create a reusable Transformer, BrainBERT, for intracranial recordings bringing modern representation learning approaches to neuroscience. Much like in NLP and speech recognition, this Transformer enables classifying complex concepts, i.e., decoding neural data, with higher accuracy and with much less data by being pretrained in an unsupervised manner on a large corpus of unannotated neural recordings. Our approach generalizes to new subjects with electrodes in new positions and to unrelated tasks showing that the representations robustly disentangle the neural signal. Just like in NLP where one can study language by investigating what a language model learns, this approach opens the door to investigating the brain by what a model of the brain learns. As a first step along this path, we demonstrate a new analysis of the intrinsic dimensionality of the computations in different areas of the brain. To construct these representations, we combine a technique for producing super-resolution spectrograms of neural data with an approach designed for generating contextual representations of audio by masking. In the future, far more concepts will be decodable from neural recordings by using representation learning, potentially unlocking the brain like language models unlocked language.


title: Towards Enhanced Controllability of Diffusion Models

abstract: Denoising Diffusion models have shown remarkable capabilities in generating realistic, high-quality and diverse images. However, the extent of controllability during generation is underexplored. Inspired by techniques based on GAN latent space for image manipulation, we train a diffusion model conditioned on two latent codes, a spatial content mask and a flattened style embedding. We rely on the inductive bias of the progressive denoising process of diffusion models to encode pose/layout information in the spatial structure mask and semantic/style information in the style code. We propose two generic sampling techniques for improving controllability. We extend composable diffusion models to allow for some dependence between conditional inputs, to improve the quality of generations while also providing control over the amount of guidance from each latent code and their joint distribution. We also propose timestep dependent weight scheduling for content and style latents to further improve the translations. We observe better controllability compared to existing methods and show that without explicit training objectives, diffusion models can be used for effective image manipulation and image translation.


title: Quantum Programming of the Satisfiability Problem with Rydberg Atom Graphs

abstract: Finding a quantum computing method to solve nondeterministic polynomial time (NP)-complete problems is currently of paramount importance in quantum information science. Here an experiment is presented to demonstrate the use of Rydberg atoms to solve (i.e., to program and obtain the solution of) the satisfiability (3-SAT) problem, which is the prototypical NP-complete problem allowing general programming of all NP problems. Boolean expressions of the 3-SAT problem are programmed with the blockade interactions of Rydberg atom graphs and their many-body ground states are experimentally obtained, to determine the satisfiabilities of the given 3-SAT problem instances quantum mechanically.


title: CrossSpeech: Speaker-independent Acoustic Representation for Cross-lingual Speech Synthesis

abstract: While recent text-to-speech (TTS) systems have made remarkable strides toward human-level quality, the performance of cross-lingual TTS lags behind that of intra-lingual TTS. This gap is mainly rooted from the speaker-language entanglement problem in cross-lingual TTS. In this paper, we propose CrossSpeech which improves the quality of cross-lingual speech by effectively disentangling speaker and language information in the level of acoustic feature space. Specifically, CrossSpeech decomposes the speech generation pipeline into the speaker-independent generator (SIG) and speaker-dependent generator (SDG). The SIG produces the speaker-independent acoustic representation which is not biased to specific speaker distributions. On the other hand, the SDG models speaker-dependent speech variation that characterizes speaker attributes. By handling each information separately, CrossSpeech can obtain disentangled speaker and language representations. From the experiments, we verify that CrossSpeech achieves significant improvements in cross-lingual TTS, especially in terms of speaker similarity to the target speaker.


title: Formal stability analysis for the recent $\gamma=5/3$ power-law spherical accretion solution

abstract: Recently, an exact spherically symmetric analytic accretion solution was presented having simple $\rho \propto R^{-3/2}$ and $V \propto R^{-1/2}$ scalings in Hernandez et al. (2023). In dimensionless variables that solution forms a one-parameter family of solutions ranging from an empty free-fall solution to a hydrostatic equilibrium configuration. This power-law solution is characterised by a constant Mach number for the flow, which can vary from zero to infinity as a function of the one parameter of the solution, and has an accretion density profile which naturally goes to zero at large radii. This accretion density profile was shown in Hernandez et al. (2023) to be an accurate representation of the accretion density profiles of a sample of AGN galaxies, over hundreds of Bondi radii. The observed density profiles fall by many orders of magnitude in density beyond their Bondi radii, something which is inconsistent with classical Bondi models where the accretion density profiles rapidly converge to a constant outside of the Bondi radius. While the good agreement with observations is suggestive of a global stability for the solution mentioned, no formal stability analysis for it has previously been presented. Here we perform such stability analysis and show the solution mentioned to be globally stable for all values of the parameters governing it, both for its accretion and outflow modes. This result makes the $\gamma=5/3$ power-law spherical accretion model an interesting analytical addition to the study and description of accretion problems in astrophysics.


title: The In-Sample Softmax for Offline Reinforcement Learning

abstract: Reinforcement learning (RL) agents can leverage batches of previously collected data to extract a reasonable control policy. An emerging issue in this offline RL setting, however, is that the bootstrapping update underlying many of our methods suffers from insufficient action-coverage: standard max operator may select a maximal action that has not been seen in the dataset. Bootstrapping from these inaccurate values can lead to overestimation and even divergence. There are a growing number of methods that attempt to approximate an \emph{in-sample} max, that only uses actions well-covered by the dataset. We highlight a simple fact: it is more straightforward to approximate an in-sample \emph{softmax} using only actions in the dataset. We show that policy iteration based on the in-sample softmax converges, and that for decreasing temperatures it approaches the in-sample max. We derive an In-Sample Actor-Critic (AC), using this in-sample softmax, and show that it is consistently better or comparable to existing offline RL methods, and is also well-suited to fine-tuning.


title: A note on solid modeling: history, state of the art, future

abstract: Solid modeling is a technique underlying CAD software as we see it today, and its theories and algorithms are among the most fundamental milestones in the historical development of CAD. Basically, it has answered the question of what geometric information a computer should store and how to store/manipulate them in order for the computer to aid the processes of design and manufacturing. This paper provides a brief review (in Chinese) on the historical development of solid modeling, its fundamental research problems, as well as their challenges and state of the art. It then concludes with three prospective trends of solid modeling, especially the promising paradigm shift from "Computer-Aided Design" to "Computer-Automated Design".


title: Testing the performance of Multi-class IDS public dataset using Supervised Machine Learning Algorithms

abstract: Machine learning, statistical-based, and knowledge-based methods are often used to implement an Anomaly-based Intrusion Detection System which is software that helps in detecting malicious and undesired activities in the network primarily through the Internet. Machine learning comprises Supervised, Semi-Supervised, and Unsupervised Learning algorithms. Supervised machine learning uses a trained label dataset. This paper uses four supervised learning algorithms Random Forest, XGBoost, K-Nearest Neighbours, and Artificial Neural Network to test the performance of the public dataset. Based on the prediction accuracy rate, the results show that Random Forest performs better on multi-class Intrusion Detection System, followed by XGBoost, K-Nearest Neighbours respective, provided prediction accuracy is taken into perspective. Otherwise, K-Nearest Neighbours was the best performer considering the time of training as the metric. It concludes that Random Forest is the best-supervised machine learning for Intrusion Detection System


title: The ESO's Extremely Large Telescope Working Groups

abstract: Since 2005 ESO has been working with its community and industry to develop an extremely large optical/infrared telescope. ESO's Extremely Large Telescope, or ELT for short, is a revolutionary ground-based telescope that will have a 39-metre main mirror and will be the largest visible and infrared light telescope in the world. To address specific topics that are needed for the science operations and calibrations of the telescope, thirteen specific working groups were created to coordinate the effort between ESO, the instrument consortia, and the wider community. We describe here the goals of these working groups as well as their achievements so far.


title: GNOT: A General Neural Operator Transformer for Operator Learning

abstract: Learning partial differential equations' (PDEs) solution operators is an essential problem in machine learning. However, there are several challenges for learning operators in practical applications like the irregular mesh, multiple input functions, and complexity of the PDEs' solution. To address these challenges, we propose a general neural operator transformer (GNOT), a scalable and effective transformer-based framework for learning operators. By designing a novel heterogeneous normalized attention layer, our model is highly flexible to handle multiple input functions and irregular meshes. Besides, we introduce a geometric gating mechanism which could be viewed as a soft domain decomposition to solve the multi-scale problems. The large model capacity of the transformer architecture grants our model the possibility to scale to large datasets and practical problems. We conduct extensive experiments on multiple challenging datasets from different domains and achieve a remarkable improvement compared with alternative methods. Our code and data are publicly available at \url{https://github.com/thu-ml/GNOT}.


title: Image of arbitrary polynomials on upper triangular matrix algebras

abstract: The goal of the paper is to give a complete description of the images of noncommutative polynomials with zero constant term on upper triangular matrix algebras over an algebraically closed field. This is a variation of the old and famous Lvov-Kaplansky conjecture.


title: Record-high-Tc elemental superconductivity in scandium

abstract: Elemental materials provide clean and fundamental platforms for studying superconductivity. However, the highest superconducting critical temperature (Tc) yet observed in elements has not exceeded 30 K. Discovering elemental superconductors with a higher Tc is one of the most fundamental and challenging tasks in condensed matter physics. In this study, by applying high pressure up to approximately 260 GPa, we demonstrate that the superconducting transition temperature of elemental scandium (Sc) can be increased to 36 K, which is a record-high Tc for superconducting elements. The pressure dependence of Tc implies the occurrence of multiple phase transitions in Sc, which is in agreement with previous X-ray diffraction results. Optimization of Tc is achieved in the Sc-V phase, which can be attributed to the strong coupling between d electrons and moderate-frequency phonons, as suggested by our first-principles calculations. This study provides insights for exploring new high-Tc elemental metals.


title: Young stellar distance indicators and the extragalactic distance scale

abstract: The extragalactic distance scale is perhaps the most important application of stellar distance indicators. Among these, classical Cepheids are high-accuracy standard candles that support a $1.4\%$ measurement of Hubble's constant, $H_0$. The accuracy of Cepheid distances is thus directly relevant for understanding the implications of the Hubble tension, the $>5\sigma$ discord among direct, late-Universe $H_0$ measurements and $H_0$ values inferred from the early Universe observations assuming $\Lambda$CDM cosmology. This invited review aims to provide an accessible overview of the state of the art distance ladder that has established the Hubble tension, with a focus on Cepheids, their absolute calibration using trigonometric parallaxes from the ESA mission Gaia, and other Cepheid-related systematics. New observational facilities such as JWST and upcoming large surveys will provide exciting avenues to further improve distance estimates based on Cepheids.


title: Identification and Estimation of Categorical Random Coefficient Models

abstract: This paper proposes a linear categorical random coefficient model, in which the random coefficients follow parametric categorical distributions. The distributional parameters are identified based on a linear recurrence structure of moments of the random coefficients. A Generalized Method of Moments estimation procedure is proposed also employed by Peter Schmidt and his coauthors to address heterogeneity in time effects in panel data models. Using Monte Carlo simulations, we find that moments of the random coefficients can be estimated reasonably accurately, but large samples are required for estimation of the parameters of the underlying categorical distribution. The utility of the proposed estimator is illustrated by estimating the distribution of returns to education in the U.S. by gender and educational levels. We find that rising heterogeneity between educational groups is mainly due to the increasing returns to education for those with postsecondary education, whereas within group heterogeneity has been rising mostly in the case of individuals with high school or less education.


title: Geometric properties of the complete-graph Ising model in the loop representation

abstract: The exact solution of the Ising model on the complete graph (CG) provides an important, though mean-field, insight for the theory of continuous phase transitions. Besides the original spin, the Ising model can be formulated in the Fortuin-Kasteleyn random-cluster and the loop representation, in which many geometric quantities have no correspondence in the spin representations. Using a lifted-worm irreversible algorithm, we study the CG-Ising model in the loop representation, and, based on theoretical and numerical analyses, obtain a number of exact results including volume fractal dimensions and scaling forms. Moreover, by combining with the Loop-Cluster algorithm, we demonstrate how the loop representation can provide an intuitive understanding to the recently observed rich geometric phenomena in the random-cluster representation, including the emergence of two configuration sectors, two length scales and two scaling windows.


title: N=16 magicity revealed at the proton drip-line through the study of 35Ca

abstract: The last proton bound calcium isotope $^{35}$Ca has been studied for the first time, using the $^{37}$Ca($p, t$)$^{35}$Ca two neutron transfer reaction. The radioactive $^{37}$Ca nuclei, produced by the LISE spectrometer at GANIL, interacted with the protons of the liquid hydrogen target CRYPTA, to produce tritons $t$ that were detected in the MUST2 detector array, in coincidence with the heavy residues Ca or Ar. The atomic mass of $^{35}$Ca and the energy of its first 3/2$^+$ state are reported. A large $N=16$ gap of 4.61(11) MeV is deduced from the mass measurement, which together with other measured properties, makes $^{36}$Ca a doubly-magic nucleus. The $N = 16$ shell gaps in $^{36}$Ca and $^{24}$O are of similar amplitude, at both edges of the valley of stability. This feature is discussed in terms of nuclear forces involved, within state-of-the-art shell model calculations. Even though the global agreement with data is quite convincing, the calculations underestimate the size of the $N = 16$ gap in 36Ca by 840(110) keV.


title: Linear Spaces of Meanings: Compositional Structures in Vision-Language Models

abstract: We investigate compositional structures in data embeddings from pre-trained vision-language models (VLMs). Traditionally, compositionality has been associated with algebraic operations on embeddings of words from a pre-existing vocabulary. In contrast, we seek to approximate representations from an encoder as combinations of a smaller set of vectors in the embedding space. These vectors can be seen as "ideal words" for generating concepts directly within the embedding space of the model. We first present a framework for understanding compositional structures from a geometric perspective. We then explain what these compositional structures entail probabilistically in the case of VLM embeddings, providing intuitions for why they arise in practice. Finally, we empirically explore these structures in CLIP's embeddings and we evaluate their usefulness for solving different vision-language tasks such as classification, debiasing, and retrieval. Our results show that simple linear algebraic operations on embedding vectors can be used as compositional and interpretable methods for regulating the behavior of VLMs.


title: Nonlinear electronic stopping of negatively-charged particles in liquid water

abstract: We present real-time time-dependent density-functional-theory calculations of the electronic stopping power for negative and positive projectiles (electrons, protons, antiprotons and muons) moving through liquid water. After correction for finite mass effects, the nonlinear stopping power obtained in this work is significantly different from the previously known results from semi-empirical calculations based on the dielectric response formalism. Linear-nonlinear discrepancies are found both in the maximum value of the stopping power and the Bragg peak's position. Our results indicate the importance of the nonlinear description of electronic processes, particularly for electron projectiles, which are modeled here as classical point charges. Our findings also confirm the expectation that the quantum nature of the electron projectile should substantially influence the stopping power around the Bragg peak and below.


title: Strong stationarity for the control of viscous history-dependent evolutionary VIs arising in applications

abstract: This paper addresses optimal control problems governed by history-dependent EVIs with viscosity. One of the prominent properties of the state system is its non-smooth nature, so that the application of standard adjoint calculus is excluded. We extend the results from [7] by showing that history-dependent EVIs with viscosity can be formulated as non-smooth ODEs in Hilbert space in a general setting. The Hadamard directional differentiability of the solution map is investigated. Based on previous results, this allows us to establish strong stationary conditions for two different viscous damage models with fatigue.


title: Practical Algorithms for Orientations of Partially Directed Graphical Models

abstract: In observational studies, the true causal model is typically unknown and needs to be estimated from available observational and limited experimental data. In such cases, the learned causal model is commonly represented as a partially directed acyclic graph (PDAG), which contains both directed and undirected edges indicating uncertainty of causal relations between random variables. The main focus of this paper is on the maximal orientation task, which, for a given PDAG, aims to orient the undirected edges maximally such that the resulting graph represents the same Markov equivalent DAGs as the input PDAG. This task is a subroutine used frequently in causal discovery, e. g., as the final step of the celebrated PC algorithm. Utilizing connections to the problem of finding a consistent DAG extension of a PDAG, we derive faster algorithms for computing the maximal orientation by proposing two novel approaches for extending PDAGs, both constructed with an emphasis on simplicity and practical effectiveness.


title: Unified and robust Lagrange multiplier type tests for cross-sectional independence in large panel data models

abstract: This paper revisits the Lagrange multiplier type test for the null hypothesis of no cross-sectional dependence in large panel data models. We propose a unified test procedure and its power enhancement version, which show robustness for a wide class of panel model contexts. Specifically, the two procedures are applicable to both heterogeneous and fixed effects panel data models with the presence of weakly exogenous as well as lagged dependent regressors, allowing for a general form of nonnormal error distribution. With the tools from Random Matrix Theory, the asymptotic validity of the test procedures is established under the simultaneous limit scheme where the number of time periods and the number of cross-sectional units go to infinity proportionally. The derived theories are accompanied by detailed Monte Carlo experiments, which confirm the robustness of the two tests and also suggest the validity of the power enhancement technique.


title: Vietoris-Rips complexes of Platonic solids

abstract: We determine the homotopy type of the Vietoris-Rips complexes of the (vertex sets of the) platonic solids. The most interesting case is that the Vietoris-Rips complex of the dodecahedron is a wedge of nine 3-spheres when the parameter is between combinatorial distance 3 and 4.


title: Information-Restricted Neural Language Models Reveal Different Brain Regions' Sensitivity to Semantics, Syntax and Context

abstract: A fundamental question in neurolinguistics concerns the brain regions involved in syntactic and semantic processing during speech comprehension, both at the lexical (word processing) and supra-lexical levels (sentence and discourse processing). To what extent are these regions separated or intertwined? To address this question, we trained a lexical language model, Glove, and a supra-lexical language model, GPT-2, on a text corpus from which we selectively removed either syntactic or semantic information. We then assessed to what extent these information-restricted models were able to predict the time-courses of fMRI signal of humans listening to naturalistic text. We also manipulated the size of contextual information provided to GPT-2 in order to determine the windows of integration of brain regions involved in supra-lexical processing. Our analyses show that, while most brain regions involved in language are sensitive to both syntactic and semantic variables, the relative magnitudes of these effects vary a lot across these regions. Furthermore, we found an asymmetry between the left and right hemispheres, with semantic and syntactic processing being more dissociated in the left hemisphere than in the right, and the left and right hemispheres showing respectively greater sensitivity to short and long contexts. The use of information-restricted NLP models thus shed new light on the spatial organization of syntactic processing, semantic processing and compositionality.


title: Your time series is worth a binary image: machine vision assisted deep framework for time series forecasting

abstract: Time series forecasting (TSF) has been a challenging research area, and various models have been developed to address this task. However, almost all these models are trained with numerical time series data, which is not as effectively processed by the neural system as visual information. To address this challenge, this paper proposes a novel machine vision assisted deep time series analysis (MV-DTSA) framework. The MV-DTSA framework operates by analyzing time series data in a novel binary machine vision time series metric space, which includes a mapping and an inverse mapping function from the numerical time series space to the binary machine vision space, and a deep machine vision model designed to address the TSF task in the binary space. A comprehensive computational analysis demonstrates that the proposed MV-DTSA framework outperforms state-of-the-art deep TSF models, without requiring sophisticated data decomposition or model customization. The code for our framework is accessible at https://github.com/IkeYang/ machine-vision-assisted-deep-time-series-analysis-MV-DTSA-.


title: Log-law recovery through reinforcement-learning wall model for large-eddy simulation

abstract: This paper focuses on the use of reinforcement learning (RL) as a machine-learning (ML) modeling tool for near-wall turbulence. RL has demonstrated its effectiveness in solving high-dimensional problems, especially in domains such as games. Despite its potential, RL is still not widely used for turbulence modeling and is primarily used for flow control and optimization purposes. A new RL wall model (WM) called VYBA23 is developed in this work, which uses agents dispersed in the flow near the wall. The model is trained on a single Reynolds number ($Re_\tau = 10^4$) and does not rely on high-fidelity data, as the back-propagation process is based on a reward rather than output error. The states of the RLWM, which are the representation of the environment by the agents, are normalized to remove dependence on the Reynolds number. The model is tested and compared to another RLWM (BK22) and to an equilibrium wall model, in a half-channel flow at eleven different Reynolds numbers ($Re_\tau \in [180;10^{10}]$). The effects of varying agents' parameters such as actions range, time-step, and spacing are also studied. The results are promising, showing little effect on the average flow field but some effect on wall-shear stress fluctuations and velocity fluctuations. This work offers positive prospects for developing RLWMs that can recover physical laws, and for extending this type of ML models to more complex flows in the future.


title: Integrable multi-Hamiltonian systems from reduction of an extended quasi-Poisson double of $\operatorname{U}(n)$

abstract: We construct a master dynamical system on a $\operatorname{U}(n)$ quasi-Poisson manifold, $\mathcal{M}_d$, built from the double $\operatorname{U}(n) \times \operatorname{U}(n)$ and $d\geq 2$ open balls in $\mathbb{C}^n$, whose quasi-Poisson structures are obtained from $T^* \mathbb{R}^n$ by exponentiation. A pencil of quasi-Poisson bivectors $P_{\underline{z}}$ is defined on $\mathcal{M}_d$ that depends on $d(d-1)/2$ arbitrary real parameters and gives rise to pairwise compatible Poisson brackets on the $\operatorname{U}(n)$-invariant functions. The master system on $\mathcal{M}_d$ is a quasi-Poisson analogue of the degenerate integrable system of free motion on the extended cotangent bundle $T^*\!\operatorname{U}(n) \times \mathbb{C}^{n\times d}$. Its commuting Hamiltonians are pullbacks of the class functions on one of the $\operatorname{U}(n)$ factors. We prove that the master system descends to a degenerate integrable system on a dense open subset of the smooth component of the quotient space $\mathcal{M}_d/\operatorname{U}(n)$ associated with the principal orbit type. Any reduced Hamiltonian arising from a class function generates the same flow via any of the compatible Poisson structures stemming from the bivectors $P_{\underline{z}}$. The restrictions of the reduced system on minimal symplectic leaves parameterized by generic elements of the center of $\operatorname{U}(n)$ provide a new real form of the complex, trigonometric spin Ruijsenaars-Schneider model of Krichever and Zabrodin. This generalizes the derivation of the compactified trigonometric RS model found previously in the $d=1$ case.


title: A modified probabilistic amplitude shaping scheme to use sign-bit-like shaping with a BICM

abstract: On the one hand, sign-bit shaping is a popular shaping scheme where the conditional probability of the sign bit is made non-equiprobable. On the other hand, probabilistic amplitude shaping (PAS) is a popular coding scheme, to combine shaping and a bit-interleaved coded modulation (BICM), where the sign bit should not be involved in the shaping. Indeed, with the PAS scheme the sign bit is the parity bit, i.e., the output of the systematic error-correcting code. As a result, sign-bit shaping has been used with multilevel coded modulations rather than BICM. In this paper, we show that with minor modifications it is possible to use sign-bit-like shaping with a BICM. Simulation results are provided with the 5G NR LDPC BICM scheme.


title: Exploring Layer Thinning of Exfoliated \b{eta}-Tellurene and Room Temperature Photoluminescence with Large Exciton Binding Energy Revealed in TeO2

abstract: Due to its tunable band gap, anisotropic behavior, and superior thermoelectric properties, device applications using layered tellurene (Te) are becoming attractive. Here, we report a thinning technique for exfoliated tellurene nanosheets using thermal annealing in an oxygen environment. We characterize different thinning parameters including temperature and annealing time. Based on our measurements, we show that controlled layer thinning occurs in the narrow temperature range of 325 oC to 350 oC. We also show a reliable method to form \b{eta}-tellurene oxide (\b{eta}- TeO2), which is an emerging wide band gap semiconductor with promising electronic and optoelectronic properties. This wide band gap semiconductor exhibits a broad photoluminescence (PL) spectrum with multiple peaks covering the range 1.76 eV to 2.08 eV. This PL emission coupled with Raman spectra are strong evidence of the formation of 2D \b{eta}- TeO2. We discuss the results obtained and the mechanisms of Te thinning and \b{eta}-TeO2 formation at different temperature regimes. We also discuss the optical band gap of \b{eta}-TeO2 and show the existence of pronounced excitonic effects evident by the large exciton binding energy in this 2D \b{eta}-TeO2 system that reach 1.54 eV to 1.62 eV for bulk to monolayer, respectively. Our work can be utilized to have better control over Te nanosheet thickness. It also sheds light on the formation of well-controlled \b{eta}-TeO2 layered semiconductor for electronic and optoelectronic applications.


title: Item Cold Start Recommendation via Adversarial Variational Auto-encoder Warm-up

abstract: The gap between the randomly initialized item ID embedding and the well-trained warm item ID embedding makes the cold items hard to suit the recommendation system, which is trained on the data of historical warm items. To alleviate the performance decline of new items recommendation, the distribution of the new item ID embedding should be close to that of the historical warm items. To achieve this goal, we propose an Adversarial Variational Auto-encoder Warm-up model (AVAEW) to generate warm-up item ID embedding for cold items. Specifically, we develop a conditional variational auto-encoder model to leverage the side information of items for generating the warm-up item ID embedding. Particularly, we introduce an adversarial module to enforce the alignment between warm-up item ID embedding distribution and historical item ID embedding distribution. We demonstrate the effectiveness and compatibility of the proposed method by extensive offline experiments on public datasets and online A/B tests on a real-world large-scale news recommendation platform.


title: A specification test for the strength of instrumental variables

abstract: This paper develops a new specification test for the instrument weakness when the number of instruments $K_n$ is large with a magnitude comparable to the sample size $n$. The test relies on the fact that the difference between the two-stage least squares (2SLS) estimator and the ordinary least squares (OLS) estimator asymptotically disappears when there are many weak instruments, but otherwise converges to a non-zero limit. We establish the limiting distribution of the difference within the above two specifications, and introduce a delete-$d$ Jackknife procedure to consistently estimate the asymptotic variance/covariance of the difference. Monte Carlo experiments demonstrate the good performance of the test procedure for both cases of single and multiple endogenous variables. Additionally, we re-examine the analysis of returns to education data in Angrist and Keueger (1991) using our proposed test. Both the simulation results and empirical analysis indicate the reliability of the test.


title: Neural Networks for Constitutive Modeling -- From Universal Function Approximators to Advanced Models and the Integration of Physics

abstract: Analyzing and modeling the constitutive behavior of materials is a core area in materials sciences and a prerequisite for conducting numerical simulations in which the material behavior plays a central role. Constitutive models have been developed since the beginning of the 19th century and are still under constant development. Besides physics-motivated and phenomenological models, during the last decades, the field of constitutive modeling was enriched by the development of machine learning-based constitutive models, especially by using neural networks. The latter is the focus of the present review, which aims to give an overview of neural networks-based constitutive models from a methodical perspective. The review summarizes and compares numerous conceptually different neural networks-based approaches for constitutive modeling including neural networks used as universal function approximators, advanced neural network models and neural network approaches with integrated physical knowledge. The upcoming of these methods is in-turn closely related to advances in the area of computer sciences, what further adds a chronological aspect to this review. We conclude this review paper with important challenges in the field of learning constitutive relations that need to be tackled in the near future.


title: A spin model for intrinsic antiferromagnetic skyrmions on a triangular lattice

abstract: Skyrmions are prospected as the potential future of data storage due to their topologically protected spin structures. However, traditional ferromagnetic (FM) skyrmions experience deflection when driven with an electric current, hindering their usage in spintronics. Antiferromagnetic (AFM) skyrmions, consisting of two FM solitons coupled antiferromagnetically, are predicted to have a zero Magnus force, making them promising candidates for spintronic racetrack memories. Currently, they have been stabilized in synthetic AFM structures, i.e. multilayers hosting FM skyrmions, which couple antiferromagnetically through a non-magnetic spacer, while recent first-principles simulations predict their emergence in an intrinsic form, within an row-wise AFM single monolayer of Cr deposited on PdFe bilayer grown on Ir(111) surfaces. The latter material forms a triangular lattice, where single and interlinked AFM skyrmions can be stabilized. Here, we explore the minimal Heisenberg model enabling the occurrence of such AFM solitons and the underlying phase diagrams by accounting for the interplay between the Dzyaloshinskii-Moriya and Heisenberg exchange interactions, as well as the magnetic anisotropy and impact of magnetic field. By providing the fundamental basis to identify and understand the behavior of intrinsic AFM skyrmions, we anticipate our model to become a powerful tool for exploring and designing new topological magnetic materials to conceptualize devices for AFM spintronics.


title: Multi-Agent Reinforcement Learning for Pragmatic Communication and Control

abstract: The automation of factories and manufacturing processes has been accelerating over the past few years, boosted by the Industry 4.0 paradigm, including diverse scenarios with mobile, flexible agents. Efficient coordination between mobile robots requires reliable wireless transmission in highly dynamic environments, often with strict timing requirements. Goal-oriented communication is a possible solution for this problem: communication decisions should be optimized for the target control task, providing the information that is most relevant to decide which action to take. From the control perspective, networked control design takes the communication impairments into account in its optmization of physical actions. In this work, we propose a joint design that combines goal-oriented communication and networked control into a single optimization model, an extension of a multiagent POMDP which we call Cyber-Physical POMDP (CP-POMDP). The model is flexible enough to represent several swarm and cooperative scenarios, and we illustrate its potential with two simple reference scenarios with a single agent and a set of supporting sensors. Joint training of the communication and control systems can significantly improve the overall performance, particularly if communication is severely constrained, and can even lead to implicit coordination of communication actions.


title: Design and Verification of a Flat-Top Beam Shaper Utilizing Spherical Lenses

abstract: We propose a novel coaxial spherical-lens shaping system to achieve a flat-top focus profile by exploiting the spherical aberration of the lens. The well-known aspherical-lens shaping system is compared to ours, and a comparison of etching on silicon is conducted between a Gaussian beam and the one shaped by the proposed system. Analytical and experimental results show that the proposed system is able to achieve flat-top beam shaping using only spherical lenses. Compared with the existing systems, our proposed one is capable of shaping Gaussian beams with different wavelengths and waist radii. Furthermore, the shaped one obtained by ours is the flat-top beam with extended depth of focus. This letter provides an efficient and precise flat-top beam shaping scheme for optics and laser technology, and increases the potential of spherical lenses in the field of laser shaping.


title: GLM-Dialog: Noise-tolerant Pre-training for Knowledge-grounded Dialogue Generation

abstract: We present GLM-Dialog, a large-scale language model (LLM) with 10B parameters capable of knowledge-grounded conversation in Chinese using a search engine to access the Internet knowledge. GLM-Dialog offers a series of applicable techniques for exploiting various external knowledge including both helpful and noisy knowledge, enabling the creation of robust knowledge-grounded dialogue LLMs with limited proper datasets. To evaluate the GLM-Dialog more fairly, we also propose a novel evaluation method to allow humans to converse with multiple deployed bots simultaneously and compare their performance implicitly instead of explicitly rating using multidimensional metrics.Comprehensive evaluations from automatic to human perspective demonstrate the advantages of GLM-Dialog comparing with existing open source Chinese dialogue models. We release both the model checkpoint and source code, and also deploy it as a WeChat application to interact with users. We offer our evaluation platform online in an effort to prompt the development of open source models and reliable dialogue evaluation systems. The additional easy-to-use toolkit that consists of short text entity linking, query generation, and helpful knowledge classification is also released to enable diverse applications. All the source code is available on Github.


title: Neural Video Compression with Diverse Contexts

abstract: For any video codecs, the coding efficiency highly relies on whether the current signal to be encoded can find the relevant contexts from the previous reconstructed signals. Traditional codec has verified more contexts bring substantial coding gain, but in a time-consuming manner. However, for the emerging neural video codec (NVC), its contexts are still limited, leading to low compression ratio. To boost NVC, this paper proposes increasing the context diversity in both temporal and spatial dimensions. First, we guide the model to learn hierarchical quality patterns across frames, which enriches long-term and yet high-quality temporal contexts. Furthermore, to tap the potential of optical flow-based coding framework, we introduce a group-based offset diversity where the cross-group interaction is proposed for better context mining. In addition, this paper also adopts a quadtree-based partition to increase spatial context diversity when encoding the latent representation in parallel. Experiments show that our codec obtains 23.5% bitrate saving over previous SOTA NVC. Better yet, our codec has surpassed the under-developing next generation traditional codec/ECM in both RGB and YUV420 colorspaces, in terms of PSNR. The codes are at https://github.com/microsoft/DCVC.


title: On the Zeeman Effect in Magnetically-Arrested Disks

abstract: Magnetically arrested disk (MAD) has been argued as the key accretion phase to realize the formation of relativistic jets. However, due to the lack of magnetic field measurements of accreting systems, MAD has not been observationally confirmed yet. Here we propose that a strong magnetic field accompanied by MAD would induce the Zeeman splitting of relativistically broadened Fe K$\alpha$ fluorescence lines in X-ray binaries and active galactic nuclei, where we consider a two-phase medium in the inner accretion disk, magnetically dominated hot corona and cold reflector. Such a geometrical configuration is suggested from X-ray observations and recently confirmed by numerical simulations. Although turbulence in accretion flows would broaden the split lines, future X-ray high-energy resolution satellites, XRISM and Athena, would be capable of seeing the Zeeman effect on the Fe lines in X-ray binaries in the case with the MAD configuration. The signature of the Zeeman split lines would provide observational evidence for MAD.


title: The Ethics of Social Media Analytics in Migration Studies

abstract: The prevalence of social media platforms and their use across the globe makes them attractive options for studying large groups of people, particularly when some of these platforms provide access to large amounts of structured data. However, with the collection, storage, and use of this data comes ethical and legal responsibilities, which are particularly important when looking at social groups such as migrants, who are often stigmatised and criminalised. Various guidelines, frameworks and laws have been developed to ensure social media data is used in the most ethical way. However, they have quickly evolved within the past few years and are scattered across various fields and domains. To help researchers navigate these issues, this chapter provides an overview of the ethical considerations of studying migration via social media platforms. Building on relevant academic literature, as well as national and supranational frameworks and legislations, we review how the main ethical issues related to social media research have been discussed in the past twenty years and outline good practice examples to mitigate them. This overview is designed to provide researchers with theoretical and practical tools to consider and mitigate the ethical challenges related to social media research in migration-related contexts.


title: Born-Infeld-$f(R)$ gravity with de Sitter solutions

abstract: In this study, we consider the Born--Infeld-$f(R)$ gravity in which the $f(R)$ term enters directly into the square root in the Palatini formulation. We shortly analyzed this model for an explicit $f(R)$ function which includes positive and negative powers of the curvature scalar. We also show that both the ordinary Born--Infeld-$f(R)$ and this modification reduce to the same gravitational action form under the conformal approach. Then we consider the existence of a maximally symmetric vacuum solution for the gravitational field equations and find the de Sitter solution for this modified model.


title: Instruction Clarification Requests in Multimodal Collaborative Dialogue Games: Tasks, and an Analysis of the CoDraw Dataset

abstract: In visual instruction-following dialogue games, players can engage in repair mechanisms in face of an ambiguous or underspecified instruction that cannot be fully mapped to actions in the world. In this work, we annotate Instruction Clarification Requests (iCRs) in CoDraw, an existing dataset of interactions in a multimodal collaborative dialogue game. We show that it contains lexically and semantically diverse iCRs being produced self-motivatedly by players deciding to clarify in order to solve the task successfully. With 8.8k iCRs found in 9.9k dialogues, CoDraw-iCR (v1) is a large spontaneous iCR corpus, making it a valuable resource for data-driven research on clarification in dialogue. We then formalise and provide baseline models for two tasks: Determining when to make an iCR and how to recognise them, in order to investigate to what extent these tasks are learnable from data.


title: The Choice of Noninformative Priors for Thompson Sampling in Multiparameter Bandit Models

abstract: Thompson sampling (TS) has been known for its outstanding empirical performance supported by theoretical guarantees across various reward models in the classical stochastic multi-armed bandit problems. Nonetheless, its optimality is often restricted to specific priors due to the common observation that TS is fairly insensitive to the choice of the prior when it comes to asymptotic regret bounds. However, when the model contains multiple parameters, the optimality of TS highly depends on the choice of priors, which casts doubt on the generalizability of previous findings to other models. To address this gap, this study explores the impact of selecting noninformative priors, offering insights into the performance of TS when dealing with new models that lack theoretical understanding. We first extend the regret analysis of TS to the model of uniform distributions with unknown supports, which would be the simplest non-regular model. Our findings reveal that changing noninformative priors can significantly affect the expected regret, aligning with previously known results in other multiparameter bandit models. Although the uniform prior is shown to be optimal, we highlight the inherent limitation of its optimality, which is limited to specific parameterizations and emphasizes the significance of the invariance property of priors. In light of this limitation, we propose a slightly modified TS-based policy, called TS with Truncation (TS-T), which can achieve the asymptotic optimality for the Gaussian models and the uniform models by using the reference prior and the Jeffreys prior that are invariant under one-to-one reparameterizations. This policy provides an alternative approach to achieving optimality by employing fine-tuned truncation, which would be much easier than hunting for optimal priors in practice.


title: LES-informed resolvent-based estimation of turbulent pipe flow

abstract: A resolvent-based methodology is employed to obtain spatio--temporal estimates of turbulent pipe flow from probe measurements of wall shear-stress fluctuations. Direct numerical simulations (DNS) and large-eddy simulations (LES) of turbulent pipe flow at friction Reynolds number of 550 are used as databases. We consider a DNS database as the true spatio--temporal flow field, from which wall shear-stress fluctuations are extracted and considered as measurements. A resolvent-based estimator is built following our earlier work (Amaral et al. J. Fluid Mech., vol. 927, 2021, p. A17), requiring a model for the nonlinear (or forcing) terms of the Navier-Stokes equations system, which are obtained from another DNS database, as in our earlier work, and from a series of computationally cheaper LES databases with coarser grids; the underlying idea is that LES may provide accurate statistics of non-linear terms related to large-scale structures at a low computational cost. Comparisons between the DNS and the estimates indicate that sufficiently accurate results can be achieved with estimators built with statistics from LES with an order of magnitude less grid points than the DNS, with estimates closely matching the reference DNS results up to the buffer layer and reasonable agreement up to the beginning of the log layer.


title: An Adaptive Method for Camera Attribution under Complex Radial Distortion Corrections

abstract: Radial correction distortion, applied by in-camera or out-camera software/firmware alters the supporting grid of the image so as to hamper PRNU-based camera attribution. Existing solutions to deal with this problem try to invert/estimate the correction using radial transformations parameterized with few variables in order to restrain the computational load; however, with ever more prevalent complex distortion corrections their performance is unsatisfactory. In this paper we propose an adaptive algorithm that by dividing the image into concentric annuli is able to deal with sophisticated corrections like those applied out-camera by third party software like Adobe Lightroom, Photoshop, Gimp and PT-Lens. We also introduce a statistic called cumulative peak of correlation energy (CPCE) that allows for an efficient early stopping strategy. Experiments on a large dataset of in-camera and out-camera radially corrected images show that our solution improves the state of the art in terms of both accuracy and computational cost.


title: ZrNb(CO) RF superconducting thin film with high critical temperature in the theoretical limit

abstract: Superconducting radio-frequency (SRF) resonators are critical components for particle accelerator applications, such as free-electron lasers, and for emerging technologies in quantum computing. Developing advanced materials and their deposition processes to produce RF superconductors that yield nanoohms surface resistances is a key metric for the wider adoption of SRF technology. Here we report ZrNb(CO) RF superconducting films with high critical temperatures (Tc) achieved for the first time under ambient pressure. The attainment of a Tc near the theoretical limit for this material without applied pressure is promising for its use in practical applications. A range of Tc, likely arising from Zr doping variation, may allow a tunable superconducting coherence length that lowers the sensitivity to material defects when an ultra-low surface resistance is required. Our ZrNb(CO) films are synthesized using a low-temperature (100 - 200 C) electrochemical recipe combined with thermal annealing. The phase transformation as a function of annealing temperature and time is optimized by the evaporated Zr-Nb diffusion couples. Through phase control, we avoid hexagonal Zr phases that are equilibrium-stable but degrade Tc. X-ray and electron diffraction combined with photoelectron spectroscopy reveal a system containing cubic ZrNb mixed with rocksalt NbC and low-dielectric-loss ZrO2. We demonstrate proof-of-concept RF performance of ZrNb(CO) on an SRF sample test system. BCS resistance trends lower than reference Nb, while quench fields occur at approximately 35 mT. Our results demonstrate the potential of ZrNb(CO) thin films for particle accelerator and other SRF applications.

categories: cond-mat.mtrl-sci cond-mat.supr-con physics.acc-ph physics.app-ph


title: Distributed Subweb Specifications for Traversing the Web

abstract: Link Traversal-based Query Processing (ltqp), in which a sparql query is evaluated over a web of documents rather than a single dataset, is often seen as a theoretically interesting yet impractical technique. However, in a time where the hypercentralization of data has increasingly come under scrutiny, a decentralized Web of Data with a simple document-based interface is appealing, as it enables data publishers to control their data and access rights. While ltqp allows evaluating complex queries over such webs, it suffers from performance issues (due to the high number of documents containing data) as well as information quality concerns (due to the many sources providing such documents). In existing ltqp approaches, the burden of finding sources to query is entirely in the hands of the data consumer. In this paper, we argue that to solve these issues, data publishers should also be able to suggest sources of interest and guide the data consumer towards relevant and trustworthy data. We introduce a theoretical framework that enables such guided link traversal and study its properties. We illustrate with a theoretic example that this can improve query results and reduce the number of network requests. We evaluate our proposal experimentally on a virtual linked web with specifications and indeed observe that not just the data quality but also the efficiency of querying improves. Under consideration in Theory and Practice of Logic Programming (TPLP).