arXiv subjects

Zhe Wang

Publications and source records attributed to Zhe Wang.

At least 703 records · Page 39Linked to original sources

arXiv2014

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies

Answering conjunctive queries (CQs) over a set of facts extended with existential rules is a prominent problem in knowledge representation and databases. This problem can be solved using the chase algorithm, which extends the given set of facts with fresh facts in order to satisfy the rules. If the chase terminates, then CQs can be evaluated directly in the resulting set of facts. The chase, however, does not terminate necessarily, and checking whether the chase terminates on a given set of rules and facts is undecidable. Numerous acyclicity notions were proposed as sufficient conditions for chase termination. In this paper, we present two new acyclicity notions called model-faithful acyclicity (MFA) and model-summarising acyclicity (MSA). Furthermore, we investigate the landscape of the known acyclicity notions and establish a complete taxonomy of all notions known to us. Finally, we show that MFA and MSA generalise most of these notions. Existential rules are closely related to the Horn fragments of the OWL 2 ontology language; furthermore, several prominent OWL 2 reasoners implement CQ answering by using the chase to materialise all relevant facts. In order to avoid termination problems, many of these systems handle only the OWL 2 RL profile of OWL 2; furthermore, some systems go beyond OWL 2 RL, but without any termination guarantees. In this paper we also investigate whether various acyclicity notions can provide a principled and practical solution to these problems. On the theoretical side, we show that query answering for acyclic ontologies is of lower complexity than for general ontologies. On the practical side, we show that many of the commonly used OWL 2 ontologies are MSA, and that the number of facts obtained by materialisation is not too large. Our results thus suggest that principled development of materialisation-based OWL 2 reasoners is practically feasible.

cs.DB↗

arXiv2014

Iterative Dynamic Water-filling for Fading Multiple-Access Channels with Energy Harvesting

In this paper, we develop optimal energy scheduling algorithms for $N$-user fading multiple-access channels with energy harvesting to maximize the channel sum-rate, assuming that the side information of both the channel states and energy harvesting states for $K$ time slots is known {\em a priori}, and the battery capacity and the maximum energy consumption in each time slot are bounded. The problem is formulated as a convex optimization problem with ${\cal O}(NK)$ constraints making it hard to solve using a general convex solver since the computational complexity of a generic convex solver is exponential in the number of constraints. This paper gives an efficient energy scheduling algorithm, called the iterative dynamic water-filling algorithm, that has a computational complexity of ${\cal O}(NK^2)$ per iteration. For the single-user case, a dynamic water-filling method is shown to be optimal. Unlike the traditional water-filling algorithm, in dynamic water-filling, the water level is not constant but changes when the battery overflows or depletes. An iterative version of the dynamic water-filling algorithm is shown to be optimal for the case of multiple users. Even though in principle the optimality is achieved under large number of iterations, in practice convergence is reached in only a few iterations. Moreover, a single iteration of the dynamic water-filling algorithm achieves a sum-rate that is within $(N-1)K/2$ nats of the optimal sum-rate.

cs.IT↗

arXiv2014

Power Allocation for Energy Harvesting Transmitter with Causal Information

We consider power allocation for an access-controlled transmitter with energy harvesting capability based on causal observations of the channel fading state. We assume that the system operates in a time-slotted fashion and the channel gain in each slot is a random variable which is independent across slots. Further, we assume that the transmitter is solely powered by a renewable energy source and the energy harvesting process can practically be predicted. With the additional access control for the transmitter and the maximum power constraint, we formulate the stochastic optimization problem of maximizing the achievable rate as a Markov decision process (MDP) with continuous state. To efficiently solve the problem, we define an approximate value function based on a piecewise linear fit in terms of the battery state. We show that with the approximate value function, the update in each iteration consists of a group of convex problems with a continuous parameter. Moreover, we derive the optimal solution to these convex problems in closed-form. Further, we propose power allocation algorithms for both the finite- and infinite-horizon cases, whose computational complexity is significantly lower than that of the standard discrete MDP method but with improved performance. Extension to the case of a general payoff function and imperfect energy prediction is also considered. Finally, simulation results demonstrate that the proposed algorithms closely approach the optimal performance.

cs.IT↗

arXiv2014

MRF denoising with compressed sensing and adaptive filtering

The recently proposed Magnetic Resonance Fingerprinting (MRF) technique can simultaneously estimate multiple parameters through dictionary matching. It has promising potentials in a wide range of applications. However, MRF introduces errors due to undersampling during the data acquisition process and the limit of dictionary resolution. In this paper, we investigate the error source of MRF and propose the technologies of improving the quality of MRF with compressed sensing, error prediction by decision trees, and adaptive filtering. Experimental results support our observations and show significant improvement of the proposed technologies.

cs.IT↗

arXiv2013

A Coherent Ising Machine Based On Degenerate Optical Parametric Oscillators

A degenerate optical parametric oscillator network is proposed to solve the NP-hard problem of finding a ground state of the Ising model. The underlying operating mechanism originates from the bistable output phase of each oscillator and the inherent preference of the network in selecting oscillation modes with the minimum photon decay rate. Computational experiments are performed on all instances reducible to the NP-hard MAX-CUT problems on cubic graphs of order up to 20. The numerical results reasonably suggest the effectiveness of the proposed network.

quant-ph↗

arXiv2013

Orbital-selective metal-insulator transition and gap formation above Tc in superconducting Rb1-xFe2-ySe2

We report on a hierarchy of temperatures Tc < Tgap < Tmet in superconducting Rb1-xFe2-ySe2 observed by THz spectroscopy. Above Tmet = 90 K the material reveals semiconducting characteristics. Below Tmet a coherent metallic THz response emerges. This metal-to-insulator type, orbital selective transition is clearly indicated by an isosbestic point in the temperature dependence of the optical conductivity and dielectric constant at THz-frequencies. At Tgap = 61 K a gap opens in the THz regime and then the superconducting transition occurs at Tc = 32 K. This sequence of temperatures seems to reflect a corresponding hierarchy of the electronic correlations in the different bands.

cond-mat.supr-con↗

arXiv2013

Exciton-magnon transitions in the frustrated chromium antiferromagnets CuCrO2, alpha-CaCr2O4, CdCr2O4, and ZnCr2O4

We report on optical transmission spectroscopy of the Cr-based frustrated triangular antiferromagnets CuCrO2 and alpha-CaCr2O4, and the spinels CdCr2O4 and ZnCr2O4 in the near-infrared to visible-light frequency range. We explore the possibility to search for spin correlations far above the magnetic ordering temperature and for anomalies in the magnon lifetime in the magnetically ordered state by probing exciton-magnon sidebands of the spin-forbidden crystal-field transitions of the Cr3+ ions (spin S = 3/2). In CuCrO2 and alpha-CaCr2O4 the appearance of fine structures below T_N is assigned to magnon sidebands by comparison with neutron scattering results. The temperature dependence of the line width of the most intense sidebands in both compounds can be described by an Arrhenius law. For CuCrO2 the sideband associated with the 4A2 -> 2T2 transition can be observed even above T_N. Its line width does not show a kink at the magnetic ordering temperature and can alternatively be described by a Z2 vortex scenario proposed previously for similar materials. The exciton-magnon features in alpha-CaCr2O4 are more complex due to the orthorhombic distortion. While for CdCr2O4 magnon sidebands are identified below T_N and one sideband excitation is found to persist across the magnetic ordering transition, only a weak fine structure related to magnetic ordering has been observed in ZnCr2O4.

cond-mat.str-el↗

arXiv2013

Genetic Algorithm with Ensemble Learning for Detecting Community Structure in Complex Networks

Community detection in complex networks is a topic of considerable recent interest within the scientific community. For dealing with the problem that genetic algorithm are hardly applied to community detection, we propose a genetic algorithm with ensemble learning (GAEL) for detecting community structure in complex networks. GAEL replaces its traditional crossover operator with a multi-individual crossover operator based on ensemble learning. Therefore, GAEL can avoid the problems that are brought by traditional crossover operator which is only able to mix string blocks of different individuals, but not able to recombine clustering contexts of different individuals into new better ones. In addition, the local search strategy, which makes mutated node be placed into the community where most of its neighbors are, is used in mutation operator. At last, a Markov random walk based method is used to initialize population in this paper, and it can provide us a population of accurate and diverse clustering solutions. Those diverse and accurate individuals are suitable for ensemble learning based multi-individual crossover operator. The proposed GAEL is tested on both computer-generated and real-world networks, and compared with current representative algorithms for community detection in complex networks. Experimental results demonstrate that GAEL is highly effective at discovering community structure.

cs.SI↗

arXiv2013

Low-energy magnetic excitations in the quasi-one-dimensional spin-1 chain compound SrNi2V2O8

Multi-frequency electron spin resonance (ESR) transmission spectra have been measured as function of temperature and magnetic field on single crystals of the quasi-one-dimensional spin-1 chain compound SrNi2V2O8 in the GHz frequency range. Magnetic resonance modes above 50 K have been observed with an effective g-factor of 2.24 at 100 K. Below 30 K, intra-triplet excitations have been observed in the ESR spectra, which reveal the presence of single-ion anisotropy with D = -0.29 meV.

cond-mat.str-el↗

arXiv2013

Real Space Renormalization in Statistical Mechanics

This paper discusses methods for the construction of approximate real space renormalization transformations in statistical mechanics. In particular, it compares two methods of transformation: the "potential-moving" approach most used in the period 1975-1980 and the "rewiring method" as it has been developed in the last five years. These methods both employ a parameter, called χ, that measures the complexity of the localized stochastic variable forming the basis of the analysis. Both methods are here exemplified by calculations in terms of fixed points for the smallest possible values of χ. These calculations describe three models for two-dimensional systems: The Ising model solved by Onsager, the tricritical point of that model, and the three-state Potts model. The older method, often described as lower bound renormalization theory, provides a heuristic method giving reasonably accurate results for critical indices at the lowest degree of complexity, i.e. χ=2. In contrast, the rewiring method, employing "singular value decomposition", does not perform as well for low χvalues but offers an error that apparently decreases slowly toward zero as χis increased. It appears likely that no such improvement occurs in the older approach. A detailed comparison of the two methods is performed, with a particular eye to describing the reasons why they are so different. For example, the old method quite naturally employed fixed points for its analysis; these are hard to use in the newer approach. A discussion is given of why the fixed point approach proves to be hard in this context. In the new approach the calculated the thermal critical indices are satisfactory for the smallest values of χbut hardly improve as χis increased, while the magnetic critical indices do not agree well with the known theoretical values.

cond-mat.stat-mech↗

arXiv2012

An Improved Traffic Matrix Decomposition Method with Frequency-Domain Regularization

We propose a novel network traffic matrix decomposition method named Stable Principal Component Pursuit with Frequency-Domain Regularization (SPCP-FDR), which improves the Stable Principal Component Pursuit (SPCP) method by using a frequency-domain noise regularization function. An experiment demonstrates the feasibility of this new decomposition method.

cs.NI↗

arXiv2012

THz spectroscopy in the pseudo-Kagome system Cu3Bi(SeO3)2O2Br

Terahertz (THz) transmission spectra have been measured as function of temperature and magnetic field on single crystals of Cu3Bi(SeO3)2O2Br. In the time-domain THz spectra without magnetic field, two resonance absorptions are observed below the magnetic ordering temperature T_N~27.4 K. The corresponding resonance frequencies increase with decreasing temperature and reach energies of 1.28 and 1.23 meV at 3.5 K. Multi-frequency electron spin resonance transmission spectra as a function of applied magnetic field show the field dependence of four magnetic resonance modes, which can be modeled as a ferromagnetic resonance including demagnetization and anisotropy effects.

cond-mat.str-el↗

arXiv2012

Electron spin resonance and exchange paths in the orthorhombic dimer system Sr2VO4

We report on magnetization and electron spin resonance (ESR) measurements of Sr$_{2}$VO$_4$ with orthorhombic symmetry. In this dimer system the $V^{4+}$ ions are in tetrahedral environment and are coupled by an antiferromagnetic intra-dimer exchange constant $J/k_B \approx$ 100 K to form a singlet ground state without any phase transitions between room temperature and 2 K. Based on an extended-Hückel-Tight-Binding analysis we identify the strongest exchange interaction to occur between two inequivalent vanadium sites via two intermediate oxygen ions. The ESR absorption spectra can be well described by a single Lorentzian line with an effective g-factor $g$ = 1.89. The temperature dependence of the ESR intensity is well described by a dimer model in agreement with the magnetization data. The temperature dependence of the ESR linewidth can be modeled by a superposition of a linear increase with temperature with a slope $α$ = 1.35 Oe/K and a thermally activated behavior with an activation energy $Δ/k_B$ = 1418 K, both of which point to spin-phonon coupling as the dominant relaxation mechanism in this compound.

cond-mat.str-el↗

arXiv2012

Phonon-induced dephasing of chromium colour centres in diamond

We report on the coherence properties of single photons from chromium-based colour centres in diamond. We use field-correlation and spectral lineshape measurements to reveal the interplay between slow spectral wandering and fast dephasing mechanisms as a function of temperature. We show that the zero-phonon transition frequency and its linewidth follow a power-law dependence on temperature indicating that the dominant fast dephasing mechanisms for these centres are direct electron-phonon coupling and phonon-modulated Coulomb coupling to nearby impurities. Further, the observed reduction in the quantum yield for photon emission as a function of temperature is consistent with the opening of additional nonradiative channels through thermal activation to higher energy states predominantly and indicates a near-unity quantum efficiency at 4 K.

cond-mat.mes-hall↗

arXiv2012

Infrared phonons and specific heat in Ba3Cr2O8

We report on the phonon spectrum of Ba3Cr2O8 determined by infrared spectroscopy, and on specific heat measurements across the Jahn-Teller transition in magnetic fields up to 9 T. Phonon modes split below the Jahn-Teller transition, which occurs at T_{JT} = 70 K as detected by specific heat measurements. The field-dependent specific heat data is analyzed in terms of the contributions from lattice, magnetic and orbital degrees of freedom. In contrast to the isostructural compound Sr3Cr2O8 our analysis does not indicate the existence of orbital fluctuations below the Jahn-Teller transition in Ba3Cr2O8.

cond-mat.str-el↗

arXiv2012

Orbital fluctuations and orbital order below the Jahn-Teller transition in Sr3Cr2O8

We report on the magnetic and phononic excitation spectrum of Sr3Cr2O8 determined by THz and infrared (IR) spectroscopy, and electron spin resonance (ESR) measurements across the Jahn-Teller transition, which is detected by specific-heat measurements to occur at T_{JT} = 285 K. We identify the singlet-triplet excitations in the dimerized ground state and estimate the exchange couplings in the system. Moreover, ESR absorptions were observed up to T* = 120 K with a linewidth proportional to exp{-Delta/k_{B}T} and Delta/k_{B} = 388 K indicating a phonon-mediated spin relaxation via the excited orbital state of the Cr $e$ doublet in the orbitally ordered state. In contrast to the expected drastic change of the IR active phonons upon entering the low-symmetry Jahn-Teller distorted phase below T_{JT}, we find an extended regime T*<T<T_{JT} where the IR active phonons change only gradually with decreasing temperature. This regime is associated with strong fluctuations in the orbital and lattice degrees of freedom in agreement with the loss of the ESR signal above T*. Using the measured magnetic and phononic excitation spectrum we model the orbital contribution to the specific heat and find the persistence of strong fluctuations far below T_{JT}.

cond-mat.str-el↗

arXiv2012

Structural Analysis of Network Traffic Matrix via Relaxed Principal Component Pursuit

The network traffic matrix is widely used in network operation and management. It is therefore of crucial importance to analyze the components and the structure of the network traffic matrix, for which several mathematical approaches such as Principal Component Analysis (PCA) were proposed. In this paper, we first argue that PCA performs poorly for analyzing traffic matrix that is polluted by large volume anomalies, and then propose a new decomposition model for the network traffic matrix. According to this model, we carry out the structural analysis by decomposing the network traffic matrix into three sub-matrices, namely, the deterministic traffic, the anomaly traffic and the noise traffic matrix, which is similar to the Robust Principal Component Analysis (RPCA) problem previously studied in [13]. Based on the Relaxed Principal Component Pursuit (Relaxed PCP) method and the Accelerated Proximal Gradient (APG) algorithm, we present an iterative approach for decomposing a traffic matrix, and demonstrate its efficiency and flexibility by experimental results. Finally, we further discuss several features of the deterministic and noise traffic. Our study develops a novel method for the problem of structural analysis of the traffic matrix, which is robust against pollution of large volume anomalies.

cs.NI↗

arXiv2011

Magnetization and specific heat of the dimer system CuTe2O5

We report on magnetization and specific heat measurements on single-crystalline CuTe2O5. The experimental data are directly compared to theoretical results for two different spin structures, namely an alternating spin-chain and a two-dimensional (2D) coupled dimer model, obtained by Das et al. [Phys. Rev. B 77, 224437 (2008)]. While the analysis of the specific heat does not allow to distinguish between the two models, the magnetization data is in good agreement with the 2D coupled dimer model.

cond-mat.str-el↗