arXiv subjects

Hao Wang

Publications and source records attributed to Hao Wang.

1,724 records · Page 96Linked to original sources

arXiv2010

A stoichiometrically derived algal growth model and its global analysis

Organisms are composed of multiple chemical elements such as carbon, nitrogen, and phosphorus. The scarcity of any of these elements can severely restrict organismal and population growth. However, many trophic interaction models only consider carbon limitation via energy flow. In this paper, we construct an algal growth model with the explicit incorporation of light and nutrient availability to characterize both carbon and phosphorus limitations. We provide a global analysis of this model to illustrate how light and nutrient availability regulate algal dynamics.

math.CA↗

arXiv2009

An Efficient Explicit-time Description Method for Timed Model Checking

Timed model checking, the method to formally verify real-time systems, is attracting increasing attention from both the model checking community and the real-time community. Explicit-time description methods verify real-time systems using general model constructs found in standard un-timed model checkers. Lamport proposed an explicit-time description method using a clock-ticking process (Tick) to simulate the passage of time together with a group of global variables to model time requirements. Two methods, the Sync-based Explicit-time Description Method using rendezvous synchronization steps and the Semaphore-based Explicit-time Description Method using only one global variable were proposed; they both achieve better modularity than Lamport's method in modeling the real-time systems. In contrast to timed automata based model checkers like UPPAAL, explicit-time description methods can access and store the current time instant for future calculations necessary for many real-time systems, especially those with pre-emptive scheduling. However, the Tick process in the above three methods increments the time by one unit in each tick; the state spaces therefore grow relatively fast as the time parameters increase, a problem when the system's time period is relatively long. In this paper, we propose a more efficient method which enables the Tick process to leap multiple time units in one tick. Preliminary experimental results in a high performance computing environment show that this new method significantly reduces the state space and improves both the time and memory efficiency.

cs.LO↗

arXiv2009

Verifying Real-Time Systems using Explicit-time Description Methods

Timed model checking has been extensively researched in recent years. Many new formalisms with time extensions and tools based on them have been presented. On the other hand, Explicit-Time Description Methods aim to verify real-time systems with general untimed model checkers. Lamport presented an explicit-time description method using a clock-ticking process (Tick) to simulate the passage of time together with a group of global variables for time requirements. This paper proposes a new explicit-time description method with no reliance on global variables. Instead, it uses rendezvous synchronization steps between the Tick process and each system process to simulate time. This new method achieves better modularity and facilitates usage of more complex timing constraints. The two explicit-time description methods are implemented in DIVINE, a well-known distributed-memory model checker. Preliminary experiment results show that our new method, with better modularity, is comparable to Lamport's method with respect to time and memory efficiency.

cs.LO↗

arXiv2009

Giant adiabatic spin torque in magnetic tunnel junctions with a hybrid free layer structure

The discovery of spin torque transfer (STT) has lead to a significant advance in the development of spintronic devices. Novel structures and materials have been studied in order to improve the performance of the magnetic tunnel junctions (MTJs) performances and understand the fundamental physics in spin torque transfer. The adiabatic spin torque effect, which is due to the spatial non-uniformity of magnetic properties, has been predicted in theory and demonstrated experimentally in magnetic nanowires. However, this important spin torque has been rarely concerned in the magnetic tunnel junctions (MTJ) because of its extremely weak effect in conventional MTJs. This paper reports for the first time a giant adiabatic spin torque in MTJ devices with a hybrid free layer structure. The generation of the giant adiabatic spin torque was realized through the introduction of a spatial magnetic non-uniformity in a hybrid free layer along the current direction. It is observed that the giant adiabatic spin torque can substantially promote the current-induced switching process in the MTJ devices: the adiabatic spin torque can be larger than the in-plane spin torque, which allows for the switching with a single-polar current under different bias fields. Moreover, the adiabatic spin torque, which is proportional to the level of spatial non-uniformity, increases during the switching process. The observed effects are confirmed by numerical simulations. These results have far-reaching implications for the future of high-density STT-MRAM devices.

cond-mat.mes-hall↗

arXiv2009

Modeling Fish Biomass Structure at Near Pristine Coral Reefs and Degradation by Fishing

Until recently, the only examples of inverted biomass pyramids have been in freshwater and marine planktonic communities. In 2002 and 2008 investigators documented inverted biomass pyramids for nearly pristine coral reef ecosystems within the NW Hawaiian islands and the Line Islands, where apex predator abundance comprises up to 85% of the fish biomass. We build a new refuge based predator-prey model to study the fish biomass structure at coral reefs and investigate the effect of fishing on biomass pyramids. Utilizing realistic life history parameters of coral reef fish, our model exhibits a stable inverted biomass pyramid. Since the predators and prey are not well mixed, our model does not incorporate homogeneous mixing and the inverted biomass pyramid is a consequence of the refuge. Understanding predator-prey dynamics in nearly pristine conditions provides a more realistic historical framework for comparison with fished reefs. Finally, we show that fishing transforms the inverted biomass pyramid to be bottom heavy.

q-bio.PE↗

arXiv2009

Particle-Hole Symmetry Breaking and the 5/2 Fractional Quantum Hall Effect

We report on the study of the fractional quantum Hall effect at the filling factor 5/2 using exact diagonalization method with torus geometry. The particle-hole symmetry breaking effect is considered using an additional three-body interaction. Both Pfaffian and anti-Pfaffian states can be the ground state depending on the sign of the three-body interaction. The results of the low-energy spectrum, the wave function overlap, and the particle-hole parity evolution, have shown the clear evidence of a direct sharp transition (possibly first-order) from the Pfaffian to the anti-Pfaffian state at the Coulomb point. A quantum phase diagram is established, where one finds further transitions from the Pfaffian or anti-Pfaffian state to the nearby compressible phases induced by a change of the pseudopotential.

cond-mat.str-el↗

arXiv2008

General Mechanisms for Inverted Biomass Pyramids in Ecosystems

Although the existence of robust inverted biomass pyramids seem paradoxical, they have been observed in planktonic communities, and more recently, in pristine coral reefs. Understanding the underlying mechanisms which produce inverted biomass pyramids provides new ecological insights, and for coral reefs, may help mitigate or restore damaged reefs. We present three classes of predator-prey models which elucidate mechanisms that generate robust inverted biomass pyramids. The first class of models exploits well-mixing of predators and prey, the second class has a refuge (with explicit size) for the prey to hide, and the third class incorporates the immigration of prey. Our models indicate that inverted biomass pyramids occur when the prey growth rate, prey carrying capacity, biomass conversion efficiency, the predator life span, or the immigration rate of prey fish is sufficiently large. In the second class, we discuss three hypotheses on how refuge size can impact the amount of prey available to predators. By explicitly incorporating a refuge size, these can more realistically model predator-prey interactions than refgue models with implicit refuge size.

q-bio.PE↗

arXiv2008

Broken-Symmetry States of Dirac Fermions in Graphene with A Partially Filled High Landau Level

We report on numerical study of the Dirac fermions in partially filled N=3 Landau level (LL) in graphene. At half-filling, the equal-time density-density correlation function displays sharp peaks at nonzero wavevectors $\pm {\bf q^{*}}$. Finite-size scaling shows that the peak value grows with electron number and diverges in the thermodynamic limit, which suggests an instability toward a charge density wave. A symmetry broken stripe phase is formed at large system size limit, which is robust against purturbation from disorder scattering. Such a quantum phase is experimentally observable through transport measurements. Associated with the special wavefunctions of the Dirac LL, both stripe and bubble phases become possible candidates for the ground state of the Dirac fermions in graphene with lower filling factors in the N=3 LL.

cond-mat.str-el↗

arXiv2006

Spin Dynamics of a Magnetic Antivortex

We report on a study of the dynamics of a magnetic antivortex in a submicron, asteroid shaped, permalloy ferromagnet using micromagnetic simulations. As with vortex states in disk and square geometries, a gyrotropic mode was found in which a shifted antivortex core orbits about the center of the asteroid. Pulsed magnetic fields were used to generate azimuthal or radial spin wave modes, depending on the field orientation. The degeneracy of low frequency azimuthal mode frequencies is lifted by gyrotropic motion of the antivortex core, and restored by inserting a hole in the center of the particle to suppress this motion. We briefly compare the dynamics of the vortex state of the asteroid to the antivortex. The size dependence of the antivortex modes is reported.

cond-mat.mtrl-sci↗

arXiv2006

Superprocesses with Dependent Spatial Motion and General Branching Densities

We construct a class of superprocesses by taking the high density limit of a sequence of interacting-branching particle systems. The spatial motion of the superprocess is determined by a system of interacting diffusions, the branching density is given by an arbitrary bounded non-negative Borel function, and the superprocess is characterized by a martingale problem as a diffusion process with state space $M(\IR)$, improving and extending considerably the construction of Wang (1997, 1998). It is then proved in a special case that a suitable rescaled process of the superprocess converges to the usual super Brownian motion. An extension to measure-valued branching catalysts is also discussed.

math.PR↗

arXiv2006

Conditional Log-Laplace Functionals of Immigration Superprocesses with Dependent Spatial Motion

A non-critical branching immigration superprocess with dependent spatial motion is constructed and characterized as the solution of a stochastic equation driven by a time-space white noise and an orthogonal martingale measure. A representation of its conditional log-Laplace functionals is established, which gives the uniqueness of the solution and hence its Markov property. Some properties of the superprocess including an ergodic theorem are also obtained.

math.PR↗

arXiv2005

Effective Electrostatic Interactions in Solutions of Polyelectrolyte Stars with Rigid Rodlike Arms

In solutions of star-branched polyelectrolytes, electrostatic interactions between charged arms on neighboring stars can compete with intra-star interactions and rotational entropy to induce anisotropy in the orientational distribution of arms. For model stars comprising rigid rodlike arms with evenly spaced charged monomers interacting via an effective screened-Coulomb (Yukawa) potential, we explore the influence of arm orientational anisotropy on effective star-star interactions. Monte Carlo simulation and density-functional theory are used to compute arm orientational distributions and effective pair potentials between weakly charged stars. The degree of anisotropy is found to increase with the strength of electrostatic interactions and proximity of the stars. As two stars begin to overlap, the forward arms are pushed back by inter-star arm-arm repulsion, but partially interdigitate due to rotational entropy. At center-center separations approaching complete overlap, the arms relax to an isotropic distribution. For nonoverlapping stars, anisotropy-induced changes in intra- and inter-star arm-arm interactions largely cancel and the effective pair interactions are then well approximated by a simple Yukawa potential, as predicted by linear response theory for a continuum model of isotropic stars [A. R. Denton, Phys. Rev. E 67, 11804 (2003)]. For overlapping stars, the effective pair interactions in the simple rigid-arm-Yukawa model agree closely with simulations of a molecular model that includes flexible arms and explicit counterions [A. Jusufi, C. N. Likos, and H. Lowen, Phys. Rev. Lett. 88, 018301 (2002); J. Chem. Phys. 116, 11011 (2002)].

cond-mat.soft↗

arXiv2005

Flow behavior of colloidal rod-like viruses in the nematic phase

The behavior of a colloidal suspension of rod-like {\it fd} viruses in the nematic phase, subjected to steady state and transient shear flows is studied. The monodisperse nature of these rods combined with relatively small textural contribution to the overall stress make this a suitable model system to investigate the effects of flow on the non-equilibrium phase diagram. Transient rheological experiments are used to determine the critical shear rates at which director tumbling, wagging and flow-aligning occurs. The present model system enables us to study the effect of rod concentration on these transitions. The results are in quantitatively agreement with the Doi-Edwards-Hess model. Moreover, we observe that there is a strong connection between the dynamic transitions and structure formation, which is not incorporated in theory.

cond-mat.soft↗

arXiv2004

Effective Electrostatic Interactions in Suspensions of Polyelectrolyte Brush-Coated Colloids

Effective electrostatic interactions between colloidal particles, coated with polyelectrolyte brushes and suspended in an electrolyte solvent, are described via linear response theory. The inner cores of the macroions are modeled as hard spheres, the outer brushes as spherical shells of continuously distributed charge, the microions (counterions and salt ions) as point charges, and the solvent as a dielectric continuum. The multi-component mixture of macroions and microions is formally mapped onto an equivalent one-component suspension by integrating out from the partition function the microion degrees of freedom. Applying second-order perturbation theory and a random phase approximation, analytical expressions are derived for the effective pair interaction and a one-body volume energy, which is a natural by-product of the one-component reduction. The combination of an inner core and an outer shell, respectively impenetrable and penetrable to microions, allows the interactions between macroions to be tuned by varying the core diameter and brush thickness. In the limiting cases of vanishing core diameter and vanishing shell thickness, the interactions reduce to those derived previously for star polyelectrolytes and charged colloids, respectively.

cond-mat.soft↗