644,619 research outputs found
On the uniqueness of Gibbs states in the Pirogov-Sinai theory
We prove that, for low-temperature systems considered in the Pirogov-Sinai
theory, uniqueness in the class of translation-periodic Gibbs states implies
global uniqueness, i.e. the absence of any non-periodic Gibbs state. The
approach to this infinite volume state is exponentially fast.Comment: 12 pages, Plain TeX, to appear in Communications in Mathematical
Physic
Theoretical Design and Analysis of Multivolume Digital Assays with Wide Dynamic Range Validated Experimentally with Microfluidic Digital PCR
This paper presents a protocol using theoretical methods and free software to design and analyze multivolume digital PCR (MV digital PCR) devices; the theory and software are also applicable to design and analysis of dilution series in digital PCR. MV digital PCR minimizes the total number of wells required for “digital” (single molecule) measurements while maintaining high dynamic range and high resolution. In some examples, multivolume designs with fewer than 200 total wells are predicted to provide dynamic range with 5-fold resolution similar to that of single-volume designs requiring 12 000 wells. Mathematical techniques were utilized and expanded to maximize the information obtained from each experiment and to quantify performance of devices and were experimentally validated using the SlipChip platform. MV digital PCR was demonstrated to perform reliably, and results from wells of different volumes agreed with one another. No artifacts due to different surface-to-volume ratios were observed, and single molecule amplification in volumes ranging from 1 to 125 nL was self-consistent. The device presented here was designed to meet the testing requirements for measuring clinically relevant levels of HIV viral load at the point-of-care (in plasma, 1 000 000 molecules/mL), and the predicted resolution and dynamic range was experimentally validated using a control sequence of DNA. This approach simplifies digital PCR experiments, saves space, and thus enables multiplexing using separate areas for each sample on one chip, and facilitates the development of new high-performance diagnostic tools for resource-limited applications. The theory and software presented here are general and are applicable to designing and analyzing other digital analytical platforms including digital immunoassays and digital bacterial analysis. It is not limited to SlipChip and could also be useful for the design of systems on platforms including valve-based and droplet-based platforms. In a separate publication by Shen et al. (J. Am. Chem. Soc., 2011, DOI: 10.1021/ja2060116), this approach is used to design and test digital RT-PCR devices for quantifying RNA
Thermodynamic Limit in Statistical Physics
The thermodynamic limit in statistical thermodynamics of many-particle
systems is an important but often overlooked issue in the various applied
studies of condensed matter physics. To settle this issue, we review tersely
the past and present disposition of thermodynamic limiting procedure in the
structure of the contemporary statistical mechanics and our current
understanding of this problem. We pick out the ingenious approach by N. N.
Bogoliubov, who developed a general formalism for establishing of the limiting
distribution functions in the form of formal series in powers of the density.
In that study he outlined the method of justification of the thermodynamic
limit when he derived the generalized Boltzmann equations. To enrich and to
weave our discussion, we take this opportunity to give a brief survey of the
closely related problems, such as the equipartition of energy and the
equivalence and nonequivalence of statistical ensembles. The validity of the
equipartition of energy permits one to decide what are the boundaries of
applicability of statistical mechanics. The major aim of this work is to
provide a better qualitative understanding of the physical significance of the
thermodynamic limit in modern statistical physics of the infinite and "small"
many-particle systems.Comment: 28 pages, Refs.180. arXiv admin note: text overlap with
arXiv:1011.2981, arXiv:0812.0943 by other author
A Survey on Continuous Time Computations
We provide an overview of theories of continuous time computation. These
theories allow us to understand both the hardness of questions related to
continuous time dynamical systems and the computational power of continuous
time analog models. We survey the existing models, summarizing results, and
point to relevant references in the literature
Design of engineering systems in Polish mines in the third quarter of the 20th century
Participation of mathematicians in the implementation of economic projects in
Poland, in which mathematics-based methods played an important role, happened
sporadically in the past. Usually methods known from publications and verified
were adapted to solving related problems. The subject of this paper is the
cooperation between mathematicians and engineers in Wroc{\l}aw in the second
half of the twentieth century established in the form of an analysis of the
effectiveness of engineering systems used in mining. The results of this
cooperation showed that at the design stage of technical systems it is
necessary to take into account factors that could not have been rationally
controlled before. The need to explain various aspects of future exploitation
was a strong motivation for the development of mathematical modeling methods.
These methods also opened research topics in the theory of stochastic processes
and graph theory. The social aspects of this cooperation are also interesting.Comment: 45 pages, 11 figures, 116 reference
Abstract State Machines 1988-1998: Commented ASM Bibliography
An annotated bibliography of papers which deal with or use Abstract State
Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm
- …