This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A007226 M4701 #153 Mar 25 2025 08:45:45 %S A007226 2,3,10,42,198,1001,5304,29070,163438,937365,5462730,32256120, %T A007226 192565800,1160346492,7048030544,43108428198,265276342782, %U A007226 1641229898525,10202773534590,63698396932170,399223286267190,2510857763851185,15842014607109600 %N A007226 a(n) = 2*det(M(n; -1))/det(M(n; 0)), where M(n; m) is the n X n matrix with (i,j)-th element equal to 1/binomial(n + i + j + m, n). %C A007226 For n >= 1, a(n) is the number of distinct perforation patterns for deriving (v,b) = (n+1,n) punctured convolutional codes from (3,1). [Edited by _Petros Hadjicostas_, Jul 27 2020] %C A007226 Apparently Bégin's (1992) paper was presented at a poster session at the conference and was never published. %C A007226 a(n) is the total number of down steps between the first and second up steps in all 2-Dyck paths of length 3*(n+1). A 2-Dyck path is a nonnegative lattice path with steps (1,2), (1,-1) that starts and ends at y = 0. - _Sarah Selkirk_, May 07 2020 %C A007226 From _Petros Hadjicostas_, Jul 27 2020: (Start) %C A007226 "A punctured convolutional code is a high-rate code obtained by the periodic elimination (i.e., puncturing) of specific code symbols from the output of a low-rate encoder. The resulting high-rate code depends on both the low-rate code, called the original code, and the number and specific positions of the punctured symbols." (The quote is from Haccoun and Bégin (1989).) %C A007226 A high-rate code (v,b) (written as R = b/v) can be constructed from a low-rate code (v0,1) (written as R = 1/v0) by deleting from every v0*b code symbols a number of v0*b - v symbols (so that the resulting rate is R = b/v). %C A007226 Even though my formulas below do not appear in the two published papers in the IEEE Transactions on Communications, from the theory in those two papers, it makes sense to replace "k|b" with "k|v0*b" (and "k|gcd(v,b)" with "k|gcd(v,v0*b)"). Pab Ter, however, uses "k|b" in the Maple programs in the related sequences A007223, A007224, A007225, A007227, and A007229. (End) %C A007226 Conjecture: a(n) is odd iff n = A022341(k) for some k. - _Peter Bala_, Mar 13 2023 %D A007226 Guy Bégin, On the enumeration of perforation patterns for punctured convolutional codes, Séries Formelles et Combinatoire Algébrique, 4th colloquium, 15-19 Juin 1992, Montréal, Université du Québec à Montréal, pp. 1-10. %D A007226 N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence). %H A007226 Vincenzo Librandi, <a href="/A007226/b007226.txt">Table of n, a(n) for n = 0..198</a> %H A007226 A. Asinowski, B. Hackl, and S. Selkirk, <a href="https://arxiv.org/abs/2007.15562">Down step statistics in generalized Dyck paths</a>, arXiv:2007.15562 [math.CO], 2020. %H A007226 Paul Barry, <a href="https://arxiv.org/abs/2104.01644">Centered polygon numbers, heptagons and nonagons, and the Robbins numbers</a>, arXiv:2104.01644 [math.CO], 2021. %H A007226 Guy Bégin and David Haccoun, <a href="https://doi.org/10.1109/26.44210">High rate punctured convolutions codes: Structure properties and construction techniques</a>, IEEE Transactions on Communications 37(12) (1989), 1381-1385. %H A007226 Ryan C. Chen, Yujin H. Kim, Jared D. Lichtman, Steven J. Miller, Shannon Sweitzer, and Eric Winsor, <a href="https://arxiv.org/abs/1803.08127">Spectral Statistics of Non-Hermitian Random Matrix Ensembles</a>, arXiv:1803.08127 [math-ph], 2018. %H A007226 Fabio Deelan Cunden, Marilena Ligabò, and Tommaso Monni, <a href="https://arxiv.org/abs/2301.13555">Random matrices associated to Young diagrams</a>, arXiv:2301.13555 [math.PR], 2023. See p. 7. %H A007226 M. Dziemianczuk, <a href="http://arxiv.org/abs/1410.5747">On Directed Lattice Paths With Additional Vertical Steps</a>, arXiv:1410.5747 [math.CO], 2014. %H A007226 M. Dziemianczuk, <a href="https://doi.org/10.1016/j.disc.2015.11.001">On Directed Lattice Paths With Additional Vertical Steps</a>, Discrete Mathematics, 339(3) (2016), 1116-1139. %H A007226 I. Gessel and G. Xin, <a href="https://arxiv.org/abs/math/0505217">The generating function of ternary trees and continued fractions</a>, arXiv:math/0505217 [math.CO], 2005. %H A007226 N. S. S. Gu, H. Prodinger, and S. Wagner, <a href="https://doi.org/10.1016/j.ejc.2009.10.007">Bijections for a class of labeled plane trees</a>, Eur. J. Combinat. 31 (2010), 720-732, Theorem 2 at k = 2. %H A007226 David Haccoun and Guy Bégin, <a href="https://doi.org/10.1109/26.46505">High rate punctured convolutional codes for Viterbi and sequential coding</a>, IEEE Transactions on Communications, 37(11) (1989), 1113-1125; see Section II. %H A007226 W. Mlotkowski and K. A. Penson, <a href="http://arxiv.org/abs/1304.6544">The probability measure corresponding to 2-plane trees</a>, arXiv:1304.6544 [math.PR], 2013. %H A007226 Jocelyn Quaintance, <a href="http://dx.doi.org/10.1016/j.disc.2006.09.041">Combinatoric Enumeration of Two-Dimensional Proper Arrays</a>, Discrete Math., 307 (2007), 1844-1864. %F A007226 a(n) = (2/(n + 1))*binomial(3*n, n). %F A007226 a(n) = (2n+1) * A000139(n). - _F. Chapoton_, Feb 23 2024 %F A007226 a(n) = 2*C(3*n, n) - C(3*n, n+1) for n >= 0. - _David Callan_, Oct 25 2004 %F A007226 a(n) = C(3*n, n)/(2*n + 1) + C(3*n + 1, n)/(n + 1) = C(3*n, n)/(2*n + 1) + 2*C(3*n + 1, n)/(2*n + 2) for n >= 0. - _Paul Barry_, Nov 05 2006 %F A007226 G.f.: g*(2 - g)/x, where g*(1 - g)^2 = x. - _Mark van Hoeij_, Nov 08 2011 [Thus, g = (4/3)*sin((1/3)*arcsin(sqrt(27*x/4)))^2. - _Petros Hadjicostas_, Jul 27 2020] %F A007226 Recurrence: 2*(n+1)*(2*n-1)*a(n) - 3*(3*n-1)*(3*n-2)*a(n-1) = 0 for n >= 1. - _R. J. Mathar_, Nov 26 2012 %F A007226 G.f.: (1 - 1/B(x))/x, where B(x) is the g.f. of A006013. [_Vladimir Kruchinin_, Mar 05 2013] %F A007226 G.f.: ( -16 * sin(asin((3^(3/2) * sqrt(x))/2)/3)^4 + 24 * sin(asin((3^(3/2) * sqrt(x))/2)/3)^2 ) / (9*x). [_Vladimir Kruchinin_, Nov 16 2013] %F A007226 From _Petros Hadjicostas_, Jul 27 2020: (Start) %F A007226 The number of perforation patterns to derive high-rate convolutional code (v,b) (written as R = b/v) from a given low-rate convolutional code (v0, 1) (written as R = 1/v0) is (1/b)*Sum_{k|gcd(v,b)} phi(k)*binomial(v0*b/k, v/k). %F A007226 According to Pab Ter's Maple code in the related sequences (see above), this is the coefficient of z^v in the polynomial (1/b)*Sum_{k|b} phi(k)*(1 + z^k)^(v0*b/k). %F A007226 Here (v,b) = (n+1,n) and (v0,1) = (3,1), so for n >= 1, %F A007226 a(n) = (1/n)*Sum_{k|gcd(n+1,n)} phi(k)*binomial(3*n/k, (n+1)/k). %F A007226 This simplifies to %F A007226 a(n) = (1/n)*binomial(3*n, n+1) for n >= 1. (End) %F A007226 G.f.: (-(p+r)*(4*r-12*p)^(1/3)+(p-r)*(4*r+12*p)^(1/3)+8)/(12*z), where p = i*sqrt(3*z), r = sqrt(4-27*z), and i = sqrt(-1) is the imaginary unit. - _Karol A. Penson_, Mar 20 2025 %p A007226 A007226:=n->2*binomial(3*n,n)-binomial(3*n,n+1): seq(A007226(n), n=0..30); # _Wesley Ivan Hurt_, Aug 11 2014 %t A007226 Table[2*Binomial[3n,n]-Binomial[3n,n+1], {n,0,20}] (* _Harvey P. Dale_, Aug 10 2014 *) %o A007226 (Magma) [Binomial(3*n,n)/(2*n+1)+Binomial(3*n+1,n)/(n+1): n in [0..25]]; // _Vincenzo Librandi_, Aug 10 2014 %o A007226 (PARI) a(n) = {my(M1=matrix(n,n)); my(M0=matrix(n,n)); for(i=1, n, for(j=1, n, M1[i,j] = 1/binomial(n+i+j-1,n); M0[i,j] = 1/binomial(n+i+j,n);)); 2*matdet(M1)/matdet(M0);} \\ _Petros Hadjicostas_, Jul 27 2020 %Y A007226 Cf. A006013, A007223, A007224, A007225, A007227, A007228, A007229, A124724, A000139. %K A007226 nonn,easy %O A007226 0,1 %A A007226 _Simon Plouffe_ %E A007226 Edited following a suggestion of _Ralf Stephan_, Feb 07 2004 %E A007226 Offset changed to 0 and all formulas checked by _Petros Hadjicostas_, Jul 27 2020