Automatically generating streamlined constraint models with ESSENCE and CONJURE

Streamlined constraint reasoning is the addition of uninferred constraints to a constraint model to reduce the search space, while retaining at least one solution. Previously, effective streamlined models have been constructed by hand, requiring an expert to examine closely solutions to small instances of a problem class and identify regularities. We present a system that automatically generates many conjectured regularities for a given Essence specification of a problem class by examining the domains of decision variables present in the problem specification. These conjectures are evaluated independently and in conjunction with one another on a set of instances from the specified class via an automated modelling tool-chain comprising of Conjure, Savile Row and Minion. Once the system has identified effective conjectures they are used to generate streamlined models that allow instances of much larger scale to be solved. Our results demonstrate good models can be identified for problems in combinatorial design, Ramsey theory, graph theory and group theory - often resulting in order of magnitude speed-ups.Postprin

Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer

We solved a long-outstanding open problem in Ramsey theory, using SAT solving

Pseudorandom Sequences from Elliptic Curves

In this article we will generalize some known constructions to produce pseudorandom sequences with the aid of elliptic curves. We will make use of both additive and multiplicative characters on elliptic curves

On Schubert's Problem of Characteristics

The Schubert varieties on a flag manifold G/P give rise to a cell decomposition on G/P whose Kronecker duals, known as the Schubert classes on G/P, form an additive base of the integral cohomology of G/P. The Schubert's problem of characteristics asks to express a monomial in the Schubert classes as a linear combination in the Schubert basis. We present a unified formula expressing the characteristics of a flag manifold G/P as polynomials in the Cartan numbers of the group G. As application we develop a direct approach to our recent works on the Schubert presentation of the cohomology rings of flag manifolds G/P.Comment: 27page

Endomorphism algebras of Abelian varieties with special reference to superelliptic Jacobians

This is (mostly) a survey article. We use an information about Galois properties of points of small order on an Abelian variety in order to describe its endomorphism algebra over an algebraic closure of the ground field. We discuss in detail applications to jacobians of cyclic covers of the projective line

Genetics of callous-unemotional behavior in children

Callous-unemotional behavior (CU) is currently under consideration as a subtyping index for conduct disorder diagnosis. Twin studies routinely estimate the heritability of CU as greater than 50%. It is now possible to estimate genetic influence using DNA alone from samples of unrelated individuals, not relying on the assumptions of the twin method. Here we use this new DNA method (implemented in a software package called Genome-wide Complex Trait Analysis, GCTA) for the first time to estimate genetic influence on CU. We also report the first genome-wide association (GWA) study of CU as a quantitative trait. We compare these DNA results to those from twin analyses using the same measure and the same community sample of 2,930 children rated by their teachers at ages 7, 9 and 12. GCTA estimates of heritability were near zero, even though twin analysis of CU in this sample confirmed the high heritability of CU reported in the literature, and even though GCTA estimates of heritability were substantial for cognitive and anthropological traits in this sample. No significant associations were found in GWA analysis, which, like GCTA, only detects additive effects of common DNA variants. The phrase ‘missing heritability’ was coined to refer to the gap between variance associated with DNA variants identified in GWA studies versus twin study heritability. However, GCTA heritability, not twin study heritability, is the ceiling for GWA studies because both GCTA and GWA are limited to the overall additive effects of common DNA variants, whereas twin studies are not. This GCTA ceiling is very low for CU in our study, despite its high twin study heritability estimate. The gap between GCTA and twin study heritabilities will make it challenging to identify genes responsible for the heritability of CU

Genetics affects choice of academic subjects as well as achievement.

We have previously shown that individual differences in educational achievement are highly heritable throughout compulsory education. After completing compulsory education at age 16, students in England can choose to continue to study for two years (A-levels) in preparation for applying to university and they can freely choose which subjects to study. Here, for the first time, we show that choosing to do A-levels and the choice of subjects show substantial genetic influence, as does performance after two years studying the chosen subjects. Using a UK-representative sample of 6584 twin pairs, heritability estimates were 44% for choosing to do A-levels and 52–80% for choice of subject. Achievement after two years was also highly heritable (35–76%). The findings that DNA differences substantially affect differences in appetites as well as aptitudes suggest a genetic way of thinking about education in which individuals actively create their own educational experiences in part based on their genetic propensities