BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Jian Lu

Jian Lu contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
Computer Visioneess.IVeess.SPmath.APmath.DGphysics.opticscond-mat.mtrl-sciInformation Theorymath.ITmath.NANumerical Analysisquant-phComputational Geometrycond-mat.mes-hallcs.CYDiscrete MathematicsMachine Learningmath.COmath.NTmath.OCOther Computer ScienceProgramming LanguagesSymbolic Computation

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
24works
0followers
23topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

24 published item(s)

preprint2026arXiv

Qihe: A General-Purpose Static Analysis Framework for Verilog

In the past decades, static analysis has thrived in software, facilitating applications in bug detection, security, and program understanding. These advanced analyses are largely underpinned by general-purpose static analysis frameworks, which offer essential infrastructure to streamline their development. Conversely, hardware lacks such a framework, which overshadows the promising opportunities for sophisticated static analysis in hardware, hindering achievements akin to those witnessed in software. We thus introduce Qihe, the first general-purpose static analysis framework for Verilog -- a highly challenging endeavor given the absence of precedents in hardware. Qihe features an analysis-oriented front end, a Verilog-specific IR, and a suite of diverse fundamental analyses that capture essential hardware-specific characteristics -- such as bit-vector arithmetic, register synchronization, and digital component concurrency -- and enable the examination of intricate hardware data and control flows. These fundamental analyses are designed to support a wide array of hardware analysis clients. To validate Qihe's utility, we further developed a set of clients spanning bug detection, security, and program understanding. Our preliminary experimental results are highly promising; for example, Qihe uncovered 9 previously unknown bugs in popular real-world hardware projects (averaging 1.5K+ GitHub stars), all of which were confirmed by developers; moreover, Qihe successfully identified 18 bugs beyond the capabilities of existing static analyses for Verilog bug detection (i.e., linters), and detected 16 vulnerabilities in real-world hardware programs. By open-sourcing Qihe, which comprises over 100K lines of code, we aim to inspire further innovation and applications of sophisticated static analysis for hardware, aspiring to foster a similarly vibrant ecosystem that software analysis enjoys.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A three-dimensional dual-domain deep network for high-pitch and sparse helical CT reconstruction

In this paper, we propose a new GPU implementation of the Katsevich algorithm for helical CT reconstruction. Our implementation divides the sinograms and reconstructs the CT images pitch by pitch. By utilizing the periodic properties of the parameters of the Katsevich algorithm, our method only needs to calculate these parameters once for all the pitches and so has lower GPU-memory burdens and is very suitable for deep learning. By embedding our implementation into the network, we propose an end-to-end deep network for the high pitch helical CT reconstruction with sparse detectors. Since our network utilizes the features extracted from both sinograms and CT images, it can simultaneously reduce the streak artifacts caused by the sparsity of sinograms and preserve fine details in the CT images. Experiments show that our network outperforms the related methods both in subjective and objective evaluations.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Analysis of a Direct Separation Method Based on Adaptive Chirplet Transform for Signals with Crossover Instantaneous Frequencies

In many applications, it is necessary to retrieve the sub-signal building blocks of a multi-component signal, which is usually non-stationary in real-world and real-life applications. Empirical mode decomposition (EMD), synchrosqueezing transform (SST), signal separation operation (SSO), and iterative filtering decomposition (IFD) have been proposed and developed for this purpose. However, these computational methods are restricted by the specification of well-separation of the sub-signal frequency curves for multi-component signals. On the other hand, the chirplet transform-based signal separation scheme (CT3S) that extends SSO from the two-dimensional "time-frequency" plane to the three-dimensional "time-frequency-chirp rate" space was recently proposed in our recent work to remove the frequency-separation specification, and thereby allowing "frequency crossing". The main objective of this present paper is to carry out an in-depth error analysis study of instantaneous frequency estimation and component recovery for the CT3S method.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Learnable Irrelevant Modality Dropout for Multimodal Action Recognition on Modality-Specific Annotated Videos

With the assumption that a video dataset is multimodality annotated in which auditory and visual modalities both are labeled or class-relevant, current multimodal methods apply modality fusion or cross-modality attention. However, effectively leveraging the audio modality in vision-specific annotated videos for action recognition is of particular challenge. To tackle this challenge, we propose a novel audio-visual framework that effectively leverages the audio modality in any solely vision-specific annotated dataset. We adopt the language models (e.g., BERT) to build a semantic audio-video label dictionary (SAVLD) that maps each video label to its most K-relevant audio labels in which SAVLD serves as a bridge between audio and video datasets. Then, SAVLD along with a pretrained audio multi-label model are used to estimate the audio-visual modality relevance during the training phase. Accordingly, a novel learnable irrelevant modality dropout (IMD) is proposed to completely drop out the irrelevant audio modality and fuse only the relevant modalities. Moreover, we present a new two-stream video Transformer for efficiently modeling the visual modalities. Results on several vision-specific annotated datasets including Kinetics400 and UCF-101 validated our framework as it outperforms most relevant action recognition methods.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Maximizing the Sum of the Distances between Four Points on the Unit Hemisphere

In this paper, we prove a geometrical inequality which states that for any four points on a hemisphere with the unit radius, the largest sum of distances between the points is 4+4*sqrt(2). In our method, we have constructed a rectangular neighborhood of the local maximum point in the feasible set, which size is explicitly determined, and proved that (1): the objective function is bounded by a quadratic polynomial which takes the local maximum point as the unique critical point in the neighborhood, and (2): the rest part of the feasible set can be partitioned into a finite union of a large number of very small cubes so that on each small cube the conjecture can be verified by estimating the objective function with exact numerical computation.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Precise electronic structures of amorphous solids: unraveling the color origin and photocatalysis of black titania

Water splitting through efficient catalysts represents an ultimate solution for carbon neutrality within 40 years. To achieve this goal, amorphous photocatalysts are noted for their promising performances. Among them, the best known is black titania (amorphous TiOx, x < 2). However, despite the large number of studies on black titania, its color origin, structure-property relationship, and photocatalytic mechanism remain a topic of hot debate, largely due to the difficulty to calculate its precise electronic structure. Here, using ab initio molecular dynamics simulations, we report the precise electronic structures of black titania and further reveal the generic evolution pattern of the electronic structures of covalent compounds upon amorphization and reduction. Moreover, surface adsorption of the co-catalyst atoms (e.g., Pt) on amorphous substances is simulated for the first time: the disordered surface enables easy accommodation of the co-catalyst atoms, while the extended electronic states facilitate the separation of photo-induced electrons and holes, beneficial for hydrogen evolution. This study elucidates the workings of amorphous catalysts and offers practical guidance for enhancing their performances.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A New Weighting Scheme for Fan-beam and Circle Cone-beam CT Reconstructions

In this paper, we first present an arc based algorithm for fan-beam computed tomography (CT) reconstruction via applying Katsevich&#39;s helical CT formula to 2D fan-beam CT reconstruction. Then, we propose a new weighting function to deal with the redundant projection data. By extending the weighted arc based fan-beam algorithm to circle cone-beam geometry, we also obtain a new FDK-similar algorithm for circle cone-beam CT reconstruction. Experiments show that our methods can obtain higher PSNR and SSIM compared to the Parker-weighted conventional fan-beam algorithm and the FDK algorithm for super-short-scan trajectories.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

All-optical probe of three-dimensional topological insulators based on high-harmonic generation by circularly-polarized laser fields

We report the observation of a novel nonlinear optical response from the prototypical three-dimensional topological insulator Bi$_2$Se$_3$ through the process of high-order harmonic generation. We find that the generation efficiency increases as the laser polarization is changed from linear to elliptical, and it becomes maximum for circular polarization. With the aid of a microscopic theory and a detailed analysis of the measured spectra, we reveal that such anomalous enhancement encodes the characteristic topology of the band structure that originates from the interplay of strong spin-orbit coupling and time-reversal symmetry protection. Our study reveals a new platform for chiral strong-field physics and presents a novel, contact-free, all-optical approach for the spectroscopy of topological insulators. The implications are in ultrafast probing of topological phase transitions, light-field driven dissipationless electronics, and quantum computation.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Expansions in multiple bases over general alphabets

Expansions in non-integer bases have been extensively investigated since a pioneering work of Rényi. We introduce a more general framework of alphabet-base systems that also includes Pedicini&#39;s general alphabets and the multiple-base expansions of Neunhäuserer and Li. We extend the Parry type lexicographic theory to this setup, and we improve and generalize various former results on unique expansions.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Floquet quadrupole photonic crystals protected by space-time symmetry

High-order topological phases, such as those with nontrivial quadrupole moments, protect edge states that are themselves topological insulators in lower dimensions. So far, most quadrupole phases of light are explored in linear optical systems, which are protected by spatial symmetries or synthetic symmetries. Here we present Floquet quadrupole phases in driven nonlinear photonic crystals (PhCs) that are protected by space-time screw symmetries. We start by illustrating space-time symmetries by tracking the trajectory of instantaneous optical axes of the driven media. Our Floquet quadrupole phase is then confirmed in two independent ways: symmetry indices at high-symmetry momentum points and calculations of the nested Wannier bands. Our work presents a general framework to analyze symmetries in driven optical materials and paves the way to further exploring symmetry-protected topological phases in Floquet systems and their optoelectronic applications.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Liquefaction-induced Plasticity from Entropy-boosted Amorphous Ceramics

Ceramics are easy to break, and very few generic mechanisms are available for improving their mechanical properties, e.g., the 1975-discovered anti-fracture mechanism is strictly limited to zirconia and hafnia. Here we report a general mechanism for achieving high plasticity through liquefaction of ceramics. We further disclose the general material design strategies to achieve this difficult task through entropy-boosted amorphous ceramics (EBACs), enabling fracture-resistant properties that can withstand severe plastic deformation (e.g., over 95%, deformed to a thickness of a few nanometers) while maintaining high hardness and reduced modulus. The findings reported here open a new route to ductile ceramics and many applications.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Orthogonal subspace based fast iterative thresholding algorithms for joint sparsity recovery

Sparse signal recoveries from multiple measurement vectors (MMV) with joint sparsity property have many applications in signal, image, and video processing. The problem becomes much more involved when snapshots of the signal matrix are temporally correlated. With signal&#39;s temporal correlation in mind, we provide a framework of iterative MMV algorithms based on thresholding, functional feedback and null space tuning. Convergence analysis for exact recovery is established. Unlike most of iterative greedy algorithms that select indices in a measurement/solution space, we determine indices based on an orthogonal subspace spanned by the iterative sequence. In addition, a functional feedback that controls the amount of energy relocation from the &#34;tails&#34; is implemented and analyzed. It is seen that the principle of functional feedback is capable to lower the number of iteration and speed up the convergence of the algorithm. Numerical experiments demonstrate that the proposed algorithm has a clearly advantageous balance of efficiency, adaptivity and accuracy compared with other state-of-the-art algorithms.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Surface-acoustic-wave-controlled optomechanically induced transparency in a hybrid piezo-optomechanical planar distributed Bragg-reflector-cavity system

We propose a scheme that can generate tunable optomechanically induced transparency in a hybrid piezooptomechanical cavity system. The system is composed of a high-quality planar distributed Bragg reflector cavity modified with an embedded Gaussian-shaped defect. Moreover, interdigitated transducers are fabricated on the surface of the cavity to generate surface acoustic waves. Under the actuation of the surface acoustic wave, the upper Bragg mirrors can be vibrated as a bulk acoustic resonator, and the distributed Bragg reflector cavity becomes a standard three-level optomechanical system. In this situation, we show that when a strong pump optical field and a weak probe optical field are simultaneously applied to the hybrid optomechanical cavity system, optomechanically induced transparency occurs under the quantum interference between different energy-level pathways. Our scheme can be applied in the fields of optical switches and quantum information processing in solid-state quantum systems.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A deep network for sinogram and CT image reconstruction

A CT image can be well reconstructed when the sampling rate of the sinogram satisfies the Nyquist criteria and the sampled signal is noise-free. However, in practice, the sinogram is usually contaminated by noise, which degrades the quality of a reconstructed CT image. In this paper, we design a deep network for sinogram and CT image reconstruction. The network consists of two cascaded blocks that are linked by a filter backprojection (FBP) layer, where the former block is responsible for denoising and completing the sinograms while the latter is used to removing the noise and artifacts of the CT images. Experimental results show that the reconstructed CT images by our methods have the highest PSNR and SSIM in average compared to state of the art methods.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A generalized Gauss curvature flow related to the Orlicz-Minkowski problem

In this paper a generalized Gauss curvature flow about a convex hypersurface in the Euclidean $n$-space is studied. This flow is closely related to the Orlicz-Minkowski problem, which involves Gauss curvature and a function of support function. Under some appropriate assumptions, we prove the long-time existence and convergence of this flow. As a byproduct, two existence results of solutions to the even Orlicz-Minkowski problem are obtained, one of which improves the known result.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A model-guided deep network for limited-angle computed tomography

In this paper, we first propose a variational model for the limited-angle computed tomography (CT) image reconstruction and then convert the model into an end-to-end deep network.We use the penalty method to solve the model and divide it into three iterative subproblems, where the first subproblem completes the sinograms by utilizing the prior information of sinograms in the frequency domain and the second refines the CT images by using the prior information of CT images in the spatial domain, and the last merges the outputs of the first two subproblems. In each iteration, we use the convolutional neural networks (CNNs) to approxiamte the solutions of the first two subproblems and, thus, obtain an end-to-end deep network for the limited-angle CT image reconstruction. Our network tackles both the sinograms and the CT images, and can simultaneously suppress the artifacts caused by the incomplete data and recover fine structural information in the CT images. Experimental results show that our method outperforms the existing algorithms for the limited-angle CT image reconstruction.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Analysis of Adaptive Synchrosqueezing Transform with a Time-varying Parameter

The synchrosqueezing transform (SST) was developed recently to separate the components of non-stationary multicomponent signals. The continuous wavelet transform-based SST (WSST) reassigns the scale variable of the continuous wavelet transform of a signal to the frequency variable and sharpens the time-frequency representation. The WSST with a time-varying parameter, called the adaptive WSST, was introduced very recently in the paper &#34;Adaptive synchrosqueezing transform with a time-varying parameter for non-stationary signal separation&#34;. The well-separated conditions of non-stationary multicomponent signals with the adaptive WSST and a method to select the time-varying parameter were proposed in that paper. In addition, simulation experiments in that paper show that the adaptive WSST is very promising in estimating the instantaneous frequency of a multicomponent signal, and in accurate component recovery. However the theoretical analysis of the adaptive WSST has not been studied. In this paper, we carry out such analysis and obtain error bounds for component recovery with the adaptive WSST and the 2nd-order adaptive WSST. These results provide a mathematical guarantee to non-stationary multicomponent signal separation with the adaptive WSST.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Attosecond synchronization of extreme ultraviolet high harmonics from crystals

The interaction of strong near-infrared (NIR) laser pulses with wide-bandgap dielectrics produces high harmonics in the extreme ultraviolet (XUV) wavelength range. These observations have opened up the possibility of attosecond metrology in solids, which would benefit from a precise measurement of the emission times of individual harmonics with respect to the NIR laser field. Here we show that, when high-harmonics are detected from the input surface of a magnesium oxide crystal, a bichromatic probing of the XUV emission shows a clear synchronization largely consistent with a semiclassical model of electron-hole recollisions in bulk solids. On the other hand, the bichromatic spectrogram of harmonics originating from the exit surface of the 200 $μ$m-thick crystal is strongly modified, indicating the influence of laser field distortions during propagation. Our tracking of sub-cycle electron and hole re-collisions at XUV energies is relevant to the development of solid-state sources of attosecond pulses.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Crowdsourced Smartphone Sensing for Localization in Metro Trains

Traditional fingerprint based localization techniques mainly rely on infrastructure support such as RFID, Wi-Fi or GPS. They operate by war-driving the entire space which is both time-consuming and labor-intensive. In this paper, we present MLoc, a novel infrastructure-free localization system to locate mobile users in a metro line. It does not rely on any Wi-Fi infrastructure, and does not need to war-drive the metro line. Leveraging crowdsourcing, we collect accelerometer,magnetometer and barometer readings on smartphones, and analyze these sensor data to extract patterns. Through advanced data manipulating techniques, we build the pattern map for the entire metro line, which can then be used for localization. We conduct field studies to demonstrate the accuracy, scalability, and robustness of M-Loc. The results of our field studies in 3 metro lines with 55 stations show that M-Loc achieves an accuracy of 93% when travelling 3 stations, 98% when travelling 5 stations.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Multiplicative Noise Removal: Nonlocal Low-Rank Model and Its Proximal Alternating Reweighted Minimization Algorithm

The goal of this paper is to develop a novel numerical method for efficient multiplicative noise removal. The nonlocal self-similarity of natural images implies that the matrices formed by their nonlocal similar patches are low-rank. By exploiting this low-rank prior with application to multiplicative noise removal, we propose a nonlocal low-rank model for this task and develop a proximal alternating reweighted minimization (PARM) algorithm to solve the optimization problem resulting from the model. Specifically, we utilize a generalized nonconvex surrogate of the rank function to regularize the patch matrices and develop a new nonlocal low-rank model, which is a nonconvex nonsmooth optimization problem having a patchwise data fidelity and a generalized nonlocal low-rank regularization term. To solve this optimization problem, we propose the PARM algorithm, which has a proximal alternating scheme with a reweighted approximation of its subproblem. A theoretical analysis of the proposed PARM algorithm is conducted to guarantee its global convergence to a critical point. Numerical experiments demonstrate that the proposed method for multiplicative noise removal significantly outperforms existing methods such as the benchmark SAR-BM3D method in terms of the visual quality of the denoised images, and the PSNR (the peak-signal-to-noise ratio) and SSIM (the structural similarity index measure) values.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Toward a Wearable RFID System for Real-Time Activity Recognition Using Radio Patterns

Elderly care is one of the many applications supported by real-time activity recognition systems. Traditional approaches use cameras, body sensor networks, or radio patterns from various sources for activity recognition. However, these approaches are limited due to ease-of-use, coverage, or privacy preserving issues. In this paper, we present a novel wearable Radio Frequency Identification (RFID) system aims at providing an easy-to-use solution with high detection coverage. Our system uses passive tags which are maintenance-free and can be embedded into the clothes to reduce the wearing and maintenance efforts. A small RFID reader is also worn on the user&#39;s body to extend the detection coverage as the user moves. We exploit RFID radio patterns and extract both spatial and temporal features to characterize various activities. We also address the issues of false negative of tag readings and tag/antenna calibration, and design a fast online recognition system. Antenna and tag selection is done automatically to explore the minimum number of devices required to achieve target accuracy. We develop a prototype system which consists of a wearable RFID system and a smartphone to demonstrate the working principles, and conduct experimental studies with four subjects over two weeks. The results show that our system achieves a high recognition accuracy of 93.6 percent with a latency of 5 seconds. Additionally, we show that the system only requires two antennas and four tagged body parts to achieve a high recognition accuracy of 85 percent.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Vector Gaussian Successive Refinement With Degraded Side Information

We investigate the problem of the successive refinement for Wyner-Ziv coding with degraded side information and obtain a complete characterization of the rate region for the quadratic vector Gaussian case. The achievability part is based on the evaluation of the Tian-Diggavi inner bound that involves Gaussian auxiliary random vectors. For the converse part, a matching outer bound is obtained with the aid of a new extremal inequality. Herein, the proof of this extremal inequality depends on the integration of the monotone path argument and the doubling trick as well as information-estimation relations.

0 citations0 reviewsNo code linkedOpen access