Operads from posets and Koszul duality

We introduce a functor ${\sf As}$ from the category of posets to the category of nonsymmetric binary and quadratic operads, establishing a new connection between these two categories. Each operad obtained by the construction ${\sf As}$ provides a generalization of the associative operad because all of its generating operations are associative. This construction has a very singular property: the operads obtained from ${\sf As}$ are almost never basic. Besides, the properties of the obtained operads, such as Koszulity, basicity, associative elements, realization, and dimensions, depend on combinatorial properties of the starting posets. Among others, we show that the property of being a forest for the Hasse diagram of the starting poset implies that the obtained operad is Koszul. Moreover, we show that the construction ${\sf As}$ restricted to a certain family of posets with Hasse diagrams satisfying some combinatorial properties is closed under Koszul duality.Comment: 40 page

Balanced binary trees in the Tamari lattice

We show that the set of balanced binary trees is closed by interval in the Tamari lattice. We establish that the intervals [T0, T1] where T0 and T1 are balanced trees are isomorphic as posets to a hypercube. We introduce tree patterns and synchronous grammars to get a functional equation of the generating series enumerating balanced tree intervals

Natural density and probability, constructively

We give here a constructive account of the frequentist approach to probability, by means of natural density. Using this notion of natural density, we introduce some probabilistic versions of the Limited Principle of Omniscience. Finally we give an attempt general definition of probability structure which is pointfree and takes into account abstractely the process of probability assignment

A streamline derivative POD-ROM for advection-diffusion-reaction equations

We introduce a new streamline derivative projection-based closure modeling strategy for the numerical stabilization of Proper Orthogonal Decomposition-Reduced Order Models (PODROM). As a first preliminary step, the proposed model is analyzed and tested for advection-dominated advection-diffusion-reaction equations. In this framework, the numerical analysis for the Finite Element (FE) discretization of the proposed new POD-ROM is presented, by mainly deriving the corresponding error estimates. Numerical tests for advection-dominated regime show the efficiency of the proposed method, as well the increased accuracy over the standard POD-ROM that discovers its well-known limitations very soon in the numerical settings considered, i.e. for low diffusion coefficients.Nous introduisons une nouvelle stratégie de modélisation de type streamline derivative basée sur projection pour la stabilisation numérique de modèles d’ordre réduit de type POD (PODROM). Comme première étape préliminaire, le modèle proposé est analysé et testé pour les équations d’advection-diffusion-réaction dominées par l’advection. Dans ce cadre, l’analyse numérique de la discrétisation par éléments finis (FE) du nouveau POD-ROM proposé est présentée, en dérivant principalement les estimations d’erreur correspondantes. Des tests numériques pour le régime dominé par l’advection montrent l’efficacité de la méthode proposée, ainsi que la précision accrue par rapport à la méthode POD-ROM standard qui d´ecouvre très rapidement ses limites bien connues dans le cas des paramètres numériques considérés, c’est-à-dire pour de faibles coefficients de diffusion

Constructing combinatorial operads from monoids

We introduce a functorial construction which, from a monoid, produces a set-operad. We obtain new (symmetric or not) operads as suboperads or quotients of the operad obtained from the additive monoid. These involve various familiar combinatorial objects: parking functions, packed words, planar rooted trees, generalized Dyck paths, Schr\"oder trees, Motzkin paths, integer compositions, directed animals, etc. We also retrieve some known operads: the magmatic operad, the commutative associative operad, and the diassociative operad.Comment: 12 page

A local-global principle for isogenies of prime degree over number fields

We give a description of the set of exceptional pairs for a number field $K$, that is the set of pairs $(\ell, j(E))$, where $\ell$ is a prime and $j(E)$ is the $j$-invariant of an elliptic curve $E$ over $K$ which admits an $\ell$-isogeny locally almost everywhere but not globally. We obtain an upper bound for $\ell$ in such pairs in terms of the degree and the discriminant of $K$. Moreover, we prove finiteness results about the number of exceptional pairs.Comment: 22 pages, presentation improved as suggested by the referees. To appear in Journal of London Mathematical Society. arXiv admin note: text overlap with arXiv:1006.1782 by other author

Self - organized - criticality and synchronization in pulse coupled relaxation oscillator systems: the Olami, Feder and Christensen model and the Feder and Feder model

We reexamine the dynamics of the Olami, Feder and Christensen (OFC) model. We show that, depending on the dissipation, it exhibits two different behaviors and that it can or cannot show self - organized - criticality (SOC) and/or synchronization. We also show that while the Feder and Feder model perturbed by a stochastic noise is SOC and has the same exponent for the distribution of avalanche sizes as the OFC model, it does not show synchronization. We conclude that a relaxation oscillator system can be synchronized and/or SOC and that therefore synchronization is not necessary for criticality in these models.Comment: 20 pages, Revtex, 10 postscript figures also available at http://www.lpthe.jussieu.fr/~bottani/Articles/socarticlefig.u

Domains with a continuous exhaustion in weakly complete surfaces

In previous works, G. Tomassini and the authors studied and classified complex surfaces admitting a real-analytic pluri-subharmonic exhaustion function; let $X$ be such a surface and $D\subseteq X$ a domain admitting a \emph{continuous} plurisubharmonic exhaustion function: what can be said about the geometry of $D$? If the exhaustion of $D$ is assumed to be smooth, the second author already answered this question; however, the continuous case is more difficult and requires different methods. In the present paper, we address such question by studying the local maximum sets contained in $D$ and their interplay with the complex geometric structure of $X$; we conclude that, if $D$ is not a modification of a Stein space, then it shares the same geometric features of $X$