title: Magnetic oxides

abstract: In this article we give a general survey of the main properties of magnetic oxides - mostly the oxides of transition metals, but sometime also containing rare earths ions. This is a very rich class of materials, among which there are insulators and metals, systems with insulator-metal transitions, and there are among them even high-temperature superconductors. One of the main features of these compounds, which attract to them special attention and which serve as a basis of many applications, are their rich magnetic properties. In this article we discuss the main physical effects determining their behaviour, and describe in detail especially their magnetic properties, but not only. After shortly discussing the basic structure of isolated magnetic ions, we concentrate on the collective effects depending on the interaction between sites, especially exchange interaction, giving rise to different magnetic properties: different types of magnetic ordering in conventional systems, but also more exotic states such as spin liquid states in frustrated systems. We also cover related phenomena in magnetic oxides, such as magnetoelectric and multiferroic behaviour, and discuss at the end their diverse useful properties serving as a basis of many applications.


title: Current State of Community-Driven Radiological AI Deployment in Medical Imaging

abstract: Artificial Intelligence (AI) has become commonplace to solve routine everyday tasks. Because of the exponential growth in medical imaging data volume and complexity, the workload on radiologists is steadily increasing. We project that the gap between the number of imaging exams and the number of expert radiologist readers required to cover this increase will continue to expand, consequently introducing a demand for AI-based tools that improve the efficiency with which radiologists can comfortably interpret these exams. AI has been shown to improve efficiency in medical-image generation, processing, and interpretation, and a variety of such AI models have been developed across research labs worldwide. However, very few of these, if any, find their way into routine clinical use, a discrepancy that reflects the divide between AI research and successful AI translation. To address the barrier to clinical deployment, we have formed MONAI Consortium, an open-source community which is building standards for AI deployment in healthcare institutions, and developing tools and infrastructure to facilitate their implementation. This report represents several years of weekly discussions and hands-on problem solving experience by groups of industry experts and clinicians in the MONAI Consortium. We identify barriers between AI-model development in research labs and subsequent clinical deployment and propose solutions. Our report provides guidance on processes which take an imaging AI model from development to clinical implementation in a healthcare institution. We discuss various AI integration points in a clinical Radiology workflow. We also present a taxonomy of Radiology AI use-cases. Through this report, we intend to educate the stakeholders in healthcare and AI (AI researchers, radiologists, imaging informaticists, and regulators) about cross-disciplinary challenges and possible solutions.


title: Theoretical examination of QED Hamiltonian and negative-energy orbitals in relativistic molecular orbital theory

abstract: The relativistic Hartree-Fock and electron correlation methods without the negative-energy orbital problem are examined on the basis of the quantum electrodynamics (QED) Hamiltonian. First, several QED Hamiltonians previously proposed are sifted by the orbital rotation invariance, the charge conjugation and time reversal invariance, and the nonrelativistic limit. A new total energy expression is then proposed, in which a counter term corresponding to the energy of the polarized vacuum is subtracted from the total energy. This expression prevents the possibility of total energy divergence due to electron correlations, stemming from the fact that the QED Hamiltonian does not conserve the number of particles. Finally, based on the Hamiltonian and energy expression, the Dirac-Hartree-Fock (DHF) and electron correlation methods are reintroduced. The resulting QED-based DHF equation has the same form as the conventional DHF equation, but also formally describes systems specific to QED, such as the virtual positrons in the hydride ion and the positron in positronium. Three electron correlation methods are derived: the QED-based configuration interactions and single- and multireference perturbation methods. Numerical calculations show that the total energy of the QED Hamiltonian indeed diverges and that the counter term is effective in avoiding the divergence. The theoretical examinations in the present article suggest that the molecular orbital (MO) methods based on the QED Hamiltonian not only solve the problem of the negative-energy solutions of the relativistic MO method, but also provide a relativistic formalism to treat systems containing positrons.


title: Rigorous Derivation of Stochastic Conceptual Models for the El Ni\~no-Southern Oscillation from a Spatially-Extended Dynamical System

abstract: El Ni\~no-Southern Oscillation (ENSO) is the most predominant interannual variability in the tropics, significantly impacting global weather and climate. In this paper, a framework of low-order conceptual models for the ENSO is systematically derived from a spatially-extended stochastic dynamical system with full mathematical rigor. The spatially-extended stochastic dynamical system has a linear, deterministic, and stable dynamical core. It also exploits a simple stochastic process with multiplicative noise to parameterize the intraseasonal wind burst activities. A principal component analysis based on the eigenvalue decomposition method is applied to provide a low-order conceptual model that succeeds in characterizing the large-scale dynamical and non-Gaussian statistical features of the eastern Pacific El Ni\~no events. Despite the low dimensionality, the conceptual modeling framework contains outputs for all the atmosphere, ocean, and sea surface temperature components with detailed spatiotemporal patterns. This contrasts with many existing conceptual models focusing only on a small set of specified state variables. The stochastic versions of many state-of-the-art low-order models, such as the recharge-discharge and the delayed oscillators, become special cases within this framework. The rigorous derivation of such low-order models provides a unique way to connect models with different spatiotemporal complexities. The framework also facilitates understanding the instantaneous and memory effects of stochastic noise in contributing to the large-scale dynamics of the ENSO.


title: PanDepth: Joint Panoptic Segmentation and Depth Completion

abstract: Understanding 3D environments semantically is pivotal in autonomous driving applications where multiple computer vision tasks are involved. Multi-task models provide different types of outputs for a given scene, yielding a more holistic representation while keeping the computational cost low. We propose a multi-task model for panoptic segmentation and depth completion using RGB images and sparse depth maps. Our model successfully predicts fully dense depth maps and performs semantic segmentation, instance segmentation, and panoptic segmentation for every input frame. Extensive experiments were done on the Virtual KITTI 2 dataset and we demonstrate that our model solves multiple tasks, without a significant increase in computational cost, while keeping high accuracy performance. Code is available at https://github.com/juanb09111/PanDepth.git


title: Efficient Image Super-Resolution with Feature Interaction Weighted Hybrid Network

abstract: Recently, great progress has been made in single-image super-resolution (SISR) based on deep learning technology. However, the existing methods usually require a large computational cost. Meanwhile, the activation function will cause some features of the intermediate layer to be lost. Therefore, it is a challenge to make the model lightweight while reducing the impact of intermediate feature loss on the reconstruction quality. In this paper, we propose a Feature Interaction Weighted Hybrid Network (FIWHN) to alleviate the above problem. Specifically, FIWHN consists of a series of novel Wide-residual Distillation Interaction Blocks (WDIB) as the backbone, where every third WDIBs form a Feature shuffle Weighted Group (FSWG) by mutual information mixing and fusion. In addition, to mitigate the adverse effects of intermediate feature loss on the reconstruction results, we introduced a well-designed Wide Convolutional Residual Weighting (WCRW) and Wide Identical Residual Weighting (WIRW) units in WDIB, and effectively cross-fused features of different finenesses through a Wide-residual Distillation Connection (WRDC) framework and a Self-Calibrating Fusion (SCF) unit. Finally, to complement the global features lacking in the CNN model, we introduced the Transformer into our model and explored a new way of combining the CNN and Transformer. Extensive quantitative and qualitative experiments on low-level and high-level tasks show that our proposed FIWHN can achieve a good balance between performance and efficiency, and is more conducive to downstream tasks to solve problems in low-pixel scenarios.


title: WL-Align: Weisfeiler-Lehman Relabeling for Aligning Users across Networks via Regularized Representation Learning

abstract: Aligning users across networks using graph representation learning has been found effective where the alignment is accomplished in a low-dimensional embedding space. Yet, achieving highly precise alignment is still challenging, especially when nodes with long-range connectivity to the labeled anchors are encountered. To alleviate this limitation, we purposefully designed WL-Align which adopts a regularized representation learning framework to learn distinctive node representations. It extends the Weisfeiler-Lehman Isormorphism Test and learns the alignment in alternating phases of "across-network Weisfeiler-Lehman relabeling" and "proximity-preserving representation learning". The across-network Weisfeiler-Lehman relabeling is achieved through iterating the anchor-based label propagation and a similarity-based hashing to exploit the known anchors' connectivity to different nodes in an efficient and robust manner. The representation learning module preserves the second-order proximity within individual networks and is regularized by the across-network Weisfeiler-Lehman hash labels. Extensive experiments on real-world and synthetic datasets have demonstrated that our proposed WL-Align outperforms the state-of-the-art methods, achieving significant performance improvements in the "exact matching" scenario. Data and code of WL-Align are available at https://github.com/ChenPengGang/WLAlignCode.


title: How to Share: Balancing Layer and Chain Sharing in Industrial Microservice Deployment

abstract: With the rapid development of smart manufacturing, edge computing-oriented microservice platforms are emerging as an important part of production control. In the containerized deployment of microservices, layer sharing can reduce the huge bandwidth consumption caused by image pulling, and chain sharing can reduce communication overhead caused by communication between microservices. The two sharing methods use the characteristics of each microservice to share resources during deployment. However, due to the limited resources of edge servers, it is difficult to meet the optimization goals of the two methods at the same time. Therefore, it is of critical importance to realize the improvement of service response efficiency by balancing the two sharing methods. This paper studies the optimal microservice deployment strategy that can balance layer sharing and chain sharing of microservices. We build a problem that minimizes microservice image pull delay and communication overhead and transform the problem into a linearly constrained integer quadratic programming problem through model reconstruction. A deployment strategy is obtained through the successive convex approximation (SCA) method. Experimental results show that the proposed deployment strategy can balance the two resource sharing methods. When the two sharing methods are equally considered, the average image pull delay can be reduced to 65% of the baseline, and the average communication overhead can be reduced to 30% of the baseline.


title: First-principles prediction of superconductivity in MgB$_3$C$_3$

abstract: From first-principles density functional theory calculations, we propose hexagonal layered MgB$_3$C$_3$ as a potential phonon-mediated superconductor at 59 K, which is far higher than the superconductivity of MgB$_2$ ($\approx$ 39 K). The MgB$_3$C$_3$ is energetically and dynamically stable at ambient pressure in the \textit{P-62m} hexagonal structure with c/a $\approx$ 0.79 and forms in stacks of honeycomb B-C layers with Mg as a space filler. Band structure calculations indicate that the bands at the Fermi level derive mainly from B and C orbitals in which two $\sigma$- and two $\pi$ bands both contribute to the total density of state. The $\pi$ bands are found to be strongly couple with out-of-plane acoustic phonon mode, while the $\sigma$ bands coupled with the in-plane bond-stretching optical E$^{\prime} $ phonon modes produces a sizable superconductivity in MgB$_3$C$_3$.


title: What Estimators Are Unbiased For Linear Models?

abstract: The recent thought-provoking paper by Hansen [2022, Econometrica] proved that the Gauss-Markov theorem continues to hold without the requirement that competing estimators are linear in the vector of outcomes. Despite the elegant proof, it was shown by the authors and other researchers that the main result in the earlier version of Hansen's paper does not extend the classic Gauss-Markov theorem because no nonlinear unbiased estimator exists under his conditions. To address the issue, Hansen [2022] added statements in the latest version with new conditions under which nonlinear unbiased estimators exist. Motivated by the lively discussion, we study a fundamental problem: what estimators are unbiased for a given class of linear models? We first review a line of highly relevant work dating back to the 1960s, which, unfortunately, have not drawn enough attention. Then, we introduce notation that allows us to restate and unify results from earlier work and Hansen [2022]. The new framework also allows us to highlight differences among previous conclusions. Lastly, we establish new representation theorems for unbiased estimators under different restrictions on the linear model, allowing the coefficients and covariance matrix to take only a finite number of values, the higher moments of the estimator and the dependent variable to exist, and the error distribution to be discrete, absolutely continuous, or dominated by another probability measure. Our results substantially generalize the claims of parallel commentaries on Hansen [2022] and a remarkable result by Koopmann [1982].


title: Properties of $^{208}$Pb predicted from the relativistic equation of state in the full Dirac space

abstract: Relativistic Brueckner-Hartree-Fock (RBHF) theory in the full Dirac space allows one to determine uniquely the momentum dependence of scalar and vector components of the single-particle potentials. In order to extend this new method from nuclear matter to finite nuclei, as a first step, properties of $^{208}$Pb are explored by using the microscopic equation of state for asymmetric nuclear matter and a liquid droplet model. The neutron and proton density distributions, the binding energies, the neutron and proton radii, and the neutron skin thickness in $^{208}$Pb are calculated. In order to further compare the charge densities predicted from the RBHF theory in the full Dirac space with the experimental charge densities, the differential cross sections and the electric charge form factors in the elastic electron-nucleus scattering are obtained by using the phase-shift analysis method. The results from the RBHF theory are in good agreement with the experimental data. In addition, the uncertainty arising from variations of the surface term parameter $f_0$ in the liquid droplet model is also discussed.


title: Learned Hierarchical B-frame Coding with Adaptive Feature Modulation for YUV 4:2:0 Content

abstract: This paper introduces a learned hierarchical B-frame coding scheme in response to the Grand Challenge on Neural Network-based Video Coding at ISCAS 2023. We address specifically three issues, including (1) B-frame coding, (2) YUV 4:2:0 coding, and (3) content-adaptive variable-rate coding with only one single model. Most learned video codecs operate internally in the RGB domain for P-frame coding. B-frame coding for YUV 4:2:0 content is largely under-explored. In addition, while there have been prior works on variable-rate coding with conditional convolution, most of them fail to consider the content information. We build our scheme on conditional augmented normalized flows (CANF). It features conditional motion and inter-frame codecs for efficient B-frame coding. To cope with YUV 4:2:0 content, two conditional inter-frame codecs are used to process the Y and UV components separately, with the coding of the UV components conditioned additionally on the Y component. Moreover, we introduce adaptive feature modulation in every convolutional layer, taking into account both the content information and the coding levels of B-frames to achieve content-adaptive variable-rate coding. Experimental results show that our model outperforms x265 and the winner of last year's challenge on commonly used datasets in terms of PSNR-YUV.


title: Constrained monotone mean-variance problem with random coefficients

abstract: This paper studies the monotone mean-variance (MMV) problem and the classical mean-variance (MV) problem with convex cone trading constraints in a market with random coefficients. We provide semiclosed optimal strategies and optimal values for both problems via certain backward stochastic differential equations (BSDEs). After noting the links between these BSDEs, we find that the two problems share the same optimal portfolio and optimal value. This generalizes the result of Shen and Zou $[$ SIAM J. Financial Math., 13 (2022), pp. SC99-SC112$]$ from deterministic coefficients to random ones.


title: High Resolution Modeling and Analysis of Cryptocurrency Mining's Impact on Power Grids: Carbon Footprint, Reliability, and Electricity Price

abstract: Blockchain technologies are considered one of the most disruptive innovations of the last decade, enabling secure decentralized trust-building. However, in recent years, with the rapid increase in the energy consumption of blockchain-based computations for cryptocurrency mining, there have been growing concerns about their sustainable operation in electric grids. This paper investigates the tri-factor impact of such large loads on carbon footprint, grid reliability, and electricity market price in the Texas grid. We release open-source high-resolution data to enable high-resolution modeling of influencing factors such as location and flexibility. We reveal that the per-megawatt-hour carbon footprint of cryptocurrency mining loads across locations can vary by as much as 50% of the crude system average estimate. We show that the flexibility of mining loads can significantly mitigate power shortages and market disruptions that can result from the deployment of mining loads. These findings suggest policymakers to facilitate the participation of large mining facilities in wholesale markets and require them to provide mandatory demand response.


title: Experimental Quantum Communication Overcomes the Rate-loss Limit without Global Phase Tracking

abstract: Secure key rate (SKR) of point-point quantum key distribution (QKD) is fundamentally bounded by the rate-loss limit. Recent breakthrough of twin-field (TF) QKD can overcome this limit and enables long distance quantum communication, but its implementation necessitates complex global phase tracking and requires strong phase references which not only add to noise but also reduce the duty cycle for quantum transmission. Here, we resolve these shortcomings, and importantly achieve even higher SKRs than TF-QKD, via implementing an innovative but simpler measurement-device-independent QKD which realizes repeater-like communication through asynchronous coincidence pairing. Over 413 and 508 km optical fibers, we achieve finite-size SKRs of 590.61 and 42.64 bit/s, which are respectively 1.80 and 4.08 times of their corresponding absolute rate limits. Significantly, the SKR at 306 km exceeds 5 kbit/s and meets the bitrate requirement for live one-time-pad encryption of voice communication. Our work will bring forward economical and efficient intercity quantum-secure networks.


title: TensorFHE: Achieving Practical Computation on Encrypted Data Using GPGPU

abstract: In this paper, we propose TensorFHE, an FHE acceleration solution based on GPGPU for real applications on encrypted data. TensorFHE utilizes Tensor Core Units (TCUs) to boost the computation of Number Theoretic Transform (NTT), which is the part of FHE with highest time-cost. Moreover, TensorFHE focuses on performing as many FHE operations as possible in a certain time period rather than reducing the latency of one operation. Based on such an idea, TensorFHE introduces operation-level batching to fully utilize the data parallelism in GPGPU. We experimentally prove that it is possible to achieve comparable performance with GPGPU as with state-of-the-art ASIC accelerators. TensorFHE performs 913 KOPS and 88 KOPS for NTT and HMULT (key FHE kernels) within NVIDIA A100 GPGPU, which is 2.61x faster than state-of-the-art FHE implementation on GPGPU; Moreover, TensorFHE provides comparable performance to the ASIC FHE accelerators, which makes it even 2.9x faster than the F1+ with a specific workload. Such a pure software acceleration based on commercial hardware with high performance can open up usage of state-of-the-art FHE algorithms for a broad set of applications in real systems.


title: Probing sterile neutrino dark matter in the PTOLEMY-like experiment

abstract: We study the prospect to detect the cosmic background of sterile neutrinos in the Tritium $\beta$-decay, such as PTOLEMY-like experiments. The sterile neutrino with mass between 1 eV - 10 keV may contribute to the local density as warm or cold DM component. In this study, we investigate the possibility for searching them in the models with different production in the early Universe, without assuming sterile neutrino as full dark matter component. In these models, especially with low-reheating temperature or phase transition, the capture rate per year can be greatly enhanced to be $\mathcal O(10)$ without violating other astrophysical and cosmological observations.


title: A Unified Object Counting Network with Object Occupation Prior

abstract: The counting task, which plays a fundamental role in numerous applications (e.g., crowd counting, traffic statistics), aims to predict the number of objects with various densities. Existing object counting tasks are designed for a single object class. However, it is inevitable to encounter newly coming data with new classes in our real world. We name this scenario as \textit{evolving object counting}. In this paper, we build the first evolving object counting dataset and propose a unified object counting network as the first attempt to address this task. The proposed model consists of two key components: a class-agnostic mask module and a class-incremental module. The class-agnostic mask module learns generic object occupation prior via predicting a class-agnostic binary mask (e.g., 1 denotes there exists an object at the considering position in an image and 0 otherwise). The class-incremental module is used to handle new coming classes and provides discriminative class guidance for density map prediction. The combined outputs of class-agnostic mask module and image feature extractor are used to predict the final density map. When new classes come, we first add new neural nodes into the last regression and classification layers of class-incremental module. Then, instead of retraining the model from scratch, we utilize knowledge distillation to help the model remember what have already learned about previous object classes. We also employ a support sample bank to store a small number of typical training samples of each class, which are used to prevent the model from forgetting key information of old data. With this design, our model can efficiently and effectively adapt to new coming classes while keeping good performance on already seen data without large-scale retraining. Extensive experiments on the collected dataset demonstrate the favorable performance.


title: Theoretical Guarantees for Sparse Principal Component Analysis based on the Elastic Net

abstract: Sparse principal component analysis (SPCA) is widely used for dimensionality reduction and feature extraction in high-dimensional data analysis. Despite many methodological and theoretical developments in the past two decades, the theoretical guarantees of the popular SPCA algorithm proposed by Zou, Hastie & Tibshirani (2006) are still unknown. This paper aims to address this critical gap. We first revisit the SPCA algorithm of Zou et al. (2006) and present our implementation. We also study a computationally more efficient variant of the SPCA algorithm in Zou et al. (2006) that can be considered as the limiting case of SPCA. We provide the guarantees of convergence to a stationary point for both algorithms and prove that, under a sparse spiked covariance model, both algorithms can recover the principal subspace consistently under mild regularity conditions. We show that their estimation error bounds match the best available bounds of existing works or the minimax rates up to some logarithmic factors. Moreover, we demonstrate the competitive numerical performance of both algorithms in numerical studies.


title: Density-and-phase domain walls in a condensate with dynamical gauge potentials

abstract: We show how one can generate domain walls that separate high- and low-density regions with opposite momenta in the ground state of a harmonically trapped Bose-Einstein condensate using a density-dependent gauge potential. Within a Gross-Pitaevskii framework, we elucidate the distinct roles of vector and scalar potentials and how they lead to synthetic electromagnetic fields that are localized at the domain wall. In particular, the kinetic energy cost of a steep density gradient is compensated by an electrostatic field that pushes particles away from a special value of density. We show numerically in one dimension that such a domain wall is more prominent for repulsive contact interactions, and becomes metastable at strong electric fields through a first-order phase transition that ends at a critical point as the field is reduced. Our findings build on recent experimental developments and may be realized with cold atoms in a shaken optical lattice, providing insights into collective phenomena arising from dynamical gauge fields.


title: Polaritonic Huang-Rhys Factor: Basic Concepts and Quantifying Light-Matter Interaction in Medium

abstract: Huang-Rhys (HR) factor, a dimensionless factor that characterizes electron-phonon coupling, has been extensively employed to investigate material properties in various fields. In the same spirit, we present a quantity called polaritonic HR factor to quantitatively describe the effects of (i) light-matter coupling induced by permanent dipoles and (ii) dipole self-energy. The former can be viewed as polaritonic displacements, while the latter is associated with the electronic coupling shift. In the framework of macroscopic quantum electrodynamics, the polaritonic HR factor, coupling shift, and modified light-matter coupling strength in an arbitrary dielectric environment can be evaluated without free parameters, whose magnitudes are in good agreement with the previous experimental results. In addition, polaritonic progression developed in our theory indicates that large polaritonic HR factors can result in light-matter decoupling, multipolariton formation, and non-radiative transition. We believe that this study provides a useful perspective to understand and quantify light-matter interaction in medium.


title: PointVST: Self-Supervised Pre-training for 3D Point Clouds via View-Specific Point-to-Image Translation

abstract: The past few years have witnessed the great success and prevalence of self-supervised representation learning within the language and 2D vision communities. However, such advancements have not been fully migrated to the field of 3D point cloud learning. Different from existing pre-training paradigms designed for deep point cloud feature extractors that fall into the scope of generative modeling or contrastive learning, this paper proposes a translative pre-training framework, namely PointVST, driven by a novel self-supervised pretext task of cross-modal translation from 3D point clouds to their corresponding diverse forms of 2D rendered images. More specifically, we begin with deducing view-conditioned point-wise embeddings through the insertion of the viewpoint indicator, and then adaptively aggregate a view-specific global codeword, which can be further fed into subsequent 2D convolutional translation heads for image generation. Extensive experimental evaluations on various downstream task scenarios demonstrate that our PointVST shows consistent and prominent performance superiority over current state-of-the-art approaches as well as satisfactory domain transfer capability. Our code will be publicly available at https://github.com/keeganhk/PointVST.


title: Load Balancer Tuning: Comparative Analysis of HAProxy Load Balancing Methods

abstract: Load balancing is prevalent in practical application (e.g., web) deployments seen today. One such load balancer, HAProxy, remains relevant as an open-source, easy-to-use system. In the context of web systems, the load balancer tier possesses significant influence over system performance and the incurred cost, which is decisive for cloud-based deployments. Therefore, it is imperative to properly tune the load balancer configuration and get the most performance out of the existing resources. In this technical report, we first introduce the HAProxy architecture and its load balancing methods. Then, we discuss fine-tuning parameters within this load balancer and examine their performances in face of various workload intensities. Our evaluation encompasses various types of web requests and homogeneous and heterogeneous back-ends. Lastly, based on the findings of this study, we present a set of best practices to optimally configure HAProxy.


title: Walking in Narrow Spaces: Safety-critical Locomotion Control for Quadrupedal Robots with Duality-based Optimization

abstract: This paper presents a safety-critical locomotion control framework for quadrupedal robots. Our goal is to enable quadrupedal robots to safely navigate in cluttered environments. To tackle this, we introduce exponential Discrete Control Barrier Functions (exponential DCBFs) with duality-based obstacle avoidance constraints into a Nonlinear Model Predictive Control (NMPC) with Whole-Body Control (WBC) framework for quadrupedal locomotion control. This enables us to use polytopes to describe the shapes of the robot and obstacles for collision avoidance while doing locomotion control of quadrupedal robots. Compared to most prior work, especially using CBFs, that utilize spherical and conservative approximation for obstacle avoidance, this work demonstrates a quadrupedal robot autonomously and safely navigating through very tight spaces in the real world. (Our open-source code is available at github.com/HybridRobotics/quadruped_nmpc_dcbf_duality, and the video is available at youtu.be/p1gSQjwXm1Q.)


title: Intersecting ellipses induced by a max-sum matching

abstract: For an even set of points in the plane, choose a max-sum matching, that is, a perfect matching maximizing the sum of Euclidean distances of its edges. For each edge of the max-sum matching, consider the ellipse with foci at the edge's endpoints and eccentricity $\sqrt 3 / 2$. Using an optimization approach, we prove that the convex sets bounded by these ellipses intersect, answering a Tverberg-type question of Andy Fingerhut from 1995.


title: QPanda: high-performance quantum computing framework for multiple application scenarios

abstract: With the birth of Noisy Intermediate Scale Quantum (NISQ) devices and the verification of "quantum supremacy" in random number sampling and boson sampling, more and more fields hope to use quantum computers to solve specific problems, such as aerodynamic design, route allocation, financial option prediction, quantum chemical simulation to find new materials, and the challenge of quantum cryptography to automotive industry security. However, these fields still need to constantly explore quantum algorithms that adapt to the current NISQ machine, so a quantum programming framework that can face multi-scenarios and application needs is required. Therefore, this paper proposes QPanda, an application scenario-oriented quantum programming framework with high-performance simulation. Such as designing quantum chemical simulation algorithms based on it to explore new materials, building a quantum machine learning framework to serve finance, etc. This framework implements high-performance simulation of quantum circuits, a configuration of the fusion processing backend of quantum computers and supercomputers, and compilation and optimization methods of quantum programs for NISQ machines. Finally, the experiment shows that quantum jobs can be executed with high fidelity on the quantum processor using quantum circuit compile and optimized interface and have better simulation performance.


title: Structure formation by electrostatic interactions in strongly coupled medium

abstract: The formation of correlated structures is of importance in many diverse contexts such as strongly coupled plasmas, soft matter, and even biological mediums. In all these contexts the dynamics are mainly governed by electrostatic interactions and result in the formation of a variety of structures. In this study, the process of formation of structures is investigated with the help of Molecular (MD) simulations in 2 and 3 dimensions. The overall medium has been modelled with an equal number of positive and negatively charged particles interacting via long-range pair Coulomb potential. A repulsive short-range Lennard-Jones (LJ) potential is added to take care of the blowing up of attractive Coulomb interaction between unlike charges. In the strongly coupled regime, a variety of classical bound states form. However, complete crystallization of the system, as typically observed in the context of one component strongly coupled plasmas, does not occur. The influence of localized perturbation in the system has also been studied. The formation of a crystalline pattern of shielding clouds around this disturbance is observed. The spatial properties of the shielding structure have been analyzed using the radial distribution function and Voronoi diagram. The process of accumulation of oppositely charged particles around the disturbance triggers a lot of dynamical activity in the bulk of the medium, wherein close encounters between widely separated particles occur. This leads to the formation of a larger number of bigger clusters. There are, however, also instances when bound pairs break up to provide the appropriate signed charge to the shielding cloud. A detailed discussion of these features has been provided in the manuscript.


title: Ultrafast switching dynamics of the ferroelectric order in stacking-engineered ferroelectrics

abstract: The recently discovered ferroelectricity of van der Waals bilayers offers an unconventional route to improve the performance of devices. Key parameters such as switching field and speed depend on the static and dynamic properties of domain walls (DWs). Here we theoretically explore the properties of textures in stacking-engineered ferroelectrics from first principles. Employing a machine-learning potential model, we present results of large-scale atomistic simulations of stacking DWs and Moir\'e structure of boron nitride bilayers. We predict that the competition between the switching barrier of stable ferroelectric states and the in-plane lattice distortion leads to a DW width of the order of ten nanometers. DWs motion reduces the critical ferroelectric switching field of a monodomain by two orders of magnitude, while high domain-wall velocities allow domain switching on a picosecond-timescale. The superior performance compared to conventional ferroelectrics (or ferromagnets) may enable ultrafast and power-saving non-volatile memories. By twisting the bilayer into a stacking Moir\'e structure, the ferroelectric transforms into a super-paraelectric since DWs move under ultralow electric fields.


title: Production of pions, kaons, and (anti-)protons in Au+Au collisions at $\sqrt{s_{NN}}$ = 54.4 GeV at RHIC

abstract: We report systematic measurements of bulk properties of the system created in Au+Au collisions at $\sqrt{s_{NN}}$ = 54.4 GeV recorded by the STAR detector at the Relativistic Heavy Ion Collider (RHIC). The transverse momentum spectra of $\pi^{\pm}$, $K^{\pm}$, and $p$($\bar{p}$) are studied at mid-rapidity $(\lvert y \rvert < 0.1)$ for different centrality classes. We also present mid-rapidity measurement of particle yields $(dN/dy)$ and particle ratios in Au+Au collisions at $\sqrt{s_{NN}}$ = 54.4 GeV. The kinetic freeze-out parameters ($T_{kin}$ and $\langle \beta \rangle$) are extracted from particle spectra using the blast-wave model, and all the results are compared with previously published experimental results.


title: Lecture Notes on Quantum Algorithms

abstract: The lecture notes contain three parts. The first part is Grover's Search Algorithm with modifications, generalizations, and applications. The second part is a discussion on the quantum fingerprinting technique. The third part is Quantum Walks (discrete time) algorithm with applications.


title: Maximizing Use-Case Specificity through Precision Model Tuning

abstract: Language models have become increasingly popular in recent years for tasks like information retrieval. As use-cases become oriented toward specific domains, fine-tuning becomes default for standard performance. To fine-tune these models for specific tasks and datasets, it is necessary to carefully tune the model's hyperparameters and training techniques. In this paper, we present an in-depth analysis of the performance of four transformer-based language models on the task of biomedical information retrieval. The models we consider are DeepMind's RETRO (7B parameters), GPT-J (6B parameters), GPT-3 (175B parameters), and BLOOM (176B parameters). We compare their performance on the basis of relevance, accuracy, and interpretability, using a large corpus of 480000 research papers on protein structure/function prediction as our dataset. Our findings suggest that smaller models, with <10B parameters and fine-tuned on domain-specific datasets, tend to outperform larger language models on highly specific questions in terms of accuracy, relevancy, and interpretability by a significant margin (+50% on average). However, larger models do provide generally better results on broader prompts.


title: Robust certification of unsharp instruments through sequential quantum advantages in a prepare-measure communication game

abstract: Communication games are one of the widely used tools that are designed to demonstrate quantum supremacy over classical resources. In that, two or more parties collaborate to perform an information processing task to achieve the highest success probability of winning the game. We propose a specific two-party communication game in the prepare-measure scenario that relies on an encoding-decoding task of specific information. We first demonstrate that quantum theory outperforms the classical preparation non-contextual theory, and the optimal quantum success probability of such a communication game enables the semi-device-independent certification of qubit states and measurements. Further, we consider the sequential sharing of quantum preparation contextuality and show that, at most, two sequential observers can share the quantum advantage. The sub-optimal quantum advantages for two sequential observers form an optimal pair that certifies a unique value of the unsharpness parameter of the first observer. Since the practical implementation inevitably introduces noise, we devised a scheme to demonstrate the robust certification of the states and unsharp measurement instruments of both the sequential observers.


title: A flexible short recurrence Krylov subspace method for matrices arising in the time integration of port Hamiltonian systems and ODEs/DAEs with a dissipative Hamiltonian

abstract: For several classes of mathematical models that yield linear systems, the splitting of the matrix into its Hermitian and skew Hermitian parts is naturally related to properties of the underlying model. This is particularly so for discretizations of dissipative Hamiltonian ODEs, DAEs and port Hamiltonian systems where, in addition, the Hermitian part is positive definite or semi-definite. It is then possible to develop short recurrence optimal Krylov subspace methods in which the Hermitian part is used as a preconditioner. In this paper we develop new, right preconditioned variants of this approach which as their crucial new feature allow the systems with the Hermitian part to be solved only approximately in each iteration while keeping the short recurrences. This new class of methods is particularly efficient as it allows, for example, to use few steps of a multigrid solver or a (preconditioned) CG method for the Hermitian part in each iteration. We illustrate this with several numerical experiments for large scale systems.


title: An Enhanced LiDAR-Inertial SLAM System for Robotics Localization and Mapping

abstract: The LiDAR and inertial sensors based localization and mapping are of great significance for Unmanned Ground Vehicle related applications. In this work, we have developed an improved LiDAR-inertial localization and mapping system for unmanned ground vehicles, which is appropriate for versatile search and rescue applications. Compared with existing LiDAR-based localization and mapping systems such as LOAM, we have two major contributions: the first is the improvement of the robustness of particle swarm filter-based LiDAR SLAM, while the second is the loop closure methods developed for global optimization to improve the localization accuracy of the whole system. We demonstrate by experiments that the accuracy and robustness of the LiDAR SLAM system are both improved. Finally, we have done systematic experimental tests at the Hong Kong science park as well as other indoor or outdoor real complicated testing circumstances, which demonstrates the effectiveness and efficiency of our approach. It is demonstrated that our system has high accuracy, robustness, as well as efficiency. Our system is of great importance to the localization and mapping of the unmanned ground vehicle in an unknown environment.


title: Linear analysis and crossphase dynamics in the $\nabla T_e$-driven CTEM fluid model

abstract: Collisionless trapped-electron mode (CTEM) turbulence is an important contributor to heat and particle transport in fusion devices. The ITG/TEM fluid models are rarely treated analytically, due to the large number of transport channels involved, e.g. particle and ion/electron heat transport. The $\nabla T_e$-driven CTEM fluid model [Anderson et al, Plasma Phys. Control. Fusion 48, 651 (2006)] provides a simplified model, in the regime where the density gradient drive is negligeable compared to the electron temperature gradient drive ($\nabla T_e$). This provides an interesting model to study mechanisms associated to linear waves, such as crossphase dynamics, and its possible role in the formation of $E\times B$ staircase. Here, the $\nabla T_e$-driven CTEM fluid model is rigourously derived from the more general ITG/TEM model, and its linear dynamics is first analyzed and compared with CTEM gyrokinetic simulations with bounce-averaged kinetic electrons, while nonlinear analysis is left for future work. Comparisons of linear ITG spectrum are also made with other analytical models.


title: The flavor transition process $b\rightarrow s\gamma$ in the $U(1)_X$SSM with the mass insertion approximation

abstract: People extend the MSSM with the local gauge group $U(1)_X$ to obtain the $U(1)_X$SSM. In the framework of the $U(1)_X$SSM, we study the flavor transition process $b\rightarrow{s\gamma}$ with the mass insertion approximation (MIA). By the MIA method and some reasonable parameter assumptions, we can intuitively find the parameters that have obvious effect on the analytic results of the flavor transition process $b\rightarrow{s\gamma}$. By means of the influences of different sensitive parameters, we can obtain reasonable results to better fit the experimental data.


title: KAM Theorems for Multi-scale Torus

abstract: In present paper, from the viewpoint of physical intuition we introduce a Hamiltonian system with multiscale rotation, which describes many systems, for example, the forced pendulum with fast rotation, weakly coupled $N$-oscillators with quasiperiodic force and so on. We study the persistence of invariant tori for this Hamiltonian system, and establish some KAM type results including the isoenergetic type. As consequences, we can show that Boltzmann's ergodicity hypothesis is also not true for this Hamiltonian system.


title: Visual observation of optical Floquet-Bloch oscillations

abstract: Bloch oscillations, an important transport phenomenon, have extensively been studied in static systems but remain largely unexplored in Floquet systems. Here, we propose a new type of Bloch oscillations, namely the "Floquet-Bloch oscillations," which refer to rescaled Bloch oscillations with a period of extended least common multiple of the modulation and Bloch periods. We report the first visual observation of such Floquet-Bloch oscillations in femtosecond-laser-written waveguide arrays by using waveguide fluorescence microscopy. These Floquet-Bloch oscillations exhibit exotic properties, such as fractal spectrum and fractional Floquet tunneling. This new transport mechanism offers an intriguing method of wave manipulation, which has significant applications in coherent quantum transport.


title: Backward Curriculum Reinforcement Learning

abstract: Current reinforcement learning algorithms train an agent using forward-generated trajectories, which provide little guidance so that the agent can explore as much as possible. While realizing the value of reinforcement learning results from sufficient exploration, this approach leads to a trade-off in losing sample efficiency, an essential factor impacting algorithm performance. Previous tasks use reward-shaping techniques and network structure modification to increase sample efficiency. However, these methods require many steps to implement. In this work, we propose novel backward curriculum reinforcement learning that begins training the agent using the backward trajectory of the episode instead of the original forward trajectory. This approach provides the agent with a strong reward signal, enabling more sample-efficient learning. Moreover, our method only requires a minor change in the algorithm of reversing the order of the trajectory before agent training, allowing a straightforward application to any state-of-the-art algorithm.


title: Local Learning on Transformers via Feature Reconstruction

abstract: Transformers are becoming increasingly popular due to their superior performance over conventional convolutional neural networks(CNNs). However, transformers usually require a much larger amount of memory to train than CNNs, which prevents their application in many low resource settings. Local learning, which divides the network into several distinct modules and trains them individually, is a promising alternative to the end-to-end (E2E) training approach to reduce the amount of memory for training and to increase parallelism. This paper is the first to apply Local Learning on transformers for this purpose. The standard CNN-based local learning method, InfoPro [32], reconstructs the input images for each module in a CNN. However, reconstructing the entire image does not generalize well. In this paper, we propose a new mechanism for each local module, where instead of reconstructing the entire image, we reconstruct its input features, generated from previous modules. We evaluate our approach on 4 commonly used datasets and 3 commonly used decoder structures on Swin-Tiny. The experiments show that our approach outperforms InfoPro-Transformer, the InfoPro with Transfomer backbone we introduced, by at up to 0.58% on CIFAR-10, CIFAR-100, STL-10 and SVHN datasets, while using up to 12% less memory. Compared to the E2E approach, we require 36% less GPU memory when the network is divided into 2 modules and 45% less GPU memory when the network is divided into 4 modules.


title: Failure of scattering for the NLSE with a point interaction in dimension two and three

abstract: In this paper we consider the NLS equation with power nonlinearity and a point interaction (a "$\delta$-potential" in the physical literature) in dimension two and three. We will show that for low power nonlinearities there is failure of scattering to the free dynamics or to standing waves. In the recent paper Murphy and Nakanishi consider the NLS equation with potentials and measures, singular enough to include the $\delta$-potential in dimension one and they show analogous properties. In this respect our contribution is an extension to higher dimension and it needs a different treatment of the linear part of the interaction, due the qualitatively different and stronger character of the singularity involved.


title: Extension of local positive definite $\mathbb{Z}_{2}^{n}$-superfunctions

abstract: By defining a concept of boundedness for $ \mathbb{Z}_2^n $-superfunction, we show that each local positive definite $ \mathbb{Z}_2^n $-superfunctions, which is bounded in some sense, on a $ \mathbb{Z}_2^n $-Lie supergroup has a positive definite extension to all of the $\mathbb{Z}_{2}^{n}$-Lie supergroup.


title: Weakly extendible cardinals and compactness of extended logics

abstract: We introduce the notion of weakly extendible cardinals and show that these cardinals are characterized in terms of weak compactness of second order logic. The consistency strength and largeness of weakly extendible cardinals are located strictly between that of strongly unfoldable (i.e. shrewd) cardinals, and strongly uplifting cardinals. Weak compactness of many other logics can be connected to certain variants of the notion of weakly extendible cardinals. We also show that, under V=L, a cardinal $\kappa$ is the weak compactness number of ${\cal L}^{\aleph_0,II}_{stat,\kappa,\omega}$ if and only if it is the weak compactness number of ${\cal L}^{II}_{\kappa,\omega}$. The latter condition is equivalent to the condition that $\kappa$ is weakly extendible by the characterization mentioned above (this equivalence holds without the assumption of V=L).


title: A statistical analysis approach of plasma dynamics in gyrokinetic simulations of stellarator turbulence

abstract: A geometrical method is used for the analysis of stochastic processes in plasma turbulence. Distances between thermodynamic states can be computed according the thermodynamic length methodology which allows the use of a Riemannian metric on the phase space. A geometric methodology is suitable in order to understand stochastic processes involved in e.g. order-disorder transition, where a sudden increase in distance is expected. Gyrokinetic simulations of Ion-Temperature-Gradient (ITG) mode driven turbulence in the core-region of the stellarator W7-X, with realistic quasi-isodynamic topologies are considered. In gyrokinetic plasma turbulence simulations avalanches, e.g. of heat and particles, are often found and in this work a novel method for detection is investigated. This new method combines the Singular Spectrum Analysis algorithm and Hierarchical Clustering such that the gyrokinetic simulation time series is decomposed into a part of useful physical information and noise. The informative component of the time series is used for the calculation of the Hurst exponent, the Information Length and the Dynamic Time. Based on these measures the physical properties of the time series is revealed.


title: Graph Searching with Predictions

abstract: Consider an agent exploring an unknown graph in search of some goal state. As it walks around the graph, it learns the nodes and their neighbors. The agent only knows where the goal state is when it reaches it. How do we reach this goal while moving only a small distance? This problem seems hopeless, even on trees of bounded degree, unless we give the agent some help. This setting with ''help'' often arises in exploring large search spaces (e.g., huge game trees) where we assume access to some score/quality function for each node, which we use to guide us towards the goal. In our case, we assume the help comes in the form of distance predictions: each node $v$ provides a prediction $f(v)$ of its distance to the goal vertex. Naturally if these predictions are correct, we can reach the goal along a shortest path. What if the predictions are unreliable and some of them are erroneous? Can we get an algorithm whose performance relates to the error of the predictions? In this work, we consider the problem on trees and give deterministic algorithms whose total movement cost is only $O(OPT + \Delta \cdot ERR)$, where $OPT$ is the distance from the start to the goal vertex, $\Delta$ the maximum degree, and the $ERR$ is the total number of vertices whose predictions are erroneous. We show this guarantee is optimal. We then consider a ''planning'' version of the problem where the graph and predictions are known at the beginning, so the agent can use this global information to devise a search strategy of low cost. For this planning version, we go beyond trees and give an algorithms which gets good performance on (weighted) graphs with bounded doubling dimension.


title: Enhanced coercivity and emergence of spin cluster glass state in 2D ferromagnetic material Fe3GeTe2

abstract: Two-dimensional (2D) van der Waals (vdW) magnetic materials with high coercivity and high $T_\text{C}$ are desired for spintronics and memory storage applications. Fe$_3$GeTe$_2$ (F3GT) is one such 2D vdW ferromagnet with a reasonably high $T_\text{C}$, but with a very low coercive field, $H_\text{c}$ ($\lesssim$100~Oe). Some of the common techniques of enhancing $H_\text{c}$ are by introducing pinning centers, defects, stress, doping, etc. They involve the risk of undesirable alteration of other important magnetic properties. Here we propose a very easy, robust, and highly effective method of phase engineering by altering the sample growth conditions to greatly enhance the intrinsic coercivity (7-10 times) of the sample, without compromising its fundamental magnetic properties ($T_\text{C}\simeq$210K). The phase-engineered sample (F3GT-2) comprises of parent F3GT phase with a small percentage of randomly embedded clusters of a coplanar FeTe (FT) phase. The FT phase serves as both mosaic pinning centers between grains of F3GT above its antiferromagnetic transition temperature ($T_\text{C1}\sim$70~K) and also as anti-phase domains below $T_\text{C1}$. As a result, the grain boundary disorder and metastable nature are greatly augmented, leading to highly enhanced coercivity, cluster spin glass, and meta-magnetic behavior. The enhanced coercivity ($\simeq$1~kOe) makes F3GT-2 much more useful for memory storage applications and is likely to elucidate a new route to tune useful magnetic properties. Moreover, this method is much more convenient than hetero-structure and other cumbersome techniques.


title: Fractured Meshes

abstract: This work introduces ``generalized meshes", a type of meshes suited for the discretization of partial differential equations in non-regular geometries. Generalized meshes extend regular simplicial meshes by allowing for overlapping elements and more flexible adjacency relations. They can have several distinct ``generalized" vertices (or edges, faces) that occupy the same geometric position. These generalized facets are the natural degrees of freedom for classical conforming spaces of discrete differential forms appearing in finite and boundary element applications. Special attention is devoted to the representation of fractured domains and their boundaries. An algorithm is proposed to construct the so-called {\em virtually inflated mesh}, which correspond to a ``two-sided" mesh of a fracture. Discrete $d$-differential forms on the virtually inflated mesh are characterized as the trace space of discrete $d$-differential forms in the surrounding volume.


title: Global quantum phase diagram and non-Abelian chiral spin liquid in a spin-3/2 square lattice antiferromagnet

abstract: Since strong quantum fluctuations are essential for the emergence of quantum spin liquids, there have been extensive exploration and identification of spin liquid candidates in spin-$1/2$ systems, while such activities are rare in higher spin systems. Here we report an example of non-Abelian chiral spin liquid emerging in spin-$3/2$ Heisenberg model on a square lattice. By tuning Heisenberg exchange interaction and scalar chirality interaction, we map out a quantum phase diagram enclosing three conventional magnetic orders and a chiral spin liquid based on density matrix renormalization group studies. The nature of the spin liquid is identified as a long-sought bosonic version of Read-Rezayi state that supports non-Abelian Fibonacci anyonic statistics, identified by the ground state entanglement spectrum. Significantly, we establish that the non-Abelian CSL emerges through the enlarged local degrees of freedom and enhanced quantum fluctuations near the classical phase boundaries of competing magnetic orders. Our numerical discovery of an exotic quantum spin liquid in spin-$3/2$ system suggests a new route for discovering fractionalized quantum phases in frustrated higher spin magnetic compounds.


title: Dissipation-based WENO stabilization of high-order finite element methods for scalar conservation laws

abstract: We present a new perspective on the use of weighted essentially nonoscillatory (WENO) reconstructions in high-order methods for scalar hyperbolic conservation laws. The main focus of this work is on nonlinear stabilization of continuous Galerkin (CG) approximations. The proposed methodology also provides an interesting alternative to WENO-based limiters for discontinuous Galerkin (DG) methods. Unlike Runge--Kutta DG schemes that overwrite finite element solutions with WENO reconstructions, our approach uses a reconstruction-based smoothness sensor to blend the numerical viscosity operators of high- and low-order stabilization terms. The so-defined WENO approximation introduces low-order nonlinear diffusion in the vicinity of shocks, while preserving the high-order accuracy of a linearly stable baseline discretization in regions where the exact solution is sufficiently smooth. The underlying reconstruction procedure performs Hermite interpolation on stencils consisting of a mesh cell and its neighbors. The amount of numerical dissipation depends on the relative differences between partial derivatives of reconstructed candidate polynomials and those of the underlying finite element approximation. All derivatives are taken into account by the employed smoothness sensor. To assess the accuracy of our CG-WENO scheme, we derive error estimates and perform numerical experiments. In particular, we prove that the consistency error of the nonlinear stabilization is of the order $p+1/2$, where $p$ is the polynomial degree. This estimate is optimal for general meshes. For uniform meshes and smooth exact solutions, the experimentally observed rate of convergence is as high as $p+1$.


title: Symplectic self-orthogonal quasi-cyclic codes

abstract: In this paper, we obtain sufficient and necessary conditions for quasi-cyclic codes with index even to be symplectic self-orthogonal. Then, we propose a method for constructing symplectic self-orthogonal quasi-cyclic codes, which allows arbitrary polynomials that coprime $x^{n}-1$ to construct symplectic self-orthogonal codes. Moreover, by decomposing the space of quasi-cyclic codes, we provide lower and upper bounds on the minimum symplectic distances of a class of 1-generator quasi-cyclic codes and their symplectic dual codes. Finally, we construct many binary symplectic self-orthogonal codes with excellent parameters, corresponding to 117 record-breaking quantum codes, improving Grassl's table (Bounds on the Minimum Distance of Quantum Codes. http://www.codetables.de).


title: Activity-assisted barrier-crossing of self-propelled colloids over parallel microgrooves

abstract: We report a systematic study of the dynamics of self-propelled particles (SPPs) over a one-dimensional periodic potential landscape, which is fabricated on a microgroove-patterned polydimethylsiloxane (PDMS) substrate. From the measured non-equilibrium probability density function of the SPPs, we find that the escape dynamics of the slow-rotating SPPs across the potential landscape can be described by an effective potential, once the self-propulsion force is included into the potential under the fixed angle approximation. This work demonstrates that the parallel microgrooves provide a versatile platform for a quantitative understanding of the interplay among the self-propulsion force, spatial confinement by the potential landscape, and thermal noise, as well as its effects on activity-assisted escape dynamics and transport of the SPPs.


title: StyleTTS-VC: One-Shot Voice Conversion by Knowledge Transfer from Style-Based TTS Models

abstract: One-shot voice conversion (VC) aims to convert speech from any source speaker to an arbitrary target speaker with only a few seconds of reference speech from the target speaker. This relies heavily on disentangling the speaker's identity and speech content, a task that still remains challenging. Here, we propose a novel approach to learning disentangled speech representation by transfer learning from style-based text-to-speech (TTS) models. With cycle consistent and adversarial training, the style-based TTS models can perform transcription-guided one-shot VC with high fidelity and similarity. By learning an additional mel-spectrogram encoder through a teacher-student knowledge transfer and novel data augmentation scheme, our approach results in disentangled speech representation without needing the input text. The subjective evaluation shows that our approach can significantly outperform the previous state-of-the-art one-shot voice conversion models in both naturalness and similarity.


title: Unpredictability and basin entropy

abstract: The basin entropy is a simple idea that aims to measure the the final state unpredictability of multistable systems. Since 2016, the basin entropy has been widely used in different contexts of physics, from cold atoms to galactic dynamics. Furthermore, it has provided a natural framework to study basins of attraction in nonlinear dynamics and new criteria for the detection of fractal boundaries. In this article, we describe the concept as well as fundamental applications. In addition, we provide our perspective on the future challenges of applying the basin entropy idea to understanding complex systems.


title: Condensed Representation of Machine Learning Data

abstract: Training of a Machine Learning model requires sufficient data. The sufficiency of the data is not always about the quantity, but about the relevancy and reduced redundancy. Data-generating processes create massive amounts of data. When used raw, such big data is causing much computational resource utilization. Instead of using the raw data, a proper Condensed Representation can be used instead. Combining K-means, a well-known clustering method, with some correction and refinement facilities a novel Condensed Representation method for Machine Learning applications is introduced. To present the novel method meaningfully and visually, synthetically generated data is employed. It has been shown that by using the condensed representation, instead of the raw data, acceptably accurate model training is possible.


title: Exploring Depth Information for Face Manipulation Detection

abstract: Face manipulation detection has been receiving a lot of attention for the reliability and security of the face images. Recent studies focus on using auxiliary information or prior knowledge to capture robust manipulation traces, which are shown to be promising. As one of the important face features, the face depth map, which has shown to be effective in other areas such as the face recognition or face detection, is unfortunately paid little attention to in literature for detecting the manipulated face images. In this paper, we explore the possibility of incorporating the face depth map as auxiliary information to tackle the problem of face manipulation detection in real world applications. To this end, we first propose a Face Depth Map Transformer (FDMT) to estimate the face depth map patch by patch from a RGB face image, which is able to capture the local depth anomaly created due to manipulation. The estimated face depth map is then considered as auxiliary information to be integrated with the backbone features using a Multi-head Depth Attention (MDA) mechanism that is newly designed. Various experiments demonstrate the advantage of our proposed method for face manipulation detection.


title: Small-x resummation in PDF fits and future prospects

abstract: I review recent progress in the determination of PDFs with the inclusion of small-x resummation, and its impact in precision phenomenology, and discuss future prospects.


title: GPTR: Gestalt-Perception Transformer for Diagram Object Detection

abstract: Diagram object detection is the key basis of practical applications such as textbook question answering. Because the diagram mainly consists of simple lines and color blocks, its visual features are sparser than those of natural images. In addition, diagrams usually express diverse knowledge, in which there are many low-frequency object categories in diagrams. These lead to the fact that traditional data-driven detection model is not suitable for diagrams. In this work, we propose a gestalt-perception transformer model for diagram object detection, which is based on an encoder-decoder architecture. Gestalt perception contains a series of laws to explain human perception, that the human visual system tends to perceive patches in an image that are similar, close or connected without abrupt directional changes as a perceptual whole object. Inspired by these thoughts, we build a gestalt-perception graph in transformer encoder, which is composed of diagram patches as nodes and the relationships between patches as edges. This graph aims to group these patches into objects via laws of similarity, proximity, and smoothness implied in these edges, so that the meaningful objects can be effectively detected. The experimental results demonstrate that the proposed GPTR achieves the best results in the diagram object detection task. Our model also obtains comparable results over the competitors in natural image object detection.


title: Types of embedded graphs and their Tutte polynomials

abstract: We take an elementary and systematic approach to the problem of extending the Tutte polynomial to the setting of embedded graphs. Four notions of embedded graphs arise naturally when considering deletion and contraction operations on graphs on surfaces. We give a description of each class in terms of coloured ribbon graphs. We then identify a universal deletion-contraction invariant (i.e., a `Tutte polynomial') for each class. We relate these to graph polynomials in the literature, including the Bollob\'as--Riordan, Krushkal, and Las Vergnas polynomials, and give state-sum formulations, duality relations, deleton-contraction relations, and quasi-tree expansions for each of them.


title: Multi-Agent Deep Reinforcement Learning Based Resource Management in SWIPT Enabled Cellular Networks with H2H/M2M Co-Existence

abstract: Machine-to-Machine (M2M) communication is crucial in developing Internet of Things (IoT). As it is well known that cellular networks have been considered as the primary infrastructure for M2M communications, there are several key issues to be addressed in order to deploy M2M communications over cellular networks. Notably, the rapid growth of M2M traffic dramatically increases energy consumption, as well as degrades the performance of existing Human-to-Human (H2H) traffic. Sustainable operation technology and resource management are efficacious ways for solving these issues. In this paper, we investigate a resource management problem in cellular networks with H2H/M2M coexistence. First, considering the energy-constrained nature of machine type communication devices (MTCDs), we propose a novel network model enabled by simultaneous wireless information and power transfer (SWIPT), which empowers MTCDs with the ability to simultaneously perform energy harvesting (EH) and information decoding. Given the diverse characteristics of IoT devices, we subdivide MTCDs into critical and tolerable types, further formulating the resource management problem as an energy efficiency (EE) maximization problem under divers Quality-of-Service (QoS) constraints. Then, we develop a multi-agent deep reinforcement learning (DRL) based scheme to solve this problem. It provides optimal spectrum, transmit power and power splitting (PS) ratio allocation policies, along with efficient model training under designed behaviour-tracking based state space and common reward function. Finally, we verify that with a reasonable training mechanism, multiple M2M agents successfully work cooperatively in a distributed way, resulting in network performance that outperforms other intelligence approaches in terms of convergence speed and meeting the EE and QoS requirements.


title: Rational design of large anomalous Nernst effect in Dirac semimetals

abstract: Anomalous Nernst effect generates a transverse voltage perpendicular to the temperature gradient. It has several advantages compared with the longitudinal thermoelectricity for energy conversion, such as decoupling of electronic and thermal transports, higher flexibility, and simpler lateral structure. However, a design principle beyond specific materials systems for obtaining a large anomalous Nernst conductivity (ANC) is still absent. In this work, we theoretically demonstrate that a pair of Dirac nodes under a Zeeman field manifests a double-peak anomalous Hall conductivity curve with respect to the chemical potential and a compensated carriers feature, leading to an enhanced ANC pinning at the Fermi level compared with that of a simple Weyl semimetal with two Weyl nodes. Based on first-principles calculations, we then provide two Dirac semimetal candidates, i.e., Na3Bi and NaTeAu, and show that under a Zeeman field they exhibit a sizable ANC value of 0.4 A/(m*K) and 1.3 A/(m*K), respectively, near the Fermi level. Our work provides a design principle with a prototype band structure for enhanced ANC pinning at Fermi level, shedding light on the inverse design of other specific functional materials base on electronic structure.


title: Imaging a moving point source from multi-frequency data measured at one and sparse observation directions (part I): far-field case

abstract: We propose a multi-frequency algorithm for imaging the trajectory of a moving point source from one and sparse far-field observation directions in the frequency domain. The starting and terminal time points of the moving source are both supposed to be known. We introduce the concept of observable directions (angles) in the far-field region and derive all observable directions (angles) for straight and circular motions. At an observable direction, it is verified that the smallest trip containing the trajectory and perpendicular to the direction can be imaged, provided the orbit function possesses a certain monotonical property. Without the monotonicity one can only expect to recover a thinner strip. The far-field data measured at sparse observable directions can be used to recover the $\Theta$-convex domain of the trajectory. Both two- and three-dimensional numerical examples are implemented to show effectiveness and feasibility of the approach.


title: Unique Continuation Problem on RCD Spaces. I

abstract: In this note we establish the weak unique continuation theorem for caloric functions on compact $RCD(K,2)$ spaces and show that there exists an $RCD(K,4)$ space on which there exist non-trivial eigenfunctions of the Laplacian and non-stationary solutions of the heat equation which vanish up to infinite order at one point. We also establish frequency estimates for eigenfunctions and caloric functions on the metric horn. In particular, this gives a strong unique continuation type result on the metric horn for harmonic functions with a high rate of decay at the horn tip, where it is known that the standard strong unique continuation property fails.


title: A Digital Twin-based Smart Home: A Proof of Concept Study

abstract: A Digital Twin is a virtual system that can fully describe a physical one. It constantly receives data from its counterpart's sensors, consults external sources, and obtains manual inputs from its stakeholders. The DT uses all this information to make various computations, such as analyses, predictions, and simulations, and then possibly sends the results back to the physical system. Domotics, or Smart Home Technologies, brings intelligence and comfort to a house by automating some of its functions. Although the research on both themes is vast, there are few implementations of Smart Homes based on Digital Twin technologies, and this work aims to prove that residences can also benefit from this concept. We implement two different use cases showing that a two-way connection between a home and its virtual counterpart can provide its owners with analyses and simulation-based automation. The first study case allows the user to visualize their home appliances' past and present state concerning their energy consumption. Based on heating simulations, the second determines the best time to turn on a heater to increase the home's thermal comfort and reduce energy usage.


title: Green's relations and unit-regularity for semigroup of transformations whose characters are bijective

abstract: Let $X$ be a nonempty set and $\mathcal{P}=\{X_i\colon i\in I\}$ be a partition of $X$. Denote by $T(X, \mathcal{P})$ the semigroup of all transformations of $X$ that preserve $\mathcal{P}$. In this paper, we study the semigroup $\mathcal{B}(X,\mathcal{P})$ of all transformations $f\in T(X, \mathcal{P})$ such that $\chi^{(f)}\in {\rm Sym}(I)$, where ${\rm Sym}(I)$ is the symmetric group on $I$ and $\chi^{(f)}\colon I \to I$ is the character (map) of $f$ defined by $i\chi^{(f)}=j$ whenever $X_if\subseteq X_j$. We describe unit-regular elements in $\mathcal{B}(X,\mathcal{P})$, and determine when $\mathcal{B}(X,\mathcal{P})$ is a unit-regular semigroup. We alternatively prove that $\mathcal{B}(X,\mathcal{P})$ is a regular semigroup. We describe Green's relations on $\mathcal{B}(X,\mathcal{P})$, and prove that $\mathcal{D} = \mathcal{J}$ on $\mathcal{B}(X,\mathcal{P})$ when $\mathcal{P}$ is finite. We also give a necessary and sufficient condition for $\mathcal{D} = \mathcal{J}$ on $\mathcal{B}(X,\mathcal{P})$. We end the paper with a conjecture.


title: Forcing over choiceless models and generic absoluteness

abstract: We develop a toolbox for forcing over arbitrary models of set theory without the axiom of choice. In particular, we introduce a variant of the countable chain condition and prove an iteration theorem that applies to many classical forcings such as Cohen forcing and random algebras. Our approach sidesteps the problem that forcing with the countable chain condition can collapse $\omega_1$ by a recent result of Karagila and Schweber. Using this, we show that adding many Cohen reals and random reals leads to different theories. This result is due to Woodin. Thus one can always change the theory of the universe by forcing, just like the continuum hypothesis and its negation can be obtained by forcing over arbitrary models with choice. We further study principles stipulating that the first-order theory of the universe remains the same in all generic extension by a fixed class of forcings. Extending a result of Woodin, we show that even for very restricted classes such as the class of all finite support products of Cohen forcing or the class of all random algebras, this principle implies that all infinite cardinals have countable cofinality.


title: Doppler Spoofing in OFDM Wireless Communication Systems

abstract: In this paper we present a method that prevents an unauthorized receiver (URx) from correctly estimating the Doppler shift present in an orthogonal frequency division multiplexing (OFDM) wireless signal. To prevent this estimation we propose to insert an artificial frequency variation in the transmitted signal that mimics a transmitter (Tx) movement with a spoofed/fake speed. This spoofed Doppler shift does not affect data demodulation since it can be compensated at the legitimate receiver (LRx). We evaluate our method for its efficacy through simulations and we show that it offers a reliable way to protect one key element of the privacy of a wireless source, namely the speed of the transmitter.


title: Absolute frequency measurement of a Yb optical clock at the limit of the Cs fountain

abstract: We present the new absolute frequency measurement of ytterbium (171Yb) obtained at INRiM with the optical lattice clock IT-Yb1 against the cryogenic caesium (133Cs) fountain IT-CsF2, evaluated through a measurement campaign that lasted 14 months. Measurements are performed by either using a hydrogen maser as a transfer oscillator or by synthesizing a low-noise microwave for Cs interrogation using an optical frequency comb. The frequency of the 171Yb unperturbed clock transition 1S0 - 3P0 results to be 518 295 836 590 863.44(14) Hz, with a total fractional uncertainty of 2.7e-16 that is limited by the uncertainty of IT-CsF2. Our measurement is in agreement with the Yb frequency recommended by the Consultative Committee for Time and Frequency (CCTF). This result confirms the reliability of Yb as a secondary representation of the second and is relevant to the process of redefining the second in the International System of Units (SI) on an optical transition


title: On an analytical method for the satellite problem revisited

abstract: An analytical method for solving the problem of the satellite around the oblated Earth is discussed. Such a method goes back to Dirk Brouwer (1959) and seems to be still widely used in real applications. We reformulate in a more concise way the core of the method which is essentially based on a technique of compositions of power series. In this way we derive some general formulas which cover, all at once, all the cases treated in the original paper and allow to compute some terms which were omitted there. We also show some simple computation we performed to test the formulas.


title: The Gaussian free-field as a stream function: asymptotics of effective diffusivity in infra-red cut-off

abstract: We analyze the large-time asymptotics of a passive tracer with drift equal to the curl of the Gaussian free field in two dimensions with ultra-violet cut-off at scale unity. We prove that the mean-squared displacement scales like $t \sqrt{\ln t}$, as predicted in the physics literature and recently almost proved by the work of Cannizzaro, Haunschmidt-Sibitz, and Toninelli (2022), which uses mathematical-physics type analysis in Fock space. Our approach involves studying the effective diffusivity $\lambda_{L}$ of the process with an infra-red cut-off at scale $L$, and is based on techniques from stochastic homogenization.


title: Practical Exposure Correction: Great Truths Are Always Simple

abstract: Improving the visual quality of the given degraded observation by correcting exposure level is a fundamental task in the computer vision community. Existing works commonly lack adaptability towards unknown scenes because of the data-driven patterns (deep networks) and limited regularization (traditional optimization), and they usually need time-consuming inference. These two points heavily limit their practicability. In this paper, we establish a Practical Exposure Corrector (PEC) that assembles the characteristics of efficiency and performance. To be concrete, we rethink the exposure correction to provide a linear solution with exposure-sensitive compensation. Around generating the compensation, we introduce an exposure adversarial function as the key engine to fully extract valuable information from the observation. By applying the defined function, we construct a segmented shrinkage iterative scheme to generate the desired compensation. Its shrinkage nature supplies powerful support for algorithmic stability and robustness. Extensive experimental evaluations fully reveal the superiority of our proposed PEC. The code is available at https://rsliu.tech/PEC.


title: Robust representations of oil wells' intervals via sparse attention mechanism

abstract: Transformer-based neural network architectures achieve state-of-the-art results in different domains, from natural language processing (NLP) to computer vision (CV). The key idea of Transformers, the attention mechanism, has already led to significant breakthroughs in many areas. The attention has found their implementation for time series data as well. However, due to the quadratic complexity of the attention calculation regarding input sequence length, the application of Transformers is limited by high resource demands. Moreover, their modifications for industrial time series need to be robust to missing or noised values, which complicates the expansion of the horizon of their application. To cope with these issues, we introduce the class of efficient Transformers named Regularized Transformers (Reguformers). We implement the regularization technique inspired by the dropout ideas to improve robustness and reduce computational expenses. The focus in our experiments is on oil&gas data, namely, well logs, a prominent example of multivariate time series. The goal is to solve the problems of similarity and representation learning for them. To evaluate our models for such problems, we work with an industry-scale open dataset consisting of well logs of more than 20 wells. The experiments show that all variations of Reguformers outperform the previously developed RNNs, classical Transformer model, and robust modifications of it like Informer and Performer in terms of well-intervals' classification and the quality of the obtained well-intervals' representations. Moreover, the sustainability to missing and incorrect data in our models exceeds that of others by a significant margin. The best result that the Reguformer achieves on well-interval similarity task is the mean PR~AUC score equal to 0.983, which is comparable to the classical Transformer and outperforms the previous models.


title: Fibonacci and Lucas numbers as products of three repdigits in base $g$

abstract: Recall that repdigit in base $g$ is a positive integer that has only one digit in its base $g$ expansion, i.e. a number of the form $a(g^m-1)/(g-1)$, for some positive integers $m\geq 1$, $g\geq 2$ and $1\leq a\leq g-1$. In the present study we investigate all Fibonacci or Lucas numbers which are expressed as products of three repdigits in base $g$. As illustration, we consider the case $g=10$ where we show that the numbers 144 and 18 are the largest Fibonacci and Lucas numbers which can be expressible as products of three repdigits respectively. All this can be done using linear forms in logarithms of algebraic numbers.


title: Mid-infrared spectra of the shocked Murchison CM chondrite: Comparison with astronomical observations of dust in debris disks

abstract: We present laboratory mid-infrared transmission/absorption spectra obtained from matrix of the hydrated Murchison CM meteorite experimentally shocked at peak pressures of 10 to 49 GPa, and compare them to astronomical observations of circumstellar dust in different stages of the formation of planetary systems. The laboratory spectra of the Murchison samples exhibit characteristic changes in the infrared features. A weakly shocked sample (shocked at 10 GPa) shows almost no changes from the unshocked sample dominated by hydrous silicate (serpentine). Moderately shocked samples (21 to 34 GPa) have typical serpentine features gradually replaced by bands of amorphous material and olivine with increasing shock pressure. A strongly shocked sample (36 GPa) shows major changes due to decomposition of the serpentine and due to devolatilization. A shock melted sample (49 GPa) shows features of olivine recrystallized from melted material. The spectra of highly shocked Murchison samples (36 and 49 GPa) are similar to those of dust in the debris disks of HD113766 and HD69830, and the transitional disk of HD100546. The moderately shocked samples (21 to 34 GPa) exhibit spectra similar to those of dust in the debris disks of Beta Pictoris and BD+20307, and the transitional disk of GM Aur. An average of the spectra of all Murchison samples (0 to 49 GPa) has a similarity to the spectrum of the older protoplanetary disk of SU Auriga. In the gas-rich transitional and protoplanetary disks, the abundances of amorphous silicates and gases have widely been considered to be a primary property. However, our study suggests that impact processing may play a significant role in generating secondary amorphous silicates and gases in those disks. Infrared spectra of the shocked Murchison samples are also suggesting that the comets also contain shocked Murchison-like material.


title: Momentum-Resolved Sum-Frequency Vibrational Spectroscopy of Bonded Interface Layer at Charged Water Interfaces

abstract: Interface-specific hydrogen- (H-)bonding network of water next to a substrate (including air) directly controls the energy transfer and chemical reaction pathway at many charged aqueous interfaces. Yet, experimental characterization of such bonded water layer structure is still a challenge due to the presence of the ion diffuse layer. We now develop a sum-frequency (SF) spectroscopic scheme with varying photon momentums as an all-optic solution for retrieving the vibrational spectra of the bonded water layer and the diffuse layer, and hence microscopic structural and charging information about an interface. Application of the method to a charged surfactant-water interface reveals a hidden weakly-donor-H-bonded water species, suggesting an asymmetric hydration-shell structure of fully solvated surfactant headgroups. In another application to a zwitterionic phosphatidylcholine (PC) lipid monolayer-water interface, we find a highly polarized bonded water layer structure associating to the PC headgroup, while the diffuse layer contribution is experimentally proven to be negligible. Our all-optic method offers not only an in situ microscopic probe of the electrochemical and biological interfaces, but also a new opportunity for promoting these researches toward high spatial and temporal resolutions.


title: Scheduling of Software-Defined Microgrids for Optimal Frequency Regulation

abstract: Integrated with a high share of Inverter-Based Resources (IBRs), microgrids face increasing complexity of frequency dynamics, especially after unintentional islanding from the maingrid. These IBRs, on the other hand, provide more control flexibility to shape the frequency dynamics of microgrid and together with advanced communication infrastructure offer new opportunities in the future software-defined microgrids. To enhance the frequency stability of microgrids with high IBR penetration, this paper proposes an optimal scheduling framework for software-defined microgrids to maintain frequency stability by utilizing the non-essential load shedding and dynamical optimization of the virtual inertia and virtual damping from IBRs. Moreover, side effects of these services, namely, the time delay associated with non-essential load shedding and potential IBR control parameter update failure are explicitly modeled to avoid underestimations of frequency deviation and over-optimistic results. The effectiveness and significant economic value of the proposed simultaneous and dynamic virtual inertia and damping provision strategy are demonstrated based on case studies in the modified IEEE 33-bus system.


title: Refinements of asymptotics at zero of Brownian self-intersection local times

abstract: In this article we establish some estimates related to the Gaussian densities and to Hermite polynomials in order to obtain an almost sure estimate for each term of the It\^{o}-Wiener expansion of the self-intersection local times of the Brownian motion. In dimension $d\geqslant 4$ the self-intersection local times of the Brownian motion can be considered as a family of measures on the classical Wiener space. We provide some asymptotics relative to these measures. Finally, we try to estimate the quadratic Wasserstein distance between these measures and the Wiener measure.


title: A fast and convergent combined Newton and gradient descent method for computing steady states of chemical reaction networks

abstract: In this work we present a fast, globally convergent, iterative algorithm for computing the asymptotically stable states of nonlinear large--scale systems of quadratic autonomous Ordinary Differential Equations (ODEs) modeling, e.g., the dynamic of complex chemical reaction networks. Towards this aim, we reformulate the problem as a box--constrained optimization problem where the roots of a set of nonlinear equations need to be determined. Then, we propose to use a projected Newton's approach combined with a gradient descent algorithm so that every limit point of the sequence generated by the overall algorithm is a stationary point. More importantly, we suggest replacing the standard orthogonal projector with a novel operator that ensures the final solution to satisfy the box constraints while lowering the probability that the intermediate points reached at each iteration belong to the boundary of the box where the Jacobian of the objective function may be singular. The effectiveness of the proposed approach is shown in a practical scenario concerning a chemical reaction network modeling the signaling network of colorectal cancer cells. Specifically, in this scenario the proposed algorithm is proven to be faster and more accurate than a classical dynamical approach where the asymptotically stable states are computed as the limit points of the flux of the Cauchy problem associated with the ODEs system.


title: Discovering Efficient Periodic Behaviours in Mechanical Systems via Neural Approximators

abstract: It is well known that conservative mechanical systems exhibit local oscillatory behaviours due to their elastic and gravitational potentials, which completely characterise these periodic motions together with the inertial properties of the system. The classification of these periodic behaviours and their geometric characterisation are in an on-going secular debate, which recently led to the so-called eigenmanifold theory. The eigenmanifold characterises nonlinear oscillations as a generalisation of linear eigenspaces. With the motivation of performing periodic tasks efficiently, we use tools coming from this theory to construct an optimization problem aimed at inducing desired closed-loop oscillations through a state feedback law. We solve the constructed optimization problem via gradient-descent methods involving neural networks. Extensive simulations show the validity of the approach.


title: The Markovian and Memoryless Properties of Visual System: Evidence from Serial Face Processing

abstract: The visual system can be viewed and studied as an information processing system. If so, then the visual system should follow specific fundamental properties: either a memory or a memoryless system. Previous studies in serial dependence in vision found that the perception of the current stimulus is positively determined by the previous one. However, we are not entirely sure whether this phenomenon is a Markov processing. In this study, participants were asked to rate the social characteristics (attractiveness, trustworthiness, and dominance) of a face, either followed by the same characteristic (the one-trait condition) or another one (the two-trait condition) in randomized orders. By doing so, we can directly test the contribution of the previous input and output to the current output and thus study the properties of the system. Using Derivative of Gaussian, Markov Chain and Linear Mixed effect modeling, convergent results suggested that the serial dependence was absent and the memoryless and Markovian properties were violated in the two-trait condition when testing both attractiveness and dominance, but not in the other conditions. Thus, different facets of (presumably) the same computational task may follow asymmetrical system properties. The study also develops serial dependence as an effective technique to reveal the relationships between different computation tasks.


title: HUSP-SP: Faster Utility Mining on Sequence Data

abstract: High-utility sequential pattern mining (HUSPM) has emerged as an important topic due to its wide application and considerable popularity. However, due to the combinatorial explosion of the search space when the HUSPM problem encounters a low utility threshold or large-scale data, it may be time-consuming and memory-costly to address the HUSPM problem. Several algorithms have been proposed for addressing this problem, but they still cost a lot in terms of running time and memory usage. In this paper, to further solve this problem efficiently, we design a compact structure called sequence projection (seqPro) and propose an efficient algorithm, namely discovering high-utility sequential patterns with the seqPro structure (HUSP-SP). HUSP-SP utilizes the compact seq-array to store the necessary information in a sequence database. The seqPro structure is designed to efficiently calculate candidate patterns' utilities and upper bound values. Furthermore, a new upper bound on utility, namely tighter reduced sequence utility (TRSU) and two pruning strategies in search space, are utilized to improve the mining performance of HUSP-SP. Experimental results on both synthetic and real-life datasets show that HUSP-SP can significantly outperform the state-of-the-art algorithms in terms of running time, memory usage, search space pruning efficiency, and scalability.


title: A systems design approach for the co-design of a humanoid robot arm

abstract: Classically, the development of humanoid robots has been sequential and iterative. Such bottom-up design procedures rely heavily on intuition and are often biased by the designer's experience. Exploiting the non-linear coupled design space of robots is non-trivial and requires a systematic procedure for exploration. We adopt the top-down design strategy, the V-model, used in automotive and aerospace industries. Our co-design approach identifies non-intuitive designs from within the design space and obtains the maximum permissible range of the design variables as a solution space, to physically realise the obtained design. We show that by constructing the solution space, one can (1) decompose higher-level requirements onto sub-system-level requirements with tolerance, alleviating the "chicken-or-egg" problem during the design process, (2) decouple the robot's morphology from its controller, enabling greater design flexibility, (3) obtain independent sub-system level requirements, reducing the development time by parallelising the development process.


title: Scalable deterministic integration of two quantum dots into an on-chip quantum circuit

abstract: Integrated quantum photonic circuits (IQPCs) with deterministically integrated quantum emitters are critical elements for scalable quantum information applications and have attracted significant attention in recent years. However, scaling up them towards fully functional photonic circuits with multiple deterministically integrated quantum emitters to generate photonic input states remains a great challenge. In this work, we report on a monolithic prototype IQPC consisting of two pre-selected quantum dots deterministically integrated into nanobeam cavities at the input ports of a 2x2 multimode interference beam-splitter. The on-chip beam splitter exhibits a splitting ratio of nearly 50/50 and the integrated quantum emitters have high single-photon purity, enabling on-chip HBT experiments, depicting deterministic scalability. Overall, this marks a cornerstone toward scalable and fully-functional IQPCs.