Showing 1–41 of 41 results for author: Martín, J S

Approximative compactness in Böchner spaces

Authors: Guillaume Grelier, Jaime San Martín

Abstract: For any $p\in[1,\infty)$, we prove that the set of simple functions taking at most $k$ different values is proximinal in Böchner spaces $L^p(X)$ whenever $X$ is a dual Banach space with $w^*$-sequentially compact unit ball. With additional properties on $X$ and its norm, we show these sets are approximatively $w^*$-compact for $p\in(1,\infty)$ and even approximatively norm-compact under stronger h… ▽ More For any $p\in[1,\infty)$, we prove that the set of simple functions taking at most $k$ different values is proximinal in Böchner spaces $L^p(X)$ whenever $X$ is a dual Banach space with $w^*$-sequentially compact unit ball. With additional properties on $X$ and its norm, we show these sets are approximatively $w^*$-compact for $p\in(1,\infty)$ and even approximatively norm-compact under stronger hypothesis. △ Less

Submitted 23 April, 2024; originally announced April 2024.

Branching diffusion processes and spectral properties of Feynman-Kac semigroup

Authors: Pierre Collet, Sylvie Méléard, Jaime San MARTIN

Abstract: In this article we study the long time behavior of linear functionals of branching diffusion processesas well as the time reversal of the spinal process by means of spectral properties of the Feynman-Kacsemigroup. We generalize for this non Markovian semigroup the theory of quasi-stationary distribution(q.s.d.) and Q-process. The most amazing result is the identification of the law of the reversal… ▽ More In this article we study the long time behavior of linear functionals of branching diffusion processesas well as the time reversal of the spinal process by means of spectral properties of the Feynman-Kacsemigroup. We generalize for this non Markovian semigroup the theory of quasi-stationary distribution(q.s.d.) and Q-process. The most amazing result is the identification of the law of the reversal time spinalprocess issued from q.s.d. with the Q-process of the Feynman-Kac semigroup. △ Less

Submitted 15 April, 2024; originally announced April 2024.

On subreducts of subresiduated lattices and logic

Authors: J. L. Castiglioni, V. Fernández, H. F. Mallea, H. J. San Martín

Abstract: Subresiduated lattices were introduced during the decade of 1970 by Epstein and Horn as an algebraic counterpart of some logics with strong implication previously studied by Lewy and Hacking. These logics are examples of subuintuitionistic logics, i.e., logics in the language of intuitionistic logic that are defined semantically by using Kripke models, in the same way as intuitionistic logic is de… ▽ More Subresiduated lattices were introduced during the decade of 1970 by Epstein and Horn as an algebraic counterpart of some logics with strong implication previously studied by Lewy and Hacking. These logics are examples of subuintuitionistic logics, i.e., logics in the language of intuitionistic logic that are defined semantically by using Kripke models, in the same way as intuitionistic logic is defined, but without requiring of the models some of the properties required in the intuitionistic case. Also in relation with the study of subintuitionistic logics, Celani and Jansana get these algebras as the elements of a subvariety of that of weak Heyting algebras. Here, we study both the implicative and the implicative-infimum subreducts of subresiduated lattices. Besides, we propose a calculus whose algebraic semantics is given by these classes of algebras. Several expansions of this calculi are also studied together to some interesting properties of them. △ Less

Submitted 5 November, 2022; originally announced November 2022.

Proximinality and uniformly approximable sets in $L^p$

Authors: Guillaume Grelier, Jaime San Martín

Abstract: For any $p\in[1,\infty]$, we prove that the set of simple functions taking at most $k$ different values is proximinal in $L^p$ for all $k\geq 1$. We introduce the class of uniformly approximable subsets of $L^p$, which is larger than the class of uniformly integrable sets. This new class is characterized in terms of the $p$-variation if $p\in[1,\infty)$ and in terms of covering numbers if… ▽ More For any $p\in[1,\infty]$, we prove that the set of simple functions taking at most $k$ different values is proximinal in $L^p$ for all $k\geq 1$. We introduce the class of uniformly approximable subsets of $L^p$, which is larger than the class of uniformly integrable sets. This new class is characterized in terms of the $p$-variation if $p\in[1,\infty)$ and in terms of covering numbers if $p=\infty$. We study properties of uniformly approximable sets. In particular, we prove that the convex hull of a uniformly approximable bounded set is also uniformly approximable and that this class is stable under Hölder transformations. We also prove that, for $p\in [1,\infty)$, the unit ball of $L^p$ is uniformly approximable if and only if $L^p$ is finite-dimensional, while for $p=\infty$ the unit ball is always uniformly approximable. △ Less

Submitted 9 August, 2022; originally announced September 2022.

Fermi acceleration in rotating drums

Authors: Krzysztof Burdzy, Mauricio Duarte, Carl-Erik Gauthier, C. Robin Graham, Jaime San Martin

Abstract: Consider hard balls in a bounded rotating drum. If there is no gravitation then there is no Fermi acceleration, i.e., the energy of the balls remains bounded forever. If there is gravitation, Fermi acceleration may arise. A number of explicit formulas for the system without gravitation are given. Some of these are based on an explicit realization, which we derive, of the well-known microcanonical… ▽ More Consider hard balls in a bounded rotating drum. If there is no gravitation then there is no Fermi acceleration, i.e., the energy of the balls remains bounded forever. If there is gravitation, Fermi acceleration may arise. A number of explicit formulas for the system without gravitation are given. Some of these are based on an explicit realization, which we derive, of the well-known microcanonical ensemble measure. △ Less

Submitted 17 December, 2021; originally announced December 2021.

MSC Class: 70L99

A fast algorithm of the shear-compression damage model for the simulation of block caving

Authors: Sergio Gaete, Alejandro Jofre, Rodrigo Lecaros, Gino Montecinos, Jaime H. Ortega, Javier Ramírez-Ganga, Jorge San Martín

Abstract: For underground mine, the current usual technique for ore extraction is block caving, which generates and induces seismic activity in the mine. To understand block caving method is one of the most challenging problems in underground mining. This method relies on gravity to break and transport large amounts of ore and waste. The state of art in damage models is not able to represent the real effect… ▽ More For underground mine, the current usual technique for ore extraction is block caving, which generates and induces seismic activity in the mine. To understand block caving method is one of the most challenging problems in underground mining. This method relies on gravity to break and transport large amounts of ore and waste. The state of art in damage models is not able to represent the real effect of the mining in the rock mass since for example the damage appears in the bottom of the domain under consideration and with this is not possible recover the subsidence sees in the mine. In this paper we present the analysis and implementation of the shear-compression damage model applied to underground mining proposed in (Bonnetier et al. 2020). We propose a fast algorithm based in the usual alternated algorithm used in gradient damage models (Marigo et al. 2016) and show that this new algorithm is faster than the usual algorithm. We show some numerical tests in 3D and present interested simulations for different damage laws producing realistic damage behavior. △ Less

Submitted 29 December, 2020; originally announced December 2020.

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

A shear-compression damage model for the simulation of underground mining by block caving

Authors: Eric Bonnetier, Sergio Gaete, Alejandro Jofre, Rodrigo Lecaros, Gino Montecinos, Jaime H. Ortega, Javier Ramirez-Ganga, Jorge San Martin

Abstract: Block caving is an ore extraction technique used in the copper mines of Chile. It uses gravity to ease the breaking of rocks, and to facilitate the extraction from the mine of the resulting mixture of ore and waste. To simulate this extraction process numerically and better understand its impact on the mine environment, we study 3 variational models for damage, based on the gradient damage model o… ▽ More Block caving is an ore extraction technique used in the copper mines of Chile. It uses gravity to ease the breaking of rocks, and to facilitate the extraction from the mine of the resulting mixture of ore and waste. To simulate this extraction process numerically and better understand its impact on the mine environment, we study 3 variational models for damage, based on the gradient damage model of Pham and Marigo (2010). In these models, the damage criterion may exhibit an anisotropic dependence on the spherical and deviatoric parts of the stress tensor. We report simulations that satisfactorily represent the expected evolution of the stress field in a block caving operation. △ Less

Submitted 22 December, 2020; v1 submitted 20 December, 2020; originally announced December 2020.

The Takagi Curve and the $β$-Cantor Function from Mechanical Laws

Authors: Javier Rodríguez-Cuadrado, Jesús San Martín

Abstract: This work shows that fractals can be obtained from Mechanical Laws without being forced by any algorithm, closing the gap between the Platonic world of Mathematics and Nature. Fractal tree crown directly emerges when applying elasticity theory to branching stresses in a binary tree. Vertical displacements of nodes are given by the Takagi curve, while the horizontal ones are given by a linear combi… ▽ More This work shows that fractals can be obtained from Mechanical Laws without being forced by any algorithm, closing the gap between the Platonic world of Mathematics and Nature. Fractal tree crown directly emerges when applying elasticity theory to branching stresses in a binary tree. Vertical displacements of nodes are given by the Takagi curve, while the horizontal ones are given by a linear combination of inverses of $β$-Cantor functions. In addition, both fractal dimensions are related, which suggests a deeper connection between the Takagi Curve and the $β$-Cantor function. △ Less

Submitted 2 December, 2020; originally announced December 2020.

Scaling limits of bisexual Galton-Watson processes

Authors: Vincent Bansaye, Maria-Emilia Caballero, Sylvie Méléard, Jaime San Martin

Abstract: Bisexual Galton-Watson processes are discrete Markov chains where reproduction events are due to mating of males and females. Owing to this interaction, the standard branching property of Galton-Watson processes is lost. We prove tightness for conveniently rescaled bisexual Galton-Watson processes, based on recent techniques developed by Bansaye, Caballero and M{é}l{é}ard. We also identify the pos… ▽ More Bisexual Galton-Watson processes are discrete Markov chains where reproduction events are due to mating of males and females. Owing to this interaction, the standard branching property of Galton-Watson processes is lost. We prove tightness for conveniently rescaled bisexual Galton-Watson processes, based on recent techniques developed by Bansaye, Caballero and M{é}l{é}ard. We also identify the possible limits of these rescaled processes as solutions of a stochastic system, coupling two equations through singular coefficients in Poisson terms added to square roots as coefficients of Brownian motions. Under some additional integrability assumptions, pathwise uniqueness of this limiting system of stochastic differential equations and convergence of the rescaled processes are obtained. Two examples corresponding to mutual fidelity are considered. △ Less

Submitted 9 June, 2020; originally announced June 2020.

Powers of Brownian Green Potentials

Authors: Claude Dellacherie, Mauricio Duarte, Servet Martínez, Jaime San Martín, Pierre Vandaele

Abstract: In this article we study stability properties of $g_O$, the standard Green kernel for $O$ an open regular set in $R^d$. In $d\ge 3$ we show that $g_O^β$ is again a Green kernel of a Markov Feller process, for any power $β\in [1,d/(d-2))$. In dimension $d=2$, if $O$ is an open Greenian regular set, we show the same result for $g_O^β$, for any $β\ge 1$ and for the kernel $\exp(αg_O)$, when… ▽ More In this article we study stability properties of $g_O$, the standard Green kernel for $O$ an open regular set in $R^d$. In $d\ge 3$ we show that $g_O^β$ is again a Green kernel of a Markov Feller process, for any power $β\in [1,d/(d-2))$. In dimension $d=2$, if $O$ is an open Greenian regular set, we show the same result for $g_O^β$, for any $β\ge 1$ and for the kernel $\exp(αg_O)$, when $α\in (0,2π)$. △ Less

Submitted 6 April, 2020; originally announced April 2020.

Comments: 30 pages

MSC Class: 60J45; 60J65; 60J25

Inverse M-matrix, a new characterization

Authors: Claude Dellacherie, Servet Martinez, Jaime San Martin

Abstract: In this article we present a new characterization of inverse M-matrices, inverse row diagonally dominant M-matrices and inverse row and column diagonally dominant M-matrices, based on the positivity of certain inner products. In this article we present a new characterization of inverse M-matrices, inverse row diagonally dominant M-matrices and inverse row and column diagonally dominant M-matrices, based on the positivity of certain inner products. △ Less

Submitted 21 February, 2020; originally announced February 2020.

Comments: 9 pages

MSC Class: 15B35 (Primary); 15B51; 60J10 ACM Class: G.3

On the free frontal implicative semilattice extension of a frontal Hilbert algebra

Authors: Ramon Jansana, Hernan Javier San Martin

Abstract: In this paper we define a functor from the algebraic category of frontal Hilbert algebras to the algebraic category of frontal implicative semilattices which is left adjoint to the forgetful functor from the category of frontal implicative semilattices to that of frontal Hilbert algebras. In this paper we define a functor from the algebraic category of frontal Hilbert algebras to the algebraic category of frontal implicative semilattices which is left adjoint to the forgetful functor from the category of frontal implicative semilattices to that of frontal Hilbert algebras. △ Less

Submitted 8 November, 2018; originally announced November 2018.

Prelinear Hilbert algebras

Authors: Jose Luis Castiglioni, Sergio A. Celani, Hernan J. San Martin

Abstract: In this paper we give an explicit description of the left adjoint of the forgetful functor from the algebraic category of Gödel algebras (i.e., prelinear Heyting algebras) to the algebraic category of bounded prelinear Hilbert algebras. We apply this result in order to study possible descriptions of the coproduct of two finite algebras in the algebraic category of prelinear Hilbert algebras. In this paper we give an explicit description of the left adjoint of the forgetful functor from the algebraic category of Gödel algebras (i.e., prelinear Heyting algebras) to the algebraic category of bounded prelinear Hilbert algebras. We apply this result in order to study possible descriptions of the coproduct of two finite algebras in the algebraic category of prelinear Hilbert algebras. △ Less

Submitted 6 September, 2018; originally announced September 2018.

Variations of the free implicative semilattice extension of a Hilbert algebra

Authors: José L. Castiglioni, Hernán J. San Martín

Abstract: In [{\it On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--207], Celani and Jansana give an explicit description of the free implicative semilattice extension of a Hilbert algebra. In this paper we give an alternative path conducing to this construction. Furthermore, following our procedure, we show that an adjunction can be obtain… ▽ More In [{\it On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--207], Celani and Jansana give an explicit description of the free implicative semilattice extension of a Hilbert algebra. In this paper we give an alternative path conducing to this construction. Furthermore, following our procedure, we show that an adjunction can be obtained between the algebraic categories of Hilbert algebras with supremum and that of generalized Heyting algebras. Finally, in last section we describe a functor from the algebraic category of Hilbert algebras to that of generalized Heyting algebras, of possible independent interest. △ Less

Submitted 5 July, 2018; originally announced July 2018.

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

Convergence to the Mean Field Game Limit: A Case Study

Authors: Marcel Nutz, Jaime San Martin, Xiaowei Tan

Abstract: We study the convergence of Nash equilibria in a game of optimal stop**. If the associated mean field game has a unique equilibrium, any sequence of $n$-player equilibria converges to it as $n\to\infty$. However, both the finite and infinite player versions of the game often admit multiple equilibria. We show that mean field equilibria satisfying a transversality condition are limit points of… ▽ More We study the convergence of Nash equilibria in a game of optimal stop**. If the associated mean field game has a unique equilibrium, any sequence of $n$-player equilibria converges to it as $n\to\infty$. However, both the finite and infinite player versions of the game often admit multiple equilibria. We show that mean field equilibria satisfying a transversality condition are limit points of $n$-player equilibria, but we also exhibit a remarkable class of mean field equilibria that are not limits, thus questioning their interpretation as "large $n$" equilibria. △ Less

Submitted 28 May, 2019; v1 submitted 3 June, 2018; originally announced June 2018.

Comments: Forthcoming in 'Annals of Applied Probability'

MSC Class: 91A13; 60G40; 91A15; 91A55

On principal congruences in distributive lattices with a commutative monoidal operation and an implication

Authors: Ramon Jansana, Hernan Javier San Martin

Abstract: In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in this variety. We apply this description in order to study compatible functions. In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in this variety. We apply this description in order to study compatible functions. △ Less

Submitted 18 April, 2018; originally announced April 2018.

Diffusions from Infinity

Authors: Vincent Bansaye, Pierre Collet, Servet Martinez, Sylvie Méléard, Jaime San Martin

Abstract: In this paper we consider diffusions on the half line (0, $\infty$) such that the expectation of the arrival time at the origin is uniformly bounded in the initial point. This implies that there is a well defined diffusion process starting from infinity, which takes finite values at positive times. We study the behaviour of hitting times of large barriers and in a dual way, the behaviour of the pr… ▽ More In this paper we consider diffusions on the half line (0, $\infty$) such that the expectation of the arrival time at the origin is uniformly bounded in the initial point. This implies that there is a well defined diffusion process starting from infinity, which takes finite values at positive times. We study the behaviour of hitting times of large barriers and in a dual way, the behaviour of the process starting at infinity for small time. In particular we prove that the process coming down from infinity is in small time governed by a specific deterministic function. Suitably normalized fluctuations of the hitting times are asymptotically Gaussian. We also derive the tail of the distribution of the hitting time of the origin and a Yaglom limit for the diffusion starting from infinity. We finally prove that the distribution of this process killed at the origin is absolutely continuous with respect to the speed measure. The density is expressed in terms of the eigenvalues and eigenfunctions of the generator of the killed diffusion. △ Less

Submitted 23 November, 2017; originally announced November 2017.

A Note on the Quasi-Stationary Distribution of the Shiryaev Martingale on the Positive Half-Line

Authors: Aleksey S. Polunchenko, Servet Martinez, Jaime San Martin

Abstract: We obtain a closed-form formula for the quasi-stationary distribution of the classical Shiryaev martingale diffusion considered on the positive half-line $[A,+\infty)$ with $A>0$ fixed; the state space's left endpoint is assumed to be the killing boundary. The formula is obtained analytically as the solution of the appropriate singular Sturm-Liouville problem; the latter was first considered in Se… ▽ More We obtain a closed-form formula for the quasi-stationary distribution of the classical Shiryaev martingale diffusion considered on the positive half-line $[A,+\infty)$ with $A>0$ fixed; the state space's left endpoint is assumed to be the killing boundary. The formula is obtained analytically as the solution of the appropriate singular Sturm-Liouville problem; the latter was first considered in Section 7.8.2 of Collet et al. (2013), but has heretofore remained unsolved. △ Less

Submitted 14 November, 2017; originally announced November 2017.

Comments: To appear in Theory of Probability and Its Applications, 16 pages, 15 figures

MSC Class: 60J60; 60F99; 33C15

Asymptotic error distribution for the Euler scheme with locally Lipschitz coefficients

Authors: Philip Protter, Lisha Qiu, Jaime San Martin

Abstract: In traditional work on numerical schemes for solving stochastic differential equations (SDEs), it is usually assumed that the coefficients are globally Lipschitz. This assumption has been used to establish a powerful analysis of the numerical approximations of the solutions of stochastic differential equations. In practice, however, the globally Lipschitz assumption on the coefficients is on occas… ▽ More In traditional work on numerical schemes for solving stochastic differential equations (SDEs), it is usually assumed that the coefficients are globally Lipschitz. This assumption has been used to establish a powerful analysis of the numerical approximations of the solutions of stochastic differential equations. In practice, however, the globally Lipschitz assumption on the coefficients is on occasion too stringent a requirement to meet. Some Brownian motion driven SDEs used in applications have coefficients that are Lipschitz only on compact sets. Reflecting the importance of the locally Lipschitz case, it has been well studied in recent years, yet some simple to state, fundamental results remain unproved. We attempt to fill these gaps in this paper, establishing both a rate of convergence, but also we find the asymptotic normalized error process of the error process arising from a sequence of approximations. The result is analogous to the original result of this type, established in KT1991-2 back in 1991. This result was improved in 1998 in JJ1998, and recently(2009) it was partially extended in AN. As we indicate, the results in our paper provide the basis of a statistical analysis of the error; in this spirit we give conditions for a finite variance. △ Less

Submitted 13 September, 2017; originally announced September 2017.

Comments: 26 pages

MSC Class: 60H10; 60H35; 60J35; 60J65

On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices

Authors: Ramon Jansana, Hernán Javier San Martín

Abstract: Hemi-implicative semilattices (lattices), originally defined under the name of weak implicative semilattices (lattices), were introduced by the second author of the present paper. A hemi-implicative semilattice is an algebra $(H,\wedge,\rightarrow,1)$ of type $(2,2,0)$ such that $(H,\wedge)$ is a meet semilattice, $1$ is the greatest element with respect to the order, $a\rightarrow a = 1$ for ever… ▽ More Hemi-implicative semilattices (lattices), originally defined under the name of weak implicative semilattices (lattices), were introduced by the second author of the present paper. A hemi-implicative semilattice is an algebra $(H,\wedge,\rightarrow,1)$ of type $(2,2,0)$ such that $(H,\wedge)$ is a meet semilattice, $1$ is the greatest element with respect to the order, $a\rightarrow a = 1$ for every $a\in H$ and for every $a$, $b$, $c\in H$, if $a\leq b\rightarrow c$ then $a\wedge b \leq c$. A bounded hemi-implicative semilattice is an algebra $(H,\wedge,\rightarrow,0,1)$ of type $(2,2,0,0)$ such that $(H,\wedge,\rightarrow,1)$ is a hemi-implicative semilattice and $0$ is the first element with respect to the order. A hemi-implicative lattice is an algebra $(H,\wedge,\vee,\rightarrow,0,1)$ of type $(2,2,2,0,0)$ such that $(H,\wedge,\vee,0,1)$ is a bounded distributive lattice and the reduct algebra $(H,\wedge,\rightarrow,1)$ is a hemi-implicative semilattice. In this paper we introduce an equivalence for the categories of bounded hemi-implicative semilattices and hemi-implicative lattices, respectively, which is motivated by an old construction due J. Kalman that relates bounded distributive lattices and Kleene algebras. △ Less

Submitted 30 August, 2017; originally announced August 2017.

The morphology of MSS-sequences in a wide class of unimodal maps, its structure and decomposition

Authors: Jesús San Martín, Antonia González Gómez, Fernando Blasco

Abstract: The MSS-sequences (U-sequences) in a wide class of unimodal maps have the look $\mathrm{P}=(\mathrm{R} \mathrm{L}^{q})^{n_1} \mathrm{S}_1(m_1,q-1) (\mathrm{R} \mathrm{L}^{q})^{n_2}\mathrm{S}_2(m_2,q-1) $ $\ldots$ $ (\mathrm{R} \mathrm{L}^{q})^{n_r}$ $ \mathrm{S}_r(m_r,q-1)\mathrm{C},$ where $\mathrm{S}_i(m_i, q-1)$ are sequences of $\mathrm{R}$s and $\mathrm{L}$s that contain at most $q-1$ consecu… ▽ More The MSS-sequences (U-sequences) in a wide class of unimodal maps have the look $\mathrm{P}=(\mathrm{R} \mathrm{L}^{q})^{n_1} \mathrm{S}_1(m_1,q-1) (\mathrm{R} \mathrm{L}^{q})^{n_2}\mathrm{S}_2(m_2,q-1) $ $\ldots$ $ (\mathrm{R} \mathrm{L}^{q})^{n_r}$ $ \mathrm{S}_r(m_r,q-1)\mathrm{C},$ where $\mathrm{S}_i(m_i, q-1)$ are sequences of $\mathrm{R}$s and $\mathrm{L}$s that contain at most $q-1$ consecutive $\mathrm{L}$s. The first block $\mathrm{RL}^q$ and the sequence $\mathrm{S}_1$ following it are essential for an admissible sequence to be a MSS-sequence. Moreover $\mathrm{S}_i(m_i,q-1), \ i=2, \ldots, r$ are determined by $\mathrm{S}_1(m_1,q-1)$. Explicit structure of MSS-sequences will be given as well as the theorems that decompose the non-primary MSS-sequences. The cardinality will be calculated for some important sets of non-primary MSS-sequences and an algorithm to generate the blocks $\mathrm{S}_i(m_i,q-1), \ i=1, \ldots, r$ will be provided, as the construction of the blocks $\mathrm{S}_i(m_i,q-1)$ allows the construction of the MSS-sequences. △ Less

Submitted 2 April, 2018; v1 submitted 23 June, 2017; originally announced June 2017.

On the free Heyting algebra extension of a Hilbert algebra

Authors: J. L. Castiglioni, H. J. San Martín

Abstract: In this paper we provided an explicit construction for the left adjoint of the forgetful functor from the category of Heyting algebras to that of Hilbert algebras. This functor factorizes through the free implicative semilattice extension of a Hilbert algebra of Celani and Jansana [On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--… ▽ More In this paper we provided an explicit construction for the left adjoint of the forgetful functor from the category of Heyting algebras to that of Hilbert algebras. This functor factorizes through the free implicative semilattice extension of a Hilbert algebra of Celani and Jansana [On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--207]. △ Less

Submitted 29 November, 2017; v1 submitted 10 May, 2017; originally announced May 2017.

Comments: Main result is not true. It only holds under extra hypothesis. A new corrected version will be upload soon

On a symmetrization of hemiimplicative semilattices

Authors: José Luis Castiglioni, Hernán Javier San Martín

Abstract: A hemiimplicative semilattice is a bounded semilattice $(A, \wedge, 1)$ endowed with a binary operation $\to$, satisfying that for every $a, b, c \in A$, $a \leq b \to c$ implies $a \wedge b \leq c$ (that is to say, one of the conditionals satisfied by the residuum of the infimum) and the equation $a \to a = 1$. The class of hemiimplicative semilattices form a variety. These structures provide a g… ▽ More A hemiimplicative semilattice is a bounded semilattice $(A, \wedge, 1)$ endowed with a binary operation $\to$, satisfying that for every $a, b, c \in A$, $a \leq b \to c$ implies $a \wedge b \leq c$ (that is to say, one of the conditionals satisfied by the residuum of the infimum) and the equation $a \to a = 1$. The class of hemiimplicative semilattices form a variety. These structures provide a general framework for the study of different structures of interest in algebraic logic. In any hemiimplicative semilattice it is possible to define a derived operation by $a \sim b := (a \to b) \wedge (b \to a)$. Endowing $(A, \wedge, 1)$ with the binary operation $\sim$ results again a hemiimplicative semilattice, which also satisfies the identity $a \sim b = b \sim a$. We call the elements of the subvariety of hemiimplicative semilattices satisfying $a \to b = b \to a$, a symmetric hemiimplicative semilattice. In this article, we study the correspondence assigning the symmetric hemiimplicative semilattice $(A, \wedge, \sim , 1)$ to the hemiimplicative semilattice $(A, \wedge, \to, 1)$. In particular, we characterize the image of this correspondence. We also provide many new examples of hemiimplicative semilattice structures on any bounded semillatice (possibly with bottom). Finally, we characterize congruences on the clases of hemiimplicative semilattices introduced as examples and we describe the principal congruences of hemiimplicative semilattices. △ Less

Submitted 29 November, 2016; originally announced November 2016.

Comments: 15 pages

Dispersion tensor and its unique minimizer in Hashin-Shtrikman micro-structures

Authors: Loredana Bălilescu, Carlos Conca, Tuhin Ghosh, Jorge San Martín, Muthusamy Vanninathan

Abstract: In this paper, we introduce the macroscopic quantity, namely the dispersion tensor or the \textit{Burnett coefficient}s in the class of generalized Hashin-Shtrikman micro-structures \cite[page no. 281]{T}. In the case of two-phase materials associated with the periodic Hashin-Shtrikman structures, we settle the issue that the dispersion tensor has an unique minimizer, which is so called Apollonian… ▽ More In this paper, we introduce the macroscopic quantity, namely the dispersion tensor or the \textit{Burnett coefficient}s in the class of generalized Hashin-Shtrikman micro-structures \cite[page no. 281]{T}. In the case of two-phase materials associated with the periodic Hashin-Shtrikman structures, we settle the issue that the dispersion tensor has an unique minimizer, which is so called Apollonian-Hashin-Shtrikman micro-structure. △ Less

Submitted 26 August, 2016; originally announced August 2016.

MSC Class: 74Q10; 78M40; 35B27

Bloch wave spectral analysis in the class of generalized Hashin-Shtrikman micro-structures

Authors: Loredana Bălilescu, Carlos Conca, Tuhin Ghosh, Jorge San Martín, Muthusamy Vanninathan

Abstract: In this paper, we use spectral methods by introducing the Bloch waves to study the homogenization process in the non-periodic class of generalized Hashin-Shtrikman micro-structures \cite[page no. 281]{T}, which incorporates both translation and dilation with a family of scales, including one subclass of laminates. We establish the classical homogenization result with providing the spectral represe… ▽ More In this paper, we use spectral methods by introducing the Bloch waves to study the homogenization process in the non-periodic class of generalized Hashin-Shtrikman micro-structures \cite[page no. 281]{T}, which incorporates both translation and dilation with a family of scales, including one subclass of laminates. We establish the classical homogenization result with providing the spectral representation of the homogenized coefficients. It offers a new lead towards extending the Bloch spectral analysis in the non-periodic, non-commutative class of micro-structures. △ Less

Submitted 26 August, 2016; originally announced August 2016.

MSC Class: 74Q10; 78M40

Asymptotics for the heat kernel in multicone domains

Authors: Pierre Collet, Mauricio Duarte, Servet Martinez, Arturo Prat-Waldron, Jaime San Martin

Abstract: A multi cone domain $Ω\subseteq \mathbb{R}^n$ is an open, connected set that resembles a finite collection of cones far away from the origin. We study the rate of decay in time of the heat kernel $p(t,x,y)$ of a Brownian motion killed upon exiting $Ω$, using both probabilistic and analytical techniques. We find that the decay is polynomial and we characterize $\lim_{t\to\infty} t^{1+α}p(t,x,y)$ in… ▽ More A multi cone domain $Ω\subseteq \mathbb{R}^n$ is an open, connected set that resembles a finite collection of cones far away from the origin. We study the rate of decay in time of the heat kernel $p(t,x,y)$ of a Brownian motion killed upon exiting $Ω$, using both probabilistic and analytical techniques. We find that the decay is polynomial and we characterize $\lim_{t\to\infty} t^{1+α}p(t,x,y)$ in terms of the Martin boundary of $Ω$ at infinity, where $α>0$ depends on the geometry of $Ω$. We next derive an analogous result for $t^{κ/2}\mathbb{P}_x(T >t)$, with $κ= 1+α- n/2$, where $T$ is the exit time form $Ω$. Lastly, we deduce the renormalized Yaglom limit for the process conditioned on survival. △ Less

Submitted 23 January, 2015; v1 submitted 19 January, 2015; originally announced January 2015.

Comments: 31 pages

MSC Class: 60J65; 35K08; 35B40

Heterogeneous, Weakly Coupled Map Lattices

Authors: Dolores Sotelo Herrera, Jesús San Martín, Mason A. Porter

Abstract: Coupled map lattices (CMLs) are often used to study emergent phenomena in nature. It is typically assumed (unrealistically) that each component is described by the same map, and it is important to relax this assumption. In this paper, we characterize periodic orbits and the laminar regime of type-I intermittency in heterogeneous weakly coupled map lattices (HWCMLs). We show that the period of a cy… ▽ More Coupled map lattices (CMLs) are often used to study emergent phenomena in nature. It is typically assumed (unrealistically) that each component is described by the same map, and it is important to relax this assumption. In this paper, we characterize periodic orbits and the laminar regime of type-I intermittency in heterogeneous weakly coupled map lattices (HWCMLs). We show that the period of a cycle in an HWCML is preserved for arbitrarily small coupling strengths even when an associated uncoupled oscillator would experience a period-doubling cascade. Our results characterize periodic orbits both near and far from saddle--node bifurcations, and we thereby provide a key step for examining the bifurcation structure of heterogeneous CMLs. △ Less

Submitted 10 December, 2015; v1 submitted 1 August, 2014; originally announced August 2014.

Convergence Time Towards Periodic Orbits in Discrete Dynamical Systems

Authors: Jesús San Martín, Mason A. Porter

Abstract: We investigate the convergence towards periodic orbits in discrete dynamical systems. We examine the probability that a randomly chosen point converges to a particular neighborhood of a periodic orbit in a fixed number of iterations, and we use linearized equations to examine the evolution near that neighborhood. The underlying idea is that points of stable periodic orbit are associated with inter… ▽ More We investigate the convergence towards periodic orbits in discrete dynamical systems. We examine the probability that a randomly chosen point converges to a particular neighborhood of a periodic orbit in a fixed number of iterations, and we use linearized equations to examine the evolution near that neighborhood. The underlying idea is that points of stable periodic orbit are associated with intervals. We state and prove a theorem that details what regions of phase space are mapped into these intervals (once they are known) and how many iterations are required to get there. We also construct algorithms that allow our theoretical results to be implemented successfully in practice. △ Less

Submitted 18 April, 2014; v1 submitted 20 June, 2013; originally announced June 2013.

Comments: 17 pages; 7 figures

Journal ref: PLoS ONE 9(4): e92652

Stochastic models for a chemostat and long time behavior

Authors: Pierre Collet, Servet Martinez, Sylvie Meleard, Jaime San Martin

Abstract: We introduce two stochastic chemostat models consisting in a coupled population-nutrient process reflecting the interaction between the nutrient and the bacterias in the chemostat with finite volume. The nutrient concentration evolves continuously but depending on the population size, while the population size is a birth and death process with coefficients depending on time through the nutrient co… ▽ More We introduce two stochastic chemostat models consisting in a coupled population-nutrient process reflecting the interaction between the nutrient and the bacterias in the chemostat with finite volume. The nutrient concentration evolves continuously but depending on the population size, while the population size is a birth and death process with coefficients depending on time through the nutrient concentration. The nutrient is shared by the bacteria and creates a regulation of the bacterial population size. The latter and the fluctuations due to the random births and deaths of individuals make the population go almost surely to extinction. Therefore, we are interested in the long time behavior of the bacterial population conditioned to the non-extinction. We prove the global existence of the process and its almost sure extinction. The existence of quasi-stationary distributions is obtained based on a general fixed point argument. Moreover, we prove the absolute continuity of the nutrient distribution when conditioned to a fixed number of individuals and the smoothness of the corresponding densities. △ Less

Submitted 16 June, 2012; originally announced June 2012.

Existence and uniqueness of a quasi-stationary distribution for Markov processes with fast return from infinity

Authors: Servet Martinez, Jaime San Martin, Denis Villemonais

Abstract: We study the long time behaviour of a Markov process evolving in $\mathbb{N}$ and conditioned not to hit 0. Assuming that the process comes back quickly from infinity, we prove that the process admits a unique quasi-stationary distribution (in particular, the distribution of the conditioned process admits a limit when time goes to infinity). Moreover, we prove that the distribution of the process… ▽ More We study the long time behaviour of a Markov process evolving in $\mathbb{N}$ and conditioned not to hit 0. Assuming that the process comes back quickly from infinity, we prove that the process admits a unique quasi-stationary distribution (in particular, the distribution of the conditioned process admits a limit when time goes to infinity). Moreover, we prove that the distribution of the process converges exponentially fast in total variation norm to its quasi-stationary distribution and we provide an explicit rate of convergence. As a first application of our result, we bring a new insight on the speed of convergence to the quasi-stationary distribution for birth and death processes: we prove that these processes converge exponentially fast to a quasi-stationary distribution if and only if they have a unique quasi-stationary distribution. Also, considering the lack of results on quasi-stationary distributions for non-irreducible processes on countable spaces, we show, as a second application of our result, the existence and uniqueness of a quasi-stationary distribution for a class of possibly non-irreducible processes. △ Less

Submitted 3 April, 2013; v1 submitted 3 February, 2012; originally announced February 2012.

Comments: 17 pages

MSC Class: 37A25; 60B10; 60F99; 60J80

A general stability criterion for switched linear systems having stable and unstable subsystems

Authors: Jesus San Martin, Anthony G. O'Farrell

Abstract: We report conditions on a switching signal that guarantee that solutions of a switched linear systems converge asymptotically to zero. These conditions are apply to continuous, discrete-time and hybrid switched linear systems, both those having stable subsystems and mixtures of stable and unstable subsystems. We report conditions on a switching signal that guarantee that solutions of a switched linear systems converge asymptotically to zero. These conditions are apply to continuous, discrete-time and hybrid switched linear systems, both those having stable subsystems and mixtures of stable and unstable subsystems. △ Less

Submitted 11 June, 2012; v1 submitted 5 May, 2009; originally announced May 2009.

Journal ref: Int. J. Adaptive Control Signal Processing 27 (2013) 1000-11

Quasi-stationary distributions for structured birth and death processes with mutations

Authors: Pierre Collet, Servet Martinez, Sylvie Méléard, Jaime San Martin

Abstract: We study the probabilistic evolution of a birth and death continuous time measure-valued process with mutations and ecological interactions. The individuals are characterized by (phenotypic) traits that take values in a compact metric space. Each individual can die or generate a new individual. The birth and death rates may depend on the environment through the action of the whole population. Th… ▽ More We study the probabilistic evolution of a birth and death continuous time measure-valued process with mutations and ecological interactions. The individuals are characterized by (phenotypic) traits that take values in a compact metric space. Each individual can die or generate a new individual. The birth and death rates may depend on the environment through the action of the whole population. The offspring can have the same trait or can mutate to a randomly distributed trait. We assume that the population will be extinct almost surely. Our goal is the study, in this infinite dimensional framework, of quasi-stationary distributions when the process is conditioned on non-extinction. We firstly show in this general setting, the existence of quasi-stationary distributions. This result is based on an abstract theorem proving the existence of finite eigenmeasures for some positive operators. We then consider a population with constant birth and death rates per individual and prove that there exists a unique quasi-stationary distribution with maximal exponential decay rate. The proof of uniqueness is based on an absolute continuity property with respect to a reference measure. △ Less

Submitted 22 April, 2009; originally announced April 2009.

Comments: 39 pages

MSC Class: 92D25 (Primary); 60K35; 60J70; 60J80 (Secondary)

Ultrametric and tree potential

Authors: Claude Dellacherie, Servet Martinez, Jaime San Martin

Abstract: We study infinite tree and ultrametric matrices, and their action on the boundary of the tree. For each tree matrix we show the existence of a symmetric random walk associated to it and we study its Green potential. We provide a representation theorem for harmonic functions that includes simple expressions for any increasing harmonic function and the Martin kernel. In the boundary, we construct… ▽ More We study infinite tree and ultrametric matrices, and their action on the boundary of the tree. For each tree matrix we show the existence of a symmetric random walk associated to it and we study its Green potential. We provide a representation theorem for harmonic functions that includes simple expressions for any increasing harmonic function and the Martin kernel. In the boundary, we construct the Markov kernel whose Green function is the extension of the matrix and we simulate it by using a cascade of killing independent exponential random variables and conditionally independent uniform variables. For ultrametric matrices we supply probabilistic conditions to study its potential properties when immersed in its minimal tree matrix extension. △ Less

Submitted 7 May, 2007; originally announced May 2007.

Comments: 4 figures

MSC Class: 60J45; 60J15

Quasi-stationary distributions and diffusion models in population dynamics

Authors: Patrick Cattiaux, Pierre Collet, Amaury Lambert, Servet Martinez, Sylvie Méléard, Jaime San Martin

Abstract: In this paper, we study quasi-stationarity for a large class of Kolmogorov diffusions. The main novelty here is that we allow the drift to go to $- \infty$ at the origin, and the diffusion to have an entrance boundary at $+\infty$. These diffusions arise as images, by a deterministic map, of generalized Feller diffusions, which themselves are obtained as limits of rescaled birth--death processes… ▽ More In this paper, we study quasi-stationarity for a large class of Kolmogorov diffusions. The main novelty here is that we allow the drift to go to $- \infty$ at the origin, and the diffusion to have an entrance boundary at $+\infty$. These diffusions arise as images, by a deterministic map, of generalized Feller diffusions, which themselves are obtained as limits of rescaled birth--death processes. Generalized Feller diffusions take nonnegative values and are absorbed at zero in finite time with probability 1. An important example is the logistic Feller diffusion. We give sufficient conditions on the drift near 0 and near $+ \infty$ for the existence of quasi-stationary distributions, as well as rate of convergence in the Yaglom limit and existence of the $Q$-process. We also show that under these conditions, there is exactly one quasi-stationary distribution, and that this distribution attracts all initial distributions under the conditional evolution, if and only if $+\infty$ is an entrance boundary. In particular this gives a sufficient condition for the uniqueness of quasi-stationary distributions. In the proofs spectral theory plays an important role on $L^2$ of the reference measure for the killed process. △ Less

Submitted 26 January, 2009; v1 submitted 27 March, 2007; originally announced March 2007.

MSC Class: 92D25 (Primary); 37A30 (Secondary); 60K35; 60J60; 60J85; 60J70

Domain of attraction of the quasi-stationary distributions for the Ornstein-Uhlenbeck process

Authors: Manuel Lladser, Jaime San Martin

Abstract: Let $X=(X_t)$ be a one-dimensional Ornstein-Uhlenbeck process with an initial density function $f$ supported on the positive real-line that is a regularly varying function with exponent $-(1+η)$, with $η\in (0,1)$. We prove the existence of a probability measure $ν$ with a Lebesgue density, depending on $η$, such that for every Borel set $A$ of the positive real-line:… ▽ More Let $X=(X_t)$ be a one-dimensional Ornstein-Uhlenbeck process with an initial density function $f$ supported on the positive real-line that is a regularly varying function with exponent $-(1+η)$, with $η\in (0,1)$. We prove the existence of a probability measure $ν$ with a Lebesgue density, depending on $η$, such that for every Borel set $A$ of the positive real-line: $\lim_{t\to\infty} P_f(X_t\in A | T_0^X>t)=ν(A)$, where $T_0^X$ is the hitting time of 0 of $X$. △ Less

Submitted 16 June, 2006; originally announced June 2006.

Comments: 11 pages

MSC Class: 60H10; 65C30

Journal ref: J. Appl. Probab. 37, no. 2 (2000), 511-521

Linear Stochastic Differential Equations Driven by a Fractional Brownian Motion with Hurst Parameter less than 1/2

Authors: Jorge A. Leon, Jaime San Martin

Abstract: In this paper we use the chaos decomposition approach to establish the existence of a unique continuous solution to linear fractional differential equations of the Skorohod type. Here the coefficients are deterministic, the inital condition is anticipating and the underlying fractional Brownian motion has Hurst parameter less than 1/2. We provide an explicit expression for the chaos decompositio… ▽ More In this paper we use the chaos decomposition approach to establish the existence of a unique continuous solution to linear fractional differential equations of the Skorohod type. Here the coefficients are deterministic, the inital condition is anticipating and the underlying fractional Brownian motion has Hurst parameter less than 1/2. We provide an explicit expression for the chaos decomposition of the solution in order to show our results. △ Less

Submitted 27 March, 2006; originally announced March 2006.

MSC Class: 60H20; 60H05; 60H07

Hadamard functions of inverse M-Matrices

Authors: Claude Dellacherie, Servet Martinez, Jaime San Martin

Abstract: We prove that the class of GUM matrices is the largest class of bi-potential matrices stable under Hadamard increasing functions. We also show that any power greater than 1, in the sense of Hadamard functions, of an inverse M-matrix is also inverse M-matrix showing a conjecture stated in Neumann 1998. We study the class of filtered matrices, which include naturally the GUM matrices, and present… ▽ More We prove that the class of GUM matrices is the largest class of bi-potential matrices stable under Hadamard increasing functions. We also show that any power greater than 1, in the sense of Hadamard functions, of an inverse M-matrix is also inverse M-matrix showing a conjecture stated in Neumann 1998. We study the class of filtered matrices, which include naturally the GUM matrices, and present some sufficient conditions for a filtered matrix to be a bi-potential. △ Less

Submitted 27 January, 2006; originally announced January 2006.

MSC Class: 15A48; 15A51; 60J45

Stationary processes whose filtrations are standard

Authors: X. Bressaud, A. Maass, S. Martinez, J. San Martin

Abstract: We study the standard property of the natural filtration associated to a 0--1 valued stationary process. In our main result we show that if the process has summable memory decay, then the associated filtration is standard. We prove it by coupling techniques. For a process whose associated filtration is standard, we construct a product type filtration extending it, based upon the usual couplings… ▽ More We study the standard property of the natural filtration associated to a 0--1 valued stationary process. In our main result we show that if the process has summable memory decay, then the associated filtration is standard. We prove it by coupling techniques. For a process whose associated filtration is standard, we construct a product type filtration extending it, based upon the usual couplings and the Vershik's criterion for standardness. △ Less

Submitted 25 September, 2006; v1 submitted 14 September, 2005; originally announced September 2005.

Comments: Published at http://dx.doi.org/10.1214/009117906000000151 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP0135 MSC Class: 60A10; 60G10 (Primary)

Journal ref: Annals of Probability 2006, Vol. 34, No. 4, 1589-1600

Formule d'Ito pour des diffusions uniformement elliptiques et processus de Dirichlet

Authors: K. Dupoiron, P. Mathieu, J. San Martin

Abstract: If X is a d-dimensional uniformly elliptic diffusion, with initial law nu, we show that F(X) is a Dirichlet process, whenever F satisfies an integrability condition linking its weak derivative to the coefficients of the diffusion and the initial law nu. We then show that F(X) satisfies an Ito formula, giving a construction of the stochastic integral of grad F(X) with respect to X, provided tha… ▽ More If X is a d-dimensional uniformly elliptic diffusion, with initial law nu, we show that F(X) is a Dirichlet process, whenever F satisfies an integrability condition linking its weak derivative to the coefficients of the diffusion and the initial law nu. We then show that F(X) satisfies an Ito formula, giving a construction of the stochastic integral of grad F(X) with respect to X, provided that the two first weak derivatives of F satisfy integrability conditions involving the coefficients of the diffusion and the initial law. Si X est une diffusion uniformement elliptique d-dimensionnelle, de loi initiale nu, on montre que F(X) est un processus de Dirichlet, lorsque F verifie une condition d'integrabilite qui lie ses derivees faibles aux coefficients de la diffusion et a la loi initiale nu. On montre ensuite qu'on peut ecrire une formule d'Ito pour F(X), en donnant une construction de l'integrale stochastique de grad F(X) par rapport a X. Les conditions requises sur F sont des conditions d'integrabilite liant ses derivees faibles, premiere et seconde, aux coefficients de la diffusion et a la loi initiale nu. △ Less

Submitted 8 October, 2002; originally announced October 2002.

Comments: 21 pages, no figures

MSC Class: 60H05; 60J60

Asymptotic of the Heat Kernel in General Benedicks Domains

Authors: P. Collet, S. Martinez, J. San Martin

Abstract: Using a new inequality relating the heat kernel and the probability of survival, we prove asymptotic ratio limit theorems for the heat kernel (and survival probability) in general Benedicks domains. In particular, the dimension of the cone of positive harmonic measures with Dirichlet boundary condition can be derived from the rate of convergence to zero of the heat kernel (or the survival probab… ▽ More Using a new inequality relating the heat kernel and the probability of survival, we prove asymptotic ratio limit theorems for the heat kernel (and survival probability) in general Benedicks domains. In particular, the dimension of the cone of positive harmonic measures with Dirichlet boundary condition can be derived from the rate of convergence to zero of the heat kernel (or the survival probability). △ Less

Submitted 7 March, 2002; originally announced March 2002.

Comments: 14 pages

Report number: Cpht Ecole Polytechnique preprint RR 088.1201 MSC Class: 60J65; 31B05

On the uniform distribution of rational inputs with respect to condition numbers of Numerical Analysis

Authors: D. Castro, J. L. Montana, L. M. Pardo, J. San Martin

Abstract: We show that rational data of bounded input length are uniformly distributed with respect to condition numbers of numerical analysis. We deal both with condition numbers of Linear Algebra and with condition numbers for systems of multivariate polynomial equations. For instance, we show that for any $w>1$ and for any $n\times n$ rational matrix $M$ of bit length $O(n^4\log n) + \log w$, the condi… ▽ More We show that rational data of bounded input length are uniformly distributed with respect to condition numbers of numerical analysis. We deal both with condition numbers of Linear Algebra and with condition numbers for systems of multivariate polynomial equations. For instance, we show that for any $w>1$ and for any $n\times n$ rational matrix $M$ of bit length $O(n^4\log n) + \log w$, the condition number $k(M)$ satisfies $k(M) \leq w n^{5/2}$ with probability at least $1-2w^{-1}$. Similar estimates are shown for the condition number $μ_{norm}$ of M. Shub and S. Smale when applied to systems of multivariate homogeneous polynomial equations of bounded input length. Finally we apply these techniques to show the probability distribution of the precision (number of bits of the denominator) required to write down approximate zeros of affine systems of multivariate polynomial equations of bounded input length. △ Less

Submitted 15 March, 2001; originally announced March 2001.

Comments: 54 pages

MSC Class: 65Y20 (Primary) 11Hxx (Secondary)