arXiv subjects

Li Li

Publications and source records attributed to Li Li.

At least 793 records · Page 44Linked to original sources

arXiv2014

Stateful Security Protocol Verification

A long-standing research problem in security protocol design is how to efficiently verify security protocols with tamper-resistant global states. In this paper, we address this problem by first proposing a protocol specification framework, which explicitly represents protocol execution states and state transformations. Secondly, we develop an algorithm for verifying security properties by utilizing the key ingredients of the first-order reasoning for reachability analysis, while tracking state transformation and checking the validity of newly generated states. Our verification algorithm is proven to be (partially) correct, if it terminates. We have implemented the proposed framework and verification algorithms in a tool named SSPA, and evaluate it using a number of stateful security protocols. The experimental results show that our approach is not only feasible but also practically efficient. In particular, we have found a security flaw on the digital envelope protocol, which could not be detected by existing security protocol verifiers.

cs.CR↗

arXiv2014

Towards Complete Phase Diagrams of a Holographic P-wave Superconductor Model

We study in detail the phase structure of a holographic p-wave superconductor model in a five dimensional Einstein-Maxwell-complex vector field theory with a negative cosmological constant. To construct complete phase diagrams of the model, we consider both the soliton and black hole backgrounds. In both two cases, there exist second order, first order and zeroth order phase transitions, and the so-called "retrograde condensation" also happens. In particular, in the soliton case with the mass of the vector field being beyond a certain critical value, we find a series of phase transitions happen such as "insulator/superconductor/insulator/superconductor", as the chemical potential continuously increases. We construct complete phase diagrams in terms of temperature and chemical potential and find some new phase boundaries.

gr-qc↗

arXiv2014

Vector Condensate and AdS Soliton Instability Induced by a Magnetic Field

We continue to study the holographic p-wave superconductor model in the Einstein-Maxwell-complex vector field theory with a non-minimal coupling between the complex vector field and the Maxwell field. In this paper we work in the AdS soliton background which describes a conformal field theory in the confined phase and focus on the probe approximation. We find that an applied magnetic field can lead to the condensate of the vector field and the AdS soliton instability. As a result, a vortex lattice structure forms in the spatial directions perpendicular to the applied magnetic field. As a comparison, we also discuss the vector condensate in the Einstein-SU(2) Yang-Mills theory and find that in the setup of the present paper, the Einstein-Maxwell-complex vector field model is a generalization of the SU(2) model in the sense that the vector field has a general mass and gyromagnetic ratio.

hep-th↗

arXiv2013

Quantum State Tomography via Linear Regression Estimation

A simple yet efficient method of linear regression estimation (LRE) is presented for quantum state tomography. In this method, quantum state reconstruction is converted into a parameter estimation problem of a linear regression model and the least-squares method is employed to estimate the unknown parameters. The asymptotic mean squared error (MSE) bound of the estimate can be given analytically, which can guide one to choose optimal measurement sets. The LRE is asymptotically optimal in the sense that the MSE may achieve the Cramér-Rao bound asymptotically. The computational complexity of LRE is O(d^4), where d is the dimension of the quantum state. Numerical examples show that LRE is much faster than maximum-likelihood estimation for quantum state tomography.

quant-ph↗

arXiv2013

A Holographic P-wave Superconductor Model

We study a holographic p-wave superconductor model in a four dimensional Einstein-Maxwell-complex vector field theory with a negative cosmological constant. The complex vector field is charged under the Maxwell field. We solve the full coupled equations of motion of the system and find black hole solutions with the vector hair. The vector hairy black hole solutions are dual to a thermal state with the U(1) symmetry as well as the spatial rotational symmetry breaking spontaneously. Depending on two parameters, the mass and charge of the vector field, we find a rich phase structure: zeroth order, first order and second order phase transitions can happen in this model. We also find "retrograde condensation" in which the hairy black hole solution exists only for the temperatures above a critical value with the free energy much larger than the black hole without hair. We construct the phase diagram for this system in terms of the temperature and charge of the vector field.

hep-th↗

arXiv2013

A Holographic Study on Vector Condensate Induced by a Magnetic Field

We study a holographic model with vector condensate by coupling the anti-de Sitter gravity to an Abelian gauge field and a charged vector field in $(3+1)$ dimensional spacetime. In this model there exists a non-minimal coupling of the vector filed to the gauge field. We find that there is a critical temperature below which the charged vector condenses via a second order phase transition. The DC conductivity becomes infinite and the AC conductivity develops a gap in the condensed phase. We study the effect of a background magnetic field on the system. It is found that the background magnetic field can induce the condensate of the vector field even in the case without chemical potential/charge density. In the case with non-vanishing charge density, the transition temperature raises with the applied magnetic field, and the condensate of the charged vector operator forms a vortex lattice structure in the spatial directions perpendicular to the magnetic field.

hep-th↗

arXiv2013

P-V criticality in the extended phase space of Gauss-Bonnet black holes in AdS space

We study the $P-V$ criticality and phase transition in the extended phase space of charged Gauss-Bonnet black holes in anti-de Sitter space, where the cosmological constant appears as a dynamical pressure of the system and its conjugate quantity is the thermodynamic volume of the black hole. The black holes can have a Ricci flat ($k=0$), spherical ($k=1$), or hyperbolic ($k=-1$) horizon. We find that for the Ricci flat and hyperbolic Gauss-Bonnet black holes, no $P-V$ criticality and phase transition appear, while for the black holes with a spherical horizon, even when the charge of the black hole is absent, the $P-V$ criticality and the small black hole/large black hole phase transition will appear, but it happens only in $d=5$ dimensions; when the charge does not vanish, the $P-V$ criticality and the small black hole/large phase transition always appear in $d=5$ dimensions; in the case of $d\ge 6$, to have the $P-V$ criticality and the small black hole/large black hole phase transition, there exists an upper bound for the parameter $b=\widetildeα|Q|^{-2/(d-3)}$, where $\tilde α$ is the Gauss-Bonnet coefficient and $Q$ is the charge of the black hole. We calculate the critical exponents at the critical point and find that for all cases, they are the same as those in the van der Waals liquid-gas system.

gr-qc↗

arXiv2013

Limits of Modified Higher (q,t)-Catalan Numbers

The $q,t$-Catalan numbers can be defined using rational functions, geometry related to Hilbert schemes, symmetric functions, representation theory, Dyck paths, partition statistics, or Dyck words. After decades of intensive study, it was eventually proved that all these definitions are equivalent. In this paper, we study the similar situation for higher $q,t$-Catalan numbers, where the equivalence of the algebraic and combinatorial definitions is still conjectural. We compute the limits of several versions of the modified higher $q,t$-Catalan numbers and show that these limits equal the generating function for integer partitions. We also identify certain coefficients of the higher $q,t$-Catalan numbers as enumerating suitable integer partitions, and we make some conjectures on the homological significance of the Bergeron-Garsia nabla operator.

math.CO↗

arXiv2013

Competition and Coexistence of Order Parameters in Holographic Multi-Band Superconductors

We construct a holographic multi-band superconductor model with each complex scalar field in the bulk minimally coupled to a same gauge field. Taking into account the back reaction of matter fields on the background geometry and focusing on the two band case with two scalar order parameters, we find that depending on the strength of the back reaction and the charge ratio of the two bulk scalars, five different superconducting phases exist, and three of five phases exhibit some region where both orders coexist and are thermodynamically favored. The other two superconducting phases have only one scalar order. The model exhibits rich phase structure and we construct the full diagram for the five superconducting phases. Our analysis indicates that the equivalent attractive interaction mediated by gravity between the two order parameters tends to make the coexistence of two orders much more easy rather than more difficult.

hep-th↗

arXiv2013

Single Crystal Growth, Transport, and Electronic Band Structure of YCoGa$_5$

Single crystal of YCoGa5 has been grown via Ga self-flux. In this paper, we report the single crystal growth, crystallographic parameters, resistivity, heat capacity, and band structure results of YCoGa5. YCoGa5 accommodates the HoCoGa5 type structure (space group P4/mmm (No. 123), Z = 1, a = 4.2131(6) A, c = 6.7929(13) A, which is isostructural to the extensively studied heavy fermion superconductor system CeMIn5 (M = Co, Rh, Ir) and the unconventional superconductor PuCoGa5 with Tc = 18.5 K. No superconductivity is observed down to 1.75 K. Band structure calculation results show that its band at the Fermi level is mainly composed of Co-3d and Ga-4p electrons states, which explains its similarity of physical properties to YbCoGa5 and LuCoGa5.

cond-mat.supr-con↗

arXiv2013

Combinatorics of certain higher $q,t$-Catalan polynomials: chains, joint symmetry, and the Garsia-Haiman formula

The higher $q,t$-Catalan polynomial $C^{(m)}_n(q,t)$ can be defined combinatorially as a weighted sum of lattice paths contained in certain triangles, or algebraically as a complicated sum of rational functions indexed by partitions of $n$. This paper proves the equivalence of the two definitions for all $m\geq 1$ and all $n\leq 4$. We also give a bijective proof of the joint symmetry property $C^{(m)}_n(q,t)=C^{(m)}_n(t,q)$ for all $m\geq 1$ and all $n\leq 4$. The proof is based on a general approach for proving joint symmetry that dissects a collection of objects into chains, and then passes from a joint symmetry property of initial points and terminal points to joint symmetry of the full set of objects. Further consequences include unimodality results and specific formulas for the coefficients in $C^{(m)}_n(q,t)$ for all $m\geq 1$ and all $n\leq 4$. We give analogous results for certain rational-slope $q,t$-Catalan polynomials.

math.CO↗

arXiv2013

Entanglement Entropy in Holographic P-Wave Superconductor/Insulator Model

We continue our study of entanglement entropy in the holographic superconducting phase transitions. In this paper we consider the holographic p-wave superconductor/insulator model, where as the back reaction increases, the transition is changed from second order to first order. We find that unlike the s-wave case, there is no additional first order transition in the superconducting phase. We calculate the entanglement entropy for two strip geometries. One is parallel to the super current, and the other is orthogonal to the super current. In both cases, we find that the entanglement entropy monotonically increases with respect to the chemical potential.

hep-th↗

arXiv2013

Evolutionary Method for Predicting Surface Reconstructions with Variable Stoichiometry

We present a specially designed evolutionary algorithm for the prediction of surface reconstructions. This new technique allows one to automatically explore all the low-energy configurations with variable surface atoms and variable surface unit cells through the whole chemical potential range. The power of evolutionary search is demonstrated by the efficient identification of diamond 2*1 (100) and 2*1 (111) surfaces with a fixed number of surface atom and a fixed cell size. With further variation of surface unit cells, we study the reconstructions of the polar surface MgO (111). Experiment has detected an oxygen trimer (ozone) motif (Plass et al, 1998). We predict a new version of this motif which can be thermodynamically stable at extreme oxygen rich condition. Finally, we perform a variable stoichiometry search for a complex ternary system: semi-polar GaN (101bar1) with and without adsorbed oxygen. The search yields a non-intuitive reconstruction based on N3-trimers. These examples demonstrate that an automated scheme to explore the energy landscape of surfaces will improve our understanding of surface reconstructions. The method presented in this report can be generally applied to binary and multi-component systems.

cond-mat.mtrl-sci↗

arXiv2013

Positivity and tameness in rank 2 cluster algebras

We study the relationship between the positivity property in a rank 2 cluster algebra, and the property of such an algebra to be tame. More precisely, we show that a rank 2 cluster algebra has a basis of indecomposable positive elements if and only if it is of finite or affine type. This statement disagrees with a conjecture by Fock and Goncharov.

math.CO↗

arXiv2013

Some aspects of QGP phase in a hQCD model

We continue to study the holographic QCD (hQCD) model, proposed in a previous paper, in an Einstein-Maxwell-Dilaton (EMD) system. In this paper we discuss some aspects of quark gluon plasma (QGP) in the hQCD model, such as drag force, jet quenching parameter and screening length. The results turn out to be consistent with those as expected in QCD qualitatively. By calculating free energy of the background black hole solution, we find that there exists a Hawking-Page phase transition between small black hole and big black hole when chemical potential $μ$ is less than a critical one $ μ_c$, and the phase transition is absent when chemical potential is beyond the critical one.

hep-th↗

arXiv2012

Greedy elements in rank 2 cluster algebras

A lot of recent activity in the theory of cluster algebras has been directed towards various constructions of "natural" bases in them. One of the approaches to this problem was developed several years ago by P.Sherman - A.Zelevinsky who have shown that the indecomposable positive elements form an integer basis in any rank 2 cluster algebra of finite or affine type. It is strongly suspected (but not proved) that this property does not extend beyond affine types. Here we go around this difficulty by constructing a new basis in any rank 2 cluster algebra that we call the greedy basis. It consists of a special family of indecomposable positive elements that we call greedy elements. Inspired by a recent work of K.Lee - R.Schiffler and D.Rupel, we give explicit combinatorial expressions for greedy elements using the language of Dyck paths.

math.RA↗

arXiv2012

Entanglement Entropy and Wilson Loop in Stückelberg Holographic Insulator/Superconductor Model

We study the behaviors of entanglement entropy and vacuum expectation value of Wilson loop in the Stückelberg holographic insulator/superconductor model. This model has rich phase structures depending on model parameters. Both the entanglement entropy for a strip geometry and the heavy quark potential from the Wilson loop show that there exists a "confinement/deconfinement" phase transition. In addition, we find that the non-monotonic behavior of the entanglement entropy with respect to chemical potential is universal in this model. The pseudo potential from the spatial Wilson loop also has a similar non-monotonic behavior. It turns out that the entanglement entropy and Wilson loop are good probes to study the properties of the holographic superconductor phase transition.

hep-th↗

arXiv2012

Wilson Line Response of Holographic Superconductors in Gauss-Bonnet Gravity

We study the Wilson line response in the holographic superconducting phase transitions in Gauss-Bonnet gravity. In the black brane background case, the Little-Parks periodicity is independent of the Gauss-Bonnet parameter, while in the AdS soliton case, there is no evidence for the Little-Parks periodicity. We further study the impact of the Gauss-Bonnet term on the holographic phase transitions quantitatively. The results show that such quantum corrections can effectively affect the occurrence of the phase transitions and the response to the Wilson line.

hep-th↗