213 research outputs found
Presentation on the New Long-term Safety Net Program
Non-Peer Reviewe
Logics of Finite Hankel Rank
We discuss the Feferman-Vaught Theorem in the setting of abstract model
theory for finite structures. We look at sum-like and product-like binary
operations on finite structures and their Hankel matrices. We show the
connection between Hankel matrices and the Feferman-Vaught Theorem. The largest
logic known to satisfy a Feferman-Vaught Theorem for product-like operations is
CFOL, first order logic with modular counting quantifiers. For sum-like
operations it is CMSOL, the corresponding monadic second order logic. We
discuss whether there are maximal logics satisfying Feferman-Vaught Theorems
for finite structures.Comment: Appeared in YuriFest 2015, held in honor of Yuri Gurevich's 75th
birthday. The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-319-23534-9_1
On the Parameterized Intractability of Monadic Second-Order Logic
One of Courcelle's celebrated results states that if C is a class of graphs
of bounded tree-width, then model-checking for monadic second order logic
(MSO_2) is fixed-parameter tractable (fpt) on C by linear time parameterized
algorithms, where the parameter is the tree-width plus the size of the formula.
An immediate question is whether this is best possible or whether the result
can be extended to classes of unbounded tree-width. In this paper we show that
in terms of tree-width, the theorem cannot be extended much further. More
specifically, we show that if C is a class of graphs which is closed under
colourings and satisfies certain constructibility conditions and is such that
the tree-width of C is not bounded by \log^{84} n then MSO_2-model checking is
not fpt unless SAT can be solved in sub-exponential time. If the tree-width of
C is not poly-logarithmically bounded, then MSO_2-model checking is not fpt
unless all problems in the polynomial-time hierarchy can be solved in
sub-exponential time
On the complexity of Generalized Chromatic Polynomials
J. Makowsky and B. Zilber (2004) showed that many variations of graph colorings,
called CP-colorings in the sequel, give rise to graph polynomials. This is true in
particular for harmonious colorings, convex colorings, mcct-colorings, and rainbow
colorings, and many more. N. Linial (1986) showed that the chromatic polynomial
ïżœ(G;X) is #P-hard to evaluate for all but three values X = 0, 1, 2, where evaluation
is in P.
This dichotomy includes evaluation at real or complex values, and has the further
property that the set of points for which evaluation is in P is finite. We investigate
how the complexity of evaluating univariate graph polynomials that arise from CPcolorings
varies for different evaluation points. We show that for some CP-colorings
(harmonious, convex) the complexity of evaluation follows a similar pattern to the chromatic
polynomial. However, in other cases (proper edge colorings, mcct-colorings,
H-free colorings) we could only obtain a dichotomy for evaluations at non-negative
integer points. We also discuss some CP-colorings where we only have very partial
results
Beyond Missing Heritability: Prediction of Complex Traits
Despite rapid advances in genomic technology, our ability to account for phenotypic variation using genetic information remains limited for many traits. This has unfortunately resulted in limited application of genetic data towards preventive and personalized medicine, one of the primary impetuses of genome-wide association studies. Recently, a large proportion of the âmissing heritabilityâ for human height was statistically explained by modeling thousands of single nucleotide polymorphisms concurrently. However, it is currently unclear how gains in explained genetic variance will translate to the prediction of yet-to-be observed phenotypes. Using data from the Framingham Heart Study, we explore the genomic prediction of human height in training and validation samples while varying the statistical approach used, the number of SNPs included in the model, the validation scheme, and the number of subjects used to train the model. In our training datasets, we are able to explain a large proportion of the variation in height (h2 up to 0.83, R2 up to 0.96). However, the proportion of variance accounted for in validation samples is much smaller (ranging from 0.15 to 0.36 depending on the degree of familial information used in the training dataset). While such R2 values vastly exceed what has been previously reported using a reduced number of pre-selected markers (<0.10), given the heritability of the trait (âŒ0.80), substantial room for improvement remains
Maximizing Happiness in Graphs of Bounded Clique-Width
Clique-width is one of the most important parameters that describes
structural complexity of a graph. Probably, only treewidth is more studied
graph width parameter. In this paper we study how clique-width influences the
complexity of the Maximum Happy Vertices (MHV) and Maximum Happy Edges (MHE)
problems. We answer a question of Choudhari and Reddy '18 about
parameterization by the distance to threshold graphs by showing that MHE is
NP-complete on threshold graphs. Hence, it is not even in XP when parameterized
by clique-width, since threshold graphs have clique-width at most two. As a
complement for this result we provide a algorithm for MHE, where is the number of colors
and is the clique-width of the input graph. We also
construct an FPT algorithm for MHV with running time
, where is the
number of colors in the input. Additionally, we show
algorithm for MHV on interval graphs.Comment: Accepted to LATIN 202
Measurement of eâșeâ»-->eâșeâ» and eâșeâ»-->gammagamma at energies up to 36.7 GeV
e+e- +- +- ... + e e und e e + yy wurden bel Energlen zwischen 33.0 und 36.7 GeV gemessen. Die Ergebnisse stimmen mit den Vorhersagen der Quantenelektrodynamik ĂŒberein. Ein Vergleich mit dem Standardmodell der elektroschwachen Wechselwirkung liefert sin 20w= 0.25 ± 0.13
- âŠ