title: Leveraging Zero-Level Distillation to Generate High-Fidelity Magic States

abstract: Magic state distillation plays an important role in universal fault-tolerant quantum computing, and its overhead is one of the major obstacles to realizing fault-tolerant quantum computers. Hence, many studies have been conducted to reduce this overhead. Among these, Litinski has provided a concrete assessment of resource-efficient distillation protocol implementations on the rotated surface code. On the other hand, recently, Itogawa et al. have proposed zero-level distillation, a distillation protocol offering very small spatial and temporal overhead to generate relatively low-fidelity magic states. While zero-level distillation offers preferable spatial and temporal overhead, it cannot directly generate high-fidelity magic states since it only reduces the logical error rate of the magic state quadratically. In this study, we evaluate the spatial and temporal overhead of two-level distillation implementations generating relatively high-fidelity magic states, including ones incorporating zero-level distillation. To this end, we introduce (0+1)-level distillation, a two-level distillation protocol which combines zero-level distillation and the 15-to-1 distillation protocol. We refine the second-level 15-to-1 implementation in it to capitalize on the small footprint of zero-level distillation. Under conditions of a physical error probability of $p_{\mathrm{phys}} = 10^{-4}$ ($10^{-3}$) and targeting an error rate for the magic state within $[5 \times 10^{-17}, 10^{-11}]$ ($[5 \times 10^{-11}, 10^{-8}]$), (0+1)-level distillation reduces the spatiotemporal overhead by more than 63% (61%) compared to the (15-to-1)$\times$(15-to-1) protocol and more than 43% (44%) compared to the (15-to-1)$\times$(20-to-4) protocol, offering a substantial efficiency gain over the traditional protocols.


title: Data Models With Two Manifestations of Imprecision

abstract: Motivated by recently emerging problems in machine learning and statistics, we propose data models which relax the familiar i.i.d. assumption. In essence, we seek to understand what it means for data to come from a set of probability measures. We show that our frequentist data models, parameterized by such sets, manifest two aspects of imprecision. We characterize the intricate interplay of these manifestations, aggregate (ir)regularity and local (ir)regularity, where a much richer set of behaviours compared to an i.i.d. model is possible. In doing so we shed new light on the relationship between non-stationary, locally precise and stationary, locally imprecise data models. We discuss possible applications of these data models in machine learning and how the set of probabilities can be estimated. For the estimation of aggregate irregularity, we provide a negative result but argue that it does not warrant pessimism. Understanding these frequentist aspects of imprecise probabilities paves the way for deriving generalization of proper scoring rules and calibration to the imprecise case, which can then contribute to tackling practical problems.


title: On-chip fluid information detection based on micro-ring optical frequency comb technology and machine learning

abstract: The research on sensing the sensitivity of the light field in the whispering gallery mode (WGM) to the micro-cavity environment has already appeared, which uses the frequency shift of the light field in the WGM or the sensitivity of the resonance peak frequency shift. Multi-mode comb teeth of optical frequency comb(OFC) generated by nonlinear micro-cavity have excellent sensitivity to micro-cavity environment, and they have more sensitivity degrees of freedom compared with WGM light field (the strength of each comb tooth can be influenced by micro-cavity environment). The influence of different substances on the environmental parameters of micro-cavity is complex and nonlinear, so we use machine learning method to automatically extract the spectrum characteristics, the average accuracy of single-parameter identification attains to 99.5%, and the average accuracy of double parameter identification attains to 97.0%. Based on the integration of micro-cavity OFC and wave-guide coupling structure, we propose an set of fluid characteristics detection integrated device in theoretically.


title: Continuous bi-g-frames for operators in Hilbert spaces

abstract: In this paper, we will introduce the new concepts of continuous bi-g-frames and continuous K-bi-g-frame for Hilbert spaces. Then, we examine some characterizations properties with the help of a biframe operator. Finally, we investigate several results about the stability of continuous bi-g-Bessel sequence and K-bi-g-frame are produced via the use of frame theory methods.


title: Electric field effects during disruptions

abstract: A Helmholtz decomposition separates the electric field in a plasma into the sum of a divergence-free, $\vec{E}_B$, and a curl-free, $\vec{E}_q$, part. The divergence-free part of $\vec{E}$ determines the evolution of the magnetic field. The curl-free part enforces quasi-neutrality, $\vec{E}_q=-\vec{\nabla}\Phi_q$. The quasi-neutrality potential is approximated by $T_e/e$, the electron temperature divided by the elementary charge. During tokamak disruptions, the magnetic surfaces are broken creating large regions of chaotic magnetic field lines. In each chaotic region, the parallel current density divided by $B$ relaxes toward a spatial constant by shear Alfv\'en waves. The potential $\Phi_q$ produces both a diffusion coefficient that is Bohm-like, $D_q\approx T_e/eB$, and a large scale flow $\approx T_e/eB a_T$ across the magnetic field lines, where $a_T$ is the scale of the large scale difference in temperature. This diffusion and flow are important for sweeping impurities into the core of a disrupting tokamak plasma.


title: Relatively Anosov groups: finiteness, measure of maximal entropy, and reparameterization

abstract: For a geometrically finite Kleinian group $\Gamma$, the Bowen-Margulis-Sullivan measure is finite and is the unique measure of maximal entropy for the geodesic flow, as shown by Sullivan and Otal-Peign\'e respectively. Moreover, it is strongly mixing by Babillot. We obtain a higher rank analogue of this theorem. Given a relatively Anosov subgroup $\Gamma$ of a semisimple real algebraic group, there is a family of flow spaces parameterized by linear forms tangent to the growth indicator. We construct a reparameterization of each flow space by the geodesic flow on the Groves-Manning space of $\Gamma$ which has an exponentially expanding property along unstable foliations. Using this reparameterization, we prove that the Bowen-Margulis-Sullivan measure of each flow space is finite and is the unique measure of maximal entropy. Moreover, it is strongly mixing.


title: Gradient descent for unbounded convex functions on Hadamard manifolds and its applications to scaling problems

abstract: In this paper, we study asymptotic behaviors of continuous-time and discrete-time gradient flows of a ``lower-unbounded" convex function $f$ on a Hadamard manifold $M$, particularly, their convergence properties to the boundary $M^{\infty}$ at infinity of $M$. We establish a duality theorem that the infimum of the gradient-norm $\|\nabla f(x)\|$ of $f$ over $M$ is equal to the supremum of the negative of the recession function $f^{\infty}$ of $f$ over the boundary $M^{\infty}$, provided the infimum is positive. Further, the infimum and the supremum are obtained by the limits of the gradient flows of $f$, Our results feature convex-optimization ingredients of the moment-weight inequality for reductive group actions by Georgoulas, Robbin, and Salamon,and are applied to noncommutative optimization by B\"urgisser et al. FOCS 2019. We show that the gradient descent of the Kempf-Ness function for an unstable orbit converges to a 1-parameter subgroup in the Hilbert-Mumford criterion, and the associated moment-map sequence converges to the mimimum-norm point of the moment polytope. We show further refinements for operator scaling -- the left-right action on a matrix tuple $A= (A_1,A_2,\ldots,A_N)$. We characterize the gradient-flow limit of operator scaling via a vector-space generalization of the classical Dulmage-Mendelsohn decomposition of a bipartite graph. Also, for a special case of $N = 2$, we reveal that this limit determines the Kronecker canonical form of matrix pencils $s A_1+A_2$.


title: Optimizing Off-Axis Fields for Two-Axis Magnetometry with Point Defects

abstract: Vector magnetometry is an essential tool in characterizing the distribution of currents and magnetization in a broad range of systems. Point defect sensors, like the nitrogen vacancy (NV) center in diamond, have demonstrated impressive sensitivity and spatial resolution for detecting these fields. Measuring the vector field at a single point in space using single defects, however, remains an outstanding challenge. We demonstrate that careful optimization of the static bias field can enable simultaneous measurement of multiple magnetic field components with enhanced sensitivity by leveraging the nonlinear Zeeman shift from transverse magnetic fields. This work quantifies the trade-off between the increased frequency shift from second-order Zeeman effects with decreasing contrast as off-axis field components increase, demonstrating the measurement of multiple components of the magnetic field from an exemplar antiferromagnet with a complex magnetic texture.


title: LetsGo: Large-Scale Garage Modeling and Rendering via LiDAR-Assisted Gaussian Primitives

abstract: Large garages are ubiquitous yet intricate scenes that present unique challenges due to their monotonous colors, repetitive patterns, reflective surfaces, and transparent vehicle glass. Conventional Structure from Motion (SfM) methods for camera pose estimation and 3D reconstruction often fail in these environments due to poor correspondence construction. To address these challenges, we introduce LetsGo, a LiDAR-assisted Gaussian splatting framework for large-scale garage modeling and rendering. We develop a handheld scanner, Polar, equipped with IMU, LiDAR, and a fisheye camera, to facilitate accurate data acquisition. Using this Polar device, we present the GarageWorld dataset, consisting of eight expansive garage scenes with diverse geometric structures, which will be made publicly available for further research. Our approach demonstrates that LiDAR point clouds collected by the Polar device significantly enhance a suite of 3D Gaussian splatting algorithms for garage scene modeling and rendering. We introduce a novel depth regularizer that effectively eliminates floating artifacts in rendered images. Additionally, we propose a multi-resolution 3D Gaussian representation designed for Level-of-Detail (LOD) rendering. This includes adapted scaling factors for individual levels and a random-resolution-level training scheme to optimize the Gaussians across different resolutions. This representation enables efficient rendering of large-scale garage scenes on lightweight devices via a web-based renderer. Experimental results on our GarageWorld dataset, as well as on ScanNet++ and KITTI-360, demonstrate the superiority of our method in terms of rendering quality and resource efficiency.


title: Connectivity in Symmetric Semi-Algebraic Sets

abstract: Semi-algebraic set is a subset of the real space defined by polynomial equations and inequalities. In this paper, we consider the problem of deciding whether two given points in a semi-algebraic set are connected. We restrict to the case when all equations and inequalities are invariant under the action of the symmetric group and their degrees at most $d<n$, where $n$ is the number of variables. Additionally, we assume that the two points are in the same fundamental domain of the action of the symmetric group, by assuming that the coordinates of two given points are sorted in non-decreasing order. We construct and analyze an algorithm that solves this problem, by taking advantage of the group action, and has a complexity being polynomial in $n$.


title: Layered Uploading for Quantum Convolutional Neural Networks

abstract: Continuing our analysis of quantum machine learning applied to our use-case of malware detection, we investigate the potential of quantum convolutional neural networks. More precisely, we propose a new architecture where data is uploaded all along the quantum circuit. This allows us to use more features from the data, hence giving to the algorithm more information, without having to increase the number of qubits that we use for the quantum circuit. This approach is motivated by the fact that we do not always have great amounts of data, and that quantum computers are currently restricted in their number of logical qubits.


title: Quenched Mixing Rates for Doubly Intermittent Maps

abstract: We study quenched mixing rates for two classes of random interval maps characterized by the presence of two indifferent fixed points and singular points. Using a random tower construction we prove the existence of an equivariant absolutely continuous probability measures with polynomial decay of correlations.


title: Can We Break Free from Strong Data Augmentations in Self-Supervised Learning?

abstract: Self-supervised learning (SSL) has emerged as a promising solution for addressing the challenge of limited labeled data in deep neural networks (DNNs), offering scalability potential. However, the impact of design dependencies within the SSL framework remains insufficiently investigated. In this study, we comprehensively explore SSL behavior across a spectrum of augmentations, revealing their crucial role in shaping SSL model performance and learning mechanisms. Leveraging these insights, we propose a novel learning approach that integrates prior knowledge, with the aim of curtailing the need for extensive data augmentations and thereby amplifying the efficacy of learned representations. Notably, our findings underscore that SSL models imbued with prior knowledge exhibit reduced texture bias, diminished reliance on shortcuts and augmentations, and improved robustness against both natural and adversarial corruptions. These findings not only illuminate a new direction in SSL research, but also pave the way for enhancing DNN performance while concurrently alleviating the imperative for intensive data augmentation, thereby enhancing scalability and real-world problem-solving capabilities.


title: Personalized Collaborative Fine-Tuning for On-Device Large Language Models

abstract: We explore on-device self-supervised collaborative fine-tuning of large language models with limited local data availability. Taking inspiration from the collaborative learning community, we introduce three distinct trust-weighted gradient aggregation schemes: weight similarity-based, prediction similarity-based and validation performance-based. To minimize communication overhead, we integrate Low-Rank Adaptation (LoRA) and only exchange LoRA weight updates. Our protocols, driven by prediction and performance metrics, surpass both FedAvg and local fine-tuning methods, which is particularly evident in realistic scenarios with more diverse local data distributions. The results underscore the effectiveness of our approach in addressing heterogeneity and scarcity within local datasets.


title: Resilience of Large Language Models for Noisy Instructions

abstract: As the rapidly advancing domain of natural language processing (NLP), large language models (LLMs) have emerged as powerful tools for interpreting human commands and generating text across various tasks. Nonetheless, the resilience of LLMs to handle text containing inherent errors, stemming from human interactions and collaborative systems, has not been thoroughly explored. Our study investigates the resilience of LLMs against five common types of disruptions including 1) ASR (Automatic Speech Recognition) errors, 2) OCR (Optical Character Recognition) errors, 3) grammatical mistakes, 4) typographical errors, and 5) distractive content. We aim to investigate how these models react by deliberately embedding these errors into instructions. Our findings reveal that while some LLMs show a degree of resistance to certain types of noise, their overall performance significantly suffers. This emphasizes the importance of further investigation into enhancing model resilience. In response to the observed decline in performance, our study also evaluates a "re-pass" strategy, designed to purify the instructions of noise before the LLMs process them. Our analysis indicates that correcting noisy instructions, particularly for open-source LLMs, presents significant challenges.


title: Accurate quantum Monte Carlo forces for machine-learned force fields: Ethanol as a benchmark

abstract: Quantum Monte Carlo (QMC) is a powerful method to calculate accurate energies and forces for molecular systems. In this work, we demonstrate how we can obtain accurate QMC forces for the fluxional ethanol molecule at room temperature by using either multi-determinant Jastrow-Slater wave functions in variational Monte Carlo or just a single determinant in diffusion Monte Carlo. The excellent performance of our protocols is assessed against high-level coupled cluster calculations on a diverse set of representative configurations of the system. Finally, we train machine-learning force fields on the QMC forces and compare them to models trained on coupled cluster reference data, showing that a force field based on the diffusion Monte Carlo forces with a single determinant can faithfully reproduce coupled cluster power spectra in molecular dynamics simulations.


title: Multi-transition study of methanol towards NGC 1068 with ALMA

abstract: The outflowing molecular gas in the circumnuclear disk (CND) of the nearby (D=14 Mpc) AGN-starburst composite galaxy NGC 1068 is considered as a manifestation of ongoing AGN feedback. The large spread of velocities from the outflowing gas is likely driving various kinds of shock chemistry across the CND. We performed a multiline molecular study using CH3OH with the aim of characterizing the gas properties probed by CH3OH in the CND of NGC 1068, and investigating its potential association with molecular shocks. Multi-transition CH3OH were imaged at the resolution of 0.''5-0.''8 with the Atacama Large Millimeter/submillimeter Array (ALMA). We performed non-LTE radiative transfer analysis coupled with a Bayesian inference process in order to determine the gas properties such as the gas volume density and the gas kinetic temperature. The gas densities traced by CH3OH point to $\sim 10^{6}$ cm\textsuperscript{-3} across all the CND regions. The gas kinetic temperature cannot be well constrained in any of the CND regions though the inferred temperature is likely low ($\lesssim 100$ K).The low gas temperature traced by CH3OH suggests shocks and subsequent fast cooling as the origin of the observed gas-phase CH3OH abundance. We also note that the E-/A- isomer column density ratio inferred is fairly close to unity, which is interestingly different from the Galactic measurements in the literature. It remains inconclusive whether CH3OH exclusively traces slow and non-dissociative shocks, or whether the CH3OH abundance can actually be boosted in both fast and slow shocks.


title: Ultra-Wide Dual-band Rydberg Atomic Receiver Based on Space Division Multiplexing RF-Chip Modules

abstract: Detecting microwave signals over a wide frequency range has numerous advantages as it enables simultaneous transmission of a large amount of information and access to more spectrum resources. This capability is crucial for applications such as microwave communication, remote sensing, and radar. However, conventional microwave receiving systems are limited by amplifiers and band-pass filters that can only operate efficiently in a specific frequency range. Typically, these systems can only process signals within a three-fold frequency range, which limits the data transfer bandwidth of the microwave communication systems. Developing novel atom-integrated microwave sensors, for example, radio frequency (RF)-chip coupled Rydberg atomic receiver, provides opportunities for a large working bandwidth of microwave sensing at the atomic level. Here, an ultra-wide dual-band RF sensing scheme is demonstrated by space-division multiplexing two RF-chip-integrated atomic receiver modules. The system can simultaneously receive dual-band microwave signals that span a frequency range exceeding 6 octaves (300 MHz and 24 GHz). This work paves the way for multi-band microwave reception applications within an ultra-wide range by RF-chip-integrated Rydberg atomic sensor.


title: Transforming a Non-Differentiable Rasterizer into a Differentiable One with Stochastic Gradient Estimation

abstract: We show how to transform a non-differentiable rasterizer into a differentiable one with minimal engineering efforts and no external dependencies (no Pytorch/Tensorflow). We rely on Stochastic Gradient Estimation, a technique that consists of rasterizing after randomly perturbing the scene's parameters such that their gradient can be stochastically estimated and descended. This method is simple and robust but does not scale in dimensionality (number of scene parameters). Our insight is that the number of parameters contributing to a given rasterized pixel is bounded. Estimating and averaging gradients on a per-pixel basis hence bounds the dimensionality of the underlying optimization problem and makes the method scalable. Furthermore, it is simple to track per-pixel contributing parameters by rasterizing ID- and UV-buffers, which are trivial additions to a rasterization engine if not already available. With these minor modifications, we obtain an in-engine optimizer for 3D assets with millions of geometry and texture parameters.


title: Test of transient deviations from Quantum Mechanics in Bell's experiment

abstract: The conflict between Quantum Mechanics (QM) and Local Realism is most noticeable in the correlations observed between distant regions of a spatially spread entangled state. It has been hypothesized that transient deviations (from the values predicted by QM) may be observed if the correlations are measured in a time shorter than L/c, where L is the spatial spread of the entangled state and c is the speed of light. This hypothesis is appealing for it solves that conflict by minimally modifying the interpretation of QM, and opens the door to potentially fruitful nonlinear generalizations of QM without the risk of allowing faster-than-light signaling. The hypothesis is technically impossible to test directly nowadays, but a stroboscopic test is attainable. We present the results of such a test performed on a specially designed optical Bell setup with a distance between stations up to 24 m in straight line. No difference with the same observations performed at short distance, or evidence of transient deviations, is found. Yet, several hypotheses are involved in this experiment; they are detailed and briefly discussed. To say the least, the space left for the hypothesis of transient deviations is much reduced.


title: Effective Reinforcement Learning Based on Structural Information Principles

abstract: Although Reinforcement Learning (RL) algorithms acquire sequential behavioral patterns through interactions with the environment, their effectiveness in noisy and high-dimensional scenarios typically relies on specific structural priors. In this paper, we propose a novel and general Structural Information principles-based framework for effective Decision-Making, namely SIDM, approached from an information-theoretic perspective. This paper presents a specific unsupervised partitioning method that forms vertex communities in the state and action spaces based on their feature similarities. An aggregation function, which utilizes structural entropy as the vertex weight, is devised within each community to obtain its embedding, thereby facilitating hierarchical state and action abstractions. By extracting abstract elements from historical trajectories, a directed, weighted, homogeneous transition graph is constructed. The minimization of this graph's high-dimensional entropy leads to the generation of an optimal encoding tree. An innovative two-layer skill-based learning mechanism is introduced to compute the common path entropy of each state transition as its identified probability, thereby obviating the requirement for expert knowledge. Moreover, SIDM can be flexibly incorporated into various single-agent and multi-agent RL algorithms, enhancing their performance. Finally, extensive evaluations on challenging benchmarks demonstrate that, compared with SOTA baselines, our framework significantly and consistently improves the policy's quality, stability, and efficiency up to 32.70%, 88.26%, and 64.86%, respectively.


title: Deep Learning-Based Segmentation of Tumors in PET/CT Volumes: Benchmark of Different Architectures and Training Strategies

abstract: Cancer is one of the leading causes of death globally, and early diagnosis is crucial for patient survival. Deep learning algorithms have great potential for automatic cancer analysis. Artificial intelligence has achieved high performance in recognizing and segmenting single lesions. However, diagnosing multiple lesions remains a challenge. This study examines and compares various neural network architectures and training strategies for automatically segmentation of cancer lesions using PET/CT images from the head, neck, and whole body. The authors analyzed datasets from the AutoPET and HECKTOR challenges, exploring popular single-step segmentation architectures and presenting a two-step approach. The results indicate that the V-Net and nnU-Net models were the most effective for their respective datasets. The results for the HECKTOR dataset ranged from 0.75 to 0.76 for the aggregated Dice coefficient. Eliminating cancer-free cases from the AutoPET dataset was found to improve the performance of most models. In the case of AutoPET data, the average segmentation efficiency after training only on images containing cancer lesions increased from 0.55 to 0.66 for the classic Dice coefficient and from 0.65 to 0.73 for the aggregated Dice coefficient. The research demonstrates the potential of artificial intelligence in precise oncological diagnostics and may contribute to the development of more targeted and effective cancer assessment techniques.


title: Strong coupling electron-photon dynamics: a real-time investigation of energy redistribution in molecular polaritons

abstract: We analyze the real-time electron-photon dynamics in long-range polariton-mediated energy transfer using a real-time quantum electrodynamics coupled cluster (RT-QED-CC) model, which allows for spatial and temporal visualization of transport processes. We compute the time evolution of photonic and molecular observables, such as the dipole moment and the photon coordinate, following the excitation of the system induced by short laser pulses. Our simulation highlights the different time scales of electrons and photons under light-matter strong coupling, the role of dark states, and the differences with the electronic (F\"orster and Dexter) energy exchange mechanisms. The developed method can simulate multiple high-intensity laser pulses while explicitly retaining electronic and electron-photon correlation and is thus suited for nonlinear optics and transient absorption spectroscopies of molecular polaritons.


title: KG-CTG: Citation Generation through Knowledge Graph-guided Large Language Models

abstract: Citation Text Generation (CTG) is a task in natural language processing (NLP) that aims to produce text that accurately cites or references a cited document within a source document. In CTG, the generated text draws upon contextual cues from both the source document and the cited paper, ensuring accurate and relevant citation information is provided. Previous work in the field of citation generation is mainly based on the text summarization of documents. Following this, this paper presents a framework, and a comparative study to demonstrate the use of Large Language Models (LLMs) for the task of citation generation. Also, we have shown the improvement in the results of citation generation by incorporating the knowledge graph relations of the papers in the prompt for the LLM to better learn the relationship between the papers. To assess how well our model is performing, we have used a subset of standard S2ORC dataset, which only consists of computer science academic research papers in the English Language. Vicuna performs best for this task with 14.15 Meteor, 12.88 Rouge-1, 1.52 Rouge-2, and 10.94 Rouge-L. Also, Alpaca performs best, and improves the performance by 36.98% in Rouge-1, and 33.14% in Meteor by including knowledge graphs.


title: Language-Agnostic Modeling of Wikipedia Articles for Content Quality Assessment across Languages

abstract: Wikipedia is the largest web repository of free knowledge. Volunteer editors devote time and effort to creating and expanding articles in more than 300 language editions. As content quality varies from article to article, editors also spend substantial time rating articles with specific criteria. However, keeping these assessments complete and up-to-date is largely impossible given the ever-changing nature of Wikipedia. To overcome this limitation, we propose a novel computational framework for modeling the quality of Wikipedia articles. State-of-the-art approaches to model Wikipedia article quality have leveraged machine learning techniques with language-specific features. In contrast, our framework is based on language-agnostic structural features extracted from the articles, a set of universal weights, and a language version-specific normalization criterion. Therefore, we ensure that all language editions of Wikipedia can benefit from our framework, even those that do not have their own quality assessment scheme. Using this framework, we have built datasets with the feature values and quality scores of all revisions of all articles in the existing language versions of Wikipedia. We provide a descriptive analysis of these resources and a benchmark of our framework. In addition, we discuss possible downstream tasks to be addressed with these datasets, which are released for public use.


title: Hilti SLAM Challenge 2023: Benchmarking Single + Multi-session SLAM across Sensor Constellations in Construction

abstract: Simultaneous Localization and Mapping systems are a key enabler for positioning in both handheld and robotic applications. The Hilti SLAM Challenges organized over the past years have been successful at benchmarking some of the world's best SLAM Systems with high accuracy. However, more capabilities of these systems are yet to be explored, such as platform agnosticism across varying sensor suites and multi-session SLAM. These factors indirectly serve as an indicator of robustness and ease of deployment in real-world applications. There exists no dataset plus benchmark combination publicly available, which considers these factors combined. The Hilti SLAM Challenge 2023 Dataset and Benchmark addresses this issue. Additionally, we propose a novel fiducial marker design for a pre-surveyed point on the ground to be observable from an off-the-shelf LiDAR mounted on a robot, and an algorithm to estimate its position at mm-level accuracy. Results from the challenge show an increase in overall participation, single-session SLAM systems getting increasingly accurate, successfully operating across varying sensor suites, but relatively few participants performing multi-session SLAM.


title: Corrections of minor misstatements in several papers on ECS manifolds

abstract: In the paper [3] the value of the invariant denoted by d and often called "rank" was misstated for a narrow class of examples of ECS manifolds: they were identified as having d = 1 instead of the correct value d = 2. The error was repeated, by citing [3], in [1], [2] and [4] -- [7]. We briefly describe the class in question, explain why it has d = 2, and list the required corrections of the affected papers.


title: Electrical conductivity of QGP with quasiparticle quarks and Gribov gluon

abstract: We investigate the electrical conductivity of a quark-gluon plasma (QGP) medium using non-perturbative resummation via Gribov gluon propagator. To calculate the electrical conductivity, we utilize the relativistic Boltzmann's kinetic equation, within the relaxation-time approximation (RTA). The relaxation times are obtained by computing the microscopic two-body scattering amplitude. We adopt the quasiparticle approach, which allows us to comprehend the transport properties in both the weak and strong coupling regimes. Above the transition temperature, we estimate the electrical conductivity of the quark-gluon plasma using the Gribov prescription and compare our findings with lattice results and various phenomenological models. We find our results in close agreement with the lattice data.


title: Contrastive Pretraining for Visual Concept Explanations of Socioeconomic Outcomes

abstract: Predicting socioeconomic indicators from satellite imagery with deep learning has become an increasingly popular research direction. Post-hoc concept-based explanations can be an important step towards broader adoption of these models in policy-making as they enable the interpretation of socioeconomic outcomes based on visual concepts that are intuitive to humans. In this paper, we study the interplay between representation learning using an additional task-specific contrastive loss and post-hoc concept explainability for socioeconomic studies. Our results on two different geographical locations and tasks indicate that the task-specific pretraining imposes a continuous ordering of the latent space embeddings according to the socioeconomic outcomes. This improves the model's interpretability as it enables the latent space of the model to associate concepts encoding typical urban and natural area patterns with continuous intervals of socioeconomic outcomes. Further, we illustrate how analyzing the model's conceptual sensitivity for the intervals of socioeconomic outcomes can shed light on new insights for urban studies.


title: Search-Space Reduction Via Essential Vertices Revisited: Vertex Multicut and Cograph Deletion

abstract: For an optimization problem $\Pi$ on graphs whose solutions are vertex sets, a vertex $v$ is called $c$-essential for $\Pi$ if all solutions of size at most $c \cdot OPT$ contain $v$. Recent work showed that polynomial-time algorithms to detect $c$-essential vertices can be used to reduce the search space of fixed-parameter tractable algorithms solving such problems parameterized by the size $k$ of the solution. We provide several new upper- and lower bounds for detecting essential vertices. For example, we give a polynomial-time algorithm for $3$-Essential detection for Vertex Multicut, which translates into an algorithm that finds a minimum multicut of an undirected $n$-vertex graph $G$ in time $2^{O(\ell^3)} \cdot n^{O(1)}$, where $\ell$ is the number of vertices in an optimal solution that are not $3$-essential. Our positive results are obtained by analyzing the integrality gaps of certain linear programs. Our lower bounds show that for sufficiently small values of $c$, the detection task becomes NP-hard assuming the Unique Games Conjecture. For example, we show that ($2-\varepsilon$)-Essential detection for Directed Feedback Vertex Set is NP-hard under this conjecture, thereby proving that the existing algorithm that detects $2$-essential vertices is best-possible.


title: Improved methodology for longitudinal Web analytics using Common Crawl

abstract: Common Crawl is a multi-petabyte longitudinal dataset containing over 100 billion web pages which is widely used as a source of language data for sequence model training and in web science research. Each of its constituent archives is on the order of 75TB in size. Using it for research, particularly longitudinal studies, which necessarily involve multiple archives, is therefore very expensive in terms of compute time and storage space and/or web bandwidth. Two new methods for mitigating this problem are presented here, based on exploiting and extending the much smaller (<200 gigabytes (GB) compressed) _index_ which is available for each archive. By adding Last-Modified timestamps to the index we enable longitudinal exploration using only a single archive. By comparing the distribution of index features for each of the 100 segments into which archive is divided with their distribution over the whole archive, we have identified the least and most representative segments for a number of recent archives. Using this allows the segment(s) that are most representative of an archive to be used as proxies for the whole. We illustrate this approach in an analysis of changes in URI length over time, leading to an unanticipated insight into the how the creation of Web pages has changed over time.


title: Eliminating Crossings in Ordered Graphs

abstract: Drawing a graph in the plane with as few crossings as possible is one of the central problems in graph drawing and computational geometry. Another option is to remove the smallest number of vertices or edges such that the remaining graph can be drawn without crossings. We study both problems in a book-embedding setting for ordered graphs, that is, graphs with a fixed vertex order. In this setting, the vertices lie on a straight line, called the spine, in the given order, and each edge must be drawn on one of several pages of a book such that every edge has at most a fixed number of crossings. In book embeddings, there is another way to reduce or avoid crossings; namely by using more pages. The minimum number of pages needed to draw an ordered graph without any crossings is its (fixed-vertex-order) page number. We show that the page number of an ordered graph with $n$ vertices and $m$ edges can be computed in $2^m \cdot n^{O(1)}$ time. An $O(\log n)$-approximation of this number can be computed efficiently. We can decide in $2^{O(d \sqrt{k} \log (d+k))} \cdot n^{O(1)}$ time whether it suffices to delete $k$ edges of an ordered graph to obtain a $d$-planar layout (where every edge crosses at most $d$ other edges) on one page. As an additional parameter, we consider the size $h$ of a hitting set, that is, a set of points on the spine such that every edge, seen as an open interval, contains at least one of the points. For $h=1$, we can efficiently compute the minimum number of edges whose deletion yields fixed-vertex-order page number $p$. For $h>1$, we give an XP algorithm with respect to $h+p$. Finally, we consider spine+$t$-track drawings, where some but not all vertices lie on the spine. The vertex order on the spine is given; we must map every vertex that does not lie on the spine to one of $t$ tracks, each of which is a straight line on a separate page, parallel to the spine.


title: Calculating radio emissions of positive streamer phenomena using 3D simulations

abstract: We study radio emissions from positive streamers in air using 3D simulations, from which the radiated electric field is computed by solving Jefimenko's equations. The simulations are performed at 0.5 bar using two photoionization methods: the Helmholtz approximation for a photon density and a Monte Carlo method using discrete photons, with the latter being the most realistic. We consider cases with single streamers, streamer branching, streamers interacting with preionization and streamer-streamer encounters. We do not observe a strong VHF radio signal during or after branching, which is confirmed by lab experiments. This indicates that the current inside a streamer discharges evolves approximately continuously during branching. On the other hand, stochastic fluctuations in streamer propagation due to Monte Carlo photoionization lead to more radio emission being emitted at frequencies of 100 MHz and above. Another process that leads to such high-frequency emission is the interaction of a streamer with a weakly preionized region, for example present due to a previous discharge. In agreement with previous work, we observe the strongest and highest-frequency emission from streamer encounters. The amount of total energy that is radiated seems to depend primarily on the background electric field, and less on the particular streamer evolution. Finally, we present approximations for the maximal current along a streamer channel and a fit formula for a streamer's current moment.


title: Squish Jamming

abstract: A wide range of disordered materials, from biological to geological assemblies, feature discrete elements undergoing large shape changes. How significant geometrical variations at the microscopic scale affect the response of the assembly, in particular rigidity transitions, is an ongoing challenge in soft matter physics. However, the lack of a model granular-like experimental system featuring large and versatile particle deformability impedes advances. Here, we explore the oscillatory shear response of a sponge-like granular assembly composed of highly compressible elastic rings. We highlight a progressive rigidity transition, switching from a fluid-like to a solid-like response by increasing density or decreasing shear amplitude. The rearranging fluid state consists of crystal clusters separated by melted regions; in contrast, the solid state remains amorphous and absorbs all imposed shear elastically. We rationalise this transition by uncovering an effective, attractive shear force between rings that emerges from a friction-geometry interplay. If friction is sufficiently high compared to shear, the extent of the contacts between rings, captured analytically by elementary geometry, controls the rigidity transition.


title: RandAlign: A Parameter-Free Method for Regularizing Graph Convolutional Networks

abstract: Studies continually find that message-passing graph convolutional networks suffer from the over-smoothing issue. Basically, the issue of over-smoothing refers to the phenomenon that the learned embeddings for all nodes can become very similar to one another and therefore are uninformative after repeatedly applying message passing iterations. Intuitively, we can expect the generated embeddings become smooth asymptotically layerwisely, that is each layer of graph convolution generates a smoothed version of embeddings as compared to that generated by the previous layer. Based on this intuition, we propose RandAlign, a stochastic regularization method for graph convolutional networks. The idea of RandAlign is to randomly align the learned embedding for each node with that of the previous layer using randomly interpolation in each graph convolution layer. Through alignment, the smoothness of the generated embeddings is explicitly reduced. To better maintain the benefit yielded by the graph convolution, in the alignment step we introduce to first scale the embedding of the previous layer to the same norm as the generated embedding and then perform random interpolation for aligning the generated embedding. RandAlign is a parameter-free method and can be directly applied without introducing additional trainable weights or hyper-parameters. We experimentally evaluate RandAlign on different graph domain tasks on seven benchmark datasets. The experimental results show that RandAlign is a general method that improves the generalization performance of various graph convolutional network models and also improves the numerical stability of optimization, advancing the state of the art performance for graph representation learning.


title: Coupled Axial and Transverse Currents Method for Finite Element Modelling of Periodic Superconductors

abstract: In this paper, we propose the Coupled Axial and Transverse currents (I) (CATI) method, as an efficient and accurate finite element approach for modelling the electric and magnetic behavior of periodic composite superconducting conductors. The method consists of a pair of two-dimensional models coupled via circuit equations to account for the conductor geometrical periodicity. This allows to capture three-dimensional effects with two-dimensional models and leads to a significant reduction in computational time compared to conventional three-dimensional models. After presenting the method in detail, we verify it by comparison with reference finite element models, focussing on its application to twisted multifilamentary superconducting strands. In particular, we show that the CATI method captures the transition from uncoupled to coupled filaments, with accurate calculation of the interfilament coupling time constant. We then illustrate the capabilities of the method by generating a detailed loss map and magnetization curves of given strand types for a range of external transverse magnetic field excitations, with and without transport current.


title: A cut-and-project perspective for linearized Bregman iterations

abstract: The linearized Bregman iterations (LBreI) and its variants are powerful tools for finding sparse or low-rank solutions to underdetermined linear systems. In this study, we propose a cut-and-project perspective for the linearized Bregman method via a bilevel optimization formulation, along with a new unified algorithmic framework. The new perspective not only encompasses various existing linearized Bregman iteration variants as specific instances, but also allows us to extend the linearized Bregman method to solve more general inverse problems. We provide a completed convergence result of the proposed algorithmic framework, including convergence guarantees to feasible points and optimal solutions, and the sublinear convergence rate. Moreover, we introduce the Bregman distance growth condition to ensure linear convergence. At last, our findings are illustrated via numerical tests.


title: A $q$-analog of the Stirling-Eulerian Polynomials

abstract: In 1974, Carlitz and Scoville introduced the Stirling-Eulerian polynomial $A_n(x,y|\alpha,\beta)$ as the enumerator of permutations by descents, ascents, left-to-right maxima and right-to-left maxima. Recently, Ji considered a refinement of $A_n(x,y|\alpha,\beta)$, denoted $P_n(u_1,u_2,u_3,u_4|\alpha,\beta)$, which is the enumerator of permutations by valleys, peaks, double ascents, double descents, left-to-right maxima and right-to-left maxima. Using Chen's context-free grammar calculus, Ji proved a formula for the generating function of $P_n(u_1,u_2,u_3,u_4|\alpha,\beta)$, generalizing the work of Carlitz and Scoville. Ji's formula has many nice consequences, one of which is an intriguing $\gamma$-positivity expansion for $A_n(x,y|\alpha,\beta)$. In this paper, we prove a $q$-analog of Ji's formula by using Gessel's $q$-compositional formula and provide a combinatorial approach to her $\gamma$-positivity expansion of $A_n(x,y|\alpha,\beta)$.


title: The Devil is in the Few Shots: Iterative Visual Knowledge Completion for Few-shot Learning

abstract: Contrastive Language-Image Pre-training (CLIP) has shown powerful zero-shot learning performance. Few-shot learning aims to further enhance the transfer capability of CLIP by giving few images in each class, aka 'few shots'. Most existing methods either implicitly learn from the few shots by incorporating learnable prompts or adapters, or explicitly embed them in a cache model for inference. However, the narrow distribution of few shots often contains incomplete class information, leading to biased visual knowledge with high risk of misclassification. To tackle this problem, recent methods propose to supplement visual knowledge by generative models or extra databases, which can be costly and time-consuming. In this paper, we propose an Iterative Visual Knowledge CompLetion (KCL) method to complement visual knowledge by properly taking advantages of unlabeled samples without access to any auxiliary or synthetic data. Specifically, KCL first measures the similarities between unlabeled samples and each category. Then, the samples with top confidence to each category is selected and collected by a designed confidence criterion. Finally, the collected samples are treated as labeled ones and added to few shots to jointly re-estimate the remaining unlabeled ones. The above procedures will be repeated for a certain number of iterations with more and more samples being collected until convergence, ensuring a progressive and robust knowledge completion process. Extensive experiments on 11 benchmark datasets demonstrate the effectiveness and efficiency of KCL as a plug-and-play module under both few-shot and zero-shot learning settings. Code is available at https://github.com/Mark-Sky/KCL.


title: A replica analysis of under-bagging

abstract: Under-bagging (UB), which combines under sampling and bagging, is a popular ensemble learning method for training classifiers on an imbalanced data. Using bagging to reduce the increased variance caused by the reduction in sample size due to under sampling is a natural approach. However, it has recently been pointed out that in generalized linear models, naive bagging, which does not consider the class imbalance structure, and ridge regularization can produce the same results. Therefore, it is not obvious whether it is better to use UB, which requires an increased computational cost proportional to the number of under-sampled data sets, when training linear models. Given such a situation, in this study, we heuristically derive a sharp asymptotics of UB and use it to compare with several other standard methods for learning from imbalanced data, in the scenario where a linear classifier is trained from a two-component mixture data. The methods compared include the under-sampling (US) method, which trains a model using a single realization of the subsampled data, and the simple weighting (SW) method, which trains a model with a weighted loss on the entire data. It is shown that the performance of UB is improved by increasing the size of the majority class while keeping the size of the minority fixed, even though the class imbalance can be large, especially when the size of the minority class is small. This is in contrast to US, whose performance does not change as the size of the majority class increases, and SW, whose performance decreases as the imbalance increases. These results are different from the case of the naive bagging when training generalized linear models without considering the structure of the class imbalance, indicating the intrinsic difference between the ensembling and the direct regularization on the parameters.

categories: stat.ML cond-mat.dis-nn cond-mat.stat-mech cs.LG


title: Nuclear cluster structure effect in $^{16}$O+$^{16}$O collisions at the top RHIC energy

abstract: The impact of nuclear structure has garnered considerable attention in the high-energy nuclear physics community in recent years. This work focuses on studying the potential nuclear cluster structure in $^{16}\text{O}$ nuclei using anisotropic flow observables in $\rm O+O$ collisions at 200 GeV. Employing an improved AMPT model with various cluster structure configurations, we find that an extended effective parton formation time is necessary to align with the recent STAR experimental data. In addition, we reveal that the presented flow observables serve as sensitive probes for differentiating configurations of $\alpha$-clustering of $^{16}\text{O}$ nuclei. The systematic AMPT calculations presented in this paper, along with comprehensive comparisons to forthcoming experimental measurements at RHIC and the LHC, pave the way for a novel approach to investigate the $\alpha$-clustering structure of $^{16}\text{O}$ nuclei using $\rm O+O$ collisions at the ultra-relativistic energies.


title: The Hele-Shaw free boundary limit of Buckley-Leverett System

abstract: This paper proposes a new approach to solving the Buckley-Leverett System, which is to consider a compressible approximation model characterized by a stiff pressure law. Passing to the incompressible limit, the compressible model gives rise to a Hele-Shaw type free boundary limit of Buckley-Leverett System, and it is shown the existence of a weak solution of it.


title: ChainScience 2024, Conference Proceedings

abstract: ChainScience 2024, the second edition of the interdisciplinary conference, brought together academics, practitioners, and industry experts to explore novel developments in the realm of distributed ledger technologies. The conference aimed to bridge diverse fields such as informatics, business, economics, finance, regulation, law, mathematics, physics, and complexity science. The papers presented in these conference proceedings address emerging topics such as AI/ML applications to blockchain, DLTs interoperability, decentralized financial services, and tokenomics, alongside ethical, societal, and governance aspects of blockchain and DLTs. With a focus on promoting high-quality research and interdisciplinary collaboration, ChainScience24 aimed to unlock the collective potential of its diverse participants, embodying the ethos that the whole is greater than the sum of its parts.


title: With Andrzej Lasota there and back again

abstract: The paper below is a written version of the 17th Andrzej Lasota Lecture presented on January 12th, 2024 in Katowice. During the lecture we tried to show the impact of Andrzej Lasota's results on the author's research concerning various fields of mathematics, including chaos and ergodicity of dynamical systems, Markov operators and semigroups and partial differential equations.


title: Quantum size effects on Andreev transport in Nb/Au/Nb Josephson junctions: A combined ab-initio and experimental study

abstract: We have measured the critical current density, superconducting coherence length, and superconducting transition temperature on single-domain, epitaxially-grown Nb(110)/Au(111)/Nb(110) trilayers, all showing non-monotonic behavior as a function of the thickness of the Au layer. To reveal the underlying physical mechanism, we apply the first-principles-based microscopic theory of inhomogeneous relativistic superconductivity which predicts quantitatively the superconducting properties. As a result of the confinement in the growth direction, quantum-well states appear in the Au layer which yields a complex structure of Andreev states in the superconducting state. It is shown how the quantum-well states modify the quasiparticle spectrum and the Josephson supercurrent. Our study reveals the coexistence of the two superconducting phases in the Au layer, the usual intraband s-wave phase and an additional non-uniform phase stemming from interband pairing (without magnetic field). These results indicate the rich interplay between quantum-size and proximity effects, suggesting the possibility of modifying superconducting transport properties by exploiting thickness-dependent quantum size effect


title: Benchmarking Llama2, Mistral, Gemma and GPT for Factuality, Toxicity, Bias and Propensity for Hallucinations

abstract: This paper introduces fourteen novel datasets for the evaluation of Large Language Models' safety in the context of enterprise tasks. A method was devised to evaluate a model's safety, as determined by its ability to follow instructions and output factual, unbiased, grounded, and appropriate content. In this research, we used OpenAI GPT as point of comparison since it excels at all levels of safety. On the open-source side, for smaller models, Meta Llama2 performs well at factuality and toxicity but has the highest propensity for hallucination. Mistral hallucinates the least but cannot handle toxicity well. It performs well in a dataset mixing several tasks and safety vectors in a narrow vertical domain. Gemma, the newly introduced open-source model based on Google Gemini, is generally balanced but trailing behind. When engaging in back-and-forth conversation (multi-turn prompts), we find that the safety of open-source models degrades significantly. Aside from OpenAI's GPT, Mistral is the only model that still performed well in multi-turn tests.


title: MPC using mixed-integer programming for aquifer thermal energy storages

abstract: Aquifer thermal energy storages (ATES) are used to temporally store thermal energy in groundwater saturated aquifers. Typically, two storages are combined, one for heat and one for cold, to support heating and cooling of buildings. This way, the use of classical fossil fuel-based heating, ventilation, and air conditioning can be significantly reduced. Exploiting the benefits of ATES beyond ``seasonal'' heating in winter and cooling in summer as well as meeting legislative restrictions requires sophisticated control. We propose a tailored model predictive control (MPC) scheme for the sustainable operation of ATES systems, which mainly builds on a novel model and objective function. The new approach leads to a mixed-integer quadratic program. Its performance is evaluated on real data from an ATES system in Belgium.


title: Extremely high extinction ratio electro-optic modulator via frequency upconversion to visible wavelengths

abstract: Intensity modulators are fundamental components for integrated photonics. From near infrared to visible spectral ranges, they find applications in optical communication and quantum technologies. In particular, they are required for the control and manipulation of atomic systems such as atomic clocks and quantum computers. Typical integrated electro-optic modulators operating at these wavelengths show high bandwidth and low voltage operation, but their extinction ratios are moderate. Here we present an integrated thin-film lithium niobate electro-optic modulator operating in the C-band, which uses a subsequent periodically poled waveguide to convert the modulated signal from 1536 nm to 768 nm using second harmonic generation. We demonstrate that the upconverted signal retains the characteristics of the modulated input signal, reaching a measured high bandwidth of 40 GHz. Due to the nature of the nonlinear process, it exhibits, with respect to the fundamental signal, a doubled extinction ratio of 46 dB, which is the highest recorded for near-infrared light on this platform.


title: Shape Arithmetic Expressions: Advancing Scientific Discovery Beyond Closed-Form Equations

abstract: Symbolic regression has excelled in uncovering equations from physics, chemistry, biology, and related disciplines. However, its effectiveness becomes less certain when applied to experimental data lacking inherent closed-form expressions. Empirically derived relationships, such as entire stress-strain curves, may defy concise closed-form representation, compelling us to explore more adaptive modeling approaches that balance flexibility with interpretability. In our pursuit, we turn to Generalized Additive Models (GAMs), a widely used class of models known for their versatility across various domains. Although GAMs can capture non-linear relationships between variables and targets, they cannot capture intricate feature interactions. In this work, we investigate both of these challenges and propose a novel class of models, Shape Arithmetic Expressions (SHAREs), that fuses GAM's flexible shape functions with the complex feature interactions found in mathematical expressions. SHAREs also provide a unifying framework for both of these approaches. We also design a set of rules for constructing SHAREs that guarantee transparency of the found expressions beyond the standard constraints based on the model's size.


title: Software development in the age of LLMs and XR

abstract: Let's imagine that in a few years generative AI has changed software development dramatically, taking charge of most of the programming tasks. Let's also assume that extended reality devices became ubiquitous, being the preferred interface for interacting with computers. This paper proposes how this situation would impact IDEs, by exploring how the development process would be affected, and analyzing which tools would be needed for supporting developers.


title: NTIRE 2024 Challenge on Image Super-Resolution ($\times$4): Methods and Results

abstract: This paper reviews the NTIRE 2024 challenge on image super-resolution ($\times$4), highlighting the solutions proposed and the outcomes obtained. The challenge involves generating corresponding high-resolution (HR) images, magnified by a factor of four, from low-resolution (LR) inputs using prior information. The LR images originate from bicubic downsampling degradation. The aim of the challenge is to obtain designs/solutions with the most advanced SR performance, with no constraints on computational resources (e.g., model size and FLOPs) or training data. The track of this challenge assesses performance with the PSNR metric on the DIV2K testing dataset. The competition attracted 199 registrants, with 20 teams submitting valid entries. This collective endeavour not only pushes the boundaries of performance in single-image SR but also offers a comprehensive overview of current trends in this field.


title: Simulating nearby disc galaxies on the main star formation sequence I. Bar formation and the building of the central gas reservoir

abstract: Past studies have long emphasised the key role played by galactic stellar bars in the context of disc secular evolution, via the redistribution of gas and stars, the triggering of star formation, and the formation of prominent structures such as rings and central mass concentrations. However, the exact physical processes acting on those structures, as well as the timescales associated with the building and consumption of central gas reservoirs are still not well understood. We are building a suite of hydro-dynamical RAMSES simulations of isolated, low-redshift galaxies that mimic the properties of the PHANGS sample. The initial conditions of the models reproduce the observed stellar mass, disc scale length, or gas fraction, and this paper presents a first subset of these models. Most of our simulated galaxies develop a prominent bar structure, which itself triggers central gas fuelling and the building of an over-density with a typical scale of 100-1000 pc. We confirm that if the host galaxy features an ellipsoidal component, the formation of the bar and gas fuelling are delayed. We show that most of our simulations follow a common time evolution, when accounting for mass scaling and the bar formation time. In our simulations, the stellar mass of $10^{10}$~M$_{\odot}$ seems to mark a change in the phases describing the time evolution of the bar and its impact on the interstellar medium. In massive discs (M$_{\star} \geq 10^{10}$~M$_{\odot}$), we observe the formation of a central gas reservoir with star formation mostly occurring within a restricted starburst region, leading to a gas depletion phase. Lower-mass systems (M$_{\star} < 10^{10}$~M$_{\odot}$) do not exhibit such a depletion phase, and show a more homogeneous spread of star-forming regions along the bar structure, and do not appear to host inner bar-driven discs or rings.


title: Lecture Notes on Comparison Geometry

abstract: This note is based on Professor Vitali Kapovitch's comparison geometry course at the University of Toronto. It delves into various comparison theorems, including those by Rauch and Toponogov, focusing on their applications, such as Bishop-Gromov volume comparison, critical point theory of distance functions, diameter sphere theorem, and negative and nonnegative curvature. Additionally, it covers the soul theorem, splitting theorem, and covering theorem by Cheeger-Gromoll, as well as Perelman's proof of the soul conjecture. Finally, the note introduces Gromov-Hausdorff convergence, Alexandrov Spaces, and the Finite Homotopy type theorem by Grove-Peterson.


title: First Search for Light Fermionic Dark Matter Absorption on Electrons Using Germanium Detector in CDEX-10 Experiment

abstract: We present the first results of the search for sub-MeV fermionic dark matter absorbed by electron targets of Germanium using the 205.4~kg$\cdot$day data collected by the CDEX-10 experiment, with the analysis threshold of 160~eVee. No significant dark matter (DM) signals over the background are observed. Results are presented as limits on the cross section of DM--electron interaction. We present new constraints of cross section in the DM range of 0.1--10 keV/$c^2$ for vector and axial-vector interaction. The upper limit on the cross section is set to be $\rm 5.5\times10^{-46}~cm^2$ for vector interaction, and $\rm 1.8\times10^{-46}~cm^2$ for axial-vector interaction at DM mass of 5 keV/$c^2$.


title: Taper-based scattering formulation of the Helmholtz equation to improve the training process of Physics-Informed Neural Networks

abstract: This work addresses the scattering problem of an incident wave at a junction connecting two semi-infinite waveguides, which we intend to solve using Physics-Informed Neural Networks (PINNs). As with other deep learning-based approaches, PINNs are known to suffer from a spectral bias and from the hyperbolic nature of the Helmholtz equation. This makes the training process challenging, especially for higher wave numbers. We show an example where these limitations are present. In order to improve the learning capability of our model, we suggest an equivalent formulation of the Helmholtz Boundary Value Problem (BVP) that is based on splitting the total wave into a tapered continuation of the incoming wave and a remaining scattered wave. This allows the introduction of an inhomogeneity in the BVP, leveraging the information transmitted during back-propagation, thus, enhancing and accelerating the training process of our PINN model. The presented numerical illustrations are in accordance with the expected behavior, paving the way to a possible alternative approach to predicting scattering problems using PINNs.


title: Constraints on graviton mass from Schwarzschild precession in the orbits of S-stars around the Galactic Center

abstract: In this paper we use a modification of the Newtonian gravitational potential with a non-linear Yukawa-like correction, as it was proposed by C. Will earlier to obtain new bounds on graviton mass from the observed orbits of S-stars around the Galactic Center (GC). This phenomenological potential differs from the gravitational potential obtained in the weak field limit of Yukawa gravity, which we used in our previous studies. We also assumed that the orbital precession of S-stars is close to the prediction of General Relativity (GR) for Schwarzschild precession, but with a possible small discrepancy from it. This assumption is motivated by the fact that the GRAVITY Collaboration in 2020 and in 2022 detected Schwarzschild precession in the S2 star orbit around the Supermassive Black Hole (SMBH) at the GC. Using this approach, we were able to constrain parameter $\lambda$ of the potential and, assuming that it represents the graviton Compton wavelength, we also found the corresponding upper bound of graviton mass. The obtained results were then compared with our previous estimates, as well as with the estimates of other authors.


title: A note on heterogeneity, trade integration and spatial inequality

abstract: We study the impact of economic integration on spatial development in a model where all consumers are inter-regionally mobile and have heterogeneous preferences regarding their residential location choices. This heterogeneity is the unique dispersion force in the model. We show that, under reasonable values for the elasticity of substitution among varieties of consumption goods, a higher trade integration always promotes more symmetric patterns, irrespective of the functional form of the dispersion force. We also show that an increase in the degree of heterogeneity in preferences for location leads to less spatial inequality.


title: TextCoT: Zoom In for Enhanced Multimodal Text-Rich Image Understanding

abstract: The advent of Large Multimodal Models (LMMs) has sparked a surge in research aimed at harnessing their remarkable reasoning abilities. However, for understanding text-rich images, challenges persist in fully leveraging the potential of LMMs, and existing methods struggle with effectively processing high-resolution images. In this work, we propose TextCoT, a novel Chain-of-Thought framework for text-rich image understanding. TextCoT utilizes the captioning ability of LMMs to grasp the global context of the image and the grounding capability to examine local textual regions. This allows for the extraction of both global and local visual information, facilitating more accurate question-answering. Technically, TextCoT consists of three stages, including image overview, coarse localization, and fine-grained observation. The image overview stage provides a comprehensive understanding of the global scene information, and the coarse localization stage approximates the image area containing the answer based on the question asked. Then, integrating the obtained global image descriptions, the final stage further examines specific regions to provide accurate answers. Our method is free of extra training, offering immediate plug-and-play functionality. Extensive experiments are conducted on a series of text-rich image question-answering benchmark datasets based on several advanced LMMs, and the results demonstrate the effectiveness and strong generalization ability of our method. Code is available at https://github.com/bzluan/TextCoT.


title: The Fine-Grained Complexity of Graph Homomorphism Problems: Towards the Okrasa and Rz\k{a}\.zewski Conjecture

abstract: In this paper we are interested in the fine-grained complexity of deciding whether there is a homomorphism from an input graph $G$ to a fixed graph $H$ (the $H$-Coloring problem). The starting point is that these problems can be viewed as constraint satisfaction problems (CSPs), and that (partial) polymorphisms of binary relations are of paramount importance in the study of complexity classes of such CSPs. Thus, we first investigate the expressivity of binary symmetric relations $E_H$ and their corresponding (partial) polymorphisms pPol($E_H$). For irreflexive graphs we observe that there is no pair of graphs $H$ and $H'$ such that pPol($E_H$) $\subseteq$ pPol($E_{H'}$), unless $E_{H'}= \emptyset$ or $H =H'$. More generally we show the existence of an $n$-ary relation $R$ whose partial polymorphisms strictly subsume those of $H$ and such that CSP($R$) is NP-complete if and only if $H$ contains an odd cycle of length at most $n$. Motivated by this we also describe the sets of total polymorphisms of nontrivial cliques, odd cycles, as well as certain cores, and we give an algebraic characterization of projective cores. As a by-product, we settle the Okrasa and Rz\k{a}\.zewski conjecture for all graphs of at most 7 vertices.


title: Rational approximation of Euler's constant using multiple orthogonal polynomials

abstract: We construct new rational approximants of Euler's constant that improve those of Aptekarev et al. (2007) and Rivoal (2009). The approximants are given in terms of certain (mixed type) multiple orthogonal polynomials associated with the exponential integral. The dual family of multiple orthogonal polynomials leads to new rational approximants of the Gompertz constant that improve those of Aptekarev et al. (2007). Our approach is motivated by the fact that we can reformulate Rivoal's construction in terms of type I multiple Laguerre polynomials of the first kind by making use of the underlying Riemann-Hilbert problem. As a consequence, we can drastically simplify Rivoal's approach, which allows us to study the Diophantine and asymptotic properties of the approximants more easily.


title: Fractional derivatives of local times for some Gaussian processes

abstract: In this article, we consider fractional derivatives of local time for $d-$dimensional centered Gaussian processes satisfying certain strong local nondeterminism property. We first give a condition for existence of fractional derivatives of the local time defined by Marchaud derivatives in $L^p(p\ge1)$ and show that these derivatives are H\"older continuous with respect to both time and space variables and are also continuous with respect to the order of derivatives. Moreover, under some additional assumptions, we show that this condition is also necessary for existence of derivatives of the local time with the help of contour integration.


title: A Gray-Box Stability Analysis Mechanism for Power Electronic Converters

abstract: This paper proposes a gray-box stability analysis mechanism based on data-driven dynamic mode decomposition (DMD) for commercial grid-tied power electronics converters with limited information on its control parameters and topology. By fusing the underlying physical constraints of the state equations into data snapshots, the system dynamic state matrix and input matrix are simultaneously approximated to identify the dominant system dynamic modes and eigenvalues using the DMD with control (DMDc) algorithm. While retaining the advantages of eliminating the need for intrinsic controller information, the proposed gray-box method establishes higher accuracy and interpretable outcomes over the conventional DMD method. Finally, under experimental conditions of a low-frequency oscillation scenario in electrified railways featuring a single-phase converter, the proposed gray-box DMDc is verified to identify the dominant eigenvalues more accurately.


title: The Performance of Sequential Deep Learning Models in Detecting Phishing Websites Using Contextual Features of URLs

abstract: Cyber attacks continue to pose significant threats to individuals and organizations, stealing sensitive data such as personally identifiable information, financial information, and login credentials. Hence, detecting malicious websites before they cause any harm is critical to preventing fraud and monetary loss. To address the increasing number of phishing attacks, protective mechanisms must be highly responsive, adaptive, and scalable. Fortunately, advances in the field of machine learning, coupled with access to vast amounts of data, have led to the adoption of various deep learning models for timely detection of these cyber crimes. This study focuses on the detection of phishing websites using deep learning models such as Multi-Head Attention, Temporal Convolutional Network (TCN), BI-LSTM, and LSTM where URLs of the phishing websites are treated as a sequence. The results demonstrate that Multi-Head Attention and BI-LSTM model outperform some other deep learning-based algorithms such as TCN and LSTM in producing better precision, recall, and F1-scores.


title: Crossed products of dynamical systems; rigidity Vs. strong proximality

abstract: Given a dynamical system $(X, \Gamma)$, the corresponding crossed product $C^*$-algebra $C(X)\rtimes_{r}\Gamma$ is called reflecting, when every intermediate $C^*$-algebra $C^*_r(\Gamma)<\mathcal{A} < C(X)\rtimes_{r}\Gamma$ is of the form $\mathcal{A}=C(Y)\rtimes_{r}\Gamma$, corresponding to a dynamical factor $X \rightarrow Y$. It is called almost reflecting if $\mathbb{E}(\mathcal{A}) \subset \mathcal{A}$ for every such $\mathcal{A}$. These two notions coincide for groups admitting the approximation property (AP). Let $\Gamma$ be a non-elementary convergence group or a lattice in $\text{SL}_d(\mathbb{R})$ for some $d \ge 2$. We show that any uniformly rigid system $(X,\Gamma)$ is almost reflecting. In particular, this holds for any equicontinuous action. In the von Neumann setting, for the same groups $\Gamma$ and any uniformly rigid system $(X,\mathcal{B},\mu, \Gamma)$ the crossed product algebra $L^{\infty}(X,\mu)\rtimes\Gamma$ is reflecting. An inclusion of algebras $\mathcal{A}\subset\mathcal{B}$ is called $\textit{minimal ambient}$ if there are no intermediate algebras. As a demonstration of our methods, we construct examples of minimal ambient inclusions with various interesting properties in the $C^*$ and the von Neumann settings.


title: The $L_p$ dual Minkowski problem for unbounded closed convex sets

abstract: The central focus of this paper is the $L_p$ dual Minkowski problem for $C$-compatible sets, where $C$ is a pointed closed convex cone in $\mathbb{R}^n$ with nonempty interior. Such a problem deals with the characterization of the $(p, q)$-th dual curvature measure of a $C$-compatible set. It produces new Monge-Amp\`{e}re equations for unbounded convex hypersurface, often defined over open domains and with non-positive unknown convex functions. Within the family of $C$-determined sets, the $L_p$ dual Minkowski problem is solved for $0\neq p\in \mathbb{R}$ and $q\in \mathbb{R}$; while it is solved for the range of $p\leq 0$ and $p<q$ within the newly defined family of $(C, p, q)$-close sets. When $p\leq q$, we also obtain some results regarding the uniqueness of solutions to the $L_p$ dual Minkowski problem for $C$-compatible sets.


title: Electron densities of Transition Region Loops derived from IRIS O IV spectral data

abstract: Loops are fundamental structures in the magnetized atmosphere of the sun. Their physical properties are crucial for understanding the nature of the solar atmosphere. Transition region loops are relatively dynamic and their physical properties have not yet been fully understood. With spectral data of the line pair of O IV 1399.8 \AA & 1401.2 \AA ($T_{max}=1.4\times10^5$ K) of 23 transition region loops obtained by IRIS, we carry out the first systematic analyses to their loop lengths ($L$), electron densities ($n_e$) and effective temperatures. We found electron densities, loop lengths and effective temperatures of these loops are in the ranges of $8.9\times10^{9}$-$3.5\times10^{11}$ cm$^{-3}$, 8-30 Mm and $1.9\times10^5$-$1.3\times10^6$ K, respectively. At a significant level of 90\%, regression analyses show that the relationship between electron densities and loop lengths is $n_e[cm^{-3}]\varpropto (L[Mm])^{-0.78\pm0.42}$, while the dependences of electron densities on effective temperatures and that on the line intensities are not obvious. These observations demonstrate that transition region loops are significantly different than their coronal counterparts. Further studies on the theoretical aspect based on the physical parameters obtained here are of significance for understanding the nature of transition region loops.


title: Martensite decomposition kinetics in additively manufactured Ti-6Al-4V alloy: in-situ characterisation and phase-field modelling

abstract: Additive manufacturing of Ti-6Al-4V alloy via laser powder-bed fusion leads to non-equilibrium $\alpha'$ martensitic microstructures, with high strength but poor ductility and toughness. These properties may be modified by heat treatments, whereby the $\alpha'$ phase decomposes into equilibrium $\alpha+\beta$ structures, while possibly conserving microstructural features and length scales of the $\alpha'$ lath structure. Here, we combine experimental and computational methods to explore the kinetics of martensite decomposition. Experiments rely on in-situ characterisation (electron microscopy and diffraction) during multi-step heat treatment from 400$^{\circ}$C up to the alloy $\beta$-transus temperature (995$^{\circ}$C). Computational simulations rely on an experimentally-informed computationally-efficient phase-field model. Experiments confirmed that as-built microstructures were fully composed of martensitic $\alpha'$ laths. During martensite decomposition, nucleation of the $\beta$ phase occurs primarily along $\alpha'$ lath boundaries, with traces of $\beta$ nucleation along crystalline defects. Phase-field results, using electron backscatter diffraction maps of as-built microstructures as initial conditions, are compared directly with in-situ characterisation data. Experiments and simulations confirmed that, while full decomposition into stable $\alpha+\beta$ phases may be complete at 650$^{\circ}$C provided sufficient annealing time, visible morphological evolution of the microstructure was only observed for $T\geq\,$700$^{\circ}$C, without modification of the prior-$\beta$ grain structure.


title: A Universal Protocol to Benchmark Camera Calibration for Sports

abstract: Camera calibration is a crucial component in the realm of sports analytics, as it serves as the foundation to extract 3D information out of the broadcast images. Despite the significance of camera calibration research in sports analytics, progress is impeded by outdated benchmarking criteria. Indeed, the annotation data and evaluation metrics provided by most currently available benchmarks strongly favor and incite the development of sports field registration methods, i.e. methods estimating homographies that map the sports field plane to the image plane. However, such homography-based methods are doomed to overlook the broader capabilities of camera calibration in bridging the 3D world to the image. In particular, real-world non-planar sports field elements (such as goals, corner flags, baskets, ...) and image distortion caused by broadcast camera lenses are out of the scope of sports field registration methods. To overcome these limitations, we designed a new benchmarking protocol, named ProCC, based on two principles: (1) the protocol should be agnostic to the camera model chosen for a camera calibration method, and (2) the protocol should fairly evaluate camera calibration methods using the reprojection of arbitrary yet accurately known 3D objects. Indirectly, we also provide insights into the metric used in SoccerNet-calibration, which solely relies on image annotation data of viewed 3D objects as ground truth, thus implementing our protocol. With experiments on the World Cup 2014, CARWC, and SoccerNet datasets, we show that our benchmarking protocol provides fairer evaluations of camera calibration methods. By defining our requirements for proper benchmarking, we hope to pave the way for a new stage in camera calibration for sports applications with high accuracy standards.


title: Data-Driven Stability Assessment of Power Electronic Converters with Multi-Resolution Dynamic Mode Decomposition

abstract: Harmonic instability occurs frequently in the power electronic converter system. This paper leverages multi-resolution dynamic mode decomposition (MR-DMD) as a data-driven diagnostic tool for the system stability of power electronic converters, not requiring complex modeling and detailed control information. By combining dynamic mode decomposition (DMD) with the multi-resolution analysis used in wavelet theory, dynamic modes and eigenvalues can be identified at different decomposition levels and time scales with the MR-DMD algorithm, thereby allowing for handling datasets with transient time behaviors, which is not achievable using conventional DMD. Further, the selection criteria for important parameters in MR-DMD are clearly defined through derivation, elucidating the reason for enabling it to extract eigenvalues within different frequency ranges. Finally, the analysis results are verified using the dataset collected from the experimental platform of a low-frequency oscillation scenario in electrified railways featuring a single-phase converter.


title: Neighbour-level Message Interaction Encoding for Improved Representation Learning on Graphs

abstract: Message passing has become the dominant framework in graph representation learning. The essential idea of the message-passing framework is to update node embeddings based on the information aggregated from local neighbours. However, most existing aggregation methods have not encoded neighbour-level message interactions into the aggregated message, resulting in an information lost in embedding generation. And this information lost could be accumulated and become more serious as more layers are added to the graph network model. To address this issue, we propose a neighbour-level message interaction information encoding method for improving graph representation learning. For messages that are aggregated at a node, we explicitly generate an encoding between each message and the rest messages using an encoding function. Then we aggregate these learned encodings and take the sum of the aggregated encoding and the aggregated message to update the embedding for the node. By this way, neighbour-level message interaction information is integrated into the generated node embeddings. The proposed encoding method is a generic method which can be integrated into message-passing graph convolutional networks. Extensive experiments are conducted on six popular benchmark datasets across four highly-demanded tasks. The results show that integrating neighbour-level message interactions achieves improved performance of the base models, advancing the state of the art results for representation learning over graphs.


title: The Challenges of Optimization For Data Science

abstract: Optimization problems arising in data science have given rise to a number of new derivative-based optimization methods. Such methods often use standard smoothness assumptions -- namely, global Lipschitz continuity of the gradient function -- to establish a convergence theory. Unfortunately, in this work, we show that common optimization problems from data science applications are not globally Lipschitz smooth, nor do they satisfy some more recently developed smoothness conditions in literature. Instead, we show that such optimization problems are better modeled as having locally Lipschitz continuous gradients. We then construct explicit examples satisfying this assumption on which existing classes of optimization methods are either unreliable or experience an explosion in evaluation complexity. In summary, we show that optimization problems arising in data science are particularly difficult to solve, and that there is a need for methods that can reliably and practically solve these problems.


title: Calculating entries of unitary $SL_3$-friezes

abstract: In this article we consider tame $ SL_3 $-friezes that arise by specializing a cluster of Pl\"ucker variables in the coordinate ring of the Grassmannian $ \mathscr{G}(3,n) $ to $ 1 $. We show how to calculate arbitrary entries of such friezes from the cluster in question. Let $ \mathscr{F} $ be such a cluster. We study the set $ \mathscr{F}_x $ of cluster variables in $ \mathscr{F} $ that share a given index $ x $ and derive a structure Theorem for $ \mathscr{F}_x $. These sets prove central to calculating the first and last non-trivial rows of the frieze. After that, simple recursive formulas can be used to calculate all remaining entries.


title: Solving the Tree Containment Problem Using Graph Neural Networks

abstract: Tree Containment is a fundamental problem in phylogenetics useful for verifying a proposed phylogenetic network, representing the evolutionary history of certain species. Tree Containment asks whether the given phylogenetic tree (for instance, constructed from a DNA fragment showing tree-like evolution) is contained in the given phylogenetic network. In the general case, this is an NP-complete problem. We propose to solve it approximately using Graph Neural Networks. In particular, we propose to combine the given network and the tree and apply a Graph Neural Network to this network-tree graph. This way, we achieve the capability of solving the tree containment instances representing a larger number of species than the instances contained in the training dataset (i.e., our algorithm has the inductive learning ability). Our algorithm demonstrates an accuracy of over $95\%$ in solving the tree containment problem on instances with up to 100 leaves.


title: Four center integrals for Coulomb interactions in small molecules

abstract: In this work we make some progress on studying four center integrals for the Coulomb energy for both Hartree Fock (HF) and Density Functional Theory (DFT) calculations for small molecules. We consider basis wave functions of the form of an arbitrary radial wave function multiplied by a spherical harmonic and study four center Coulomb integrals for them. We reformulated these Coulomb four center integrals in terms of some derivatives of integrals of nearly factorable functions which then depend on the Bessel transform of the radial wave functions considered.


title: A Novel HARQ-CC Assisted SCMA Scheme

abstract: This letter proposes a novel hybrid automatic repeat request with chase combining assisted sparse code multiple access (HARQ-CC-SCMA) scheme. Depending on whether the same superimposed packet are retransmitted, synchronous and asynchronous modes are considered for retransmissions. Moreover, factor graph aggregation (FGA) and Log-likelihood ratio combination (LLRC) are proposed for multi-user detection. Regarding FGA, a large-scale factor graph is constructed by combining all the received superimposed signals and message passing algorithm (MAP) is applied to calculate log-likelihood ratio (LLR). Whereas, owing to the same unsuccessful messages required to be retransmitted, LLRC adds up LLRs of erroneously received packets in previous HARQ rounds together with currently received packets for channel decoding and saves the LLRs for failed users. Finally, Monte Carlo simulations are preformed to show that FGA surpasses LLRC and HARQ with incremental redundancy (HARQ-IR) in synchronous mode. However, LLRC performs better than FGA at low signal-to-noise ratio (SNR) in asynchronous mode. This is because failed messages after the maximum allowable HARQ rounds in this mode can yield significant error propagation in low SNR regime.


title: Lax structure and tau function for large BKP hierarchy

abstract: In this paper, we mainly investigate Lax structure and tau function for the large BKP hierarchy, which is also known as Toda hierarchy of B type, or Hirota--Ohta--coupled KP hierarchy, or Pfaff lattice. Firstly, the large BKP hierarchy can be derived from fermionic BKP hierarchy by using a special bosonization, which is presented in the form of bilinear equation. Then from bilinear equation, the corresponding Lax equation is given, where in particular the relation of flow generator with Lax operator is obtained. Also starting from Lax equation, the corresponding bilinear equation and existence of tau function are discussed. After that, large BKP hierarchy is viewed as sub--hierarchy of modified Toda (mToda) hierarchy, also called two--component first modified KP hierarchy. Finally by using two basic Miura transformations from mToda to Toda, we understand two typical relations between large BKP tau function $\tau_n(\mathbf{t})$ and Toda tau function $\tau_n^{\rm Toda}(\mathbf{t},-\mathbf{t})$, that is, $\tau_n^{{\rm Toda}}(\mathbf{t},-{\mathbf{t}})=\tau_n(\mathbf{t})\tau_{n-1}(\mathbf{t})$ and $\tau_n^{{\rm Toda}}(\mathbf{t},-{\mathbf{t}})=\tau_n^2(\mathbf{t})$. Further we find $\big(\tau_n(\mathbf{t})\tau_{n-1}(\mathbf{t}),\tau_n^2(\mathbf{t})\big)$ satisfies bilinear equation of mToda hierarchy.


title: FedP3: Federated Personalized and Privacy-friendly Network Pruning under Model Heterogeneity

abstract: The interest in federated learning has surged in recent research due to its unique ability to train a global model using privacy-secured information held locally on each client. This paper pays particular attention to the issue of client-side model heterogeneity, a pervasive challenge in the practical implementation of FL that escalates its complexity. Assuming a scenario where each client possesses varied memory storage, processing capabilities and network bandwidth - a phenomenon referred to as system heterogeneity - there is a pressing need to customize a unique model for each client. In response to this, we present an effective and adaptable federated framework FedP3, representing Federated Personalized and Privacy-friendly network Pruning, tailored for model heterogeneity scenarios. Our proposed methodology can incorporate and adapt well-established techniques to its specific instances. We offer a theoretical interpretation of FedP3 and its locally differential-private variant, DP-FedP3, and theoretically validate their efficiencies.


title: The Problem Of Image Super-Resolution, Denoising And Some Image Restoration Methods In Deep Learning Models

abstract: In this article, we address the challenges of image super-resolution and noise reduction, which are crucial for enhancing the quality of images derived from low-resolution or noisy data. We compared and assessed several approaches for upgrading low-resolution images to higher resolutions and for eliminating unwanted noise, all while maintaining the essential characteristics of the original images and recovering images from poor quality or damaged data using deep learning models. Our analysis and the experimental outcomes on image quality metrics indicate that the EDCNN neural network model, enhanced with pretrained weights, significantly outperforms other methods with a Train PSNR of 31.215, a Valid PSNR of 29.493, and a Test PSNR of 31.6632.


title: Error Detection and Correction Codes for Safe In-Memory Computations

abstract: In-Memory Computing (IMC) introduces a new paradigm of computation that offers high efficiency in terms of latency and power consumption for AI accelerators. However, the non-idealities and defects of emerging technologies used in advanced IMC can severely degrade the accuracy of inferred Neural Networks (NN) and lead to malfunctions in safety-critical applications. In this paper, we investigate an architectural-level mitigation technique based on the coordinated action of multiple checksum codes, to detect and correct errors at run-time. This implementation demonstrates higher efficiency in recovering accuracy across different AI algorithms and technologies compared to more traditional methods such as Triple Modular Redundancy (TMR). The results show that several configurations of our implementation recover more than 91% of the original accuracy with less than half of the area required by TMR and less than 40% of latency overhead.


title: 3D Face Tracking from 2D Video through Iterative Dense UV to Image Flow

abstract: When working with 3D facial data, improving fidelity and avoiding the uncanny valley effect is critically dependent on accurate 3D facial performance capture. Because such methods are expensive and due to the widespread availability of 2D videos, recent methods have focused on how to perform monocular 3D face tracking. However, these methods often fall short in capturing precise facial movements due to limitations in their network architecture, training, and evaluation processes. Addressing these challenges, we propose a novel face tracker, FlowFace, that introduces an innovative 2D alignment network for dense per-vertex alignment. Unlike prior work, FlowFace is trained on high-quality 3D scan annotations rather than weak supervision or synthetic data. Our 3D model fitting module jointly fits a 3D face model from one or many observations, integrating existing neutral shape priors for enhanced identity and expression disentanglement and per-vertex deformations for detailed facial feature reconstruction. Additionally, we propose a novel metric and benchmark for assessing tracking accuracy. Our method exhibits superior performance on both custom and publicly available benchmarks. We further validate the effectiveness of our tracker by generating high-quality 3D data from 2D videos, which leads to performance gains on downstream tasks.


title: Global-in-time weak solutions for an inviscid free surface fluid-structure problem without damping

abstract: We consider the Cauchy problem for an inviscid irrotational fluid on a domain with a free boundary governed by a fourth order linear elasticity equation. We first derive the Craig-Sulem-Zakharov formulation of the problem and then establish the existence of a global weak solution in two space dimensions, in the general case without a damping term, for any initial data with finite energy.


title: A provable control of sensitivity of neural networks through a direct parameterization of the overall bi-Lipschitzness

abstract: While neural networks can enjoy an outstanding flexibility and exhibit unprecedented performance, the mechanism behind their behavior is still not well-understood. To tackle this fundamental challenge, researchers have tried to restrict and manipulate some of their properties in order to gain new insights and better control on them. Especially, throughout the past few years, the concept of \emph{bi-Lipschitzness} has been proved as a beneficial inductive bias in many areas. However, due to its complexity, the design and control of bi-Lipschitz architectures are falling behind, and a model that is precisely designed for bi-Lipschitzness realizing a direct and simple control of the constants along with solid theoretical analysis is lacking. In this work, we investigate and propose a novel framework for bi-Lipschitzness that can achieve such a clear and tight control based on convex neural networks and the Legendre-Fenchel duality. Its desirable properties are illustrated with concrete experiments. We also apply this framework to uncertainty estimation and monotone problem settings to illustrate its broad range of applications.


title: GuLu XuanYuan , a biomimetic Transformer that intergrates humanoid MIP, reptile UGV, and bird UAV

abstract: This article proposes a multi habitat bio-mimetic robot, named as GuLu XuanYuan.It combines all common types of mobile robots, namely humanoid MIP, unmanned ground vehicle, and unmanned aerial vehicle. These 3 modals imitate human, bird, and reptile, separately. As a transformer, GuLu XuanYuan can transform from one modal to another. Transforming function integrates the specialized abilities of three robots into the same machine body. This simplification approach helps to reduce the total number of required robots. From another perspective, the deformation function is equivalent to creating more economic value.