title: STAIR: Semantic-Targeted Active Implicit Reconstruction

abstract: Many autonomous robotic applications require object-level understanding when deployed. Actively reconstructing objects of interest, i.e. objects with specific semantic meanings, is therefore relevant for a robot to perform downstream tasks in an initially unknown environment. In this work, we propose a novel framework for semantic-targeted active reconstruction using posed RGB-D measurements and 2D semantic labels as input. The key components of our framework are a semantic implicit neural representation and a compatible planning utility function based on semantic rendering and uncertainty estimation, enabling adaptive view planning to target objects of interest. Our planning approach achieves better reconstruction performance in terms of mesh and novel view rendering quality compared to implicit reconstruction baselines that do not consider semantics for view planning. Our framework further outperforms a state-of-the-art semantic-targeted active reconstruction pipeline based on explicit maps, justifying our choice of utilising implicit neural representations to tackle semantic-targeted active reconstruction problems.


title: Universal Semi-Supervised Domain Adaptation by Mitigating Common-Class Bias

abstract: Domain adaptation is a critical task in machine learning that aims to improve model performance on a target domain by leveraging knowledge from a related source domain. In this work, we introduce Universal Semi-Supervised Domain Adaptation (UniSSDA), a practical yet challenging setting where the target domain is partially labeled, and the source and target label space may not strictly match. UniSSDA is at the intersection of Universal Domain Adaptation (UniDA) and Semi-Supervised Domain Adaptation (SSDA): the UniDA setting does not allow for fine-grained categorization of target private classes not represented in the source domain, while SSDA focuses on the restricted closed-set setting where source and target label spaces match exactly. Existing UniDA and SSDA methods are susceptible to common-class bias in UniSSDA settings, where models overfit to data distributions of classes common to both domains at the expense of private classes. We propose a new prior-guided pseudo-label refinement strategy to reduce the reinforcement of common-class bias due to pseudo-labeling, a common label propagation strategy in domain adaptation. We demonstrate the effectiveness of the proposed strategy on benchmark datasets Office-Home, DomainNet, and VisDA. The proposed strategy attains the best performance across UniSSDA adaptation settings and establishes a new baseline for UniSSDA.


title: Broadband Cavity-Enhanced Kerr Comb Spectroscopy on Chip

abstract: The broad and equidistant spectrum of frequency combs has had a profound impact on spectroscopic studies. Particularly, experiments involving the coupling of frequency combs to cavities have already enabled unprecedented broadband and sensitive spectroscopy on a single-molecule level. The emergence of integrated, compact and broadband Kerr-microcombs holds promise to bring many metrological and spectroscopic studies outside of the lab. However, performing cavity-enhanced direct frequency comb spectroscopy on-chip has remained a challenge. Here, we couple a microcomb source with a microcavity to extend the advantages of cavity-enhanced spectroscopy to photonically integrated circuits. By harnessing the coherent nature of the Kerr-comb and high-Q microcavity enhancement, we obtain a detailed dispersion landscape of the guided-wave mode and comprehensive frequency-dependent cavity lineshapes. Our microcomb-cavity coupling can facilitate photonically integrated cavity-enhanced biochemical spectroscopy by evanescently coupling analytes to the cavity's guided mode, a mode of operation we analyze and provide guidelines for. Demonstrated detailed dispersion measurements, overperforming state-of-the-art table-top tunable lasers in available bandwidth, show potential for integrated nonlinear optics applications, as precise dispersion management is crucial for such processes. Our chip-scale comb-cavity coupled platform suggests an integrated, broadband, cost-effective and accurate tool for the nonlinear optics studies as well as for ultra-compact bio- and chemical- sensing platform.


title: ChartThinker: A Contextual Chain-of-Thought Approach to Optimized Chart Summarization

abstract: Data visualization serves as a critical means for presenting data and mining its valuable insights. The task of chart summarization, through natural language processing techniques, facilitates in-depth data analysis of charts. However, there still are notable deficiencies in terms of visual-language matching and reasoning ability for existing approaches. To address these limitations, this study constructs a large-scale dataset of comprehensive chart-caption pairs and fine-tuning instructions on each chart. Thanks to the broad coverage of various topics and visual styles within this dataset, better matching degree can be achieved from the view of training data. Moreover, we propose an innovative chart summarization method, ChartThinker, which synthesizes deep analysis based on chains of thought and strategies of context retrieval, aiming to improve the logical coherence and accuracy of the generated summaries. Built upon the curated datasets, our trained model consistently exhibits superior performance in chart summarization tasks, surpassing 8 state-of-the-art models over 7 evaluation metrics. Our dataset and codes are publicly accessible.


title: FORCE: Dataset and Method for Intuitive Physics Guided Human-object Interaction

abstract: Interactions between human and objects are influenced not only by the object's pose and shape, but also by physical attributes such as object mass and surface friction. They introduce important motion nuances that are essential for diversity and realism. Despite advancements in recent kinematics-based methods, this aspect has been overlooked. Generating nuanced human motion presents two challenges. First, it is non-trivial to learn from multi-modal human and object information derived from both the physical and non-physical attributes. Second, there exists no dataset capturing nuanced human interactions with objects of varying physical properties, hampering model development. This work addresses the gap by introducing the FORCE model, a kinematic approach for synthesizing diverse, nuanced human-object interactions by modeling physical attributes. Our key insight is that human motion is dictated by the interrelation between the force exerted by the human and the perceived resistance. Guided by a novel intuitive physics encoding, the model captures the interplay between human force and resistance. Experiments also demonstrate incorporating human force facilitates learning multi-class motion. Accompanying our model, we contribute the FORCE dataset. It features diverse, different-styled motion through interactions with varying resistances.


title: JUMBO: Fully Asynchronous BFT Consensus Made Truly Scalable

abstract: Recent progresses in asynchronous Byzantine fault-tolerant (BFT) consensus, e.g. Dumbo-NG (CCS' 22) and Tusk (EuroSys' 22), show promising performance through decoupling transaction dissemination and block agreement. However, when executed with a larger number $n$ of nodes, like several hundreds, they would suffer from significant degradation in performance. Their dominating scalability bottleneck is the huge authenticator complexity: each node has to multicast $\bigO(n)$ quorum certificates (QCs) and subsequently verify them for each block. This paper systematically investigates and resolves the above scalability issue. We first propose a signature-free asynchronous BFT consensus FIN-NG that adapts a recent signature-free asynchronous common subset protocol FIN (CCS' 23) into the state-of-the-art framework of concurrent broadcast and agreement. The liveness of FIN-NG relies on our non-trivial redesign of FIN's multi-valued validated Byzantine agreement towards achieving optimal quality. FIN-NG greatly improves the performance of FIN and already outperforms Dumbo-NG in most deployment settings. To further overcome the scalability limit of FIN-NG due to $\bigO(n^3)$ messages, we propose JUMBO, a scalable instantiation of Dumbo-NG, with only $\bigO(n^2)$ complexities for both authenticators and messages. We use various aggregation and dispersal techniques for QCs to significantly reduce the authenticator complexity of original Dumbo-NG implementations by up to $\bigO(n^2)$ orders. We also propose a ``fairness'' patch for JUMBO, thus preventing a flooding adversary from controlling an overwhelming portion of transactions in its output.


title: A component-level co-rotational 3D continuum finite element framework for efficient flexible multibody analysis

abstract: This paper proposes a systematic and novel component level co-rotational (CR) framework, for upgrading existing 3D continuum finite elements to flexible multibody analysis. Without using any model reduction techniques, the high efficiency is achieved through sophisticated operations in both modeling and numerical implementation phrases. In modeling phrase, as in conventional 3D nonlinear finite analysis, the nodal absolute coordinates are used as the system generalized coordinates, therefore simple formulations of the inertia force terms can be obtained. For the elastic force terms, inspired by existing floating frame of reference formulation (FFRF) and conventional element-level CR formulation, a component-level CR modeling strategy is developed. By in combination with Schur complement theory and fully exploring the nature of the component-level CR modeling method, an extremely efficient procedure is developed, which enables us to transform the linear equations raised from each Newton-Raphson iteration step into linear systems with constant coefficient matrix. The coefficient matrix thus can be pre-calculated and decomposed only once, and at all the subsequent time steps only back substitutions are needed, which avoids frequently updating the Jacobian matrix and avoids directly solving the large-scale linearized equation in each iteration. Multiple examples are presented to demonstrate the performance of the proposed framework.


title: Speed, Accuracy, and Complexity

abstract: This paper re-examines the use of response time to infer problem complexity. It revisits a canonical Wald model of optimal stopping, taking signal-to-noise ratio as a measure of problem complexity. While choice quality is monotone in problem complexity, expected stopping time is inverse U-shaped. Indeed, decisions are fast in both very simple and very complex problems: in simple problems, it is quick to understand which alternative is best, while in complex problems it would be too costly -- an insight which extends to general costly information acquisition models. This non-monotonicity also underlies an ambiguous relationship between response time and ability, whereby higher ability entails slower decisions in very complex problems, but faster decisions in simple problems. Finally, this paper proposes a new method to correctly infer problem complexity based on the finding that distorting incentives in favour of an alternative has a greater effect on choices in more complex problems.


title: Fidelity-preserving Learning-Based Image Compression: Loss Function and Subjective Evaluation Methodology

abstract: Learning-based image compression methods have emerged as state-of-the-art, showcasing higher performance compared to conventional compression solutions. These data-driven approaches aim to learn the parameters of a neural network model through iterative training on large amounts of data. The optimization process typically involves minimizing the distortion between the decoded and the original ground truth images. This paper focuses on perceptual optimization of learning-based image compression solutions and proposes: i) novel loss function to be used during training and ii) novel subjective test methodology that aims to evaluate the decoded image fidelity. According to experimental results from the subjective test taken with the new methodology, the optimization procedure can enhance image quality for low-rates while offering no advantage for high-rates.


title: Transverse Magnetic ENZ Resonators: Robustness and Optimal Shape Design

abstract: We study certain "geometric-invariant resonant cavitie"' introduced by Liberal et. al in a 2016 Nature Comm. paper, modeled using the transverse magnetic reduction of Maxwell's equations. The cross-section consists of a dielectric inclusion surrounded by an "epsilon-near-zero" (ENZ) shell. When the shell has the right area, its interaction with the inclusion produces a resonance. Mathematically, the resonance is a nontrivial solution of a 2D divergence-form Helmoltz equation $\nabla \cdot \left(\varepsilon^{-1}(x,\omega) \nabla u \right) + \omega^2 \mu u = 0$, where $\varepsilon(x,\omega)$ is the (complex-valued) dielectric permittivity, $\omega$ is the frequency, $\mu$ is the magnetic permeability, and a homogeneous Neumann condition is imposed at the outer boundary of the shell. This is a nonlinear eigenvalue problem, since $\varepsilon$ depends on $\omega$. Use of an ENZ material in the shell means that $\varepsilon(x,\omega)$ is nearly zero there, so the PDE is rather singular. Working with a Lorentz model for the dispersion of the ENZ material, we put the discussion of Liberal et.~al.~on a sound foundation by proving the existence of the anticipated resonance when the loss is sufficiently small. Our analysis is perturbative in character despite the apparently singular form of the PDE. While the existence of the resonance depends only on the area of the ENZ shell, the rate at which it decays depends on the shape of the shell. We consider an associated optimal design problem: what shape shell gives the slowest-decaying resonance? We prove that if the dielectric inclusion is a ball then the optimal shell is a concentric annulus. For an inclusion of any shape, we study a convex relaxation of the design problem using tools from convex duality, and discuss the conjecture that our relaxed problem amounts to considering homogenization-like limits of nearly optimal designs.


title: On the refined Herglotz-Zagier function

abstract: We give a functional equation for the refined Herglotz-Zagier function. It is analogous to a result in the theory of modular forms.


title: Hankel determinants of convolution powers of Catalan numbers revisited

abstract: Using a slightly generalized result of George Andrews and Jet Wimp this note gives a simple computational proof of some Hankel determinants of backwards shifts of convolution powers of Catalan numbers and obtains analogous results for Narayana polynomials.


title: Thickness effect on superconducting properties of niobium films for radio-frequency cavity applications

abstract: Niobium-coated copper radio-frequency cavities are cost-effective alternatives to bulk niobium cavities, given the lower material costs of copper substrates and their operation in liquid helium at around 4.2 K. However, these cavities historically exhibited a gradual degradation in performance with the accelerating field. This phenomenon, not yet fully understood, limits the application of niobium thin film cavities in accelerators where the real-estate gradient needs to be maximized. Recent studies on niobium films deposited on copper using high power impulse magnetron sputtering (HiPIMS) technique show promising results in mitigating the performance degradation of niobium thin film radio-frequency cavities. This paper examines the effect of film thickness on the superconducting properties of niobium films deposited on copper using HiPIMS. The study provides insights into how the critical temperature, transition width, lower and upper critical fields, and critical current density vary with the film thickness. Increasing the thickness of niobium films deposited through HiPIMS is found to enhance superconducting properties and reduce densities of defects and structural irregularities in the crystalline lattice. This shows potential for enhancing overall performance and potentially mitigating the observed performance degradation in niobium thin film radio-frequency cavities. Additionally, the Ivry's scaling relation among critical temperature, thickness, and sheet resistance at the normal state appears applicable to niobium films up to approximately 4 $\mu$m. This extends the previously confirmed validity for niobium films, which was limited to around 300 nm thickness.


title: Exploring Distance Query Processing in Edge Computing Environments

abstract: In the context of changing travel behaviors and the expanding user base of Geographic Information System (GIS) services, conventional centralized architectures responsible for handling shortest distance queries are facing increasing challenges, such as heightened load pressure and longer response times. To mitigate these concerns, this study is the first to develop an edge computing framework specially tailored for processing distance queries. In conjunction with this innovative system, we have developed a straightforward, yet effective, labeling technique termed Border Labeling. Furthermore, we have devised and implemented a range of query strategies intended to capitalize on the capabilities of the edge computing infrastructure. Our experiments demonstrate that our solution surpasses other methods in terms of both indexing time and query speed across various road network datasets. The empirical evidence from our experiments supports the claim that our edge computing architecture significantly reduces the latency encountered by end-users, thus markedly decreasing their waiting times.


title: Compact 3D Gaussian Splatting For Dense Visual SLAM

abstract: Recent work has shown that 3D Gaussian-based SLAM enables high-quality reconstruction, accurate pose estimation, and real-time rendering of scenes. However, these approaches are built on a tremendous number of redundant 3D Gaussian ellipsoids, leading to high memory and storage costs, and slow training speed. To address the limitation, we propose a compact 3D Gaussian Splatting SLAM system that reduces the number and the parameter size of Gaussian ellipsoids. A sliding window-based masking strategy is first proposed to reduce the redundant ellipsoids. Then we observe that the covariance matrix (geometry) of most 3D Gaussian ellipsoids are extremely similar, which motivates a novel geometry codebook to compress 3D Gaussian geometric attributes, i.e., the parameters. Robust and accurate pose estimation is achieved by a global bundle adjustment method with reprojection loss. Extensive experiments demonstrate that our method achieves faster training and rendering speed while maintaining the state-of-the-art (SOTA) quality of the scene representation.


title: Lagrange duality on DC evenly convex optimization problems via a generalized conjugation scheme

abstract: In this paper we study how Lagrange duality is connected to optimization problems whose objective function is the difference of two convex functions, briefly called DC problems. We present two Lagrange dual problems, each of them obtained via a different approach. While one of the duals corresponds to the standard formulation of the Lagrange dual problem, the other is written in terms of conjugate functions. When one of the involved functions in the objective is evenly convex, both problems are equivalent, but this relation is no longer true in the general setting. For this reason, we study conditions ensuring not only weak, but also zero duality and strong duality between the primal and one of the dual problems written using conjugate functions. For the other dual, and due to the fact that weak duality holds by construction, we just develop conditions for zero duality gap and strong duality between the primal DC problem and its (standard) Lagrange dual problem. Finally, we characterize weak and strong duality together with zero duality gap between the primal problem and its Fenchel-Lagrange dual following techniques used throughout the manuscript.


title: YOLOv9 for Fracture Detection in Pediatric Wrist Trauma X-ray Images

abstract: The introduction of YOLOv9, the latest version of the You Only Look Once (YOLO) series, has led to its widespread adoption across various scenarios. This paper is the first to apply the YOLOv9 algorithm model to the fracture detection task as computer-assisted diagnosis (CAD) to help radiologists and surgeons to interpret X-ray images. Specifically, this paper trained the model on the GRAZPEDWRI-DX dataset and extended the training set using data augmentation techniques to improve the model performance. Experimental results demonstrate that compared to the mAP 50-95 of the current state-of-the-art (SOTA) model, the YOLOv9 model increased the value from 42.16% to 43.73%, with an improvement of 3.7%. The implementation code is publicly available at https://github.com/RuiyangJu/YOLOv9-Fracture-Detection.


title: Cytoplasmic Viscosity is a Potential Biomarker for Metastatic Breast Cancer Cells

abstract: Cellular microrheology has shown that cancer cells with high metastatic potential are softer compared to non-tumorigenic normal cells. These findings rely on measuring the apparent Young modulus of whole cells using primarily atomic force microscopy. This study aims to explore whether alternative mechanical parameters have discriminating features with regard to metastatic potential. Magnetic rotational spectroscopy (MRS) is employed in the examination of mammary epithelial cell lines: MCF-7 and MDA-MB-231, representing low and high meta-static potential, alongside normal-like MCF-10A cells. MRS utilizes active micron-sized magnetic wires in a rotating magnetic field to measure the viscosity and elastic modulus of the cy-toplasm. All three cell lines display viscoelastic behavior, with cytoplasmic viscosities ranging from 10-70 Pa s and elastic moduli from 30-80 Pa. It is found that the tumorigenic MCF-7 and MDA-MB-231 cells are softer than the MCF-10A cells, with a twofold decrease in elastic modulus. To differentiate cells with low and high malignancy however, viscosity emerges as the more discriminating parameter, as MCF-7 exhibits a 5 times higher viscosity as compared to MDA-MB-231. These findings highlight the sensitivity of cytoplasmic viscosity to metastatic potential, suggesting its potential utility as a mechanical marker for malignant cancer cells.


title: NeoNeXt: Novel neural network operator and architecture based on the patch-wise matrix multiplications

abstract: Most of the computer vision architectures nowadays are built upon the well-known foundation operations: fully-connected layers, convolutions and multi-head self-attention blocks. In this paper we propose a novel foundation operation - NeoCell - which learns matrix patterns and performs patchwise matrix multiplications with the input data. The main advantages of the proposed operator are (1) simple implementation without need in operations like im2col, (2) low computational complexity (especially for large matrices) and (3) simple and flexible implementation of up-/down-sampling. We validate NeoNeXt family of models based on this operation on ImageNet-1K classification task and show that they achieve competitive quality.


title: Zutu: A Platform for Localization and Navigation of Swarm Robots Using Virtual Grids

abstract: Swarm robots, which are inspired from the way insects behave collectively in order to achieve a common goal, have become a major part of research with applications involving search and rescue, area exploration, surveillance etc. In this paper, we present a swarm of robots that do not require individual extrinsic sensors to sense the environment but instead use a single central camera to locate and map the swarm. The robots can be easily built using readily available components with the main chassis being 3D printed, making the system low-cost, low-maintenance, and easy to replicate. We describe Zutu's hardware and software architecture, the algorithms to map the robots to the real world, and some experiments conducted using four of our robots. Eventually, we conclude the possible applications of our system in research, education, and industries.


title: Unveiling gravity's quantum fingerprint through gravitational waves

abstract: A proposal for an improved theoretical model to illuminate the quantum nature of gravity is given. This model investigates the gravity-induced entanglement (GIE) phenomena, circumventing classical communication constraints of LOCC principle. Here a non-relativistic two dimensional quantum oscillator detector is coupled to linearly polarized gravitational waves (GWs). Exploiting the quantum nature of GWs, we observe the GIE within the oscillator quantum states. Since the model satisfies ``event'' as well as ``system'' localities, the observed GIE is much robust signature for quantum nature of gravity.


title: Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts

abstract: Reentrancy vulnerability as one of the most notorious vulnerabilities, has been a prominent topic in smart contract security research. Research shows that existing vulnerability detection presents a range of challenges, especially as smart contracts continue to increase in complexity. Existing tools perform poorly in terms of efficiency and successful detection rates for vulnerabilities in complex contracts. To effectively detect reentrancy vulnerabilities in contracts with complex logic, we propose a tool named SliSE. SliSE's detection process consists of two stages: Warning Search and Symbolic Execution Verification. In Stage I, SliSE utilizes program slicing to analyze the Inter-contract Program Dependency Graph (I-PDG) of the contract, and collects suspicious vulnerability information as warnings. In Stage II, symbolic execution is employed to verify the reachability of these warnings, thereby enhancing vulnerability detection accuracy. SliSE obtained the best performance compared with eight state-of-the-art detection tools. It achieved an F1 score of 78.65%, surpassing the highest score recorded by an existing tool of 9.26%. Additionally, it attained a recall rate exceeding 90% for detection of contracts on Ethereum. Overall, SliSE provides a robust and efficient method for detection of Reentrancy vulnerabilities for complex contracts.


title: The interpolant existence problem for weak K4 and difference logic

abstract: As well known, weak K4 and the difference logic DL do not enjoy the Craig interpolation property. Our concern here is the problem of deciding whether any given implication does have an interpolant in these logics. We show that the nonexistence of an interpolant can always be witnessed by a pair of bisimilar models of polynomial size for DL and of triple-exponential size for weak K4, and so the interpolant existence problems for these logics are decidable in coNP and coN3ExpTime, respectively. We also establish coNExpTime-hardness of this problem for weak K4, which is higher than the PSpace-completeness of its decision problem.


title: Uncertainty-Aware Pseudo-Label Filtering for Source-Free Unsupervised Domain Adaptation

abstract: Source-free unsupervised domain adaptation (SFUDA) aims to enable the utilization of a pre-trained source model in an unlabeled target domain without access to source data. Self-training is a way to solve SFUDA, where confident target samples are iteratively selected as pseudo-labeled samples to guide target model learning. However, prior heuristic noisy pseudo-label filtering methods all involve introducing extra models, which are sensitive to model assumptions and may introduce additional errors or mislabeling. In this work, we propose a method called Uncertainty-aware Pseudo-label-filtering Adaptation (UPA) to efficiently address this issue in a coarse-to-fine manner. Specially, we first introduce a sample selection module named Adaptive Pseudo-label Selection (APS), which is responsible for filtering noisy pseudo labels. The APS utilizes a simple sample uncertainty estimation method by aggregating knowledge from neighboring samples and confident samples are selected as clean pseudo-labeled. Additionally, we incorporate Class-Aware Contrastive Learning (CACL) to mitigate the memorization of pseudo-label noise by learning robust pair-wise representation supervised by pseudo labels. Through extensive experiments conducted on three widely used benchmarks, we demonstrate that our proposed method achieves competitive performance on par with state-of-the-art SFUDA methods. Code is available at https://github.com/chenxi52/UPA.


title: The Duffin-Schaeffer Conjecture for multiplicative Diophantine approximation

abstract: Given a monotonically decreasing $\psi: \mathbb{N} \to [0,\infty)$, Khintchine's Theorem provides an efficient tool to decide whether, for almost every $\alpha \in \mathbb{R}$, there are infinitely many $(p,q) \in \mathbb{Z}^2$ such that $\left\lvert \alpha - \frac{p}{q}\right\rvert \leq \frac{\psi(q)}{q}$. The recent result of Koukoulopoulos and Maynard provides an elegant way of removing monotonicity when only counting reduced fractions. Gallagher showed a multiplicative higher-dimensional generalization to Khintchine's Theorem, again assuming monotonicity. In this article, we prove the following Duffin-Schaeffer-type result for multiplicative approximations: For any $k\geq 1$, any function $\psi: \mathbb{N} \to [0,1/2]$ (not necessarily monotonic) and almost every $\alpha \in \mathbb{R}^k$, there exist infinitely many $q$ such that $\prod\limits_{i=1}^k \left\lvert \alpha_i - \frac{p_i}{q}\right\rvert \leq \frac{\psi(q)}{q^k}, p_1,\ldots,p_k$ all coprime to $q$, if and only if \[\sum\limits_{q \in \mathbb{N}} \psi(q) \left(\frac{\varphi(q)}{q} \right)^k\log \left(\frac{q}{\varphi(q)\psi(q)}\right)^{k-1} = \infty.\] This settles a conjecture of Beresnevich, Haynes, and Velani.


title: Next-to-Leading-Order Weak Annihilation Correction to Rare $B \to \left \{K, \pi \right \} \ell^{+} \ell^{-}$ Decays

abstract: We accomplish for the first time the next-to-leading-order computation of the weak annihilation contribution to the exclusive electroweak penguin decays $B \to \left \{K, \pi \right \} \ell^{+} \ell^{-}$ with an energetic light-flavour meson, which is an essential missing piece of the complete QCD correction to the matrix elements of hadronic operators in the weak effective Hamiltonian. Both the hard functions and the jet functions in the perturbative factorization formulae from the short-distance fluctuations at the two distinct scales $m_b$ and $\sqrt{m_b \, \Lambda}$ are determined at ${\cal O}(\alpha_s)$ with the soft-collinear factorization technique. We then demonstrate that the one-loop weak annihilation correction can bring about the noticeable impacts on theory predictions for the CP asymmetries and the isospin asymmetry in the $B \to \pi \ell^{+} \ell^{-}$ decays.


title: A learning-based solution approach to the application placement problem in mobile edge computing under uncertainty

abstract: Placing applications in mobile edge computing servers presents a complex challenge involving many servers, users, and their requests. Existing algorithms take a long time to solve high-dimensional problems with significant uncertainty scenarios. Therefore, an efficient approach is required to maximize the quality of service while considering all technical constraints. One of these approaches is machine learning, which emulates optimal solutions for application placement in edge servers. Machine learning models are expected to learn how to allocate user requests to servers based on the spatial positions of users and servers. In this study, the problem is formulated as a two-stage stochastic programming. A sufficient amount of training records is generated by varying parameters such as user locations, their request rates, and solving the optimization model. Then, based on the distance features of each user from the available servers and their request rates, machine learning models generate decision variables for the first stage of the stochastic optimization model, which is the user-to-server request allocation, and are employed as independent decision agents that reliably mimic the optimization model. Support Vector Machines (SVM) and Multi-layer Perceptron (MLP) are used in this research to achieve practical decisions from the stochastic optimization models. The performance of each model has shown an execution effectiveness of over 80%. This research aims to provide a more efficient approach for tackling high-dimensional problems and scenarios with uncertainties in mobile edge computing by leveraging machine learning models for optimal decision-making in request allocation to edge servers. These results suggest that machine-learning models can significantly improve solution times compared to conventional approaches.


title: Principles and Optimization of Reflective Intelligent Surface Assisted mmWave Systems

abstract: A conceptual example is first analyzed to show that efficient wireless communications is possible, when user equipment (UE) receiver, BS transmitter or/and the scatter (reflector) in wireless channels employ the required channel state information (CSI) to remove the randomness of signal phase. Then, the principles and optimization of three reflective intelligent surface (RIS) assisted mmWave (RIS-mmWave) models are introduced. The first model assumes one BS, one RIS and one UE; the second one assumes one BS, one RIS and multiple UEs; while the third RIS-mmWave model assumes one BS, multiple RISs and multiple UEs. Furthermore, the optimization of BS precoder and RIS phase-shifts is addressed in the context of the massive RIS-mmWave scenarios, where the number of BS antennas and that of RIS reflection elements are significantly larger than the number of supported UEs. The analyses demonstrate that, while the deployment of RISs with mmWave is capable of solving the blockage problem and has the potential to significantly improve efficiency, finding the near-optimum solutions for RIS phase-shifts is highly challenging in practice.


title: A Lie Group Approach to Riemannian Batch Normalization

abstract: Manifold-valued measurements exist in numerous applications within computer vision and machine learning. Recent studies have extended Deep Neural Networks (DNNs) to manifolds, and concomitantly, normalization techniques have also been adapted to several manifolds, referred to as Riemannian normalization. Nonetheless, most of the existing Riemannian normalization methods have been derived in an ad hoc manner and only apply to specific manifolds. This paper establishes a unified framework for Riemannian Batch Normalization (RBN) techniques on Lie groups. Our framework offers the theoretical guarantee of controlling both the Riemannian mean and variance. Empirically, we focus on Symmetric Positive Definite (SPD) manifolds, which possess three distinct types of Lie group structures. Using the deformation concept, we generalize the existing Lie groups on SPD manifolds into three families of parameterized Lie groups. Specific normalization layers induced by these Lie groups are then proposed for SPD neural networks. We demonstrate the effectiveness of our approach through three sets of experiments: radar recognition, human action recognition, and electroencephalography (EEG) classification. The code is available at https://github.com/GitZH-Chen/LieBN.git.


title: Understanding Diffusion Models by Feynman's Path Integral

abstract: Score-based diffusion models have proven effective in image generation and have gained widespread usage; however, the underlying factors contributing to the performance disparity between stochastic and deterministic (i.e., the probability flow ODEs) sampling schemes remain unclear. We introduce a novel formulation of diffusion models using Feynman's path integral, which is a formulation originally developed for quantum physics. We find this formulation providing comprehensive descriptions of score-based generative models, and demonstrate the derivation of backward stochastic differential equations and loss functions.The formulation accommodates an interpolating parameter connecting stochastic and deterministic sampling schemes, and we identify this parameter as a counterpart of Planck's constant in quantum physics. This analogy enables us to apply the Wentzel-Kramers-Brillouin (WKB) expansion, a well-established technique in quantum physics, for evaluating the negative log-likelihood to assess the performance disparity between stochastic and deterministic sampling schemes.


title: Stylized Face Sketch Extraction via Generative Prior with Limited Data

abstract: Facial sketches are both a concise way of showing the identity of a person and a means to express artistic intention. While a few techniques have recently emerged that allow sketches to be extracted in different styles, they typically rely on a large amount of data that is difficult to obtain. Here, we propose StyleSketch, a method for extracting high-resolution stylized sketches from a face image. Using the rich semantics of the deep features from a pretrained StyleGAN, we are able to train a sketch generator with 16 pairs of face and the corresponding sketch images. The sketch generator utilizes part-based losses with two-stage learning for fast convergence during training for high-quality sketch extraction. Through a set of comparisons, we show that StyleSketch outperforms existing state-of-the-art sketch extraction methods and few-shot image adaptation methods for the task of extracting high-resolution abstract face sketches. We further demonstrate the versatility of StyleSketch by extending its use to other domains and explore the possibility of semantic editing. The project page can be found in https://kwanyun.github.io/stylesketch_project.


abstract: The exact solution of the Wegner flow equation with the Mielke generator for $3\times 3$ Hermitian matrices is presented. The general solutions for $N\times N$ tridiagonal Hermitian matrices and partially for $4\times 4$ real symmetric matrices are also given.


title: Forging the Forger: An Attempt to Improve Authorship Verification via Data Augmentation

abstract: Authorship Verification (AV) is a text classification task concerned with inferring whether a candidate text has been written by one specific author or by someone else. It has been shown that many AV systems are vulnerable to adversarial attacks, where a malicious author actively tries to fool the classifier by either concealing their writing style, or by imitating the style of another author. In this paper, we investigate the potential benefits of augmenting the classifier training set with (negative) synthetic examples. These synthetic examples are generated to imitate the style of the author of interest. We analyze the improvements in classifier prediction that this augmentation brings to bear in the task of AV in an adversarial setting. In particular, we experiment with three different generator architectures (one based on Recurrent Neural Networks, another based on small-scale transformers, and another based on the popular GPT model) and with two training strategies (one inspired by standard Language Models, and another inspired by Wasserstein Generative Adversarial Networks). We evaluate our hypothesis on five datasets (three of which have been specifically collected to represent an adversarial setting) and using two learning algorithms for the AV classifier (Support Vector Machines and Convolutional Neural Networks). This experimentation has yielded negative results, revealing that, although our methodology proves effective in many adversarial settings, its benefits are too sporadic for a pragmatical application.


title: A Dynamically Weighted Loss Function for Unsupervised Image Segmentation

abstract: Image segmentation is the foundation of several computer vision tasks, where pixel-wise knowledge is a prerequisite for achieving the desired target. Deep learning has shown promising performance in supervised image segmentation. However, supervised segmentation algorithms require a massive amount of data annotated at a pixel level, thus limiting their applicability and scalability. Therefore, there is a need to invest in unsupervised learning for segmentation. This work presents an improved version of an unsupervised Convolutional Neural Network (CNN) based algorithm that uses a constant weight factor to balance between the segmentation criteria of feature similarity and spatial continuity, and it requires continuous manual adjustment of parameters depending on the degree of detail in the image and the dataset. In contrast, we propose a novel dynamic weighting scheme that leads to a flexible update of the parameters and an automatic tuning of the balancing weight between the two criteria above to bring out the details in the images in a genuinely unsupervised manner. We present quantitative and qualitative results on four datasets, which show that the proposed scheme outperforms the current unsupervised segmentation approaches without requiring manual adjustment.


title: Barely Random Algorithms for Metrical Task Systems

abstract: We consider metrical task systems on general metric spaces with $n$ points, and show that any fully randomized algorithm can be turned into a randomized algorithm that uses only $2\log n$ random bits, and achieves the same competitive ratio up to a factor $2$. This provides the first order-optimal barely random algorithms for metrical task systems, i.e. which use a number of random bits that does not depend on the number of requests addressed to the system. We put forward an equivalent view that we call collective metrical task systems where $k$ agents in a metrical task system team up, and suffer the average cost paid by each agent. Our results imply that such team can be $O(\log n^2)$-competitive, as soon as $k\geq n^2$ (in comparison, a single agent is $\Omega(n)$-competitive at best). We discuss implications on various aspects of online decision making such as: distributed systems, transaction costs, and advice complexity, suggesting broad applicability.


title: Localized Orthogonal Decomposition Methods vs. Classical FEM for the Gross-Pitaevskii Equation

abstract: The time-dependent Gross-Pitaevksii equation (GPE) is a nonlinear Schr\"odinger equation which is used in quantum physics to model the dynamics of Bose-Einstein condensates. In this work we consider numerical approximations of the GPE based on a multiscale approach known as the localized orthogonal decomposition. Combined with an energy preserving time integrator one derives a method which is of high order in space and time under mild regularity assumptions. In previous work, the method has been shown to be numerically very efficient compared to first order Lagrange FEM. In this paper, we further investigate the performance of the method and compare it with higher order Lagrange FEM. For rough problems we observe that the novel method performs very efficient and retains its high order, while the classical methods can only compete well for smooth problems.


title: A signed graph product and its Application

abstract: A signed graph product is defined for a new product, and initially the unsigned graph product's Laplacian spectrum and signless Laplacian spectrum are found. Next, for the signed graph product, the adjacency spectrum, Laplacian spectrum, and signless Laplacian spectrum are found. In the end, we determined the prerequisite for the signed graph product to be integral and we also have generated a sequence of co-spectral signed graphs and a sequence of non-co-spectral equienergetic signed graphs.


title: Bilateral Propagation Network for Depth Completion

abstract: Depth completion aims to derive a dense depth map from sparse depth measurements with a synchronized color image. Current state-of-the-art (SOTA) methods are predominantly propagation-based, which work as an iterative refinement on the initial estimated dense depth. However, the initial depth estimations mostly result from direct applications of convolutional layers on the sparse depth map. In this paper, we present a Bilateral Propagation Network (BP-Net), that propagates depth at the earliest stage to avoid directly convolving on sparse data. Specifically, our approach propagates the target depth from nearby depth measurements via a non-linear model, whose coefficients are generated through a multi-layer perceptron conditioned on both \emph{radiometric difference} and \emph{spatial distance}. By integrating bilateral propagation with multi-modal fusion and depth refinement in a multi-scale framework, our BP-Net demonstrates outstanding performance on both indoor and outdoor scenes. It achieves SOTA on the NYUv2 dataset and ranks 1st on the KITTI depth completion benchmark at the time of submission. Experimental results not only show the effectiveness of bilateral propagation but also emphasize the significance of early-stage propagation in contrast to the refinement stage. Our code and trained models will be available on the project page.


title: Studying and improving the performance of ETSI ITS contention-based forwarding (CBF) in urban and highway scenarios: S-FoT+

abstract: This paper evaluates the performance of ETSI ITS Contention-Based Forwarding (CBF) and ETSI Simple GeoBroadcast forwarding while disseminating warning messages over a Geographical Area in highway and urban scenarios. Our experimental evaluation considers the complete ETSI ITS architecture including the Decentralized Congestion Control (DCC) mechanism. We propose an enhanced CBF mechanism, named S-FOT+, which combines several improvements to the ETSI CBF algorithm. S-FoT+ has a similar or better performance than the ETSI forwarding algorithms regarding both reliability and end-to-end delay while requiring much fewer transmissions. The improvements are equally effective and efficient in both urban and highway scenarios with large Destination Areas. Finally, we evaluate the trade-offs that stem from using multi-hop broadcast mechanisms in urban settings with smaller Destination Areas when compared to single-hop broadcast. Results show that multi-hop mechanisms significantly improve coverage at the cost of an increased number of transmissions.


title: Interference Cancellation for OTFS-Based Over-the-Air Computation

abstract: This paper investigates over-the-air computation (AirComp) in the context of multiple-access time-varying multipath channels. We focus on a scenario where devices with high mobility transmit their sensing data to a fusion center (FC) for averaging. To combat the time-varying channel and Doppler effect, each device adopts orthogonal time frequency space (OTFS) modulation. After signals are received by the FC, the aggregated data undergoes demodulation and estimation within the delay-Doppler domain. We leverage the mean squared error (MSE) as a metric for the computational error of OTFS-based AirComp. We then derive the optimal transmit power at each device and signal scaling factor at FC for minimizing MSE. Notably, the performance of OTFS-based AirComp is not only affected by the noise but also by the inter-symbol interference and inter-link interference arising from the multipath channel. To counteract the interference-induced computational errors, we incorporate zero-padding (ZP)-assisted OTFS into AirComp and propose algorithms for interference cancellation. Numerical results underscore the enhanced performance of ZP-assisted OTFS-based AirComp over naive OTFS-based AirComp.


title: BrightDreamer: Generic 3D Gaussian Generative Framework for Fast Text-to-3D Synthesis

abstract: Text-to-3D synthesis has recently seen intriguing advances by combining the text-to-image models with 3D representation methods, e.g., Gaussian Splatting (GS), via Score Distillation Sampling (SDS). However, a hurdle of existing methods is the low efficiency, per-prompt optimization for a single 3D object. Therefore, it is imperative for a paradigm shift from per-prompt optimization to one-stage generation for any unseen text prompts, which yet remains challenging. A hurdle is how to directly generate a set of millions of 3D Gaussians to represent a 3D object. This paper presents BrightDreamer, an end-to-end single-stage approach that can achieve generalizable and fast (77 ms) text-to-3D generation. Our key idea is to formulate the generation process as estimating the 3D deformation from an anchor shape with predefined positions. For this, we first propose a Text-guided Shape Deformation (TSD) network to predict the deformed shape and its new positions, used as the centers (one attribute) of 3D Gaussians. To estimate the other four attributes (i.e., scaling, rotation, opacity, and SH coefficient), we then design a novel Text-guided Triplane Generator (TTG) to generate a triplane representation for a 3D object. The center of each Gaussian enables us to transform the triplane feature into the four attributes. The generated 3D Gaussians can be finally rendered at 705 frames per second. Extensive experiments demonstrate the superiority of our method over existing methods. Also, BrightDreamer possesses a strong semantic understanding capability even for complex text prompts. The project code is available at https://vlislab22.github.io/BrightDreamer.


title: Comment on "Spatiotemporal torquing of light"

abstract: The recent paper Phys. Rev. X. 14, 011031 (https://doi.org/10.48550/arXiv.2307.01019) includes an appendix that casts doubts on the validity the theory of the transverse orbital angular momentum of spatiotemporal optical vortices (STOVs) in Prog. Electromagn. Res. 177, 95 (https://doi.org/10.48550/arXiv.2301.09105). The argumentation in that appendix mixes a mechanical approach where STOVs are seen in space evolving in time with an optical approach where STOVs are seen in space-time evolving with propagation distance, which leads to wrong conclusions. We consistently carry out the analysis from the mechanical approach, and the results confirm the theory in Prog. Electromagn. Res. 177, 95 consistently performed within the optical approach.


title: Greater than five-order-of-magnitude post-compression temporal contrast improvement with an ionization plasma grating

abstract: High-intensity lasers require suppression of prepulses and other non-ideal temporal structure to avoid target disruption before the arrival of the main pulse. To address this, we demonstrate that ionization gratings act as a controllable optical switch for high-power light with a temporal contrast improvement of at least $3\times10^5$ and a switching time less than 500 fs. We also show that a grating system can run for hours at 10 Hz without degradation. The contrast improvement from an ionization grating compares favorably to that achievable with plasma mirrors.


title: Effects of model misspecification on small area estimators

abstract: Nested error regression models are commonly used to incorporate observational unit specific auxiliary variables to improve small area estimates. When the mean structure of this model is misspecified, there is generally an increase in the mean square prediction error (MSPE) of Empirical Best Linear Unbiased Predictors (EBLUP). Observed Best Prediction (OBP) method has been proposed with the intent to improve on the MSPE over EBLUP. We conduct a Monte Carlo simulation experiment to understand the effect of mispsecification of mean structures on different small area estimators. Our simulation results lead to an unexpected result that OBP may perform very poorly when observational unit level auxiliary variables are used and that OBP can be improved significantly when population means of those auxiliary variables (area level auxiliary variables) are used in the nested error regression model or when a corresponding area level model is used. Our simulation also indicates that the MSPE of OBP in an increasing function of the difference between the sample and population means of the auxiliary variables.


title: Bifurcation Analysis of an Influenza A (H1N1) Model with Treatment and Vaccination

abstract: This study focuses on the modeling, mathematical analysis, developing theories, and numerical simulation of Influenza virus transmission. We have proved the existence, uniqueness, positivity, and boundedness of the solutions. Also, investigate the qualitative behavior of the models and find the basic reproduction number $(\mathcal{R}_0)$ that guarantees the asymptotic stability of the disease-free and endemic equilibrium points. The local and global asymptotic stability of the disease free state and endemic equilibrium of the system is analyzed with the Lyapunov method, Routh-Hurwitz, and other criteria and presented graphically. This study helps to investigate the effectiveness of control policy and makes suggestions for alternative control policies. Bifurcation analyses are carried out to determine prevention strategies. Transcritical, Hopf, and backward bifurcation analyses are displayed analytically and numerically to show the dynamics of disease transmission in different cases. Moreover, analysis of contour plot, box plot, relative biases, phase portraits are presented to show the influential parameters to curtail the disease outbreak. We are interested in finding the nature of $\mathcal{R}_0$, which determines whether the disease dies out or persists in the population. The findings indicate that the dynamics of the model are determined by the threshold parameter $\mathcal{R}_0$.


title: A non-Newtonian some partner curves in multiplicative Euclidean space

abstract: The aim of this article is to characterize pairs of curves within multiplicative (non-Newtonian) spaces. Specifically, we investigate how famous curve pairs such as Bertrand partner curves, Mannheim partner curves, which are prominent in differential geometry, are transformed under the influence of multiplicative analysis. By leveraging the relationships between multiplicative Frenet vectors, we introduce multiplicative versions of Bertrand, Mannheim curve pairs. Subsequently, we characterize these curve pairs using multiplicative arguments. Examples are provided, and multiplicative graphs are presented to enhance understanding of the subject matter. Through this analysis, we aim to elucidate the behavior and properties of these curve pairs within the context of multiplicative geometry.


title: Hybrid Feedback for Three-dimensional Convex Obstacle Avoidance (Extended version)

abstract: We propose a hybrid feedback control scheme for the autonomous robot navigation problem in three-dimensional environments with arbitrarily-shaped convex obstacles. The proposed hybrid control strategy, which consists in switching between the move-to-target mode and the obstacle-avoidance mode, guarantees global asymptotic stability of the target location in the obstacle-free workspace. We also provide a procedure for the implementation of the proposed hybrid controller in a priori unknown environments and validate its effectiveness through simulation results.


title: Revisiting the excitation of the low-lying $^{181\text{m}}$Ta isomer in optical laser-generated plasma

abstract: The excitation of the $^{181\text{m}}$Ta isomer in the laser-plasma scenario was claimed to have been observed more than two decades ago. However, the reported experimental findings - and the respective high excitation rate - were later questioned as they could not be reproduced theoretically. The controversy has remained open ever since. In this work, we reinvestigate both theoretically and experimentally the $^{181\text{m}}$Ta nuclear excitation in an optical laser-generated plasma. Experimentally we have found no evidence for such an excitation process as consistently predicted by previous and our theoretical models.


title: Java JIT Testing with Template Extraction

abstract: We present LeJit, a template-based framework for testing Java just-in-time (JIT) compilers. Like recent template-based frameworks, LeJit executes a template -- a program with holes to be filled -- to generate concrete programs given as inputs to Java JIT compilers. LeJit automatically generates template programs from existing Java code by converting expressions to holes, as well as generating necessary glue code (i.e., code that generates instances of non-primitive types) to make generated templates executable. We have successfully used LeJit to test a range of popular Java JIT compilers, revealing five bugs in HotSpot, nine bugs in OpenJ9, and one bug in GraalVM. All of these bugs have been confirmed by Oracle and IBM developers, and 11 of these bugs were previously unknown, including two CVEs (Common Vulnerabilities and Exposures). Our comparison with several existing approaches shows that LeJit is complementary to them and is a powerful technique for ensuring Java JIT compiler correctness.


title: On non-Newtonian Helices in Multiplicative Euclidean Space

abstract: In this article, spherical indicatrices of a curve and helices are re-examined using both the algebraic structure and the geometric structure of non-Newtonian (multiplicative) Euclidean space. Indicatrices of a multiplicative curve on the multiplicative sphere in multiplicative space are obtained. In addition, multiplicative general helix, multiplicative slant helix and multiplicative clad and multiplicative g-clad helix characterizations are provided. Finally, examples and drawings are given.


title: Pattern-Based Peephole Optimizations with Java JIT Tests

abstract: We present JOG, a framework that facilitates developing Java JIT peephole optimizations alongside JIT tests. JOG enables developers to write a pattern, in Java itself, that specifies desired code transformations by writing code before and after the optimization, as well as any necessary preconditions. Such patterns can be written in the same way that tests of the optimization are already written in OpenJDK. JOG translates each pattern into C/C++ code that can be integrated as a JIT optimization pass. JOG also generates Java tests for optimizations from patterns. Furthermore, JOG can automatically detect possible shadow relation between a pair of optimizations where the effect of the shadowed optimization is overridden by another. Our evaluation shows that JOG makes it easier to write readable JIT optimizations alongside tests without decreasing the effectiveness of JIT optimizations. We wrote 162 patterns, including 68 existing optimizations in OpenJDK, 92 new optimizations adapted from LLVM, and two new optimizations that we proposed. We opened eight pull requests (PRs) for OpenJDK, including six for new optimizations, one on removing shadowed optimizations, and one for newly generated JIT tests; seven PRs have already been integrated into the master branch of OpenJDK.


title: Fast Personalized Text-to-Image Syntheses With Attention Injection

abstract: Currently, personalized image generation methods mostly require considerable time to finetune and often overfit the concept resulting in generated images that are similar to custom concepts but difficult to edit by prompts. We propose an effective and fast approach that could balance the text-image consistency and identity consistency of the generated image and reference image. Our method can generate personalized images without any fine-tuning while maintaining the inherent text-to-image generation ability of diffusion models. Given a prompt and a reference image, we merge the custom concept into generated images by manipulating cross-attention and self-attention layers of the original diffusion model to generate personalized images that match the text description. Comprehensive experiments highlight the superiority of our method.


title: Atomic polarization and Stark-shift in relativistic strong field ionization

abstract: A relativistic analytical theory of strong field ionization applicable across the regimes of the deep-tunneling up to the over-barrier ionization (OTBI) is developed, incorporating the effects of the polarization of the atomic bound state and the Stark-shift in an ultrastrong laser field. The theory, in particular, addresses the order of magnitude discrepancy of the ionization yield in the relativistic regime calculated via the numerical solution of the Klein-Gordon equation [B. Hafizi \textit{et al}., Phys. Rev. Lett. 118, 133201 (2017)] with respect to the state-of-the-art quasiclassical theory of Perelomov-Popov-Terent'ev (PPT) for strong field ionization. The developed theory employs a Keldysh-like approach describing the ionization as an adiabatic quantum jump from the bound state to the continuum at a specific transition time, where the improved performance is achieved by accounting for the bound state distortion in the laser field. In the nonrelativistic limit, our theory reproduces the well-known fit to the numerical calculations for the OTBI rate via the Tong-Lin factor. Realistic conditions for an experimental confirmation of the prediction of the present relativistic model versus PPT-theory are also presented.


title: On the Ginzburg-Landau Energy of Corners

abstract: It is a well known fact that the geometry of a superconducting sample influences the distribution of the surface superconductivity for strong applied magnetic fields. For instance, the presence of corners induces geometric terms described through effective models in sector-like regions. We study the connection between two effective models for the offset of superconductivity and for surface superconductivity introduced in \cite{BNF} and \cite{CG2}, respectively. We prove that the transition between the two models is continuous with respect to the magnetic field strength, and, as a byproduct, we deduce the existence of a minimizer at the threshold for both effective problems. Furthermore, as a consequence, we disprove a conjecture stated in \cite{CG2} concerning the dependence of the corner energy on the angle close to the threshold.


title: Neural-network density functional theory

abstract: Deep-learning density functional theory (DFT) shows great promise to significantly accelerate material discovery and potentially revolutionize materials research, which demands a close combination between neural networks and DFT computation. However, current research in this field primarily relies on supervised learning, making the developments of neural networks and DFT isolated from each other. In this work, we present a theoretical framework of neural-network DFT, which unifies the optimization of neural networks with the variational computation of DFT, enabling physics-informed unsupervised learning. Moreover, we develop a differential DFT code incorporated with deep-learning DFT Hamiltonian, and introduce algorithms of automatic differentiation and backpropagation to DFT, demonstrating the concept of neural-network DFT. The advanced neural-network architecture not only surpasses conventional approaches in accuracy and efficiency, but offers a new paradigm for developing deep-learning DFT methods.


title: Benefits of non-adiabatic quantum control in quantum computation through spin qubit systems

abstract: This is evident that the controllable quantum systems can be the reliable building blocks for Quantum computation. In reality we are witnessing the progress towards making the idea tractable enough, though optimistic but the threshold is not very near to us. The dawn of quantum computation has begun. In the future, we hope to see a full fledged operationally stable quantum computer which can solve the problems beyond the scope of classical digital computers. We may call it quantum supremacy. Nevertheless, we should not forget that there are problems which demand classical computers to be in the game for a better performance in comparison to the same through quantum devices. In the current stage of computing technology, the most beneficial area is nothing but an hybrid approach and that is for no doubt will reign the market for the next five to ten years. This hybrid aspect has several directions such as simulating quantum computation on a classical computer. Keeping both the aspect, computation through real physical devices and simulation on a classical computer by accessing available quantum computers for cloud computing, some advantages have been discussed in this article which will be elaborated as well in future articles. These advantages are inherent if we can achieve proper non-adiabatic control over the spin system in the laboratory. Otherwise these aspects can always be simulated by using quantum algorithms to see whether they can be useful in comparison to a purely classical computing machine. This is no doubt a new window for progress in the direction of quantum computation.


title: ManipVQA: Injecting Robotic Affordance and Physically Grounded Information into Multi-Modal Large Language Models

abstract: The integration of Multimodal Large Language Models (MLLMs) with robotic systems has significantly enhanced the ability of robots to interpret and act upon natural language instructions. Despite these advancements, conventional MLLMs are typically trained on generic image-text pairs, lacking essential robotics knowledge such as affordances and physical knowledge, which hampers their efficacy in manipulation tasks. To bridge this gap, we introduce ManipVQA, a novel framework designed to endow MLLMs with Manipulation-centric knowledge through a Visual Question-Answering format. This approach not only encompasses tool detection and affordance recognition but also extends to a comprehensive understanding of physical concepts. Our approach starts with collecting a varied set of images displaying interactive objects, which presents a broad range of challenges in tool object detection, affordance, and physical concept predictions. To seamlessly integrate this robotic-specific knowledge with the inherent vision-reasoning capabilities of MLLMs, we adopt a unified VQA format and devise a fine-tuning strategy that preserves the original vision-reasoning abilities while incorporating the new robotic insights. Empirical evaluations conducted in robotic simulators and across various vision task benchmarks demonstrate the robust performance of ManipVQA. Code and dataset will be made publicly available at https://github.com/SiyuanHuang95/ManipVQA.


title: A sample of 25 radio galaxies with highly unusual radio morphologies, selected from the LoTSS-DR2 survey at 144 MHz

abstract: From a careful visual scrutiny of the radio structures of a well-defined sample of 2428 sources in the LoTSS DR2 survey made at 144 MHz with a 6" beam, we have selected a subset of 25 (i.e., 1%) sources showing highly unusual radio structures, not conforming to the prevalent radio morphological classification. Here we present and briefly discuss the basic properties of these rare morphological outliers and attempt to dissect their morphological peculiarities, based on multi-wavelength radio images and radio-optical overlays. Also, we underscore the need to accord due importance to such anomalous radio sources, considering the challenge they pose to the standard theoretical models and simulations of extragalactic double radio sources.


title: Advanced Knowledge Extraction of Physical Design Drawings, Translation and conversion to CAD formats using Deep Learning

abstract: The maintenance, archiving and usage of the design drawings is cumbersome in physical form in different industries for longer period. It is hard to extract information by simple scanning of drawing sheets. Converting them to their digital formats such as Computer-Aided Design (CAD), with needed knowledge extraction can solve this problem. The conversion of these machine drawings to its digital form is a crucial challenge which requires advanced techniques. This research proposes an innovative methodology utilizing Deep Learning methods. The approach employs object detection model, such as Yolov7, Faster R-CNN, to detect physical drawing objects present in the images followed by, edge detection algorithms such as canny filter to extract and refine the identified lines from the drawing region and curve detection techniques to detect circle. Also ornaments (complex shapes) within the drawings are extracted. To ensure comprehensive conversion, an Optical Character Recognition (OCR) tool is integrated to identify and extract the text elements from the drawings. The extracted data which includes the lines, shapes and text is consolidated and stored in a structured comma separated values(.csv) file format. The accuracy and the efficiency of conversion is evaluated. Through this, conversion can be automated to help organizations enhance their productivity, facilitate seamless collaborations and preserve valuable design information in a digital format easily accessible. Overall, this study contributes to the advancement of CAD conversions, providing accurate results from the translating process. Future research can focus on handling diverse drawing types, enhanced accuracy in shape and line detection and extraction.


title: Multi-Relational Graph Neural Network for Out-of-Domain Link Prediction

abstract: Dynamic multi-relational graphs are an expressive relational representation for data enclosing entities and relations of different types, and where relationships are allowed to vary in time. Addressing predictive tasks over such data requires the ability to find structure embeddings that capture the diversity of the relationships involved, as well as their dynamic evolution. In this work, we establish a novel class of challenging tasks for dynamic multi-relational graphs involving out-of-domain link prediction, where the relationship being predicted is not available in the input graph. We then introduce a novel Graph Neural Network model, named GOOD, designed specifically to tackle the out-of-domain generalization problem. GOOD introduces a novel design concept for multi-relation embedding aggregation, based on the idea that good representations are such when it is possible to disentangle the mixing proportions of the different relational embeddings that have produced it. We also propose five benchmarks based on two retail domains, where we show that GOOD can effectively generalize predictions out of known relationship types and achieve state-of-the-art results. Most importantly, we provide insights into problems where out-of-domain prediction might be preferred to an in-domain formulation, that is, where the relationship to be predicted has very few positive examples.


title: Accelerating Gradient Tracking with Periodic Global Averaging

abstract: Decentralized optimization algorithms have recently attracted increasing attention due to its wide applications in all areas of science and engineering. In these algorithms, a collection of agents collaborate to minimize the average of a set of heterogeneous cost functions in a decentralized manner. State-of-the-art decentralized algorithms like Gradient Tracking (GT) and Exact Diffusion (ED) involve communication at each iteration. Yet, communication between agents is often expensive, resource intensive, and can be very slow. To this end, several strategies have been developed to balance between communication overhead and convergence rate of decentralized methods. In this paper, we introduce GT-PGA, which incorporates~GT with periodic global averaging. With the additional PGA, the influence of poor network connectivity in the GT algorithm can be compensated or controlled by a careful selection of the global averaging period. Under the stochastic, nonconvex setup, our analysis quantifies the crucial trade-off between the connectivity of network topology and the PGA period. Thus, with a suitable design of the PGA period, GT-PGA improves the convergence rate of vanilla GT. Numerical experiments are conducted to support our theory, and simulation results reveal that the proposed GT-PGA accelerates practical convergence, especially when the network is sparse.


title: Probing multi-particle bunching from intermittency analysis in relativistic heavy-ion collisions

abstract: It has been demonstrated that intermittency, a self-similar correlation regarding the size of the phase space volume, exhibits sensitivity to particle bunching within a system situated in the two-dimensional cell. Based on recent findings concerning fluctuations in charge particle density observed in central Au + Au collisions at various energies ranging from $\sqrt{s_{NN}}$ = 7.7 to 200 GeV at RHIC/STAR, it is proposed that analyzing intermittency in relativistic heavy-ion collisions could serve as a method to investigate density fluctuations linked to correlation phenomena. Our understanding of particle production mechanisms may be enriched by using intermittency analysis to gain new information contained in them that was previously unavailable.


title: Order-One Rolling Shutter Cameras

abstract: Rolling shutter (RS) cameras dominate consumer and smartphone markets. Several methods for computing the absolute pose of RS cameras have appeared in the last 20 years, but the relative pose problem has not been fully solved yet. We provide a unified theory for the important class of order-one rolling shutter (RS$_1$) cameras. These cameras generalize the perspective projection to RS cameras, projecting a generic space point to exactly one image point via a rational map. We introduce a new back-projection RS camera model, characterize RS$_1$ cameras, construct explicit parameterizations of such cameras, and determine the image of a space line. We classify all minimal problems for solving the relative camera pose problem with linear RS$_1$ cameras and discover new practical cases. Finally, we show how the theory can be used to explain RS models previously used for absolute pose computation.


title: Understanding Computer Networks: A Comprehensive Overview of Types, Configurations, and the OSI Model

abstract: Computer networks have evolved into an essential component of modern society, facilitating the seamless sharing and dissemination of digital information. This paper explores the fundamental concepts of networking, focusing on the transformative impact of intranets and internets. Intranets, in particular, have emerged as indispensable tools for businesses, enabling them to efficiently manage and distribute information. The rapid adoption of intranets underscores their role in maintaining competitiveness in today's fast-paced business environment. This article provides an overview of networking fundamentals, emphasizing the significance of intranets and internets in modern computing.


title: A Modified Word Saliency-Based Adversarial Attack on Text Classification Models

abstract: This paper introduces a novel adversarial attack method targeting text classification models, termed the Modified Word Saliency-based Adversarial At-tack (MWSAA). The technique builds upon the concept of word saliency to strategically perturb input texts, aiming to mislead classification models while preserving semantic coherence. By refining the traditional adversarial attack approach, MWSAA significantly enhances its efficacy in evading detection by classification systems. The methodology involves first identifying salient words in the input text through a saliency estimation process, which prioritizes words most influential to the model's decision-making process. Subsequently, these salient words are subjected to carefully crafted modifications, guided by semantic similarity metrics to ensure that the altered text remains coherent and retains its original meaning. Empirical evaluations conducted on diverse text classification datasets demonstrate the effectiveness of the proposed method in generating adversarial examples capable of successfully deceiving state-of-the-art classification models. Comparative analyses with existing adversarial attack techniques further indicate the superiority of the proposed approach in terms of both attack success rate and preservation of text coherence.


title: Multi-Sample Long Range Path Planning under Sensing Uncertainty for Off-Road Autonomous Driving

abstract: We focus on the problem of long-range dynamic replanning for off-road autonomous vehicles, where a robot plans paths through a previously unobserved environment while continuously receiving noisy local observations. An effective approach for planning under sensing uncertainty is determinization, where one converts a stochastic world into a deterministic one and plans under this simplification. This makes the planning problem tractable, but the cost of following the planned path in the real world may be different than in the determinized world. This causes collisions if the determinized world optimistically ignores obstacles, or causes unnecessarily long routes if the determinized world pessimistically imagines more obstacles. We aim to be robust to uncertainty over potential worlds while still achieving the efficiency benefits of determinization. We evaluate algorithms for dynamic replanning on a large real-world dataset of challenging long-range planning problems from the DARPA RACER program. Our method, Dynamic Replanning via Evaluating and Aggregating Multiple Samples (DREAMS), outperforms other determinization-based approaches in terms of combined traversal time and collision cost. https://sites.google.com/cs.washington.edu/dreams/


abstract: Recent advancements in the vision-language model have shown notable generalization in vision-language tasks after visual instruction tuning. However, bridging the gap between the pre-trained vision encoder and the large language models becomes the whole network's bottleneck. To improve cross-modality alignment, existing works usually consider more visual instruction data covering a broader range of vision tasks to fine-tune the model for question-answering, which are costly to obtain. However, the image contains rich contextual information that has been largely under-explored. This paper first attempts to harness this overlooked context within visual instruction data, training the model to self-supervised `learning' how to ask high-quality questions. In this way, we introduce a novel framework named SQ-LLaVA: Self-Questioning for Large Vision-Language Assistant. SQ-LLaVA exhibits proficiency in generating flexible and meaningful image-related questions while analyzing the visual clue and prior language knowledge, signifying an advanced level of generalized visual understanding. Moreover, fine-tuning SQ-LLaVA on higher-quality instruction data shows a consistent performance improvement compared with traditional visual-instruction tuning methods. This improvement highlights the efficacy of self-questioning techniques in achieving a deeper and more nuanced comprehension of visual content across various contexts.


title: Non-Primary Channel Access in IEEE 802.11 UHR: Comprehensive Analysis and Evaluation

abstract: The evolution of the IEEE 802.11 standards marks a significant throughput advancement in wireless access technologies, progressively increasing bandwidth capacities from 20 MHz in the IEEE 802.11a to up to 320 MHz in the latest IEEE 802.11be (Wi-Fi 7). However, the increased bandwidth capacities may not be well exploited due to inefficient bandwidth utilization on multiple channels. This issue typically occurs when the primary channel is busy, secondary channels (also known as non-primary channels) are prevented from being utilized even if they are idle, thereby wasting the available bandwidth. This paper investigates the fundamentals of the Non-Primary Channel Access (NPCA) protocol that was defined in IEEE 802.11 Ultra-High Reliability (UHR) group to cope with the above issue. We develop a novel analytical model to assess NPCA protocol performance in terms of the average throughput and delay. Via simulation, we verify that the NPCA network outperforms the legacy network by increasing at least 50% average throughput while reducing at least 40% average delay.


title: Can nonlocal gravity really explain dark energy?

abstract: In view to scrutinize the idea that nonlocal modifications of General Relativity could dynamically address the dark energy problem, we investigate the evolution of the Universe at infrared scales as an Infinite Derivative Gravity model of the Ricci scalar, without introducing the cosmological constant $\Lambda$ or any scalar field. The accelerated expansion of the late Universe is shown to be compatible with the emergence of nonlocal gravitational effects at sufficiently low energies. A technique for circumventing the mathematical complexity of the nonlocal cosmological equations is developed and, after drawing a connection with the Starobinsky gravity, verifiable predictions are considered, like a possible decreasing in the strength of the effective gravitational constant. In conclusion, the emergence of nonlocal gravity corrections at given scales could be an efficient mechanism to address the dark energy problem.


title: Koopman Regularization

abstract: Restoration, generalization, and dimensionality reduction of a vector field from samples are the most common and crucial tasks in dynamical system analysis. An optimization-based algorithm to fulfill these tasks is suggested. Given noisy, sparse, or redundant sampled vector fields, the optimization process encapsulates the inherent geometry of the dynamical system derived from the Koopman eigenfunction space. The dynamic geometry is revealed via the exact penalty method, compromising accuracy and smoothness. This algorithm is backed up by promising results of denoising and generalization with a concise dynamics representation leading to dimensionality reduction.


title: A Brief Study of Computer Network Security Technologies

abstract: The rapid development of computer network system brings both a great convenience and new security threats for users. Network security problem generally includes network system security and data security. Specifically, it refers to the reliability of network system, confidentiality, integrity and availability of data information in the system. This paper introduces the significance of network security systems and highlights related technologies, mainly authentication, data encryption, firewall and antivirus technology. Network security problems can be faced by any network user, therefore we must greatly prioritize network security, try to prevent hostile attacks and ensure the overall security of the network system.


title: Pioneering SE(2)-Equivariant Trajectory Planning for Automated Driving

abstract: Planning the trajectory of the controlled ego vehicle is a key challenge in automated driving. As for human drivers, predicting the motions of surrounding vehicles is important to plan the own actions. Recent motion prediction methods utilize equivariant neural networks to exploit geometric symmetries in the scene. However, no existing method combines motion prediction and trajectory planning in a joint step while guaranteeing equivariance under roto-translations of the input space. We address this gap by proposing a lightweight equivariant planning model that generates multi-modal joint predictions for all vehicles and selects one mode as the ego plan. The equivariant network design improves sample efficiency, guarantees output stability, and reduces model parameters. We further propose equivariant route attraction to guide the ego vehicle along a high-level route provided by an off-the-shelf GPS navigation system. This module creates a momentum from embedded vehicle positions toward the route in latent space while keeping the equivariance property. Route attraction enables goal-oriented behavior without forcing the vehicle to stick to the exact route. We conduct experiments on the challenging nuScenes dataset to investigate the capability of our planner. The results show that the planned trajectory is stable under roto-translations of the input scene which demonstrates the equivariance of our model. Despite using only a small split of the dataset for training, our method improves L2 distance at 3 s by 20.6 % and surpasses the state of the art.


title: Flipping Out: Role of Arginine in Hydrophobic Interactions and Biological Formulation Design

abstract: Arginine has been a mainstay in biological formulation development for decades. To date, the way arginine modulates protein stability has been widely studied and debated. Here, we employed a hydrophobic polymer to decouple hydrophobic effects from other interactions relevant to protein folding. While existing hypotheses for the effects of arginine can generally be categorized as either direct or indirect, our results indicate that direct and indirect mechanisms of arginine co-exist and oppose each other. At low concentrations, arginine was observed to stabilize hydrophobic polymer collapse via a sidechain-dominated direct mechanism, while at high concentrations, arginine stabilized polymer collapse via a backbone-dominated indirect mechanism. When adding partial charges to sites on the polymer, arginine destabilized polymer collapse. Further, we found arginine-induced destabilization of a model virus similar to direct-mechanism destabilization of the charged polymer, and concentration-dependent stabilization of a model protein similar to the indirect mechanism of hydrophobic polymer stabilization. These findings highlight the modular nature of the widely used additive arginine, with relevance in the design of stable biological formulations.


title: Massive Scalar Field Perturbations of Black Holes Immersed in Chaplygin-Like Dark Fluid

abstract: We consider massive scalar field perturbations in the background of black holes immersed in Chaplygin-like dark fluid (CDF), and we analyze the photon sphere modes, the de Sitter modes as well as the near extremal modes and discuss their dominance, by using the pseudospectral Chebyshev method and the third order Wentzel-Kramers-Brillouin approximation. We also discuss the impact of the parameter representing the intensity of the CDF on the families of quasinormal modes. Mainly, we find that the propagation of a massive scalar field is stable in this background, and it is characterized by quasinormal frequencies with a smaller oscillation frequency and a longer decay time compared to the propagation of the same massive scalar field within the Schwarzschild-de Sitter background.


title: An upper bound of the mutation probability in the genetic algorithm for general 0-1 knapsack problem

abstract: As an important part of genetic algorithms (GAs), mutation operators is widely used in evolutionary algorithms to solve $\mathcal{NP}$-hard problems because it can increase the population diversity of individual. Due to limitations in mathematical tools, the mutation probability of the mutation operator is primarily empirically set in practical applications. In this paper, we propose a novel reduction method for the 0-1 knapsack problem(0-1 KP) and an improved mutation operator (IMO) based on the assumption $\mathcal{NP}\neq\mathcal{P}$, along with the utilization of linear relaxation techniques and a recent result by Dey et al. (Math. Prog., pp 569-587, 2022). We employ this method to calculate an upper bound of the mutation probability in general instances of the 0-1 KP, and construct an instance where the mutation probability does not tend towards 0 as the problem size increases. Finally, we prove that the probability of the IMO hitting the optimal solution within only a single iteration in large-scale instances is superior to that of the traditional mutation operator.


title: A categorification of cluster algebras of type B and C through symmetric quivers

abstract: We express cluster variables of type $B_n$ and $C_n$ in terms of cluster variables of type $A_n$. Then we associate a cluster tilted bound symmetric quiver $Q$ of type $A_{2n-1}$ to any seed of a cluster algebra of type $B_n$ and $C_n$. Under this correspondence, cluster variables of type $B_n$ (resp. $C_n$) correspond to orthogonal (resp. symplectic) indecomposable representations of $Q$. We find a Caldero-Chapoton map in this setting. We also give a categorical interpretation of the cluster expansion formula in the case of acyclic quivers.


title: Nonparametric Identification and Estimation with Non-Classical Errors-in-Variables

abstract: This paper considers nonparametric identification and estimation of the regression function when a covariate is mismeasured. The measurement error need not be classical. Employing the small measurement error approximation, we establish nonparametric identification under weak and easy-to-interpret conditions on the instrumental variable. The paper also provides nonparametric estimators of the regression function and derives their rates of convergence.


title: A Dual-Augmentor Framework for Domain Generalization in 3D Human Pose Estimation

abstract: 3D human pose data collected in controlled laboratory settings present challenges for pose estimators that generalize across diverse scenarios. To address this, domain generalization is employed. Current methodologies in domain generalization for 3D human pose estimation typically utilize adversarial training to generate synthetic poses for training. Nonetheless, these approaches exhibit several limitations. First, the lack of prior information about the target domain complicates the application of suitable augmentation through a single pose augmentor, affecting generalization on target domains. Moreover, adversarial training's discriminator tends to enforce similarity between source and synthesized poses, impeding the exploration of out-of-source distributions. Furthermore, the pose estimator's optimization is not exposed to domain shifts, limiting its overall generalization ability. To address these limitations, we propose a novel framework featuring two pose augmentors: the weak and the strong augmentors. Our framework employs differential strategies for generation and discrimination processes, facilitating the preservation of knowledge related to source poses and the exploration of out-of-source distributions without prior information about target poses. Besides, we leverage meta-optimization to simulate domain shifts in the optimization process of the pose estimator, thereby improving its generalization ability. Our proposed approach significantly outperforms existing methods, as demonstrated through comprehensive experiments on various benchmark datasets.Our code will be released at \url{https://github.com/davidpengucf/DAF-DG}.


title: Mixture-of-Prompt-Experts for Multi-modal Semantic Understanding

abstract: Deep multimodal semantic understanding that goes beyond the mere superficial content relation mining has received increasing attention in the realm of artificial intelligence. The challenges of collecting and annotating high-quality multi-modal data have underscored the significance of few-shot learning. In this paper, we focus on two critical tasks under this context: few-shot multi-modal sarcasm detection (MSD) and multi-modal sentiment analysis (MSA). To address them, we propose Mixture-of-Prompt-Experts with Block-Aware Prompt Fusion (MoPE-BAF), a novel multi-modal soft prompt framework based on the unified vision-language model (VLM). Specifically, we design three experts of soft prompts: a text prompt and an image prompt that extract modality-specific features to enrich the single-modal representation, and a unified prompt to assist multi-modal interaction. Additionally, we reorganize Transformer layers into several blocks and introduce cross-modal prompt attention between adjacent blocks, which smoothens the transition from single-modal representation to multi-modal fusion. On both MSD and MSA datasets in few-shot setting, our proposed model not only surpasses the 8.2B model InstructBLIP with merely 2% parameters (150M), but also significantly outperforms other widely-used prompt methods on VLMs or task-specific methods.


title: Forging the Industrial Metaverse -- Where Industry 5.0, Augmented and Mixed Reality, IIoT, Opportunistic Edge Computing and Digital Twins Meet

abstract: The Metaverse is a concept that proposes to immerse users into real-time rendered 3D content virtual worlds delivered through Extended Reality (XR) devices like Augmented and Mixed Reality (AR/MR) smart glasses and Virtual Reality (VR) headsets. When the Metaverse concept is applied to industrial environments, it is called Industrial Metaverse, a hybrid world where industrial operators work by using some of the latest technologies. Currently, such technologies are related to the ones fostered by Industry 4.0, which is evolving towards Industry 5.0, a paradigm that enhances Industry 4.0 by creating a sustainable and resilient world of industrial human-centric applications. The Industrial Metaverse can benefit from Industry 5.0, since it implies making use of dynamic and up-to-date content, as well as fast human-to-machine interactions. To enable such enhancements, this article proposes the concept of Meta-Operator: an Industry 5.0 worker that interacts with Industrial Metaverse applications and with his/her surroundings through advanced XR devices. This article provides a description of the technologies that support Meta-Operators: the main components of the Industrial Metaverse, the latest XR technologies and the use of Opportunistic Edge Computing communications (to interact with surrounding IoT/IioT devices). Moreover, this paper analyzes how to create the next generation of Industrial Metaverse applications based on Industry 5.0, including the integration of AR/MR devices with IoT/IIoT solutions, the development of advanced communications or the creation of shared experiences. Finally, this article provides a list of potential Industry 5.0 applications for the Industrial Metaverse and analyzes the main challenges and research lines. Thus, this article provides useful guidelines for the researchers that will create the next generation of applications for the Industrial Metaverse.


title: Leveraging Simulation-Based Model Preconditions for Fast Action Parameter Optimization with Multiple Models

abstract: Optimizing robotic action parameters is a significant challenge for manipulation tasks that demand high levels of precision and generalization. Using a model-based approach, the robot must quickly reason about the outcomes of different actions using a predictive model to find a set of parameters that will have the desired effect. The model may need to capture the behaviors of rigid and deformable objects, as well as objects of various shapes and sizes. Predictive models often need to trade-off speed for prediction accuracy and generalization. This paper proposes a framework that leverages the strengths of multiple predictive models, including analytical, learned, and simulation-based models, to enhance the efficiency and accuracy of action parameter optimization. Our approach uses Model Deviation Estimators (MDEs) to determine the most suitable predictive model for any given state-action parameters, allowing the robot to select models to make fast and precise predictions. We extend the MDE framework by not only learning sim-to-real MDEs, but also sim-to-sim MDEs. Our experiments show that these sim-to-sim MDEs provide significantly faster parameter optimization as well as a basis for efficiently learning sim-to-real MDEs through finetuning. The ease of collecting sim-to-sim training data also allows the robot to learn MDEs based directly on visual inputs and local material properties.


title: Reasoning in Transformers -- Mitigating Spurious Correlations and Reasoning Shortcuts

abstract: Transformer language models are neural networks used for a wide variety of tasks concerning natural language, including some that also require logical reasoning. However, a transformer model may easily learn spurious patterns in the data, short-circuiting actual reasoning. In this paper we investigate to what extent transformers can be trained to a) approximate reasoning in propositional logic while b) avoiding known reasoning shortcuts via spurious correlations in the training data. To do so, we use a dataset with known spurious correlation between truth and e.g. the number of rules in the problem. We augment the data with proofs, and train two models: a generative transformer, WP-BART, trained on problems and their whole proofs, and a neuro-symbolic model, SIP-BART, trained on individual proof steps and combining the generative transformer model BART with a symbolic proof checker. We find that SIP-BART succeeds in avoiding reasoning shortcuts, while WP-BART does not. For SIP-BART, we then identify a few remaining reasoning errors, not previously described in the literature, arising from using a pre-trained language model. These are qualitatively analysed to create a taxonomy of four different types of additional pitfalls.


title: On widely degenerate \textit{p}-Laplace equations with symmetric data

abstract: In this paper, we consider the Dirichlet problems with a widely degenerate equation. Through a well-known result by Talenti, we explicitly express the gradient of the solution $u_p$ outside the ball with a radius of $1$, if the datum $f$ is a non-negative radially decreasing function. This allows us to establish some sharp higher regularity results for the weak solutions, assuming that the datum $f$ belongs to a suitable Lorentz space, i.e. under a weaker assumption on the datum with respect to the available literature. Moreover we analyze the behaviour of $u_p$ as $p \to 1^+$.