189 research outputs found
Mini-Workshop: Dimers, Ising and Spanning Trees beyond the Critical Isoradial Case (online meeting)
The goal of this mini-workshop is to gather specialists of the dimer, Ising and spanning tree models around recent and ongoing progress in two directions. One is understanding the connection to the spectral curve of these models in the cases when the curve has positive genus. The other is the introduction of universal embeddings associated to these models. We aim to use these new tools to progress in the study of scaling limits
Algebraic Methods for Dynamical Systems and Optimisation
This thesis develops various aspects of Algebraic Geometry and its applications in different fields of science.
In Chapter 2 we characterise the feasible set of an optimisation problem relevant in chemical process engineering. We consider the polynomial dynamical system associated with mass-action kinetics of a chemical reaction network. Given an initial point, the attainable region of that point is the smallest convex and forward closed set that contains the trajectory. We show that this region is a spectrahedral shadow for a class of linear dynamical systems. As a step towards representing attainable regions we develop algorithms to compute the convex hulls of trajectories. We present an implementation of this algorithm which works in dimensions 2,3 and 4. These algorithms are based on a theory that approximates the boundary of the convex hull of curves by a family of polytopes. If the convex hull is represented as the output of our algorithms we can also check whether it is forward closed or not.
Chapter 3 has two parts. In this first part, we do a case study of planar curves of degree 6. It is known that there are 64 rigid isotopy types of these curves. We construct explicit polynomial representatives with integer coefficients for each of these types using different techniques in the literature. We present an algorithm, and its implementation in software Mathematica, for determining the isotopy type of a given sextic. Using the representatives various sextics for each type were sampled. On those samples we explored the number of real bitangents, inflection points and eigenvectors. We also computed the tensor rank of the representatives by numerical methods. We show that the locus of all real lines that do not meet a given sextic is a union of up to 46 convex regions that is bounded by its dual curve.
In the second part of Chapter 3 we consider a problem arising in molecular biology. In a system where molecules bind to a target molecule with multiple binding sites, cooperativity measures how the already bound molecules affect the chances of other molecules binding. We address an optimisation problem that arises while quantifying cooperativity. We compute cooperativity for the real data of molecules binding to hemoglobin and its variants.
In Chapter 4, given a variety X in n-dimensional projective space we look at its image under the map that takes each point in X to its coordinate-wise r-th power. We compute the degree of the image. We also study their defining equations, particularly for hypersurfaces and linear spaces. We exhibit the set-theoretic equations of the coordinate-wise square of a linear space L of dimension k embedded in a high dimensional ambient space. We also establish a link between coordinate-wise squares of linear spaces and the study of real symmetric matrices with degenerate eigenspectrum
Classes of codes from quadratic surfaces of PG(3,q)
We examine classes of binary linear error correcting codes constructed from certain sets of lines defined relative to one of the two classical quadratic surfaces in . We give an overview of some of the properties of the codes, providing proofs where the results are new. In particular, we use geometric techniques to find small weight codewords, and hence, bound the minimum distance
Bridge trisections in rational surfaces
We study smooth isotopy classes of complex curves in complex surfaces from
the perspective of the theory of bridge trisections, with a special focus on
curves in and . We are
especially interested in bridge trisections and trisections that are as simple
as possible, which we call "efficient". We show that any curve in
or admits an efficient
bridge trisection. Because bridge trisections and trisections are nicely
related via branched covering operations, we are able to give many examples of
complex surfaces that admit efficient trisections. Among these are
hypersurfaces in , the elliptic surfaces , the Horikawa
surfaces , and complete intersections of hypersurfaces in
. As a corollary, we observe that, in many cases, manifolds that
are homeomorphic but not diffeomorphic have the same trisection genus, which is
consistent with the conjecture that trisection genus is additive under
connected sum. We give many trisection diagrams to illustrate our examples.Comment: 46 pages, 28 color figure
Ahlfors circle maps and total reality: from Riemann to Rohlin
This is a prejudiced survey on the Ahlfors (extremal) function and the weaker
{\it circle maps} (Garabedian-Schiffer's translation of "Kreisabbildung"), i.e.
those (branched) maps effecting the conformal representation upon the disc of a
{\it compact bordered Riemann surface}. The theory in question has some
well-known intersection with real algebraic geometry, especially Klein's
ortho-symmetric curves via the paradigm of {\it total reality}. This leads to a
gallery of pictures quite pleasant to visit of which we have attempted to trace
the simplest representatives. This drifted us toward some electrodynamic
motions along real circuits of dividing curves perhaps reminiscent of Kepler's
planetary motions along ellipses. The ultimate origin of circle maps is of
course to be traced back to Riemann's Thesis 1851 as well as his 1857 Nachlass.
Apart from an abrupt claim by Teichm\"uller 1941 that everything is to be found
in Klein (what we failed to assess on printed evidence), the pivotal
contribution belongs to Ahlfors 1950 supplying an existence-proof of circle
maps, as well as an analysis of an allied function-theoretic extremal problem.
Works by Yamada 1978--2001, Gouma 1998 and Coppens 2011 suggest sharper degree
controls than available in Ahlfors' era. Accordingly, our partisan belief is
that much remains to be clarified regarding the foundation and optimal control
of Ahlfors circle maps. The game of sharp estimation may look narrow-minded
"Absch\"atzungsmathematik" alike, yet the philosophical outcome is as usual to
contemplate how conformal and algebraic geometry are fighting together for the
soul of Riemann surfaces. A second part explores the connection with Hilbert's
16th as envisioned by Rohlin 1978.Comment: 675 pages, 199 figures; extended version of the former text (v.1) by
including now Rohlin's theory (v.2
Transfer matrices and partition-function zeros for antiferromagnetic Potts models. VI. Square lattice with special boundary conditions
We study, using transfer-matrix methods, the partition-function zeros of the
square-lattice q-state Potts antiferromagnet at zero temperature (=
square-lattice chromatic polynomial) for the special boundary conditions that
are obtained from an m x n grid with free boundary conditions by adjoining one
new vertex adjacent to all the sites in the leftmost column and a second new
vertex adjacent to all the sites in the rightmost column. We provide numerical
evidence that the partition-function zeros are becoming dense everywhere in the
complex q-plane outside the limiting curve B_\infty(sq) for this model with
ordinary (e.g. free or cylindrical) boundary conditions. Despite this, the
infinite-volume free energy is perfectly analytic in this region.Comment: 114 pages (LaTeX2e). Includes tex file, three sty files, and 23
Postscript figures. Also included are Mathematica files data_Eq.m,
data_Neq.m,and data_Diff.m. Many changes from version 1, including several
proofs of previously conjectured results. Final version to be published in J.
Stat. Phy
- …