cp's OEIS Frontend

The digital sum of 9k is always a multiple of 9. For most numbers below 100 it is actually equal to 9. Numbers such that the digital sum of 9k is 18 are listed in A279769. Only every third term of the present sequence is divisible by 3.

The sequence of record gaps [and upper end of the gap] is: 100 [a(2) = 211], 101 [a(221) = 1211], 111 [a(4841) = 11211], 111 [a(10121) = 22311], 111 [a(15752) = 33411], ..., 111 [a(45133) = 88911], 111 [a(50413) = 100011], 211 [a(55253) = 111211], 311 [a(110000) = 222311], ..., 911 [a(380557) = 888911], 1011 [a(411049) = 1000011], 1211 [a(436976) = 1111211], 2311 [a(840281) = 2222311], ..., 8911 [a(2451241) = 8888911], ...

T(n,k) = A003991(n-1,k) for 1 <= k < n;

T(n,k) = T(n,n-1-k) for k < n;

T(n,1) = n-1; T(n,n) = 0; T(n,2) = A005843(n-2) for n > 1;

T(n,3) = A008585(n-3) for n>2; T(n,4) = A008586(n-4) for n > 3;

T(n,5) = A008587(n-5) for n>4; T(n,6) = A008588(n-6) for n > 5;

T(n,7) = A008589(n-7) for n>6; T(n,8) = A008590(n-8) for n > 7;

T(n,9) = A008591(n-9) for n>8; T(n,10) = A008592(n-10) for n > 9;

T(n,11) = A008593(n-11) for n>10; T(n,12) = A008594(n-12) for n > 11;

T(n,13) = A008595(n-13) for n>12; T(n,14) = A008596(n-14) for n > 13;

T(n,15) = A008597(n-15) for n>14; T(n,16) = A008598(n-16) for n > 15;

T(n,17) = A008599(n-17) for n>16; T(n,18) = A008600(n-18) for n > 17;

T(n,19) = A008601(n-19) for n>18; T(n,20) = A008602(n-20) for n > 19;

Row sums give A000292; triangle sums give A000332;

All numbers m > 0 occur A000005(m) times;

A002378(n) = T(A005408(n),n+1) = n*(n+1).

k-th columns are arithmetic progressions with step k, starting with 0. If a zero is prefixed to the sequence, then we get a new table where the columns are again arithmetic progressions with step k, but starting with k, k=0,1,2,...: 1st column = (0,0,0,...), 2nd column = (1,2,3,...), 3rd column = (2,4,6,8,...), etc. - M. F. Hasler, Feb 02 2013

Construct the infinite-dimensional matrix representation of angular momentum operators (J_1,J_2,J_3) in the Jordan-Schwinger form (cf. Harter, Klee, Schwinger). The triangle terms T(n,k) = T(2j,j+m) satisfy: (1/2)T(2j,j+m)^(1/2) = = = i = -i . Matrices for J_1 and J_2 are sparse. These equalities determine the only nonzero entries. - Bradley Klee, Jan 29 2016

T(n+1,k+1) is the number of degrees of freedom of a k-dimensional affine subspace within an n-dimensional vector space. This is most readily interpreted geometrically: e.g. in 3 dimensions a line (1-dimensional subspace) has T(4,2) = 4 degrees of freedom and a plane has T(4,3) = 3. T(n+1,1) = n indicates that points in n dimensions have n degrees of freedom. T(n,n) = 0 for any n as all n-dimensional spaces in an n-dimensional space are equivalent. - Daniel Leary, Apr 29 2020

The number of rectangles to be found in a grid of size X by y. For example a(2, 2) = 9 since a 2 x 2 grid contains one rectangle of size 2 X 2, 4 of size 1 X 2 and 4 of size 1 X 1. - Hugo van der Sanden, May 24 2007

Another version of A010766.

Equivalent descriptions of the centrality of n: 1) Probability that a randomly chosen product in the multiplication table for positive integers (A003991; see also A061017) is a multiple of n.

2) Probability taken over all exponential numerical bases that if the last digit of a number represents n, the number is a multiple of n. (For example, in base 10, the probability of a number that ends in 5 being a multiple of 5 is 1. Over all possible bases, the fraction of numbers ending in 5 that are multiples of 5 is the centrality of 5, 9/25 or .36.)

An infinite number of integers have the same centrality as at least one other integer. The only such examples in the first 114 terms of the sequence are 64 and 120, which share a centrality of .0625; they are listed in numerical order.

A multiplicative analog of absolute difference A049581. Exponents in prime factorization of T(n,k) are absolute differences of those of n and k. Commutative non-associative operator with identity 1. T(nx,kx)=T(n,k), T(n^x,k^x)=T(n,k)^x, etc.

The bivariate function log(T(., .)) is a distance (or metric) function. It is a weighted analog of A130836, in the sense that if e_i (resp. f_i) denotes the exponent of prime p_i in the factorization of m (resp. of n), then both log(T(m, n)) and A130836(m, n) are writable as Sum_{i} w_i * abs(e_i - f_i). For A130836, w_i = 1 for all i, whereas for log(T(., .)), w_i = log(p_i). - Luc Rousseau, Sep 17 2018

If the analog of absolute difference, as described in the first comment, is determined by factorization into distinct terms of A050376 instead of by prime factorization, the equivalent operation is defined by A059897 and is associative. The positive integers form a group under A059897. The two factorization methods give the same factorization for squarefree numbers (A005117), so that T(.,.) restricted to A005117 is associative. Thus the squarefree numbers likewise form a group under the operation defined by this sequence. - Peter Munn, Apr 04 2019

Essentially same as A048720 but computed starting from offset one instead of zero. Analogous to A003991. Each n occurs A091220(n) times.

This sequence gives the variance of the 2-dimensional Polynomial Chaoses (see the Stochastic Finite Elements reference). - Stephen Crowley, Mar 28 2007

Antidiagonal sums of the array A are A003149 (row sums of the triangle T). - Roger L. Bagula, Oct 29 2008

The triangle T(n, k) = k!*(n-k)! appears as denominators in the coefficients of the Niven polynomials x^n*(1 - x)^n/n! = Sum_{k=0..n} (-1)^k * x^(n+k)/((n-k)!*k!). These polynomials are used in a proof that Pi^2 (hence Pi) is irrational. See the Niven and Havil references. - Wolfdieter Lang, May 07 2018; corrected by Dimitri Papadopoulos, Nov 30 2023

The case T(n+1,k) = k!*(n-k+1)!, 1 <= k <= n+1, n >= 0 is the number of choices for forming a cluster (compact group) of k numbered items arranged in a line on a set of permutations of n numbered items arranged in a line. - Igor Victorovich Statsenko, Oct 13 2023

The numbers T(n,k) also appear in the denominators of the partial fraction expansion of 1/(x*(x+1)*...*(x+n)) = Sum_{k=0..n} (-1)^k * 1/(T(n,k)*(x+k)). - Dimitri Papadopoulos, Nov 30 2023

It follows from the previous comment that the numbers T(n,k) also appear in the denominators of the coefficients of the logarithms of the integral of 1/(x*(x+1)*...*(x+n)): c + Sum{k=0...n} (-1)^k * 1/(T(n,k)) * ln(x+k). - Colin Linzer, Dec 18 2024

The array is read by descending antidiagonals as A(1,1), A(1,2), A(2,1), A(1,3), A(2,2), A(3,1), etc.

Construct the infinite-dimensional matrix representation of angular momentum operators (J_1,J_2,J_3) in Jordan-Schwinger form (cf. Harter, Klee, Schwinger). The triangle terms T(n,k)=T(2j,j+m) satisfy:(1/4)T(2j,j+m) = = . Matrices for J_1^2 and J_2^2 are sparse. These diagonal equalities and the off-diagonal equalities of A268759 determine the only nonzero entries. Comments on A268759 provide a conjecture for the clear interpretation of these numbers in the context of binomial coefficients and other geometrical sequences. - Bradley Klee, Feb 20 2016

This sequence appears in the probability of the coin tossing "Gambler's Ruin". Call the probability of winning a coin toss = p, and the probability of losing the toss is 1-p = q, and call z = q/p. A gambler starts with $1, and tosses for $1 stakes till he has $0 (ruin) or has $n (wins). The average time T_win_lose(n) of a game (win OR lose) is a well-known function of z and n. The probability of the gambler winning P_win(n) is also known, and is equal to (1-z)/(1-z^n). T_win(n) defined as the average time it takes the gambler to win such a game is not so well known (I have not found it in the literature). I calculated T_win(n) and found it to be T_win(n) = P_win(n) * Sum_{m=0..n} T(n,m) * z^m. - Steve Newman, Oct 24 2016

As a square array A(n,m), gives the odd number's index of the product of n-th and m-th odd number. See formula. - Rainer Rosenthal, Sep 07 2022