Hypergraph Acyclicity and Propositional Model Counting

We show that the propositional model counting problem #SAT for CNF- formulas with hypergraphs that allow a disjoint branches decomposition can be solved in polynomial time. We show that this class of hypergraphs is incomparable to hypergraphs of bounded incidence cliquewidth which were the biggest class of hypergraphs for which #SAT was known to be solvable in polynomial time so far. Furthermore, we present a polynomial time algorithm that computes a disjoint branches decomposition of a given hypergraph if it exists and rejects otherwise. Finally, we show that some slight extensions of the class of hypergraphs with disjoint branches decompositions lead to intractable #SAT, leaving open how to generalize the counting result of this paper

Effet d'une expérimentation de brassage artificiel epilimnique par aération sur les poussées cyanobactériennes dans la retenue hypereutrophe de Grangent (France)

Dans la retenue hypereutrophe de Grangent, le phytoplancton estival est dominé par la cyanobactérie Microcystis aeruginosa. Dans le but de lutter contre la formation de ces blooms cyanobactériens, une expérimentation de brassage artificiel épilimnique par aération a été réalisée en 1997-1998. Ce dispositif avait pour but de créer des turbulences supprimant l'avantage adaptatif que constitue, chez M. aeruginosa, la faculté de réguler sa flottabilité. Il devait également permettre l'homogénéisation des teneurs en oxygène dissous, la réduction des pics de pH, de la turbidité des eaux superficielles et des teneurs en ammonium.Les résultats escomptés ont été vérifiés pour les paramètres physicochimiques. Les valeurs se sont révélées plus homogènes, mais seulement à proximité des lignes de brassage et uniquement jusqu'à 10 m de profondeur. En revanche, les blooms cyanobactériens n'ont pas été réduits. Il apparaît même au contraire que, sous l'influence du mélange, les cyanobactéries ont eu à leur disposition une plus grande quantité de nutriments qu'elles ont utilisés pour constituer des réserves glucidiques. Ainsi, en aval de la zone brassée, ces réserves ont permis une synthèse protéique plus importante.Sur la retenue de Grangent, le dispositif de brassage peut offrir une solution palliative du point de vue touristique en limitant l'accumulation de cyanobactéries en surface, mais il ne permet pas d'éliminer, ni même de diminuer, les proliférations de M. aeruginosa en période estivale.In the reservoir of Grangent, a highly eutrophic lake located on the upper part of the Loire River, about 10 miles south of Saint-Étienne (France), Microcystis aeruginosa usually dominates the phytoplankton community in late summer and early autumn for many years. Mass developments of this cyanobacterium led to serious difficulties in multi-purpose usage. In order to fight against blooms, an epilimnic artificial mixing was experimented. M. aeruginosa is adapted to stable stratification of the water column. Therefore, partial destratification or bubbling with air are employed to replace M. aeruginosa by better grazable, non- " blooming " and non-toxic species. This cyanobacterium is supposed to lose its advantage of buoyancy and to reduce his growth. This system was also employed to reduce peaks of pH, turbidity of surface waters and concentration of NH4 and to homogenize the dissolved oxygen concentration inside the water column. Three lines of mixing were tested in 1998: one located at "Châtelet", upstream of reservoir, measuring 700 m at 11 m depth; one near the beach of Saint-Victor, with the same length and immersed to 15 m depth and, finally, a line of 400 m, near the port, at 16 m depth (figure 1).Data were collected from representative sites, upstream, near and downstream the artificial mixing. They were sampled weekly since April to November 1998. At each site the vertical profiles of temperature and dissolved oxygen were measured (figure 2). For each sample, the parameters following were analyzed: pH, NO3, NH4, PO4, carbohydrates, proteins, chlorophyll a and phytoplankton enumeration.Concerning the physicochemical parameters, the assumptions were checked: the values appeared more homogeneous near the lines of mixing than at the other stations. For example, the average temperatures varied between 20,6°C (at 10 m depth) and 21,3°C (at 0,5 m depth) at Saint-Victor. This variation reached 1,3°C at the station Camaldules. On the other hand, this effect was perceived only up to 10 m of depth and at a limited distance of mixing.In the same way, the colonies of M. aeruginosa were mixed in the water column but only up 10 m depth and near mixing. Moreover, their growth has not decreased on the whole of reservoir. In period of bloom (August 25), G/P ratio was higher in the mixing zone than in the neighbourhoods, primarily because of an increase in carbohydrates (figure 3). In the mixed zone, M. aeruginosa seemed to benefit greater quantity of mineral elements it could use to constitute carbohydrates reserves (figure 4). In this way, when the conditions that became less favourable, like downstream, cyanobacteria were able to follow their development by synthesizing proteins starting from their reserves in carbohydrates.In the reservoir of Grangent, artificial mixing did not allow to fight effectively against blooms of cyanobacteria. Colonies of M. aeruginosa were simply diluted in the water column near mixing but did not reduce their growth

Search for the standard model Higgs boson in the H to ZZ to 2l 2nu channel in pp collisions at sqrt(s) = 7 TeV

A search for the standard model Higgs boson in the H to ZZ to 2l 2nu decay channel, where l = e or mu, in pp collisions at a center-of-mass energy of 7 TeV is presented. The data were collected at the LHC, with the CMS detector, and correspond to an integrated luminosity of 4.6 inverse femtobarns. No significant excess is observed above the background expectation, and upper limits are set on the Higgs boson production cross section. The presence of the standard model Higgs boson with a mass in the 270-440 GeV range is excluded at 95% confidence level.Comment: Submitted to JHE

Combined search for the quarks of a sequential fourth generation

Results are presented from a search for a fourth generation of quarks produced singly or in pairs in a data set corresponding to an integrated luminosity of 5 inverse femtobarns recorded by the CMS experiment at the LHC in 2011. A novel strategy has been developed for a combined search for quarks of the up and down type in decay channels with at least one isolated muon or electron. Limits on the mass of the fourth-generation quarks and the relevant Cabibbo-Kobayashi-Maskawa matrix elements are derived in the context of a simple extension of the standard model with a sequential fourth generation of fermions. The existence of mass-degenerate fourth-generation quarks with masses below 685 GeV is excluded at 95% confidence level for minimal off-diagonal mixing between the third- and the fourth-generation quarks. With a mass difference of 25 GeV between the quark masses, the obtained limit on the masses of the fourth-generation quarks shifts by about +/- 20 GeV. These results significantly reduce the allowed parameter space for a fourth generation of fermions.Comment: Replaced with published version. Added journal reference and DO

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO

Physics-informed Gaussian Process for Online Optimization of Particle Accelerators

High-dimensional optimization is a critical challenge for operating large-scale scientific facilities. We apply a physics-informed Gaussian process (GP) optimizer to tune a complex system by conducting efficient global search. Typical GP models learn from past observations to make predictions, but this reduces their applicability to new systems where archive data is not available. Instead, here we use a fast approximate model from physics simulations to design the GP model. The GP is then employed to make inferences from sequential online observations in order to optimize the system. Simulation and experimental studies were carried out to demonstrate the method for online control of a storage ring. We show that the physics-informed GP outperforms current routinely used online optimizers in terms of convergence speed, and robustness on this task. The ability to inform the machine-learning model with physics may have wide applications in science

Measurement of the t-channel single top quark production cross section in pp collisions at √s =7 TeV

Peer reviewe

Measurement of the sum ofWW and WZ production with W+dijet events in pp collisions at √ s = 7 TeV

A measurement of the inclusive WW+WZ diboson production cross section in proton–proton collisions is reported, based on events containing a leptonically decaying √W boson and exactly two jets. The data sample, collected at s = 7 TeV with the CMS detector at the LHC, corresponds to an integrated luminosity of 5.0 fb−1. The measured value of the sum of the inclusive WW and WZ cross sections is σ(pp → WW + WZ) = 68.9 ± 8.7 (stat.) ± 9.7 (syst.) ± 1.5 (lum.) pb, consistent with the standard model prediction of 65.6±2.2 pb. This is the first measurement of WW+WZ production in pp collisions using this signature. No evidence for anomalous triple gauge couplings is found and upper limits are set on their magnitudes