Still searching Arxiv, refresh for possibly better results.

Results for "Kezhi Wang"

total 39528took 0.09s
Aqua Computing: Coupling Computing and CommunicationsOct 25 2015The authors introduce a new vision for providing computing services for connected devices. It is based on the key concept that future computing resources will be coupled with communication resources, for enhancing user experience of the connected users, ... More
Outage Probability of Dual-Hop Selective AF With Randomly Distributed and Fixed InterferersOct 04 2014The outage probability performance of a dual-hop amplify-and-forward selective relaying system with global relay selection is analyzed for Nakagami-$m$ fading channels in the presence of multiple interferers at both the relays and the destination. Two ... More
Joint Energy Minimization and Resource Allocation in C-RAN with Mobile CloudSep 01 2015Jan 25 2016Cloud radio access network (C-RAN) has emerged as a potential candidate of the next generation access network technology to address the increasing mobile traffic, while mobile cloud computing (MCC) offers a prospective solution to the resource-limited ... More
A balanced rail-to-rail all digital comparator using only standard cellsSep 17 2015May 10 2016An all-digital comparator with full input range is presented. It outperforms the nowaday all-digital comparators with its large rail-to-rail input range. This is achieved by the proposed Yin-yang balance mechanism between the two logic gates: NAND3 and ... More
Proportional fairness in wireless powered CSMA/CA based IoT networksOct 24 2018This paper considers the deployment of a hybrid wireless data/power access point in an 802.11-based wireless powered IoT network. The proportionally fair allocation of throughputs across IoT nodes is considered under the constraints of energy neutrality ... More
Optimal Task Allocation in Near-Far Computing Enhanced C-RAN for Wireless Big Data ProcessingNov 21 2017With the increasing popularity of user equipments (UEs), the corresponding UEs' generating big data (UGBD) is also growing substantially, which makes both UEs and current network structures struggling in processing those data and applications. This paper ... More
Energy Efficient Resource Allocation in UAV-Enabled Mobile Edge Computing NetworksFeb 08 2019Feb 13 2019In this paper, we consider the sum power minimization problem via jointly optimizing user association, power control, computation capacity allocation and location planning in a mobile edge computing (MEC) network with multiple unmanned aerial vehicles ... More
MIMO Channel Information Feedback Using Deep Recurrent NetworkNov 19 2018In a multiple-input multiple-output (MIMO) system, the availability of channel state information (CSI) at the transmitter is essential for performance improvement. Recent convolutional neural network (NN) based techniques show competitive ability in realizing ... More
Unified Offloading Decision Making and Resource Allocation in ME-RANMay 29 2017Jun 26 2018In order to support communication and computation cooperation, we propose ME-RAN architecture, which consists of mobile edge cloud (ME) as the computation provision platform and radio access network (RAN) as the communication interface. Cooperative offloading ... More
Energy Efficient Resource Allocation in UAV-Enabled Mobile Edge Computing NetworksFeb 08 2019In this paper, we consider the sum power minimization problem via jointly optimizing user association, power control, computation capacity allocation and location planning in a mobile edge computing (MEC) network with multiple unmanned aerial vehicles ... More
Computation Diversity in Emerging Networking ParadigmsJan 21 2017May 09 2017Nowadays, computation is playing an increasingly more important role in the future generation of computer and communication networks, as exemplified by the recent progress in software defined networking (SDN) for wired networks as well as cloud radio ... More
A Brief Survey of Image Processing Algorithms in Electrical Capacitance TomographyOct 15 2015To study the fundamental physics of complex multiphase flow systems using advanced measurement techniques, especially the electrical capacitance tomography (ECT) approach, this article carries out an initial literature review of the ECT method from a ... More
Convolutional Recurrent Neural Networks for Glucose PredictionJul 09 2018Feb 25 2019Control of blood glucose is essential for diabetes management. Current digital therapeutic approaches for subjects with Type 1 diabetes mellitus (T1DM) such as the artificial pancreas and insulin bolus calculators leverage machine learning techniques ... More
RL-Based User Association and Resource Allocation for Multi-UAV enabled MECApr 08 2019In this paper, multi-unmanned aerial vehicle (UAV) enabled mobile edge computing (MEC), i.e., UAVE is studied, where several UAVs are deployed as flying MEC platform to provide computing resource to ground user equipments (UEs). Compared to the traditional ... More
Deep Learning and Its Applications to Machine Health Monitoring: A SurveyDec 16 2016Since 2006, deep learning (DL) has become a rapidly growing research direction, redefining state-of-the-art performances in a wide range of areas such as object recognition, image segmentation, speech recognition and machine translation. In modern manufacturing ... More
A Resource Management Protocol for Mobile Cloud Using Auto-ScalingJan 02 2017Jan 20 2017Cloud radio access networks (C-RAN) and Mobile Cloud Computing (MCC) have emerged as promising candidates for the next generation access network techniques. MCC enables resource limited mobile devices to offload computationally intensive tasks to the ... More
A Nonlinear Weighted Total Variation Image Reconstruction Algorithm for Electrical Capacitance TomographyMar 02 2016Nov 21 2016A new iterative image reconstruction algorithm for electrical capacitance tomography (ECT) is proposed that is based on iterative soft thresholding of a total variation penalty and adaptive reweighted compressive sensing. This algorithm encourages sharp ... More
State of the Art and Prospects of Structured Sensing Matrices in Compressed SensingAug 07 2014Compressed sensing (CS) enables people to acquire the compressed measurements directly and recover sparse or compressible signals faithfully even when the sampling rate is much lower than the Nyquist rate. However, the pure random sensing matrices usually ... More
A Robust Compressive Quantum State Tomography Algorithm Using ADMMJan 25 2014The possible state space dimension increases exponentially with respect to the number of qubits. This feature makes the quantum state tomography expensive and impractical for identifying the state of merely several qubits. The recent developed approach, ... More
A Nonlinear Weighted Total Variation Image Reconstruction Algorithm for Electrical Capacitance TomographyMar 02 2016Based on the techniques of iterative soft thresholding on total variation penalty and adaptive reweighted compressive sensing, a new iterative reconstruction algorithm for electrical capacitance tomography (ECT) is proposed. This algorithm encourages ... More
Supervised Fine Tuning for Word Embedding with Integrated KnowledgeMay 29 2015Learning vector representation for words is an important research field which may benefit many natural language processing tasks. Two limitations exist in nearly all available models, which are the bias caused by the context definition and the lack of ... More
Orthogonal symmetric Toeplitz matrices for compressed sensing: Statistical isometry propertyDec 29 2010Oct 24 2012Recently, the statistical restricted isometry property (RIP) has been formulated to analyze the performance of deterministic sampling matrices for compressed sensing. In this paper, we propose the usage of orthogonal symmetric Toeplitz matrices (OSTM) ... More
Convolutional Compressed Sensing Using Deterministic SequencesOct 28 2012In this paper, a new class of circulant matrices built from deterministic sequences is proposed for convolution-based compressed sensing (CS). In contrast to random convolution, the coefficients of the underlying filter are given by the discrete Fourier ... More
Piecewise Toeplitz Matrices-based Sensing for Rank MinimizationJun 01 2014This paper proposes a set of piecewise Toeplitz matrices as the linear mapping/sensing operator $\mathcal{A}: \mathbf{R}^{n_1 \times n_2} \rightarrow \mathbf{R}^M$ for recovering low rank matrices from few measurements. We prove that such operators efficiently ... More
Alternating Strategies Are Good For Low-Rank Matrix ReconstructionJul 12 2014This article focuses on the problem of reconstructing low-rank matrices from underdetermined measurements using alternating optimization strategies. We endeavour to combine an alternating least-squares based estimation strategy with ideas from the alternating ... More
Modeling study on the validity of a possibly simplified representation of proteinsJun 23 2000The folding characteristics of sequences reduced with a possibly simplified representation of five types of residues are shown to be similar to their original ones with the natural set of residues (20 types or 20 letters). The reduced sequences have a ... More
Study of the single neutral top-pion production process at $γγ$ colliderOct 29 2005Nov 18 2005$\gamma\gamma\to \Pi_t^0$ is the major production mechanism of neutral top-pion at the linear colliders. In this paper, we calculate the cross section of the process $\gamma\gamma \to \Pi^0_t$ and discuss the potential to observe the neutral top-pion ... More
Exploring the Systematic Uncertainties of Type Ia Supernovae as Cosmological ProbesJun 27 2013Jul 26 2013We explore the systematic uncertainties of using Type Ia supernovae (SNe Ia) as cosmological probes, using the Supernova Legacy Survey Three Year data (SNLS3). We focus on studying the possible evolution of the stretch-luminosity parameter $\alpha$ and ... More
WISE Detection of the Galactic Low-Mass X-Ray BinariesApr 14 2014We report on the results from our search for the Wide-field Infrared Survey Explorer detection of the Galactic low-mass X-ray binaries. Among 187 binaries catalogued in Liu et al. (2007), we find 13 counterparts and two candidate counterparts. For the ... More
Non-flow, and what flow to subtract in jet-correlationOct 20 2009We derive analytical forms for non-flow contributions from cluster correlation to two-particle elliptic flow (v2{2}) measure. We also derive an analytical form for jet-correlation flow-background with the same cluster approach. We argue that the elliptic ... More
Discretization of div-curl Systems by Weak Galerkin Finite Element Methods on Polyhedral PartitionsJan 19 2015In this paper, the authors devise a new discretization scheme for div-curl systems defined in connected domains with heterogeneous media by using the weak Galerkin finite element method. Two types of boundary value problems are considered in the algorithm ... More
Neural Network-Based Abstract Generation for Opinions and ArgumentsJun 09 2016We study the problem of generating abstractive summaries for opinionated text. We propose an attention-based neural network model that is able to absorb information from multiple text units to construct informative, concise, and fluent summaries. An importance-based ... More
Constructing Social Networks From Binary DataJun 11 2018Much of applied network analysis concerns with studying the existing relationships between a set of agents; however, little focus has been given to the considerations of how to represent observed phenomena as a network object. In the case of physical ... More
Integrability of scalar curvature and normal metric on conformally flat manifoldsJul 14 2017On a manifold $(\mathbb{R}^n, e^{2u} |dx|^2)$, we say $u$ is normal if the $Q$-curvature equation that $u$ satisfies $(-\Delta)^{\frac{n}{2}} u = Q_g e^{nu}$ can be written as the integral form $u(x)=\frac{1}{c_n}\int_{\mathbb R^n}\log\frac{|y|}{|x-y|}Q_g(y)e^{nu(y)}dy+C$. ... More
Warped cones and proper affine isometric actions of discrete groups on Banach spacesMay 23 2017Warped cones are metric spaces introduced by John Roe from discrete group actions on compact metric spaces to produce interesting examples in coarse geometry. We show that a certain class of warped cones $\mathcal{O}_\Gamma (M)$ admit a fibred coarse ... More
Geometrical quantities on a fuzzy sphereJul 12 2010In this paper, we consider the geometrical quantities on the fuzzy sphere from the spectral point of view, such as the area and the dimension. We find that, in contract to the standard sphere, the area and the dimension are the functions of the energy ... More
Extreme Negative Dependence and Risk AggregationJul 25 2014We introduce the concept of an extremely negatively dependent (END) sequence of random variables with a given common marginal distribution. The END structure, as a new benchmark for negative dependence, is comparable to comonotonicity and independence. ... More
Entanglement in a second order topological insulator on a square latticeAug 03 2018In a $d$-dimensional topological insulator of order $d$, there are zero energy states on its corners which have close relationship with its entanglement behaviors. We studied the bipartite entanglement spectra for different subsystem shapes and found ... More
Compatible Matrices of Spearman's Rank CorrelationOct 08 2018Apr 03 2019In this paper, we provide a negative answer to a long-standing open problem on the compatibility of Spearman's rho matrices. Following an equivalence of Spearman's rho matrices and linear correlation matrices for dimensions up to 9 in the literature, ... More
Non-flow correlations in a cluster modelDec 05 2008Jun 17 2010We derive analytical forms for nonflow contributions from cluster correlation to the measurement of two-particle elliptic flow (v2{2}). We estimate nonflow contribution from rho->pi+pi decays and find it is negative but not a major contributor to the ... More
Quantization of adiabatic pumped charge in the presence of superconducting leadFeb 20 2002We investigate the parametric electron pumping of a double barrier structure in the presence of a superconducting lead. The parametric pumping is facilitated by cyclic variation of the barrier heights $x_1$ and $x_2$ of the barriers. In the weak coupling ... More
Twisted Dirac Operators and the Noncommutative Residue for Manifolds with BoundaryApr 09 2014In this paper, we give two Lichnerowicz type formulas for Dirac operators and signature operators twisted by a vector bundle with a non-unitary connection. We also prove two Kastler-Kalau-Walze type theorems for twisted Dirac operators and twisted signature ... More
On the boundary between qualitative and quantitative measures of causal effectsNov 13 2017Jul 09 2018Causal relationships among variables are commonly represented via directed acyclic graphs. There are many methods in the literature to quantify the strength of arrows in a causal acyclic graph. These methods, however, have undesirable properties when ... More
Topological Inference of Manifolds with BoundaryOct 12 2018Given a set of data points sampled from some underlying space, there are two important challenges in geometric and topological data analysis when dealing with sampled data: reconstruction -- how to assemble discrete samples into global structures, and ... More
Deterministic Analysis of Weighted BPDN With Partially Known Support InformationMar 03 2019In this paper, with the aid of the powerful Restricted Isometry Constant (RIC), a deterministic (or say non-stochastic) analysis, which includes a series of sufficient conditions (related to the RIC order) and their resultant error estimates, is established ... More
Nonlinear stability of planar rarefaction wave to the three-dimensional Boltzmann equationDec 15 2017Jan 24 2019We investigate the time-asymptotic stability of planar rarefaction wave for the three-dimensional Boltzmann equation, based on the micro-macro decomposition introduced in [24, 22] and our new observations on the underlying wave structures of the equation ... More
On explicit factors of Cyclotomic polynomials over finite fieldsNov 22 2010We study the explicit factorization of $2^n r$-th cyclotomic polynomials over finite field $\mathbb{F}_q$ where $q, r$ are odd with $(r, q) =1$. We show that all irreducible factors of $2^n r$-th cyclotomic polynomials can be obtained easily from irreducible ... More
The parameters of a family of linear codesMar 09 2019A large family of linear codes with flexible parameters from almost bent functions and perfect nonlinear functions are constructed and their parameters are determined. Some constructed linear codes and their related codes are optimal in the sense that ... More
Oseba: Optimization for Selective Bulk Analysis in Big Data ProcessingJul 12 2017Selective bulk analyses, such as statistical learning on temporal/spatial data, are fundamental to a wide range of contemporary data analysis. However, with the increasingly larger data-sets, such as weather data and marketing transactions, the data organization/access ... More
A Hybridized Weak Galerkin Finite Element Method for the Biharmonic EquationFeb 05 2014This paper presents a hybridized formulation for the weak Galerkin finite element method for the biharmonic equation. The hybridized weak Galerkin scheme is based on the use of a Lagrange multiplier defined on the element boundaries. The Lagrange multiplier ... More
An Efficient Numerical Scheme for the Biharmonic Equation by Weak Galerkin Finite Element Methods on Polygonal or Polyhedral MeshesSep 22 2013This paper presents a new and efficient numerical algorithm for the biharmonic equation by using weak Galerkin (WG) finite element methods. The WG finite element scheme is based on a variational form of the biharmonic equation that is equivalent to the ... More
Simplification of protein representation from the contact potentials between residuesOct 19 2000Based on the concept of energy landscape a picture of the mismatch between the reduced interaction matrix of residues and the matrix of statistical contact potentials is presented. For the Miyazawa and Jernigan (MJ) matrix, rational groupings of 20 kinds ... More
Global existence of weak solution for the 2-D Ericksen-Leslie systemMay 03 2013Jun 04 2013We prove the global existence of weak solution for two dimensional Ericksen-Leslie system with the Leslie stress and general Ericksen stress under the physical constrains on the Leslie coefficients. We also prove the local well-posedness of the Ericksen-Leslie ... More
On the Design of Constant Modulus Probing Waveforms with Good Correlation Properties for MIMO Radar via Consensus-ADMM ApproachJan 16 2019In this paper, we design constant modulus probing waveforms with good correlation properties for collocated multi-input multi-output (MIMO) radar systems. The main content is as follows: first, we formulate the design problem as a fourth order polynomial ... More
Global well-posedness and scattering for Derivative Schrödinger equationSep 20 2009Jun 11 2010In this paper we study the Cauchy problem for the elliptic and non-elliptic derivative nonlinear Schr\"odinger equations in higher spatial dimensions ($n\geq 2$) and some global well-posedness results with small initial data in critical Besov spaces $B^s_{2,1}$ ... More
Uniformly bounded components of normalityMar 05 2007Jun 09 2007Suppose that $f(z)$ is a transcendental entire function and that the Fatou set $F(f)\neq\emptyset$. Set $$B_1(f):=\sup_{U}\frac{\sup_{z\in U}\log(|z|+3)}{\inf_{w\in U}\log(|w|+3)}$$ and $$B_2(f):=\sup_{U}\frac{\sup_{z\in U}\log\log(|z|+30)}{\inf_{w\in ... More
Classification of pointed Hopf algebras of dimension $p^2$ over any algebraically closed fieldDec 21 2012Mar 12 2015Let $p$ be a prime. We complete the classification on pointed Hopf algebras of dimension $p^2$ over an algebraically closed field $k$. When $\text{char}k \neq p$, our result is the same as the well-known result for $\text{char}k=0$. When $\text{char}k=p$, ... More
Indicators of Hopf algebras in positive characteristicApr 18 2017Feb 19 2019The notion of $n$-th indicator for a finite-dimensional Hopf algebra was introduced by Kashina, Montgomery and Ng as gauge invariance of the monoidal category of its representations. The properties of these indicators were further investigated by Shimizu. ... More
Forward period analysis and the long term simulation of a periodic Hamiltonian systemOct 23 2014The period of a Morse oscillator and mathematical pendulum system are obtained, accurate to 100 significant digits, by forward period analysis (FPA). From these results, the long-term [0, 10^60] (time unit) solutions, which overlap from the Planck time ... More
Finite Basis for Radical Well-Mixed Difference Ideals Generated by BinomialsOct 22 2016In this paper, we prove a finite basis theorem for radical well-mixed difference ideals generated by binomials. As a consequence, every strictly ascending chain of radical well-mixed difference ideals generated by binomials in a difference polynomial ... More
A theory of nonequilibrium steady states in quantum chaotic systemsJul 18 2016Nonequilibrium steady state (NESS) is a quasistationary state, in which exist currents that continuously produce entropy, but the local observables are stationary everywhere. We propose a theory of NESS under the framework of quantum chaos. In an isolated ... More
The Noncommutative Infinitesimal Equivariant Index FormulaJul 31 2013Mar 17 2015In this paper, we establish an infinitesimal equivariant index formula in the noncommutative geometry framework using Greiner's approach to heat kernel asymptotics. An infinitesimal equivariant index formula for odd dimensional manifolds is also given. ... More
The energy of a deterministic Loewner chain: Reversibility and interpretation via SLE$_{0+}$Jan 20 2016We study some features of the energy of a deterministic chordal Loewner chain, which is defined as the Dirichlet energy of its driving function. In particular, using an interpretation of this energy as a large deviation rate function for SLE$_\kappa$ ... More
A Practical Guide to Randomized Matrix Computations with MATLAB ImplementationsMay 28 2015Nov 03 2015Matrix operations such as matrix inversion, eigenvalue decomposition, singular value decomposition are ubiquitous in real-world applications. Unfortunately, many of these matrix operations so time and memory expensive that they are prohibitive when the ... More
A Suggestion for Modification of Vafa-Witten TheoryDec 05 1995Using the Mathai-Quillen formalism we reexamine the twisted N=4 supersymmetric model of Vafa-Witten theory. Smooth out the relation between the supersymmetric action and the path integral representation of the Thom class.
The excitation operator approach to non-Markovian dynamics of quantum impurity models in the Kondo regimeSep 18 2012We present a numerical method for studying the real time dynamics of a small interacting quantum system coupled to an infinite fermionic reservoir. By building an orthonormal basis in the operator space, we turn the Heisenberg equation of motion into ... More
Variations of Gauss-Codazzi-Ricci Equations in Kaluza-Klein Reduction (String Theory) and Cauchy Problem (General Relativity)May 09 2007We find a kind of variations of Gauss-Codazzi-Ricci equations suitable for Kaluza-Klein reduction and Cauchy problem. Especially the counterpart of extrinsic curvature tensor has antisymmetric part as well as symmetric one. If the dependence of metric ... More
Classification of irreducible modules of W_3 algebra with c = -2Aug 17 1997We construct irreducible modules V_{\alpha}, \alpha \in \C over W_3 algebra with c = -2 in terms of a free bosonic field. We prove that these modules exhaust all the irreducible modules of W_3 algebra with c = -2. Highest weights of modules V_{\alpha}, ... More
W{1+ \infty} algebra, W_3 algebra, and Friedan-Martinec-Shenker bosonizationAug 07 1997We show that the vertex algebra W{1+ \infty} with central charge -1 is isomorphic to a tensor product of the simple W_3 algebra with central charge -2 and a Heisenberg vertex algebra generated by a free bosonic field. We construct a family of irreducible ... More
Michael-Simon inequalities for $k$-th mean curvaturesMay 14 2013This paper continues the study of Alexandrov-Fenchel inequalities for quermassintegrals for $k$-convex domains. It focuses on the application to the Michael-Simon type inequalities for $k$-curvature operators. The proof uses optimal transport maps as ... More
Gravitational Collapse and Black Hole Formation in a BraneworldMay 01 2015In this thesis we present the first numerical study of gravitational collapse in braneworlds within the framework of the single brane model proposed by Randall and Sundrum (RSII). We directly show that the evolutions of sufficiently strong initial data ... More
The automorphism groups of Frobenius Groups, and Relative Elementary Abelian GroupsOct 19 2016Motivated by a problem of characterising a family of Cayley graphs, we determine the full automorphism groups of a class of Frobenius groups. As an application, we characterise a type of finite groups $G$ which behave similarly to elementary abelian $p$-groups ... More
Daya Bay Neutrino Experiment: Goal, Progress and ScheduleSep 15 2011Sep 22 2011Daya Bay Neutrino Experiment is dedicated to measuring the last unobserved neutrino mixing angle theta_13. The predicted precision on sin^2(2theta_13) is 0.01 at 90% confidence level. This document briefly reviews the measurement method and detector construction ... More
Observational Probes of Dark EnergyJan 10 2012Jan 12 2012The cause for the observed acceleration in the expansion of the universe is unknown, and referred to as "dark energy" for convenience. Dark energy could be an unknown energy component, or a modification of Einstein's general relativity. This dictates ... More
Searches for New Physics at the Belle II ExperimentNov 02 2015The Belle II experiment at the SuperKEKB collider is an upgrade of the Belle / KEKB experiment. It will start physics data taking from 2018 and with $40$ times luminosity, its goal is to accumulate 50 $ab^{-1}$ of $e^+e^-$ collision data. The physics ... More
The noncommutative infinitesimal equivariant index formula: part IINov 25 2014Apr 02 2015In this paper, we prove that infinitesimal equivariant Chern-Connes characters are well-defined. We decompose an equivariant index as a pairing of infinitesimal equivariant Chern-Connes characters with the Chern character of an idempotent matrix. We compute ... More
The noncommutative family Atiyah-Patodi-Singer index theoremDec 09 2014Jul 20 2016In this paper, we define the eta cochain form and prove its regularity when the kernel of a family of Dirac operators is a vector bundle. We decompose the eta form as a pairing of the eta cochain form with the Chern character of an idempotent matrix and ... More
An Algebra of Reversible ComputationOct 20 2014May 26 2016We design an axiomatization for reversible computation called reversible ACP (RACP). It has four extendible modules, basic reversible processes algebra (BRPA), algebra of reversible communicating processes (ARCP), recursion and abstraction. Just like ... More
The first terms in the expansion of the Bergman kernel in higher degrees: mixed curvature caseJul 18 2014Aug 25 2014We establish the cancellation of the first |2j-q| terms in the diagonal asymptotic expansion of the restriction to the (0, 2j)-forms of the Bergman kernel associated to the modified spin^c Dirac operator on high tensor powers of a line bundle with mixed ... More
Global Well-posedness of the Relativistic Boltzmann Equation with Large Amplitude Initial DataApr 09 2016Jun 23 2016In this paper, we consider the global well-posedness of the special relativistic Boltzmann equation with large amplitude initial data. We proved the global existence and uniqueness of mild solutions to the relativistic Boltzmann equation in both whole ... More
Fully Abstract Game Semantics for ActorsMar 26 2014Apr 10 2014Along the way paved by the recent concurrent game semantics for process algebra CCS and $\pi$-calculus, based on the basic characteristics of the actor computational model and the very reductive semantics for actors, we establish a fully abstract concurrent ... More
An Axiomatization for Quantum Processes to Unifying Quantum and Classical ComputingNov 11 2013We establish an axiomatization for quantum processes, which is a quantum generalization of process algebra ACP (Algebra of Communicating Processes). We use the framework of a quantum process configuration $\langle p, \varrho\rangle$, but we treat it as ... More
Quantitative stratification of stationary Yang-Mills fieldsOct 02 2016In this paper we study the singular set of a stationary Yang-Mills connection $A$ and prove the rectifiability of the $k^{th}$ stratification $S^k(A)$ for all integer $k$, the set where no tangent measure is $k+1$-symmetric. In order to do this we introduce ... More
Spectator fields and their imprints on the Cosmic Microwave BackgroundOct 10 2016When a subdominant light scalar field ends slow roll during inflation, but well after the Hubble exit of the pivot scales, it may determine the cosmological perturbations. This thesis investigates how such a scalar field, the spectator, may leave its ... More
Maximum likelihood degree of Fermat hypersurfaces via Euler characteristicsSep 12 2015Maximum likelihood degree of a projective variety is the number of critical points of a general likelihood function. In this note, we compute the Maximum likelihood degree of Fermat hypersurfaces. We give a formula of the Maximum likelihood degree in ... More
The Belle II Experiment and SuperKEKB UpgradeNov 30 2015Apr 26 2016The Belle II / SuperKEKB experiment is an $e^+e^-$ collider running at the $\Upsilon(4S)$ resonance energy to produce B meson pairs. As an upgrade of the Belle / KEKB experiment, it will start physics data taking from 2018 and with $\sim 40$ times luminosity, ... More
Rational curves on hypersurfaces of a projective varietyNov 20 2014In this paper, we extend our result in [3] to hypersurfaces of any smooth projective variety $Y$. Precisely we let $X_0$ be a generic hypersurface of $Y$ and $c_0:\mathbf P^1\to X_0$ be a generic birational morphism to its image, i.e. $c_0\in Hom_{bir}(\mathbf ... More
Detecting CMB modulations and non-Gaussianities from power multipolesJan 08 2014By decomposing the CMB temperature fluctuations \emph{squared} into spherical harmonics, we can define the \emph{CMB power multipoles} as the fundamental observables to quantify any generic modulations in the CMB. This allows for simple direct measurements ... More
Pullback Attractors for the Non-autonomous FitzHugh-Nagumo System on Unbounded DomainsMay 24 2008The existence of a pullback attractor is established for the singularly perturbed FitzHugh-Nagumo system defined on the entire space $R^n$ when external terms are unbounded in a phase space. The pullback asymptotic compactness of the system is proved ... More
Stability of Riemannian manifolds with Killing spinorsMay 23 2016Riemannian manifolds with non-zero Killing spinors are Einstein manifolds. We prove that all complete Riemannian manifolds with imaginary Killing spinors are strictly stable by using a Bochner type formula in \cite{DWW05} and \cite{Wan91}. This stability ... More
Systematics of mid-rapidity K-/pi ratio in heavy-ion collisionsJan 28 2002Aug 20 2002It is observed that K-/pi in A+A and possibly p+p and pbar+p collisions follows an interesting systematic in omega, the pion transverse energy per unit of rapidity and transverse overlap area. The systematics show a linear increase of K-/pi with omega ... More
Functional integral for optical parametric amplificationJun 02 2014Feb 28 2015It is demonstrated that the nature of optical parametric amplification is a quantum phenomenon. The system Lagrangian can be constructed by the path integral of coherent state. The equations of motion for photon operators are indeed the Euler-Lagrange ... More
Dihadron azimuthal correlations at large pseudo-rapidity difference in multiplicity-selected d+Au collisions by STARApr 10 2014Dec 10 2014The long-range pseudo-rapidity correlations observed in pp and p+Pb collisions at the LHC have stimulated extensive interest. The tantalizing observation of similar effect by PHENIX calls for careful examination of the RHIC d+Au data. In this talk, we ... More
Dihadron Correlations Relative to the Event Plane in 200 GeV Au+Au Collisions from STARSep 18 2013Dihadron correlations with a high-pt trigger particle are analyzed by STAR relative to the event plane in Au+Au collisions at 200 GeV (arXiv:1010.0690v1). The elliptic and quadrangular flow anisotropies are subtracted. The remaining dihadron correlation ... More
Geometrical Effect on Conical Emission of Correlated HadronsJan 24 2012Dihadron correlations at intermediate p_T revealed novel structures on the away side of high p_T trigger particles at RHIC. The away-side correlations in central Au+Au collisions are significantly broader than in pp and d+Au collisions and in restricted ... More
Supersymmetry Breaking Scalar Masses and Trilinear Soft Terms From High-Dimensional Operators in E_6 SUSY GUTMar 01 2011Jul 16 2011In the GmSUGRA scenario with the high-dimensional operators containing the GUT Higgs fields, we systematically studied the supersymmetry breaking scalar masses, SM fermion Yukawa coupling terms, and trilinear soft terms in the E_6 SUSY GUT model where ... More
Generalized Froggatt-Nielsen MechanismMar 30 2011Mar 31 2011In this paper, we propose a Generalized Froggatt-Nielsen mechanism in which non-renormalizable operators involving a GUT group and $U(1)_H$ non-singlet Higgs field are introduced. Thus the GUT gauge symmetry breaking and the generation of hierarchical ... More
Simulation-Checking of Real-Time Systems with Fairness AssumptionsJul 04 2010We investigate the simulation problem in of dense-time system. A specification simulates a model if the specification can match every transition that the model can make at a time point. We also adapt the approach of Emerson and Lei and allow for multiple ... More
Bell tests with optimal local hidden variable modelsNov 22 2014Mar 21 2015An alternative method of detection-loophole-free Bell test is proposed using local hidden variable (LHV) models with optimal detection efficiencies. A framework for constructing such optimal LHV models is presented. Optimal LHV models for maximally and ... More
Incorporating a Volatility Smile into the Markov-Functional ModelApr 24 2014We study a Markov-Functional (MF) interest-rate model with Uncertain Volatility Displaced Diffusion (UVDD) digital mapping, which is consistent with the volatility-smile phenomenon observed in the option market. We first check the impact of pricing Bermudan ... More