-
Ion mobility and segregation in seed surfaces subjected to cold plasma treatments
Authors:
Alvaro Perea-Brenes,
Natalia Ruiz-Pino,
Francisco Yubero,
Jose Luis Garcia,
Agustín R. Gonzalez-Elipe,
Ana Gomez-Ramirez,
Antonio Prados,
Carmen Lopez-Santos
Abstract:
Plasma treatment of seeds is an efficient procedure to accelerate germination, to improve initial stages of plant growth and for protection against pathogens infection. Most studies relate these beneficial effects with biochemical modifications affecting the metabolism and genetical growth factors of seeds and young plants. Using barley seeds, in this work we investigate the redistribution of ions…
▽ More
Plasma treatment of seeds is an efficient procedure to accelerate germination, to improve initial stages of plant growth and for protection against pathogens infection. Most studies relate these beneficial effects with biochemical modifications affecting the metabolism and genetical growth factors of seeds and young plants. Using barley seeds, in this work we investigate the redistribution of ions in the seed surface upon their treatment with cold air plasmas. In addition, we investigate the effect of plasma in the lixiviation of ions through the seeds hull when they are immersed in water. Ions re-distribution in the outer layers of air plasma treated seeds has been experimentally determined through X-ray Photoelectron Spectroscopy analysis in combination with chemical in-depth profiling with gas cluster ion beams. The results show that in the shallowest layers of the seed hull (at least up to a depth of 100 nm) there is an enrichment of K+ and Ca2+ ions, in addition to changes in the O/C and N/C atomic ratios. These data have been confirmed with the electron microscopy/fluorescence analysis of seed cuts. Observations have been accounted for by a Monte Carlo model simulating the electrostatic interactions that develop between the negative charge accumulated at the seed surface due to the interaction with the plasma sheath and the positive ions existing in the interior of seeds. Furthermore, it is shown that upon water immersion of plasma treated seeds mobilized ions tend to lixiviate more efficiently than in pristine seeds. The detection of a significant concentration of NO3- anions in the water has been attributed to a secondary reaction of nitrogen species incorporated into the seeds during plasma exposure with reactive oxygen species formed on their surface during this treatment. The implications of these findings for the improvement of germination capacity of seeds are discussed.
△ Less
Submitted 18 February, 2025;
originally announced March 2025.
-
Tailoring the Nucleation and Growth of Silver Nanoparticles by Sputtering Deposition under Acoustic Wave Activation. Assessment of Plasma Conditions and 2D Patterning Phenomena
Authors:
Helene Reichel,
Aurelio Garcia-Valenzuela,
Jose Andres Espino-Roman,
Jorge Gil-Rostra,
Guillermo Fernando Regodon,
Victor Rico-Gavira,
Ana Borras,
Ana Gomez-Ramirez,
Alberto Palmero,
Agustin R. Gonzalez-Elipe,
Manuel Oliva-Ramirez
Abstract:
Early results on the plasma deposition of dielectric thin films on acoustic wave (AW) activated substrates revealed a densification pattern arisen from the focusing of plasma ions and their impact on specific areas of the piezoelectric substrate. Herein, we extend this methodology to tailor the plasma deposition of metals onto AW-activated LiNbO3 piezoelectric substrates. Our investigation reveals…
▽ More
Early results on the plasma deposition of dielectric thin films on acoustic wave (AW) activated substrates revealed a densification pattern arisen from the focusing of plasma ions and their impact on specific areas of the piezoelectric substrate. Herein, we extend this methodology to tailor the plasma deposition of metals onto AW-activated LiNbO3 piezoelectric substrates. Our investigation reveals the tracking of the initial stages of nanoparticle (NP) formation and growth during the submonolayer deposition of silver. We elucidate the specific role of AW activation in reducing particle size, enhancing particle circularity, and retarding NP agglomeration and account for the physical phenomena making these processes differ from those occurring on non-activated substrates. We provide a comparative analysis of the results obtained under two representative plasma conditions: diode DC sputtering and magnetron sputtering. In the latter case, the AW activation gives rise to a 2D pattern of domains with different amounts of silver and a distinct size and circularity for the silver NPs. This difference was attributed to the specific characteristics of the plasma sheath formed onto the substrate in each case. The possibilities of tuning the plasmon resonance absorption of silver NPs by AW activation of the sputtering deposition process are discussed.
△ Less
Submitted 6 March, 2024;
originally announced March 2024.
-
On some algebraic and geometric extensions of Goldbach's conjecture
Authors:
Alberto F. Boix,
Danny A. J. Gómez-Ramírez
Abstract:
The goal of this paper is to study Goldbach's conjecture for rings of regular functions of affine algebraic varieties over a field. Among our main results, we define the notion of Goldbach condition for Newton polytopes, and we prove in a constructive way that any polynomial in at least two variables over a field can be expressed as sum of at most $2r$ absolutely irreducible polynomials, where…
▽ More
The goal of this paper is to study Goldbach's conjecture for rings of regular functions of affine algebraic varieties over a field. Among our main results, we define the notion of Goldbach condition for Newton polytopes, and we prove in a constructive way that any polynomial in at least two variables over a field can be expressed as sum of at most $2r$ absolutely irreducible polynomials, where $r$ is the number of its non--zero monomials. We also study other weak forms of Goldbach's conjecture for localizations of these rings. Moreover, we prove the validity of Goldbach's conjecture for a particular instance of the so--called forcing algebras introduced by Hochster. Finally, we prove that, for a proper multiplicative closed set $S$ of $\mathbb{Z}$, the collection of elements of $S^{-1}\mathbb{Z}$ that can be written as finite sum of primes forms a dense subset of the real numbers, among other results.
△ Less
Submitted 27 December, 2023;
originally announced December 2023.
-
Needle guidance with Doppler-tracked polarization-sensitive optical coherence tomography
Authors:
Danielle J. Harper,
Yongjoo Kim,
Alejandra Gómez-Ramírez,
Benjamin J. Vakoc
Abstract:
We demonstrate that a simple, unscanned polarization-sensitive optical coherence tomography needle probe can be used to perform layer identification in biological tissues. Broadband light from a laser centered at 1310 nm was sent through a fiber that was embedded into a needle, and analysis of the polarization state of the returning light after interference coupled with Doppler-based tracking allo…
▽ More
We demonstrate that a simple, unscanned polarization-sensitive optical coherence tomography needle probe can be used to perform layer identification in biological tissues. Broadband light from a laser centered at 1310 nm was sent through a fiber that was embedded into a needle, and analysis of the polarization state of the returning light after interference coupled with Doppler-based tracking allowed the calculation of phase retardation and optic axis orientation at each needle location. Proof-of-concept phase retardation mapping was shown in Atlantic salmon tissue, while axis orientation mapping was demonstrated in white shrimp tissue. The needle probe was then tested on the ex vivo porcine spine, where mock epidural procedures were performed. Our imaging results demonstrate that unscanned, Doppler-tracked polarization-sensitive optical coherence tomography imaging successfully identified the skin, subcutaneous tissue, and ligament layers, before successfully reaching the target of the epidural space. The addition of polarization-sensitive imaging into the bore of a needle probe therefore allows layer identification at deeper locations in the tissue.
△ Less
Submitted 22 May, 2023;
originally announced May 2023.
-
Artificial Cognitively-inspired Generation of the Notion of Topological Group in the Context of Artificial Mathematical Intelligence
Authors:
Danny A. J. Gomez-Ramirez,
Yoe A. Herrera-Jaramillo,
Florian Geismann
Abstract:
The new computational paradigm of conceptual computation has been introduced in the research program of Artificial Mathematical Intelligence. We provide the explicit artificial generation (or conceptual computation) for the fundamental mathematical notion of topological groups. Specifically, we start with two basic notions belonging to topology and abstract algebra, and we describe recursively for…
▽ More
The new computational paradigm of conceptual computation has been introduced in the research program of Artificial Mathematical Intelligence. We provide the explicit artificial generation (or conceptual computation) for the fundamental mathematical notion of topological groups. Specifically, we start with two basic notions belonging to topology and abstract algebra, and we describe recursively formal specifications in the Common Algebraic Specification Language (CASL). The notion of conceptual blending between such conceptual spaces can be materialized computationally in the Heterogeneous Tool Set (HETS). The fundamental notion of topological groups is explicitly generated through three different artificial specifications based on conceptual blending and conceptual identification, starting with the concepts of continuous functions and mathematical groups (described with minimal set-theoretical conditions). This constitutes in additional heuristic evidence for the third pillar of Artificial Mathematical Intelligence.
△ Less
Submitted 4 December, 2021;
originally announced December 2021.
-
Towards a General Many-Sorted Framework for Describing Certain Kinds of Legal Statutes with a Potential Computational Realization
Authors:
Danny A. J. Gomez-Ramirez,
Egil Nordqvist
Abstract:
Examining a 20th-century Scandinavian legal theoretical tradition, we can extract an ontological naturalistic, a logical empiristic, and a modern idealistic rationale. We introduce the mathematical syntactic figure present in the `logical empiricism' in a contemporary mathematical logic. A new formal framework for describing explicit purchase statutes (Sweden) is gradually developed and subsequent…
▽ More
Examining a 20th-century Scandinavian legal theoretical tradition, we can extract an ontological naturalistic, a logical empiristic, and a modern idealistic rationale. We introduce the mathematical syntactic figure present in the `logical empiricism' in a contemporary mathematical logic. A new formal framework for describing explicit purchase statutes (Sweden) is gradually developed and subsequently proposed. This new framework is based on a many-sorted first-order logic (MFOL) approach, where the semantics are grounded in concrete `physical' objects and situations with a legal relevance. Specifically, we present a concrete formal syntactic translation of one of the central statutes of Swedish legislation for the purchase of immovable property. Additionally, we discuss the potential implications that a subsequent development of such formalisations would have for constructing artificial agents (e.g., software) that can be used as `co-creative' legal assistance for solving highly complex legal issues concerning the transfer of property, among others.
△ Less
Submitted 29 May, 2021;
originally announced May 2021.
-
Some Pragmatic Prevention's Guidelines regarding SARS-CoV-2 and COVID-19 in Latin-America inspired by mixed Machine Learning Techniques and Artificial Mathematical Intelligence. Case Study: Colombia
Authors:
Danny A. J. Gomez-Ramirez,
Yoe A. Herrera-Jaramillo,
Johana C. Ortega-Giraldo,
Alex M. Ardila-Garcia
Abstract:
We use an enhanced methodology combining specific forms of AI techniques, opinion mining and artificial mathematical intelligence (AMI), with public data on the spread of the coronavirus SARS-CoV-2 and the incidence of COVID-19 disease in Colombia during the first three months since the first reported positive case. The results obtained, together with conceptual tools coming from the global taxono…
▽ More
We use an enhanced methodology combining specific forms of AI techniques, opinion mining and artificial mathematical intelligence (AMI), with public data on the spread of the coronavirus SARS-CoV-2 and the incidence of COVID-19 disease in Colombia during the first three months since the first reported positive case. The results obtained, together with conceptual tools coming from the global taxonomy of fundamental cognitive mechanisms emerging in AMI and with suitable contextual information from Colombian public health and mainstream social media, allowed us to stating specific preventive guidelines for a better restructuring of initial safe and stable life conditions in Colombia, and in an extended manner in similar Latin American Countries. More specifically, we describe three major guidelines: 1) regular creative visualization and effective planning, 2) the continuous use of constructive linguistic frameworks, and 3) frequent and moderate use of kinesthetic routines. They should be understood as effective tools from a cognitive and behavioural perspective, rather than from a biological one. Even more, the first two guidelines should be acknowledged in integral cooperation with the third one regarding the global effect of COVID-19 in human beings as a whole, this includes the mind and body.
△ Less
Submitted 12 May, 2021;
originally announced May 2021.
-
On the Topological Structure of the (Non-) Finitely-generated Locus of Frobenius Algebras emerging from Stanley-Reisner Rings
Authors:
Edisson Gallego,
Juan D. Vélez,
Sergio D. Molina-Aristizabal,
Juan P. Hernandez-Rodas,
Danny A. J. Gómez-Ramírez
Abstract:
In this paper we study initial topological properties of the (non-)finitely-generated locus of Frobenius Algebra coming from Stanley-Reisner rings defined through face ideals. More specifically, we will give a partial answer to a conjecture made by M. Katzman about the openness of the finitely generated locus of such Frobenius algebras. This conjecture can be formulated in a precise manner: Let us…
▽ More
In this paper we study initial topological properties of the (non-)finitely-generated locus of Frobenius Algebra coming from Stanley-Reisner rings defined through face ideals. More specifically, we will give a partial answer to a conjecture made by M. Katzman about the openness of the finitely generated locus of such Frobenius algebras. This conjecture can be formulated in a precise manner: Let us define
\begin{equation*} U=\{P\in \text{Spec}(R)~:~\mathcal{F}(E_{R_{p}})~\text{is a finitely generated}~R_{p}\text{-algebra}\} \end{equation*} where $\mathcal{F}$ denotes the Frobenius functor and $E_{R_{p}}$ the injective hull of the residual field of the local ring $(R_{p},pR_{p})$. Is the locus $U$ an open set in the Zariski Topology? In the case where $R$ is a ring of the form $R=K[[x_{1},\dots ,x_{n}]]/I,$ where $I\subset R$ is a face ideal, i.e., square-free monomial ideal, we show that the corresponding $U$ has non-empty interior. Even more, we prove that in general $U$ contains two different types of opens sets and that in specific situation its complement contains intersections of opens and closes sets in the Zariski topology. Furthermore, we explicitly verify in some non-trivial examples that $U$ is an non-trivial open set.
△ Less
Submitted 11 May, 2021;
originally announced May 2021.
-
Dathematics: A Meta-isomorphic Version of 'Standard' Mathematics based on Proper Classes
Authors:
Danny A. J. Gomez-Ramirez
Abstract:
We show that the (typical) quantitative considerations about proper (as too big) and small classes are just tangential facts regarding the consistency of Zermelo-Fraenkel Set Theory with Choice. Effectively, we will construct a first-order logic theory D-ZFC (Dual theory of ZFC) strictly based on (a particular sub-collection of) proper classes with a corresponding special membership relation, such…
▽ More
We show that the (typical) quantitative considerations about proper (as too big) and small classes are just tangential facts regarding the consistency of Zermelo-Fraenkel Set Theory with Choice. Effectively, we will construct a first-order logic theory D-ZFC (Dual theory of ZFC) strictly based on (a particular sub-collection of) proper classes with a corresponding special membership relation, such that ZFC and D-ZFC are meta-isomorphic frameworks (together with a more general dualization theorem). More specifically, for any standard formal definition, axiom and theorem that can be described and deduced in ZFC, there exists a corresponding `dual' version in D-ZFC and vice versa. Finally, we prove the meta-fact that (classic) mathematics (i.e. theories grounded on ZFC) and dathematics (i.e. dual theories grounded on D-ZFC) are meta-isomorphic. This shows that proper classes are as suitable (primitive notions) as sets for building a foundational framework for mathematics.
△ Less
Submitted 6 April, 2018;
originally announced April 2018.
-
Functional Conceptual Substratum as a New Cognitive Mechanism for Mathematical Creation
Authors:
Danny A. J. Gomez-Ramirez,
Stefan Hetzl
Abstract:
We describe a new cognitive ability, i.e., functional conceptual substratum, used implicitly in the generation of several mathematical proofs and definitions. Furthermore, we present an initial (first-order) formalization of this mechanism together with its relation to classic notions like primitive positive definability and Diophantiveness. Additionally, we analyze the semantic variability of fun…
▽ More
We describe a new cognitive ability, i.e., functional conceptual substratum, used implicitly in the generation of several mathematical proofs and definitions. Furthermore, we present an initial (first-order) formalization of this mechanism together with its relation to classic notions like primitive positive definability and Diophantiveness. Additionally, we analyze the semantic variability of functional conceptual substratum when small syntactic modifications are done. Finally, we describe mathematically natural inference rules for definitions inspired by functional conceptual substratum and show that they are sound and complete w.r.t. standard calculi.
△ Less
Submitted 11 October, 2017;
originally announced October 2017.
-
On Preservation Properties and a Special Algebraic Characterization of Some Stronger Forms of the Noetherian Condition
Authors:
Danny A. J. Gomez-Ramirez,
Juan D. Velez,
Edisson Gallego
Abstract:
We give an elementary proof prove of the preservation of the Noetherian condition for commutative rings with unity $R$ having at least one finitely generated ideal $I$ such that the quotient ring is again finitely generated, and $R$ is $I-$adically complete. Moreover, we offer as a direct corollary a new elementary proof of the fact that if a ring is Noetherian then the corresponding ring of forma…
▽ More
We give an elementary proof prove of the preservation of the Noetherian condition for commutative rings with unity $R$ having at least one finitely generated ideal $I$ such that the quotient ring is again finitely generated, and $R$ is $I-$adically complete. Moreover, we offer as a direct corollary a new elementary proof of the fact that if a ring is Noetherian then the corresponding ring of formal power series in finitely many variables is Noetherian. In addition, we give a counterexample showing that the `completion' condition cannot be avoided on the former theorem. Lastly, we give an elementary characterization of Noetherian commutative rings that can be decomposed as a finite direct product of fields.
△ Less
Submitted 8 September, 2017;
originally announced September 2017.
-
A General Version of the Nullstellensatz for Arbitrary Fields
Authors:
Juan D. Velez,
Danny A. J. Gomez-Ramirez,
Edisson Gallego
Abstract:
We prove a general version of Bezout's form of the Nullstellensatz for arbitrary fields. The corresponding sufficient and necessary condition only involves the local existence of multi-valued roots for each of the polynomials belonging to the ideal in consideration. Finally, this version implies the standard Nullstellensatz when the coefficient field is algebraically closed.
We prove a general version of Bezout's form of the Nullstellensatz for arbitrary fields. The corresponding sufficient and necessary condition only involves the local existence of multi-valued roots for each of the polynomials belonging to the ideal in consideration. Finally, this version implies the standard Nullstellensatz when the coefficient field is algebraically closed.
△ Less
Submitted 15 August, 2017;
originally announced August 2017.
-
Generalizations of the Direct Summand Theorem over UFD-s for some Bigenerated Extensions and an Asymptotic Version of Koh's Conjecture
Authors:
Danny A. J. Gomez-Ramirez,
Edisson Gallego,
Juan D. Velez
Abstract:
This article deals with two different problems in commutative algebra. In the first part, we give a proof of generalized forms of the Direct Summand Theorem (DST (or DCS)) for module-finite extension rings of mixed characteristic $R\subset S$ satisfying the following hypotheses: The base ring $R$ is a Unique Factorization Domain of mixed characteristic zero. We assume that $S$ is generated by two…
▽ More
This article deals with two different problems in commutative algebra. In the first part, we give a proof of generalized forms of the Direct Summand Theorem (DST (or DCS)) for module-finite extension rings of mixed characteristic $R\subset S$ satisfying the following hypotheses: The base ring $R$ is a Unique Factorization Domain of mixed characteristic zero. We assume that $S$ is generated by two elements which satisfy, either radical quadratic equations, or general quadratic equations under certain arithmetical restrictions. In the second part of this article, we discuss an asymptotic version of Koh's Conjecture. We give a model theoretical proof using "non-standard methods".
△ Less
Submitted 10 August, 2017;
originally announced August 2017.
-
Containment-Division Rings and New Characterizations of Dedekind Domains
Authors:
Danny A. J. Gomez-Ramirez,
Juan D. Velez,
Edisson Gallego
Abstract:
We introduce a new class of commutative rings with unity, namely, the Containment-Division Rings (CDR-s). We show that this notion has a very exceptional origin since it was essentially co-discovered with the qualitative help of a computer program (i.e. The Heterogeneous Tool Set (HETS)). Besides, we show that in a Noetherian setting, the CDR-s are just another way of describing Dedekind domains.…
▽ More
We introduce a new class of commutative rings with unity, namely, the Containment-Division Rings (CDR-s). We show that this notion has a very exceptional origin since it was essentially co-discovered with the qualitative help of a computer program (i.e. The Heterogeneous Tool Set (HETS)). Besides, we show that in a Noetherian setting, the CDR-s are just another way of describing Dedekind domains. Simultaneously, we see that for CDR-s, the Noetherian condition can be replaced by a weaker Divisor Chain Condition.
△ Less
Submitted 1 August, 2017;
originally announced August 2017.
-
Towards an Homological Generalization of the Direct Summand Theorem
Authors:
Juan D. Velez,
Danny A. J. Gomez-Ramirez
Abstract:
We present a more general (parametric-) homological characterization of the Direct Summand Theorem. Specifically, we state two new conjectures: the Socle-Parameter conjecture (SPC) in its weak and strong forms. We give a proof for the week form by showing that it is equivalent to the Direct Summand Conjecture (DSC), now known to be true after the work of Y. André, based on Scholze's theory of perf…
▽ More
We present a more general (parametric-) homological characterization of the Direct Summand Theorem. Specifically, we state two new conjectures: the Socle-Parameter conjecture (SPC) in its weak and strong forms. We give a proof for the week form by showing that it is equivalent to the Direct Summand Conjecture (DSC), now known to be true after the work of Y. André, based on Scholze's theory of perfectoids. Furthermore, we prove the SPC in its strong form for the case when the multiplicity of the parameters is smaller or equal than two. Finally, we present a new proof of the DSC in the equicharacteristic case, based on the techniques thus developed.
△ Less
Submitted 31 July, 2017;
originally announced July 2017.
-
Normality and Related Properties of Forcing Algebras
Authors:
Danny A. J. Gomez-Ramirez,
Holger Brenner
Abstract:
We present a sufficient condition for irreducibility of forcing algebras and study the (non)-reducedness phenomenon. Furthermore, we prove a criterion for normality for forcing algebras over a polynomial base ring with coefficients in a perfect field. This gives a geometrical normality criterion for algebraic (forcing) varieties over algebraically closed fields. Besides, we examine in detail an sp…
▽ More
We present a sufficient condition for irreducibility of forcing algebras and study the (non)-reducedness phenomenon. Furthermore, we prove a criterion for normality for forcing algebras over a polynomial base ring with coefficients in a perfect field. This gives a geometrical normality criterion for algebraic (forcing) varieties over algebraically closed fields. Besides, we examine in detail an specific (enlightening) example with several forcing equations. Finally, we compute explicitly the normalization of a particular forcing algebra by means of finding explicitly the generators of the ideal defining it as an affine ring.
△ Less
Submitted 26 July, 2017;
originally announced July 2017.
-
On Positive-Characteristic Semi-Parametric Local-Uniform Reductions of Varieties over Finitely Generated $\mathbb{Q}$-Algebras
Authors:
Edisson Gallego,
Danny A. J. Gomez-Ramirez,
Juan D. Velez
Abstract:
We present a non-standard proof of the fact that the existence of a local (i.e. restricted to a point) characteristic-zero, semi-parametric lifting for a variety defined by the zero locus of polynomial equations over the integers is equivalent to the existence of a collection of local semi-parametric (positive-characteristic) reductions of such variety for almost all primes (i.e. outside a finite…
▽ More
We present a non-standard proof of the fact that the existence of a local (i.e. restricted to a point) characteristic-zero, semi-parametric lifting for a variety defined by the zero locus of polynomial equations over the integers is equivalent to the existence of a collection of local semi-parametric (positive-characteristic) reductions of such variety for almost all primes (i.e. outside a finite set), and such that there exists a global complexity bounding all the corresponding structures involved. Results of this kind are a fundamental tool for transferring theorems in commutative algebra from a characteristic-zero setting to a positive-characteristic one.
△ Less
Submitted 25 July, 2017;
originally announced July 2017.
