119 research outputs found
Exponential separations using guarded extension variables
We study the complexity of proof systems augmenting resolution with inference
rules that allow, given a formula in conjunctive normal form, deriving
clauses that are not necessarily logically implied by but whose
addition to preserves satisfiability. When the derived clauses are
allowed to introduce variables not occurring in , the systems we
consider become equivalent to extended resolution. We are concerned with the
versions of these systems without new variables. They are called BC,
RAT, SBC, and GER, denoting respectively blocked clauses,
resolution asymmetric tautologies, set-blocked clauses, and generalized
extended resolution. Each of these systems formalizes some restricted version
of the ability to make assumptions that hold "without loss of generality,"
which is commonly used informally to simplify or shorten proofs.
Except for SBC, these systems are known to be exponentially weaker than
extended resolution. They are, however, all equivalent to it under a relaxed
notion of simulation that allows the translation of the formula along with the
proof when moving between proof systems. By taking advantage of this fact, we
construct formulas that separate RAT from GER and vice versa. With
the same strategy, we also separate SBC from RAT. Additionally, we
give polynomial-size SBC proofs of the pigeonhole principle, which
separates SBC from GER by a previously known lower bound. These
results also separate the three systems from BC since they all simulate
it. We thus give an almost complete picture of their relative strengths
Exponential Separations Using Guarded Extension Variables
We study the complexity of proof systems augmenting resolution with inference rules that allow, given a formula ? in conjunctive normal form, deriving clauses that are not necessarily logically implied by ? but whose addition to ? preserves satisfiability. When the derived clauses are allowed to introduce variables not occurring in ?, the systems we consider become equivalent to extended resolution. We are concerned with the versions of these systems without new variables. They are called BC?, RAT?, SBC?, and GER?, denoting respectively blocked clauses, resolution asymmetric tautologies, set-blocked clauses, and generalized extended resolution. Each of these systems formalizes some restricted version of the ability to make assumptions that hold "without loss of generality," which is commonly used informally to simplify or shorten proofs.
Except for SBC?, these systems are known to be exponentially weaker than extended resolution. They are, however, all equivalent to it under a relaxed notion of simulation that allows the translation of the formula along with the proof when moving between proof systems. By taking advantage of this fact, we construct formulas that separate RAT? from GER? and vice versa. With the same strategy, we also separate SBC? from RAT?. Additionally, we give polynomial-size SBC? proofs of the pigeonhole principle, which separates SBC? from GER? by a previously known lower bound. These results also separate the three systems from BC? since they all simulate it. We thus give an almost complete picture of their relative strengths
Analysis of growth characteristics in short-term divergently selected Japanese quail
This study was carried out to examine the effect of short-term selection for 5-weeks of age body weight in divergent lines of Japanese quail. Growth curves for both sexes within each selection group resembled the general sigmoid shape of a typical growth curve. Gompertz model curves and the observed growth curves were very similar. In both males and females the parameter estimates of the Gompertz growth curve were obtained with a high determination coefficient (0.9898 ≥ R2 ≥ 0.9840). Sex differences in asymptotic weight were found to be significant across lines. Similarly, in both sexes a significant divergent selection effect was determined for parameter A. The growth rate in all the Japanese quail lines was significantly higher in males than in females. There was also a significant increase in growth rate of the females selected for increased 5-week body weight over the control females, as well as a significant decline in growth rate of males selected for decreased 5-week body weight compared to the unselected control group. Keywords: Gompertz model; growth curve; asymmetric response;growth rate South African Journal of Animal Sciences Vol. 35 (2) 2005: pp.83-8
Effective field theory approach to Casimir interactions on soft matter surfaces
We utilize an effective field theory approach to calculate Casimir
interactions between objects bound to thermally fluctuating fluid surfaces or
interfaces. This approach circumvents the complicated constraints imposed by
such objects on the functional integration measure by reverting to a point
particle representation. To capture the finite size effects, we perturb the
Hamiltonian by DH that encapsulates the particles' response to external fields.
DH is systematically expanded in a series of terms, each of which scales
homogeneously in the two power counting parameters: \lambda \equiv R/r, the
ratio of the typical object size (R) to the typical distance between them (r),
and delta=kB T/k, where k is the modulus characterizing the surface energy. The
coefficients of the terms in DH correspond to generalized polarizabilities and
thus the formalism applies to rigid as well as deformable objects.
Singularities induced by the point particle description can be dealt with using
standard renormalization techniques. We first illustrate and verify our
approach by re-deriving known pair forces between circular objects bound to
films or membranes. To demonstrate its efficiency and versatility, we then
derive a number of new results: The triplet interactions present in these
systems, a higher order correction to the film interaction, and general scaling
laws for the leading order interaction valid for objects of arbitrary shape and
internal flexibility.Comment: 4 pages, 1 figur
A nonlinear scalar model of extreme mass ratio inspirals in effective field theory I. Self force through third order
The motion of a small compact object in a background spacetime is
investigated in the context of a model nonlinear scalar field theory. This
model is constructed to have a perturbative structure analogous to the General
Relativistic description of extreme mass ratio inspirals (EMRIs). We apply the
effective field theory approach to this model and calculate the finite part of
the self force on the small compact object through third order in the ratio of
the size of the compact object to the curvature scale of the background (e.g.,
black hole) spacetime. We use well-known renormalization methods and
demonstrate the consistency of the formalism in rendering the self force finite
at higher orders within a point particle prescription for the small compact
object. This nonlinear scalar model should be useful for studying various
aspects of higher-order self force effects in EMRIs but within a comparatively
simpler context than the full gravitational case. These aspects include
developing practical schemes for higher order self force numerical
computations, quantifying the effects of transient resonances on EMRI waveforms
and accurately modeling the small compact object's motion for precise
determinations of the parameters of detected EMRI sources.Comment: 30 pages, 8 figure
Recommended from our members
Composition differences between organic and conventional meat: a systematic literature review and meta-analysis
Demand for organic meat is partially driven by consumer perceptions that organic foods are more nutritious than non-organic foods. However, there have been no systematic reviews comparing specifically the nutrient content of organic and conventionally produced meat. In this study, we report results of a meta-analysis based on sixty-seven published studies comparing the composition of organic and non-organic meat products. For many nutritionally relevant compounds (e.g. minerals, antioxidants and most individual fatty acids (FA)), the evidence base was too weak for meaningful meta-analyses. However, significant differences in FA profiles were detected when data from all livestock species were pooled. Concentrations of SFA and MUFA were similar or slightly lower, respectively, in organic compared with conventional meat. Larger differences were detected for total PUFA and n-3 PUFA, which were an estimated 23 (95 % CI 11, 35) % and 47 (95 % CI 10, 84) % higher in organic meat, respectively. However, for these and many other composition parameters, for which meta-analyses found significant differences, heterogeneity was high, and this could be explained by differences between animal species/meat types. Evidence from controlled experimental studies indicates that the high grazing/forage-based diets prescribed under organic farming standards may be the main reason for differences in FA profiles. Further studies are required to enable meta-analyses for a wider range of parameters (e.g. antioxidant, vitamin and mineral concentrations) and to improve both precision and consistency of results for FA profiles for all species. Potential impacts of composition differences on human health are discussed
Effector and Naturally Occurring Regulatory T Cells Display No Abnormalities in Activation Induced Cell Death in NOD Mice
BACKGROUND: Disturbed peripheral negative regulation might contribute to evolution of autoimmune insulitis in type 1 diabetes. This study evaluates the sensitivity of naïve/effector (Teff) and regulatory T cells (Treg) to activation-induced cell death mediated by Fas cross-linking in NOD and wild-type mice. PRINCIPAL FINDINGS: Both effector (CD25(-), FoxP3(-)) and suppressor (CD25(+), FoxP3(+)) CD4(+) T cells are negatively regulated by Fas cross-linking in mixed splenocyte populations of NOD, wild type mice and FoxP3-GFP trangeneess. Proliferation rates and sensitivity to Fas cross-linking are dissociated in Treg cells: fast cycling induced by IL-2 and CD3/CD28 stimulation improve Treg resistance to Fas-ligand (FasL) in both strains. The effector and suppressor CD4(+) subsets display balanced sensitivity to negative regulation under baseline conditions, IL-2 and CD3/CD28 stimulation, indicating that stimulation does not perturb immune homeostasis in NOD mice. Effective autocrine apoptosis of diabetogenic cells was evident from delayed onset and reduced incidence of adoptive disease transfer into NOD.SCID by CD4(+)CD25(-) T cells decorated with FasL protein. Treg resistant to Fas-mediated apoptosis retain suppressive activity in vitro. The only detectable differential response was reduced Teff proliferation and upregulation of CD25 following CD3-activation in NOD mice. CONCLUSION: These data document negative regulation of effector and suppressor cells by Fas cross-linking and dissociation between sensitivity to apoptosis and proliferation in stimulated Treg. There is no evidence that perturbed AICD in NOD mice initiates or promotes autoimmune insulitis
Membrane-mediated interactions
Interactions mediated by the cell membrane between inclusions, such as
membrane proteins or antimicrobial peptides, play important roles in their
biological activity. They also constitute a fascinating challenge for
physicists, since they test the boundaries of our understanding of
self-assembled lipid membranes, which are remarkable examples of
two-dimensional complex fluids. Inclusions can couple to various degrees of
freedom of the membrane, resulting in different types of interactions. In this
chapter, we review the membrane-mediated interactions that arise from direct
constraints imposed by inclusions on the shape of the membrane. These effects
are generic and do not depend on specific chemical interactions. Hence, they
can be studied using coarse-grained soft matter descriptions. We deal with
long-range membrane-mediated interactions due to the constraints imposed by
inclusions on membrane curvature and on its fluctuations. We also discuss the
shorter-range interactions that arise from the constraints on membrane
thickness imposed by inclusions presenting a hydrophobic mismatch with the
membrane.Comment: 38 pages, 10 figures, pre-submission version. In: Bassereau P., Sens
P. (eds) Physics of Biological Membranes. Springer, Cha
Apoptosis of Purified CD4+ T Cell Subsets Is Dominated by Cytokine Deprivation and Absence of Other Cells in New Onset Diabetic NOD Mice
BACKGROUND: Regulatory T cells (Treg) play a significant role in immune homeostasis and self-tolerance. Excessive sensitivity of isolated Treg to apoptosis has been demonstrated in NOD mice and humans suffering of type 1 diabetes, suggesting a possible role in the immune dysfunction that underlies autoimmune insulitis. In this study the sensitivity to apoptosis was measured in T cells from new onset diabetic NOD females, comparing purified subsets to mixed cultures. PRINCIPAL FINDINGS: Apoptotic cells are short lived in vivo and death occurs primarily during isolation, manipulation and culture. Excessive susceptibility of CD25(+) T cells to spontaneous apoptosis is characteristic of isolated subsets, however disappears when death is measured in mixed splenocyte cultures. In variance, CD25(-) T cells display balanced sensitivity to apoptosis under both conditions. The isolation procedure removes soluble factors, IL-2 playing a significant role in sustaining Treg viability. In addition, pro- and anti-apoptotic signals are transduced by cell-to-cell interactions: CD3 and CD28 protect CD25(+) T cells from apoptosis, and in parallel sensitize naïve effector cells to apoptosis. Treg viability is modulated both by other T cells and other subsets within mixed splenocyte cultures. Variations in sensitivity to apoptosis are often hindered by fast proliferation of viable cells, therefore cycling rates are mandatory to adequate interpretation of cell death assays. CONCLUSIONS: The sensitivity of purified Treg to apoptosis is dominated by cytokine deprivation and absence of cell-to-cell interactions, and deviate significantly from measurements in mixed populations. Balanced sensitivity of naïve/effector and regulatory T cells to apoptosis in NOD mice argues against the concept that differential susceptibility affects disease evolution and progression
DRhigh+CD45RA−-Tregs Potentially Affect the Suppressive Activity of the Total Treg Pool in Renal Transplant Patients
Recent studies show that regulatory T cells (Tregs) play an essential role in tolerance induction after organ transplantation. In order to examine whether there are differences in the composition of the total CD4+CD127low+/−FoxP3+- Treg cell pool between stable transplant patients and patients with biopsy proven rejection (BPR), we compared the percentages and the functional activity of the different Treg cell subsets (DRhigh+CD45RA−-Tregs, DRlow+CD45RA−-Tregs, DR−CD45RA−-Tregs, DR−CD45RA+-Tregs). All parameters were determined during the three different periods of time after transplantation (0–30 days, 31–1,000 days, >1,000 days). Among 156 transplant patients, 37 patients suffered from BPR. The most prominent differences between rejecting and non-rejecting patients were observed regarding the DRhigh+CD45RA−-Treg cell subset. Our data demonstrate that the suppressive activity of the total Treg pool strongly depends on the presence of these Treg cells. Their percentage within the total Treg pool strongly decreased after transplantation and remained relatively low during the first year after transplantation in all patients. Subsequently, the proportion of this Treg subset increased again in patients who accepted the transplant and reached a value of healthy non-transplanted subjects. By contrast, in patients with acute kidney rejection, the DRhigh+CD45RA−-Treg subset disappeared excessively, causing a reduction in the suppressive activity of the total Treg pool. Therefore, both the monitoring of its percentage within the total Treg pool and the monitoring of the HLA-DR MFI of the DR+CD45RA−-Treg subset may be useful tools for the prediction of graft rejection
- …