-
Sequence graphs realizations and ambiguity in language models
Authors:
Sammy Khalife,
Yann Ponty,
Laurent Bulteau
Abstract:
Several popular language models represent local contexts in an input text as bags of words. Such representations are naturally encoded by a sequence graph whose vertices are the distinct words occurring in x, with edges representing the (ordered) co-occurrence of two words within a sliding window of size w. However, this compressed representation is not generally bijective, and may introduce some…
▽ More
Several popular language models represent local contexts in an input text as bags of words. Such representations are naturally encoded by a sequence graph whose vertices are the distinct words occurring in x, with edges representing the (ordered) co-occurrence of two words within a sliding window of size w. However, this compressed representation is not generally bijective, and may introduce some degree of ambiguity. Some sequence graphs may admit several realizations as a sequence, while others may not admit any realization. In this paper, we study the realizability and ambiguity of sequence graphs from a combinatorial and computational point of view. We consider the existence and enumeration of realizations of a sequence graph under multiple settings: window size w, presence/absence of graph orientation, and presence/absence of weights (multiplicities). When w = 2, we provide polynomial time algorithms for realizability and enumeration in all cases except the undirected/weighted setting, where we show the #P-hardness of enumeration. For a window of size at least 3, we prove hardness of all variants, even when w is considered as a constant, with the notable exception of the undirected/unweighted case for which we propose an XP algorithms for both (realizability and enumeration) problems, tight due to a corresponding W[1]-hardness result. We conclude with an integer program formulation to solve the realizability problem, and with dynamic programming to solve the enumeration problem. This work leaves open the membership to NP for both problems, a non-trivial question due to the existence of minimum realizations having exponential size on the instance encoding.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
A systematic route to subcritical dynamo branches
Authors:
Paul M. Mannix,
Yannick Ponty,
Florence Marcotte
Abstract:
We demonstrate that the nonlinear optimisation of a finite-amplitude disturbance over a freely evolving and possibly even turbulent flow, can successfully identify subcritical dynamo branches as well as the structure and amplitude of their critical perturbations. As this approach does not require prior knowledge of the magnetic field amplification mechanisms, it opens a new avenue for systematical…
▽ More
We demonstrate that the nonlinear optimisation of a finite-amplitude disturbance over a freely evolving and possibly even turbulent flow, can successfully identify subcritical dynamo branches as well as the structure and amplitude of their critical perturbations. As this approach does not require prior knowledge of the magnetic field amplification mechanisms, it opens a new avenue for systematically probing subcritical dynamo flows.
△ Less
Submitted 23 May, 2022; v1 submitted 21 December, 2021;
originally announced December 2021.
-
Transition from large-scale to small-scale dynamo
Authors:
Yannick Ponty,
Franck Plunian
Abstract:
The dynamo equations are solved numerically with a helical forcing corresponding to the Roberts flow. In the fully turbulent regime the flow behaves as a Roberts flow on long time scales, plus turbulent fluctuations at short time scales. The dynamo onset is controlled by the long time scales of the flow, in agreement with the former Karlsruhe experimental results. The dynamo mechanism is governed…
▽ More
The dynamo equations are solved numerically with a helical forcing corresponding to the Roberts flow. In the fully turbulent regime the flow behaves as a Roberts flow on long time scales, plus turbulent fluctuations at short time scales. The dynamo onset is controlled by the long time scales of the flow, in agreement with the former Karlsruhe experimental results. The dynamo mechanism is governed by a generalized $α$-effect which includes both usual $α$-effect and turbulent diffusion, plus all higher order effects. Beyond the onset we find that this generalized $α$-effect scales as $O(Rm^{-1})$ suggesting the take-over of small-scale dynamo action. This is confirmed by simulations in which dynamo occurs even if the large-scale field is artificially suppressed.
△ Less
Submitted 23 April, 2020;
originally announced April 2020.
-
Effective Rotation-invariant Point CNN with Spherical Harmonics kernels
Authors:
Adrien Poulenard,
Marie-Julie Rakotosaona,
Yann Ponty,
Maks Ovsjanikov
Abstract:
We present a novel rotation invariant architecture operating directly on point cloud data. We demonstrate how rotation invariance can be injected into a recently proposed point-based PCNN architecture, at all layers of the network, achieving invariance to both global shape transformations, and to local rotations on the level of patches or parts, useful when dealing with non-rigid objects. We achie…
▽ More
We present a novel rotation invariant architecture operating directly on point cloud data. We demonstrate how rotation invariance can be injected into a recently proposed point-based PCNN architecture, at all layers of the network, achieving invariance to both global shape transformations, and to local rotations on the level of patches or parts, useful when dealing with non-rigid objects. We achieve this by employing a spherical harmonics based kernel at different layers of the network, which is guaranteed to be invariant to rigid motions. We also introduce a more efficient pooling operation for PCNN using space-partitioning data-structures. This results in a flexible, simple and efficient architecture that achieves accurate results on challenging shape analysis tasks including classification and segmentation, without requiring data-augmentation, typically employed by non-invariant approaches.
△ Less
Submitted 10 September, 2019; v1 submitted 27 June, 2019;
originally announced June 2019.
-
Counting and sampling gene family evolutionary histories in the duplication-loss and duplication-loss-transfer models
Authors:
Cedric Chauve,
Yann Ponty,
Michael Wallner
Abstract:
Given a set of species whose evolution is represented by a species tree, a gene family is a group of genes having evolved from a single ancestral gene. A gene family evolves along the branches of a species tree through various mechanisms, including - but not limited to - speciation, gene duplication, gene loss, horizontal gene transfer. The reconstruction of a gene tree representing the evolution…
▽ More
Given a set of species whose evolution is represented by a species tree, a gene family is a group of genes having evolved from a single ancestral gene. A gene family evolves along the branches of a species tree through various mechanisms, including - but not limited to - speciation, gene duplication, gene loss, horizontal gene transfer. The reconstruction of a gene tree representing the evolution of a gene family constrained by a species tree is an important problem in phylogenomics. However, unlike in the multispecies coalescent evolutionary model, very little is known about the search space for gene family histories accounting for gene duplication, gene loss and horizontal gene transfer (the DLT-model). We introduce the notion of evolutionary histories defined as a binary ordered rooted tree describing the evolution of a gene family, constrained by a species tree in the DLT-model. We provide formal grammars describing the set of all evolutionary histories that are compatible with a given species tree, whether it is ranked or unranked. These grammars allow us, using either analytic combinatorics or dynamic programming, to efficiently compute the number of histories of a given size, and also to generate random histories of a given size under the uniform distribution. We apply these tools to obtain exact asymptotics for the number of gene family histories for two species trees, the rooted caterpillar and the complete binary tree, as well as estimates of the range of the exponential growth factor of the number of histories for random species trees of size up to 25. Our results show that including horizontal gene transfer induce a dramatic increase of the number of evolutionary histories. We also show that, within ranked species trees, the number of evolutionary histories in the DLT-model is almost independent of the species tree topology.
△ Less
Submitted 13 May, 2019;
originally announced May 2019.
-
Small-world networks and RNA secondary structures
Authors:
Defne Surujon,
Yann Ponty,
Peter Clote
Abstract:
Let Sn denote the network of all RNA secondary structures of length n, in which undirected edges exist between structures s, t such that t is obtained from s by the addition, removal or shift of a single base pair. Using context-free grammars, generating functions and complex analysis, we show that the asymptotic average degree is O(n) and that the asymptotic clustering coeffcient is O(1/n), from…
▽ More
Let Sn denote the network of all RNA secondary structures of length n, in which undirected edges exist between structures s, t such that t is obtained from s by the addition, removal or shift of a single base pair. Using context-free grammars, generating functions and complex analysis, we show that the asymptotic average degree is O(n) and that the asymptotic clustering coeffcient is O(1/n), from which it follows that the family Sn, n = 1,2,3,... of secondary structure networks is not small-world.
△ Less
Submitted 10 July, 2018;
originally announced July 2018.
-
Fixed-Parameter Tractable Sampling for RNA Design with Multiple Target Structures
Authors:
Stefan Hammer,
Yann Ponty,
Wei Wang,
Sebastian Will
Abstract:
The design of multi-stable RNA molecules has important applications in biology, medicine, and biotechnology. Synthetic design approaches profit strongly from effective in-silico methods, which can tremendously impact their cost and feasibility. We revisit a central ingredient of most in-silico design methods: the sampling of sequences for the design of multi-target structures, possibly including p…
▽ More
The design of multi-stable RNA molecules has important applications in biology, medicine, and biotechnology. Synthetic design approaches profit strongly from effective in-silico methods, which can tremendously impact their cost and feasibility. We revisit a central ingredient of most in-silico design methods: the sampling of sequences for the design of multi-target structures, possibly including pseudoknots. For this task, we present the efficient, tree decomposition-based algorithm. Our fixed parameter tractable approach is underpinned by establishing the P-hardness of uniform sampling. Modeling the problem as a constraint network, our program supports generic Boltzmann-weighted sampling for arbitrary additive RNA energy models; this enables the generation of RNA sequences meeting specific goals like expected free energies or \GCb-content. Finally, we empirically study general properties of the approach and generate biologically relevant multi-target Boltzmann-weighted designs for a common design benchmark. Generating seed sequences with our program, we demonstrate significant improvements over the previously best multi-target sampling strategy (uniform sampling).Our software is freely available at: https://github.com/yannponty/RNARedPrint .
△ Less
Submitted 3 April, 2018;
originally announced April 2018.
-
Dynamo enhancement and mode selection triggered by high magnetic permeability
Authors:
Sophia Kreuzahler,
Yannick Ponty,
Nicolas Plihon,
Holger Homann,
Rainer Grauer
Abstract:
We present results from consistent dynamo simulations, where the electrically conducting and incompressible flow inside a cylinder vessel is forced by moving impellers numerically implemented by a penalization method. The numerical scheme models jumps of magnetic permeability for the solid impellers, resembling various configurations tested experimentally in the von-Karman Sodium experiment. The m…
▽ More
We present results from consistent dynamo simulations, where the electrically conducting and incompressible flow inside a cylinder vessel is forced by moving impellers numerically implemented by a penalization method. The numerical scheme models jumps of magnetic permeability for the solid impellers, resembling various configurations tested experimentally in the von-Karman Sodium experiment. The most striking experimental observations are reproduced in our set of simulations. In particular, we report on the existence of an axisymmetric dynamo mode, self-consistently generated when the magnetic permeability of the impellers exceeds a threshold. We describe a possible scenario involving both the turbulent flow in the vicinity of the impellers and the high magnetic permeability of the impellers.
△ Less
Submitted 10 December, 2021; v1 submitted 1 June, 2017;
originally announced June 2017.
-
Taming Reluctant Random Walks in the Positive Quadrant
Authors:
Jeremie Lumbroso,
Marni Mishna,
Yann Ponty
Abstract:
A lattice walk model is said to be reluctant if the defining step set has a strong drift towards the boundaries. We describe efficient random generation strategies for these walks.
A lattice walk model is said to be reluctant if the defining step set has a strong drift towards the boundaries. We describe efficient random generation strategies for these walks.
△ Less
Submitted 21 March, 2016;
originally announced March 2016.
-
Combinatorial RNA Design Designability and Structure-Approximating Algorithm in Watson-Crick and Nussinov-Jacobson Energy Models
Authors:
Jozef Haleš,
Alice Héliou,
Ján Maňuch,
Yann Ponty,
Ladislav Stacho
Abstract:
We consider the Combinatorial RNA Design problem, a minimal instance of RNA design where one must produce an RNA sequence that adopts a given secondary structure as its minimal free-energy structure. We consider two free-energy models where the contributions of base pairs are additive and independent: the purely combinatorial Watson-Crick model, which only allows equally-contributing A -- U and C…
▽ More
We consider the Combinatorial RNA Design problem, a minimal instance of RNA design where one must produce an RNA sequence that adopts a given secondary structure as its minimal free-energy structure. We consider two free-energy models where the contributions of base pairs are additive and independent: the purely combinatorial Watson-Crick model, which only allows equally-contributing A -- U and C -- G base pairs, and the real-valued Nussinov-Jacobson model, which associates arbitrary energies to A -- U, C -- G and G -- U base pairs. We first provide a complete characterization of designable structures using restricted alphabets and, in the four-letter alphabet, provide a complete characterization for designable structures without unpaired bases. When unpaired bases are allowed, we characterize extensive classes of (non-)designable structures, and prove the closure of the set of designable structures under the stutter operation. Membership of a given structure to any of the classes can be tested in $Θ$(n) time, including the generation of a solution sequence for positive instances. Finally, we consider a structure-approximating relaxation of the design, and provide a $Θ$(n) algorithm which, given a structure S that avoids two trivially non-designable motifs, transforms S into a designable structure constructively by adding at most one base-pair to each of its stems.
△ Less
Submitted 4 August, 2016; v1 submitted 11 March, 2016;
originally announced March 2016.
-
Depletion of Nonlinearity in Magnetohydrodynamic Turbulence: Insights from Analysis and Simulations
Authors:
J. D. Gibbon,
A. Gupta,
G. Krstulovic,
R. Pandit,
H. Politano,
Y. Ponty,
A. Pouquet,
G. Sahoo,
J. Stawarz
Abstract:
We build on recent developments in the study of fluid turbulence [Gibbon \textit{et al.} Nonlinearity 27, 2605 (2014)] to define suitably scaled, order-$m$ moments, $D_m^{\pm}$, of $ω^\pm= ω\pm j$, where $ω$ and $j$ are, respectively, the vorticity and current density in three-dimensional magnetohydrodynamics (MHD). We show by mathematical analysis, for unit magnetic Prandtl number $P_M$, how thes…
▽ More
We build on recent developments in the study of fluid turbulence [Gibbon \textit{et al.} Nonlinearity 27, 2605 (2014)] to define suitably scaled, order-$m$ moments, $D_m^{\pm}$, of $ω^\pm= ω\pm j$, where $ω$ and $j$ are, respectively, the vorticity and current density in three-dimensional magnetohydrodynamics (MHD). We show by mathematical analysis, for unit magnetic Prandtl number $P_M$, how these moments can be used to identify three possible regimes for solutions of the MHD equations; these regimes are specified by inequalities for $D_m^{\pm}$ and $D_1^{\pm}$. We then compare our mathematical results with those from our direct numerical simulations (DNSs) and thus demonstrate that 3D MHD turbulence is like its fluid-turbulence counterpart insofar as all solutions, which we have investigated, remain in \textit{only one of these regimes}; this regime has depleted nonlinearity. We examine the implications of our results for the exponents $q^{\pm}$ that characterize the power-law dependences of the energy spectra $\mathcal{E}^{\pm}(k)$ on the wave number $k$, in the inertial range of scales. We also comment on (a) the generalization of our results to the case $P_M \neq 1$ and (b) the relation between $D_m^{\pm}$ and the order-$m$ moments of gradients of hydrodynamic fields, which are used in characterizing intermittency in turbulent flows.
△ Less
Submitted 26 May, 2016; v1 submitted 15 August, 2015;
originally announced August 2015.
-
Counting, generating and sampling tree alignments
Authors:
Cedric Chauve,
Julien Courtiel,
Yann Ponty
Abstract:
Pairwise ordered tree alignment are combinatorial objects that appear in RNA secondary structure comparison. However, the usual representation of tree alignments as supertrees is ambiguous, i.e. two distinct supertrees may induce identical sets of matches between identical pairs of trees. This ambiguity is uninformative, and detrimental to any probabilistic analysis.In this work, we consider tree…
▽ More
Pairwise ordered tree alignment are combinatorial objects that appear in RNA secondary structure comparison. However, the usual representation of tree alignments as supertrees is ambiguous, i.e. two distinct supertrees may induce identical sets of matches between identical pairs of trees. This ambiguity is uninformative, and detrimental to any probabilistic analysis.In this work, we consider tree alignments up to equivalence. Our first result is a precise asymptotic enumeration of tree alignments, obtained from a context-free grammar by mean of basic analytic combinatorics. Our second result focuses on alignments between two given ordered trees $S$ and $T$. By refining our grammar to align specific trees, we obtain a decomposition scheme for the space of alignments, and use it to design an efficient dynamic programming algorithm for sampling alignments under the Gibbs-Boltzmann probability distribution. This generalizes existing tree alignment algorithms, and opens the door for a probabilistic analysis of the space of suboptimal RNA secondary structures alignments.
△ Less
Submitted 7 March, 2016; v1 submitted 22 May, 2015;
originally announced May 2015.
-
Assessing the robustness of parsimonious predictions for gene neighborhoods from reconciled phylogenies
Authors:
Ashok Rajaraman,
Cedric Chauve,
Yann Ponty
Abstract:
The availability of a large number of assembled genomes opens the way to study the evolution of syntenic character within a phylogenetic context. The DeCo algorithm, recently introduced by B{é}rard et al. allows the computation of parsimonious evolutionary scenarios for gene adjacencies, from pairs of reconciled gene trees. Following the approach pioneered by Sturmfels and Pachter, we describe how…
▽ More
The availability of a large number of assembled genomes opens the way to study the evolution of syntenic character within a phylogenetic context. The DeCo algorithm, recently introduced by B{é}rard et al. allows the computation of parsimonious evolutionary scenarios for gene adjacencies, from pairs of reconciled gene trees. Following the approach pioneered by Sturmfels and Pachter, we describe how to modify the DeCo dynamic programming algorithm to identify classes of cost schemes that generates similar parsimonious evolutionary scenarios for gene adjacencies, as well as the robustness to changes to the cost scheme of evolutionary events of the presence or absence of specific ancestral gene adjacencies. We apply our method to six thousands mammalian gene families, and show that computing the robustness to changes to cost schemes provides new and interesting insights on the evolution of gene adjacencies and the DeCo model.
△ Less
Submitted 19 March, 2015; v1 submitted 18 March, 2015;
originally announced March 2015.
-
Combinatorial RNA Design: Designability and Structure-Approximating Algorithm
Authors:
Jozef Haleš,
Ján Maňuch,
Yann Ponty,
Ladislav Stacho
Abstract:
In this work, we consider the Combinatorial RNA Design problem, a minimal instance of the RNA design problem which aims at finding a sequence that admits a given target as its unique base pair maximizing structure. We provide complete characterizations for the structures that can be designed using restricted alphabets. Under a classic four-letter alphabet, we provide a complete characterization of…
▽ More
In this work, we consider the Combinatorial RNA Design problem, a minimal instance of the RNA design problem which aims at finding a sequence that admits a given target as its unique base pair maximizing structure. We provide complete characterizations for the structures that can be designed using restricted alphabets. Under a classic four-letter alphabet, we provide a complete characterization of designable structures without unpaired bases. When unpaired bases are allowed, we provide partial characterizations for classes of designable/undesignable structures, and show that the class of designable structures is closed under the stutter operation. Membership of a given structure to any of the classes can be tested in linear time and, for positive instances, a solution can be found in linear time. Finally, we consider a structure-approximating version of the problem that allows to extend bands (helices) and, assuming that the input structure avoids two motifs, we provide a linear-time algorithm that produces a designable structure with at most twice more base pairs than the input structure.
△ Less
Submitted 19 June, 2015; v1 submitted 11 February, 2015;
originally announced February 2015.
-
Numerical study of impeller-driven von Karman flows via a volume penalization method
Authors:
Sophia Kreuzahler,
Daniel Schulz,
Holger Homann,
Yannick Ponty,
Rainer Grauer
Abstract:
The von Karman flow apparatus produces a highly turbulent flow inside a cylinder vessel driven by two counter-rotating impellers. Over more than two decades, this experiment has become a very classic turbulence tool, studied for a wide range of physical systems by many groups, with incompressible flow, compressible flow, for magnetohydrodynamics and dynamo studies inside liquid metal, for particle…
▽ More
The von Karman flow apparatus produces a highly turbulent flow inside a cylinder vessel driven by two counter-rotating impellers. Over more than two decades, this experiment has become a very classic turbulence tool, studied for a wide range of physical systems by many groups, with incompressible flow, compressible flow, for magnetohydrodynamics and dynamo studies inside liquid metal, for particle tracking purposes, and recently with turbulent super-fluid helium. We present a direct numerical simulation (DNS) version the von Karman flow, forced by two rotating impellers. The cylinder geometry and the rotating objects are modelled via a penalization method and implemented in a massive parallel pseudo-spectral Navier-Stokes solver. We choose a special configuration (TM28) of the impellers to be able to compare with set of water experiments well documented. But our good comparison results implied, that our numerical modelling could also be applied to many physical systems and configurations driven by the von Karman flow. The decomposition into poloidal, toroidal components and the mean velocity fields from our simulations are in agreement with experimental results. We analyzed also the flow structure close to the impeller blades and found different vortex topologies.
△ Less
Submitted 24 December, 2021; v1 submitted 19 November, 2013;
originally announced November 2013.
-
Structures and Lagrangian statistics of the Taylor-Green Dynamo
Authors:
Holger Homann,
Yannick Ponty,
Giorgio Krstulovic,
Rainer Grauer
Abstract:
The evolution of a Taylor-Green forced magnetohydrodynamic (MHD) system showing dynamo activity is analyzed via direct numerical simulations. The statistical properties of the velocity and magnetic field in Eulerian coordinates and along trajectories of fluid elements (Lagrangian coordinates) are found to change between the kinematic, non-linear and saturated regime. Fluid element (tracer) traject…
▽ More
The evolution of a Taylor-Green forced magnetohydrodynamic (MHD) system showing dynamo activity is analyzed via direct numerical simulations. The statistical properties of the velocity and magnetic field in Eulerian coordinates and along trajectories of fluid elements (Lagrangian coordinates) are found to change between the kinematic, non-linear and saturated regime. Fluid element (tracer) trajectories change from chaotic quasi-isotropic (kinematic phase) to mean magnetic field aligned (saturated phase). The probability density functions (PDFs) of the magnetic field change from strongly non-Gaussian in the kinematic to quasi-Gaussian PDFs in the saturated regime so that their flatness give a precise handle on the definition of the limiting points of the three regimes. Also the statistics of the fluctuations of the kinetic and magnetic energy along fluid trajectories change. All this goes along with a dramatic increase of the correlation time of velocity and magnetic field fluctuations experienced by tracers significantly exceeding one turbulent large-eddy turn-over time. A remarkable consequence is an intermittent scaling regime of the Lagrangian magnetic field structure functions at unusually long time scales.
△ Less
Submitted 17 January, 2014; v1 submitted 27 September, 2013;
originally announced September 2013.
-
Using structural and evolutionary information to detect and correct pyrosequencing errors in non-coding RNAs
Authors:
Vladimir Reinharz,
Yann Ponty,
Jérôme Waldispühl
Abstract:
Analysis of the sequence-structure relationship in RNA molecules are essential to evolutionary studies but also to concrete applications such as error-correction methodologies in sequencing technologies. The prohibitive sizes of the mutational and conformational landscapes combined with the volume of data to proceed require efficient algorithms to compute sequence-structure properties. More specif…
▽ More
Analysis of the sequence-structure relationship in RNA molecules are essential to evolutionary studies but also to concrete applications such as error-correction methodologies in sequencing technologies. The prohibitive sizes of the mutational and conformational landscapes combined with the volume of data to proceed require efficient algorithms to compute sequence-structure properties. More specifically, here we aim to calculate which mutations increase the most the likelihood of a sequence to a given structure and RNA family. In this paper, we introduce RNApyro, an efficient linear-time and space inside-outside algorithm that computes exact mutational probabilities under secondary structure and evolutionary constraints given as a multiple sequence alignment with a consensus structure. We develop a scoring scheme combining classical stacking base pair energies to novel isostericity scales, and apply our techniques to correct point-wise errors in 5s and 16s rRNA sequences. Our results suggest that RNApyro is a promising algorithm to complement existing tools in the NGS error-correction pipeline.
△ Less
Submitted 30 May, 2013;
originally announced May 2013.
-
Flexible RNA design under structure and sequence constraints using formal languages
Authors:
Yu Zhou,
Yann Ponty,
Stéphane Vialette,
Jérôme Waldispühl,
Yi Zhang,
Alain Denise
Abstract:
The problem of RNA secondary structure design (also called inverse folding) is the following: given a target secondary structure, one aims to create a sequence that folds into, or is compatible with, a given structure. In several practical applications in biology, additional constraints must be taken into account, such as the presence/absence of regulatory motifs, either at a specific location or…
▽ More
The problem of RNA secondary structure design (also called inverse folding) is the following: given a target secondary structure, one aims to create a sequence that folds into, or is compatible with, a given structure. In several practical applications in biology, additional constraints must be taken into account, such as the presence/absence of regulatory motifs, either at a specific location or anywhere in the sequence. In this study, we investigate the design of RNA sequences from their targeted secondary structure, given these additional sequence constraints. To this purpose, we develop a general framework based on concepts of language theory, namely context-free grammars and finite automata. We efficiently combine a comprehensive set of constraints into a unifying context-free grammar of moderate size. From there, we use generic generic algorithms to perform a (weighted) random generation, or an exhaustive enumeration, of candidate sequences. The resulting method, whose complexity scales linearly with the length of the RNA, was implemented as a standalone program. The resulting software was embedded into a publicly available dedicated web server. The applicability demonstrated of the method on a concrete case study dedicated to Exon Splicing Enhancers, in which our approach was successfully used in the design of \emph{in vitro} experiments.
△ Less
Submitted 1 August, 2013; v1 submitted 16 May, 2013;
originally announced May 2013.
-
Non-redundant random generation algorithms for weighted context-free languages
Authors:
Andy Lorenz,
Yann Ponty
Abstract:
We address the non-redundant random generation of $k$ words of length $n$ in a context-free language. Additionally, we want to avoid a predefined set of words. We study a rejection-based approach, whose worst-case time complexity is shown to grow exponentially with $k$ for some specifications and in the limit case of a coupon collector. We propose two algorithms respectively based on the recursive…
▽ More
We address the non-redundant random generation of $k$ words of length $n$ in a context-free language. Additionally, we want to avoid a predefined set of words. We study a rejection-based approach, whose worst-case time complexity is shown to grow exponentially with $k$ for some specifications and in the limit case of a coupon collector. We propose two algorithms respectively based on the recursive method and on an unranking approach. We show how careful implementations of these algorithms allow for a non-redundant generation of $k$ words of length $n$ in $\mathcal{O}(k\cdot n\cdot \log{n})$ arithmetic operations, after a precomputation of $Θ(n)$ numbers. The overall complexity is therefore dominated by the generation of $k$ words, and the non-redundancy comes at a negligible cost.
△ Less
Submitted 1 November, 2012;
originally announced November 2012.
-
Tree decomposition and parameterized algorithms for RNA structure-sequence alignment including tertiary interactions and pseudoknots
Authors:
Philippe Rinaudo,
Yann Ponty,
Dominique Barth,
Alain Denise
Abstract:
We present a general setting for structure-sequence comparison in a large class of RNA structures that unifies and generalizes a number of recent works on specific families on structures. Our approach is based on tree decomposition of structures and gives rises to a general parameterized algorithm, where the exponential part of the complexity depends on the family of structures. For each of the pr…
▽ More
We present a general setting for structure-sequence comparison in a large class of RNA structures that unifies and generalizes a number of recent works on specific families on structures. Our approach is based on tree decomposition of structures and gives rises to a general parameterized algorithm, where the exponential part of the complexity depends on the family of structures. For each of the previously studied families, our algorithm has the same complexity as the specific algorithm that had been given before.
△ Less
Submitted 17 June, 2012;
originally announced June 2012.
-
Rule-weighted and terminal-weighted context-free grammars have identical expressivity
Authors:
Yann Ponty
Abstract:
Two formalisms, both based on context-free grammars, have recently been proposed as a basis for a non-uniform random generation of combinatorial objects. The former, introduced by Denise et al, associates weights with letters, while the latter, recently explored by Weinberg et al in the context of random generation, associates weights to transitions. In this short note, we use a simple modificatio…
▽ More
Two formalisms, both based on context-free grammars, have recently been proposed as a basis for a non-uniform random generation of combinatorial objects. The former, introduced by Denise et al, associates weights with letters, while the latter, recently explored by Weinberg et al in the context of random generation, associates weights to transitions. In this short note, we use a simple modification of the Greibach Normal Form transformation algorithm, due to Blum and Koch, to show the equivalent expressivities, in term of their induced distributions, of these two formalisms.
△ Less
Submitted 3 May, 2012;
originally announced May 2012.
-
The weighted words collector
Authors:
Jérémie Du Boisberranger,
Danièle Gardy,
Yann Ponty
Abstract:
Motivated by applications in bioinformatics, we consider the word collector problem, i.e. the expected number of calls to a random weighted generator of words of length $n$ before the full collection is obtained. The originality of this instance of the non-uniform coupon collector lies in the, potentially large, multiplicity of the words/coupons of a given probability/composition. We obtain a gene…
▽ More
Motivated by applications in bioinformatics, we consider the word collector problem, i.e. the expected number of calls to a random weighted generator of words of length $n$ before the full collection is obtained. The originality of this instance of the non-uniform coupon collector lies in the, potentially large, multiplicity of the words/coupons of a given probability/composition. We obtain a general theorem that gives an asymptotic equivalent for the expected waiting time of a general version of the Coupon Collector. This theorem is especially well-suited for classes of coupons featuring high multiplicities. Its application to a given language essentially necessitates some knowledge on the number of words of a given composition/probability. We illustrate the application of our theorem, in a step-by-step fashion, on three exemplary languages, revealing asymptotic regimes in $Θ(μ(n)\cdot n)$ and $Θ(μ(n)\cdot \log n)$, where $μ(n)$ is the sum of weights over words of length $n$.
△ Less
Submitted 17 April, 2012; v1 submitted 4 February, 2012;
originally announced February 2012.
-
A Combinatorial Framework for Designing (Pseudoknotted) RNA Algorithms
Authors:
Yann Ponty,
Cédric Saule
Abstract:
We extend an hypergraph representation, introduced by Finkelstein and Roytberg, to unify dynamic programming algorithms in the context of RNA folding with pseudoknots. Classic applications of RNA dynamic programming energy minimization, partition function, base-pair probabilities...) are reformulated within this framework, giving rise to very simple algorithms. This reformulation allows one to con…
▽ More
We extend an hypergraph representation, introduced by Finkelstein and Roytberg, to unify dynamic programming algorithms in the context of RNA folding with pseudoknots. Classic applications of RNA dynamic programming energy minimization, partition function, base-pair probabilities...) are reformulated within this framework, giving rise to very simple algorithms. This reformulation allows one to conceptually detach the conformation space/energy model -- captured by the hypergraph model -- from the specific application, assuming unambiguity of the decomposition. To ensure the latter property, we propose a new combinatorial methodology based on generating functions. We extend the set of generic applications by proposing an exact algorithm for extracting generalized moments in weighted distribution, generalizing a prior contribution by Miklos and al. Finally, we illustrate our full-fledged programme on three exemplary conformation spaces (secondary structures, Akutsu's simple type pseudoknots and kissing hairpins). This readily gives sets of algorithms that are either novel or have complexity comparable to classic implementations for minimization and Boltzmann ensemble applications of dynamic programming.
△ Less
Submitted 19 June, 2011;
originally announced June 2011.
-
Non-redundant random generation from weighted context-free languages
Authors:
Yann Ponty
Abstract:
We address the non-redundant random generation of k words of length n from a context-free language. Additionally, we want to avoid a predefined set of words. We study the limits of a rejection-based approach, whose time complexity is shown to grow exponentially in k in some cases. We propose an alternative recursive algorithm, whose careful implementation allows for a non-redundant generation of k…
▽ More
We address the non-redundant random generation of k words of length n from a context-free language. Additionally, we want to avoid a predefined set of words. We study the limits of a rejection-based approach, whose time complexity is shown to grow exponentially in k in some cases. We propose an alternative recursive algorithm, whose careful implementation allows for a non-redundant generation of k words of size n in O(kn log n) arithmetic operations after the precomputation of O(n) numbers. The overall complexity is therefore dominated by the generation of k words, and the non-redundancy comes at a negligible cost.
△ Less
Submitted 21 December, 2010;
originally announced December 2010.
-
Weighted random generation of context-free languages: Analysis of collisions in random urn occupancy models
Authors:
Danièle Gardy,
Yann Ponty
Abstract:
The present work analyzes the redundancy of sets of combinatorial objects produced by a weighted random generation algorithm proposed by Denise et al. This scheme associates weights to the terminals symbols of a weighted context-free grammar, extends this weight definition multiplicatively on words, and draws words of length $n$ with probability proportional their weight. We investigate the level…
▽ More
The present work analyzes the redundancy of sets of combinatorial objects produced by a weighted random generation algorithm proposed by Denise et al. This scheme associates weights to the terminals symbols of a weighted context-free grammar, extends this weight definition multiplicatively on words, and draws words of length $n$ with probability proportional their weight. We investigate the level of redundancy within a sample of $k$ word, the proportion of the total probability covered by $k$ words (coverage), the time (number of generations) of the first collision, and the time of the full collection. For these four questions, we use an analytic urn analogy to derive asymptotic estimates and/or polynomially computable exact forms. We illustrate these tools by an analysis of an RNA secondary structure statistical sampling algorithm introduced by Ding et al.
△ Less
Submitted 6 December, 2010;
originally announced December 2010.
-
Controlled non uniform random generation of decomposable structures
Authors:
Alain Denise,
Yann Ponty,
Michel Termier
Abstract:
Consider a class of decomposable combinatorial structures, using different types of atoms $\Atoms = \{\At_1,\ldots ,\At_{|{\Atoms}|}\}$. We address the random generation of such structures with respect to a size $n$ and a targeted distribution in $k$ of its \emph{distinguished} atoms. We consider two variations on this problem. In the first alternative, the targeted distribution is given by $k$ re…
▽ More
Consider a class of decomposable combinatorial structures, using different types of atoms $\Atoms = \{\At_1,\ldots ,\At_{|{\Atoms}|}\}$. We address the random generation of such structures with respect to a size $n$ and a targeted distribution in $k$ of its \emph{distinguished} atoms. We consider two variations on this problem. In the first alternative, the targeted distribution is given by $k$ real numbers $\TargFreq_1, \ldots, \TargFreq_k$ such that $0 < \TargFreq_i < 1$ for all $i$ and $\TargFreq_1+\cdots+\TargFreq_k \leq 1$. We aim to generate random structures among the whole set of structures of a given size $n$, in such a way that the {\em expected} frequency of any distinguished atom $\At_i$ equals $\TargFreq_i$. We address this problem by weighting the atoms with a $k$-tuple $\Weights$ of real-valued weights, inducing a weighted distribution over the set of structures of size $n$. We first adapt the classical recursive random generation scheme into an algorithm taking $\bigO{n^{1+o(1)}+mn\log{n}}$ arithmetic operations to draw $m$ structures from the $\Weights$-weighted distribution. Secondly, we address the analytical computation of weights such that the targeted frequencies are achieved asymptotically, i. e. for large values of $n$. We derive systems of functional equations whose resolution gives an explicit relationship between $\Weights$ and $\TargFreq_1, \ldots, \TargFreq_k$. Lastly, we give an algorithm in $\bigO{k n^4}$ for the inverse problem, {\it i.e.} computing the frequencies associated with a given $k$-tuple $\Weights$ of weights, and an optimized version in $\bigO{k n^2}$ in the case of context-free languages. This allows for a heuristic resolution of the weights/frequencies relationship suitable for complex specifications. In the second alternative, the targeted distribution is given by a $k$ natural numbers $n_1, \ldots, n_k$ such that $n_1+\cdots+n_k+r=n$ where $r \geq 0$ is the number of undistinguished atoms. The structures must be generated uniformly among the set of structures of size $n$ that contain {\em exactly} $n_i$ atoms $\At_i$ ($1 \leq i \leq k$). We give a $\bigO{r^2\prod_{i=1}^k n_i^2 +m n k \log n}$ algorithm for generating $m$ structures, which simplifies into a $\bigO{r\prod_{i=1}^k n_i +m n}$ for regular specifications.
△ Less
Submitted 1 June, 2010;
originally announced June 2010.
-
Dissipative structures in a nonlinear dynamo
Authors:
Andrew D. Gilbert,
Yannick Ponty,
Vladislav Zheligovsky
Abstract:
This paper considers magnetic field generation by a fluid flow in a system referred to as the Archontis dynamo: a steady nonlinear magnetohydrodynamic (MHD) state is driven by a prescribed body force. The field and flow become almost equal and dissipation is concentrated in cigar-like structures centred on straight-line separatrices. Numerical scaling laws for energy and dissipation are given that…
▽ More
This paper considers magnetic field generation by a fluid flow in a system referred to as the Archontis dynamo: a steady nonlinear magnetohydrodynamic (MHD) state is driven by a prescribed body force. The field and flow become almost equal and dissipation is concentrated in cigar-like structures centred on straight-line separatrices. Numerical scaling laws for energy and dissipation are given that extend previous calculations to smaller diffusivities. The symmetries of the dynamo are set out, together with their implications for the structure of field and flow along the separatrices. The scaling of the cigar-like dissipative regions, as the square root of the diffusivities, is explained by approximations near the separatrices. Rigorous results on the existence and smoothness of solutions to the steady, forced MHD equations are given.
△ Less
Submitted 30 July, 2010; v1 submitted 28 May, 2010;
originally announced May 2010.
-
Multi-dimensional Boltzmann Sampling of Languages
Authors:
Olivier Bodini,
Yann Ponty
Abstract:
This paper addresses the uniform random generation of words from a context-free language (over an alphabet of size $k$), while constraining every letter to a targeted frequency of occurrence. Our approach consists in a multidimensional extension of Boltzmann samplers \cite{Duchon2004}. We show that, under mostly \emph{strong-connectivity} hypotheses, our samplers return a word of size in…
▽ More
This paper addresses the uniform random generation of words from a context-free language (over an alphabet of size $k$), while constraining every letter to a targeted frequency of occurrence. Our approach consists in a multidimensional extension of Boltzmann samplers \cite{Duchon2004}. We show that, under mostly \emph{strong-connectivity} hypotheses, our samplers return a word of size in $[(1-\varepsilon)n, (1+\varepsilon)n]$ and exact frequency in $\mathcal{O}(n^{1+k/2})$ expected time. Moreover, if we accept tolerance intervals of width in $Ω(\sqrt{n})$ for the number of occurrences of each letters, our samplers perform an approximate-size generation of words in expected $\mathcal{O}(n)$ time. We illustrate these techniques on the generation of Tetris tessellations with uniform statistics in the different types of tetraminoes.
△ Less
Submitted 1 June, 2010; v1 submitted 30 January, 2010;
originally announced February 2010.
-
Modeling of anisotropic turbulent flows with either magnetic fields or imposed rotation
Authors:
A. Pouquet,
J. Baerenzung,
J. Pietarila Graham,
P. Mininni,
H. Politano,
Y. Ponty
Abstract:
We present two models for turbulent flows with periodic boundary conditions and with either rotation, or a magnetic field in the magnetohydrodynamics (MHD) limit. One model, based on Lagrangian averaging, can be viewed as an invariant-preserving filter, whereas the other model, based on spectral closures, generalizes the concepts of eddy viscosity and eddy noise. These models, when used separate…
▽ More
We present two models for turbulent flows with periodic boundary conditions and with either rotation, or a magnetic field in the magnetohydrodynamics (MHD) limit. One model, based on Lagrangian averaging, can be viewed as an invariant-preserving filter, whereas the other model, based on spectral closures, generalizes the concepts of eddy viscosity and eddy noise. These models, when used separately or in conjunction, may lead to substantial savings for modeling high Reynolds number flows when checked against high resolution direct numerical simulations (DNS), the examples given here being run on grids of up to 1536^3 points.
△ Less
Submitted 30 April, 2009;
originally announced April 2009.
-
Spectral Modeling of Rotating Turbulent Flows
Authors:
J. Baerenzung,
P. D. Mininni,
A. Pouquet,
H. Politano,
Y. Ponty
Abstract:
We test a subgrid-scale spectral model of rotating turbulent flows against direct numerical simulations. The particular case of Taylor-Green forcing at large scale is considered, a configuration that mimics the flow between two counter rotating disks as often used in the laboratory. We perform computations in the presence of moderate rotation down to Rossby numbers of 0.03, as can be encountered…
▽ More
We test a subgrid-scale spectral model of rotating turbulent flows against direct numerical simulations. The particular case of Taylor-Green forcing at large scale is considered, a configuration that mimics the flow between two counter rotating disks as often used in the laboratory. We perform computations in the presence of moderate rotation down to Rossby numbers of 0.03, as can be encountered in the Earth atmosphere and oceans. We provide several classical measures of the degree of anisotropy of the small scales of the flows under study and conclude that an isotropic model may suffice at moderate Rossby numbers. The model, developed previously (Baerenzung et al., Phys. Rev. E 77, 046303 (2008)), incorporates eddy viscosity that depends dynamically on the inertial index of the energy spectrum, as well as eddy noise. We show that the model reproduces satisfactorily all large-scale properties of the direct numerical simulations up to Reynolds numbers of the order of 10000 and for long times after the onset of the inverse cascade of energy at low Rossby number.
△ Less
Submitted 9 December, 2008;
originally announced December 2008.
-
Spectral Modeling of Magnetohydrodynamic Turbulent Flows
Authors:
J. Baerenzung,
H. Politano,
Y. Ponty,
A. Pouquet
Abstract:
We present a dynamical spectral model for Large Eddy Simulation of the incompressible magnetohydrodynamic (MHD) equations based on the Eddy Damped Quasi Normal Markovian approximation. This model extends classical spectral Large Eddy Simulations for the Navier-Stokes equations to incorporate general (non Kolmogorovian) spectra as well as eddy noise. We derive the model for MHD and show that intr…
▽ More
We present a dynamical spectral model for Large Eddy Simulation of the incompressible magnetohydrodynamic (MHD) equations based on the Eddy Damped Quasi Normal Markovian approximation. This model extends classical spectral Large Eddy Simulations for the Navier-Stokes equations to incorporate general (non Kolmogorovian) spectra as well as eddy noise. We derive the model for MHD and show that introducing a new eddy-dam** time for the dynamics of spectral tensors in the absence of equipartition between the velocity and magnetic fields leads to better agreement with direct numerical simulations, an important point for dynamo computations.
△ Less
Submitted 31 March, 2008;
originally announced March 2008.
-
The Lorentz force effect on the On-Off dynamo intermittency
Authors:
Alexandros Alexakis,
Yannick Ponty
Abstract:
An investigation of the dynamo instability close to the threshold produced by an ABC forced flow is presented. We focus on the on-off intermittency behavior of the dynamo and the counter-effect of the Lorentz force in the non-linear stage of the dynamo. The Lorentz force drastically alters the statistics of the turbulent fluctuations of the flow and reduces their amplitude. As a result much long…
▽ More
An investigation of the dynamo instability close to the threshold produced by an ABC forced flow is presented. We focus on the on-off intermittency behavior of the dynamo and the counter-effect of the Lorentz force in the non-linear stage of the dynamo. The Lorentz force drastically alters the statistics of the turbulent fluctuations of the flow and reduces their amplitude. As a result much longer burst (on-phases) are observed than what is expected based on the amplitude of the fluctuations in the kinematic regime of the dynamo. For large Reynolds numbers, the duration time of the ``On'' phase follows a power law distribution, while for smaller Reynolds numbers the Lorentz force completely kills the noise and the system transits from a chaotic state into a ``laminar'' time periodic flow. The behavior of the On-Off intermittency as the Reynolds number is increased is also examined. The connections with dynamo experiments and theoretical modeling are discussed.
△ Less
Submitted 29 September, 2007;
originally announced October 2007.
-
A new instability for finite Prandtl number rotating convection with free-slip boundary conditions
Authors:
Yannick Ponty,
Thierry Passot,
Pierre-Louis Sulem
Abstract:
Rolls in finite Prandtl number rotating convection with free-slip top and bottom boundary conditions are shown to be unstable with respect to small angle perturbations for any value of the rotation rate. This instability is driven by the horizontal mean flow whose estimation requires a special singular perturbation analysis.
Rolls in finite Prandtl number rotating convection with free-slip top and bottom boundary conditions are shown to be unstable with respect to small angle perturbations for any value of the rotation rate. This instability is driven by the horizontal mean flow whose estimation requires a special singular perturbation analysis.
△ Less
Submitted 18 July, 2007;
originally announced July 2007.
-
Subcritical dynamo bifurcation in the Taylor Green flow
Authors:
Yannick Ponty,
Jean-Phillipe Laval,
Berengere Dubrulle,
François Daviaud,
Jean-François Pinton
Abstract:
We report direct numerical simulations of dynamo generation for flow generated using a Taylor-Green forcing. We find that the bifurcation is subcritical, and show its bifurcation diagram. We connect the associated hysteretic behavior with hydrodynamics changes induced by the action of the Lorentz force. We show the geometry of the dynamo magnetic field and discuss how the dynamo transition can b…
▽ More
We report direct numerical simulations of dynamo generation for flow generated using a Taylor-Green forcing. We find that the bifurcation is subcritical, and show its bifurcation diagram. We connect the associated hysteretic behavior with hydrodynamics changes induced by the action of the Lorentz force. We show the geometry of the dynamo magnetic field and discuss how the dynamo transition can be induced when an external field is applied to the flow.
△ Less
Submitted 24 July, 2007; v1 submitted 17 July, 2007;
originally announced July 2007.
-
Spectral Modeling of Turbulent Flows and the Role of Helicity
Authors:
Julien Baerenzung,
Helene Politano,
Yannick Ponty,
Annick Pouquet
Abstract:
We present a new version of a dynamical spectral model for Large Eddy Simulation based on the Eddy Damped Quasi Normal Markovian approximation \cite{sao,chollet_lesieur}. Three distinct modifications are implemented and tested. On the one hand, whereas in current approaches, a Kolmogorov-like energy spectrum is usually assumed in order to evaluate the nonlocal transfer, in our method the energy…
▽ More
We present a new version of a dynamical spectral model for Large Eddy Simulation based on the Eddy Damped Quasi Normal Markovian approximation \cite{sao,chollet_lesieur}. Three distinct modifications are implemented and tested. On the one hand, whereas in current approaches, a Kolmogorov-like energy spectrum is usually assumed in order to evaluate the nonlocal transfer, in our method the energy spectrum of the subgrid scales adapts itself dynamically to the large-scale resolved spectrum; this first modification allows in particular for a better treatment of transient phases and instabilities, as shown on one specific example. Moreover, the model takes into account the phase relationships of the small-scales, embodied for example in strong localized structures such as vortex filaments. To that effect, phase information is implemented in the treatment of the so-called eddy noise in the closure model. Finally, we also consider the role that helical small scales may play in the evaluation of the transfer of energy and helicity, the two invariants of the primitive equations in the inviscid case; this leads as well to intrinsic variations in the development of helicity spectra. Therefore, our model allows for simulations of flows for a variety of circumstances and a priori at any given Reynolds number. Comparisons with Direct Numerical Simulations of the three-dimensional Navier-Stokes equation are performed on fluids driven by an ABC (Beltrami) flow which is a prototype of fully helical flows. Good agreements are obtained for physical and spectral behavior of the large scales.
△ Less
Submitted 4 July, 2007;
originally announced July 2007.
-
Culminating paths
Authors:
Mireille Bousquet-Mélou,
Yann Ponty
Abstract:
Let a and b be two positive integers. A culminating path is a path of Z^2 that starts from (0,0), consists of steps (1,a) and (1,-b), stays above the x-axis and ends at the highest ordinate it ever reaches. These paths were first encountered in bioinformatics, in the analysis of similarity search algorithms. They are also related to certain models of Lorentzian gravity in theoretical physics. We…
▽ More
Let a and b be two positive integers. A culminating path is a path of Z^2 that starts from (0,0), consists of steps (1,a) and (1,-b), stays above the x-axis and ends at the highest ordinate it ever reaches. These paths were first encountered in bioinformatics, in the analysis of similarity search algorithms. They are also related to certain models of Lorentzian gravity in theoretical physics. We first show that the language on a two letter alphabet that naturally encodes culminating paths is not context-free. Then, we focus on the enumeration of culminating paths. A step by step approach, combined with the kernel method, provides a closed form expression for the generating fucntion of culminating paths ending at a (generic) height k. In the case a=b, we derive from this expression the asymptotic behaviour of the number of culminating paths of length n. When a>b, we obtain the asymptotic behaviour by a simpler argument. When a<b, we only determine the exponential growth of the number of culminating paths. Finally, we study the uniform random generation of culminating paths via various methods. The rejection approach, coupled with a symmetry argument, gives an algorithm that is linear when a>= b, with no precomputation stage nor non-linear storage required. The choice of the best algorithm is not as clear when a<b. An elementary recursive approach yields a linear algorithm after a precomputation stage involving O(n^3) arithmetic operations, but we also present some alternatives that may be more efficient in practise.
△ Less
Submitted 30 April, 2008; v1 submitted 5 June, 2007;
originally announced June 2007.
-
Estimating seed sensitivity on homogeneous alignments
Authors:
Gregory Kucherov,
Laurent Noe,
Yann Ponty
Abstract:
We address the problem of estimating the sensitivity of seed-based similarity search algorithms. In contrast to approaches based on Markov models [18, 6, 3, 4, 10], we study the estimation based on homogeneous alignments. We describe an algorithm for counting and random generation of those alignments and an algorithm for exact computation of the sensitivity for a broad class of seed strategies.…
▽ More
We address the problem of estimating the sensitivity of seed-based similarity search algorithms. In contrast to approaches based on Markov models [18, 6, 3, 4, 10], we study the estimation based on homogeneous alignments. We describe an algorithm for counting and random generation of those alignments and an algorithm for exact computation of the sensitivity for a broad class of seed strategies. We provide experimental results demonstrating a bias introduced by ignoring the homogeneousness condition.
△ Less
Submitted 27 March, 2006;
originally announced March 2006.
-
Dynamo action at low magnetic Prandtl numbers: mean flow vs. fully turbulent motion
Authors:
Yannick Ponty,
Pablo Mininni,
Jean-François Pinton,
Hélène Politano,
Annick Pouquet
Abstract:
We compute numerically the threshold for dynamo action in Taylor-Green swirling flows. Kinematic calculations, for which the flow field is fixed to its time averaged profile, are compared to dynamical runs for which both the Navier-Stokes and the induction equations are jointly solved. The kinematic instability is found to have two branches, for all explored Reynolds numbers. The dynamical dynam…
▽ More
We compute numerically the threshold for dynamo action in Taylor-Green swirling flows. Kinematic calculations, for which the flow field is fixed to its time averaged profile, are compared to dynamical runs for which both the Navier-Stokes and the induction equations are jointly solved. The kinematic instability is found to have two branches, for all explored Reynolds numbers. The dynamical dynamo threshold follows these branches: at low Reynolds number it lies within the low branch while at high kinetic Reynolds number it is close to the high branch.
△ Less
Submitted 16 January, 2006;
originally announced January 2006.
-
Nonlinear behavior of a non-helical dynamo
Authors:
P. D. Mininni,
Y. Ponty,
D. C. Montgomery,
J. -F. Pinton,
H. Politano,
A. Pouquet
Abstract:
A three-dimensional numerical computation of magnetohydrodynamic dynamo behavior is described. The dynamo is mechanically forced with a driving term of the Taylor-Green type. The magnetic field development is followed from negligibly small levels to saturated values that occur at magnetic energies comparable to the kinetic energies. Though there is locally a helicity density, there is no overall…
▽ More
A three-dimensional numerical computation of magnetohydrodynamic dynamo behavior is described. The dynamo is mechanically forced with a driving term of the Taylor-Green type. The magnetic field development is followed from negligibly small levels to saturated values that occur at magnetic energies comparable to the kinetic energies. Though there is locally a helicity density, there is no overall integrated helicity in the system. Persistent oscillations are observed in the saturated state for not-too-large mechanical Reynolds numbers, oscillations in which the kinetic and magnetic energies vary out of phase but with no reversal of the magnetic field. The flow pattern exhibits considerable geometrical structure in this regime. As the Reynolds number is raised, the oscillations disappear and the energies become more nearly stationary, but retain some unsystematically fluctuating turbulent time dependence. The regular geometrical structure of the fields gives way to a more spatially disordered distribution. The injection and dissipation scales are identified and the different components of energy transfer in Fourier space are analyzed, in particular in the context of clarifying the role played by different flow scales in the amplification of the magnetic field.
△ Less
Submitted 2 December, 2004;
originally announced December 2004.
-
Numerical study of dynamo action at low magnetic Prandtl numbers
Authors:
Y. Ponty,
P. D. Mininni,
D. C. Montgomery,
J. -F. Pinton,
H. Politano,
A. Pouquet
Abstract:
We present a three--pronged numerical approach to the dynamo problem at low magnetic Prandtl numbers $P_M$. The difficulty of resolving a large range of scales is circumvented by combining Direct Numerical Simulations, a Lagrangian-averaged model, and Large-Eddy Simulations (LES). The flow is generated by the Taylor-Green forcing; it combines a well defined structure at large scales and turbulen…
▽ More
We present a three--pronged numerical approach to the dynamo problem at low magnetic Prandtl numbers $P_M$. The difficulty of resolving a large range of scales is circumvented by combining Direct Numerical Simulations, a Lagrangian-averaged model, and Large-Eddy Simulations (LES). The flow is generated by the Taylor-Green forcing; it combines a well defined structure at large scales and turbulent fluctuations at small scales. Our main findings are: (i) dynamos are observed from $P_M=1$ down to $P_M=10^{-2}$; (ii) the critical magnetic Reynolds number increases sharply with $P_M^{-1}$ as turbulence sets in and then saturates; (iii) in the linear growth phase, the most unstable magnetic modes move to small scales as $P_M$ is decreased and a Kazantsev $k^{3/2}$ spectrum develops; then the dynamo grows at large scales and modifies the turbulent velocity fluctuations.
△ Less
Submitted 7 October, 2004;
originally announced October 2004.
-
Simulation of induction at low magnetic Prandtl number
Authors:
Yannick Ponty,
Helene Politano,
Jean-Francois Pinton
Abstract:
We consider the induction of magnetic field in flows of electrically conducting fluid at low magnetic Prandtl number and large kinetic Reynolds number. Using the separation between the magnetic and kinetic diffusive lengthscales, we propose a new numerical approach. The coupled magnetic and fluid equations are solved using a mixed scheme, where the magnetic field fluctuations are fully resolved…
▽ More
We consider the induction of magnetic field in flows of electrically conducting fluid at low magnetic Prandtl number and large kinetic Reynolds number. Using the separation between the magnetic and kinetic diffusive lengthscales, we propose a new numerical approach. The coupled magnetic and fluid equations are solved using a mixed scheme, where the magnetic field fluctuations are fully resolved and the velocity fluctuations at small scale are modelled using a Large Eddy Simulation (LES) scheme. We study the response of a forced Taylor-Green flow to an externally applied field: tology of the mean induction and time fluctuations at fixed locations. The results are in remarkable agreement with existing experimental data; a global $1/f$ behavior at long times is also evidenced.
△ Less
Submitted 26 November, 2003;
originally announced November 2003.