-
LGDE: Local Graph-based Dictionary Expansion
Authors:
Dominik J. Schindler,
Sneha Jha,
Xixuan Zhang,
Kilian Buehling,
Annett Heft,
Mauricio Barahona
Abstract:
Expanding a dictionary of pre-selected keywords is crucial for tasks in information retrieval, such as database query and online data collection. Here we propose Local Graph-based Dictionary Expansion (LGDE), a method that uses tools from manifold learning and network science for the data-driven discovery of keywords starting from a seed dictionary. At the heart of LGDE lies the creation of a word…
▽ More
Expanding a dictionary of pre-selected keywords is crucial for tasks in information retrieval, such as database query and online data collection. Here we propose Local Graph-based Dictionary Expansion (LGDE), a method that uses tools from manifold learning and network science for the data-driven discovery of keywords starting from a seed dictionary. At the heart of LGDE lies the creation of a word similarity graph derived from word embeddings and the application of local community detection based on graph diffusion to discover semantic neighbourhoods of pre-defined seed keywords. The diffusion in the local graph manifold allows the exploration of the complex nonlinear geometry of word embeddings and can capture word similarities based on paths of semantic association. We validate our method on a corpus of hate speech-related posts from Reddit and Gab and show that LGDE enriches the list of keywords and achieves significantly better performance than threshold methods based on direct word similarities. We further demonstrate the potential of our method through a real-world use case from communication science, where LGDE is evaluated quantitatively on data collected and analysed by domain experts by expanding a conspiracy-related dictionary.
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
Optimal quantitative weak approximation for projective quadrics
Authors:
Zhizhong Huang,
Damaris Schindler,
Alec Shute
Abstract:
We derive asymptotic formulas for the number of rational points on a smooth projective quadratic hypersurface of dimension at least three inside of a shrinking adelic open neighbourhood. This is a quantitative version of weak approximation for quadrics and allows us to deduce the best growth rate of the size of such an adelic neighbourhood for which equidistribution is preserved.
We derive asymptotic formulas for the number of rational points on a smooth projective quadratic hypersurface of dimension at least three inside of a shrinking adelic open neighbourhood. This is a quantitative version of weak approximation for quadrics and allows us to deduce the best growth rate of the size of such an adelic neighbourhood for which equidistribution is preserved.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Points of bounded height on certain subvarieties of toric varieties
Authors:
Marta Pieropan,
Damaris Schindler
Abstract:
We combine the split torsor method and the hyperbola method for toric varieties to count rational points and Campana points of bounded height on certain subvarieties of toric varieties.
We combine the split torsor method and the hyperbola method for toric varieties to count rational points and Campana points of bounded height on certain subvarieties of toric varieties.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
Use of a Golden Gate plasmid set enabling scarless MoClo-compatible transcription unit assembly
Authors:
Stijn T. de Vries,
Laura Kley,
Daniel Schindler
Abstract:
Golden Gate cloning has become a powerful and widely used DNA assembly method. Its modular nature and the reusability of standardized parts allow rapid construction of transcription units and multi-gene constructs. Importantly, its modular structure makes it compatible with laboratory automation, allowing for systematic and highly complex DNA assembly. Golden Gate cloning relies on Type IIS enzyme…
▽ More
Golden Gate cloning has become a powerful and widely used DNA assembly method. Its modular nature and the reusability of standardized parts allow rapid construction of transcription units and multi-gene constructs. Importantly, its modular structure makes it compatible with laboratory automation, allowing for systematic and highly complex DNA assembly. Golden Gate cloning relies on Type IIS enzymes that cleave an adjacent undefined sequence motif at a defined distance from the directed enzyme recognition motif. This feature has been used to define hierarchical Golden Gate assembly standards with defined overhangs ("fusion sites") for defined part libraries. The simplest Golden Gate standard would consist of three part libraries, namely promoter, coding and terminator sequences, respectively. Each library would have defined fusion sites, allowing a hierarchical Golden Gate assembly to generate transcription units. Typically, Type IIS enzymes are used, which generate four nucleotide overhangs. This results in small scar sequences in hierarchical DNA assemblies, which can affect the functionality of transcription units. However, there are enzymes that generate three nucleotide overhangs, such as SapI. Here we provide a step-by-step protocol on how to use SapI to assemble transcription units using the start and stop codon for scarless transcription unit assembly. The protocol also provides guidance on how to perform multi-gene Golden Gate assemblies with the resulting transcription units using the Modular Cloning standard. The transcription units expressing fluorophores are used as an example.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
Validation of Golden Gate assemblies using highly multiplexed Nanopore amplicon sequencing
Authors:
Adan A. Ramirez Rojas,
Cedric K. Brinkmann,
Daniel Schindler
Abstract:
Golden Gate cloning has revolutionized synthetic biology. Its concept of modular, highly characterized libraries of parts that can be combined into higher order assemblies allows engineering principles to be applied to biological systems. The basic parts, typically stored in level 0 plasmids, are sequence validated by the method of choice and can be combined into higher order assemblies on demand.…
▽ More
Golden Gate cloning has revolutionized synthetic biology. Its concept of modular, highly characterized libraries of parts that can be combined into higher order assemblies allows engineering principles to be applied to biological systems. The basic parts, typically stored in level 0 plasmids, are sequence validated by the method of choice and can be combined into higher order assemblies on demand. Higher order assemblies are typically transcriptional units, and multiple transcriptional units can be assembled into multi-gene constructs. Higher order Golden Gate assembly based on defined and validated parts usually does not introduce sequence changes. Therefore, simple validation of the assemblies, e.g. by colony PCR or restriction digest pattern analysis, is sufficient. However, in many experimental setups, researchers do not use defined parts, but rather part libraries, resulting in assemblies of high combinatorial complexity where sequencing again becomes mandatory. Here we present a detailed protocol for the use of a highly multiplexed dual barcode amplicon sequencing using the Nanopore sequencing platform for in-house sequence validation. The workflow, called DuBA.flow, is a start-to-finish procedure that provides all necessary steps from a single colony to the final easy-to-interpret sequencing report.
△ Less
Submitted 25 January, 2024;
originally announced January 2024.
-
Resource-aware Research on Universe and Matter: Call-to-Action in Digital Transformation
Authors:
Ben Bruers,
Marilyn Cruces,
Markus Demleitner,
Guenter Duckeck,
Michael Düren,
Niclas Eich,
Torsten Enßlin,
Johannes Erdmann,
Martin Erdmann,
Peter Fackeldey,
Christian Felder,
Benjamin Fischer,
Stefan Fröse,
Stefan Funk,
Martin Gasthuber,
Andrew Grimshaw,
Daniela Hadasch,
Moritz Hannemann,
Alexander Kappes,
Raphael Kleinemühl,
Oleksiy M. Kozlov,
Thomas Kuhr,
Michael Lupberger,
Simon Neuhaus,
Pardis Niknejadi
, et al. (12 additional authors not shown)
Abstract:
Given the urgency to reduce fossil fuel energy production to make climate tip** points less likely, we call for resource-aware knowledge gain in the research areas on Universe and Matter with emphasis on the digital transformation. A portfolio of measures is described in detail and then summarized according to the timescales required for their implementation. The measures will both contribute to…
▽ More
Given the urgency to reduce fossil fuel energy production to make climate tip** points less likely, we call for resource-aware knowledge gain in the research areas on Universe and Matter with emphasis on the digital transformation. A portfolio of measures is described in detail and then summarized according to the timescales required for their implementation. The measures will both contribute to sustainable research and accelerate scientific progress through increased awareness of resource usage. This work is based on a three-days workshop on sustainability in digital transformation held in May 2023.
△ Less
Submitted 2 November, 2023;
originally announced November 2023.
-
Rational Points Near Manifolds, Homogeneous Dynamics, and Oscillatory Integrals
Authors:
Damaris Schindler,
Rajula Srivastava,
Niclas Technau
Abstract:
Let $\mathcal{M}\subset \mathbb{R}^n$ be a compact and sufficiently smooth manifold of dimension $d$. Suppose $\mathcal{M}$ is nowhere completely flat. Let $N_{\mathcal{M}}(δ,Q)$ denote the number of rational vectors $\mathbf{a}/q$ within a distance of $δ/q$ from $\mathcal{M}$ so that $q \in [Q,2Q)$. We develop a novel method to analyse $N_{\mathcal{M}}(δ,Q)$. The salient feature of our technique…
▽ More
Let $\mathcal{M}\subset \mathbb{R}^n$ be a compact and sufficiently smooth manifold of dimension $d$. Suppose $\mathcal{M}$ is nowhere completely flat. Let $N_{\mathcal{M}}(δ,Q)$ denote the number of rational vectors $\mathbf{a}/q$ within a distance of $δ/q$ from $\mathcal{M}$ so that $q \in [Q,2Q)$. We develop a novel method to analyse $N_{\mathcal{M}}(δ,Q)$. The salient feature of our technique is the combination of powerful quantitative non-divergence estimates, in a form due to Bernik, Kleinbock, and Margulis, with Fourier analytic tools. The second ingredient enables us to eschew the Dani correspondence and an explicit use of the geometry of numbers.
We employ this new method to address in a strong sense a problem of Beresnevich regarding lower bounds on $N_{\mathcal{M}}(δ,Q)$ for non-analytic manifolds. Additionally, we obtain asymptotic formulae which are the first of their kind for such a general class of manifolds. As a by-product, we improve upon upper bounds on $N_{\mathcal{M}}(δ,Q)$ from a recent breakthrough of Beresnevich and Yang and recover their convergence Khintchine type theorem for arbitrary nondegenerate submanifolds. Moreover, we obtain new Hausdorff dimension and measure refinements for the set of well-approximable points for a range of Diophantine exponents close to $1/n$.
△ Less
Submitted 5 October, 2023;
originally announced October 2023.
-
Automation and miniaturization of Golden Gate DNA assembly reactions using acoustic dispensers
Authors:
Tania S. Koebel,
Daniel Schindler
Abstract:
Golden Gate cloning has become one of the most popular DNA assembly techniques. Its modular and hierarchical structure allows the construction of complex DNA fragments. Over time, Golden Gate cloning allows for the creation of a repository of reusable parts, reducing the cost of frequent sequence validation. However, as the number of reactions and fragments increases, so does the cost of consumabl…
▽ More
Golden Gate cloning has become one of the most popular DNA assembly techniques. Its modular and hierarchical structure allows the construction of complex DNA fragments. Over time, Golden Gate cloning allows for the creation of a repository of reusable parts, reducing the cost of frequent sequence validation. However, as the number of reactions and fragments increases, so does the cost of consumables and the potential for human error. Typically, Golden Gate reactions are performed in volumes of 10 to 25 microlitre. Recent technological advances have led to the development of liquid handling robots that use sound to transfer liquids in the nL range from a source plate to a target plate. These acoustic dispensers have become particularly popular in the field of synthetic biology. The use of this technology allows miniaturization and parallelization of molecular reactions in a tip-free manner, making it sustainable by reducing plastic waste and reagent usage. Here, we provide a step-by-step protocol for performing and parallelizing Golden Gate cloning reactions in 1 microlitre total volume.
△ Less
Submitted 30 September, 2023;
originally announced October 2023.
-
A multi-level analysis of data quality for formal software citation
Authors:
David Schindler,
Tazin Hossain,
Sascha Spors,
Frank Krüger
Abstract:
Software is a central part of modern science, and knowledge of its use is crucial for the scientific community with respect to reproducibility and attribution of its developers. Several studies have investigated in-text mentions of software and its quality, while the quality of formal software citations has only been analyzed superficially. This study performs an in-depth evaluation of formal soft…
▽ More
Software is a central part of modern science, and knowledge of its use is crucial for the scientific community with respect to reproducibility and attribution of its developers. Several studies have investigated in-text mentions of software and its quality, while the quality of formal software citations has only been analyzed superficially. This study performs an in-depth evaluation of formal software citation based on a set of manually annotated software references. It examines which resources are cited for software usage, to what extend they allow proper identification of software and its specific version, how this information is made available by scientific publishers, and how well it is represented in large-scale bibliographic databases. The results show that software articles are the most cited resource for software, while direct software citations are better suited for identification of software versions. Moreover, we found current practices by both, publishers and bibliographic databases, to be unsuited to represent these direct software citations, hindering large-scale analyses such as assessing software impact. We argue that current practices for representing software citations -- the recommended way to cite software by current citation standards -- stand in the way of their adaption by the scientific community, and urge providers of bibliographic data to explicitly model scientific software.
△ Less
Submitted 17 April, 2024; v1 submitted 30 June, 2023;
originally announced June 2023.
-
Persistent Homology of the Multiscale Clustering Filtration
Authors:
Dominik J. Schindler,
Mauricio Barahona
Abstract:
In many applications in data clustering, it is desirable to find not just a single partition into clusters but a sequence of partitions describing the data at different scales, or levels of coarseness. A natural problem then is to analyse and compare the (not necessarily hierarchical) sequences of partitions that underpin such multiscale descriptions of data. Here, we introduce a filtration of abs…
▽ More
In many applications in data clustering, it is desirable to find not just a single partition into clusters but a sequence of partitions describing the data at different scales, or levels of coarseness. A natural problem then is to analyse and compare the (not necessarily hierarchical) sequences of partitions that underpin such multiscale descriptions of data. Here, we introduce a filtration of abstract simplicial complexes, denoted the Multiscale Clustering Filtration (MCF), which encodes arbitrary patterns of cluster assignments across scales, and we prove that the MCF produces stable persistence diagrams. We then show that the zero-dimensional persistent homology of the MCF measures the degree of hierarchy in the sequence of partitions, and that the higher-dimensional persistent homology tracks the emergence and resolution of conflicts between cluster assignments across the sequence of partitions. To broaden the theoretical foundations of the MCF, we also provide an equivalent construction via a nerve complex filtration, and we show that in the hierarchical case, the MCF reduces to a Vietoris-Rips filtration of an ultrametric space. We briefly illustrate how the MCF can serve to characterise multiscale clustering structures in numerical experiments on synthetic data.
△ Less
Submitted 21 September, 2023; v1 submitted 7 May, 2023;
originally announced May 2023.
-
In silico design, in vitro construction and in vivo application of synthetic small regulatory RNAs in bacteria
Authors:
Michel Brueck,
Bork A. Berghoff,
Daniel Schindler
Abstract:
Small regulatory RNAs (sRNAs) are short non-coding RNAs in bacteria capable of post-transcriptional regulation. sRNAs have recently gained attention as tools in basic and applied sciences for example to fine-tune genetic circuits or biotechnological processes. Even though sRNAs often have a rather simple and modular structure, the design of functional synthetic sRNAs is not necessarily trivial. Th…
▽ More
Small regulatory RNAs (sRNAs) are short non-coding RNAs in bacteria capable of post-transcriptional regulation. sRNAs have recently gained attention as tools in basic and applied sciences for example to fine-tune genetic circuits or biotechnological processes. Even though sRNAs often have a rather simple and modular structure, the design of functional synthetic sRNAs is not necessarily trivial. This protocol outlines how to use computational predictions and synthetic biology approaches to design, construct and validate synthetic sRNA functionality for their application in bacteria. The computational tool, SEEDling, matches the optimal seed region with the user-selected sRNA scaffold for repression of target mRNAs. The synthetic sRNAs are assembled using Golden Gate cloning and their functionality is subsequently validated. The protocol uses the acrA mRNA as an exemplary proof-of-concept target in Escherichia coli. Since AcrA is part of a multidrug efflux pump, acrA repression can be revealed by assessing oxacillin susceptibility in a phenotypic screen. However, in case target repression does not result in a screenable phenotype, an alternative validation of synthetic sRNA functionality based on a fluorescence reporter is described.
△ Less
Submitted 28 April, 2023;
originally announced April 2023.
-
PyGenStability: Multiscale community detection with generalized Markov Stability
Authors:
Alexis Arnaudon,
Dominik J. Schindler,
Robert L. Peach,
Adam Gosztolai,
Maxwell Hodges,
Michael T. Schaub,
Mauricio Barahona
Abstract:
We present PyGenStability, a general-use Python software package that provides a suite of analysis and visualisation tools for unsupervised multiscale community detection in graphs. PyGenStability finds optimized partitions of a graph at different levels of resolution by maximizing the generalized Markov Stability quality function with the Louvain or Leiden algorithms. The package includes automat…
▽ More
We present PyGenStability, a general-use Python software package that provides a suite of analysis and visualisation tools for unsupervised multiscale community detection in graphs. PyGenStability finds optimized partitions of a graph at different levels of resolution by maximizing the generalized Markov Stability quality function with the Louvain or Leiden algorithms. The package includes automatic detection of robust graph partitions and allows the flexibility to choose quality functions for weighted undirected, directed and signed graphs, and to include other user-defined quality functions.
△ Less
Submitted 8 November, 2023; v1 submitted 8 March, 2023;
originally announced March 2023.
-
Generalised quadratic forms over totally real number fields
Authors:
Tim Browning,
Lillian B. Pierce,
Damaris Schindler
Abstract:
We introduce a new class of generalised quadratic forms over totally real number fields, which is rich enough to capture the arithmetic of arbitrary systems of quadrics over the rational numbers. We explore this connection through a version of the Hardy-Littlewood circle method over number fields.
We introduce a new class of generalised quadratic forms over totally real number fields, which is rich enough to capture the arithmetic of arbitrary systems of quadrics over the rational numbers. We explore this connection through a version of the Hardy-Littlewood circle method over number fields.
△ Less
Submitted 21 December, 2022;
originally announced December 2022.
-
Three-component contour dynamics model to simulate and analyze amoeboid cell motility
Authors:
Daniel Schindler,
Ted Moldenhawer,
Carsten Beta,
Wilhelm Huisinga,
Matthias Holschneider
Abstract:
Amoeboid cell motility is relevant in a wide variety of biomedical applications such as wound healing, cancer metastasis, and embryonic morphogenesis. It is characterized by pronounced changes of the cell shape associated with expansions and retractions of the cell membrane, which result in a crawling kind of locomotion. Despite existing computational models of amoeboid motion, the inference of ex…
▽ More
Amoeboid cell motility is relevant in a wide variety of biomedical applications such as wound healing, cancer metastasis, and embryonic morphogenesis. It is characterized by pronounced changes of the cell shape associated with expansions and retractions of the cell membrane, which result in a crawling kind of locomotion. Despite existing computational models of amoeboid motion, the inference of expansion and retraction components of individual cells, the corresponding classification of cells, and the a priori specification of the parameter regime to achieve a specific motility behavior remain challenging open problems. We propose a novel model of the spatio-temporal evolution of two-dimensional cell contours comprising three biophysiologically motivated components: a stochastic term accounting for membrane protrusions and two deterministic terms accounting for membrane retractions by regularizing the shape and area of the contour. Mathematically, these correspond to the intensity of a self-exciting Poisson point process, the area-preserving curve-shortening flow, and an area adjustment flow. The model is used to generate contour data for a variety of qualitatively different, e.g., polarized and non-polarized, cell tracks that are hardly distinguishable from experimental data. In application to experimental cell tracks, we inferred the protrusion component and examined its correlation to commonly used biomarkers: the actin concentration close to the membrane and its local motion. Due to the low model complexity, parameter estimation is fast, straightforward and offers a simple way to classify contour dynamics based on two locomotion types: the amoeboid and a so-called fan-shaped type. For both types, we use cell tracks segmented from fluorescence imaging data of the model organism D. discoideum. An implementation of the model is provided within the open-source software package AmoePy.
△ Less
Submitted 24 October, 2022;
originally announced October 2022.
-
Community as a Vague Operator: Epistemological Questions for a Critical Heuristics of Community Detection Algorithms
Authors:
Dominik J. Schindler,
Matthew Fuller
Abstract:
In this article, we aim to analyse the nature and epistemic consequences of what figures in network science as patterns of nodes and edges called 'communities'. Tracing these patterns as multi-faceted and ambivalent, we propose to describe the concept of community as a 'vague operator', a variant of Susan Leigh Star's notion of the boundary object, and propose that the ability to construct differe…
▽ More
In this article, we aim to analyse the nature and epistemic consequences of what figures in network science as patterns of nodes and edges called 'communities'. Tracing these patterns as multi-faceted and ambivalent, we propose to describe the concept of community as a 'vague operator', a variant of Susan Leigh Star's notion of the boundary object, and propose that the ability to construct different modes of description that are both vague in some registers and hyper-precise in others, is core both to digital politics and the analysis of 'communities'. Engaging with these formations in terms drawn from mathematics and software studies enables a wider map** of their formation. Disentangling different lineages in network science then allows us to contextualise the founding account of 'community' popularised by Michelle Girvan and Mark Newman in 2002. After studying one particular community detection algorithm, the widely-used 'Louvain algorithm', we comment on controversies arising with some of their more ambiguous applications. We argue that 'community' can act as a real abstraction with the power to reshape social relations such as producing echo chambers in social networking sites. To rework the epistemological terms of community detection and propose a reconsideration of vague operators, we draw on debates and propositions within the literature of network science to imagine a 'critical heuristics' that embraces partiality, epistemic humbleness, reflexivity and artificiality.
△ Less
Submitted 24 May, 2023; v1 submitted 6 October, 2022;
originally announced October 2022.
-
Spontaneous transitions between amoeboid and keratocyte-like modes of migration
Authors:
T. Moldenhawer,
E. Moreno,
D. Schindler,
S. Flemming,
M. Holschneider,
W. Huisinga,
S. Alonso,
C. Beta
Abstract:
The motility of adherent eukaryotic cells is driven by the dynamics of the actin cytoskeleton. Despite the common force-generating actin machinery, different cell types often show diverse modes of locomotion that differ in their shape dynamics, speed, and persistence of motion. Recently, experiments in Dictyostelium discoideum have revealed that different motility modes can be induced in this mode…
▽ More
The motility of adherent eukaryotic cells is driven by the dynamics of the actin cytoskeleton. Despite the common force-generating actin machinery, different cell types often show diverse modes of locomotion that differ in their shape dynamics, speed, and persistence of motion. Recently, experiments in Dictyostelium discoideum have revealed that different motility modes can be induced in this model organism, depending on genetic modifications, developmental conditions, and synthetic changes of intracellular signaling. Here, we report experimental evidence that in a mutated D. discoideum cell line with increased Ras activity, switches between two distinct migratory modes, the amoeboid and fan-shaped type of locomotion, can even spontaneously occur within the same cell. We observed and characterized repeated and reversible switchings between the two modes of locomotion, suggesting that they are distinct behavioral traits that coexist within the same cell. We adapted an established phenomenological motility model that combines a reaction-diffusion system for the intracellular dynamics with a dynamic phase field to account for our experimental findings.
△ Less
Submitted 14 July, 2022;
originally announced July 2022.
-
Getting more with less? Why repowering onshore wind farms does not always lead to more wind power generation -- a German case study
Authors:
Jan Frederick Unnewehr,
Eddy Jalbout,
Christopher Jung,
Dirk Schindler,
Anke Weidlich
Abstract:
The best wind locations are nowadays often occupied by old, less efficient and relatively small wind turbines. Many of them will soon reach the end of their operating lifetime, or lose financial support. Therefore, repowering comes to the fore. However, social acceptance and land use restrictions have been under constant change since the initial expansions, which makes less area available for new…
▽ More
The best wind locations are nowadays often occupied by old, less efficient and relatively small wind turbines. Many of them will soon reach the end of their operating lifetime, or lose financial support. Therefore, repowering comes to the fore. However, social acceptance and land use restrictions have been under constant change since the initial expansions, which makes less area available for new turbines, even on existing sites. For the example of Germany, this study assesses the repowering potential for onshore wind energy in high detail, on the basis of regionally differentiated land eligibility criteria. The results show that under the given regional criteria, repowering will decrease both operating capacity and annual energy yield by roughly 40\,\% compared to the status quo. This is because around half of the wind turbines are currently located in restricted areas, given newly enacted exclusion criteria. Sensitivity analyses on the exclusion criteria show that the minimum distance to discontinuous urban fabric is the most sensitive criterion in determining the number of turbines that can be repowered. As regulations on this can vary substantially across different regions, the location-specific methodology chosen here can assess the repowering potential more realistically than existing approaches.
△ Less
Submitted 2 February, 2022;
originally announced February 2022.
-
Multiscale mobility patterns and the restriction of human movement
Authors:
Dominik J. Schindler,
Jonathan Clarke,
Mauricio Barahona
Abstract:
From the perspective of human mobility, the COVID-19 pandemic constituted a natural experiment of enormous reach in space and time. Here, we analyse the inherent multiple scales of human mobility using Facebook Movement Maps collected before and during the first UK lockdown. First, we obtain the pre-lockdown UK mobility graph, and employ multiscale community detection to extract, in an unsupervise…
▽ More
From the perspective of human mobility, the COVID-19 pandemic constituted a natural experiment of enormous reach in space and time. Here, we analyse the inherent multiple scales of human mobility using Facebook Movement Maps collected before and during the first UK lockdown. First, we obtain the pre-lockdown UK mobility graph, and employ multiscale community detection to extract, in an unsupervised manner, a set of robust partitions into flow communities at different levels of coarseness. The partitions so obtained capture intrinsic mobility scales with better coverage than NUTS regions, which suffer from mismatches between human mobility and administrative divisions. Furthermore, the flow communities in the fine scale partition match well the UK Travel to Work Areas (TTWAs) but also capture mobility patterns beyond commuting to work. We also examine the evolution of mobility under lockdown, and show that mobility first reverted towards fine scale flow communities already found in the pre-lockdown data, and then expanded back towards coarser flow communities as restrictions were lifted. The improved coverage induced by lockdown is well captured by a linear decay shock model, which allows us to quantify regional differences both in the strength of the effect and the recovery time from the lockdown shock.
△ Less
Submitted 14 August, 2023; v1 submitted 17 January, 2022;
originally announced January 2022.
-
SoMeSci- A 5 Star Open Data Gold Standard Knowledge Graph of Software Mentions in Scientific Articles
Authors:
David Schindler,
Felix Bensmann,
Stefan Dietze,
Frank Krüger
Abstract:
Knowledge about software used in scientific investigations is important for several reasons, for instance, to enable an understanding of provenance and methods involved in data handling. However, software is usually not formally cited, but rather mentioned informally within the scholarly description of the investigation, raising the need for automatic information extraction and disambiguation. Giv…
▽ More
Knowledge about software used in scientific investigations is important for several reasons, for instance, to enable an understanding of provenance and methods involved in data handling. However, software is usually not formally cited, but rather mentioned informally within the scholarly description of the investigation, raising the need for automatic information extraction and disambiguation. Given the lack of reliable ground truth data, we present SoMeSci (Software Mentions in Science) a gold standard knowledge graph of software mentions in scientific articles. It contains high quality annotations (IRR: $κ{=}.82$) of 3756 software mentions in 1367 PubMed Central articles. Besides the plain mention of the software, we also provide relation labels for additional information, such as the version, the developer, a URL or citations. Moreover, we distinguish between different types, such as application, plugin or programming environment, as well as different types of mentions, such as usage or creation. To the best of our knowledge, SoMeSci is the most comprehensive corpus about software mentions in scientific articles, providing training samples for Named Entity Recognition, Relation Extraction, Entity Disambiguation, and Entity Linking. Finally, we sketch potential use cases and provide baseline results.
△ Less
Submitted 20 August, 2021;
originally announced August 2021.
-
Density of rational points near/on compact manifolds with certain curvature conditions
Authors:
D. Schindler,
S. Yamagishi
Abstract:
In this article we establish an asymptotic formula for the number of rational points, with bounded denominators, within a given distance to a compact submanifold $\mathcal{M}$ of $\mathbb{R}^M$ with a certain curvature condition. Our result generalises earlier work of Huang for hypersurfaces [J.-J. Huang, The density of rational points near hypersurfaces, Duke Math. J. 169 (2020), 2045--2077.], as…
▽ More
In this article we establish an asymptotic formula for the number of rational points, with bounded denominators, within a given distance to a compact submanifold $\mathcal{M}$ of $\mathbb{R}^M$ with a certain curvature condition. Our result generalises earlier work of Huang for hypersurfaces [J.-J. Huang, The density of rational points near hypersurfaces, Duke Math. J. 169 (2020), 2045--2077.], as our curvature condition reduces to Gaussian curvature being bounded away from $0$ when $M - dim \mathcal{M} = 1$. An interesting feature of our result is that the asymptotic formula holds beyond the conjectured range of the distance to $\mathcal{M}$. Furthermore, we obtain an upper bound for the number of rational points on $\mathcal{M}$ with additional power saving to the bound in the analogue of Serre's dimension growth conjecture for compact submanifolds of $\mathbb{R}^M$ when $M - dim \mathcal{M} > 1$.
△ Less
Submitted 9 March, 2021;
originally announced March 2021.
-
Analysis of protrusion dynamics in amoeboid cell motility by means of regularized contour flows
Authors:
Daniel Schindler,
Ted Moldenhawer,
Maike Stange,
Valentino Lepro,
Carsten Beta,
Matthias Holschneider,
Wilhelm Huisinga
Abstract:
Amoeboid cell motility is essential for a wide range of biological processes including wound healing, embryonic morphogenesis, and cancer metastasis. It relies on complex dynamical patterns of cell shape changes that pose long-standing challenges to mathematical modeling and raise a need for automated and reproducible approaches to extract quantitative morphological features from image sequences.…
▽ More
Amoeboid cell motility is essential for a wide range of biological processes including wound healing, embryonic morphogenesis, and cancer metastasis. It relies on complex dynamical patterns of cell shape changes that pose long-standing challenges to mathematical modeling and raise a need for automated and reproducible approaches to extract quantitative morphological features from image sequences. Here, we introduce a theoretical framework and a computational method for obtaining smooth representations of the spatiotemporal contour dynamics from stacks of segmented microscopy images. Based on a Gaussian process regression we propose a one-parameter family of regularized contour flows that allows us to continuously track reference points (virtual markers) between successive cell contours. We use this approach to define a coordinate system on the moving cell boundary and to represent different local geometric quantities in this frame of reference. In particular, we introduce the local marker dispersion as a measure to identify localized membrane expansions and provide a fully automated way to extract the properties of such expansions, including their area and growth time. The methods are available as an open-source software package called AmoePy, a Python-based toolbox for analyzing amoeboid cell motility (based on time-lapse microscopy data), including a graphical user interface and detailed documentation. Due to the mathematical rigor of our framework, we envision it to be of use for the development of novel cell motility models. We mainly use experimental data of the social amoeba Dictyostelium discoideum to illustrate and validate our approach.
△ Less
Submitted 8 September, 2021; v1 submitted 26 May, 2020;
originally announced May 2020.
-
Convergence of Markov chain transition probabilities
Authors:
Michael Scheutzow,
Dominik Schindler
Abstract:
Consider a discrete time Markov chain with rather general state space which has an invariant probability measure $μ$. There are several sufficient conditions in the literature which guarantee convergence of all or $μ$-almost all transition probabilities to $μ$ in the total variation (TV) metric: irreducibility plus aperiodicity, equivalence properties of transition probabilities, or coupling prope…
▽ More
Consider a discrete time Markov chain with rather general state space which has an invariant probability measure $μ$. There are several sufficient conditions in the literature which guarantee convergence of all or $μ$-almost all transition probabilities to $μ$ in the total variation (TV) metric: irreducibility plus aperiodicity, equivalence properties of transition probabilities, or coupling properties. In this work, we review and improve some of these criteria in such a way that they become necessary and sufficient for TV convergence of all respectively $μ$-almost all transition probabilities. In addition, we discuss so-called generalized couplings.
△ Less
Submitted 21 April, 2020;
originally announced April 2020.
-
Investigating Software Usage in the Social Sciences: A Knowledge Graph Approach
Authors:
David Schindler,
Benjamin Zapilko,
Frank Krüger
Abstract:
Knowledge about the software used in scientific investigations is necessary for different reasons, including provenance of the results, measuring software impact to attribute developers, and bibliometric software citation analysis in general. Additionally, providing information about whether and how the software and the source code are available allows an assessment about the state and role of ope…
▽ More
Knowledge about the software used in scientific investigations is necessary for different reasons, including provenance of the results, measuring software impact to attribute developers, and bibliometric software citation analysis in general. Additionally, providing information about whether and how the software and the source code are available allows an assessment about the state and role of open source software in science in general. While such analyses can be done manually, large scale analyses require the application of automated methods of information extraction and linking. In this paper, we present SoftwareKG - a knowledge graph that contains information about software mentions from more than 51,000 scientific articles from the social sciences. A silver standard corpus, created by a distant and weak supervision approach, and a gold standard corpus, created by manual annotation, were used to train an LSTM based neural network to identify software mentions in scientific articles. The model achieves a recognition rate of .82 F-score in exact matches. As a result, we identified more than 133,000 software mentions. For entity disambiguation, we used the public domain knowledge base DBpedia. Furthermore, we linked the entities of the knowledge graph to other knowledge bases such as the Microsoft Academic Knowledge Graph, the Software Ontology, and Wikidata. Finally, we illustrate, how SoftwareKG can be used to assess the role of software in the social sciences.
△ Less
Submitted 27 August, 2021; v1 submitted 24 March, 2020;
originally announced March 2020.
-
Hyperbola method on toric varieties
Authors:
Marta Pieropan,
Damaris Schindler
Abstract:
We develop a very general version of the hyperbola method which extends the known method by Blomer and Brüdern for products of projective spaces to complete smooth split toric varieties. We use it to count Campana points of bounded log-anticanonical height on complete smooth split toric $\mathbb{Q}$-varieties with torus invariant boundary. We apply the strong duality principle in linear programmin…
▽ More
We develop a very general version of the hyperbola method which extends the known method by Blomer and Brüdern for products of projective spaces to complete smooth split toric varieties. We use it to count Campana points of bounded log-anticanonical height on complete smooth split toric $\mathbb{Q}$-varieties with torus invariant boundary. We apply the strong duality principle in linear programming to show the compatibility of our results with the conjectured asymptotic.
△ Less
Submitted 11 December, 2023; v1 submitted 27 January, 2020;
originally announced January 2020.
-
On prime values of binary quadratic forms with a thin variable
Authors:
Peter Cho-Ho Lam,
Damaris Schindler,
Stanley Yao Xiao
Abstract:
In this paper we generalize the result of Fouvry and Iwaniec dealing with prime values of the quadratic form $x^2 + y^2$ with one input restricted to a thin subset of the integers. We prove the same result with an arbitrary primitive positive definite binary quadratic form. In particular, for any positive definite binary quadratic form $F$ and binary linear form $G$, there exist infinitely many…
▽ More
In this paper we generalize the result of Fouvry and Iwaniec dealing with prime values of the quadratic form $x^2 + y^2$ with one input restricted to a thin subset of the integers. We prove the same result with an arbitrary primitive positive definite binary quadratic form. In particular, for any positive definite binary quadratic form $F$ and binary linear form $G$, there exist infinitely many $\ell, m\in\mathbb{Z}$ such that both $F(\ell, m)$ and $G(\ell, m)$ are primes as long as there are no local obstructions.
△ Less
Submitted 27 September, 2018;
originally announced September 2018.
-
On the frequency of algebraic Brauer classes on certain log K3 surfaces
Authors:
Jörg Jahnel,
Damaris Schindler
Abstract:
Given systems of two (inhomogeneous) quadratic equations in four variables, it is known that the Hasse principle for integral points may fail. Sometimes this failure can be explained by some integral Brauer-Manin obstruction. We study the existence of a non-trivial algebraic part of the Brauer group for a family of such systems and show that the failure of the integral Hasse principle due to an al…
▽ More
Given systems of two (inhomogeneous) quadratic equations in four variables, it is known that the Hasse principle for integral points may fail. Sometimes this failure can be explained by some integral Brauer-Manin obstruction. We study the existence of a non-trivial algebraic part of the Brauer group for a family of such systems and show that the failure of the integral Hasse principle due to an algebraic Brauer-Manin obstruction is rare, as for a generic choice of a system the algebraic part of the Brauer-group is trivial. We use resolvent constructions to give quantitative upper bounds on the number of exceptions.
△ Less
Submitted 12 October, 2018; v1 submitted 30 January, 2018;
originally announced January 2018.
-
Diophantine inequalities for generic ternary diagonal forms
Authors:
Damaris Schindler
Abstract:
Let k\geq 2 and consider the Diophantine inequality |x_1^k-\alp_2 x_2^k-\alp_3 x_3^k| <\tet. Our goal is to find non-trivial solutions in the variables x_i, 1\leq i\leq 3, all of size about P, assuming that \tet is sufficiently large. We study this problem on average over \alp_3 and generalize previous work of Bourgain on quadratic ternary diagonal forms to general degree k.
Let k\geq 2 and consider the Diophantine inequality |x_1^k-\alp_2 x_2^k-\alp_3 x_3^k| <\tet. Our goal is to find non-trivial solutions in the variables x_i, 1\leq i\leq 3, all of size about P, assuming that \tet is sufficiently large. We study this problem on average over \alp_3 and generalize previous work of Bourgain on quadratic ternary diagonal forms to general degree k.
△ Less
Submitted 11 January, 2018;
originally announced January 2018.
-
On the algebraic Brauer classes on open degree four del Pezzo surfaces
Authors:
Jörg Jahnel,
Damaris Schindler
Abstract:
We study the algebraic Brauer classes on open del Pezzo surfaces of degree $4$. I.e., on the complements of geometrically irreducible hyperplane sections of del Pezzo surfaces of degree $4$. We show that the $2$-torsion part is generated by classes of two different types. Moreover, there are two types of $4$-torsion classes. For each type, we discuss methods for the evaluation of such a class at a…
▽ More
We study the algebraic Brauer classes on open del Pezzo surfaces of degree $4$. I.e., on the complements of geometrically irreducible hyperplane sections of del Pezzo surfaces of degree $4$. We show that the $2$-torsion part is generated by classes of two different types. Moreover, there are two types of $4$-torsion classes. For each type, we discuss methods for the evaluation of such a class at a rational point over a $p$-adic field.
△ Less
Submitted 10 January, 2019; v1 submitted 13 December, 2017;
originally announced December 2017.
-
The ETH-MAV Team in the MBZ International Robotics Challenge
Authors:
Rik Bähnemann,
Michael Pantic,
Marija Popović,
Dominik Schindler,
Marco Tranzatto,
Mina Kamel,
Marius Grimm,
Jakob Widauer,
Roland Siegwart,
Juan Nieto
Abstract:
This article describes the hardware and software systems of the Micro Aerial Vehicle (MAV) platforms used by the ETH Zurich team in the 2017 Mohamed Bin Zayed International Robotics Challenge (MBZIRC). The aim was to develop robust outdoor platforms with the autonomous capabilities required for the competition, by applying and integrating knowledge from various fields, including computer vision, s…
▽ More
This article describes the hardware and software systems of the Micro Aerial Vehicle (MAV) platforms used by the ETH Zurich team in the 2017 Mohamed Bin Zayed International Robotics Challenge (MBZIRC). The aim was to develop robust outdoor platforms with the autonomous capabilities required for the competition, by applying and integrating knowledge from various fields, including computer vision, sensor fusion, optimal control, and probabilistic robotics. This paper presents the major components and structures of the system architectures, and reports on experimental findings for the MAV-based challenges in the competition. Main highlights include securing second place both in the individual search, pick, and place task of Challenge 3 and the Grand Challenge, with autonomous landing executed in less than one minute and a visual servoing success rate of over 90% for object pickups.
△ Less
Submitted 21 March, 2018; v1 submitted 23 October, 2017;
originally announced October 2017.
-
A Decentralized Multi-Agent Unmanned Aerial System to Search, Pick Up, and Relocate Objects
Authors:
Rik Bähnemann,
Dominik Schindler,
Mina Kamel,
Roland Siegwart,
Juan Nieto
Abstract:
We present a fully integrated autonomous multi- robot aerial system for finding and collecting moving and static objects with unknown locations. This task addresses multiple relevant problems in search and rescue (SAR) robotics such as multi-agent aerial exploration, object detection and tracking, and aerial grip**. Usually, the community tackles these problems individually but the integration i…
▽ More
We present a fully integrated autonomous multi- robot aerial system for finding and collecting moving and static objects with unknown locations. This task addresses multiple relevant problems in search and rescue (SAR) robotics such as multi-agent aerial exploration, object detection and tracking, and aerial grip**. Usually, the community tackles these problems individually but the integration into a working system generates extra complexity which is rarely addressed. We show that this task can be solved reliably using only simple components. Our decentralized system uses accurate global state estimation, reactive collision avoidance, and sweep planning for multi-agent exploration. Objects are detected, tracked, and picked up using blob detection, inverse 3D-projection, Kalman filtering, visual-servoing, and a magnetic gripper. We evaluate the individual components of our system on the real platform. The full system has been deployed successfully in various public demonstrations, field tests, and the Mohamed Bin Zayed International Robotics Challenge 2017 (MBZIRC). Among the contestants we showed reliable performances and reached second place out of 17 in the individual challenge.
△ Less
Submitted 13 September, 2017; v1 submitted 12 July, 2017;
originally announced July 2017.
-
Sarnak's saturation problem for complete intersections
Authors:
Damaris Schindler,
Efthymios Sofos
Abstract:
We study almost prime solutions of systems of Diophantine equations in the Birch setting. Previous work shows that there exist integer solutions of size B with each component having no prime divisors below $B^{1/u}$, where $u=c_0n^{3/2}$, $n$ is the number of variables and $c_0$ is a constant depending on the degree and the number of equations. We improve the polynomial growth $$n^{3/2}$$ to the l…
▽ More
We study almost prime solutions of systems of Diophantine equations in the Birch setting. Previous work shows that there exist integer solutions of size B with each component having no prime divisors below $B^{1/u}$, where $u=c_0n^{3/2}$, $n$ is the number of variables and $c_0$ is a constant depending on the degree and the number of equations. We improve the polynomial growth $$n^{3/2}$$ to the logarithmic $$\frac{\log n}{\log \log n}.$$ Our main new ingredients are the generalisation of the Brüdern-Fouvry vector sieve in any dimension and the incorporation of smooth weights into the Davenport-Birch version of the circle method.
△ Less
Submitted 24 August, 2018; v1 submitted 25 May, 2017;
originally announced May 2017.
-
Aerial Picking and Delivery of Magnetic Objects with MAVs
Authors:
Abel Gawel,
Mina Kamel,
Tonci Novkovic,
Jakob Widauer,
Dominik Schindler,
Benjamin Pfyffer von Altishofen,
Roland Siegwart,
Juan Nieto
Abstract:
Autonomous delivery of goods using a MAV is a difficult problem, as it poses high demand on the MAV's control, perception and manipulation capabilities. This problem is especially challenging if the exact shape, location and configuration of the objects are unknown. In this paper, we report our findings during the development and evaluation of a fully integrated system that is energy efficient and…
▽ More
Autonomous delivery of goods using a MAV is a difficult problem, as it poses high demand on the MAV's control, perception and manipulation capabilities. This problem is especially challenging if the exact shape, location and configuration of the objects are unknown. In this paper, we report our findings during the development and evaluation of a fully integrated system that is energy efficient and enables MAVs to pick up and deliver objects with partly ferrous surface of varying shapes and weights. This is achieved by using a novel combination of an electro-permanent magnetic gripper with a passively compliant structure and integration with detection, control and servo positioning algorithms. The system's ability to grasp stationary and moving objects was tested, as well as its ability to cope with different shapes of the object and external disturbances. We show that such a system can be successfully deployed in scenarios where an object with partly ferrous parts needs to be gripped and placed in a predetermined location.
△ Less
Submitted 8 December, 2016;
originally announced December 2016.
-
On integral points on degree four del Pezzo surfaces
Authors:
Jörg Jahnel,
Damaris Schindler
Abstract:
We report on our investigations concerning algebraic and transcendental Brauer-Manin obstructions to integral points on complements of a hyperplane section in degree four del Pezzo surfaces. We discuss moreover two concepts of an obstruction at an archimedean place. Concrete examples are given of pairs of non-homogeneous quadratic polynomials in four variables representing (0,0) over Q and over Z_…
▽ More
We report on our investigations concerning algebraic and transcendental Brauer-Manin obstructions to integral points on complements of a hyperplane section in degree four del Pezzo surfaces. We discuss moreover two concepts of an obstruction at an archimedean place. Concrete examples are given of pairs of non-homogeneous quadratic polynomials in four variables representing (0,0) over Q and over Z_p for all primes p, but not over Z. By blow-up, these yield cubic polynomials in three variables all integral solutions of which satisfy a gcd condition.
△ Less
Submitted 27 July, 2017; v1 submitted 9 February, 2016;
originally announced February 2016.
-
Strong approximation and a conjecture of Harpaz and Wittenberg
Authors:
Tim Browning,
Damaris Schindler
Abstract:
We study strong approximation for some algebraic varieties over which are defined using norm forms over the rationals. This allows us to confirm a special case of a conjecture due to Harpaz and Wittenberg.
We study strong approximation for some algebraic varieties over which are defined using norm forms over the rationals. This allows us to confirm a special case of a conjecture due to Harpaz and Wittenberg.
△ Less
Submitted 2 October, 2017; v1 submitted 25 September, 2015;
originally announced September 2015.
-
Representations of integers by systems of three quadratic forms
Authors:
Lillian B. Pierce,
Damaris Schindler,
Melanie Matchett Wood
Abstract:
It is classically known that the circle method produces an asymptotic for the number of representations of a tuple of integers $(n_1,\ldots,n_R)$ by a system of quadratic forms $Q_1,\ldots, Q_R$ in $k$ variables, as long as $k$ is sufficiently large; reducing the required number of variables remains a significant open problem. In this work, we consider the case of 3 forms and improve on the classi…
▽ More
It is classically known that the circle method produces an asymptotic for the number of representations of a tuple of integers $(n_1,\ldots,n_R)$ by a system of quadratic forms $Q_1,\ldots, Q_R$ in $k$ variables, as long as $k$ is sufficiently large; reducing the required number of variables remains a significant open problem. In this work, we consider the case of 3 forms and improve on the classical result by reducing the number of required variables to $k \geq 10$ for "almost all" tuples, under appropriate nonsingularity assumptions on the forms $Q_1,Q_2,Q_3$. To accomplish this, we develop a three-dimensional analogue of Kloosterman's circle method, in particular capitalizing on geometric properties of appropriate systems of three quadratic forms.
△ Less
Submitted 1 July, 2017; v1 submitted 15 September, 2015;
originally announced September 2015.
-
On the number of certain Del Pezzo surfaces of degree four violating the Hasse principle
Authors:
Jörg Jahnel,
Damaris Schindler
Abstract:
We give an asymptotic expansion for the density of del Pezzo surfaces of degree four in a certain Birch Swinnerton-Dyer family violating the Hasse principle due to a Brauer-Manin obstruction. Under the assumption of Schinzel's hypothesis and the finiteness of Tate-Shafarevich groups for elliptic curves, we obtain an asymptotic formula for the number of all del Pezzo surfaces in the family, which v…
▽ More
We give an asymptotic expansion for the density of del Pezzo surfaces of degree four in a certain Birch Swinnerton-Dyer family violating the Hasse principle due to a Brauer-Manin obstruction. Under the assumption of Schinzel's hypothesis and the finiteness of Tate-Shafarevich groups for elliptic curves, we obtain an asymptotic formula for the number of all del Pezzo surfaces in the family, which violate the Hasse principle.
△ Less
Submitted 14 July, 2015;
originally announced July 2015.
-
On the Brauer-Manin obstruction for degree four del Pezzo surfaces
Authors:
Jörg Jahnel,
Damaris Schindler
Abstract:
We show that, for every integer $1 \leq d \leq 4$ and every finite set $S$ of places, there exists a degree $d$ del Pezzo surface $X$ over ${\mathbb Q}$ such that ${\rm Br}(X)/{\rm Br}({\mathbb Q}) \cong {\mathbb Z}/2{\mathbb Z}$ and the Brauer-Manin obstruction works exactly at the places in $S$. For $d = 4$, we prove that in all cases, with the exception of $S = \{\infty\}$, this surface may be…
▽ More
We show that, for every integer $1 \leq d \leq 4$ and every finite set $S$ of places, there exists a degree $d$ del Pezzo surface $X$ over ${\mathbb Q}$ such that ${\rm Br}(X)/{\rm Br}({\mathbb Q}) \cong {\mathbb Z}/2{\mathbb Z}$ and the Brauer-Manin obstruction works exactly at the places in $S$. For $d = 4$, we prove that in all cases, with the exception of $S = \{\infty\}$, this surface may be chosen diagonalizably over ${\mathbb Q}$.
△ Less
Submitted 28 March, 2015;
originally announced March 2015.
-
Counting rational points on hypersurfaces and higher order expansions
Authors:
Damaris Schindler
Abstract:
We study the number of representations of an integer n=F(x_1,...,x_s) by a homogeneous form in sufficiently many variables. This is a classical problem in number theory to which the circle method has been succesfully applied to give an asymptotic for the number of such representations where the integer vector (x_1,...,x_s) is restricted to a box of side length P for P sufficiently large. In the sp…
▽ More
We study the number of representations of an integer n=F(x_1,...,x_s) by a homogeneous form in sufficiently many variables. This is a classical problem in number theory to which the circle method has been succesfully applied to give an asymptotic for the number of such representations where the integer vector (x_1,...,x_s) is restricted to a box of side length P for P sufficiently large. In the special case of Waring's problem, Vaughan and Wooley have recently established for the first time a higher order expansion for the corresponding asymptotic formula. Via a different and much more general approach we derive a multi-term asymptotic for this problem for general forms F(x_1,...,x_s) and give an interpretation for the occurring lower order terms. As an application we derive higher order expansions for the number of rational points of bounded anticanonical height on the projective hypersurface F(x_1,...,x_s)=0 for forms F in sufficiently many variables.
△ Less
Submitted 20 November, 2014;
originally announced November 2014.
-
Del Pezzo surfaces of degree four violating the Hasse principle are Zariski dense in the moduli scheme
Authors:
Jörg Jahnel,
Damaris Schindler
Abstract:
We show that, over every number field, the degree four del Pezzo surfaces that violate the Hasse principle are Zariski dense in the moduli scheme.
We show that, over every number field, the degree four del Pezzo surfaces that violate the Hasse principle are Zariski dense in the moduli scheme.
△ Less
Submitted 10 November, 2014;
originally announced November 2014.
-
A variant of Weyl's inequality for systems of forms and applications
Authors:
Damaris Schindler
Abstract:
We give a variant of Weyl's inequality for systems of forms together with applications. First we use this to give a different formulation of a theorem of B. J. Birch on forms in many variables. More precisely, we show that the dimension of the locus V^* introduced in this work can be replaced by the maximal dimension of the singular loci of forms in the linear system of the given forms. In some ca…
▽ More
We give a variant of Weyl's inequality for systems of forms together with applications. First we use this to give a different formulation of a theorem of B. J. Birch on forms in many variables. More precisely, we show that the dimension of the locus V^* introduced in this work can be replaced by the maximal dimension of the singular loci of forms in the linear system of the given forms. In some cases this improves on the aforementioned theorem of Birch. We say that a system of forms is a Hardy-Littlewood system if the number of integer points on the corresponding variety restricted to a box satisfies the asymptotic behaviour predicted by the classical circle method. As a second application, we improve on a theorem of W. M. Schmidt which states that a system of homogeneous forms of same degree is a Hardy-Littlewood system as soon as the so called $h$-invariant of the system is sufficiently large. In this direction we generalise previous improvements of R. Dietmann on systems of quadratic and cubic forms to systems of forms of general degree.
△ Less
Submitted 27 March, 2014;
originally announced March 2014.
-
Manin's conjecture for certain biprojective hypersurfaces
Authors:
D. Schindler
Abstract:
Using the circle method, we count integer points on complete intersections in biprojective space in boxes of different side length, provided the number of variables is large enough depending on the degree of the defining equations and certain loci related to the singular locus. Having established these asymptotics we deduce asymptotic formulas for rational points on such varieties with respect to…
▽ More
Using the circle method, we count integer points on complete intersections in biprojective space in boxes of different side length, provided the number of variables is large enough depending on the degree of the defining equations and certain loci related to the singular locus. Having established these asymptotics we deduce asymptotic formulas for rational points on such varieties with respect to the anticanonical height function. In particular, we establish a conjecture of Manin for certain smooth hypersurfaces in biprojective space of sufficiently large dimension.
△ Less
Submitted 2 May, 2014; v1 submitted 26 July, 2013;
originally announced July 2013.
-
Bihomogeneous forms in many variables
Authors:
Damaris Schindler
Abstract:
We count integer points on bihomogeneous varieties using the Hardy-Littlewood method. The main novelty lies in using the structure of bihomogeneous equations to obtain asymptotics in generically fewer variables than would be necessary in using the standard approach for homogeneous varieties. Also, we consider counting functions where not all the variables have to lie in intervals of the same size,…
▽ More
We count integer points on bihomogeneous varieties using the Hardy-Littlewood method. The main novelty lies in using the structure of bihomogeneous equations to obtain asymptotics in generically fewer variables than would be necessary in using the standard approach for homogeneous varieties. Also, we consider counting functions where not all the variables have to lie in intervals of the same size, which arises as a natural question in the setting of bihomogeneous varieties.
△ Less
Submitted 28 January, 2013;
originally announced January 2013.
-
Norms as products of linear polynomials
Authors:
Damaris Schindler,
Alexei Skorobogatov
Abstract:
Let F be a number field, and let F\subset K be a field extension of degree n. Suppose that we are given 2r sufficiently general linear polynomials in r variables over F. Let X be the variety over F such that the F-points of X bijectively correspond to the representations of the product of these polynomials by a norm from K to F. Combining the circle method with descent we prove that the Brauer-Man…
▽ More
Let F be a number field, and let F\subset K be a field extension of degree n. Suppose that we are given 2r sufficiently general linear polynomials in r variables over F. Let X be the variety over F such that the F-points of X bijectively correspond to the representations of the product of these polynomials by a norm from K to F. Combining the circle method with descent we prove that the Brauer-Manin obstruction is the only obstruction to the Hasse principle and weak approximation on any smooth and projective model of X.
△ Less
Submitted 14 November, 2013; v1 submitted 21 October, 2012;
originally announced October 2012.