Reverse mathematics of matroids

Matroids generalize the familiar notion of linear dependence from linear algebra. Following a brief discussion of founding work in computability and matroids, we use the techniques of reverse mathematics to determine the logical strength of some basis theorems for matroids and enumerated matroids. Next, using Weihrauch reducibility, we relate the basis results to combinatorial choice principles and statements about vector spaces. Finally, we formalize some of the Weihrauch reductions to extract related reverse mathematics results. In particular, we show that the existence of bases for vector spaces of bounded dimension is equivalent to the induction scheme for \Sigma^0_2 formulas

Wanted dead or alive : high diversity of macroinvertebrates associated with living and ’dead’ Posidonia oceanica matte

The Mediterranean endemic seagrass Posidonia oceanica forms beds characterised by a dense leaf canopy and a thick root-rhizome ‘matte’. Death of P. oceanica shoots leads to exposure of the underlying matte, which can persist for many years, and is termed ‘dead’ matte. Traditionally, dead matte has been regarded as a degraded habitat. To test whether this assumption was true, the motile macroinvertebrates of adjacent living (with shoots) and dead (without shoots) matte of P. oceanica were sampled in four different plots located at the same depth (5–6 m) in Mellieha Bay, Malta (central Mediterranean). The total number of species and abundance were significantly higher (ANOVA; P<0.05 and P<0.01, respectively) in the dead matte than in living P. oceanica matte, despite the presence of the foliar canopy in the latter. Multivariate analysis (MDS) clearly showed two main groups of assemblages, corresponding to the two matte types. The amphipods Leptocheirus guttatus and Maera grossimana, and the polychaete Nereis rava contributed most to the dissimilarity between the two different matte types. Several unique properties of the dead matte contributing to the unexpected higher number of species and abundance of motile macroinvertebrates associated with this habitat are discussed. The findings have important implications for the conservation of bare P. oceanica matte, which has been generally viewed as a habitat of low ecological value.peer-reviewe

The outcomes of midline versus medio-lateral episiotomy

This is an Open Access article distributed under the terms of the Creative Commons Attribution Licens

The relative effects of upwelling and river flow on the phytoplankton diversity patterns in the ria of A Coruña (NW Spain)

Phytoplankton species assemblages in estuaries are connected to those in rivers and marine environments by local hydrodynamics leading to a continuous flow of taxa. This study revealed differential effects of upwelling and river flow on phytoplankton communities observed in 2011 along a salinity gradient from a river reservoir connected to the sea through a ria-marine bay system in A Coruña (NW Spain, 43° 16-21’ N, 8° 16-22’ W). With 130 phytoplankton taxa identified, the assemblages were dominated in general by diatoms, particularly abundant in the bay and in the estuary, but also by chlorophycea and cyanobacteria in the reservoir. Considering the entire seasonal cycle, the local assemblages were mainly characterized by changes in cryptophytes and diatoms, small dinoflagellates and some freshwater chlorophycea. Salinity, nitrate, and organic matter variables, were the main environmental factors related to the changes in the phytoplankton communities through the system, while phosphate and nitrite were also important for local communities in the estuary and the bay, respectively. The corresponding local phytoplankton assemblages showed moderate levels of connectivity. The estuarine community shared a variable number of taxa with the adjacent zones, depending on the relative strength of upwelling (major influence from the bay) and river flow (major influence of the reservoir) but had on average 35% of unique taxa. Consequently, local and zonal diversity patterns varied seasonally and were not simply related to the salinity gradient driven by the river flow.ANILE (CTM2009-08396 and CTM2010-08804-E), FIOME (CTM2011-28792-C02-01-MAR), and MEFIO (CTM2011-28792-C02-02-MAR) of the Plan Nacional de I+D+i (Spain), and RADIALES of the Instituto Español de Oceanografía (IEO, Spain).Versión del editor2,01

Cyclic AMP Control Measured in Two Compartments in HEK293 Cells: Phosphodiesterase KM Is More Important than Phosphodiesterase Localization

The intracellular second messenger cyclic AMP (cAMP) is degraded by phosphodiesterases (PDE). The knowledge of individual families and subtypes of PDEs is considerable, but how the different PDEs collaborate in the cell to control a cAMP signal is still not fully understood. In order to investigate compartmentalized cAMP signaling, we have generated a membrane-targeted variant of the cAMP Bioluminiscence Resonance Energy Transfer (BRET) sensor CAMYEL and have compared intracellular cAMP measurements with it to measurements with the cytosolic BRET sensor CAMYEL in HEK293 cells. With these sensors we observed a slightly higher cAMP response to adenylyl cyclase activation at the plasma membrane compared to the cytosol, which is in accordance with earlier results from Fluorescence Resonance Energy Transfer (FRET) sensors. We have analyzed PDE activity in fractionated lysates from HEK293 cells using selective PDE inhibitors and have identified PDE3 and PDE10A as the major membrane-bound PDEs and PDE4 as the major cytosolic PDE. Inhibition of membrane-bound or cytosolic PDEs can potentiate the cAMP response to adenylyl cyclase activation, but we see no significant difference between the potentiation of the cAMP response at the plasma membrane and in cytosol when membrane-bound and cytosolic PDEs are inhibited. When different levels of stimulation were tested, we found that PDEs 3 and 10 are mainly responsible for cAMP degradation at low intracellular cAMP concentrations, whereas PDE4 is more important for control of cAMP at higher concentrations

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

Jet energy measurement with the ATLAS detector in proton-proton collisions at root s=7 TeV

The jet energy scale and its systematic uncertainty are determined for jets measured with the ATLAS detector at the LHC in proton-proton collision data at a centre-of-mass energy of √s = 7TeV corresponding to an integrated luminosity of 38 pb-1. Jets are reconstructed with the anti-kt algorithm with distance parameters R=0. 4 or R=0. 6. Jet energy and angle corrections are determined from Monte Carlo simulations to calibrate jets with transverse momenta pT≥20 GeV and pseudorapidities {pipe}η{pipe}<4. 5. The jet energy systematic uncertainty is estimated using the single isolated hadron response measured in situ and in test-beams, exploiting the transverse momentum balance between central and forward jets in events with dijet topologies and studying systematic variations in Monte Carlo simulations. The jet energy uncertainty is less than 2. 5 % in the central calorimeter region ({pipe}η{pipe}<0. 8) for jets with 60≤pT<800 GeV, and is maximally 14 % for pT<30 GeV in the most forward region 3. 2≤{pipe}η{pipe}<4. 5. The jet energy is validated for jet transverse momenta up to 1 TeV to the level of a few percent using several in situ techniques by comparing a well-known reference such as the recoiling photon pT, the sum of the transverse momenta of tracks associated to the jet, or a system of low-pT jets recoiling against a high-pT jet. More sophisticated jet calibration schemes are presented based on calorimeter cell energy density weighting or hadronic properties of jets, aiming for an improved jet energy resolution and a reduced flavour dependence of the jet response. The systematic uncertainty of the jet energy determined from a combination of in situ techniques is consistent with the one derived from single hadron response measurements over a wide kinematic range. The nominal corrections and uncertainties are derived for isolated jets in an inclusive sample of high-pT jets. Special cases such as event topologies with close-by jets, or selections of samples with an enhanced content of jets originating from light quarks, heavy quarks or gluons are also discussed and the corresponding uncertainties are determined. © 2013 CERN for the benefit of the ATLAS collaboration

Measurement of the inclusive and dijet cross-sections of b-jets in pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

The inclusive and dijet production cross-sections have been measured for jets containing b-hadrons (b-jets) in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV, using the ATLAS detector at the LHC. The measurements use data corresponding to an integrated luminosity of 34 pb^-1. The b-jets are identified using either a lifetime-based method, where secondary decay vertices of b-hadrons in jets are reconstructed using information from the tracking detectors, or a muon-based method where the presence of a muon is used to identify semileptonic decays of b-hadrons inside jets. The inclusive b-jet cross-section is measured as a function of transverse momentum in the range 20 < pT < 400 GeV and rapidity in the range |y| < 2.1. The bbbar-dijet cross-section is measured as a function of the dijet invariant mass in the range 110 < m_jj < 760 GeV, the azimuthal angle difference between the two jets and the angular variable chi in two dijet mass regions. The results are compared with next-to-leading-order QCD predictions. Good agreement is observed between the measured cross-sections and the predictions obtained using POWHEG + Pythia. MC@NLO + Herwig shows good agreement with the measured bbbar-dijet cross-section. However, it does not reproduce the measured inclusive cross-section well, particularly for central b-jets with large transverse momenta.Comment: 10 pages plus author list (21 pages total), 8 figures, 1 table, final version published in European Physical Journal