scholarly journals Sorting with two stacks in parallel

2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Michael Albert ◽  
Mireille Bousquet-Mélou
Keyword(s):  
Generating Function ◽  
Square Lattice ◽  
North West ◽  
International Audience ◽  
Asymptotic Number ◽  
Upper Half Plane ◽  
Recent Activity ◽  
The 1960S ◽  
The Moment ◽  
Forbidden Patterns

International audience At the end of the 1960s, Knuth characterised in terms of forbidden patterns the permutations that can be sorted using a stack. He also showed that they are in bijection with Dyck paths and thus counted by the Catalan numbers. Subsequently, Pratt and Tarjan asked about permutations that can be sorted using two stacks in parallel. This question is significantly harder, and the associated counting question has remained open for 40 years. We solve it by giving a pair of equations that characterise the generating function of such permutations. The first component of this system describes the generating function $Q(a,u)$ of square lattice loops confined to the positive quadrant, counted by the length and the number of North-West and East-South factors. Our analysis of the asymptotic number of sortable permutations relies at the moment on two intriguing conjectures dealing with this series. Given the recent activity on walks confined to cones, we believe them to be attractive $\textit{per se}$. We prove these conjectures for closed walks confined to the upper half plane, or not confined at all. Nous énumérons les permutations triables par deux piles en parallèle. Cette question était restée ouverte depuis les travaux de Knuth, Pratt et Tarjan dans les années 70. Notre solution consiste en une paire d’équations qui caractérisent la série génératrice. La première composante de ce système décrit la série $Q(a,u)$ des chemins fermés confinés dans le quart de plan positif, comptés selon leur longueur et le nombre de facteurs Nord-Ouest ou Est-Sud. Notre analyse du comportement asymptotique du nombre de permutations triables repose à ce stade sur deux conjectures remarquables portant sur $Q(a; u)$. Nous les prouvons pour les chemins fermés non confinés, ou confinés au demi-plan supérieur.

scholarly journals Families of prudent self-avoiding walks

2008 ◽  
Vol DMTCS Proceedings vol. AJ,... (Proceedings) ◽  
Author(s):  
Mireille Bousquet-Mélou
Keyword(s):  
Generating Function ◽  
Recurrence Relations ◽  
Square Lattice ◽  
Random Generation ◽  
Fourth Class ◽  
End Distance ◽  
International Audience ◽  
Self Avoiding Walk ◽  
Natural Classes ◽  
Self Avoiding Walks

International audience A self-avoiding walk on the square lattice is $\textit{prudent}$, if it never takes a step towards a vertex it has already visited. Préa was the first to address the enumeration of these walks, in 1997. For 4 natural classes of prudent walks, he wrote a system of recurrence relations, involving the length of the walks and some additional "catalytic'' parameters. The generating function of the first class is easily seen to be rational. The second class was proved to have an algebraic (quadratic) generating function by Duchi (FPSAC'05). Here, we solve exactly the third class, which turns out to be much more complex: its generating function is not algebraic, nor even $D$-finite. The fourth class ―- general prudent walks ―- still defeats us. However, we design an isotropic family of prudent walks on the triangular lattice, which we count exactly. Again, the generating function is proved to be non-$D$-finite. We also study the end-to-end distance of these walks and provide random generation procedures. Un chemin auto-évitant sur le réseau carré est $\textit{prudent}$, s'il ne fait jamais un pas en direction d'un point qu'il a déjà visité. Préa est le premier à avoir cherché à énumérer ces chemins, en 1997. Pour 4 classes naturelles de chemins prudents, il donne un système de relations de récurrence, impliquant la longueur des chemins et plusieurs paramètres "catalytiques'' supplémentaires. La première classe a une série génératrice simple, rationnelle. La deuxième a une série algébrique (quadratique) (Duchi, FPSAC'05). Nous comptons ici les chemins de la troisième classe, et observons un saut de complexité: la série obtenue n'est ni algébrique, ni même différentiellement finie. La quatrième classe, celle des chemins prudents généraux, résiste encore. Cependant, nous définissons un modèle isotrope de chemins prudents sur réseau triangulaire, que nous résolvons de nouveau, la série obtenue n'est pas différentiellement finie. Nous étudions aussi la vitesse d'éloignement de ces chemins, et proposons des algorithmes de génération aléatoire.

scholarly journals Weakly directed self-avoiding walks

2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Axel Bacher ◽  
Mireille Bousquet-Mélou
Keyword(s):  
Generating Function ◽  
Square Lattice ◽  
Growth Constant ◽  
Complex Singularity ◽  
Singularity Structure ◽  
New Family ◽  
End Distance ◽  
International Audience ◽  
Directed Walks ◽  
Self Avoiding Walks

International audience We define a new family of self-avoiding walks (SAW) on the square lattice, called $\textit{weakly directed walks}$. These walks have a simple characterization in terms of the irreducible bridges that compose them. We determine their generating function. This series has a complex singularity structure and in particular, is not D-finite. The growth constant is approximately 2.54 and is thus larger than that of all natural families of SAW enumerated so far (but smaller than that of general SAW, which is about 2.64). We also prove that the end-to-end distance of weakly directed walks grows linearly. Finally, we study a diagonal variant of this model. Nous définissons une nouvelle famille de chemins auto-évitants (CAE) sur le réseau carré, appelés $\textit{chemins faiblement dirigés}$. Ces chemins ont une caractérisation simple en termes des ponts irréductibles qui les composent. Nous déterminons leur série génératrice. Cette série a une structure de singularité complexe et n'est en particulier pas D-finie. La constante de croissance est environ 2,54, ce qui est supérieur à toutes les familles naturelles de SAW étudiées jusqu'à présent, mais inférieur aux CAE généraux (dont la constante est environ 2,64). Nous prouvons également que la distance moyenne entre les extrémités du chemin croît linéairement. Enfin, nous étudions une variante diagonale du modèle.

scholarly journals Weakly prudent self-avoiding bridges

2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Axel Bacher ◽  
Nicholas Beaton
Keyword(s):  
Generating Function ◽  
Square Lattice ◽  
Growth Constant ◽  
Arbitrary Size ◽  
New Class ◽  
Advantages And Disadvantages ◽  
International Audience ◽  
Self Avoiding Walks

International audience We define and enumerate a new class of self-avoiding walks on the square lattice, which we call <i>weakly prudent bridges</i>. Their definition is inspired by two previously-considered classes of self-avoiding walks, and can be viewed as a combination of those two models. We consider several methods for recursively generating these objects, each with its own advantages and disadvantages, and use these methods to solve the generating function, obtain very long series, and randomly generate walks of arbitrary size. We find that the growth constant of these walks is approximately 2.58, which is larger than that of any previously-solved class of self-avoiding walks.

scholarly journals Bijections between Łukasiewicz Walks and Generalized Tandem Walks

10.37236/8261 ◽  
2020 ◽  
Vol 27 (1) ◽  
Author(s):  
Frédéric Chyzak ◽  
Karen Yeats
Keyword(s):  
Recent Work ◽  
Half Plane ◽  
Square Lattice ◽  
Plane Model ◽  
North West ◽  
Quarter Plane ◽  
Upper Half Plane

In this article, we study the enumeration by length of several walk models on the square lattice. We obtain bijections between walks in the upper half-plane returning to the $x$-axis and walks in the quarter plane. A recent work by Bostan, Chyzak, and Mahboubi has given a bijection for models using small north, west, and south-east steps. We adapt and generalize it to a bijection between half-plane walks using those three steps in two colours and a quarter-plane model over the symmetrized step set consisting of north, north-west, west, south, south-east, and east. We then generalize our bijections to certain models with large steps: for given $p\geq1$, a bijection is given between the half-plane and quarter-plane models obtained by keeping the small south-east step and replacing the two steps north and west of length 1 by the $p+1$ steps of length $p$ in directions between north and west. This model is close to, but distinct from, the model of generalized tandem walks studied by Bousquet-Mélou, Fusy, and Raschel.

scholarly journals Period-Life of a Branching Process with Migration and Continuous Time

Mathematics ◽  
2021 ◽  
Vol 9 (8) ◽  
pp. 868
Author(s):  
Khrystyna Prysyazhnyk ◽  
Iryna Bazylevych ◽  
Ludmila Mitkova ◽  
Iryna Ivanochko
Keyword(s):  
Random Process ◽  
Generating Function ◽  
Continuous Time ◽  
Branching Process ◽  
Probability Generating Function ◽  
Time Interval ◽  
The Moment ◽  
First Time ◽  
Critical Branching Process ◽  
Number Of Particles

The homogeneous branching process with migration and continuous time is considered. We investigated the distribution of the period-life τ, i.e., the length of the time interval between the moment when the process is initiated by a positive number of particles and the moment when there are no individuals in the population for the first time. The probability generating function of the random process, which describes the behavior of the process within the period-life, was obtained. The boundary theorem for the period-life of the subcritical or critical branching process with migration was found.

On the Power Series Expansion of the Moment Generating Function

1974 ◽  
Vol 28 (2) ◽  
pp. 58
Author(s):  
Roch Roy ◽  
Yves Lepage ◽  
Marc Moore
Keyword(s):  
Power Series ◽  
Series Expansion ◽  
Generating Function ◽  
Power Series Expansion ◽  
Moment Generating Function ◽  
The Moment

scholarly journals Russian Landscape Linocut, 1910-1970

2020 ◽  
Vol 16 (4) ◽  
pp. 101-112
Author(s):  
Taras Bocharov ◽  
Petr Kozorezenko
Keyword(s):  
20Th Century ◽  
Urban Landscape ◽  
Rural Landscape ◽  
Soviet Period ◽  
Graphic Art ◽  
Important Place ◽  
Landscape Art ◽  
The 1960S ◽  
The Moment ◽  
Almost All

The article examines the origin and development of Russian graphic landscape art, performed in the technique of engraving on linoleum. It covers the period from the early 20th century, the moment the first masters of this direction of graphic art appeared in Russia, until the late 1960s when linocut, the landscape, in particular, reached its prime and acquired its completely individual, unlike any other graphic technique, characteristic. The authors analyze the linocut landscapes of notable artists of the period described starting with the founder, N.Sheverdyaev, and the leading propagandist of linocut in Russia, I.Pavlov. The article describes the distinctive features of engraving and making prints by famous artists of the 20th century, graphic artists, and not only. This is M.Dobuzhinsky, B.Kustodiev, V.Falileev, K.Kostenko, N.Piskarev, later I.Sokolov, P.Staronosov, and many other not so famous artists. The Soviet period is represented by A.Kravchenko, M.Matorin, I.Sokolov, S.Yudovin, and, of course, A.Zyryanov, one of the well-known printers of the 1960s. The linocut technique is well established in almost all types of landscape. These were industrial, agitational works, glorifying the work of Soviet people, colorful sheets, and lyrical, delicate, and poetic works. The architectural and rural landscape occupied an important place in the work of the letterpress masters: in the urban landscape, of course, the images of the two capitals prevailed, which is not surprising since most of the artists studied and worked in Moscow and Leningrad. The authors of the article drew attention to the creative work of N.Lapshin, F.Smirnov, N.Novoselskaya, A.Smirnov, and others. In the article, the authors try to show how versatile and complex the linocut technique, especially colored, is. The authors want to show that the art of engraving on linoleum helped to view the landscape genre in graphics differently and, possibly, influenced the development of the landscape in other types of prints and painting. The authors are trying to prove that linoleum engraving rightfully takes an equal position with woodcut and etching. The works of masters working in this technique are exhibited in all museums in the country.

scholarly journals Congruence successions in compositions

2014 ◽  
Vol Vol. 16 no. 1 (Combinatorics) ◽  
Author(s):  
Toufik Mansour ◽  
Mark Shattuck ◽  
Mark Wilson
Keyword(s):  
General Formula ◽  
Generating Function ◽  
Asymptotic Estimate ◽  
International Audience ◽  
Limiting Case ◽  
Positive Integers

Combinatorics International audience A composition is a sequence of positive integers, called parts, having a fixed sum. By an m-congruence succession, we will mean a pair of adjacent parts x and y within a composition such that x=y(modm). Here, we consider the problem of counting the compositions of size n according to the number of m-congruence successions, extending recent results concerning successions on subsets and permutations. A general formula is obtained, which reduces in the limiting case to the known generating function formula for the number of Carlitz compositions. Special attention is paid to the case m=2, where further enumerative results may be obtained by means of combinatorial arguments. Finally, an asymptotic estimate is provided for the number of compositions of size n having no m-congruence successions.

scholarly journals Counting occurrences for a finite set of words: an inclusion-exclusion approach

2007 ◽  
Vol DMTCS Proceedings vol. AH,... (Proceedings) ◽  
Author(s):  
Frédérique Bassino ◽  
Julien Clément ◽  
J. Fayolle ◽  
P. Nicodème
Keyword(s):  
Generating Function ◽  
Exclusion Principle ◽  
Complete Proof ◽  
Detailed Proof ◽  
Finite Set ◽  
International Audience ◽  
The One ◽  
Maple Package

International audience In this paper, we give the multivariate generating function counting texts according to their length and to the number of occurrences of words from a finite set. The application of the inclusion-exclusion principle to word counting due to Goulden and Jackson (1979, 1983) is used to derive the result. Unlike some other techniques which suppose that the set of words is reduced (<i>i..e.</i>, where no two words are factor of one another), the finite set can be chosen arbitrarily. Noonan and Zeilberger (1999) already provided a MAPLE package treating the non-reduced case, without giving an expression of the generating function or a detailed proof. We give a complete proof validating the use of the inclusion-exclusion principle and compare the complexity of the method proposed here with the one using automata for solving the problem.

scholarly journals Statistics on Lattice Walks and q-Lassalle Numbers

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Lenny Tevlin
Keyword(s):  
Positive Integer ◽  
Generating Function ◽  
Catalan Numbers ◽  
Binomial Coefficients ◽  
Integer Coefficients ◽  
Major Index ◽  
Lattice Walks ◽  
International Audience ◽  
The Difference ◽  
Positive Integers

International audience This paper contains two results. First, I propose a $q$-generalization of a certain sequence of positive integers, related to Catalan numbers, introduced by Zeilberger, see Lassalle (2010). These $q$-integers are palindromic polynomials in $q$ with positive integer coefficients. The positivity depends on the positivity of a certain difference of products of $q$-binomial coefficients.To this end, I introduce a new inversion/major statistics on lattice walks. The difference in $q$-binomial coefficients is then seen as a generating function of weighted walks that remain in the upper half-plan. Cet document contient deux résultats. Tout d’abord, je vous propose un $q$-generalization d’une certaine séquence de nombres entiers positifs, liés à nombres de Catalan, introduites par Zeilberger (Lassalle, 2010). Ces $q$-integers sont des polynômes palindromiques à $q$ à coefficients entiers positifs. La positivité dépend de la positivité d’une certaine différence de produits de $q$-coefficients binomial.Pour ce faire, je vous présente une nouvelle inversion/major index sur les chemins du réseau. La différence de $q$-binomial coefficients est alors considérée comme une fonction de génération de trajets pondérés qui restent dans le demi-plan supérieur.

Sign in / Sign up

Export Citation Format

Share Document