Showing 1–23 of 23 results for author: Alberich-Carramiñana, M

Topological reconstruction of sampled surfaces via Morse theory

Authors: Franco Coltraro, Jaume Amorós, Maria Alberich-Carramiñana, Carme Torras

Abstract: In this work, we study the perception problem for sampled surfaces (possibly with boundary) using tools from computational topology, specifically, how to identify their underlying topology starting from point-cloud samples in space, such as those obtained with 3D scanners. We present a reconstruction algorithm based on a careful topological study of the point sample that allows us to obtain a cell… ▽ More In this work, we study the perception problem for sampled surfaces (possibly with boundary) using tools from computational topology, specifically, how to identify their underlying topology starting from point-cloud samples in space, such as those obtained with 3D scanners. We present a reconstruction algorithm based on a careful topological study of the point sample that allows us to obtain a cellular decomposition of it using a Morse function. No triangulation or local implicit equations are used as intermediate steps, avoiding in this way reconstruction-induced artifices. The algorithm can be run without any prior knowledge of the surface topology, density or regularity of the point-sample. The results consist of a piece-wise decomposition of the given surface as a union of Morse cells (i.e. topological disks), suitable for tasks such as mesh-independent reparametrization or noise-filtering, and a small-rank cellular complex determining the topology of the surface. The algorithm, which we test with several real and synthetic surfaces, can be applied to smooth surfaces with or without boundary, embedded in an ambient space of any dimension. △ Less

Submitted 16 October, 2024; v1 submitted 27 May, 2024; originally announced May 2024.

Comments: 39 pages, 17 figures, 1 table, 1 algorithm, 1 appendix

Multiplier ideals of meromorphic functions in dimension two

Authors: Maria Alberich-Carramiñana, Josep Àlvarez Montaner, Roger Gómez-López

Abstract: We provide an effective method to compute multiplier ideals of meromorphic functions in dimension two. We also prove that meromorphic functions only have integer jumping numbers after reaching some threshold. We provide an effective method to compute multiplier ideals of meromorphic functions in dimension two. We also prove that meromorphic functions only have integer jumping numbers after reaching some threshold. △ Less

Submitted 7 May, 2024; originally announced May 2024.

Comments: 12 pages, 0 figures

Limit distribution of Hodge spectral exponents of irreducible plane curve singularities

Authors: Maria Alberich-Carramiñana, Josep Àlvarez Montaner, Roger Gómez-López

Abstract: We study the distribution of the Hodge spectral exponents of an irreducible plane curve by comparing it with a continuous distribution. We provide a closed formula for this difference in terms of numerical invariants of the curve. We characterize those families of irreducible plane curves whose limit distribution of Hodge spectral exponents is the continuous distribution and we provide intervals o… ▽ More We study the distribution of the Hodge spectral exponents of an irreducible plane curve by comparing it with a continuous distribution. We provide a closed formula for this difference in terms of numerical invariants of the curve. We characterize those families of irreducible plane curves whose limit distribution of Hodge spectral exponents is the continuous distribution and we provide intervals of dominating values. △ Less

Submitted 7 May, 2024; originally announced May 2024.

Comments: 25 pages, 3 figures

A novel collision model for inextensible textiles and its experimental validation

Authors: Franco Coltraro, Jaume Amorós, Maria Alberich-Carramiñana, Carme Torras

Abstract: In this work, we introduce a collision model specifically tailored for the simulation of inextensible textiles. The model considers friction, contacts, and inextensibility constraints all at the same time without any decoupling. Self-collisions are modeled in a natural way that allows considering the thickness of cloth without introducing unwanted oscillations. The discretization of the equations… ▽ More In this work, we introduce a collision model specifically tailored for the simulation of inextensible textiles. The model considers friction, contacts, and inextensibility constraints all at the same time without any decoupling. Self-collisions are modeled in a natural way that allows considering the thickness of cloth without introducing unwanted oscillations. The discretization of the equations of motion leads naturally to a sequence of quadratic problems with inequality and equality constraints. In order to solve these problems efficiently, we develop a novel active-set algorithm that takes into account past active constraints to accelerate the resolution of unresolved contacts. We put to a test the developed collision procedure with diverse scenarios involving static and dynamic friction, sharp objects, and complex-topology folding sequences. Finally, we perform an experimental validation of the collision model by comparing simulations with recordings of real textiles as given by a $\textit{Motion Capture System}$. The results are very accurate, having errors around 1 cm for DIN A2 textiles (42 x 59.4 cm) even in difficult scenarios involving fast and strong hits with a rigid object. △ Less

Submitted 25 March, 2023; originally announced March 2023.

Comments: 30 pages, 12 figures, 3 tables, 1 algorithm

MSC Class: 70F35; 68U20; 90C20

Polynomial factorization over henselian fields

Authors: Maria Alberich-Carramiñana, Jordi Guàrdia, Enric Nart, Adrien Poteaux, Joaquim Roé, Martin Weimann

Abstract: Given a valued field $(K,v)$ and an irreducible polynomial $g\in K[x]$, we survey the ideas of Ore, Maclane, Okutsu, Montes, Vaquié and Herrera-Olalla-Mahboub-Spivakovsky, leading (under certain conditions) to an algorithm to find the factorization of $g$ over a henselization of $(K,v)$. Given a valued field $(K,v)$ and an irreducible polynomial $g\in K[x]$, we survey the ideas of Ore, Maclane, Okutsu, Montes, Vaquié and Herrera-Olalla-Mahboub-Spivakovsky, leading (under certain conditions) to an algorithm to find the factorization of $g$ over a henselization of $(K,v)$. △ Less

Submitted 5 July, 2022; originally announced July 2022.

Valuations with infinite limit-depth

Authors: Maria Alberich-Carramiñana, Jordi Guàrdia, Enric Nart, Joaquim Roé

Abstract: For a certain field $K$, we construct a valuation-algebraic valuation on the polynomial ring $K[x]$, whose Maclane--Vaquié chain consists of an infinite (countable) number of limit augmentations For a certain field $K$, we construct a valuation-algebraic valuation on the polynomial ring $K[x]$, whose Maclane--Vaquié chain consists of an infinite (countable) number of limit augmentations △ Less

Submitted 7 April, 2022; originally announced April 2022.

Comments: arXiv admin note: substantial text overlap with arXiv:2107.09813

Okutsu frames of irreducible polynomials over henselian fields

Authors: Maria Alberich-Carramiñana, Jordi Guàrdia, Joaquím Roé, Enric Nart

Abstract: For a henselian valued field $(K,v)$ we establish a complete parallelism between the arithmetic properties of irreducible polynomials $F\in K[x]$, encoded by their Okutsu frames, and the valuation-theoretic properties of their induced valuations $v_F$ on $K[x]$, encoded by their MacLane-Vaquié chains. This parallelism was only known for defectless irreducible polynomials. For a henselian valued field $(K,v)$ we establish a complete parallelism between the arithmetic properties of irreducible polynomials $F\in K[x]$, encoded by their Okutsu frames, and the valuation-theoretic properties of their induced valuations $v_F$ on $K[x]$, encoded by their MacLane-Vaquié chains. This parallelism was only known for defectless irreducible polynomials. △ Less

Submitted 23 March, 2023; v1 submitted 4 November, 2021; originally announced November 2021.

Comments: arXiv admin note: text overlap with arXiv:2107.09813

MSC Class: 13A18 12J10

Valuative trees over valued fields

Authors: Maria Alberich-Carramiñana, Jordi Guàrdia, Enric Nart, Joaquim Roé

Abstract: For an arbitrary valued field $(K,v)$ and a given extension $v(K^*)\hookrightarrowΛ$ of ordered groups, we analyze the structure of the tree formed by all $Λ$-valued extensions of $v$ to the polynomial ring $K[x]$. As an application, we find a model for the tree of all equivalence classes of valuations on $K[x]$ (without fixing their value group), whose restriction to $K$ is equivalent to $v$. I… ▽ More For an arbitrary valued field $(K,v)$ and a given extension $v(K^*)\hookrightarrowΛ$ of ordered groups, we analyze the structure of the tree formed by all $Λ$-valued extensions of $v$ to the polynomial ring $K[x]$. As an application, we find a model for the tree of all equivalence classes of valuations on $K[x]$ (without fixing their value group), whose restriction to $K$ is equivalent to $v$. In the henselian case, we apply these results to show that there is a complete parallelism between the arithmetic properties of irreducible polynomials $F\in K[x]$, encoded by their Okutsu frames, and the valuation-theoretic properties of their induced valuations $v_F$ on $K[x]$, encoded by their MacLane-Vaquié chains. This parallelism was only known for defectless irreducible polynomials. △ Less

Submitted 25 April, 2022; v1 submitted 20 July, 2021; originally announced July 2021.

Comments: V2, April 2022

MSC Class: 13A18 (12J10; 12J20; 14E15)

Curve singularities with one Puiseux pair and value sets of modules over their local rings

Authors: Maria Alberich-Carramiñana, Patricio Almirón, Julio José Moyano-Fernández

Abstract: In this paper we characterize the value set $Δ$ of the $R$-modules of the form $R+zR$ for the local ring $R$ associated to a germ $ξ$ of an irreducible plane curve singularity with one Puiseux pair. In the particular case of the module of Kähler differentials attached to $ξ$, we recover some results of Delorme. From our characterization of $Δ$ we introduce a proper subset of semimodules over the v… ▽ More In this paper we characterize the value set $Δ$ of the $R$-modules of the form $R+zR$ for the local ring $R$ associated to a germ $ξ$ of an irreducible plane curve singularity with one Puiseux pair. In the particular case of the module of Kähler differentials attached to $ξ$, we recover some results of Delorme. From our characterization of $Δ$ we introduce a proper subset of semimodules over the value semigroup of the ring $R$. Moreover, we provide a geometric algorithm to construct all possible semimodules in this subset for a given value semigroup. △ Less

Submitted 20 December, 2022; v1 submitted 17 May, 2021; originally announced May 2021.

Comments: v3: Theorem 3.4 in v2 has been eliminated as a result of a gap in the proof. Section 3.2 in v2 has been eliminated. The rest of main results remain unchanged. General redaction has been improved. v1: Comments are very welcome! 19 pages. 5 Figures

MSC Class: Primary: 14H20; 20M12; Secondary: 13N05; 13C12; 14B07

An Inextensible Model for Robotic Simulations of Textiles

Authors: Franco Coltraro, Jaume Amorós, Maria Alberich-Carramiñana, Carme Torras

Abstract: We introduce a new isometric strain model for the study of the dynamics of cloth garments in a moderate stress environment, such as robotic manipulation in the neighborhood of humans. This model treats textiles as surfaces which are inextensible, admitting only isometric motions. Inextensibility is imposed in a continuous setting, prior to any discretization, which gives consistency with respect t… ▽ More We introduce a new isometric strain model for the study of the dynamics of cloth garments in a moderate stress environment, such as robotic manipulation in the neighborhood of humans. This model treats textiles as surfaces which are inextensible, admitting only isometric motions. Inextensibility is imposed in a continuous setting, prior to any discretization, which gives consistency with respect to re-meshing and prevents the problem of locking even with coarse meshes. The simulations of robotic manipulation using the model are compared to the actual manipulation in the real world, finding that the error between the simulated and real position of each point in the garment is lower than 1cm in average, even when a coarse mesh is used. Aerodynamic contributions to motion are incorporated to the model through the virtual uncoupling of the inertial and gravitational mass of the garment. This approach results in an accurate, as compared to reality, description of cloth motion incorporating aerodynamic effects by using only two parameters. △ Less

Submitted 17 March, 2021; originally announced March 2021.

Comments: 29 pages, 18 figures, 3 tables, 1 algorithm

MSC Class: 74K20; 53Z05 ACM Class: I.6.8; I.3.7; I.3.8; J.2

Developable surfaces with prescribed boundary

Authors: Maria Alberich-Carramiñana, Jaume Amorós, Franco Coltraro

Abstract: It is proved that a generic simple, closed, piecewise regular curve in space can be the boundary of only finitely many developable surfaces with nonvanishing mean curvature. The relevance of this result in the context of the dynamics of developable surfaces is discussed. It is proved that a generic simple, closed, piecewise regular curve in space can be the boundary of only finitely many developable surfaces with nonvanishing mean curvature. The relevance of this result in the context of the dynamics of developable surfaces is discussed. △ Less

Submitted 1 March, 2021; originally announced March 2021.

Comments: Submitted to the conference 'Women in Geometry and Topology', held on September 25-27, 2019, at the Centre de Recerca Matemàtica, Bellaterra, Spain

MSC Class: 53C24; 53C42; 53Z30

Invariants of limit key polynomials

Authors: Maria Alberich-Carramiñana, Alberto F. Boix, Julio Fernández, Jordi Guàrdia, Enric Nart, Joaquim Roé

Abstract: Let $ν$ be a valuation of arbitrary rank on the polynomial ring $K[x]$ with coefficients in a field $K$. We prove comparison theorems between MacLane-Vaquié key polynomials for valuations $μ\leν$ and abstract key polynomials for $ν$. Also, some results on invariants attached to limit key polynomials are obtained. In particular, if $\operatorname{char}(K)=0$ we show that all limit key polynomials… ▽ More Let $ν$ be a valuation of arbitrary rank on the polynomial ring $K[x]$ with coefficients in a field $K$. We prove comparison theorems between MacLane-Vaquié key polynomials for valuations $μ\leν$ and abstract key polynomials for $ν$. Also, some results on invariants attached to limit key polynomials are obtained. In particular, if $\operatorname{char}(K)=0$ we show that all limit key polynomials of unbounded continuous MacLane chains have numerical character equal to one. △ Less

Submitted 9 May, 2020; originally announced May 2020.

Quadratic Planar Differential Systems with Algebraic Limit Cycles via Quadratic Plane Cremona Maps

Authors: Maria Alberich-Carramiñana, Antoni Ferragut, Jaume Llibre

Abstract: In this paper we show how we can transform quadratic systems into new quadratic systems after some kind of birational transformations, the quadratic plane Cremona maps. We afterwards apply these transformations to the families of quadratic differential systems having an algebraic limit cycle. As a consequence, we provide a new family of quadratic systems having an algebraic limit cycle of degree 5… ▽ More In this paper we show how we can transform quadratic systems into new quadratic systems after some kind of birational transformations, the quadratic plane Cremona maps. We afterwards apply these transformations to the families of quadratic differential systems having an algebraic limit cycle. As a consequence, we provide a new family of quadratic systems having an algebraic limit cycle of degree 5. Moreover we show how the known families of quadratic differential systems having an algebraic limit cycle of degree greater than four are obtained using these transformations. We also provide the phase portraits on the Poincaré disk of all the families of quadratic differential systems having algebraic limit cycles. △ Less

Submitted 24 June, 2019; originally announced June 2019.

Comments: 28 pages, 20 figures

MSC Class: 34A05; 34A34; 34C05

The minimal Tjurina number of irreducible germs of plane curve singularities

Authors: Maria Alberich-Carramiñana, Patricio Almirón, Guillem Blanco, Alejandro Melle-Hernández

Abstract: In this paper we give a positive answer to a question of Dimca and Greuel about the quotient between the Milnor and the Tjurina numbers for any irreducible germ of plane curve singularity. This result is based on a closed formula for the minimal Tjurina number of an equisingularity class in terms of the sequence of multiplicities of the strict transform along a resolution. The key points for the p… ▽ More In this paper we give a positive answer to a question of Dimca and Greuel about the quotient between the Milnor and the Tjurina numbers for any irreducible germ of plane curve singularity. This result is based on a closed formula for the minimal Tjurina number of an equisingularity class in terms of the sequence of multiplicities of the strict transform along a resolution. The key points for the proof are previous results by Genzmer, Wall and Mattei. △ Less

Submitted 7 January, 2020; v1 submitted 4 April, 2019; originally announced April 2019.

Comments: To appear in Indiana University Mathematics Journal. Minor changes. Improvement in Corollary 2

Multiplicities of jumping points for mixed multiplier ideals

Authors: Maria Alberich-Carramiñana, Josep Àlvarez Montaner, Ferran Dachs-Cadefau, Víctor González-Alonso

Abstract: In this paper we make a systematic study of the multiplicity of the jumping points associated to the mixed multiplier ideals of a family of ideals in a complex surface with rational singularities. In particular we study the behaviour of the multiplicity by small perturbations of the jumping points. We also introduce a Poincaré series for mixed multiplier ideals and prove its rationality. Finally,… ▽ More In this paper we make a systematic study of the multiplicity of the jumping points associated to the mixed multiplier ideals of a family of ideals in a complex surface with rational singularities. In particular we study the behaviour of the multiplicity by small perturbations of the jumping points. We also introduce a Poincaré series for mixed multiplier ideals and prove its rationality. Finally, we study the set of divisors that contribute to the log-canonical wall. △ Less

Submitted 25 July, 2018; originally announced July 2018.

Comments: 21 pages

Monomial generators of complete planar ideals

Authors: Maria Alberich-Carramiñana, Josep Alvarez Montaner, Guillem Blanco

Abstract: We provide an algorithm that computes a set of generators for any complete ideal in a smooth complex surface. More interestingly, these generators admit a presentation as monomials in a set of maximal contact elements associated to the minimal log-resolution of the ideal. Furthermore, the monomial expression given by our method is an equisingularity invariant of the ideal. As an outcome, we provid… ▽ More We provide an algorithm that computes a set of generators for any complete ideal in a smooth complex surface. More interestingly, these generators admit a presentation as monomials in a set of maximal contact elements associated to the minimal log-resolution of the ideal. Furthermore, the monomial expression given by our method is an equisingularity invariant of the ideal. As an outcome, we provide a geometric method to compute the integral closure of a planar ideal and we apply our algorithm to some families of complete ideals. △ Less

Submitted 29 October, 2017; v1 submitted 12 January, 2017; originally announced January 2017.

Comments: 22 pages. Title change and major revision of the previous version. Applications to families of complete ideals included

Effective computation of base points of ideals in two-dimensional local rings

Authors: Maria Alberich-Carramiñana, Josep Alvarez Montaner, Guillem Blanco

Abstract: In this work we describe a minimal log-resolution of an ideal in a smooth complex surface from the minimal log-resolution of its generators. In this work we describe a minimal log-resolution of an ideal in a smooth complex surface from the minimal log-resolution of its generators. △ Less

Submitted 16 January, 2017; v1 submitted 18 May, 2016; originally announced May 2016.

Comments: 21 pages. Exposition is improved. Examples added

Constancy regions of mixed multiplier ideals in two-dimensional local rings with rational singularities

Authors: Maria Alberich-Carramiñana, Josep Alvarez Montaner, Ferran Dachs-Cadefau

Abstract: The aim of this paper is to study mixed multiplier ideals associated to a tuple of ideals in a two-dimensional local ring with a rational singularity. We are interested in the partition of the real positive orthant given by the regions where the mixed multiplier ideals are constant. In particular we reveal which information encoded in a mixed multiplier ideal determines its corresponding jumping w… ▽ More The aim of this paper is to study mixed multiplier ideals associated to a tuple of ideals in a two-dimensional local ring with a rational singularity. We are interested in the partition of the real positive orthant given by the regions where the mixed multiplier ideals are constant. In particular we reveal which information encoded in a mixed multiplier ideal determines its corresponding jumping wall and we provide an algorithm to compute all the constancy regions, and their corresponding mixed multiplier ideals, in any desired range. △ Less

Submitted 4 May, 2016; originally announced May 2016.

Comments: 26 pages

Poincaré series of multiplier ideals in two-dimensional local rings with rational singularities

Authors: Maria Alberich-Carramiñana, Josep Alvarez Montaner, Ferran Dachs-Cadefau, Víctor González-Alonso

Abstract: We study the multiplicity of the jumping numbers of an $\mathfrak m$-primary ideal $\mathfrak a$ in a two-dimensional local ring with a rational singularity. The formula we provide for the multiplicities leads to a very simple and efficient method to detect whether a given rational number is a jumping number. We also give an explicit description of the Poincaré series of multiplier ideals associat… ▽ More We study the multiplicity of the jumping numbers of an $\mathfrak m$-primary ideal $\mathfrak a$ in a two-dimensional local ring with a rational singularity. The formula we provide for the multiplicities leads to a very simple and efficient method to detect whether a given rational number is a jumping number. We also give an explicit description of the Poincaré series of multiplier ideals associated to $\mathfrak a$ proving, in particular, that it is a rational function. △ Less

Submitted 16 June, 2016; v1 submitted 11 December, 2014; originally announced December 2014.

Comments: 21 pages

Multiplier ideals in two-dimensional local rings with rational singularities

Authors: Maria Alberich-Carramiñana, Josep Alvarez Montaner, Ferran Dachs-Cadefau

Abstract: The aim of this paper is to study jumping numbers and multiplier ideals of any ideal in a two-dimensional local ring with a rational singularity. In particular we reveal which information encoded in a multiplier ideal determines the next jumping number. This leads to an algorithm to compute sequentially the jumping numbers and the whole chain of multiplier ideals in any desired range. As a consequ… ▽ More The aim of this paper is to study jumping numbers and multiplier ideals of any ideal in a two-dimensional local ring with a rational singularity. In particular we reveal which information encoded in a multiplier ideal determines the next jumping number. This leads to an algorithm to compute sequentially the jumping numbers and the whole chain of multiplier ideals in any desired range. As a consequence of our method we develop the notion of jumping divisor that allows to describe the jump between two consecutive multiplier ideals. In particular we find a unique minimal jumping divisor that is studied extensively. △ Less

Submitted 4 May, 2016; v1 submitted 11 December, 2014; originally announced December 2014.

Comments: 32 pages. To appear in Mich. Math. J

Determining plane curve singularities from its polars

Authors: Maria Alberich-Carramiñana, Víctor González-Alonso

Abstract: This paper addresses a very classical topic that goes back at least to Plücker: how to understand a plane curve singularity using its polar curves. Here, we explicitly construct the singular points of a plane curve singularity directly from the weighted cluster of base points of its polars. In particular, we determine the equisingularity class (or topological equivalence class) of a germ of plane… ▽ More This paper addresses a very classical topic that goes back at least to Plücker: how to understand a plane curve singularity using its polar curves. Here, we explicitly construct the singular points of a plane curve singularity directly from the weighted cluster of base points of its polars. In particular, we determine the equisingularity class (or topological equivalence class) of a germ of plane curve from the equisingularity class of generic polars and combinatorial data about the non-singular points shared by them. △ Less

Submitted 27 October, 2015; v1 submitted 6 September, 2012; originally announced September 2012.

Comments: 22 pages. Final version, to appear in Advances in Math

MSC Class: 32S50; 32S15; 14B05

Equisingularity classes of birational projections of normal singularities to a plane

Authors: Maria Alberich-Carraminana, Jesus Fernandez-Sanchez

Abstract: Given a birational normal extension S of a two-dimensional local regular ring R, we describe all the equisingularity types of the complete ideals J in R whose blowing-up has some point at which the local ring is analytically isomorphic to S. The problem of classifying the germs of such normal surface singularities was already posed by Spivakovsky (Ann. of Math. 1990). This problem has two part… ▽ More Given a birational normal extension S of a two-dimensional local regular ring R, we describe all the equisingularity types of the complete ideals J in R whose blowing-up has some point at which the local ring is analytically isomorphic to S. The problem of classifying the germs of such normal surface singularities was already posed by Spivakovsky (Ann. of Math. 1990). This problem has two parts: discrete and continous. The continous part is to some extent equivalent to the problem of the moduli of plane curve singularities, while the main result of this paper solves completely the discrete part. △ Less

Submitted 10 July, 2007; originally announced July 2007.

Comments: 22 pages, 3 figures. To appear in Advances in Mathematics

MSC Class: 14B05; 32S05; 13B22

Enriques diagrams and adjacency of planar curve singularities

Authors: Maria Alberich-Carraminana, Joaquim Roe

Abstract: We study adjacency of equisingularity types of planar curve singularities in terms of their Enriques diagrams. For linear adjacency a complete answer is obtained, whereas for arbitrary (analytic) adjacency a necessary condition and a sufficient condition are proved. We also show an example of singular curve of type D' that can be deformed to a curve of type D without D' being adjacent to D. We study adjacency of equisingularity types of planar curve singularities in terms of their Enriques diagrams. For linear adjacency a complete answer is obtained, whereas for arbitrary (analytic) adjacency a necessary condition and a sufficient condition are proved. We also show an example of singular curve of type D' that can be deformed to a curve of type D without D' being adjacent to D. △ Less

Submitted 31 August, 2001; originally announced August 2001.

Comments: 14 pages, 5 figures