Light-cone Wilson loop in classical lattice gauge theory

The transverse broadening of an energetic jet passing through a non-Abelian plasma is believed to be described by the thermal expectation value of a light-cone Wilson loop. In this exploratory study, we measure the light-cone Wilson loop with classical lattice gauge theory simulations. We observe, as suggested by previous studies, that there are strong interactions already at short transverse distances, which may lead to more efficient jet quenching than in leading-order perturbation theory. We also verify that the asymptotics of the Wilson loop do not change qualitatively when crossing the light cone, which supports arguments in the literature that infrared contributions to jet quenching can be studied with dimensionally reduced simulations in the space-like domain. Finally we speculate on possibilities for full four-dimensional lattice studies of the same observable, perhaps by employing shifted boundary conditions in order to simulate ensembles boosted by an imaginary velocity.

Evaluation of control and surveillance strategies for classical swine fever using a simulation model

Classical swine fever (CSF) outbreaks can cause enormous losses in naïve pig populations. How to best minimize the economic damage and number of culled animals caused by CSF is therefore an important research area. The baseline CSF control strategy in the European Union and Switzerland consists of culling all animals in infected herds, movement restrictions for animals, material and people within a given distance to the infected herd and epidemiological tracing of transmission contacts. Additional disease control measures such as pre-emptive culling or vaccination have been recommended based on the results from several simulation models; however, these models were parameterized for areas with high animal densities. The objective of this study was to explore whether pre-emptive culling and emergency vaccination should also be recommended in low- to moderate-density areas such as Switzerland. Additionally, we studied the influence of initial outbreak conditions on outbreak severity to improve the efficiency of disease prevention and surveillance. A spatial, stochastic, individual-animal-based simulation model using all registered Swiss pig premises in 2009 (n=9770) was implemented to quantify these relationships. The model simulates within-herd and between-herd transmission (direct and indirect contacts and local area spread). By varying the four parameters (a) control measures, (b) index herd type (breeding, fattening, weaning or mixed herd), (c) detection delay for secondary cases during an outbreak and (d) contact tracing probability, 112 distinct scenarios were simulated. To assess the impact of scenarios on outbreak severity, daily transmission rates were compared between scenarios. Compared with the baseline strategy (stamping out and movement restrictions) vaccination and pre-emptive culling neither reduced outbreak size nor duration. Outbreaks starting in a herd with weaning piglets or fattening pigs caused higher losses regarding to the number of culled premises and were longer lasting than those starting in the two other index herd types. Similarly, larger transmission rates were estimated for these index herd type outbreaks. A longer detection delay resulted in more culled premises and longer duration and better transmission tracing increased the number of short outbreaks. Based on the simulation results, baseline control strategies seem sufficient to control CSF in low-medium animal-dense areas. Early detection of outbreaks is crucial and risk-based surveillance should be focused on weaning piglet and fattening pig premises.

Canonical proof nets for classical logic

Proof nets provide abstract counterparts to sequent proofs modulo rule permutations; the idea being that if two proofs have the same underlying proof-net, they are in essence the same proof. Providing a convincing proof-net counterpart to proofs in the classical sequent calculus is thus an important step in understanding classical sequent calculus proofs. By convincing, we mean that (a) there should be a canonical function from sequent proofs to proof nets, (b) it should be possible to check the correctness of a net in polynomial time, (c) every correct net should be obtainable from a sequent calculus proof, and (d) there should be a cut-elimination procedure which preserves correctness. Previous attempts to give proof-net-like objects for propositional classical logic have failed at least one of the above conditions. In Richard McKinley (2010) [22], the author presented a calculus of proof nets (expansion nets) satisfying (a) and (b); the paper defined a sequent calculus corresponding to expansion nets but gave no explicit demonstration of (c). That sequent calculus, called LK∗ in this paper, is a novel one-sided sequent calculus with both additively and multiplicatively formulated disjunction rules. In this paper (a self-contained extended version of Richard McKinley (2010) [22]), we give a full proof of (c) for expansion nets with respect to LK∗, and in addition give a cut-elimination procedure internal to expansion nets – this makes expansion nets the first notion of proof-net for classical logic satisfying all four criteria.

Extending in vitro conditioning in Aplysia to analyze operant and classical processes in the same preparation.

Operant and classical conditioning are major processes shaping behavioral responses in all animals. Although the understanding of the mechanisms of classical conditioning has expanded significantly, the understanding of the mechanisms of operant conditioning is more limited. Recent developments in Aplysia are helping to narrow the gap in the level of understanding between operant and classical conditioning, and have raised the possibility of studying the neuronal processes underlying the interaction of operant and classical components in a relatively complex learning task. In the present study, we describe a first step toward realizing this goal, by developing a single in vitro preparation in which both operant and classical conditioning can be studied concurrently. The new paradigm reproduced previously published results, even under more conservative and homogenous selection criteria and tonic stimulation regime. Moreover, the observed learning was resistant to delay, shortening, and signaling of reinforcement.

In vitro analog of classical conditioning of feeding behavior in aplysia.

The feeding behavior of Aplysia californica can be classically conditioned using tactile stimulation of the lips as a conditioned stimulus (CS) and food as an unconditioned stimulus (US). Moreover, several neural correlates of classical conditioning have been identified. The present study extended previous work by developing an in vitro analog of classical conditioning and by investigating pairing-specific changes in neuronal and synaptic properties. The preparation consisted of the isolated cerebral and buccal ganglia. Electrical stimulation of a lip nerve (AT4) and a branch of the esophageal nerve (En2) served as the CS and US, respectively. Three protocols were used: paired, unpaired, and US alone. Only the paired protocol produced a significant increase in CS-evoked fictive feeding. At the cellular level, classical conditioning enhanced the magnitude of the CS-evoked synaptic input to pattern-initiating neuron B31/32. In addition, paired training enhanced both the magnitude of the CS-evoked synaptic input and the CS-evoked spike activity in command-like neuron CBI-2. The in vitro analog of classical conditioning reproduced all of the cellular changes that previously were identified following behavioral conditioning and has led to the identification of several new learning-related neural changes. In addition, the pairing-specific enhancement of the CS response in CBI-2 indicates that some aspects of associative plasticity may occur at the level of the cerebral sensory neurons.

Cerebellar cortex involvement in classical eyelid conditioning

A model for cerebellar involvement in motor learning was tested using classical eyelid conditioning in the rabbit. Briefly, we assume that modifications of the strength of granule cell synapses at Purkinje cells in the cerebellar cortex and mossy fiber (MF) synapses at cerebellar interpositus nuclei are responsible for the acquisition, adaptively-timed expression, and extinction of conditioned eyelid responses (CRs). A corollary of these assumptions is that the cerebellar cortex is necessary for acquisition and extinction. This model also suggests a mechanism whereby the cerebellar cortex can discriminate different times during a conditioned stimulus (CS) and thus mediate the learned timing of CRs. Therefore, experiments were done to determine the role of the cerebellar cortex in the timing, extinction, and acquisition of CRs. Lesions of the cerebellar cortex that included the anterior lobe disrupted the learned timing of CRs such that they occurred at extremely short latencies. Stimulation of MFs in the middle cerebellar peduncle as the CS could support differently timed CRs in the same animal. These data indicate that synaptic plasticity in the cerebellar cortex mediates the learned timing of CRs. These short-latency CRs which resulted from anterior lobe damage did not extinguish, while CRs in animals receiving lesions which did not include the anterior lobe extinguished normally. Preliminary data suggests that lesions of the anterior lobe which produce short-latency responses prevent the acquisition of CRs to a novel CS. These findings indicate that the anterior lobe of cerebellar cortex is necessary for eyelid conditioning. The involvement of the anterior lobe in eyelid conditioning has not been previously reported, however, the anterior lobe has generally been spared in lesion studies examining cerebellar cortex involvement in eyelid conditioning due to its relatively inaccessible location. The observation that the anterior lobe of the cerebellar cortex is not always required for the basic expression of CRs, but is necessary for response timing, extinction, and acquisition, is consistent with the hypothesis that eyelid conditioning can involve plasticity in both the cerebellar cortex and interpositus nucleus and that plasticity in the nucleus is controlled by Purkinje cell activity. ^

From emotion perception to emotion experience: Emotions evoked by pictures and classical music.

Most previous neurophysiological studies evoked emotions by presenting visual stimuli. Models of the emotion circuits in the brain have for the most part ignored emotions arising from musical stimuli. To our knowledge, this is the first emotion brain study which examined the influence of visual and musical stimuli on brain processing. Highly arousing pictures of the International Affective Picture System and classical musical excerpts were chosen to evoke the three basic emotions of happiness, sadness and fear. The emotional stimuli modalities were presented for 70 s either alone or combined (congruent) in a counterbalanced and random order. Electroencephalogram (EEG) Alpha-Power-Density, which is inversely related to neural electrical activity, in 30 scalp electrodes from 24 right-handed healthy female subjects, was recorded. In addition, heart rate (HR), skin conductance responses (SCR), respiration, temperature and psychometrical ratings were collected. Results showed that the experienced quality of the presented emotions was most accurate in the combined conditions, intermediate in the picture conditions and lowest in the sound conditions. Furthermore, both the psychometrical ratings and the physiological involvement measurements (SCR, HR, Respiration) were significantly increased in the combined and sound conditions compared to the picture conditions. Finally, repeated measures ANOVA revealed the largest Alpha-Power-Density for the sound conditions, intermediate for the picture conditions, and lowest for the combined conditions, indicating the strongest activation in the combined conditions in a distributed emotion and arousal network comprising frontal, temporal, parietal and occipital neural structures. Summing up, these findings demonstrate that music can markedly enhance the emotional experience evoked by affective pictures.

Modulation of corticospinal activity by strong emotions evoked by pictures and classical music: a transcranial magnetic stimulation study.

Using transcranial magnetic stimulation and skin conductance responses, we sought to clarify if, and to what extent, emotional experiences of different valences and intensity activate the hand-motor system and the associated corticospinal tract. For that purpose, we applied a newly developed method to evoke strong emotional experiences by the simultaneous presentation of musical and pictorial stimuli of congruent emotional valence. We uncovered enhanced motor-evoked potentials, irrespective of valence, during the simultaneous presentation of emotional music and picture stimuli (Combined conditions) compared with the single presentation of the two modalities (Picture/Music conditions). In contrast, vegetative arousal was enhanced during both the Combined and Music conditions, compared with the Picture conditions, again irrespective of emotional valence. These findings strongly indicate that arousal is a necessary, but not sufficient, prerequisite for triggering the motor system of the brain. We offer a potential explanation for this discrepant, but intriguing, finding in the paper.

Prognostic factors for advanced-stage human immunodeficiency virus-associated classical Hodgkin lymphoma treated with doxorubicin, bleomycin, vinblastine, and dacarbazine plus combined antiretroviral therapy: A multi-institutional retrospective study.

BACKGROUND The treatment and outcomes of patients with human immunodeficiency virus (HIV)-associated Hodgkin lymphoma (HL) continue to evolve. The International Prognostic Score (IPS) is used to predict the survival of patients with advanced-stage HL, but it has not been validated in patients with HIV infection. METHODS This was a multi-institutional, retrospective study of 229 patients with HIV-associated, advanced-stage, classical HL who received doxorubicin, bleomycin, vinblastine, and dacarbazine (ABVD) plus combination antiretroviral therapy. Their clinical characteristics were presented descriptively, and multivariate analyses were performed to identify the factors that were predictive of response and prognostic of progression-free survival (PFS) and overall survival (OS). RESULTS The overall and complete response rates to ABVD in patients with HIV-associated HL were 91% and 83%, respectively. After a median follow-up of 5 years, the 5-year PFS and OS rates were 69% and 78%, respectively. In multivariate analyses, there was a trend toward an IPS score >3 as an adverse factor for PFS (hazard ratio [HR], 1.49; P=.15) and OS (HR, 1.84; P=.06). A cluster of differentiation 4 (CD4)-positive (T-helper) cell count <200 cells/μL was associated independently with both PFS (HR, 2.60; P=.002) and OS (HR, 2.04; P=.04). The CD4-positive cell count was associated with an increased incidence of death from other causes (HR, 2.64; P=.04) but not with death from HL-related causes (HR, 1.55; P=.32). CONCLUSIONS The current results indicate excellent response and survival rates in patients with HIV-associated, advanced-stage, classical HL who receive ABVD and combination antiretroviral therapy as well as the prognostic value of the CD4-positive cell count at the time of lymphoma diagnosis for PFS and OS. Cancer 2014. © 2014 American Cancer Society.

Quantum and classical criticality in a dimerized quantum antiferromagnet

A quantum critical point (QCP) is a singularity in the phase diagram arising because of quantum mechanical fluctuations. The exotic properties of some of the most enigmatic physical systems, including unconventional metals and superconductors, quantum magnets and ultracold atomic condensates, have been related to the importance of critical quantum and thermal fluctuations near such a point. However, direct and continuous control of these fluctuations has been difficult to realize, and complete thermodynamic and spectroscopic information is required to disentangle the effects of quantum and classical physics around a QCP. Here we achieve this control in a high-pressure, high-resolution neutron scattering experiment on the quantum dimer material TlCuCl3. By measuring the magnetic excitation spectrum across the entire quantum critical phase diagram, we illustrate the similarities between quantum and thermal melting of magnetic order. We prove the critical nature of the unconventional longitudinal (Higgs) mode of the ordered phase by damping it thermally. We demonstrate the development of two types of criticality, quantum and classical, and use their static and dynamic scaling properties to conclude that quantum and thermal fluctuations can behave largely independently near a QCP.

Proof internalization in generalized Frege systems for classical logic

We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own proofs.

Relative positioning of classical benzodiazepines to the γ2-subunit of GABAA receptors.

GABAA receptors are the major inhibitory neurotransmitter receptors in the brain. Benzodiazepine exert their action via a high affinity-binding site at the α/γ subunit interface on some of these receptors. Diazepam has sedative, hypnotic, anxiolytic, muscle relaxant, and anticonvulsant effects. It acts by potentiating the current evoked by the agonist GABA. Understanding specific interaction of benzodiazepines in the binding pocket of different GABAA receptor isoforms might help to separate these divergent effects. As a first step, we characterized the interaction between diazepam and the major GABAA receptor isoform α1β2γ2. We mutated several amino acid residues on the γ2-subunit assumed to be located near or in the benzodiazepine binding pocket individually to cysteine and studied the interaction with three ligands that are modified with a cysteine-reactive isothiocyanate group (-NCS). When the reactive NCS group is in apposition to the cysteine residue this leads to a covalent reaction. In this way, three amino acid residues, γ2Tyr58, γ2Asn60, and γ2Val190 were located relative to classical benzodiazepines in their binding pocket on GABAA receptors.

Algebra of Classical Theoretical Term Reductions in the Sciences

An elementary algebra identifies conceptual and corresponding applicational limitations in John Kemeny and Paul Oppenheim’s (K-O) 1956 model of theoretical reduction in the sciences. The K-O model was once widely accepted, at least in spirit, but seems afterward to have been discredited, or in any event superceeded. Today, the K-O reduction model is seldom mentioned, except to clarify when a reduction in the Kemeny-Oppenheim sense is not intended. The present essay takes a fresh look at the basic mathematics of K-O comparative vocabulary theoretical term reductions, from historical and philosophical standpoints, as a contribution to the history of the philosophy of science. The K-O theoretical reduction model qualifies a theory replacement as a successful reduction when preconditions of explanatory adequacy and comparable systematicization are met, and there occur fewer numbers of theoretical terms identified as replicable syntax types in the most economical statement of a theory’s putative propositional truths, as compared with the theoretical term count for the theory it replaces. The challenge to the historical model developed here, to help explain its scope and limitations, involves the potential for equivocal theoretical meanings of multiple theoretical term tokens of the same syntactical type.

Npro of classical swine fever virus contributes to pathogenicity in pigs by preventing type I interferon induction at local replication sites

Classical swine fever (CSF) caused by CSF virus (CSFV) is a highly contagious disease of pigs. The viral protein Npro of CSFV interferes with alpha- and beta-interferon (IFN-α/β) induction by promoting the degradation of interferon regulatory factor 3 (IRF3). During the establishment of the live attenuated CSF vaccine strain GPE-, Npro acquired a mutation that abolished its capacity to bind and degrade IRF3, rendering it unable to prevent IFN-α/β induction. In a previous study, we showed that the GPE- vaccine virus became pathogenic after forced serial passages in pigs, which was attributed to the amino acid substitutions T830A in the viral proteins E2 and V2475A and A2563V in NS4B. Interestingly, during the re-adaptation of the GPE- vaccine virus in pigs, the IRF3-degrading function of Npro was not recovered. Therefore, we examined whether restoring the ability of Npro to block IFN-α/β induction of both the avirulent and moderately virulent GPE--derived virus would enhance pathogenicity in pigs. Viruses carrying the N136D substitution in Npro regained the ability to degrade IRF3 and suppress IFN-α/β induction in vitro. In pigs, functional Npro significantly reduced the local IFN-α mRNA expression in lymphoid organs while it increased quantities of IFN-α/β in the circulation, and enhanced pathogenicity of the moderately virulent virus. In conclusion, the present study demonstrates that functional Npro influences the innate immune response at local sites of virus replication in pigs and contributes to pathogenicity of CSFV in synergy with viral replication.