arXiv subjects
Publications and source records attributed to Antonio J. Di Scala.
We show that the holonomy group of a connected Riemannian locally symmetric space (not necessarily complete) without local flat factor is compact and has finite index in its normalizer in the orthogonal group.
We show that the Kähler-Einstein metrics on the four families of examples of symmetric toric Fano manifolds presented by Batyrev and Selivanova cannot be realized as metrics induced by immersions into projective spaces equipped with Fubini-Study metrics. We obtain a similar conclusion for the non-symmetric examples discovered by Nill and Paffenholz. A consequence is that a centrally symmetric toric Fano manifold admits a Kähler-Einstein metric induced by a projective immersion if and only if it is a product of projective lines. These results provide evidence for a broader conjecture characterizing which Kähler-Einstein metrics can be induced by projective immersions.
MinRank is an NP-complete problem in linear algebra whose characteristics make it attractive to build post-quantum cryptographic primitives. Several MinRank-based digital signature schemes have been proposed. In particular, two of them, MIRA and MiRitH, have been submitted to the NIST Post-Quantum Cryptography Standardization Process. In this paper, we propose a key-generation algorithm for MinRank-based schemes that reduces the size of the public key to about 50% of the size of the public key generated by the previous best (in terms of public-key size) algorithm. Precisely, the size of the public key generated by our algorithm sits in the range of 328-676 bits for security levels of 128-256 bits. We also prove that our algorithm is as secure as the previous ones.
We find new conditions that the existence of nullity of the curvature tensor of an irreducible homogeneous space $M=G/H$ imposes on the Lie algebra $\mathfrak g$ of $G$ and on the Lie algebra $\tilde{\mathfrak g}$ of the full isometry group of $M$. Namely, we prove that there exists a transvection of $M$ in the direction of any element of the nullity, possibly by enlarging the presentation group $G$. Moreover, we prove that these transvections generate an abelian ideal of $\tilde{\mathfrak g}$. These results constitute a substantial improvement on the structure theory developed in \cite{DOV}. In addition we construct examples of homogeneous Riemannian spaces with non-trivial nullity, where $G$ is a non-solvable group, answering a natural open question. Such examples admit (locally homogeneous) compact quotients. In the case of co-nullity $3$ we give an explicit description of the isometry group of any homogeneouslocally irreducible Riemannian manifold with nullity.
In 2020 Sala, Sogiorno and Taufer have been able to find the private keys of some Bitcoin addresses, thus being able to spend the cryptocurrency linked to them. This result was unexpected, since the recovery of non-trivial private keys for blockchain addresses is deemed to be an infeasible problem. In this paper we widen this analysis by mounting a similar attack to other small subsets of the set of private keys. We then apply it to other blockchains as well, examining Ethereum, Dogecoin, Litecoin, Dash, Zcash and Bitcoin Cash. In addition to the results, we also explain the techniques we have used to perform this exhaustive search for all the addresses that have ever appeared in these blockchains.
We put in evidence and correct a mistake in the formula for the determinant 308 in Proskuryakov's linear algebra book. We apply this formula to reprove the well-known fact that the Fubini-Study metric on the complex projective space is Einstein.
We prove that the Ring Learning With Errors (RLWE) and the Polynomial Learning With Errors (PLWE) problems over the cyclotomic field $\mathbb{Q}(ζ_n)$ are not equivalent. Precisely, we show that reducing one problem to the other increases the noise by a factor that is more than polynomial in $n$. We do so by providing a lower bound, holding for infinitely many positive integers $n$, for the condition number of the Vandermonde matrix of the $n$th cyclotomic polynomial.
We show that the extended principal bundle of a Cartan geometry of type $(A(m,\mathbb{R}),GL(m,\mathbb{R}))$, endowed with its extended connection $\hatω$, is isomorphic to the principal $A(m,\mathbb{R})$-bundle of affine frames endowed with the affine connection as defined in classical Kobayashi-Nomizu volume I. Then we classify the local holonomy groups of the Cartan geometry canonically associated to a Riemannian manifold. It follows that if the holonomy group of the Cartan geometry canonically associated to a Riemannian manifold is compact then the Riemannian manifold is locally a product of cones.
Linear Feedback Shift Registers (LFRS) are tools commonly used in cryptography in many different context, for example as pseudo-random numbers generators. In this paper we characterize LFRS with certain symmetry properties. Related to this question we also classify polynomials f of degree n satisfying the property that if a is a root of f then $f(a^n)=0$. The classification heavily depends on the choice of the fields of coefficients of the polynomial; we consider the cases $K=\mathbb{F}_p$ and $K=\mathbb{Q}$.
We develop a general theory for irreducible homogeneous spaces $M= G/H$, in relation to the nullity $ν$ of their curvature tensor. We construct natural invariant (different and increasing) distributions associated with the nullity, that give a deep insight of such spaces. In particular, there must exist an order-two transvection, not in the nullity, with null Jacobi operator. This fact was very important for finding out the first homogeneous examples with non-trivial nullity, i.e. where the nullity distribution is not parallel. Moreover, we construct irreducible examples of conullity $k=3$, the smallest possible, in any dimension. None of our examples admit a quotient of finite volume. We also proved that $H$ is trivial and $G$ is solvable if $k=3$. Another of our main results is that the leaves of the nullity are closed (we used a rather delicate argument). This implies that $M$ is a Euclidean affine bundle over the quotient by the leaves of $ν$. Moreover, we prove that $ν^\perp$ defines a metric connection on this bundle with transitive holonomy or, equivalently, $ν^\perp$ is completely non-integrable (this is not in general true for an arbitrary autoparallel and flat invariant distribution). We also found some general obstruction for the existence of non-trivial nullity: e.g., if $G$ is reductive (in particular, if $M$ is compact), or if $G$ is two-step nilpotent.
Recently, Blanco-Chacón proved the equivalence between the Ring Learning With Errors and Polynomial Learning With Errors problems for some families of cyclotomic number fields by giving some upper bounds for the condition number $\operatorname{Cond}(V_n)$ of the Vandermonde matrix $V_n$ associated to the $n$th cyclotomic polynomial. We prove some results on the singular values of $V_n$ and, in particular, we determine $\operatorname{Cond}(V_n)$ for $n = 2^k p^\ell$, where $k, \ell \geq 0$ are integers and $p$ is an odd prime number.
In this paper, we highlight that the point group structure of elliptic curves over finite or infinite fields, may be also observed on singular cubics with a quadratic component. Starting from this, we are able to introduce in a very general way a group's structure over any kind of conics. In the case of conics over finite fields, we see that the point group is cyclic and lies on the quadric; the straight line component plays a role which may be not explicitly visible in the algebraic description of point composition, but it is indispensable in the geometric description. Moreover, some applications to cryptography are described, considering convenient parametrizations of the conics. Finally, we perform an evaluation of the complexity of the operations involved in the parametric groups and consequently in the cryptographic applications.
We show a connection between the Lucas pseudoprimes and the Pell conic equipped with the Brahmagupta product introducing the Pell pseudoprimes.
We give a proof of the existence of radial (smooth) parallel sections of vector bundles endowed with a linear connection.
In this paper we complete the study of the normal holonomy groups of complex submanifolds (non nec. complete) of Cn or CPn. We show that irreducible but non transitive normal holonomies are exactly the Hermitian s-representations of [CD09, Table 1] (see Corollary 1.1). For each one of them we construct a non necessarily complete complex submanifold whose normal holonomy is the prescribed s-representation. We also show that if the submanifold has irreducible non transitive normal holonomy then it is an open subset of the smooth part of one of the characteristic varieties studied by N. Mok in his work about rigidity of locally symmetric spaces. Finally, we prove that if the action of the normal holonomy group of a projective submanifold is reducible then the submanifold is an open subset of the smooth part of a so called join, i.e. the union of the lines joining two projective submanifolds.
We follow our study of non-Kähler complex structures on $R^4$ that we defined in a previous paper. We prove that these complex surfaces do not admit any smooth complex compactification. Moreover, we give an explicit description of their meromorphic functions. We also prove that the Picard groups of these complex surfaces are uncountable, and give an explicit description of the canonical bundle. Finally, we show that any connected non-compact oriented 4-manifold admits complex structures without Kähler metrics.
We show that every spherical 2-Dupin submanifold that is not a hypersurface is conformally congruent to the standard embedding of the real, complex, quaternionic or octonionic projective plane. We also classify 2-CPC, 2-umbilical and weakly 2-umbilical submanifolds in space forms.
Corollary 2.3 in our paper "A geometric proof of the Karpelevich-Mostow theorem", Bull. Lond. Math. Soc. 41 (2009), no. 4, 634-638, is false. Here we give a counterexample and show how to avoid the use of this corollary to give a simpler proof of Karpelevich-Mostow theorem. We also include a short discussion of the original proof by Karpelevich.