Source author record

Eduardo Dias

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.AC Discrete Mathematics Machine Learning

Catalog footprint

Research overview

5works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Equivariant neural networks for recovery of Hadamard matrices

We propose a message passing neural network architecture designed to be equivariant to column and row permutations of a matrix. We illustrate its advantages over traditional architectures like multi-layer perceptrons (MLPs), convolutional neural networks (CNNs) and even Transformers, on the combinatorial optimization task of recovering a set of deleted entries of a Hadamard matrix. We argue that this is a powerful application of the principles of Geometric Deep Learning to fundamental mathematics, and a potential stepping stone toward more insights on the Hadamard conjecture using Machine Learning techniques.

preprint2020arXiv

Construction of algebraic covers

Let $Y$ be an algebraic variety, $\mathcal{F}$ a locally free sheaf of $\mathcal{O}_Y$ -modules, and $\mathcal{R}(\mathcal{F})$ the $\mathcal{O}_Y$ -algebra $\operatorname{Sym}^\bullet \mathcal{F}$ . In this paper we study local properties of sheaves of $\mathcal{O}_{\mathcal{R}(\mathcal{F})}$ -ideals $\mathcal{I}$ such that $\mathcal{R}(\mathcal{F}))/\mathcal{I}$ is an algebraic cover of $Y$ . Following the work of Miranda for triple covers, for $\mathcal{Q}$ a direct summand of $\mathcal{R}(\mathcal{F})$ , we say that a morphism $Φ\colon \mathcal{Q}\rightarrow\mathcal{R}(\mathcal{F})/\langle\mathcal{Q}\rangle$ is a covering homomorphism if it induces such an ideal. As an application we study in detail the case of Gorenstein covering maps of degree $6$ for which the direct image of $φ_*\mathcal{O}_X$ admits an orthogonal decomposition. These are deformation of $S_3$ -Galois branch covers.

preprint2020arXiv

On degenerations of $\mathbb Z/2$ -Godeaux surfaces

We compute equations for Coughlan's family of Godeaux surfaces with torsion $\mathbb Z/2$ , which we call $\mathbb Z/2$ -Godeaux surfaces, and we show that it is (at most) 7 dimensional. We classify non-rational KSBA degenerations $W$ of $\mathbb Z/2$ -Godeaux surfaces with one Wahl singularity, showing that $W$ is birational to particular either Enriques surfaces, or $D_{2,n}$ elliptic surfaces, with $n=3,4$ or $6$ . We present examples for all possibilities in the first case, and for $n=3,4$ in the second.

preprint2020arXiv

On the Graded Equations of (1,3)-Abelian Surfaces

Let $S$ be an abelian surface over an algebraically closed field $k$ with characteristic different from $2$ and $3$ , and $\mathcal{L}$ a symmetric ample line bundle defining a polarisation of type $(1,3)$ . Then the linear system $|\mathcal{L}|$ defines a covering map $φ\colon S\rightarrow \mathbb{P}^2$ of degree $6$ . Furthermore, if $|\mathcal{L}|$ is base point free, then $φ_*\mathcal{O}_S = \mathcal{O}_{\mathbb{P}^2} \oplus Ω^1_{\mathbb{P}^2} \oplus Ω^1_{\mathbb{P}^2}\oplus\mathcal{O}_{\mathbb{P}^2}(-3)$ . Using this decomposition, in this paper we construct the graded coordinate ring of $(S,\mathcal{L},θ)$ , where $θ\colon G(\mathcal{L})\xrightarrow{\sim} H(1,3)$ is a level structure of canonical type. As a corollary we prove that the moduli space of such triples is rational.

preprint2013arXiv

Codes over a weighted torus

We define weighted projective Reed-Muller codes over a subset of weighted projective space over a finite field. We focus on the case when the set X is a projective weighted torus. We show that the vanishing ideal of X is a lattice ideal and relate it with the lattice ideal of a minimal presentation of the semigroup algebra of Q, the numerical semigroup generated by the weights of the projective space. We compute the index of regularity of the vanishing ideal as function of the weights and the Frobenius number of Q. We compute the basic parameters of weighted projective Reed-Muller codes over a 1-dimensional weighted torus and prove they are maximum distance separable codes.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Eduardo Dias

Research overview

Is this your work?

5 publications

Equivariant neural networks for recovery of Hadamard matrices

Construction of algebraic covers

On degenerations of $\mathbb Z/2$ -Godeaux surfaces

On the Graded Equations of (1,3)-Abelian Surfaces

Codes over a weighted torus

See the researcher in context

Building this map preview

Eduardo Dias

Research overview

Is this your work?

5 publications

Equivariant neural networks for recovery of Hadamard matrices

Construction of algebraic covers

On degenerations of Z/2\mathbb Z/2Z/2-Godeaux surfaces

On the Graded Equations of (1,3)-Abelian Surfaces

Codes over a weighted torus

See the researcher in context

Building this map preview

On degenerations of $\mathbb Z/2$ -Godeaux surfaces