Holomorphic symplectic geometry: a problem list

A list of open problems on holomorphic symplectic, contact and Poisson manifolds

The Tate conjecture for K3 surfaces over finite fields

Artin's conjecture states that supersingular K3 surfaces over finite fields have Picard number 22. In this paper, we prove Artin's conjecture over fields of characteristic p>3. This implies Tate's conjecture for K3 surfaces over finite fields of characteristic p>3. Our results also yield the Tate conjecture for divisors on certain holomorphic symplectic varieties over finite fields, with some restrictions on the characteristic. As a consequence, we prove the Tate conjecture for cycles of codimension 2 on cubic fourfolds over finite fields of characteristic p>3.Comment: 20 pages, minor changes. Theorem 4 is stated in greater generality, but proofs don't change. Comments still welcom

CtGEM typing: Discrimination of Chlamydia trachomatis ocular and urogenital strains and major evolutionary lineages by high resolution melting analysis of two amplified DNA fragments

© 2018 Giffard et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. Chlamydia trachomatis infects the urogenital tract (UGT) and eyes. Anatomical tropism is correlated with variation in the major outer membrane protein encoded by ompA. Strains possessing the ocular ompA variants A, B, Ba and C are typically found within the phyloge-netically coherent “classical ocular lineage”. However, variants B, Ba and C have also been found within three distinct strains in Australia, all associated with ocular disease in children and outside the classical ocular lineage. CtGEM genotyping is a method for detecting and discriminating ocular strains and also the major phylogenetic lineages. The rationale was facilitation of surveillance to inform responses to C. trachomatis detection in UGT specimens from young children. CtGEM typing is based on high resolution melting analysis (HRMA) of two PCR amplified fragments with high combinatorial resolving power, as defined by computerised comparison of 65 whole genomes. One fragment is from the hypothetical gene defined by Jali-1891 in the C. trachomatis B_Jali20 genome, while the other is from ompA. Twenty combinatorial CtGEM types have been shown to exist, and these encompass unique genotypes for all known ocular strains, and also delineate the TI and T2 major phylogenetic lineages, identify LGV strains and provide additional resolution beyond this. CtGEM typing and Sanger sequencing were compared with 42 C. trachomatis positive clinical specimens, and there were no disjunctions. CtGEM typing is a highly efficient method designed and tested using large scale comparative genomics. It divides C. trachomatis into clinically and biologically meaningful groups, and may have broad application in surveillance

A radiographic measurement of left atrial size in dogs

The dimensions of the left atrium in cases with mitral regurgitation are an indirect measurement of its severity. The objective of this study was to evaluate the value of a new radiographic measurement, the radiographic left atrial dimension (RLAD), for detecting left atrial enlargement (LAE) in dogs. Thirty one dogs without LAE and 46 dogs with LAE were recruited in a prospective fashion. Reference left atrium dimension was measured by standard left atrium to aorta ratio (LA/Ao) by 2D echocardiography. LAE was considered if LA/Ao > 1.6. Left atrium dimension was then quantified on lateral radiographs by measuring RLAD. Vertebral heart size (VHS) was measured and RLAD was obtained by drawing a line bisecting the 90 degrees angle defined by the long and short cardiac axes lines of the VHS, up to the dorsal edge of the left atrium and comparing its length to T4’s vertebral body length. The correlation of VHS and RLAD methods with LA/Ao was estimated, as well as their sensitivity and specificity for detecting LAE. Receiver Operating Characteristic (ROC) curves were used to estimate the optimal decision criteria for each method

Identifying component modules

A computer-based system for modelling component dependencies and identifying component modules is presented. A variation of the Dependency Structure Matrix (DSM) representation was used to model component dependencies. The system utilises a two-stage approach towards facilitating the identification of a hierarchical modular structure. The first stage calculates a value for a clustering criterion that may be used to group component dependencies together. A Genetic Algorithm is described to optimise the order of the components within the DSM with the focus of minimising the value of the clustering criterion to identify the most significant component groupings (modules) within the product structure. The second stage utilises a 'Module Strength Indicator' (MSI) function to determine a value representative of the degree of modularity of the component groupings. The application of this function to the DSM produces a 'Module Structure Matrix' (MSM) depicting the relative modularity of available component groupings within it. The approach enabled the identification of hierarchical modularity in the product structure without the requirement for any additional domain specific knowledge within the system. The system supports design by providing mechanisms to explicitly represent and utilise component and dependency knowledge to facilitate the nontrivial task of determining near-optimal component modules and representing product modularity

Semantic indeterminacy in object relative clauses

This article examined whether semantic indeterminacy plays a role in comprehension of complex structures such as object relative clauses. Study 1 used a gated sentence completion task to assess which alternative interpretations are dominant as the relative clause unfolds; Study 2 compared reading times in object relative clauses containing different animacy configurations to unambiguous passive controls; and Study 3 related completion data and reading data. The results showed that comprehension difficulty was modulated by animacy configuration and voice (active vs. passive). These differences were well correlated with the availability of alternative interpretations as the relative clause unfolds, as revealed by the completion data. In contrast to approaches arguing that comprehension difficulty stems from syntactic complexity, these results suggest that semantic indeterminacy is a major source of comprehension difficulty in object relative clauses. Results are consistent with constraint-based approaches to ambiguity resolution and bring new insights into previously identified sources of difficulty. (C) 2007 Elsevier Inc. All rights reserved

Magnetization of ferrofluids with dipolar interactions - a Born--Mayer expansion

For ferrofluids that are described by a system of hard spheres interacting via dipolar forces we evaluate the magnetization as a function of the internal magnetic field with a Born--Mayer technique and an expansion in the dipolar coupling strength. Two different approximations are presented for the magnetization considering different contributions to a series expansion in terms of the volume fraction of the particles and the dipolar coupling strength.Comment: 19 pages, 11 figures submitted to PR

Observation of the Dynamic Beta Effect at CESR with CLEO

Using the silicon strip detector of the CLEO experiment operating at the Cornell Electron-positron Storage Ring (CESR), we have observed that the horizontal size of the luminous region decreases in the presence of the beam-beam interaction from what is expected without the beam-beam interaction. The dependence on the bunch current agrees with the prediction of the dynamic beta effect. This is the first direct observation of the effect.Comment: 9 page uuencoded postscript file, postscritp file also available through http://w4.lns.cornell.edu/public/CLNS, submitted to Phys. Rev.