arXiv Science⌕ Search

arXiv subjects

Ying Li

Publications and source records attributed to Ying Li.

At least 361 records · Page 20Linked to original sources

Variational Bayesian Inference Clustering Based Joint User Activity and Data Detection for Grant-Free Random Access in mMTC

Tailor-made for massive connectivity and sporadic access, grant-free random access has become a promising candidate access protocol for massive machine-type communications (mMTC). Compared with conventional grant-based protocols, grant-free random access skips the exchange of scheduling information to reduce the signaling overhead, and facilitates sharing of access resources to enhance access efficiency. However, some challenges remain to be addressed in the receiver design, such as unknown identity of active users and multi-user interference (MUI) on shared access resources. In this work, we deal with the problem of joint user activity and data detection for grant-free random access. Specifically, the approximate message passing (AMP) algorithm is first employed to mitigate MUI and decouple the signals of different users. Then, we extend the data symbol alphabet to incorporate the null symbols from inactive users. In this way, the joint user activity and data detection problem is formulated as a clustering problem under the Gaussian mixture model. Furthermore, in conjunction with the AMP algorithm, a variational Bayesian inference based clustering (VBIC) algorithm is developed to solve this clustering problem. Simulation results show that, compared with state-of-art solutions, the proposed AMP-combined VBIC (AMP-VBIC) algorithm achieves a significant performance gain in detection accuracy.

eess.SP↗

VideoPipe 2022 Challenge: Real-World Video Understanding for Urban Pipe Inspection

Video understanding is an important problem in computer vision. Currently, the well-studied task in this research is human action recognition, where the clips are manually trimmed from the long videos, and a single class of human action is assumed for each clip. However, we may face more complicated scenarios in the industrial applications. For example, in the real-world urban pipe system, anomaly defects are fine-grained, multi-labeled, domain-relevant. To recognize them correctly, we need to understand the detailed video content. For this reason, we propose to advance research areas of video understanding, with a shift from traditional action recognition to industrial anomaly analysis. In particular, we introduce two high-quality video benchmarks, namely QV-Pipe and CCTV-Pipe, for anomaly inspection in the real-world urban pipe systems. Based on these new datasets, we will host two competitions including (1) Video Defect Classification on QV-Pipe and (2) Temporal Defect Localization on CCTV-Pipe. In this report, we describe the details of these benchmarks, the problem definitions of competition tracks, the evaluation metric, and the result summary. We expect that, this competition would bring new opportunities and challenges for video understanding in smart city and beyond. The details of our VideoPipe challenge can be found in https://videopipe.github.io.

cs.CV↗

Single-Stage Open-world Instance Segmentation with Cross-task Consistency Regularization

Open-World Instance Segmentation (OWIS) is an emerging research topic that aims to segment class-agnostic object instances from images. The mainstream approaches use a two-stage segmentation framework, which first locates the candidate object bounding boxes and then performs instance segmentation. In this work, we instead promote a single-stage framework for OWIS. We argue that the end-to-end training process in the single-stage framework can be more convenient for directly regularizing the localization of class-agnostic object pixels. Based on the single-stage instance segmentation framework, we propose a regularization model to predict foreground pixels and use its relation to instance segmentation to construct a cross-task consistency loss. We show that such a consistency loss could alleviate the problem of incomplete instance annotation -- a common problem in the existing OWIS datasets. We also show that the proposed loss lends itself to an effective solution to semi-supervised OWIS that could be considered an extreme case that all object annotations are absent for some images. Our extensive experiments demonstrate that the proposed method achieves impressive results in both fully-supervised and semi-supervised settings. Compared to SOTA methods, the proposed method significantly improves the $AP_{100}$ score by 4.75\% in UVO$\rightarrow$UVO setting and 4.05\% in COCO$\rightarrow$UVO setting. In the case of semi-supervised learning, our model learned with only 30\% labeled data, even outperforms its fully-supervised counterpart with 50\% labeled data. The code will be released soon.

cs.CV↗

Analysis of CKM-Favored Quasi-Two-Body $B \to D (R\to) K π$ Decays in PQCD Approach

LHCb Collaboration studied the resonant structure of $B_s\to \overline{D}^0K^-π^+$ decays using the Dalitz plot analysis technique, based on a data sample corresponding to an integrated luminosity of $3.0{\rm fb}^{-1}$ of $pp$ collision. The $K^-π^+$ components have been analyzed in the amplitude model, where the decay amplitude is modeled to be the resonant contributions with respect to the intermediate resonances $K^*(892)$, $K_0^*(1430)$ and $K_2^*(1430)$. Motivated by the experimental results, we investigate the color-favored quasi-two-body $B \to \overline{D}^0Kπ$ decays in the framework of the perturbative QCD (PQCD) approach. We calculate the the branching fractions by introducing the appropriate wave functions of $Kπ$ pair. Our results are in agreement well the available data, and others can be tested in LHCb and Belle-II experiments. Using the narrow-width-approximation, we also extract the branching fractions of the corresponding two-body $B\to \overline D R$ decays, which agree to the previous theoretical calculations and the experimental data within the errors. There are no $CP$ asymmetries in these decays in the standard model, because these decays are all governed by only the tree operators.

hep-ph↗

Electronic structures and stability investigation of the new class of large band gap topological insulators MTl$_4$Te$_3$ (M = Cd, Hg)

By means of ternary chemical potential phase diagram and phonon spectrum calculations, we propose that $M$Tl$_4$Te$_3$ ($M$ = Cd, Hg), the derivatives of Tl$_5$Te$_3$, are thermodynamically and dynamically stable in the body centered tetragonal crystal structure with $I$4/$mcm$ symmetry. Our electronic structures calculations confirm that a robust $s$-$p$ band inversion occurs near the Fermi level in $M$Tl$_4$Te$_3$, and a topological band gap about 0.13 eV in CdTl$_4$Te$_3$ is induced by the spin-orbit coupling. These results suggest that $M$Tl$_4$Te$_3$ are a new class of large band gap 3D strong topological insulators that are stable and synthesizable in experiments, which could be used to design efficient spin torque equipment and spin device.

cond-mat.mtrl-sci↗

Family Non-universal $Z^\prime$ Effects on $B_{d,s} \to K^{*0} {\overline K^{*0}}$ Decays in Perturbative QCD Approach

The nonleptonic decays $B_{d,s} \to K^{*0} {\overline K^{*0}}$ are reanalyzed in perturbative QCD approach, which is based on the $k_{\rm T}$ factorization. In the standard model, the calculated branching fraction and longitudinal polarization fraction of $B_{d} \to K^{*0} {\overline K^{*0}}$ are in agreement with experimental measurements, while the predictions of $B_{s} \to K^{*0} {\overline K^{*0}}$ cannot agree with data simultaneously. The parameter that combines of longitudinal polarization fractions and branching fractions evaluated to be $L_{K^*\overline{K}^{*0}}^{\rm PQCD}= 12.7^{+5.6} _{-3.2}$, which is also larger than that abstracted from experimental measurements. We then study all observables by introducing a family non-universal $Z^{\prime}$ boson in $b\to s q\bar q$ transitions. In order to reduce the number of new parameters, we simplify the model as possible. It is found that with the fixed value $ω_{B_s}=0.55$, these exists parameter space where all measurements, including the branching fraction, longitudinal polarization fraction and $L_{K^*\overline{K}^{*0}}$-parameter, could be accommodated simultaneously. All our results and the small parameter space could be further tested in the running LHC experiments, Belle-II and future high-energy colliders.

hep-ph↗

Capacity Optimal Generalized Multi-User MIMO: A Theoretical and Practical Framework

Conventional multi-user multiple-input multiple-output (MU-MIMO) mainly focused on Gaussian signaling, independent and identically distributed (IID) channels, and a limited number of users. It will be laborious to cope with the heterogeneous requirements in next-generation wireless communications, such as various transmission data, complicated communication scenarios, and massive user access. Therefore, this paper studies a generalized MU-MIMO (GMU-MIMO) system with more practical constraints, i.e., non-Gaussian signaling, non-IID channel, and massive users and antennas. These generalized assumptions bring new challenges in theory and practice. For example, there is no accurate capacity analysis for GMU-MIMO. In addition, it is unclear how to achieve the capacity optimal performance with practical complexity. To address these challenges, a unified framework is proposed to derive the GMU-MIMO capacity and design a capacity optimal transceiver, which jointly considers encoding, modulation, detection, and decoding. Group asymmetry is developed to make a tradeoff between user rate allocation and implementation complexity. Specifically, the capacity region of group asymmetric GMU-MIMO is characterized by using the celebrated mutual information and minimum mean-square error (MMSE) lemma and the MMSE optimality of orthogonal approximate message passing (OAMP)/vector AMP (VAMP). Furthermore, a theoretically optimal multi-user OAMP/VAMP receiver and practical multi-user low-density parity-check (MU-LDPC) codes are proposed to achieve the capacity region of group asymmetric GMU-MIMO. Numerical results verify that the gaps between theoretical detection thresholds of the proposed framework with optimized MU-LDPC codes and QPSK modulation and the sum capacity of GMU-MIMO are about 0.2 dB. Moreover, their finite-length performances are about 1~2 dB away from the associated sum capacity.

cs.IT↗

Analytics and Machine Learning Powered Wireless Network Optimization and Planning

It is important that the wireless network is well optimized and planned, using the limited wireless spectrum resources, to serve the explosively growing traffic and diverse applications needs of end users. Considering the challenges of dynamics and complexity of the wireless systems, and the scale of the networks, it is desirable to have solutions to automatically monitor, analyze, optimize, and plan the network. This article discusses approaches and solutions of data analytics and machine learning powered optimization and planning. The approaches include analyzing some important metrics of performances and experiences, at the lower layers and upper layers of open systems interconnection (OSI) model, as well as deriving a metric of the end user perceived network congestion indicator. The approaches include monitoring and diagnosis such as anomaly detection of the metrics, root cause analysis for poor performances and experiences. The approaches include enabling network optimization with tuning recommendations, directly targeting to optimize the end users experiences, via sensitivity modeling and analysis of the upper layer metrics of the end users experiences v.s. the improvement of the lower layers metrics due to tuning the hardware configurations. The approaches also include deriving predictive metrics for network planning, traffic demand distributions and trends, detection and prediction of the suppressed traffic demand, and the incentives of traffic gains if the network is upgraded. These approaches of optimization and planning are for accurate detection of optimization and upgrading opportunities at a large scale, enabling more effective optimization and planning such as tuning cells configurations, upgrading cells capacity with more advanced technologies or new hardware, adding more cells, etc., improving the network performances and providing better experiences to end users.

eess.SY↗

Asymmetric Heat Transfer with Linear Conductive Metamaterials

Asymmetric heat transfer systems, often referred to as thermal diodes or thermal rectifiers, have garnered increasing interest due to their wide range of application possibilities. Most of those previous macroscopic thermal diodes either resort to nonlinear thermal conductivities with strong temperature dependence that may be quite limited by or fixed in natural materials or rely on active modulation that necessitated auxiliary energy payloads. Here, we establish a straightforward strategy of passively realizing asymmetric heat transfer with linear conductive materials. The strategy also introduces a new interrogative perspective on the design of asymmetric heat transfer utilizing nonlinear thermal conductivity, correcting the misconception that thermal rectification is impossible with separable nonlinear thermal conductivity. The nonlinear perturbation mode can be versatilely engineered to produce an effective and wide-ranging perturbation in the heat conduction, which imitates and bypasses intrinsic thermal nonlinearity constraints set by naturally occurring counterparts. Independent experimental characterizations of surface thermal radiation and thermal convection verified that the heat exchange between a graded linear thermal metamaterial and the ambient can be tailored to achieve macroscopic asymmetric heat transfer. Our work is envisaged to inspire conceptual models for heat transfer control, serving as a robust and convenient platform for advanced thermal management, thermal computation, and heat transport.

physics.app-ph↗

The Existence of Graph whose Vertex Set Can be Partitioned into a Fixed Number of Domination Strong Critical Vertex-sets

Let $γ(G)$ denote the domination number of a graph $G$. A vertex $v\in V(G)$ is called a \emph{critical vertex} of $G$ if $γ(G-v)=γ(G)-1$. A graph is called \emph{vertex-critical} if every vertex of it is critical. In this paper, we correspondingly introduce two such definitions: (i) a set $S\subseteq V(G)$ is called a \emph{strong critical vertex-set} of $G$ if $γ(G-S)=γ(G)-|S|$; (ii) a graph $G$ is called \emph{strong $l$-vertex-sets-critical} if $V(G)$ can be partitioned into $l$ strong critical vertex-sets of $G$. Whereafter, we give some properties of strong $l$-vertex-sets-critical graphs by extending the previous results of vertex-critical graphs. As the core work, we study on the existence of this class of graphs and obtain that there exists a strong $l$-vertex-sets-critical connected graph if and only if $l\notin\{2,3,5\}$.

math.CO↗

The Variational Quantum Eigensolver: a review of methods and best practices

The variational quantum eigensolver (or VQE) uses the variational principle to compute the ground state energy of a Hamiltonian, a problem that is central to quantum chemistry and condensed matter physics. Conventional computing methods are constrained in their accuracy due to the computational limits. The VQE may be used to model complex wavefunctions in polynomial time, making it one of the most promising near-term applications for quantum computing. Finding a path to navigate the relevant literature has rapidly become an overwhelming task, with many methods promising to improve different parts of the algorithm. Despite strong theoretical underpinnings suggesting excellent scaling of individual VQE components, studies have pointed out that their various pre-factors could be too large to reach a quantum computing advantage over conventional methods. This review aims to provide an overview of the progress that has been made on the different parts of the algorithm. All the different components of the algorithm are reviewed in detail including representation of Hamiltonians and wavefunctions on a quantum computer, the optimization process, the post-processing mitigation of errors, and best practices are suggested. We identify four main areas of future research:(1) optimal measurement schemes for reduction of circuit repetitions; (2) large scale parallelization across many quantum computers;(3) ways to overcome the potential appearance of vanishing gradients in the optimization process, and how the number of iterations required for the optimization scales with system size; (4) the extent to which VQE suffers for quantum noise, and whether this noise can be mitigated. The answers to these open research questions will determine the routes for the VQE to achieve quantum advantage as the quantum computing hardware scales up and as the noise levels are reduced.

quant-ph↗

Quantifying Community Evolution in Developer Social Networks: Proof of Indices' Properties

The document provides the proof to properties of community evolution indices including community split and shrink in paper: Liang Wang, Ying Li, Jierui Zhang, and Xianping Tao. 2022. Quantifying Community Evolution in Developer Social Networks. In Proceedings of the30th ACM Joint European Software Engineering Conference and Symposiumon the Foundations of Software Engineering (ESEC/FSE 22), November 14 - 18, 2022, Singapore, Singapore. ACM, New York, NY, USA, 12 pages. Proof to properties of community merge and expand is similar.

cs.SE↗

Blackhole-Inspired Thermal Trapping with Graded Heat-Conduction Metadevices

Black holes are one of the most intriguing predictions of general relativity. So far, metadevices have enabled analogous black holes to trap light or sound in laboratory spacetime. However, trapping heat in a conductive ambient is still challenging because diffusive behaviors are directionless. Inspired by black holes, we construct graded heat-conduction metadevices to achieve thermal trapping, resorting to the imitated advection produced by graded thermal conductivities rather than the trivial solution of using insulation materials to confine thermal diffusion. We experimentally demonstrate thermal trapping for guiding hot spots to diffuse towards the center. Graded heat-conduction metadevices have advantages in energy-efficient thermal regulation because the imitated advection has a similar temperature field effect to the realistic advection that is usually driven by external energy sources. These results also provide insights into correlating transformation thermotics with other disciplines such as cosmology for emerging heat control schemes.

physics.app-ph↗

Electronic and magnetic properties of the RuX$_3$ (X=Cl, Br, I) family: Two siblings -- and a cousin?

Motivated by recent reports of metallic behavior in the recently synthesized RuI$_3$, in contrast to the Mott-insulating nature of the actively discussed $α$-RuCl$_3$, as well as RuBr$_3$, we present a detailed comparative analysis of the electronic and magnetic properties of this family of trihalides. Using a combination of first-principles calculations and effective-model considerations, we conclude that RuI$_3$, similarly to the other two members, is most probably on the verge of a Mott insulator, but with much smaller magnetic moments and a strong magnetic frustration. We predict the ideal pristine crystal of RuI$_3$ to have a nearly vanishing conventional nearest-neighbor Heisenberg interaction and to be a quantum spin liquid candidate of possibly different kind than the Kitaev spin liquid. In order to understand the apparent contradiction to the reported resistivity $ρ$, we analyze the experimental evidence for all three compounds and propose a scenario for the observed metallicity in existing samples of RuI$_3$. Furthermore, for the Mott insulator RuBr$_3$ we obtain a magnetic Hamiltonian of a similar form to that in the much discussed $α$-RuCl$_3$ and show that this Hamiltonian is in agreement with experimental evidence in RuBr$_3$.

cond-mat.str-el↗

The Lyman-$α$ Emission in a C1.4 Solar Flare Observed by the Extreme Ultraviolet Imager aboard Solar Orbiter

The hydrogen Lyman-$α$ (H {\sc i} Ly$α$) emission during solar flares has rarely been studied in spatially resolved images and its physical origin has not been fully understood. In this paper, we present novel Ly$α$ images for a C1.4 solar flare (SOL2021-08-20T22:00) from the Extreme Ultraviolet Imager aboard Solar Orbiter, together with multi-waveband and multi-perspective observations from the Solar Terrestrial Relations Observatory Ahead and the Solar Dynamics Observatory spacecraft. It is found that the Ly$α$ emission has a good temporal correlation with the thermal emissions at 1--8 Å and 5--7 keV, indicating that the flaring Ly$α$ is mainly produced by a thermal process in this small event. However, nonthermal electrons play a minor role in generating Ly$α$ at flare ribbons during the rise phase of the flare, as revealed by the hard X-ray imaging and spectral fitting. Besides originating from flare ribbons, the Ly$α$ emission can come from flare loops, likely caused by plasma heating and also cooling that happen in different flare phases. It is also found that the Ly$α$ emission shows fairly similar features with the He {\sc ii} 304 Å emission in light curve and spatio-temporal variation along with small differences. These observational results improve our understanding of the Ly$α$ emission in solar flares and also provide some insights for investigating the Ly$α$ emission in stellar flares.

astro-ph.SR↗

Repairing $\mathcal{EL}$ Ontologies Using Weakening and Completing

The quality of ontologies in terms of their correctness and completeness is crucial for developing high-quality ontology-based applications. Traditional debugging techniques repair ontologies by removing unwanted axioms, but may thereby remove consequences that are correct in the domain of the ontology. In this paper we propose an interactive approach to mitigate this for $\mathcal{EL}$ ontologies by axiom weakening and completing. We present algorithms for weakening and completing and present the first approach for repairing that takes into account removing, weakening and completing. We show different combination strategies, discuss the influence on the final ontologies and show experimental results. We show that previous work has only considered special cases and that there is a trade-off between the amount of validation work for a domain expert and the quality of the ontology in terms of correctness and completeness.

cs.AI↗

Systematic assessment of the effects of space averaging and time averaging on weather forecast skill

Intuitively, one would expect a more skillful forecast if predicting weather averaged over one week instead of the weather averaged over one day, and similarly for different spatial averaging areas. However, there are few systematic studies of averaging and forecast skill with modern forecasts, and it is therefore not clear how much improvement in forecast performance is produced via averaging. Here we present a direct investigation of averaging effects, based on data from operational numerical weather forecasts. Data is analyzed for precipitation and surface temperature, for lead times of roughly 1 to 7 days, and for time- and space-averaging diameters of 1 to 7 days and 100 to 4500 km, respectively. For different geographic locations, the effects of time- or space-averaging can be different, and while no clear geographical pattern is seen for precipitation, a clear spatial pattern is seen for temperature. For temperature, in general, time averaging is most effective near coastlines, also effective over land, and least effective over oceans. Based on all locations globally, time averaging was less effective than one might expect. To help understand why time averaging may sometimes be minimally effective, a stochastic model is analyzed as a synthetic weather time series, and analytical formulas are presented for the decorrelation time. In effect, while time averaging creates a time series that is visually smoother, it does not necessarily cause a substantial increase in the predictability of the time series.

physics.ao-ph↗

Swin-Pose: Swin Transformer Based Human Pose Estimation

Convolutional neural networks (CNNs) have been widely utilized in many computer vision tasks. However, CNNs have a fixed reception field and lack the ability of long-range perception, which is crucial to human pose estimation. Due to its capability to capture long-range dependencies between pixels, transformer architecture has been adopted to computer vision applications recently and is proven to be a highly effective architecture. We are interested in exploring its capability in human pose estimation, and thus propose a novel model based on transformer architecture, enhanced with a feature pyramid fusion structure. More specifically, we use pre-trained Swin Transformer as our backbone and extract features from input images, we leverage a feature pyramid structure to extract feature maps from different stages. By fusing the features together, our model predicts the keypoint heatmap. The experiment results of our study have demonstrated that the proposed transformer-based model can achieve better performance compared to the state-of-the-art CNN-based models.

cs.CV↗