Related papers: A point counting algorithm using cohomology with c…

A new, fast second-order method is proposed that achieves the optimal $\mathcal{O}\left(|\log(\epsilon)|\epsilon^{-3/2}\right)$ complexity to obtain first-order $\epsilon$-stationary points. Crucially, this is deduced without assuming the…

We study the weight 2 graded piece of the compactly supported rational cohomology of the moduli spaces of curves $M_{g,n}$ and show that this can be computed as the cohomology of a graph complex that is closely related to graph complexes…

We extend the analytic theory of Frobenius manifolds to semisimple points with coalescing eigenvalues of the operator of multiplication by the Euler vector field. We clarify which freedoms, ambiguities and mutual constraints are allowed in…

For a class $\mathcal{H}$ of graphs, #Sub$(\mathcal{H})$ is the counting problem that, given a graph $H\in \mathcal{H}$ and an arbitrary graph $G$, asks for the number of subgraphs of $G$ isomorphic to $H$. It is known that if $\mathcal{H}$…

Elliptic bases, introduced by Couveignes and Lercier in 2009, give an elegant way of representing finite field extensions. A natural question which seems to have been considered independently by several groups is to use this representation…

A novel algorithm for creating a mathematical model of curved shapes is introduced. The core of the algorithm is based on building a graph representation of the contoured image, which occupies less storage space than produced by raster…

We describe algorithms for finding harmonic cochains, an essential ingredient for solving elliptic partial differential equations in exterior calculus. Harmonic cochains are also useful in computational topology and computer graphics. We…

We give an explicit formula to count the number of geometric branches of a curve in positive characteristic using the theory of tight closure. This formula readily shows that the property of having a single geometric branch characterizes…

We study the problem of counting the number of homomorphisms from an input graph $G$ to a fixed (quantum) graph $\bar{H}$ in any finite field of prime order $\mathbb{Z}_p$. The subproblem with graph $H$ was introduced by Faben and Jerrum…

We consider recently developed Cohomological Field Theory soliton counting diagram technique for Khovanov and Khovanov-Rozansky invariants [1,2]. Although the expectation to obtain a new way for computing the invariants has not yet come…

Let F be a finite field and let b and N be integers. We prove explicit estimates for the probability that the number of rational points on a randomly chosen elliptic curve E over F equals b modulo N. The underlying tool is an…

We present an algorithm for computing the main topological characteristics of three-dimensional bodies. The algorithm is based on a discretization of Morse theory and uses discrete analogs of smooth functions with only nondegenerate (Morse)…

A certain Grothendieck topology assigned to a metric space gives rise to a sheaf cohomology theory which sees the coarse structure of the space. Already constant coefficients produce interesting cohomology groups. In degree 0 they see the…

We propose a method for tracing implicit real algebraic curves defined by polynomials with rank-deficient Jacobians. For a given curve $f^{-1}(0)$, it first utilizes a regularization technique to compute at least one witness point per…

Combining $2$-descent techniques with Riemann-Roch and B\'ezout's theorems, we give an upper bound on the number of rational points of bounded height on elliptic and hyperelliptic curves over function fields of characteristic $\neq 2$. We…

We use Weierstrass Point Theory and Frobenius orders to prove the uniqueness (up to isomorphism) of some optimal curves.

We describe a method for counting maps of curves of given genus (and variable moduli) to $\Bbb P^2$, essentially by splitting the $\Bbb P^2$ in two; then specialising to the case of genus 0 we show that the method of quantum cohomology may…

We present an efficient computational representation of central simple algebras using Brauer factor sets. Using this representation and polynomial quantum algorithms for number theoretical tasks such as factoring and $S$-unit group…

Let a polytope $P$ be defined by a system $A x \leq b$. We consider the problem of counting the number of integer points inside $P$, assuming that $P$ is $\Delta$-modular, where the polytope $P$ is called $\Delta$-modular if all the rank…

Let $X=\C^n$. In this paper we present an algorithm that computes the de Rham cohomology groups $H^i_{dR}(U,\C)$ where $U$ is the complement of an arbitrary Zariski-closed set $Y$ in $X$. Our algorithm is a merger of the algorithm given by…