Researcher profile

Eduardo Dias

Eduardo Dias contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

5 published item(s)

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.