Search

The quantum walk differs fundamentally from the classical random walk in a number of ways, including its linear spreading and initial condition dependent asymmetries. Using stationary phase approximations, precise asymptotics have been derived for one-dimensional two-state quantum walks, one-dimensional three-state Grover walks, and two-dimensional four-state Grover walks. Other papers have investigated asymptotic behavior of a much larger set of two-dimensional quantum walks and it has been shown that in special cases the regions of polynomial decay can be parameterized. In this paper, we show that these regions of polynomial decay are bounded by algebraic curves which can be explicitly computed. We give examples of these bifurcation curves for a number of two-dimensional quantum walks., Comment: In Proceedings QSQW 2020, arXiv:2004.01061

Linear complementary dual (LCD) codes is a class of linear codes introduced by Massey in 1964. LCD codes have been extensively studied in literature recently. In addition to their applications in data storage, communications systems, and consumer electronics, LCD codes have been employed in cryptography. More specifically, it has been shown that LCD codes can also help improve the security of the information processed by sensitive devices, especially against so-called side-channel attacks (SCA) and fault non-invasive attacks. In this paper, we are interested in the construction of particular algebraic geometry (AG) LCD codes which could be good candidates to be resistant against SCA. We firstly provide a construction scheme for obtaining LCD codes from elliptic curves. Then, some explicit LCD codes from elliptic curve are presented. MDS codes are of the most importance in coding theory due to their theoretical significance and practical interests. In this paper, all the constructed LCD codes from elliptic curves are MDS or almost MDS. Some infinite classes of LCD codes from elliptic curves are optimal due to the Griesmer bound. Finally, we introduce a construction mechanism for obtaining LCD codes from any algebraic curve and derive some explicit LCD codes from hyperelliptic curves and Hermitian curves.

This paper is concerned with configurations of points in a plane lattice which determine angles that are rational multiples of $\pi$. We shall study how many such angles may appear in a given lattice and in which positions, allowing the lattice to vary arbitrarily. This classification turns out to be much less simple than could be expected, leading even to parametrizations involving rational points on certain algebraic curves of positive genus.Bulletin of the American Mathematical Society, Comment: 36 pages, 6 pictures. Accepted for publication on the Bulletin of the American Mathematical Society

Let $C$ be a complex algebraic curve uniformised by a Fuchsian group $\Gamma$. In the first part of this paper we identify the automorphism group of the solenoid associated with $\Gamma$ with the Belyaev completion of its commensurator $\mathrm{Comm}(\Gamma)$ and we use this identification to show that the isomorphism class of this completion is an invariant of the natural Galois action of $\mathrm{Gal}(\mathbb C/\mathbb Q)$ on algebraic curves. In turn this fact yields a proof of the Galois invariance of the arithmeticity of $\Gamma$ independent of Kazhhdan's. In the second part we focus on the case in which $\Gamma$ is arithmetic. The list of further Galois invariants we find includes: i) the periods of $\mathrm{Comm}(\Gamma)$, ii) the solvability of the equations $X^2+\sin^2 \frac{2\pi}{2k+1}$ in the invariant quaternion algebra of $\Gamma$ and iii) the property of $\Gamma$ being a congruence subgroup., Comment: 29 pages

In this paper, we construct a natural probability measure on the space of real branched coverings from a real projective algebraic curve $(X,c_X)$ to the projective line $(\mathbb{C} \mathbb {P}^1,\textit{conj} )$ . We prove that the space of degree d real branched coverings having “many” real branched points (for example, more than $\sqrt {d}^{1+\alpha }$ , for any $\alpha>0$ ) has exponentially small measure. In particular, maximal real branched coverings – that is, real branched coverings such that all the branched points are real – are exponentially rare.

The aim of this paper is to investigate the intersection problem between two linear sets in the projective line over a finite field. In particular, we analyze the intersection between two clubs with eventually different maximum fields of linearity. Also, we analyze the intersection between the linear set defined by the polynomial $\alpha x^{q^k}+\beta x$ and other linear sets having the same rank; this family contains the linear set of pseudoregulus type defined by $x^q$. The strategy relies on the study of certain algebraic curves whose rational points describe the intersection of the two linear sets. Among other geometric and algebraic tools, function field theory and the Hasse-Weil bound play a crucial role. As an application, we give asymptotic results on semifields of BEL-rank two.

In this paper we study the spaces of non-compact real algebraic curves, i.e. pairs $(P,\tau)$, where $P$ is a compact Riemann surface with a finite number of holes and punctures and $\tau:P\to P$ is an anti-holomorphic involution. We describe the uniformisation of non-compact real algebraic curves by Fuchsian groups. We construct the spaces of non-compact real algebraic curves and describe their connected components. We prove that any connected component is homeomorphic to a quotient of a finite-dimensional real vector space by a discrete group and determine the dimensions of these vector spaces., Comment: 9 pages, 5 figures

This paper studies the function field of an algebraic curve over an arbitrary perfect field by using the Weil reciprocity law and topologies on the adele ring. A topological subgroup of the idele class group is introduced and it is shown how it encodes arithmetic properties of the base field and of the Picard group of the curve. These results are applied to study extensions of the function field., Comment: to appear in Collectanea Mathematica

Let f be a polynomial in two complex variables. We say that f is nearly irreducible if any two nonconstant polynomial factors of f have a common zero. In the paper we give a criterion of nearly irreducibility for a given polynomial f in terms of its Newton diagram., Comment: 8 pages, 3 figures

This paper presents a new method for visualizing implicit real algebraic curves inside a bounding box in the 2-D or 3-D ambient space based on numerical continuation and critical point methods. The underlying techniques work also for tracing space curve in higher-dimensional space. Since the topology of a curve near a singular point of it is not numerically stable, the authors trace only the curve outside neighborhoods of singular points and replace each neighborhood simply by a point, which produces a polygonal approximation that is e-close to the curve. Such an approximation is more stable for defining the numerical connectedness of the complement of the projection of the curve in ℝ2, which is important for applications such as solving bi-parametric polynomial systems. The algorithm starts by computing three types of key points of the curve, namely the intersection of the curve with small spheres centered at singular points, regular critical points of every connected components of the curve, as well as intersection points of the curve with the given bounding box. It then traces the curve starting with and in the order of the above three types of points. This basic scheme is further enhanced by several optimizations, such as grouping singular points in natural clusters, tracing the curve by a try-and-resume strategy and handling “pseudo singular points”. The effectiveness of the algorithm is illustrated by numerous examples. This manuscript extends the proposed preliminary results that appeared in CASC 2018.

This paper deals with the problem of limit cycle bifurcations for a piecewise near-Hamilton system with four regions separated by algebraic curves $y=\pm x^2$. By analyzing the obtained first order Melnikov function, we give an upper bound of the number of limit cycles which bifurcate from the period annulus around the origin under $n$-th degree polynomial perturbations. In the case $n=1$, we obtain that at least 4 (resp. 3) limit cycles can bifurcate from the period annulus if the switching curves are $y=\pm x^2$ (resp. $y=x^2$ or $y=-x^2$). The results also show that the number of switching curves affects the number of limit cycles., Comment: 18

For a family of K3 surfaces we implement a variation of a general construction of towers of algebraic curves over finite fields given in a previous paper. As a result we get a good tower over $k=\mathbb{F}_{p^2}$, that is optimal if $p=3$.

In this paper, explicit equations for algebraic curves with genus 4, 5, and 10 already studied in characteristic zero, are analyzed in positive characteristic p. We show that these curves have an interesting behaviour on the number of their rational places. Namely, they are either maximal or minimal over the finite field with p 2 elements for infinitely many p's. The key tool is the investigation of their Jacobian decomposition. Lists of small p's for which maximality holds are provided. In some cases we also describe the automorphism group of the curve.

In this paper, we adapt the differential signature construction to the equivalence problem for complex plane algebraic curves under the actions of the projective group and its subgroups. Given an action of a group $G$, a signature map assigns to a plane algebraic curve another plane algebraic curve (a signature curve) in such a way that two generic curves have the same signatures if and only if they are $G$-equivalent. We prove that for any $G$-action, there exists a pair of rational differential invariants, called classifying invariants, that can be used to construct signatures. We derive a formula for the degree of a signature curve in terms of the degree of the original curve, the size of its symmetry group and some quantities depending on a choice of classifying invariants. For the full projective group, as well as for its affine, special affine and special Euclidean subgroups, we give explicit sets of rational classifying invariants and derive a formula for the degree of the signature curve of a generic curve as a quadratic function of the degree of the original curve. We show that this generic degree is the sharp upper bound., Comment: 35 pages, 2 figures; v2: The result on the upper bound for the degrees of signature polynomials is generalized to arbitrary subgroups of the projective group

In this paper we consider the six-vertex model at ice point on an arbitrary three-bundle domain, which is a generalization of the domain-wall ice model on the square (or, equivalently, of a uniformly random alternating sign matrix). We show that this model exhibits the arctic boundary phenomenon, whose boundary is given by a union of explicit algebraic curves. This was originally predicted by Colomo-Sportiello in 2016 as one of the initial applications of a general heuristic that they introduced for locating arctic boundaries, called the (geometric) tangent method. Our proof uses a probabilistic analysis of non-crossing directed path ensembles to provide a mathematical justification of their tangent method heuristic in this case, which might be of independent interest., Comment: 45 pages, 15 figures; Version 2: Minor changes in the introduction; Versions 3, 4: Minor changes

We complete the topological classification of real algebraic non-singular curves of bidegree $(5, 5)$ on the quadric ellipsoid. We show in particular that previously known restrictions form a complete system for this bidegree. Therefore, the main part of the paper concerns the construction of real algebraic curves. Our strategy is first to reduce to the construction of curves in the second Hirzebruch surface by degenerating the quadric ellipsoid to the quadratic cone. Next, we combine different classical construction methods on toric surfaces, such as Dessin d'enfants and and Viro's patchworking method., Comment: 28 pages, 37 figures minor changes, final version

In this paper we show that, after completion in the I-adic topology, the Goldman bracket on the space spanned by homotopy classes of loops on a smooth, complex algebraic curve is a morphism of mixed Hodge structure. We prove similar statements for the natural action (defined by Kawazumi and Kuno) of the loops in X on paths from one "boundary component" to another. These results are used to construct torsors of isomorphisms of the the completed Goldman Lie algebra with the completion of its associated graded Lie algebra. Such splittings give torsors of partial solutions to the Kashiwara--Vergne problem (arXiv:1611.05581) in all genera. Compatibility of the cobracket with Hodge theory is established in arXiv:1807.09209., Comment: Final version: to appear in Geometry and Topology

An ordinary circle of a set $P$ of $n$ points in the plane is defined as a circle that contains exactly three points of $P$. We show that if $P$ is not contained in a line or a circle, then $P$ spans at least $\frac{1}{4}n^2 - O(n)$ ordinary circles. Moreover, we determine the exact minimum number of ordinary circles for all sufficiently large $n$ and describe all point sets that come close to this minimum. We also consider the circle variant of the orchard problem. We prove that $P$ spans at most $\frac{1}{24}n^3 - O(n^2)$ circles passing through exactly four points of $P$. Here we determine the exact maximum and the extremal configurations for all sufficiently large $n$. These results are based on the following structure theorem. If $n$ is sufficiently large depending on $K$, and $P$ is a set of $n$ points spanning at most $Kn^2$ ordinary circles, then all but $O(K)$ points of $P$ lie on an algebraic curve of degree at most four. Our proofs rely on a recent result of Green and Tao on ordinary lines, combined with circular inversion and some classical results regarding algebraic curves., Comment: 28 pages, 6 figures. Post-publication corrections to Theorems 1.3 and 1.5 with corresponding updates to Sections 4.1 and 4.2. The earlier preprint arXiv:1412.8314 is subsumed by this paper and will not be published independently

We develop the theory of Whitham type hierarchies integrable by hydrodynamic reductions as a theory of certain differential-geometric objects. As an application we construct Gibbons-Tsarev systems associated to moduli space of algebraic curves of arbitrary genus and prove that the universal Whitham hierarchy is integrable by hydrodynamic reductions., Comment: 23 pages, Latex, overlapped with arXiv:1505.07779 [math.AG] but different emphasis is given here: this paper is designed for Integrable systems community

Let $$\mathcal{X}$$ be a projective irreducible nonsingular algebraic curve defined over a finite field $$\mathbb{F}_q$$ . This paper presents a variation of the Stohr–Voloch theory and sets new bounds to the number of $${F_{{q^r}}}$$ -rational points on X. In certain cases, where comparison is possible, the results are shown to improve other bounds such as Weil’s, Stohr–Voloch’s and Ihara’s.