arXiv subjects

Jun Zhang

Publications and source records attributed to Jun Zhang.

At least 1,027 records · Page 57Linked to original sources

arXiv2018

KRust: A Formal Executable Semantics of Rust

Rust is a new and promising high-level system programming language. It provides both memory safety and thread safety through its novel mechanisms such as ownership, moves and borrows. Ownership system ensures that at any point there is only one owner of any given resource. The ownership of a resource can be moved or borrowed according to the lifetimes. The ownership system establishes a clear lifetime for each value and hence does not necessarily need garbage collection. These novel features bring Rust high performance, fine low-level control of C and C++, and unnecessity in garbage collection, which differ Rust from other existing prevalent languages. For formal analysis of Rust programs and helping programmers learn its new mechanisms and features, a formal semantics of Rust is desired and useful as a fundament for developing related tools. In this paper, we present a formal executable operational semantics of a realistic subset of Rust, called KRust. The semantics is defined in K, a rewriting-based executable semantic framework for programming languages. The executable semantics yields automatically a formal interpreter and verification tools for Rust programs. KRust has been thoroughly validated by testing with hundreds of tests, including the official Rust test suite.

cs.PL↗

arXiv2018

Automated Big Traffic Analytics for Cyber Security

Network traffic analytics technology is a cornerstone for cyber security systems. We demonstrate its use through three popular and contemporary cyber security applications in intrusion detection, malware analysis and botnet detection. However, automated traffic analytics faces the challenges raised by big traffic data. In terms of big data's three characteristics --- volume, variety and velocity, we review three state of the art techniques to mitigate the key challenges including real-time traffic classification, unknown traffic classification, and efficiency of classifiers. The new techniques using statistical features, unknown discovery and correlation analytics show promising potentials to deal with big traffic data. Readers are encouraged to devote to improving the performance and practicability of automatic traffic analytic in cyber security.

cs.CR↗

arXiv2018

DFT-Based Hybrid Beamforming Multiuser Systems: Rate Analysis and Beam Selection

This paper considers the discrete Fourier transform (DFT) based hybrid beamforming multiuser system and studies the use of analog beam selection schemes. We first analyze the uplink ergodic achievable rates of the zero-forcing (ZF) receiver and the maximum-ratio combining (MRC) receiver under Ricean fading conditions. We then examine the downlink ergodic achievable rates for the ZF and maximum-ratio transmitting (MRT) precoders. The long-term and short-term normalization methods are introduced, which utilize long-term and instantaneous channel state information (CSI) to implement the downlink power normalization, respectively. Also, approximations and asymptotic expressions of both the uplink and downlink rates are obtained, which facilitate the analog beam selection solutions to maximize the achievable rates. An exhaustive search provides the optimal results but to reduce the time-consumption, we resort to the derived rate limits and propose the second selection scheme based on the projected power of the line-of-sight (LoS) paths. We then combine the advantages of the two schemes and propose a two-step scheme that achieves near optimal performances with much less time-consumption than exhaustive search. Numerical results confirm the analytical results of the ergodic achievable rate and reveal the effectiveness of the proposed two-step method.

cs.IT↗

arXiv2018

Two Episodes of Magnetic Reconnections During a Confined Circular-ribbon Flare

We analyze a unique event with an M1.8 confined circular-ribbon flare on 2016 February 13, with successive formations of two circular ribbons at the same location. The flare had two distinct phases of UV and EUV emissions with an interval of about 270 s, of which the second peak was energetically more important. The first episode was accompanied by the eruption of a mini-filament and the fast elongation motion of a thin circular ribbon (CR1) along the counterclockwise direction at a speed of about 220 km/s. Two elongated spine-related ribbons were also observed, with the inner ribbon co-temporal with CR1 and the remote brightenings forming ~20 s later. In the second episode, another mini-filament erupted and formed a blowout jet. The second circular ribbon and two spine-related ribbons showed similar elongation motions with that during the first episode. The extrapolated 3D coronal magnetic fields reveal the existence of a fan-spine topology, together with a quasi-separatrix layer (QSL) halo surrounding the fan plane and another QSL structure outlining the inner spine. We suggest that continuous null-point reconnection between the filament and ambient open field occurs in each episode, leading to the sequential opening of the filament and significant shifts of the fan plane footprint. For the first time, we propose a compound eruption model of circular-ribbon flares consisting of two sets of successively formed ribbons and eruptions of multiple filaments in a fan-spine-type magnetic configuration.

astro-ph.SR↗

arXiv2018

Electroweak properties of octet baryons in light-cone quark-diquark model

We study the electroweak properties of ground state octet baryons in a relativistic quark-spectator-diquark model, with light-front formalism applied to take relativistic effects into account. Our model provides a consistent picture of the electroweak properties of the ground state octet baryons in the low momentum transfer region. The Melosh-Wigner rotation is applied as the transformation relation between spinors in the instant form and front form. Numerical results are presented for the magnetic moments, weak transition charges and Sachs form factors. Our results are in good agreement with experimental measurements and other theoretical results.

hep-ph↗

arXiv2018

Phase amplification in optical interferometry with weak measurement

Improving the phase resolution of interferometry is crucial for high-precision measurements of various physical quantities. Systematic phase errors dominate the phase uncertainties in most realistic optical interferometers. Here we propose and experimentally demonstrate a weak measurement scheme to considerably suppress the phase uncertainties by the direct amplification of phase shift in optical interferometry. Given an initial ultra-small phase shift between orthogonal polarization states, we observe the phase amplification effect with a factor of 388. Our weak measurement scheme provides a practical approach to significantly improve the interferometric phase resolution, which is favorable for precision measurement applications.

quant-ph↗

arXiv2018

Search for Magnetic Monopoles in Magnetic Reconnection Regions

In order to satisfy the symmetry between electric and magnetic fields in the source free Maxwell's equations, electric charges might have magnetic counterparts: magnetic monopoles. Many methods and techniques are proposed to search for the monopoles, but no confirmed results have been obtained. Based on solar observations, we know that magnetic reconnections take place during eruptive solar activities. The magnetic fields can be broken at first and then rejoined, implying that the fields are source-relevant at the broken moment. It is speculated that the magnetic lines undergo outward deflection movement during the broken moment, as the line tying effect disappears and the magnetic tension triggers the movement. The signal of the deflection is detected for the first time by EUV and H$α$ observations in reconnection processes. We propose that the monopoles appear in magnetic reconnection regions at first, and then the annihilation of opposite polarity monopoles releases energy and perhaps also produces particles. To detect the predict monopoles, laboratory plasma experiments can be used to provide some fundamental information.

astro-ph.SR↗

arXiv2018

A Hardware-Efficient Analog Network Structure for Hybrid Precoding in Millimeter Wave Systems

Hybrid precoding has been recently proposed as a cost-effective transceiver solution for millimeter wave (mm-wave) systems. While the number of radio frequency (RF) chains has been effectively reduced in existing works, a large number of high-precision phase shifters are still needed. Practical phase shifters are with coarsely quantized phases, and their number should be reduced to a minimum due to cost and power consideration. In this paper, we propose a novel hardware-efficient implementation for hybrid precoding, called the fixed phase shifter (FPS) implementation. It only requires a small number of phase shifters with quantized and fixed phases. To enhance the spectral efficiency, a switch network is put forward to provide dynamic connections from phase shifters to antennas, which is adaptive to the channel states. An effective alternating minimization (AltMin) algorithm is developed with closed-form solutions in each iteration to determine the hybrid precoder and the states of switches. Moreover, to further reduce the hardware complexity, a group-connected mapping strategy is proposed to reduce the number of switches. Simulation results show that the FPS fully-connected hybrid precoder achieves higher hardware efficiency with much fewer phase shifters than existing proposals. Furthermore, the group-connected mapping achieves a good balance between spectral efficiency and hardware complexity.

cs.IT↗

arXiv2018

Integrating quantum key distribution with classical communications in backbone fiber network

Quantum key distribution (QKD) provides information-theoretic security based on the laws of quantum mechanics. The desire to reduce costs and increase robustness in real-world applications has motivated the study of coexistence between QKD and intense classical data traffic in a single fiber. Previous works on coexistence in metropolitan areas have used wavelength-division multiplexing, however, coexistence in backbone fiber networks remains a great experimental challenge, as Tbps data of up to 20 dBm optical power is transferred, and much more noise is generated for QKD. Here we present for the first time, to the best of our knowledge, the integration of QKD with a commercial backbone network of 3.6 Tbps classical data at 21 dBm launch power over 66 km fiber. With 20 GHz pass-band filtering and large effective core area fibers, real-time secure key rates can reach 4.5 kbps and 5.1 kbps for co-propagation and counter-propagation at the maximum launch power, respectively. This demonstrates feasibility and represents an important step towards building a quantum network that coexists with the current backbone fiber infrastructure of classical communications.

quant-ph↗

arXiv2018

Spin-glass ground state in a triangular-lattice compound YbZnGaO$_4$

We report on comprehensive results identifying the ground state of a triangular-lattice structured YbZnGaO$_4$ to be spin glass, including no long-range magnetic order, prominent broad excitation continua, and absence of magnetic thermal conductivity. More crucially, from the ultralow-temperature a.c. susceptibility measurements, we unambiguously observe frequency-dependent peaks around 0.1 K, indicating the spin-glass ground state. We suggest this conclusion to hold also for its sister compound YbMgGaO$_4$, which is confirmed by the observation of spin freezing at low temperatures. We consider disorder and frustration to be the main driving force for the spin-glass phase.

cond-mat.str-el↗

arXiv2018

Neutron star mergers as a probe of modifications of general relativity with finite-range scalar forces

Observations of gravitational radiation from compact binary systems provide an unprecedented opportunity to test General Relativity in the strong field dynamical regime. In this paper, we investigate how future observations of gravitational radiation from binary neutron star mergers might provide constraints on finite-range forces from a universally coupled massive scalar field. Such scalar degrees of freedom are a characteristic feature of many extensions of General Relativity. For concreteness, we work in the context of metric $f(R)$ gravity, which is equivalent to General Relativity and a universally coupled scalar field with a non-linear potential whose form is fixed by the choice of $f(R)$. In theories where neutron stars (or other compact objects) obtain a significant scalar charge, the resulting attractive finite-range scalar force has implications for both the inspiral and merger phases of binary systems. We first present an analysis of the inspiral dynamics in Newtonian limit, and forecast the constraints on the mass of the scalar and charge of the compact objects for the Advanced LIGO gravitational wave observatory. We then perform a comparative study of binary neutron star mergers in General Relativity with those of a one-parameter model of $f(R)$ gravity using fully relativistic hydrodynamical simulations. These simulations elucidate the effects of the scalar on the merger and post-merger dynamics. We comment on the utility of the full waveform (inspiral, merger, post-merger) to probe different regions of parameter space for both the particular model of $f(R)$ gravity studied here and for finite-range scalar forces more generally.

gr-qc↗

arXiv2018

18-qubit entanglement with photon's three degrees of freedom

A central theme in quantum information science is to coherently control an increasing number of quantum particles as well as their internal and external degrees of freedom (DoFs), meanwhile maintaining a high level of coherence. The ability to create and verify multiparticle entanglement with individual control and measurement of each qubit serves as an important benchmark for quantum technologies. To this end, genuine multipartite entanglement have been reported up to 14 trapped ions, 10 photons, and 10 superconducting qubits. Here, we experimentally demonstrate an 18-qubit Greenberger-Horne-Zeilinger (GHZ) entanglement by simultaneous exploiting three different DoFs of six photons, including their paths, polarization, and orbital angular momentum (OAM). We develop high-stability interferometers for reversible quantum logic operations between the photon's different DoFs with precision and efficiencies close to unity, enabling simultaneous readout of 262,144 outcome combinations of the 18-qubit state. A state fidelity of 0.708(16) is measured, confirming the genuine entanglement of all the 18 qubits.

quant-ph↗

arXiv2017

A non-biased trust model for wireless mesh networks

Trust models that rely on recommendation trusts are vulnerable to badmouthing and ballot-stuffing attacks. To cope with these attacks, existing trust models use different trust aggregation techniques to process the recommendation trusts and combine them with the direct trust values to form a combined trust value. However, these trust models are biased as recommendation trusts that deviate too much from one's own opinion are discarded. In this paper, we propose a non-biased trust model that considers every recommendation trusts available regardless they are good or bad. Our trust model is based on a combination of 2 techniques: the dissimilarity test and the Dempster-Shafer Theory. The dissimilarity test determines the amount of conflict between 2 trust records, whereas the Dempster-Shafer Theory assigns belief functions based on the results of the dissimilarity test. Numerical results show that our trust model is robust against reputation-based attacks when compared to trust aggregation techniques such as the linear opinion pooling, subjective logic model, entropy-based probability model, and regression analysis. In addition, our model has been extensively tested using network simulator NS-3 in an Infrastructure-based wireless mesh networks and a Hybrid-based wireless mesh networks to demonstrate that it can mitigate blackhole and grayhole attacks.

cs.CR↗

arXiv2017

A Secure and Authenticated Key Management Protocol (SA-KMP) for Vehicular Networks

Public key infrastructure (PKI) is the most widely used security mechanism for securing communications over the network. However, there are known performance issues, making it unsuitable for use in vehicular networks. In this paper, we propose a secure and authenticated key management protocol (SA-KMP) to overcome the shortcomings of the PKI. The SA-KMP scheme distributes repository containing the bindings of the en-tity's identity and its corresponding public key to each vehicle and road side unit. By doing so, certificate exchanges and certificate revocation lists are eliminated. Furthermore, the SA-KMP scheme uses symmetric keys derived based on a 3-D-matrix-based key agreement scheme to reduce the high computational costs of using asymmetric cryptography. We demonstrate the efficiency of the SA-KMP through performance evaluations in terms of transmission and storage overhead, network latency, and key generation time. Analytical results show that the SA-KMP is more scalable and outperforms the certificate-based PKI. Simulation results indicate that the key generation time of the SA-KMP scheme is less than that of the existing Elliptic Curve Diffie--Hellman and Diffie--Hellman protocols. In addition, we use Proverif to prove that the SA-KMP scheme is secure against an active attacker under the Dolev and Yao model and further show that the SA-KMP scheme is secure against denial of service, collusion attacks, and a wide range of other malicious attacks.

cs.CR↗

arXiv2017

Removing the Impact of Correlated PSF Uncertainties in Weak Lensing

Accurate reconstruction of the spatial distributions of the Point Spread Function (PSF) is crucial for high precision cosmic shear measurements. Nevertheless, current methods are not good at recovering the PSF fluctuations of high spatial frequencies. In general, the residual PSF fluctuations are spatially correlated, therefore can significantly contaminate the correlation functions of the weak lensing signals. We propose a method to correct for this contamination statistically, without any assumptions on the PSF and galaxy morphologies or their spatial distribution. We demonstrate our idea with the data from the W2 field of CFHTLenS.

astro-ph.CO↗

arXiv2017

An accurate centroid algorithm for PSF reconstruction

In this work, we present a novel centroiding method based on Fourier space Phase Fitting(FPF) for Point Spread Function(PSF) reconstruction. We generate two sets of simulations to test our method. The first set is generated by GalSim with elliptical Moffat profile and strong anisotropy which shifts the center of the PSF. The second set of simulation is drawn from CFHT i band stellar imaging data. We find non-negligible anisotropy from CFHT stellar images, which leads to $\sim$0.08 scatter in unit of pixels using polynomial fitting method Vakili and Hogg (2016). And we apply FPF method to estimate the centroid in real space, this scatter reduces to $\sim$0.04 in SNR=200 CFHT like sample. In low SNR (50 and 100) CFHT like samples, the background noise dominates the shifting of the centroid, therefore the scatter estimated from different methods are similar. We compare polynomial fitting and FPF using GalSim simulation with optical anisotropy. We find that in all SNR$\sim$50, 100 and 200) samples, FPF performs better than polynomial fitting by a factor of $\sim$3. In general, we suggest that in real observations there are anisotropy which shift the centroid, and FPF method is a better way to accurately locate it.

astro-ph.IM↗

arXiv2017

Galaxy-galaxy weak-lensing measurement from SDSS: II. host halo properties of galaxy groups

As the second paper of a series on studying galaxy-galaxy lensing signals using the Sloan Digital Sky Survey Data Release 7 (SDSS DR7), we present our measurement and modelling of the lensing signals around groups of galaxies. We divide the groups into four halo mass bins, and measure the signals around four different halo-center tracers: brightest central galaxy (BCG), luminosity-weighted center, number-weighted center and X-ray peak position. For X-ray and SDSS DR7 cross identified groups, we further split the groups into low and high X-ray emission subsamples, both of which are assigned with two halo-center tracers, BCGs and X-ray peak positions. The galaxy-galaxy lensing signals show that BCGs, among the four candidates, are the best halo-center tracers. We model the lensing signals using a combination of four contributions: off-centered NFW host halo profile, sub-halo contribution, stellar contribution, and projected 2-halo term. We sample the posterior of 5 parameters i.e., halo mass, concentration, off-centering distance, sub halo mass, and fraction of subhalos via a MCMC package using the galaxy-galaxy lensing signals. After taking into account the sampling effects (e.g. Eddington bias), we found the best fit halo masses obtained from lensing signals are quite consistent with those obtained in the group catalog based on an abundance matching method, except in the lowest mass bin. Subject headings: (cosmology:) gravitational lensing, galaxies: clusters: general

astro-ph.CO↗

arXiv2017

Deep Learning for identifying radiogenomic associations in breast cancer

Purpose: To determine whether deep learning models can distinguish between breast cancer molecular subtypes based on dynamic contrast-enhanced magnetic resonance imaging (DCE-MRI). Materials and methods: In this institutional review board-approved single-center study, we analyzed DCE-MR images of 270 patients at our institution. Lesions of interest were identified by radiologists. The task was to automatically determine whether the tumor is of the Luminal A subtype or of another subtype based on the MR image patches representing the tumor. Three different deep learning approaches were used to classify the tumor according to their molecular subtypes: learning from scratch where only tumor patches were used for training, transfer learning where networks pre-trained on natural images were fine-tuned using tumor patches, and off-the-shelf deep features where the features extracted by neural networks trained on natural images were used for classification with a support vector machine. Network architectures utilized in our experiments were GoogleNet, VGG, and CIFAR. We used 10-fold crossvalidation method for validation and area under the receiver operating characteristic (AUC) as the measure of performance. Results: The best AUC performance for distinguishing molecular subtypes was 0.65 (95% CI:[0.57,0.71]) and was achieved by the off-the-shelf deep features approach. The highest AUC performance for training from scratch was 0.58 (95% CI:[0.51,0.64]) and the best AUC performance for transfer learning was 0.60 (95% CI:[0.52,0.65]) respectively. For the off-the-shelf approach, the features extracted from the fully connected layer performed the best. Conclusion: Deep learning may play a role in discovering radiogenomic associations in breast cancer.

cs.CV↗