-
Optimal Pricing With Impatient Customers
Authors:
Jieqi Di,
Sigrún Andradóttir,
Hayriye Ayhan
Abstract:
We investigate the optimal pricing strategy in a service-providing framework, where customers can become impatient and leave the system prior to service completion. In this setting, a price is quoted to an incoming customer based on the current number of customers in the system. When the quoted price is lower than the price the incoming customer is willing to pay (which follows a fixed probability…
▽ More
We investigate the optimal pricing strategy in a service-providing framework, where customers can become impatient and leave the system prior to service completion. In this setting, a price is quoted to an incoming customer based on the current number of customers in the system. When the quoted price is lower than the price the incoming customer is willing to pay (which follows a fixed probability distribution), then the customer joins the system and a reward equal to the quoted price is earned. A cost is incurred upon abandonment and a holding cost is incurred for customers waiting to be served. Our goal is to determine the pricing policy that maximizes the long-run average profit. Unlike traditional queueing systems without abandonments, we show that the optimal quoted prices do not always increase with the queue length in this setting. In particular, we prove that the optimal pricing policy is always uni-modal and provide conditions guaranteeing that the optimal policy is increasing in the number of customers in the system. Moreover, we introduce two heuristics that simplify the optimal dynamic pricing policy. Both heuristics admit customers until the number of customers in the system reaches a certain threshold. The cutoff static policy charges all admitted customers a fixed price while the two price policy charges one price when the arriving customer can enter service immediately and another price if the customer needs to wait. By selecting the price(s) and threshold that maximize the long-run average profit, both heuristics achieve near optimality and the two price policy provides more robustness compared to the cutoff static policy.
△ Less
Submitted 15 May, 2025;
originally announced May 2025.
-
Design and implementation of a novel cryptographically secure pseudorandom number generator
Authors:
Juan Di Mauro,
Eduardo Salazar,
Hugo D. Scolnik
Abstract:
The aim of this paper is to present a new design for a pseudorandom number generator (PRNG) that is cryptographically secure, passes all of the usual statistical tests referenced in the literature and hence generates high quality random sequences, that is compact and easy to implement in practice, of portable design and offering reasonable execution times. Our procedure achieves those objectives t…
▽ More
The aim of this paper is to present a new design for a pseudorandom number generator (PRNG) that is cryptographically secure, passes all of the usual statistical tests referenced in the literature and hence generates high quality random sequences, that is compact and easy to implement in practice, of portable design and offering reasonable execution times. Our procedure achieves those objectives through the use of a sequence of modular exponentiations followed by the application of Feistel-like boxes that mix up bits using a nonlinear function. The results of extensive statistical tests on sequences of about 2^40 bits in size generated by our algorithm are also presented.
△ Less
Submitted 22 March, 2025;
originally announced March 2025.
-
Absolutely Continuous Representing Measures of Moment Sequences with an Emphasis on the Regularity of the Densities
Authors:
Philipp J. di Dio
Abstract:
In this work we investigate and characterize linear functionals $L:\mathbb{R}[x_1,\dots,x_n]\to\mathbb{R}$ with absolutely continuous representing measures $μ$, i.e., $\mathrm{d}μ(x) = g(x)\,\mathrm{d} x$ for some density $g$. We focus on the regularity of $g$ and how it is influenced/determined by the moments $s_α= L(x^α)$.
In this work we investigate and characterize linear functionals $L:\mathbb{R}[x_1,\dots,x_n]\to\mathbb{R}$ with absolutely continuous representing measures $μ$, i.e., $\mathrm{d}μ(x) = g(x)\,\mathrm{d} x$ for some density $g$. We focus on the regularity of $g$ and how it is influenced/determined by the moments $s_α= L(x^α)$.
△ Less
Submitted 30 November, 2024; v1 submitted 5 November, 2024;
originally announced November 2024.
-
The Hadamard Product of Moment Sequences, Diagonal Positivity Preservers, and their Generators
Authors:
Philipp J. di Dio,
Lars-Luca Langer
Abstract:
In this work we investigate special aspects of positivity preservers and especially diagonal positivity preservers, i.e., linear maps $T:\mathbb{R}[x_1,\dots,x_n]\to\mathbb{R}[x_1,\dots,x_n]$ such that $Tx^α= t_αx^α$ holds for all $α\in\mathbb{N}_0^n$ with $t_α\in\mathbb{R}$ and $Tp\geq 0$ on $\mathbb{R}^n$ for all $p\in\mathbb{R}[x_1,\dots,x_n]$ with $p\geq 0$ on $\mathbb{R}^n$. We discuss repres…
▽ More
In this work we investigate special aspects of positivity preservers and especially diagonal positivity preservers, i.e., linear maps $T:\mathbb{R}[x_1,\dots,x_n]\to\mathbb{R}[x_1,\dots,x_n]$ such that $Tx^α= t_αx^α$ holds for all $α\in\mathbb{N}_0^n$ with $t_α\in\mathbb{R}$ and $Tp\geq 0$ on $\mathbb{R}^n$ for all $p\in\mathbb{R}[x_1,\dots,x_n]$ with $p\geq 0$ on $\mathbb{R}^n$. We discuss representations of $T$, give characterizations of diagonal positivity preservers, and compare these to previous (partial) results in the literature. On the side we get a full characterization of linear maps preserving moment sequences and a new proof of Schur's product formula. The tool of diagonal positivity preservers simplifies several other existing proofs in the literature. We give a full characterization of generators $A$ of diagonal positivity preservers, i.e., $e^{tA}$ is a diagonal positivity preserver for all $t\geq 0$. We give the connection of these generators to infinitely divisible moment sequences.
△ Less
Submitted 26 November, 2024; v1 submitted 29 July, 2024;
originally announced July 2024.
-
$K$-Positivity Preservers and their Generators
Authors:
Philipp J. di Dio,
Konrad Schmüdgen
Abstract:
We study $K$-positivity preservers with given closed $K\subseteq\mathbb{R}^n$, i.e., linear maps $T:\mathbb{R}[x_1,\dots,x_n]\to\mathbb{R}[x_1,\dots,x_n]$ such that $T\mathrm{Pos}(K)\subseteq\mathrm{Pos}(K)$ holds, and their generators $A:\mathbb{R}[x_1,\dots,x_n]\to\mathbb{R}[x_1,\dots,x_n]$, i.e., $e^{tA}\mathrm{Pos}(K)\subseteq\mathrm{Pos}(K)$ holds for all $t\geq 0$. We characterize these maps…
▽ More
We study $K$-positivity preservers with given closed $K\subseteq\mathbb{R}^n$, i.e., linear maps $T:\mathbb{R}[x_1,\dots,x_n]\to\mathbb{R}[x_1,\dots,x_n]$ such that $T\mathrm{Pos}(K)\subseteq\mathrm{Pos}(K)$ holds, and their generators $A:\mathbb{R}[x_1,\dots,x_n]\to\mathbb{R}[x_1,\dots,x_n]$, i.e., $e^{tA}\mathrm{Pos}(K)\subseteq\mathrm{Pos}(K)$ holds for all $t\geq 0$. We characterize these maps $T$ for any closed $K\subseteq\mathbb{R}^n$ in Theorem 4.5. We characterize the maps $A$ in Theorem 5.12 for $K=\mathrm{R}^n$ and give partial results for general $K$. In Proposition 6.1 and 6.3 we give maps $A$ such that $e^{tA}$ is a positivity preserver for all $t\geq τ$ for some $τ>0$ but not for $t\in (0,τ)$, i.e., we have an eventually positive semi-group.
△ Less
Submitted 19 August, 2024; v1 submitted 22 July, 2024;
originally announced July 2024.
-
An Introduction to T-Systems -- with a special Emphasis on Sparse Moment Problems, Sparse Positivstellensätze, and Sparse Nichtnegativstellensätze
Authors:
Philipp J. di Dio
Abstract:
These are the lecture notes based on [dD23] for the (upcoming) lecture "T-systems with a special emphasis on sparse moment problems and sparse Positivstellensätze" in the summer semester 2024 at the University of Konstanz. The main purpose of this lecture is to prove the sparse Positiv- and Nichtnegativstellensätze of Samuel Karlin (1963) and to apply them to the algebraic setting. That means give…
▽ More
These are the lecture notes based on [dD23] for the (upcoming) lecture "T-systems with a special emphasis on sparse moment problems and sparse Positivstellensätze" in the summer semester 2024 at the University of Konstanz. The main purpose of this lecture is to prove the sparse Positiv- and Nichtnegativstellensätze of Samuel Karlin (1963) and to apply them to the algebraic setting. That means given finitely many monomials, e.g. $1, x^2, x^3, x^6, x^7, x^9,$ how do all linear combinations of these look like which are strictly positive or non-negative on some interval $[a,b]$ or $[0,\infty)$, e.g. describe and even write down all $f(x) = a_0 + a_1 x^2 + a_2 x^3 + a_3 x^6 + a_4 x^7 + a_5 x^9$ with $f(x)>0$ or $f(x)\geq 0$ on $[a,b]$ or $[0,\infty)$, respectively. To do this we introduce the theoretical framework in which this question can be answered: T-systems. We study these T-systems to arrive at Karlin's Positiv- and Nichtnegativstellensatz but we also do not hide the limitations of the T-systems approach. The main limitation is the Curtis$-$Mairhuber$-$Sieklucki Theorem which essentially states that every T-system is only one-dimensional and hence we can only apply these results to the univariate polynomial case. This can also be understood as a lesson or even a warning that this approach has been investigated and found to fail, i.e., learning about these results and limitations shall save students and researchers from following old footpaths which lead to a dead end. We took great care finding the correct historical references where the results appeared first but are perfectly aware that like people before we not always succeed.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
The Early History of Moment Problems and Non-Negative Polynomials with Gaps: Sparse Moment Problems, Sparse Positivstellensätze, and Sparse Nichtnegativstellensätze from a T-System Point of View
Authors:
Philipp J. di Dio
Abstract:
We deal with and investigate sparse univariate Positivstellensätze, Nichtnegativstellensätze, and solutions to sparse moment problems. The paper relies heavily on results on T-system by Karlin in 1963 and by Karlin and Studden in 1966. We gain complete descriptions of all sparse strictly positive and sparse non-negative algebraic polynomials on $[a,b]$ with $a\geq 0$ and $[0,\infty)$. We extend, s…
▽ More
We deal with and investigate sparse univariate Positivstellensätze, Nichtnegativstellensätze, and solutions to sparse moment problems. The paper relies heavily on results on T-system by Karlin in 1963 and by Karlin and Studden in 1966. We gain complete descriptions of all sparse strictly positive and sparse non-negative algebraic polynomials on $[a,b]$ with $a\geq 0$ and $[0,\infty)$. We extend, simplify, and solve the sparse Hausdorff and Stieltjes moment problem with these results and the methods of adapted spaces and T-systems.
△ Less
Submitted 18 September, 2023; v1 submitted 7 September, 2023;
originally announced September 2023.
-
On Positivity Preservers with constant Coefficients and their Generators
Authors:
Philipp J. di Dio
Abstract:
In this work we study positivity preservers $T:\mathbb{R}[x_1,\dots,x_n]\to\mathbb{R}[x_1,\dots,x_n]$ with constant coefficients and define their generators $A$ if they exist, i.e., $\exp(A) = T$. We use the theory of regular Fréchet Lie groups to show the first main result. A positivity preserver with constant coefficients has a generator if and only if it is represented by an infinitely divisibl…
▽ More
In this work we study positivity preservers $T:\mathbb{R}[x_1,\dots,x_n]\to\mathbb{R}[x_1,\dots,x_n]$ with constant coefficients and define their generators $A$ if they exist, i.e., $\exp(A) = T$. We use the theory of regular Fréchet Lie groups to show the first main result. A positivity preserver with constant coefficients has a generator if and only if it is represented by an infinitely divisible measure (Main Theorem 4.7). In the second main result (Main Theorem 4.11) we use the Lévy--Khinchin formula to fully characterize the generators of positivity preservers with constant coefficients.
△ Less
Submitted 2 May, 2024; v1 submitted 21 August, 2023;
originally announced August 2023.
-
Time-dependent moments from partial differential equations and the time-dependent set of atoms
Authors:
Raúl E. Curto,
Philipp J. di Dio,
Milan Korda,
Victor Magron
Abstract:
We study the time-dependent moments and associated polynomials arising from the partial differential equation $\partial_t f = νΔf + g\cdot\nabla f + h\cdot f$, and consider in detail the dual equation. For the heat equation we find that several non-negative polynomials which are not sums of squares become sums of squares under the heat equation in finite time. We show that every non-negative polyn…
▽ More
We study the time-dependent moments and associated polynomials arising from the partial differential equation $\partial_t f = νΔf + g\cdot\nabla f + h\cdot f$, and consider in detail the dual equation. For the heat equation we find that several non-negative polynomials which are not sums of squares become sums of squares under the heat equation in finite time. We show that every non-negative polynomial in $\mathbb{R}[x,y,z]_{\leq 4}$ becomes a sum of squares in finite time under the heat equation. We solve the problem of moving atoms under the equation $\partial_t f = g\cdot\nabla f + h\cdot f$ with $f_0 = μ_0$ being a finitely atomic measure. The time evolution $μ_t = \sum_{i=1}^k c_i(t)\cdot δ_{x_i(t)}$ of the atom positions $x_i(t)$ are described by the transport term $g\cdot\nabla$ and the time-dependent coefficients $c_i(t)$ have an explicit solution depending on $x_i(t)$, $h$, and $\mathrm{div}\, g$.
△ Less
Submitted 13 March, 2023; v1 submitted 8 November, 2022;
originally announced November 2022.
-
The structure of homogeneous Riemannian manifolds with nullity
Authors:
Antonio J. Di Scala,
Carlos E. Olmos,
Francisco Vittone
Abstract:
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…
▽ More
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.
△ Less
Submitted 4 July, 2022;
originally announced July 2022.
-
A note on the determinant 308 in Proskuryakov's linear algebra book
Authors:
Antonio J. Di Scala,
Martin Sombra
Abstract:
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 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.
△ Less
Submitted 24 January, 2022;
originally announced January 2022.
-
RLWE and PLWE over cyclotomic fields are not equivalent
Authors:
Antonio J. Di Scala,
Carlo Sanna,
Edoardo Signorini
Abstract:
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 condit…
▽ More
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.
△ Less
Submitted 12 January, 2022;
originally announced January 2022.
-
On computable learning of continuous features
Authors:
Nathanael Ackerman,
Julian Asilis,
Jieqi Di,
Cameron Freer,
Jean-Baptiste Tristan
Abstract:
We introduce definitions of computable PAC learning for binary classification over computable metric spaces. We provide sufficient conditions for learners that are empirical risk minimizers (ERM) to be computable, and bound the strong Weihrauch degree of an ERM learner under more general conditions. We also give a presentation of a hypothesis class that does not admit any proper computable PAC lea…
▽ More
We introduce definitions of computable PAC learning for binary classification over computable metric spaces. We provide sufficient conditions for learners that are empirical risk minimizers (ERM) to be computable, and bound the strong Weihrauch degree of an ERM learner under more general conditions. We also give a presentation of a hypothesis class that does not admit any proper computable PAC learner with computable sample function, despite the underlying class being PAC learnable.
△ Less
Submitted 23 November, 2021;
originally announced November 2021.
-
Distance in Latin Squares
Authors:
Omar Aceval,
Paige Beidelman,
Jieqi Di,
James Hammer,
Mitchel O'Connor,
Caitlin Owens,
Yewen Sun
Abstract:
A Latin square of order $n$ is an $n\times n$ array which contains $n$ distinct symbols exactly once in each row and column. We define the adjacent distance between two adjacent cells (containing integers) to be their difference modulo $n$, and inner distance of a Latin square to be the minimum of adjacent distances in the Latin square. By first establishing upper bounds and then constructing squa…
▽ More
A Latin square of order $n$ is an $n\times n$ array which contains $n$ distinct symbols exactly once in each row and column. We define the adjacent distance between two adjacent cells (containing integers) to be their difference modulo $n$, and inner distance of a Latin square to be the minimum of adjacent distances in the Latin square. By first establishing upper bounds and then constructing squares with said inner distance, we found the maximum inner distance of an $n \times n$ Latin square to be $\left\lfloor\frac{n-1}{2}\right\rfloor$. We then studied special kinds of Latin squares such as pandiagonals (also known as Knut-Vik designs), as well as Sudoku Latin squares. This research was conducted at the REU at Moravian College on Research Challenges of Computational and Experimental Mathematics, with support from the National Science Foundation.
△ Less
Submitted 15 July, 2021; v1 submitted 13 July, 2021;
originally announced July 2021.
-
On proportional network connectivity
Authors:
Ashley Armbruster,
Jieqi Di,
Nicholas Hanson,
Nathan Shank
Abstract:
The reliability of a network is an important parameter to consider when building a network. Different characteristics of the network can become unreliable over time or from other outside forces. In a simple setting, we model a network as a graph where the vertices represent our objects and a connection between these objects are represented by an edge. Generally there are two things to consider whe…
▽ More
The reliability of a network is an important parameter to consider when building a network. Different characteristics of the network can become unreliable over time or from other outside forces. In a simple setting, we model a network as a graph where the vertices represent our objects and a connection between these objects are represented by an edge. Generally there are two things to consider when discussing the reliability of a network. The first is the conditions that need to be satisfied in order for the network to be operational. We can also consider what properties need to be satisfied in order to render our network inoperable. The second thing we need to consider is what properties of our network tend to fail. In certain applications edges are prone to failure and in others vertices are prone to failure. One of the first examples of a network reliability measure is the connectivity of a graph, which measures the minimum number of vertices (or edges) which can be removed in order to disconnect the graph. In this paper we extend this idea, however, instead of considering a network to be operational if there is a component of order larger than a fixed size, k, we define the network to be operational if there is a component of order at least some proportion of the original order. So as our networks become larger, we will need a component of proportionally larger order to remain if the network is to be in an operating state. This connectivity measure has been studied for $r=1/2$ and for the purposes of VLSI circuit design, but we explore the measure for all $0< r <1$.
△ Less
Submitted 23 July, 2021; v1 submitted 30 June, 2021;
originally announced June 2021.
-
Weakly linked embeddings of pairs of complete graphs in $\mathbb{R}^3$
Authors:
James Di,
Erica Flapan,
Spencer Johnson,
Daniel Thompson,
Christopher Tuffley
Abstract:
Let $G$ and $H$ be disjoint embeddings of complete graphs $K_m$ and $K_n$ in $\mathbb{R}^3$ such that some cycle in $G$ links a cycle in $H$ with non-zero linking number. We say that $G$ and $H$ are *weakly linked* if the absolute value of the linking number of any cycle in $G$ with a cycle in $H$ is $0$ or $1$. Our main result is an algebraic characterisation of when a pair of disjointly embedded…
▽ More
Let $G$ and $H$ be disjoint embeddings of complete graphs $K_m$ and $K_n$ in $\mathbb{R}^3$ such that some cycle in $G$ links a cycle in $H$ with non-zero linking number. We say that $G$ and $H$ are *weakly linked* if the absolute value of the linking number of any cycle in $G$ with a cycle in $H$ is $0$ or $1$. Our main result is an algebraic characterisation of when a pair of disjointly embedded complete graphs is weakly linked.
As a step towards this result, we show that if $G$ and $H$ are weakly linked, then each contains either a vertex common to all triangles linking the other or a triangle which shares an edge with all triangles linking the other. All families of weakly linked pairs of complete graphs are then characterised by which of these two cases holds in each complete graph.
△ Less
Submitted 20 December, 2020;
originally announced December 2020.
-
On the periodic Navier--Stokes equation: An elementary approach to existence and smoothness for all dimensions $n\geq 2$
Authors:
Philipp J. di Dio
Abstract:
In this paper we study the periodic Navier--Stokes equation. From the periodic Navier--Stokes equation and the linear equation $\partial_t u = νΔu + \mathbb{P} [v\nabla u]$ we derive the corresponding equations for the time dependent Fourier coefficients $a_k(t)$. We prove the existence of a unique smooth solution $u$ of the linear equation by a Montel space version of Arzelà--Ascoli. We gain boun…
▽ More
In this paper we study the periodic Navier--Stokes equation. From the periodic Navier--Stokes equation and the linear equation $\partial_t u = νΔu + \mathbb{P} [v\nabla u]$ we derive the corresponding equations for the time dependent Fourier coefficients $a_k(t)$. We prove the existence of a unique smooth solution $u$ of the linear equation by a Montel space version of Arzelà--Ascoli. We gain bounds on the $a_k$'s of $u$ depending on $v$. With $v = -u$ these bounds show that a unique smooth solution $u$ of the $n$-dimensional periodic Navier--Stokes equation exists for all $t\in [0,T^*)$ with $T^* \geq 2ν\cdot \|u_0\|_{\mathsf{A},0}^{-2}$. $\|u_0\|_{\mathsf{A},0}$ is the sum of the $l^2$-norms of the Fourier coefficients without $e^{i\cdot 0\cdot x}$ of the initial data $u_0\in C^\infty(\mathbb{T}^n,\mathbb{R}^n)$ with $\mathrm{div}\, u_0=0$. For $\|u_0\|_{\mathsf{A},0} \leq ν$ (small initial data) we get $T^* = \infty$. All results hold for all dimensions $n\geq 2$ and are independent on $n$.
△ Less
Submitted 18 July, 2021; v1 submitted 12 October, 2020;
originally announced October 2020.
-
Transformations of Moment Functionals
Authors:
Philipp J. di Dio
Abstract:
In measure theory several results are known how measure spaces are transformed into each other. But since moment functionals are represented by a measure we investigate in this study the effects and implications of these measure transformations to moment funcationals. We gain characterizations of moments functionals. Among other things we show that for a compact and path connected set…
▽ More
In measure theory several results are known how measure spaces are transformed into each other. But since moment functionals are represented by a measure we investigate in this study the effects and implications of these measure transformations to moment funcationals. We gain characterizations of moments functionals. Among other things we show that for a compact and path connected set $K\subset\mathbb{R}^n$ there exists a measurable function $g:K\to [0,1]$ such that any linear functional $L:\mathbb{R}[x_1,\dots,x_n]\to\mathbb{R}$ is a $K$-moment functional if and only if it has a continuous extension to some $\overline{L}:\mathbb{R}[x_1,\dots,x_n]+\mathbb{R}[g]\to\mathbb{R}$ such that $\tilde{L}:\mathbb{R}[t]\to\mathbb{R}$ defined by $\tilde{L}(t^d) := \overline{L}(g^d)$ for all $d\in\mathbb{N}_0$ is a $[0,1]$-moment functional (Hausdorff moment problem). Additionally, there exists a continuous function $f:[0,1]\to K$ independent on $L$ such that the representing measure $\tildeμ$ of $\tilde{L}$ provides the representing measure $\tildeμ\circ f^{-1}$ of $L$. We also show that every moment functional $L:\mathcal{V}\to\mathbb{R}$ is represented by $λ\circ f^{-1}$ for some measurable function $f:[0,1]\to\mathbb{R}^n$ where $λ$ is the Lebesgue on $[0,1]$.
△ Less
Submitted 27 July, 2020;
originally announced July 2020.
-
A note on cyclotomic polynomials and Linear Feedback Shift Registers
Authors:
Laura Capuano,
Antonio J. Di Scala
Abstract:
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…
▽ More
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}$.
△ Less
Submitted 29 June, 2020;
originally announced June 2020.
-
On the condition number of the Vandermonde matrix of the nth cyclotomic polynomial
Authors:
Antonio J. Di Scala,
Carlo Sanna,
Edoardo Signorini
Abstract:
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 par…
▽ More
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.
△ Less
Submitted 19 February, 2020;
originally announced February 2020.
-
An augmented filled function for global nonlinear integer optimization
Authors:
Juan Di Mauro,
Hugo D. Scolnik
Abstract:
The problem of finding global minima of nonlinear discrete functions arises in many fields of practical matters. In recent years, methods based on discrete filled functions become popular as ways of solving these sort of problems. However, they rely on the steepest descent method for local searches. Here we present an approach that does not depend on a particular local optimization method, and a n…
▽ More
The problem of finding global minima of nonlinear discrete functions arises in many fields of practical matters. In recent years, methods based on discrete filled functions become popular as ways of solving these sort of problems. However, they rely on the steepest descent method for local searches. Here we present an approach that does not depend on a particular local optimization method, and a new discrete filled function with the useful property that a good continuous global optimization algorithm applied to it leads to an approximation of the solution of the nonlinear discrete problem. Numerical results are given showing the efficiency of the new approach.
△ Less
Submitted 25 March, 2020; v1 submitted 31 January, 2020;
originally announced January 2020.
-
Canonical form of modular hyperbolas with an application to integer factorization
Authors:
Juan Di Mauro
Abstract:
For a composite $n$ and an odd $c$ with $c$ not dividing $n$, the number of solutions to the equation $n+a\equiv b\mod c$ with $a,b$ quadratic residues modulus $c$ is calculated. We establish a direct relation with those modular solutions and the distances between points of a modular hyperbola. Furthermore, for certain composite moduli $c$, an asymptotic formula for quotients between the number of…
▽ More
For a composite $n$ and an odd $c$ with $c$ not dividing $n$, the number of solutions to the equation $n+a\equiv b\mod c$ with $a,b$ quadratic residues modulus $c$ is calculated. We establish a direct relation with those modular solutions and the distances between points of a modular hyperbola. Furthermore, for certain composite moduli $c$, an asymptotic formula for quotients between the number of solutions and $c$ is provided. Finally, an algorithm for integer factorization using such solutions is presented.
△ Less
Submitted 15 April, 2020; v1 submitted 23 January, 2020;
originally announced January 2020.
-
Point-groups over singular cubics
Authors:
Emanuele Bellini,
Nadir Murru,
Antonio J. Di Scala,
Michele Elia
Abstract:
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 s…
▽ More
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.
△ Less
Submitted 8 January, 2020;
originally announced January 2020.
-
Lucas pseudoprimes and the Pell conic
Authors:
Antonio J. Di Scala,
Nadir Murru,
Carlo Sanna
Abstract:
We show a connection between the Lucas pseudoprimes and the Pell conic equipped with the Brahmagupta product introducing the Pell pseudoprimes.
We show a connection between the Lucas pseudoprimes and the Pell conic equipped with the Brahmagupta product introducing the Pell pseudoprimes.
△ Less
Submitted 2 January, 2020;
originally announced January 2020.
-
Schwartz Function Valued Solutions of the Euler and the Navier-Stokes Equations
Authors:
Philipp J. di Dio
Abstract:
We prove the existence of a solution for the second order system of partial differential equations $\partial_t f = ν\cdotΔf + g\cdot\nabla f + h\cdot f + k$ by a Montel space version of Arzelà--Ascoli and bound all Schwartz semi-norms. We find that for the Euler and the Navier--Stokes equations the vorticity remains a Schwartz function as long as the classical solution exists. Our approach is not…
▽ More
We prove the existence of a solution for the second order system of partial differential equations $\partial_t f = ν\cdotΔf + g\cdot\nabla f + h\cdot f + k$ by a Montel space version of Arzelà--Ascoli and bound all Schwartz semi-norms. We find that for the Euler and the Navier--Stokes equations the vorticity remains a Schwartz function as long as the classical solution exists. Our approach is not affected by viscosity. It treats the hyperbolic Euler and the parabolic Navier--Stokes equation simultaneously.
△ Less
Submitted 5 December, 2022; v1 submitted 25 December, 2019;
originally announced December 2019.
-
Cones and Cartan geometry
Authors:
Antonio J. Di Scala,
Carlos E. Olmos,
Francisco Vittone
Abstract:
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 assoc…
▽ More
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.
△ Less
Submitted 15 December, 2020; v1 submitted 20 November, 2019;
originally announced November 2019.
-
The multidimensional truncated Moment Problem: Shape and Gaussian Mixture Reconstruction from Derivatives of Moments
Authors:
Philipp J. di Dio
Abstract:
In this paper we introduce the theory of derivatives of moments and (moment) functionals to represent moment functionals by Gaussian mixtures, characteristic functions of polytopes, and simple functions of polytopes. We study, among other measures, Gaussian mixtures, their reconstruction from moments and especially the number of Gaussians needed to represent moment functionals. We find that there…
▽ More
In this paper we introduce the theory of derivatives of moments and (moment) functionals to represent moment functionals by Gaussian mixtures, characteristic functions of polytopes, and simple functions of polytopes. We study, among other measures, Gaussian mixtures, their reconstruction from moments and especially the number of Gaussians needed to represent moment functionals. We find that there are moment functionals $L:\mathbb{R}[x_1,\dots,x_n]_{\leq 2d}\to\mathbb{R}$ which can be represented by a sum of $\binom{n+2d}{n} - n\cdot \binom{n+d}{n} + \binom{n}{2}$ Gaussians but not less. Hence, for any $d\in\mathbb{N}$ and $\varepsilon>0$ we find an $n\in\mathbb{N}$ such that $L$ can be represented by a sum of $(1-\varepsilon)\cdot\binom{n+2d}{n}$ Gaussians but not less. An upper bound is $\binom{n+2d}{n}-1$.
△ Less
Submitted 16 July, 2019; v1 submitted 28 June, 2019;
originally announced July 2019.
-
The multidimensional truncated Moment Problem: Carathéodory Numbers from Hilbert Functions
Authors:
Philipp J. di Dio,
Mario Kummer
Abstract:
In this paper we improve the bounds for the Carathéodory number, especially on algebraic varieties and with small gaps (not all monomials are present). We provide explicit lower and upper bounds on algebraic varieties, $\mathbb{R}^n$, and $[0,1]^n$. We also treat moment problems with small gaps. We find that for every $\varepsilon>0$ and $d\in\mathbb{N}$ there is a $n\in\mathbb{N}$ such that we ca…
▽ More
In this paper we improve the bounds for the Carathéodory number, especially on algebraic varieties and with small gaps (not all monomials are present). We provide explicit lower and upper bounds on algebraic varieties, $\mathbb{R}^n$, and $[0,1]^n$. We also treat moment problems with small gaps. We find that for every $\varepsilon>0$ and $d\in\mathbb{N}$ there is a $n\in\mathbb{N}$ such that we can construct a moment functional $L:\mathbb{R}[x_1,\dots,x_n]_{\leq d}\rightarrow\mathbb{R}$ which needs at least $(1-\varepsilon)\cdot\left(\begin{smallmatrix} n+d\\ n\end{smallmatrix}\right)$ atoms $l_{x_i}$. Consequences and results for the Hankel matrix and flat extension are gained. We find that there are moment functionals $L:\mathbb{R}[x_1,\dots,x_n]_{\leq 2d}\rightarrow\mathbb{R}$ which need to be extended to the worst case degree $4d$, $\tilde{L}:\mathbb{R}[x_1,\dots,x_n]_{\leq 4d}\rightarrow\mathbb{R}$, in order to have a flat extension.
△ Less
Submitted 8 January, 2021; v1 submitted 1 March, 2019;
originally announced March 2019.
-
The multidimensional truncated Moment Problem: The Moment Cone
Authors:
Philipp J. di Dio,
Konrad Schmüdgen
Abstract:
Let $\mathsf{A}=\{a_1,\dots,a_m\}$, $m\in\mathbb{N}$, be measurable functions on a measurable space $(\mathcal{X},\mathfrak{A})$. If $μ$ is a positive measure on $(\mathcal{X},\mathfrak{A})$ such that $\int a_i dμ<\infty$ for all $i$, then the sequence $(\int a_1 dμ,\dots,\int a_m dμ)$ is called a moment sequence. By Richter's Theorem each moment sequence has a $k$-atomic representing measure with…
▽ More
Let $\mathsf{A}=\{a_1,\dots,a_m\}$, $m\in\mathbb{N}$, be measurable functions on a measurable space $(\mathcal{X},\mathfrak{A})$. If $μ$ is a positive measure on $(\mathcal{X},\mathfrak{A})$ such that $\int a_i dμ<\infty$ for all $i$, then the sequence $(\int a_1 dμ,\dots,\int a_m dμ)$ is called a moment sequence. By Richter's Theorem each moment sequence has a $k$-atomic representing measure with $k\leq m$. The set $\mathcal{S}_\mathsf{A}$ of all moment sequences is the moment cone.
The aim of this paper is to analyze the various structures of the moment cone. The main results concern the facial structure (exposed faces, facial dimensions) and lower and upper bounds of the Carathéodory number (that is, the smallest number of atoms which suffices for all moment sequences) of the convex cone $\mathcal{S}_{\mathcal{A}}$. In the case when $\mathcal{X}\subseteq \mathbb{R}^n$ and $a_i\in C^1(\mathcal{X},\mathbb{R})$, the differential structure of the moment map and regularity/singularity properties of moment sequences are analyzed. The maximal mass problem is considered and some applications to other problems are sketched.
△ Less
Submitted 3 September, 2018;
originally announced September 2018.
-
The multidimensional truncated Moment Problem: Gaussian and Log-Normal Mixtures, their Carathéodory Numbers, and Set of Atoms
Authors:
Philipp J. di Dio
Abstract:
We study truncated moment sequences of distribution mixtures, especially from Gaussian and log-normal distributions and their Carathéodory numbers. For $\mathsf{A} = \{a_1,\dots,a_m\}$ continuous (sufficiently differentiable) functions on $\mathbb{R}^n$ we give a general upper bound of $m-1$ and a general lower bound of $\left\lceil \frac{2m}{(n+1)(n+2)}\right\rceil$. For polynomials of degree at…
▽ More
We study truncated moment sequences of distribution mixtures, especially from Gaussian and log-normal distributions and their Carathéodory numbers. For $\mathsf{A} = \{a_1,\dots,a_m\}$ continuous (sufficiently differentiable) functions on $\mathbb{R}^n$ we give a general upper bound of $m-1$ and a general lower bound of $\left\lceil \frac{2m}{(n+1)(n+2)}\right\rceil$. For polynomials of degree at most $d$ in $n$ variables we find that the number of Gaussian and log-normal mixtures is bounded by the Carathéodory numbers in \cite{didio17Cara}. Therefore, for univariate polynomials $\{1,x,\dots,x^d\}$ at most $\left\lceil\frac{d+1}{2}\right\rceil$ distributions are needed. For bivariate polynomials of degree at most $2d-1$ we find that $\frac{3d(d-1)}{2}+1$ Gaussian distributions are sufficient. We also treat polynomial systems with gaps and find, e.g., that for $\{1,x^2,x^3,x^5,x^6\}$ 3 Gaussian distributions are enough for almost all truncated moment sequences. For log-normal distributions the number is bounded by half of the moment number. We give an example of continuous functions where more Gaussian distributions are needed than Dirac delta measures. We show that any inner truncated moment sequence has a mixture which contains any given distribution.
△ Less
Submitted 19 July, 2018; v1 submitted 19 April, 2018;
originally announced April 2018.
-
Homogeneous Riemannian manifolds with non-trivial nullity
Authors:
Antonio J. Di Scala,
Carlos E. Olmos,
Francisco Vittone
Abstract:
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 im…
▽ More
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.
△ Less
Submitted 29 April, 2020; v1 submitted 7 February, 2018;
originally announced February 2018.
-
Radial parallel sections of vector bundles
Authors:
Antonio J. Di Scala
Abstract:
We give a proof of the existence of radial (smooth) parallel sections of vector bundles endowed with a linear connection.
We give a proof of the existence of radial (smooth) parallel sections of vector bundles endowed with a linear connection.
△ Less
Submitted 22 January, 2018;
originally announced January 2018.
-
The multidimensional truncated Moment Problem: Atoms, Determinacy, and Core Variety
Authors:
Philipp J. di Dio,
Konrad Schmüdgen
Abstract:
This paper is about the moment problem on a finite-dimensional vector space of continuous functions. We investigate the structure of the convex cone of moment functionals (supporting hyperplanes, exposed faces, inner points) and treat various important special topics on moment functionals (determinacy, set of atoms of representing measures, core variety).
This paper is about the moment problem on a finite-dimensional vector space of continuous functions. We investigate the structure of the convex cone of moment functionals (supporting hyperplanes, exposed faces, inner points) and treat various important special topics on moment functionals (determinacy, set of atoms of representing measures, core variety).
△ Less
Submitted 28 March, 2017; v1 submitted 4 March, 2017;
originally announced March 2017.
-
The multidimensional truncated Moment Problem: Carathéodory Numbers
Authors:
Philipp J. di Dio,
Konrad Schmüdgen
Abstract:
Let $\mathcal{A}$ be a finite-dimensional subspace of $C(\mathcal{X};\mathbb{R})$, where $\mathcal{X}$ is a locally compact Hausdorff space, and $\mathsf{A}=\{f_1,\dots,f_m\}$ a basis of $\mathcal{A}$. A sequence $s=(s_j)_{j=1}^m$ is called a moment sequence if $s_j=\int f_j(x) \, dμ(x)$, $j=1,\dots,m$, for some positive Radon measure $μ$ on $\mathcal{X}$. Each moment sequence $s$ has a finitely a…
▽ More
Let $\mathcal{A}$ be a finite-dimensional subspace of $C(\mathcal{X};\mathbb{R})$, where $\mathcal{X}$ is a locally compact Hausdorff space, and $\mathsf{A}=\{f_1,\dots,f_m\}$ a basis of $\mathcal{A}$. A sequence $s=(s_j)_{j=1}^m$ is called a moment sequence if $s_j=\int f_j(x) \, dμ(x)$, $j=1,\dots,m$, for some positive Radon measure $μ$ on $\mathcal{X}$. Each moment sequence $s$ has a finitely atomic representing measure $μ$. The smallest possible number of atoms is called the Carathéodory number $\mathcal{C}_{\mathsf{A}}(s)$. The largest number $\mathcal{C}_{\mathsf{A}}(s)$ among all moment sequences $s$ is the Carathéodory number $\mathcal{C}_{\mathsf{A}}$. In this paper the Carathéodory numbers $\mathcal{C}_{\mathsf{A}}(s)$ and $\mathcal{C}_{\mathsf{A}}$ are studied. In the case of differentiable functions methods from differential geometry are used. The main emphasis is on real polynomials. For a large class of spaces of polynomials in one variable the number $\mathcal{C}_{\mathsf{A}}$ is determined. In the multivariate case we obtain some lower bounds and we use results on zeros of positive polynomials to derive upper bounds for the Carathéodory numbers.
△ Less
Submitted 21 April, 2017; v1 submitted 4 March, 2017;
originally announced March 2017.
-
Spherical 2-Dupin submanifolds
Authors:
Antonio J. Di Scala,
Guilherme Machado de Freitas
Abstract:
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.
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.
△ Less
Submitted 27 July, 2016;
originally announced July 2016.
-
Kahler submanifolds and the Umehara algebra
Authors:
Xiaoliang Cheng,
Antonio J. Di Scala,
Yuan Yuan
Abstract:
We show that an indefinite Euclidean complex space is not a relative of an indefinite non-flat complex space form. We further study whether two compact Fubini-Study spaces are relatives or not.
We show that an indefinite Euclidean complex space is not a relative of an indefinite non-flat complex space form. We further study whether two compact Fubini-Study spaces are relatives or not.
△ Less
Submitted 4 February, 2016; v1 submitted 22 January, 2016;
originally announced January 2016.
-
Non-Kähler complex structures on $R^4$ II
Authors:
Antonio J. Di Scala,
Naohiko Kasuya,
Daniele Zuddas
Abstract:
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. Fi…
▽ More
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.
△ Less
Submitted 5 October, 2016; v1 submitted 26 November, 2015;
originally announced November 2015.
-
Higher dimensional Lemniscates: the geometry of $r$ particles in $n$-space with logarithmic potentials
Authors:
Ingrid Bauer,
Fabrizio Catanese,
Antonio Jose Di Scala
Abstract:
We prove some basic theorems concerning lemniscate configurations in an Euclidean space of dimension $ n \geq 3$. Lemniscates are defined as follows. Given m points $w_j $ in $\mathbb R^n$, consider the function $F(x)$ which is the product of the distances $ |x-w_j|$: the singular level sets of the function $F$ are called lemniscates. We show via complex analysis that the critical points of $F$ ha…
▽ More
We prove some basic theorems concerning lemniscate configurations in an Euclidean space of dimension $ n \geq 3$. Lemniscates are defined as follows. Given m points $w_j $ in $\mathbb R^n$, consider the function $F(x)$ which is the product of the distances $ |x-w_j|$: the singular level sets of the function $F$ are called lemniscates. We show via complex analysis that the critical points of $F$ have Hessian of positivity at least $(n-1)$. This implies that, if $F$ is a Morse function, then $F$ has only local minima and saddle points with negativity 1. The critical points lie in the convex span of the points $|w_j| $ (these are absolute minima): but we made also the discovery that $F$ can also have other local minima, and indeed arbitrarily many. We discuss several explicit examples. We finally prove in the appendix that all critical points are isolated.
△ Less
Submitted 18 May, 2017; v1 submitted 5 June, 2015;
originally announced June 2015.
-
Minimal helix submanifolds and Minimal Riemannian foliations
Authors:
Antonio J. Di Scala,
Gabriel Ruiz-Hernandez
Abstract:
We investigate minimal helix submanifolds of any dimension and codimension immersed in Euclidean space. Our main result proves that a ruled minimal helix submanifold is a cylinder. As an application we classify complex helix submanifolds of $\mathbb{C}^n$: They are extrinsic products with a complex line as a factor. The key tool is Corollary 1.3 which allows us to classify Riemannian foliations of…
▽ More
We investigate minimal helix submanifolds of any dimension and codimension immersed in Euclidean space. Our main result proves that a ruled minimal helix submanifold is a cylinder. As an application we classify complex helix submanifolds of $\mathbb{C}^n$: They are extrinsic products with a complex line as a factor. The key tool is Corollary 1.3 which allows us to classify Riemannian foliations of open subsets of the Euclidean space with minimal leaves. Finally, we consider the case of a helix hypersurface with constant mean curvature and prove that it is either a cylinder or an open part of a hyperplane.
△ Less
Submitted 14 April, 2015;
originally announced April 2015.
-
Mok's characteristic varieties and the normal holonomy group
Authors:
Antonio J. Di Scala,
Francisco Vittone
Abstract:
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-represe…
▽ More
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.
△ Less
Submitted 23 May, 2017; v1 submitted 6 March, 2015;
originally announced March 2015.
-
Non-Kähler complex structures on $R^4$
Authors:
Antonio J. Di Scala,
Naohiko Kasuya,
Daniele Zuddas
Abstract:
We construct the first examples of non-Kähler complex structures on $R^4$. These complex surfaces have some analogies with the complex structures constructed in early Fifties by Calabi and Eckmann on the products of two odd-dimensional spheres. However, our construction is quite different from that of Calabi and Eckmann.
We construct the first examples of non-Kähler complex structures on $R^4$. These complex surfaces have some analogies with the complex structures constructed in early Fifties by Calabi and Eckmann on the products of two odd-dimensional spheres. However, our construction is quite different from that of Calabi and Eckmann.
△ Less
Submitted 28 April, 2016; v1 submitted 24 January, 2015;
originally announced January 2015.
-
On embeddings of almost complex manifolds in almost complex Euclidean spaces
Authors:
Antonio J. Di Scala,
Naohiko Kasuya,
Daniele Zuddas
Abstract:
We prove that any compact almost complex manifold $(M, J)$ of real dimension $2m$ admits a pseudo-holomorphic embedding in a Euclidean space of dimension $4m + 2$, endowed with a suitable non-standard almost complex structure. Moreover, we give a necessary and sufficient condition, expressed in terms of the Segre class of $(M, J)$, for the existence of an embedding or an immersion in an almost com…
▽ More
We prove that any compact almost complex manifold $(M, J)$ of real dimension $2m$ admits a pseudo-holomorphic embedding in a Euclidean space of dimension $4m + 2$, endowed with a suitable non-standard almost complex structure. Moreover, we give a necessary and sufficient condition, expressed in terms of the Segre class of $(M, J)$, for the existence of an embedding or an immersion in an almost complex Euclidean $4m$-space. We also discuss the pseudo-holomorphic embeddings of an almost complex 4-manifold in $R^6$.
△ Less
Submitted 24 February, 2016; v1 submitted 6 October, 2014;
originally announced October 2014.
-
On the extendability of parallel sections of linear connections
Authors:
Antonio J. Di Scala,
Gianni Manno
Abstract:
Let $π:E\to M$ be a vector bundle over a simply connected manifold and $\nabla$ a linear connection in $π$. Let $σ: U \rightarrow E$ be a $\nabla$-parallel section of $π$ defined on a connected open subset $U$ of $M$. We give sufficient conditions on $U$ in order to extend $σ$ to the whole $M$. We mainly concentrate to the case when $M$ is a $2$-dimensional simply connected manifold.
Let $π:E\to M$ be a vector bundle over a simply connected manifold and $\nabla$ a linear connection in $π$. Let $σ: U \rightarrow E$ be a $\nabla$-parallel section of $π$ defined on a connected open subset $U$ of $M$. We give sufficient conditions on $U$ in order to extend $σ$ to the whole $M$. We mainly concentrate to the case when $M$ is a $2$-dimensional simply connected manifold.
△ Less
Submitted 29 May, 2014;
originally announced May 2014.
-
Semiclassical stationary states for nonlinear Schrödinger equations under a strong external magnetic field
Authors:
Jonathan Di Cosmo,
Jean Van Schaftingen
Abstract:
We construct solutions to the nonlinear magnetic Schrödinger equation $$
\left\{ \begin{aligned}
- \varepsilon^2 Δ_{A/\varepsilon^2} u + V u &= \lvert u\rvert^{p-2} u & &\text{in}\ Ω,\\ u &= 0 & &\text{on}\ \partialΩ,
\end{aligned}
\right. $$ in the semiclassical régime with strong magnetic fields. In contrast with the well-studied mild magnetic field régime, the limiting energy depends on…
▽ More
We construct solutions to the nonlinear magnetic Schrödinger equation $$
\left\{ \begin{aligned}
- \varepsilon^2 Δ_{A/\varepsilon^2} u + V u &= \lvert u\rvert^{p-2} u & &\text{in}\ Ω,\\ u &= 0 & &\text{on}\ \partialΩ,
\end{aligned}
\right. $$ in the semiclassical régime with strong magnetic fields. In contrast with the well-studied mild magnetic field régime, the limiting energy depends on the magnetic field allowing to recover the Lorentz force in the semi-classical limit. Our solutions concentrate around global or local minima of a limiting energy that depends on the electric potential and the magnetic field. The results cover unbounded domains, fast-decaying electric potential and unbounded electromagnetic fields. The construction is variational and is based on an asymptotic analysis of solutions to a penalized problem in the spirit of M. del Pino and P. Felmer.
△ Less
Submitted 13 February, 2015; v1 submitted 19 December, 2013;
originally announced December 2013.
-
Normal holonomy of CR submanifolds
Authors:
Antonio J. Di Scala,
Francisco Vittone
Abstract:
We study the normal holonomy group, i.e. the holonomy group of the normal connection, of a CR-submanifold of a complex space form. We complete the local classification of normal holonomies for complex submanifolds. We show that the normal holonomy group of a coisotropic submanifold acts as the holonomy representation of a Riemannian symmetric space. In case of a totally real submanifold we give tw…
▽ More
We study the normal holonomy group, i.e. the holonomy group of the normal connection, of a CR-submanifold of a complex space form. We complete the local classification of normal holonomies for complex submanifolds. We show that the normal holonomy group of a coisotropic submanifold acts as the holonomy representation of a Riemannian symmetric space. In case of a totally real submanifold we give two results about reduction of codimension. We describe explicitly the action of the normal holonomy in the case in which the totally real submanifold is contained in a totally real totally geodesic submanifold. In such a case we prove the compactness of the normal holonomy group.
△ Less
Submitted 4 May, 2015; v1 submitted 22 November, 2013;
originally announced November 2013.
-
Killing vector fields of constant length on compact hypersurfaces
Authors:
Antonio J. Di Scala
Abstract:
We show that if a compact hypersurface $M \subset \mathbb{R}^{n+1}$, $n \geq3$, admits a non zero Killing vector field $X$ of constant length then $n$ is even and $M$ is diffeomorphic to the unit hypersphere of $\mathbb{R}^{n+1}$. Actually, we show that $M$ is a complex ellipsoid in $\mathbb{C}^{N} = \mathbb{R}^{n+1}$. As an application we give a simpler proof of a recent theorem due to S. Deshmuk…
▽ More
We show that if a compact hypersurface $M \subset \mathbb{R}^{n+1}$, $n \geq3$, admits a non zero Killing vector field $X$ of constant length then $n$ is even and $M$ is diffeomorphic to the unit hypersphere of $\mathbb{R}^{n+1}$. Actually, we show that $M$ is a complex ellipsoid in $\mathbb{C}^{N} = \mathbb{R}^{n+1}$. As an application we give a simpler proof of a recent theorem due to S. Deshmukh \cite{De12}.
△ Less
Submitted 9 September, 2013; v1 submitted 19 July, 2013;
originally announced July 2013.
-
A characterization of varieties whose universal cover is a bounded symmetric domain without ball factors
Authors:
Fabrizio Catanese,
Antonio José Di Scala
Abstract:
We give two characterizations of varieties whose universal cover is a bounded symmetric domain without ball factors in terms of the existence of a holomorphic endomorphism \s of the tensor product T\otimes T' of the tangent bundle T with the cotangent bundle T'. To such a curvature type tensor \s one associates the first Mok characteristic cone S, obtained by projecting on T the intersection of ke…
▽ More
We give two characterizations of varieties whose universal cover is a bounded symmetric domain without ball factors in terms of the existence of a holomorphic endomorphism \s of the tensor product T\otimes T' of the tangent bundle T with the cotangent bundle T'. To such a curvature type tensor \s one associates the first Mok characteristic cone S, obtained by projecting on T the intersection of ker (\s) with the space of rank 1 tensors. The simpler characterization requires that the projective scheme associated to S be a finite union of projective varieties of given dimensions and codimensions in their linear spans which must be skew and generate.
△ Less
Submitted 25 March, 2014; v1 submitted 10 February, 2013;
originally announced February 2013.
-
Codimension reduction in symmetric spaces
Authors:
Antonio J. Di Scala,
Francisco Vittone
Abstract:
In this paper we give a short geometric proof of a generalization of a well-known result about reduction of codimension for submanifolds of Riemannian symmetric spaces.
In this paper we give a short geometric proof of a generalization of a well-known result about reduction of codimension for submanifolds of Riemannian symmetric spaces.
△ Less
Submitted 21 October, 2013; v1 submitted 7 December, 2012;
originally announced December 2012.
-
Isometry actions and geodesics orthogonal to submanifolds
Authors:
Antonio J. Di Scala,
Sérgio Mendonça,
Heudson Mirandola,
Gabriel Ruiz-Hernández
Abstract:
We investigate submanifolds in space forms such that every geodesic orthogonal to the submanifold intersects a fixed totally geodesic submanifold. We obtain an application to horospheres in Hadamard manifolds.
We investigate submanifolds in space forms such that every geodesic orthogonal to the submanifold intersects a fixed totally geodesic submanifold. We obtain an application to horospheres in Hadamard manifolds.
△ Less
Submitted 1 October, 2012;
originally announced October 2012.
-
Conformal holonomy, symmetric spaces, and skew symmetric torsion
Authors:
Jesse Alt,
Antonio J. Di Scala,
Thomas Leistner
Abstract:
We consider the question: can the isotropy representation of an irreducible pseudo-Riemannian symmetric space be realized as a conformal holonomy group? Using recent results of Cap, Gover and Hammerl, we study the representations of SO(2,1), PSU(2,1) and PSp(2,1) as isotropy groups of irreducible symmetric spaces of signature (3,2), (4,4) and (6,8), respectively, describing the geometry induced by…
▽ More
We consider the question: can the isotropy representation of an irreducible pseudo-Riemannian symmetric space be realized as a conformal holonomy group? Using recent results of Cap, Gover and Hammerl, we study the representations of SO(2,1), PSU(2,1) and PSp(2,1) as isotropy groups of irreducible symmetric spaces of signature (3,2), (4,4) and (6,8), respectively, describing the geometry induced by a conformal holonomy reduction to the corresponding subgroups. In the case of SO(2,1) we show that conformal manifolds with such a holonomy reduction are always locally conformally flat and hence this group cannot be a conformal holonomy group. This result completes the classification of irreducible conformal holonomy groups in Lorentzian signature. In the case of PSU(2,1), we show that conformal manifolds of signature (3,3) with this holonomy reduction carry, on an open dense subset, a canonical nearly para-Kaehler metric with positive Einstein constant. For PSp(2,1) we also show that there is an open dense subset endowed with a canonical Einstein metric in the conformal class. As a result, after restricting to an open dense subset the conformal holonomy must be a proper subgroup of PSU(2,1) or of PSp(2,1), respectively. Finally, using a recent result of Graham and Willse we prove the following general non-existence result: for a real-analytic, odd-dimensional conformal manifold, the conformal holonomy group can never be given by the isotropy representation of an irreducible pseudo-Riemannian symmetric space unless the isotropy is SO(p+1,q+1).
△ Less
Submitted 31 July, 2013; v1 submitted 10 August, 2012;
originally announced August 2012.
