Search arXiv⌕ Search

arXiv subjects

Yan Zhang

Publications and source records attributed to Yan Zhang.

747 records · Page 42Linked to original sources
arXiv2008

An Algebraic Characterization of Security of Cryptographic Protocols

Several of the basic cryptographic constructs have associated algebraic structures. Formal models proposed by Dolev and Yao to study the (unconditional) security of public key protocols form a group. The security of some types of protocols can be neatly formulated in this algebraic setting. We investigate classes of two-party protocols. We then consider extension of the formal algebraic framework to private-key protocols. We also discuss concrete realization of the formal models. In this case, we propose a definition in terms of pseudo-free groups.

cs.CR↗
arXiv2007

Community Structure in Congressional Cosponsorship Networks

We study the United States Congress by constructing networks between Members of Congress based on the legislation that they cosponsor. Using the concept of modularity, we identify the community structure of Congressmen, as connected via sponsorship/cosponsorship of the same legislation, to investigate the collaborative communities of legislators in both chambers of Congress. This analysis yields an explicit and conceptually clear measure of political polarization, demonstrating a sharp increase in partisan polarization which preceded and then culminated in the 104th Congress (1995-1996), when Republicans took control of both chambers. Although polarization has since waned in the U.S. Senate, it remains at historically high levels in the House of Representatives.

nlin.AO↗
arXiv2006

Magnetic properties in a partially oxidized nanocomposite of Cu-CuCl

Magnetism of a very thin antiferromagnetic (AFM) surface CuO has been investigated with the partially oxidized nanocomposites of Cu-CuCl, ~ 200 nm. The samples are characterized by X-ray diffraction, X-ray photoelectron spectroscopy, X-ray-excited Auger electron spectroscopy, transmission electron microscope and magnetic measurements. The characterizations indicate that the composites have a core-shell structure. Before the oxidation, it is (Cu)core/(CuCl)shell, and after the oxidation, (Cu)core/(Cu2O+CuCl+minuteCuO)shell. The magnetic measurements have revealed that a ferromagnetic (FM) like open hysteresis exists at the temperature below the freezing point, TF. In the high field region, a paramagnetic (PM) response appears without showing a sign of saturation. Also, the field dependent magnetization (M-H) measurement is PM-like at T > TF. These interesting magnetic properties are evident to arise from the AFM CuO on the outer surface. They are attributed to the uncompensated surface spins of Cu2+ and the effect of surface random potential. More interestingly, the magnetic susceptibility is greatly enhanced in the presence of Cl- anions at T < TF, according to the field-cooled/zero-field-cooled (FC/ZFC) measurements. This further supports the point that the disorder or frustration effect of the impurity would reduce the AFM ordering of CuO and increase the level of uncompensated spins.

cond-mat.mtrl-sci↗
arXiv2002

Handling Defeasibilities in Action Domains

Representing defeasibility is an important issue in common sense reasoning. In reasoning about action and change, this issue becomes more difficult because domain and action related defeasible information may conflict with general inertia rules. Furthermore, different types of defeasible information may also interfere with each other during the reasoning. In this paper, we develop a prioritized logic programming approach to handle defeasibilities in reasoning about action. In particular, we propose three action languages {\cal AT}^{0}, {\cal AT}^{1} and {\cal AT}^{2} which handle three types of defeasibilities in action domains named defeasible constraints, defeasible observations and actions with defeasible and abnormal effects respectively. Each language with a higher superscript can be viewed as an extension of the language with a lower superscript. These action languages inherit the simple syntax of {\cal A} language but their semantics is developed in terms of transition systems where transition functions are defined based on prioritized logic programs. By illustrating various examples, we show that our approach eventually provides a powerful mechanism to handle various defeasibilities in temporal prediction and postdiction. We also investigate semantic properties of these three action languages and characterize classes of action domains that present more desirable solutions in reasoning about action within the underlying action languages.

cs.AI↗
arXiv2002

Two results for proiritized logic programming

Prioritized default reasoning has illustrated its rich expressiveness and flexibility in knowledge representation and reasoning. However, many important aspects of prioritized default reasoning have yet to be thoroughly explored. In this paper, we investigate two properties of prioritized logic programs in the context of answer set semantics. Specifically, we reveal a close relationship between mutual defeasibility and uniqueness of the answer set for a prioritized logic program. We then explore how the splitting technique for extended logic programs can be extended to prioritized logic programs. We prove splitting theorems that can be used to simplify the evaluation of a prioritized logic program under certain conditions.

cs.AI↗
arXiv1997

Monte Carlo study of very weak first-order transitions in the three-dimensional Ashkin-Teller model

We propose numerical simulations of the Ashkin-Teller model as a foil for theoretical techniques for studying very weakly first-order phase transitions in three dimensions. The Ashkin-Teller model is a simple two-spin model whose parameters can be adjusted so that it has an arbitrarily weakly first-order phase transition. In this limit, there are quantities characterizing the first-order transition which are universal: we measure the relative discontinuity of the specific heat, the correlation length, and the susceptibility across the transition by Monte Carlo simulation.

hep-lat↗
arXiv1996

Weakly first-order phase transitions: the epsilon expansion vs. numerical simulations

Some phase transitions of cosmological interest may be weakly first-order and cannot be analyzed by a simple perturbative expansion around mean field theory. We propose a simple two-scalar model--the cubic anisotropy model--as a foil for theoretical techniques to study such transitions, and we review its similarities and dissimilarities to the electroweak phase transition in the early universe. We present numerical Monte Carlo results for various discontinuities across very weakly first-order transitions in this model and, as an example, compare them to epsilon-expansion results. For this purpose, we have computed through next-to-next-to-leading order in epsilon.

hep-ph↗
arXiv1995

Quenched Chiral Perturbation Theory for Heavy-light Mesons

We formulate quenched chiral perturbation theory for heavy-light mesons coupled to pions, and calculate the one-loop chiral logarithmic corrections to $f_B$, $f_{B_{s}}$, $B_B$ and $B_{B_{s}}$. We also calculate these corrections for ``partially quenched'' theories. In both theories, the chiral logarithms diverge in the chiral limit, indicating that (partially) quenched theories should not be used to study this limit. Comparing the chiral logarithms to those in QCD, we estimate the errors caused by (partial) quenching. By forming suitable ratios, we can reduce the uncertainties in our estimates.

hep-lat↗