Computing the First Betti Numberand Describing the Connected Components of Semi-algebraic Sets

In this paper we describe a singly exponential algorithm for computing the first Betti number of a given semi-algebraic set. Singly exponential algorithms for computing the zero-th Betti number, and the Euler-Poincar\'e characteristic, were known before. No singly exponential algorithm was known for computing any of the individual Betti numbers other than the zero-th one. We also give algorithms for obtaining semi-algebraic descriptions of the semi-algebraically connected components of any given real algebraic or semi-algebraic set in single-exponential time improving on previous results

Motives and Homotopy Theory of Schemes

The 2010 program on Motives and Homotopy Theory of Schemes consisted of a lively and varied series of 19 one-hour lectures on the latest developments in the field, presenting a wide range of aspects of this multifaceted subject. Besides the lectures, we were happy to welcome a wide range of nationalities and age groups to the conference

Q(sqrt(-3))-Integral Points on a Mordell Curve

We use an extension of quadratic Chabauty to number fields,recently developed by the author with Balakrishnan, Besser and M ̈uller,combined with a sieving technique, to determine the integral points overQ(√−3) on the Mordell curve y2 = x3 − 4

Sums, numbers and infinity:Collections in Bolzano's mathematics and philosophy

This dissertation is a collection of essays almost exclusively focussing on Bernard Bolzano's theory of collections, and its connections to his conception of mathematics. The first significant contribution of this work is that it develops a novel approach for comparing and appraising Bolzano’s collections against the alternatives offered by set theory and mereology. This approach consists in focusing not on the metaphysical comparison but on the role Bolzano's collections play in his mathematics vis à vis the role the sets of set theory (ZFC) play for modern-day mathematics. The second important contribution of this dissertation is a novel interpretation of the interaction between Bolzano's theory of concepts on the one hand, and his way of comparing the size of infinite collections of natural numbers on the other. This culminates in a completely new interpretation of Bolzano's famous Paradoxes of the Infinite as a work that is not an anticipation of Cantorian set theory, but an attempt at deploying philosophical insights on the infinite to develop a sound treatment of infinite series, both converging and diverging ones

Field theoretic formulation and empirical tracking of spatial processes

Spatial processes are attacked on two fronts. On the one hand, tools from theoretical and statistical physics can be used to understand behaviour in complex, spatially-extended multi-body systems. On the other hand, computer vision and statistical analysis can be used to study 4D microscopy data to observe and understand real spatial processes in vivo. On the rst of these fronts, analytical models are developed for abstract processes, which can be simulated on graphs and lattices before considering real-world applications in elds such as biology, epidemiology or ecology. In the eld theoretic formulation of spatial processes, techniques originating in quantum eld theory such as canonical quantisation and the renormalization group are applied to reaction-di usion processes by analogy. These techniques are combined in the study of critical phenomena or critical dynamics. At this level, one is often interested in the scaling behaviour; how the correlation functions scale for di erent dimensions in geometric space. This can lead to a better understanding of how macroscopic patterns relate to microscopic interactions. In this vein, the trace of a branching random walk on various graphs is studied. In the thesis, a distinctly abstract approach is emphasised in order to support an algorithmic approach to parts of the formalism. A model of self-organised criticality, the Abelian sandpile model, is also considered. By exploiting a bijection between recurrent con gurations and spanning trees, an e cient Monte Carlo algorithm is developed to simulate sandpile processes on large lattices. On the second front, two case studies are considered; migratory patterns of leukaemia cells and mitotic events in Arabidopsis roots. In the rst case, tools from statistical physics are used to study the spatial dynamics of di erent leukaemia cell lineages before and after a treatment. One key result is that we can discriminate between migratory patterns in response to treatment, classifying cell motility in terms of sup/super/di usive regimes. For the second case study, a novel algorithm is developed to processes a 4D light-sheet microscopy dataset. The combination of transient uorescent markers and a poorly localised specimen in the eld of view leads to a challenging tracking problem. A fuzzy registration-tracking algorithm is developed to track mitotic events so as to understand their spatiotemporal dynamics under normal conditions and after tissue damage.Open Acces

Knots, Trees, and Fields: Common Ground Between Physics and Mathematics

One main theme of this thesis is a connection between mathematical physics (in particular, the three-dimensional topological quantum field theory known as Chern-Simons theory) and three-dimensional topology. This connection arises because the partition function of Chern-Simons theory provides an invariant of three-manifolds, and the Wilson-loop observables in the theory define invariants of knots. In the first chapter, we review this connection, as well as more recent work that studies the classical limit of quantum Chern-Simons theory, leading to relations to another knot invariant known as the A-polynomial. (Roughly speaking, this invariant can be thought of as the moduli space of flat SL(2,C) connections on the knot complement.) In fact, the connection can be deepened: through an embedding into string theory, categorifications of polynomial knot invariants can be understood as spaces of BPS states. We go on to study these homological knot invariants, and interpret spectral sequences that relate them to one another in terms of perturbations of supersymmetric theories. Our point is more general than the application to knots; in general, when one perturbs any modulus of a supersymmetric theory and breaks a symmetry, one should expect a spectral sequence to relate the BPS states of the unperturbed and perturbed theories. We consider several diverse instances of this general lesson. In another chapter, we consider connections between supersymmetric quantum mechanics and the de Rham version of homotopy theory developed by Sullivan; this leads to a new interpretation of Sullivan's minimal models, and of Massey products as vacuum states which are entangled between different degrees of freedom in these models. We then turn to consider a discrete model of holography: a Gaussian lattice model defined on an infinite tree of uniform valence. Despite being discrete, the matching of bulk isometries and boundary conformal symmetries takes place as usual; the relevant group is PGL(2,Qp), and all of the formulas developed for holography in the context of scalar fields on fixed backgrounds have natural analogues in this setting. The key observation underlying this generalization is that the geometry underlying AdS3/CFT2 can be understood algebraically, and the base field can therefore be changed while maintaining much of the structure. Finally, we give some analysis of A-polynomials under change of base (to finite fields), bringing things full circle.</p

Two aspects of gauge theories : higher-dimensional instantons on cones over Sasaki-Einstein spaces and Coulomb branches for 3-dimensional N = 4 gauge theories

[no abstract

Bifurcation analysis of the Topp model

In this paper, we study the 3-dimensional Topp model for the dynamicsof diabetes. We show that for suitable parameter values an equilibrium of this modelbifurcates through a Hopf-saddle-node bifurcation. Numerical analysis suggests thatnear this point Shilnikov homoclinic orbits exist. In addition, chaotic attractors arisethrough period doubling cascades of limit cycles.Keywords Dynamics of diabetes · Topp model · Reduced planar quartic Toppsystem · Singular point · Limit cycle · Hopf-saddle-node bifurcation · Perioddoubling bifurcation · Shilnikov homoclinic orbit · Chao