-
Laser Beam Sha** Using a Photoinduced Azopolymer Droplet-Based Mask
Authors:
R. Barille,
A. Korbut,
S. Zielinska,
E. Ortyl,
D. G. Perez
Abstract:
The dewetting of an azopolymer droplet, followed by the photostructuration of the evaporated droplet, is employed to create an amplitude mask. This straightforward process yields a large area featuring periodic micro- and nanostructures. The resulting pattern is utilized to generate a nondiffracting beam. Starting with a Gaussian beam illuminating the amplitude mask, the critical aspect is the pro…
▽ More
The dewetting of an azopolymer droplet, followed by the photostructuration of the evaporated droplet, is employed to create an amplitude mask. This straightforward process yields a large area featuring periodic micro- and nanostructures. The resulting pattern is utilized to generate a nondiffracting beam. Starting with a Gaussian beam illuminating the amplitude mask, the critical aspect is the production of a bright, ring-shaped beam with a high radius-to-width ratio and symmetric central laser spots, each with the same intensity. This alternative approach to sha** a laser beam is demonstrated as a rapid and cost-effective fabrication technique.
△ Less
Submitted 7 February, 2024;
originally announced February 2024.
-
Towards Formal Verification of a TPM Software Stack
Authors:
Yani Ziani,
Nikolai Kosmatov,
Frédéric Loulergue,
Daniel Gracia Pérez,
Téo Bernier
Abstract:
The Trusted Platform Module (TPM) is a cryptoprocessor designed to protect integrity and security of modern computers. Communications with the TPM go through the TPM Software Stack (TSS), a popular implementation of which is the open-source library tpm2-tss. Vulnerabilities in its code could allow attackers to recover sensitive information and take control of the system. This paper describes a cas…
▽ More
The Trusted Platform Module (TPM) is a cryptoprocessor designed to protect integrity and security of modern computers. Communications with the TPM go through the TPM Software Stack (TSS), a popular implementation of which is the open-source library tpm2-tss. Vulnerabilities in its code could allow attackers to recover sensitive information and take control of the system. This paper describes a case study on formal verification of tpm2-tss using the Frama-C verification platform. Heavily based on linked lists and complex data structures, the library code appears to be highly challenging for the verification tool. We present several issues and limitations we faced, illustrate them with examples and present solutions that allowed us to verify functional properties and the absence of runtime errors for a representative subset of functions. We describe verification results and desired tool improvements necessary to achieve a full formal verification of the target code.
△ Less
Submitted 27 October, 2023; v1 submitted 31 July, 2023;
originally announced July 2023.
-
Execution at RISC: Stealth JOP Attacks on RISC-V Applications
Authors:
Loïc Buckwell,
Olivier Gilles,
Daniel Gracia Pérez,
Nikolai Kosmatov
Abstract:
RISC-V is a recently developed open instruction set architecture gaining a lot of attention. To achieve a lasting security on these systems and design efficient countermeasures, a better understanding of vulnerabilities to novel and potential future attacks is mandatory. This paper demonstrates that RISC-V is sensible to Jump-Oriented Programming, a class of complex code-reuse attacks. We provide…
▽ More
RISC-V is a recently developed open instruction set architecture gaining a lot of attention. To achieve a lasting security on these systems and design efficient countermeasures, a better understanding of vulnerabilities to novel and potential future attacks is mandatory. This paper demonstrates that RISC-V is sensible to Jump-Oriented Programming, a class of complex code-reuse attacks. We provide an analysis of new dispatcher gadgets we discovered, and show how they can be used together in order to build a stealth attack, bypassing existing protections. A proof-of-concept attack is implemented on an embedded web server compiled for RISC-V, in which we introduced a vulnerability, allowing an attacker to remotely read an arbitrary file from the host machine.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
Control-Flow Integrity at RISC: Attacking RISC-V by Jump-Oriented Programming
Authors:
Olivier Gilles,
Franck Viguier,
Nikolai Kosmatov,
Daniel Gracia Pérez
Abstract:
RISC-V is an open instruction set architecture recently developed for embedded real-time systems. To achieve a lasting security on these systems and design efficient countermeasures, a better understanding of vulnerabilities to novel and potential future attacks is mandatory. This paper demonstrates that RISC-V is sensible to Jump-Oriented Programming, a class of complex code-reuse attacks, able t…
▽ More
RISC-V is an open instruction set architecture recently developed for embedded real-time systems. To achieve a lasting security on these systems and design efficient countermeasures, a better understanding of vulnerabilities to novel and potential future attacks is mandatory. This paper demonstrates that RISC-V is sensible to Jump-Oriented Programming, a class of complex code-reuse attacks, able to bypass existing protections. We provide a first analysis of RISC-V systems' attack surface exploitable by such attacks, and show how they can be chained together in order to build a full-fledged attack. We use a conservative hypothesis on exploited registers and instruction patterns, in an approach we called reserved registers. This approach is implemented on a vulnerable RISC-V application, and successfully applied to expose an AES256 secret.
△ Less
Submitted 26 November, 2022;
originally announced November 2022.
-
Resolving singularities of curves with one toric morphism
Authors:
Ana Belén de Felipe,
Pedro D. González Pérez,
Hussein Mourtada
Abstract:
We give an explicit positive answer, in the case of reduced curve singularities, to a question of B. Teissier about the existence of a toric embedded resolution after reembedding. In the case of a curve singularity $(C,O)$ contained in a non singular surface $S$ such a reembedding may be defined in terms of a sequence of maximal contact curves of the minimal embedded resolution of $C$. We prove th…
▽ More
We give an explicit positive answer, in the case of reduced curve singularities, to a question of B. Teissier about the existence of a toric embedded resolution after reembedding. In the case of a curve singularity $(C,O)$ contained in a non singular surface $S$ such a reembedding may be defined in terms of a sequence of maximal contact curves of the minimal embedded resolution of $C$. We prove that there exists a toric modification, after reembedding, which provides an embedded resolution of $C$. We use properties of the semivaluation space of $S$ at $O$ to describe how the dual graph of the minimal embedded resolution of $C$ may be seen on the local tropicalization of $S$ associated to this reembedding.
△ Less
Submitted 24 October, 2022; v1 submitted 21 October, 2021;
originally announced October 2021.
-
Multiplier ideals of plane curve singularities via Newton polygons
Authors:
Pedro D. González Pérez,
Manuel González Villa,
Carlos R. Guzmán Durán,
Miguel Robredo Buces
Abstract:
We give an effective method to determine the multiplier ideals and jum** numbers associated with a curve singularity $C$ in a smooth surface. We characterize the multiplier ideals in terms of certain Newton polygons, generalizing a theorem of Howald, which holds when $C$ is Newton non-degenerate with respect to some local coordinate system. The method uses toroidal embedded resolutions and gener…
▽ More
We give an effective method to determine the multiplier ideals and jum** numbers associated with a curve singularity $C$ in a smooth surface. We characterize the multiplier ideals in terms of certain Newton polygons, generalizing a theorem of Howald, which holds when $C$ is Newton non-degenerate with respect to some local coordinate system. The method uses toroidal embedded resolutions and generating sequences of families of valuations, and can be extended to some classes of higher dimensional hypersurface singularities.
△ Less
Submitted 7 September, 2023; v1 submitted 27 September, 2021;
originally announced September 2021.
-
The combinatorics of plane curve singularities. How Newton polygons blossom into lotuses
Authors:
Evelia R. García Barroso,
Pedro D. González Pérez,
Patrick Popescu-Pampu
Abstract:
This survey may be seen as an introduction to the use of toric and tropical geometry in the analysis of plane curve singularities, which are germs $(C,o)$ of complex analytic curves contained in a smooth complex analytic surface $S$. The embedded topological type of such a pair $(S, C)$ is usually defined to be that of the oriented link obtained by intersecting $C$ with a sufficiently small orient…
▽ More
This survey may be seen as an introduction to the use of toric and tropical geometry in the analysis of plane curve singularities, which are germs $(C,o)$ of complex analytic curves contained in a smooth complex analytic surface $S$. The embedded topological type of such a pair $(S, C)$ is usually defined to be that of the oriented link obtained by intersecting $C$ with a sufficiently small oriented Euclidean sphere centered at the point $o$, defined once a system of local coordinates $(x,y)$ was chosen on the germ $(S,o)$. If one works more generally over an arbitrary algebraically closed field of characteristic zero, one speaks instead of the combinatorial type of $(S, C)$. One may define it by looking either at the Newton-Puiseux series associated to $C$ relative to a generic local coordinate system $(x,y)$, or at the set of infinitely near points which have to be blown up in order to get the minimal embedded resolution of the germ $(C,o)$ or, thirdly, at the preimage of this germ by the resolution. Each point of view leads to a different encoding of the combinatorial type by a decorated tree: an Eggers-Wall tree, an Enriques diagram, or a weighted dual graph. The three trees contain the same information, which in the complex setting is equivalent to the knowledge of the embedded topological type. There are known algorithms for transforming one tree into another. In this paper we explain how a special type of two-dimensional simplicial complex called a lotus allows to think geometrically about the relations between the three types of trees. Namely, all of them embed in a natural lotus, their numerical decorations appearing as invariants of it. This lotus is constructed from the finite set of Newton polygons created during any process of resolution of $(C,o)$ by successive toric modifications.
△ Less
Submitted 22 June, 2020; v1 submitted 15 September, 2019;
originally announced September 2019.
-
The valuative tree is the projective limit of Eggers-Wall trees
Authors:
Evelia R. García Barroso,
Pedro D. González Pérez,
Patrick Popescu-Pampu
Abstract:
Consider a germ $C$ of reduced curve on a smooth germ $S$ of complex analytic surface. Assume that $C$ contains a smooth branch $L$. Using the Newton-Puiseux series of $C$ relative to any coordinate system $(x,y)$ on $S$ such that $L$ is the $y$-axis, one may define the {\em Eggers-Wall tree} $Θ_L(C)$ of $C$ relative to $L$. Its ends are labeled by the branches of $C$ and it is endowed with three…
▽ More
Consider a germ $C$ of reduced curve on a smooth germ $S$ of complex analytic surface. Assume that $C$ contains a smooth branch $L$. Using the Newton-Puiseux series of $C$ relative to any coordinate system $(x,y)$ on $S$ such that $L$ is the $y$-axis, one may define the {\em Eggers-Wall tree} $Θ_L(C)$ of $C$ relative to $L$. Its ends are labeled by the branches of $C$ and it is endowed with three natural functions measuring the characteristic exponents of the previous Newton-Puiseux series, their denominators and contact orders. The main objective of this paper is to embed canonically $Θ_L(C)$ into Favre and Jonsson's valuative tree $\mathbb{P}(\mathcal{V})$ of real-valued semivaluations of $S$ up to scalar multiplication, and to show that this embedding identifies the three natural functions on $Θ_L(C)$ as pullbacks of other naturally defined functions on $\mathbb{P}(\mathcal{V})$. As a consequence, we prove an inversion theorem generalizing the well-known Abhyankar-Zariski inversion theorem concerning one branch: if $L'$ is a second smooth branch of $C$, then the valuative embeddings of the Eggers-Wall trees $Θ_{L'}(C)$ and $Θ_L(C)$ identify them canonically, their associated triples of functions being easily expressible in terms of each other. We prove also that the space $\mathbb{P}(\mathcal{V})$ is the projective limit of Eggers-Wall trees over all choices of curves $C$. As a supplementary result, we explain how to pass from $Θ_L(C)$ to an associated splice diagram.
△ Less
Submitted 8 July, 2018;
originally announced July 2018.
-
Multiscale permutation entropy analysis of laser beam wandering in isotropic turbulence
Authors:
Felipe Olivares,
Luciano Zunino,
Damián Gulich,
Darío G. Pérez,
Osvaldo A. Rosso
Abstract:
We have experimentally quantified the temporal structural diversity from the coordinate fluctuations of a laser beam propagating through isotropic optical turbulence. The main focus here is on the characterization of the long-range correlations in the wandering of a thin Gaussian laser beam over a screen after propagating through a turbulent medium. To fulfill this goal, a laboratory-controlled ex…
▽ More
We have experimentally quantified the temporal structural diversity from the coordinate fluctuations of a laser beam propagating through isotropic optical turbulence. The main focus here is on the characterization of the long-range correlations in the wandering of a thin Gaussian laser beam over a screen after propagating through a turbulent medium. To fulfill this goal, a laboratory-controlled experiment was conducted in which coordinate fluctuations of the laser beam were recorded at a sufficiently high sampling rate for a wide range of turbulent conditions. Horizontal and vertical displacements of the laser beam centroid were subsequently analyzed by implementing the symbolic technique based on ordinal patterns to estimate the well-known permutation entropy. We show that the permutation entropy estimations at multiple time scales evidence an interplay between different dynamical behaviors. More specifically, a crossover between two different scaling regimes is observed. We confirm a transition from an integrated stochastic process contaminated with electronic noise to a fractional Brownian motion with a Hurst exponent H = 5/6 as the sampling time increases. Besides, we are able to quantify, from the estimated entropy, the amount of electronic noise as a function of the turbulence strength. We have also demonstrated that these experimental observations are in very good agreement with numerical simulations of noisy fractional Brownian motions with a well-defined crossover between two different scaling regimes.
△ Less
Submitted 16 March, 2017;
originally announced April 2017.
-
Variations on inversion theorems for Newton-Puiseux series
Authors:
Evelia Rosa García Barroso,
Pedro Daniel González Pérez,
Patrick Popescu-Pampu
Abstract:
Let $f(x,y)$ be a complex irreducible formal power series without constant term. One may solve the equation $f(x,y)=0$ by choosing either $x$ or $y$ as independent variable, getting two finite sets of Newton-Puiseux series. In 1967 and 1968, Abhyankar and Zariski published proofs of an \emph{inversion theorem}, expressing the \emph{characteristic exponents} of one set of series in terms of those o…
▽ More
Let $f(x,y)$ be a complex irreducible formal power series without constant term. One may solve the equation $f(x,y)=0$ by choosing either $x$ or $y$ as independent variable, getting two finite sets of Newton-Puiseux series. In 1967 and 1968, Abhyankar and Zariski published proofs of an \emph{inversion theorem}, expressing the \emph{characteristic exponents} of one set of series in terms of those of the other ones. In fact, a more general theorem, stated by Halphen in 1876 and proved by Stolz in 1879, relates also the \emph{coefficients} of the characteristic terms of both sets of series. This theorem seems to have been completely forgotten. We give two new proofs of it and we generalize it to a theorem concerning equations with an arbitrary number of variables.
△ Less
Submitted 12 December, 2016; v1 submitted 26 June, 2016;
originally announced June 2016.
-
Ultrametric spaces of branches on arborescent singularities
Authors:
Evelia R. García Barroso,
Pedro D. González Pérez,
Patrick Popescu-Pampu
Abstract:
Let $S$ be a normal complex analytic surface singularity. We say that $S$ is arborescent if the dual graph of any resolution of it is a tree. Whenever $A,B$ are distinct branches on $S$, we denote by $A \cdot B$ their intersection number in the sense of Mumford. If $L$ is a fixed branch, we define $U_L(A,B)= (L \cdot A)(L \cdot B)(A \cdot B)^{-1}$ when $A \neq B$ and $U_L(A,A) =0$ otherwise. We ge…
▽ More
Let $S$ be a normal complex analytic surface singularity. We say that $S$ is arborescent if the dual graph of any resolution of it is a tree. Whenever $A,B$ are distinct branches on $S$, we denote by $A \cdot B$ their intersection number in the sense of Mumford. If $L$ is a fixed branch, we define $U_L(A,B)= (L \cdot A)(L \cdot B)(A \cdot B)^{-1}$ when $A \neq B$ and $U_L(A,A) =0$ otherwise. We generalize a theorem of Płoski concerning smooth germs of surfaces, by proving that whenever $S$ is arborescent, then $U_L$ is an ultrametric on the set of branches of $S$ different from $L$. We compute the maximum of $U_L$, which gives an analog of a theorem of Teissier. We show that $U_L$ encodes topological information about the structure of the embedded resolutions of any finite set of branches. This generalizes a theorem of Favre and Jonsson concerning the case when both $S$ and $L$ are smooth. We generalize also from smooth germs to arbitrary arborescent ones their valuative interpretation of the dual trees of the resolutions of $S$. Our proofs are based in an essential way on a determinantal identity of Eisenbud and Neumann.
△ Less
Submitted 18 October, 2018; v1 submitted 7 May, 2016;
originally announced May 2016.
-
TANGO: Transparent heterogeneous hardware Architecture deployment for eNergy Gain in Operation
Authors:
Karim Djemame,
Django Armstrong,
Richard Kavanagh,
Jean-Christophe Deprez,
Ana Juan Ferrer,
David Garcia Perez,
Rosa Badia,
Raul Sirvent,
Jorge Ejarque,
Yiannis Georgiou
Abstract:
The paper is concerned with the issue of how software systems actually use Heterogeneous Parallel Architectures (HPAs), with the goal of optimizing power consumption on these resources. It argues the need for novel methods and tools to support software developers aiming to optimise power consumption resulting from designing, develo**, deploying and running software on HPAs, while maintaining oth…
▽ More
The paper is concerned with the issue of how software systems actually use Heterogeneous Parallel Architectures (HPAs), with the goal of optimizing power consumption on these resources. It argues the need for novel methods and tools to support software developers aiming to optimise power consumption resulting from designing, develo**, deploying and running software on HPAs, while maintaining other quality aspects of software to adequate and agreed levels. To do so, a reference architecture to support energy efficiency at application construction, deployment, and operation is discussed, as well as its implementation and evaluation plans.
△ Less
Submitted 4 March, 2016;
originally announced March 2016.
-
Turbulence-induced persistence in laser beam wandering
Authors:
Luciano Zunino,
Damián Gulich,
Gustavo Funes,
Darío G. Pérez
Abstract:
We have experimentally confirmed the presence of long-memory correlations in the wandering of a thin Gaussian laser beam over a screen after propagating through a turbulent medium. A laboratory-controlled experiment was conducted in which coordinate fluctuations of the laser beam were recorded at a sufficiently high sampling rate for a wide range of turbulent conditions. Horizontal and vertical di…
▽ More
We have experimentally confirmed the presence of long-memory correlations in the wandering of a thin Gaussian laser beam over a screen after propagating through a turbulent medium. A laboratory-controlled experiment was conducted in which coordinate fluctuations of the laser beam were recorded at a sufficiently high sampling rate for a wide range of turbulent conditions. Horizontal and vertical displacements of the laser beam centroid were subsequently analyzed by implementing detrended fluctuation analysis. This is a very well-known and widely used methodology to unveil memory effects from time series. Results obtained from this experimental analysis allow us to confirm that both coordinates behave as highly persistent signals for strong turbulent intensities. This finding is relevant for a better comprehension and modeling of the turbulence effects in free-space optical communication systems and other applications related to propagation of optical signals in the atmosphere.
△ Less
Submitted 6 July, 2015;
originally announced July 2015.
-
Multifractal characteristics of optical turbulence measured through a single beam holographic process
Authors:
Dario G. Perez,
Regis Barille,
Yohann Morille,
Sonia Zielinska,
Ewelina Ortyl
Abstract:
We have previously shown that azopolymer thin films exposed to coherent light that has travelled through a turbulent medium produces a surface relief grating containing information about the intensity of the turbulence; for instance, a relation between the refractive index structure constant C2 as a function of the surface parameters was obtained. In this work, we show that these films capture muc…
▽ More
We have previously shown that azopolymer thin films exposed to coherent light that has travelled through a turbulent medium produces a surface relief grating containing information about the intensity of the turbulence; for instance, a relation between the refractive index structure constant C2 as a function of the surface parameters was obtained. In this work, we show that these films capture much more information about the turbulence dynamics. Multifractal detrended fluctuation and fractal dimension analysis from images of the surface roughness produced by the light on the azopolymer reveals scaling properties related to those of the optical turbulence.
△ Less
Submitted 13 September, 2014;
originally announced September 2014.
-
Motivic Milnor fiber of a quasi-ordinary hypersurface
Authors:
Pedro Daniel Gonzalez Perez,
Manuel González Villa
Abstract:
Let $f$ be a germ of complex analytic function at $({\mathbf{C}}^{d+1}, 0)$ such that its zero level defines an irreducible germ of quasi-ordinary hypersurface $(S,0)$. We describe the motivic Igusa zeta function, the motivic Milnor fibre and the Hodge-Steenbrink spectrum of $f$ at 0 in terms of topological invariants of the quasi-ordinary hypersurface $(S,0)$.
Let $f$ be a germ of complex analytic function at $({\mathbf{C}}^{d+1}, 0)$ such that its zero level defines an irreducible germ of quasi-ordinary hypersurface $(S,0)$. We describe the motivic Igusa zeta function, the motivic Milnor fibre and the Hodge-Steenbrink spectrum of $f$ at 0 in terms of topological invariants of the quasi-ordinary hypersurface $(S,0)$.
△ Less
Submitted 12 May, 2011;
originally announced May 2011.
-
Motivic Poincaré series, toric singularities and logarithmic jacobian ideals
Authors:
Helena Cobo Pablos,
Pedro Daniel Gonzalez Perez
Abstract:
The geometric motivic Poincaré series of a variety, which was introduced by Denef and Loeser, takes into account the classes in the Grothendieck ring of the sequence of jets of arcs in the variety. Denef and Loeser proved that this series has a rational form. We describe it in the case of an affine toric variety of arbitrary dimension. The result, which provides an explicit set of candidate poles,…
▽ More
The geometric motivic Poincaré series of a variety, which was introduced by Denef and Loeser, takes into account the classes in the Grothendieck ring of the sequence of jets of arcs in the variety. Denef and Loeser proved that this series has a rational form. We describe it in the case of an affine toric variety of arbitrary dimension. The result, which provides an explicit set of candidate poles, is expressed in terms of the sequence of Newton polyhedra of certain monomial ideals, which we call logarithmic jacobian ideals, associated to the modules of differential forms with logarithmic poles outside the torus of the toric variety.
△ Less
Submitted 16 November, 2010;
originally announced November 2010.
-
Arithmetic Motivic Poincaré series of toric varieties
Authors:
Helena Cobo Pablos,
Pedro Daniel Gonzalez Perez
Abstract:
The arithmetic motivic Poincaré series of a variety $V$ defined over a field of characteristic zero, is an invariant of singularities which was introduced by Denef and Loeser by analogy with the Serre-Oesterlé series in arithmetic geometry. They proved that this motivic series has a rational form which specializes to the Serre-Oesterlé series when $V$ is defined over the integers. This invariant,…
▽ More
The arithmetic motivic Poincaré series of a variety $V$ defined over a field of characteristic zero, is an invariant of singularities which was introduced by Denef and Loeser by analogy with the Serre-Oesterlé series in arithmetic geometry. They proved that this motivic series has a rational form which specializes to the Serre-Oesterlé series when $V$ is defined over the integers. This invariant, which is known explicitly for a few classes of singularities, remains quite mysterious. In this paper we study this motivic series when $V$ is an affine toric variety. We obtain a formula for the rational form of this series in terms of the Newton polyhedra of the ideals of sums of combinations associated to the minimal system of generators of the semigroup of the toric variety. In particular, we deduce explicitly a finite set of candidate poles for this invariant.
△ Less
Submitted 16 November, 2010;
originally announced November 2010.
-
Geometric motivic Poincaré series of quasi-ordinary singularities
Authors:
Helena Cobo Pablos,
Pedro Daniel Gonzalez Perez
Abstract:
The geometric motivic Poincaré series of a germ $(S,0)$ of complex algebraic variety takes into account the classes in the Grothendieck ring of the jets of arcs through $(S,0)$. Denef and Loeser proved that this series has a rational form. We give an explicit description of this invariant when $(S,0)$ is an irreducible germ of quasi-ordinary hypersurface singularity in terms of the Newton polyhedr…
▽ More
The geometric motivic Poincaré series of a germ $(S,0)$ of complex algebraic variety takes into account the classes in the Grothendieck ring of the jets of arcs through $(S,0)$. Denef and Loeser proved that this series has a rational form. We give an explicit description of this invariant when $(S,0)$ is an irreducible germ of quasi-ordinary hypersurface singularity in terms of the Newton polyhedra of the logarithmic jacobian ideals. These ideals are determined by the characteristic monomials of a quasi-ordinary branch parametrizing $(S,0)$.
△ Less
Submitted 12 November, 2010;
originally announced November 2010.
-
Toric Geometry and the Semple-Nash modification
Authors:
Pedro Daniel Gonzalez Perez,
Bernard Teissier
Abstract:
This paper proposes some material towards a theory of general toric varieties without the assumption of normality. Their combinatorial description involves a fan to which is attached a set of semigroups subjected to gluing-up conditions. In particular it contains a combinatorial construction of the blowing up of a sheaf of monomial ideals on a toric variety. In the second part it is shown that ove…
▽ More
This paper proposes some material towards a theory of general toric varieties without the assumption of normality. Their combinatorial description involves a fan to which is attached a set of semigroups subjected to gluing-up conditions. In particular it contains a combinatorial construction of the blowing up of a sheaf of monomial ideals on a toric variety. In the second part it is shown that over an algebraically closed base field of zero characteristic the Semple-Nash modification of a general toric variety is isomorphic to the blowing up of the sheaf of logarithmic jacobian ideals and that in any characteristic this blowing-up is an isomorphism if and only if the toric variety is non singular. In the second part we prove that orders on the lattice of monomials (toric valuations) of maximal rank are uniformized by iterated Sempla-Nash modifications.
△ Less
Submitted 18 February, 2013; v1 submitted 3 December, 2009;
originally announced December 2009.
-
Approximate Roots, Toric Resolutions and Deformations of a Plane Branch
Authors:
Pedro Daniel Gonzalez Perez
Abstract:
We analyze the expansions in terms of the approximate roots of a Weierstrass polynomial $f$ defining a plane branch $(C,0)$, in the light of the toric embedded resolution of the branch. This leads to the definition of a class of (non equisingular) deformations of a plane branch $(C,0)$ supported on certain monomials in the approximate roots of $f$. As a consequence we find out a Kouchnirenko type…
▽ More
We analyze the expansions in terms of the approximate roots of a Weierstrass polynomial $f$ defining a plane branch $(C,0)$, in the light of the toric embedded resolution of the branch. This leads to the definition of a class of (non equisingular) deformations of a plane branch $(C,0)$ supported on certain monomials in the approximate roots of $f$. As a consequence we find out a Kouchnirenko type formula for the Milnor number $(C,0)$. Our results provide a geometrical approach to Abhyankar's straight line conditions and its consequences. As an application we give an equisingularity criterion for a family of plane curves to be equisingular to a plane branch and we express it algorithmically.
△ Less
Submitted 26 January, 2012; v1 submitted 1 August, 2008;
originally announced August 2008.
-
Multi-Harnack smoothings of real plane branches
Authors:
Pedro Daniel Gonzalez Perez,
Jean-Jacques Risler
Abstract:
We introduce a new method for the construction of smoothings of a real plane branch $(C, 0)$ by using Viro Patchworking method. Since real plane branches are Newton degenerated in general, we cannot apply Viro Patchworking method directly. Instead we apply the Patchworking method for certain Newton non degenerate curve singularities with several branches. These singularities appear as a result o…
▽ More
We introduce a new method for the construction of smoothings of a real plane branch $(C, 0)$ by using Viro Patchworking method. Since real plane branches are Newton degenerated in general, we cannot apply Viro Patchworking method directly. Instead we apply the Patchworking method for certain Newton non degenerate curve singularities with several branches. These singularities appear as a result of iterating deformations of the strict transforms of the branch at certain infinitely near points of the toric embedded resolution of singularities of $(C,0)$. We characterize the $M$-smoothings obtained by this method by the local data. In particular, we analyze the class of multi-Harnack smoothings, those smoothings arising in a sequence $M$-smoothings of the strict transforms of (C,0) which are in maximal position with respect to the coordinate lines. We prove that there is a unique the topological type of multi-Harnack smoothings, which is determined by the complex equisingularity type of the branch. This result is a local version of a recent Theorem of Mikhalkin.
△ Less
Submitted 1 August, 2008;
originally announced August 2008.
-
Quasi Ordinary Singularities, Essential Divisors and Poincare Series
Authors:
Pedro Daniel Gonzalez Perez,
Fernando Hernando
Abstract:
We define Poincaré series associated to a toric or analytically irreducible quasi-ordinary hypersurface singularity, (S,0), by a finite sequence of monomial valuations, such that at least one of them is centered at the origin 0. This involves the definition of a multi-graded ring associated to the analytic algebra of the singularity by the sequence of valuations. We prove that the Poincaré serie…
▽ More
We define Poincaré series associated to a toric or analytically irreducible quasi-ordinary hypersurface singularity, (S,0), by a finite sequence of monomial valuations, such that at least one of them is centered at the origin 0. This involves the definition of a multi-graded ring associated to the analytic algebra of the singularity by the sequence of valuations. We prove that the Poincaré series is a rational function with integer coefficients, which can be defined also as an integral with respect of the Euler characteristic, over the projectivization of the analytic algebra of the singularity, of a function defined by the valuations. In particular, the Poincaré series associated to the set of divisorial valuations associated to the essential divisors, considered both over the singular locus and over the point 0, is an analytic invariant of the singularity. In the quasi-ordinary hypersurface case we prove that this Poincaré series determines and it is determined by the normalized sequence of characteristic monomials. These monomials in the analytic case define a complete invariant of the embedded topological type of the hypersurface singularity.
△ Less
Submitted 28 January, 2008; v1 submitted 4 May, 2007;
originally announced May 2007.
-
Bijectiveness of the Nash Map for Quasi-Ordinary Hypersurface Singularities
Authors:
Pedro Daniel Gonzalez Perez
Abstract:
In this paper we give a positive answer to a question of Nash concerning the arc space of a singularity, for the class of quasi-ordinary hypersurface singularities, extending to this case previous results and techniques of Shihoko Ishii.
In this paper we give a positive answer to a question of Nash concerning the arc space of a singularity, for the class of quasi-ordinary hypersurface singularities, extending to this case previous results and techniques of Shihoko Ishii.
△ Less
Submitted 17 May, 2007; v1 submitted 3 May, 2007;
originally announced May 2007.
-
Wavelet entropy of stochastic processes
Authors:
L. Zunino,
D. G. Perez,
M. Garavaglia,
O. A. Rosso
Abstract:
We compare two different definitions for the wavelet entropy associated to stochastic processes. The first one, the Normalized Total Wavelet Entropy (NTWS) family [Phys. Rev. E 57 (1998) 932; J. Neuroscience Method 105 (2001) 65; Physica A (2005) in press] and a second introduced by Tavares and Lucena [Physica A 357 (2005)~71]. In order to understand their advantages and disadvantages, exact res…
▽ More
We compare two different definitions for the wavelet entropy associated to stochastic processes. The first one, the Normalized Total Wavelet Entropy (NTWS) family [Phys. Rev. E 57 (1998) 932; J. Neuroscience Method 105 (2001) 65; Physica A (2005) in press] and a second introduced by Tavares and Lucena [Physica A 357 (2005)~71]. In order to understand their advantages and disadvantages, exact results obtained for fractional Gaussian noise (-1<alpha< 1) and the fractional Brownian motion (1 < alpha < 3) are assessed. We find out that NTWS family performs better as a characterization method for these stochastic processes.
△ Less
Submitted 17 March, 2006;
originally announced March 2006.
-
Chaos in computer performance
Authors:
Hugues Berry,
Daniel Gracia Pérez,
Olivier Temam
Abstract:
Modern computer microprocessors are composed of hundreds of millions of transistors that interact through intricate protocols. Their performance during program execution may be highly variable and present aperiodic oscillations. In this paper, we apply current nonlinear time series analysis techniques to the performances of modern microprocessors during the execution of prototypical programs. Ou…
▽ More
Modern computer microprocessors are composed of hundreds of millions of transistors that interact through intricate protocols. Their performance during program execution may be highly variable and present aperiodic oscillations. In this paper, we apply current nonlinear time series analysis techniques to the performances of modern microprocessors during the execution of prototypical programs. Our results present pieces of evidence strongly supporting that the high variability of the performance dynamics during the execution of several programs display low-dimensional deterministic chaos, with sensitivity to initial conditions comparable to textbook models. Taken together, these results show that the instantaneous performances of modern microprocessors constitute a complex (or at least complicated) system and would benefit from analysis with modern tools of nonlinear and complexity science.
△ Less
Submitted 14 December, 2005; v1 submitted 13 June, 2005;
originally announced June 2005.
-
Wavelet entropy and fractional Brownian motion time series
Authors:
Dario G. Perez,
Luciano Zunino,
Mario Garavaglia,
Osvaldo A. Rosso
Abstract:
We study the functional link between the Hurst parameter and the Normalized Total Wavelet Entropy when analyzing fractional Brownian motion (fBm) time series--these series are synthetically generated. Both quantifiers are mainly used to identify fractional Brownian motion processes (Fractals 12 (2004) 223). The aim of this work is understand the differences in the information obtained from them,…
▽ More
We study the functional link between the Hurst parameter and the Normalized Total Wavelet Entropy when analyzing fractional Brownian motion (fBm) time series--these series are synthetically generated. Both quantifiers are mainly used to identify fractional Brownian motion processes (Fractals 12 (2004) 223). The aim of this work is understand the differences in the information obtained from them, if any.
△ Less
Submitted 19 January, 2005;
originally announced January 2005.
-
Characterization of laser propagation through turbulent media by quantifiers based on the wavelet transform: dynamic study
Authors:
Luciano Zunino,
Dario G. Perez,
Mario Garavaglia,
Osvaldo A. Rosso
Abstract:
We analyze, within the wavelet theory framework, the wandering over a screen of the centroid of a laser beam after it has propagated through a time-changing laboratory-generated turbulence. Following a previous work (Fractals 12 (2004) 223) two quantifiers are used, the Hurst parameter, $H$, and the Normalized Total Wavelet Entropy, $\text{NTWS}$. The temporal evolution of both quantifiers, obta…
▽ More
We analyze, within the wavelet theory framework, the wandering over a screen of the centroid of a laser beam after it has propagated through a time-changing laboratory-generated turbulence. Following a previous work (Fractals 12 (2004) 223) two quantifiers are used, the Hurst parameter, $H$, and the Normalized Total Wavelet Entropy, $\text{NTWS}$. The temporal evolution of both quantifiers, obtained from the laser spot data stream is studied and compared. This allows us to extract information of the stochastic process associated to the turbulence dynamics.
△ Less
Submitted 31 October, 2005; v1 submitted 19 January, 2005;
originally announced January 2005.
-
Modeling turbulent wave-front phase as a fractional Brownian motion: a new approach
Authors:
Dario G. Perez,
Luciano Zunino,
Mario Garavaglia
Abstract:
This paper introduces a general and new formalism to model the turbulent wave-front phase using fractional Brownian motion processes. Moreover, it extends results to non-Kolmogorov turbulence. In particular, generalized expressions for the Strehl ratio and the angle-of-arrival variance are obtained. These are dependent on the dynamic state of the turbulence.
This paper introduces a general and new formalism to model the turbulent wave-front phase using fractional Brownian motion processes. Moreover, it extends results to non-Kolmogorov turbulence. In particular, generalized expressions for the Strehl ratio and the angle-of-arrival variance are obtained. These are dependent on the dynamic state of the turbulence.
△ Less
Submitted 11 June, 2004; v1 submitted 1 March, 2004;
originally announced March 2004.
-
Analytical invariants of quasi-ordinary hypersurface singularities associated to divisorial valuations
Authors:
Pedro Daniel Gonzalez Perez,
Gerard Gonzalez-Sprinberg
Abstract:
We study an analytically irreducible algebroid germ (X, 0) of complex singularity by considering the filtrations of its analytic algebra, and their associated graded rings, induced by the divisorial valuations associated to the irreducible components of the exceptional divisor of the normalized blow-up of the normalization (Y, 0) of (X, 0), centered at the point 0 of Y. If (X, 0) is a quasi-ordi…
▽ More
We study an analytically irreducible algebroid germ (X, 0) of complex singularity by considering the filtrations of its analytic algebra, and their associated graded rings, induced by the divisorial valuations associated to the irreducible components of the exceptional divisor of the normalized blow-up of the normalization (Y, 0) of (X, 0), centered at the point 0 of Y. If (X, 0) is a quasi-ordinary hypersurface singularity, we obtain that the associated graded ring is an algebra of finite type over the field of complex numbers, namely the coordinate ring of a non necessarily normal affine toric variety defined by a semigroup, which is shown to be an analytical invariant of (X, 0). This provides another proof of the analytical invariance of the normalized characteristic monomials of (X, 0). If (X, 0) is the algebroid germ of non necessarily normal toric variety, we apply the same method to prove a local version of the isomorphism problem for algebroid germs of non necessarily normal toric varieties.
△ Less
Submitted 27 November, 2003;
originally announced November 2003.
-
Light Propagation in Turbulent Media
Authors:
Dario G. Perez
Abstract:
First, we make a revision of the up-to-date Passive Scalar Fields properties: also, the refractive index is among them. Afterwards, we formulated the properties that make the family of `isotropic' fractional Brownian motion (with parameter H) a good candidate to simulate the turbulent refractive index. Moreover, we obtained its fractal dimension which matches the estimated by Constantin for pass…
▽ More
First, we make a revision of the up-to-date Passive Scalar Fields properties: also, the refractive index is among them. Afterwards, we formulated the properties that make the family of `isotropic' fractional Brownian motion (with parameter H) a good candidate to simulate the turbulent refractive index. Moreover, we obtained its fractal dimension which matches the estimated by Constantin for passive scalar, and thus the parameter H determines the state of the turbulence.
Next, using a path integral velocity representation, with the Markovian model, to calculate the effects of the turbulence over a system of grids.
Finally, with the tools of Stochastic Calculus for fractional Brownian motions we studied the ray-equation coming from the Geometric Optics in the turbulent case. Our analysis covers those cases where average temperature gradients are relevant.
△ Less
Submitted 29 July, 2003;
originally announced July 2003.
-
A fractional Brownian motion model for the turbulent refractive index in lightwave propagation
Authors:
Dario G. Perez,
Luciano Zunino,
Mario Garavaglia
Abstract:
It is discussed the limitations of the widely used markovian approximation applied to model the turbulent refractive index in lightwave propagation.
It is well-known the index is a passive scalar field. Thus, the actual knowledge about these quantities is used to propose an alternative stochastic process to the markovian approximation: the fractional Brownian motion. This generalizes the forme…
▽ More
It is discussed the limitations of the widely used markovian approximation applied to model the turbulent refractive index in lightwave propagation.
It is well-known the index is a passive scalar field. Thus, the actual knowledge about these quantities is used to propose an alternative stochastic process to the markovian approximation: the fractional Brownian motion. This generalizes the former introducing memory; that is, there is correlation along the propagation path.
△ Less
Submitted 7 July, 2004; v1 submitted 9 July, 2003;
originally announced July 2003.
-
The fractional Brownian motion property of the turbulent refractive within Geometric Optics
Authors:
Dario G. Perez
Abstract:
We introduce fractional Brownian motion processes (fBm) as an alternative model for the turbulent index of refraction. These processes allow to reconstruct most of the refractive index properties, but they are not differentiable. We overcome the apparent impossibility of their use within the Ray Optics approximation introducing a Stochastic Calculus. Afterwards, we successfully provide a solutio…
▽ More
We introduce fractional Brownian motion processes (fBm) as an alternative model for the turbulent index of refraction. These processes allow to reconstruct most of the refractive index properties, but they are not differentiable. We overcome the apparent impossibility of their use within the Ray Optics approximation introducing a Stochastic Calculus. Afterwards, we successfully provide a solution for the stochastic ray-equation; moreover, its implications in the statistical analysis of experimental data is discussed. In particular, we analyze the dependence of the averaged solution against the characteristic variables of a simple propagation problem.
△ Less
Submitted 25 June, 2003;
originally announced June 2003.
-
Toric embedded resolutions of quasi-ordinary hypersurface singularities
Authors:
Pedro Daniel Gonzalez Perez
Abstract:
We build two embedded resolution procedures of a quasi-ordinary singularity of complex analytic hypersurface, by using toric morphisms which depend only on the characteristic monomials associated to a quasi-ordinary projection of the singularity. This result answers an open problem of Lipman in Equisingularity and simultaneous resolution of singularities, Resolution of Singularities, Progress in…
▽ More
We build two embedded resolution procedures of a quasi-ordinary singularity of complex analytic hypersurface, by using toric morphisms which depend only on the characteristic monomials associated to a quasi-ordinary projection of the singularity. This result answers an open problem of Lipman in Equisingularity and simultaneous resolution of singularities, Resolution of Singularities, Progress in Mathematics No. 181, 2000, 485-503. In the first procedure the singularity is embedded as hypersurface. In the second procedure, which is inspired by a work of Goldin and Teissier for plane curves (see Resolving singularities of plane analytic branches with one toric morphism,loc. cit., pages 315-340), we re-embed the singularity in an affine space of bigger dimension in such a way that one toric morphism provides its embedded resolution. We compare both procedures and we show that they coincide under suitable hypothesis.
△ Less
Submitted 18 June, 2003;
originally announced June 2003.
-
Decomposition in bunches of the critical locus of a quasi-ordinary map
Authors:
Pedro Daniel Gonzalez Perez,
Evelia Garcia Barroso
Abstract:
A polar hypersurface P of a complex analytic hypersurface germ, f=0, can be investigated by analyzing the invariance of certain Newton polyhedra associated to the image of P, with respect to suitable coordinates, by certain morphisms appropriately associated to f. We develop this general principle of Teissier (see Varietes polaires. I. Invariants polaires des singularites d'hypersurfaces, Invent…
▽ More
A polar hypersurface P of a complex analytic hypersurface germ, f=0, can be investigated by analyzing the invariance of certain Newton polyhedra associated to the image of P, with respect to suitable coordinates, by certain morphisms appropriately associated to f. We develop this general principle of Teissier (see Varietes polaires. I. Invariants polaires des singularites d'hypersurfaces, Invent. Math. 40 (1977), 3, 267-292) when f=0 is a quasi-ordinary hypersurface germ and P is the polar hypersurface associated to any quasi-ordinary projection of f=0. We build a decomposition of P in bunches of branches which characterizes the embedded topological type of the irreducible components of f=0. This decomposition is characterized also by some properties of the strict transform of P by the toric embedded resolution of f=0 given by the second author in a paper which will appear in Annal. Inst. Fourier (Grenoble). In the plane curve case this result provides a simple algebraic proof of the main theorem of Le, Michel and Weber in "Sur le comportement des polaires associees aux germes de courbes planes", Compositio Math, 72, (1989), 1, 87-113.
△ Less
Submitted 18 June, 2003;
originally announced June 2003.
-
Characterization of Laser Propagation Through Turbulent Media by Quantifiers Based on the Wavelet Transform
Authors:
Luciano Zunino,
Dario G. Perez,
Osvaldo A. Rosso,
Mario Garavaglia
Abstract:
The propagation of a laser beam through turbulent media is modeled as a fractional Brownian motion (fBm). Time series corresponding to the center position of the laser spot (coordinates x and y) after traveling across air in turbulent motion, with different strength, are analyzed by the wavelet theory. Two quantifiers are calculated, the Hurst exponent and the mean Normalized Total Wavelet Entro…
▽ More
The propagation of a laser beam through turbulent media is modeled as a fractional Brownian motion (fBm). Time series corresponding to the center position of the laser spot (coordinates x and y) after traveling across air in turbulent motion, with different strength, are analyzed by the wavelet theory. Two quantifiers are calculated, the Hurst exponent and the mean Normalized Total Wavelet Entropy. It is verified that both quantifiers gives complementary information about the turbulence state.
△ Less
Submitted 16 June, 2004; v1 submitted 14 March, 2003;
originally announced March 2003.
-
The fractional Brownian motion property of the turbulent refractive index and the Fermat's Extremal Principle
Authors:
Dario G Perez
Abstract:
We introduce fractional Brownian motion processes (fBm) as an alternative model for the turbulent index of refraction. These processes allow to reconstruct most of the index properties, but they are not differentiable. We overcome the apparent impossibility of their use in the variational equation coming from the Fermat's Principle with the introduction of a Stochastic Calculus. Afterwards, we s…
▽ More
We introduce fractional Brownian motion processes (fBm) as an alternative model for the turbulent index of refraction. These processes allow to reconstruct most of the index properties, but they are not differentiable. We overcome the apparent impossibility of their use in the variational equation coming from the Fermat's Principle with the introduction of a Stochastic Calculus. Afterwards, we successfully provide a solution for the stochastic ray equation; moreover, its implications in the statistical analysis of experimental data is discussed.
△ Less
Submitted 6 August, 2002; v1 submitted 18 July, 2002;
originally announced July 2002.