User gottfried helms - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T00:08:25Z http://mathoverflow.net/feeds/user/7710 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/129620/what-is-the-fractional-half-derivative-of-zeta-at-s0-and-how-to-compute-it What is the (fractional) half-derivative of zeta at $s=0$ (and how to compute it)? Gottfried Helms 2013-05-04T07:49:02Z 2013-05-04T18:46:44Z <p><em>(I asked this in <a href="http://math.stackexchange.com/questions/375710" rel="nofollow">MSE</a> before but there was only a general reference which did not help for my specific question)</em> </p> <p>I think I understood the concept of fractional derivatives applied to monomials to consider some general cases and also applied to exponential terms as they occur in the formal expression of the Riemann zeta as Dirichlet series and their integer or fractionally indexed derivatives. </p> <p>For integer indexed derivatives of the zeta at zero I can numerically evaluate the alternating zeta (Dirichlet's eta) instead using some common version of divergent summation, say Euler-summation ($\mathfrak E$) and then formally refer to $${d^m \over dx^m } \eta (0) =\eta^{(m)}(0) \underset{\mathfrak E}= \sum _{k=0}^\infty (-1)^k (-\log(1+k))^m$$<br> and then express the m'th derivatives of the zeta at zero recursively using a binomial formula (and writing $\zeta_m =\zeta^{(m)}(0)$ and $\eta_m =\eta^{(m)}(0)$ and $u=\log(1/2)$ for convenience) $$\zeta_m = - \left(\eta_m + 2 \cdot \sum_{k=0}^{m-1} \left[ \binom{m}{k}u^{m-k} \zeta_k\right]\right)$$ </p> <p>However, I cannot generalize this to the according fractional derivatives, in this question the half-derivative, because the finite binomial sum would become an infinite series, likely also divergent and where I also would not know, in which direction I should re-interpret the binomial sum which is symmetric in its indexes for the case of integer exponents. </p> <p>For the half-derivative of the $\eta$ I get by the Euler-summation and using the setting $\sqrt{-\log(1+k)} = i\sqrt{\log(1+k)}$ the approximation $$\eta_{1/2} \sim -0.347006596200 i$$</p> <p><strong>Q1:</strong> How could I express the half-derivative $\zeta_{0.5} = \zeta^{(0.5)}(0)$ formally<br> <strong>Q2:</strong> and what is a meaningful value?</p> http://mathoverflow.net/questions/127968/efficient-divergent-summation-for-sum-of-zetas-at-negative-arguments Efficient (divergent) summation for sum of zetas at negative arguments? Gottfried Helms 2013-04-18T14:21:29Z 2013-04-19T22:51:07Z <p>In a <a href="http://math.stackexchange.com/questions/363811/alternating-sum-of-multiple-zetas-equals-always-1/364212#364212" rel="nofollow">question in MSE</a> (see bottom of my own answer) I'm considering the following series, depending on a parameter <em>m</em>: $$L(m) = -\zeta(1m)/1 - \zeta(2m)/2 - \zeta(3m)/3 - \ldots$$ where I want to make sense of that sums at negative <em>m</em>. </p> <p>For the numerical evaluation I use a customized version of the Noerlund-summation ($\mathfrak N$) (with the software Pari/GP), but which converges only poorly and even with 128 terms I get not much more than some 15 correct digits. However, at least for $m=-1$ I get a convincing guess using mathematica (at wolfram alpha) such that $$L(-1) \underset{\mathfrak N}{=} 1- \log( \sqrt{2 \pi}) \qquad \small \text{ // guessed from 15 digits }$$ For fractional <em>m</em> between $0 \gt m \gt -1$ the summation still works in principle but with even less reliable digits precision. Here are some guesses for $B(m) = \exp(L(m))$ $$\small \begin{array} {r|lr} m &amp; B(m) (\text{ using } \mathfrak N ) \\ \hline -1 &amp; 1.0844375514192275466 &amp; \qquad (=\exp(1)/ \sqrt{2 \pi} = 1-A_{-1})\\ -1/2 &amp; 1.2904007518681174634 \\ -1/3 &amp; 1.48044921903 \\ -1/4 &amp; 1.65184851943 \\ \end{array}$$</p> <p>Unfortunately for $m \lt -1$ my procedures seem to be completely useless.<br> So I'd like to ask here: <strong>Q:</strong> Which (efficient) procedure can I use to get meaningful evaluations for $L(m)$ at negative <em>m</em> ? </p> <p><strong>[update]</strong><br> To respond to @joro's computation: I did also a Borel-summation. The result for $L(-1)$ was $$L(-1) \sim 0.08106146679532725821967026359438236013860...$$ </p> <p>I proceeded this way. My function to be summed at -1 is $$L(m) = - \sum_{k=1}^\infty \zeta(km)/k \qquad \text{ at } m=-1$$</p> <p>The Borel-transform is $$\mathfrak B L(-1) = - \sum_{k=0}^\infty \zeta(-1-k)/(1+k) \cdot x^k/k!$$ and we define $$B_0(x) = - 1/x \sum_{k=1}^\infty \zeta(-k) \cdot x^k/k!$$ (where the index is also conveniently adapted) </p> <p>Then the Borel-sum is computed by the integral $$L(-1) \underset{\mathfrak B}{=}\int_0^\infty \exp(-t) B_0(t) dt$$</p> <p>Now using the software Pari/GP and the sumalt-procedure for $B_0(x)$ we are still confined to small <em>x</em>, so the integral cannot be evaluated at high values of <em>t</em> . But the $B_0(x)$ can be expressed in a closed form using only the exponential, which I denote here as $B_1(x)$: $$B_1(x)= \left(\frac 12- \frac 1x -{1 \over 1-\exp(x)}\right) \cdot \frac 1x$$ This integral can now be evaluated numerically by Pari/GP with a far better interval: $$L(-1) \underset{\mathfrak B}{\sim}\int_{1e-20}^{1e6} \exp(-t) B_1(t) dt$$ and gives the above value to about 30 digits precision (I don't think it is a rational value). </p> <p>Unfortunately, I cannot generalize that transformation to closed form for sequences of $\zeta(1m)/1,\zeta(2m)/2 , \zeta(3m)/3, ...$ where a negative $m$ is different from $-1$, say $m=-1/2$ or $m=-3$ ... [/update] </p> http://mathoverflow.net/questions/123999/efficient-way-for-computation-of-derivatives-of-fx-zeta1-x-1-x-at-int Efficient way for computation of derivatives of $f(x) = \zeta(1-x) + 1/x$ at integer x? Gottfried Helms 2013-03-08T17:18:31Z 2013-04-05T19:22:00Z <p><em><strong>[This question is copied from <a href="http://math.stackexchange.com/questions/323657" rel="nofollow">math.stackexchange</a>, it didn't get answers so far]</em></strong> </p> <p>For some exercises with (divergent) <a href="http://math.stackexchange.com/questions/202667" rel="nofollow">summation of the Stieltjes constants,see also MSE</a> I'm trying a formula, which involves derivatives of the $\zeta()$ -function at negative integers; perhaps better formulated as $$f(x) = \zeta(1-x) + 1/x \qquad x \in \mathbb N$$ and then the scaled derivatives $$g(x,d) = x^d \cdot {f^{(d)}(x)\over d!}$$. </p> <p>In Pari/GP there is a very nice procedure for the computation of $\zeta$ implemented, but I don't see anything for the derivatives except to implement numerical differentiation along the line ${f(x+\epsilon/2) - f(x-\epsilon/2)\over \epsilon}$ and so on, but which becomes inaccurate for higher derivatives.<br> For small <em>x</em> I can use the representation of the function $f(x)$ as a power series involving the Stieltjes-constants themselves, but a suitable computation is then possible only for a small range of <em>x</em>-values if I use only, say 100 or 200 terms of the power series. </p> <p>Q: What would be a more efficient representation of $f(x)$ and/or $g(x)$ for the actual computation, where -say- <em>x</em> and <em>d</em> both can go up to 100 or 200 ? Note, that for high <em>c</em> (the index for the partial sums, see below) there is the significant effect , that either (x is small and d is high) or converse, such that <em>d+x</em> in the terms of one partial sum is constant.</p> <p><hr> More context: what I'm finally after is to be able to explore the partial sums and its single terms in<br> $$S \underset{\mathfrak E}{=} \lim_{c\to \infty} S(c) = \sum_{k=0}^{c} (-1)^k g( c+1-k ,k)$$ which should be a representation for the (divergent) sum of the Stieltjes constants, taken by some <em>"Eulerian"</em> summation procedure $\mathfrak E$ (see an <a href="http://mathoverflow.net/questions/58083" rel="nofollow">earlier post here on MO</a>).</p> http://mathoverflow.net/questions/117494/math-for-a-cake/117511#117511 Answer by Gottfried Helms for Math for a cake Gottfried Helms 2012-12-29T13:59:42Z 2012-12-29T14:13:11Z <p>One which I like much is $$\exp \left(\begin{bmatrix} . &amp; . &amp; . &amp; . &amp; .\\ 1 &amp; . &amp; . &amp; . &amp; . \\ . &amp; 2 &amp; . &amp; . &amp; . \\ . &amp; . &amp; 3 &amp; . &amp; . \\ . &amp; . &amp; . &amp; 4 &amp; . \\ \end{bmatrix} \right)= \begin{bmatrix} 1 &amp; . &amp; . &amp; . &amp; . \\ 1 &amp; 1 &amp; . &amp; . &amp; . \\ 1 &amp; 2 &amp; 1 &amp; . &amp; . \\ 1 &amp; 3 &amp; 3 &amp; 1 &amp; . \\ 1 &amp; 4 &amp; 6 &amp; 4 &amp; 1 \\ \end{bmatrix}$$ It is practically easier and a bit more iconic if we reduce it a bit - although for me it is not so pleasing, because the immediate remembering of the Pascal-triangle comes with the 1-4-6-4-1-row: $$\Large \exp \small \left(\begin{bmatrix} . &amp; . &amp; . &amp; . \\ 1 &amp; . &amp; . &amp; . \\ . &amp; 2 &amp; . &amp; . \\ . &amp; . &amp; 3 &amp; . \\ \end{bmatrix} \right)= \begin{bmatrix} 1 &amp; . &amp; . &amp; . \\ 1 &amp; 1 &amp; . &amp; . \\ 1 &amp; 2 &amp; 1 &amp; . \\ 1 &amp; 3 &amp; 3 &amp; 1 \\ \end{bmatrix}$$</p> <p>With a bit explanation which might be useful for other guests <a href="http://go.helms-net.de/math/binomial/index-Dateien/image008.png" rel="nofollow">http://go.helms-net.de/math/binomial/index-Dateien/image008.png</a> </p> http://mathoverflow.net/questions/117494/math-for-a-cake/117512#117512 Answer by Gottfried Helms for Math for a cake Gottfried Helms 2012-12-29T14:05:26Z 2012-12-29T14:05:26Z <p>A geometric one, where the zero can be made a cake (circle) itself $$x^2 + y^2 -1 = \Huge \circ$$</p> http://mathoverflow.net/questions/111827/singular-value-decomposition-of-noisy-matrices/111873#111873 Answer by Gottfried Helms for Singular Value Decomposition of Noisy Matrices Gottfried Helms 2012-11-09T07:25:08Z 2012-11-09T07:25:08Z <p>It seems to be a classical question (handled by methods) of "<a href="http://en.wikipedia.org/wiki/Factor_analysis" rel="nofollow">factor analysis</a>". There the problem is attacked using the covariance-, or correlation matrix, in this case possibly simply $\small \widetilde C = \widetilde U \cdot \widetilde U^{\Tiny T} /n$ (without or with centering) and then some "pca","paf" or "maximum likelihood" factor extraction appended, based on your assumtion of characteristics of $E$ resp. $\small E \cdot E^{\Tiny T}$, i.e. estimates about the variances of the error.<br> But there is less "classical" method, possibly even better suited for your case, called <a href="http://en.wikipedia.org/wiki/Independent_component_analysis" rel="nofollow">ICA</a> - unfortunately I do not exactly know how this is computed and how it is approached at all. (The wikipedia links may give a first impression, there is much more available even in internet sources)</p> http://mathoverflow.net/questions/109567/eigenvalues-of-infinite-matrices/109663#109663 Answer by Gottfried Helms for Eigenvalues of infinite matrices Gottfried Helms 2012-10-15T00:48:40Z 2012-10-15T11:34:12Z <p>One simple example with a special matrix, which has somehow "a continuum" as eigenvalue...<br> Consider some function $f(x) = K + ax + bx^2 + cx^3 + ...$ having a nonzero radius of convergence. Then think of the infinite matrix of the form $$\small \begin{bmatrix} K &amp; . &amp; . &amp; . &amp; \cdots \\ a &amp; K &amp; . &amp; . &amp; \cdots \\ b &amp; a &amp; K &amp; . &amp; \cdots \\ c &amp; b &amp; a &amp; K &amp; \cdots \\ \vdots &amp; \vdots &amp; \vdots&amp; \vdots &amp; \ddots \end{bmatrix}$$ From the properties of finite matrices we would expect, that <em>K</em> is an eigenvalue. But consider a type of an infinite vector</p> <p>$$V(x) = [1,x,x^2,x^3,x^4,\ldots ]$$ with a scalar parameter $x$ from the range of convergence, then $$V(x) \cdot F = f(x) \cdot V(x)$$ This means also: any vector $V(x)$ is an eigenvector of the matrix <strong><em>F</em></strong> and corresponds to the eigenvalue $f(x)$. If now $f(x)$ is entire, for instance the exponential function $f(x)=\exp(x)$, then any value from the complex plane (except $0$ because $\exp(x)$ is never $0$) "is an eigenvalue" of <strong><em>F</em></strong> contradicting the "naive" extrapolation from the finite truncation of the matrix ...</p> http://mathoverflow.net/questions/109702/bell-or-jabotinsky-matrix-whats-the-canonical-name-if-any "Bell" or "Jabotinsky"-matrix - What's the canonical name (if any)? Gottfried Helms 2012-10-15T10:12:35Z 2012-10-15T10:12:35Z <p>I'm just reading J. Cigler's script for his talks "Konkrete Analysis" where I find the term "Jabotinsky-matrix" for that matrix, which I've (informally) been taught to call "Bell-matrix" (see at least <a href="http://en.wikipedia.org/wiki/Bell_matrix" rel="nofollow">Wikipedia</a> where it is subsumed under "Carleman-matrix", but can be found in various papers). Then I find the same in D. Knuth's 1992-article on "<a href="http://arxiv.org/pdf/math/9207221.pdf" rel="nofollow">convolution polynomials</a>" where he develops/refers to that same idea and attributes it to Eri Jabotinsky(1947) <em>(gives as an example the formal power series for the "half-iterate" of</em> $\exp(x)-1$ <em>)</em><br> (The carleman-matrix is a transpose and similarity-transform using the factorials). </p> <p>Q: is one of the names "canonized"? And if, which?<br> Q2: And, if not: which should one prefer in writing? </p> http://mathoverflow.net/questions/104370/an-infinite-set-of-identities-using-stirling-numbers-1st-kind-are-they-all-zero An infinite set of identities using Stirling numbers 1st kind - are they all zero? Gottfried Helms 2012-08-09T17:12:46Z 2012-10-07T06:48:11Z <p>I have the following set of series involving the Stirling numbers 1'st kind and binomials, which can be understood as a set of dot-products of row- and column-vectors of two infinite matrices (where <em>R</em> and <em>C</em> indicate rows and columns, beginning at zero):</p> <p>$$w_{R,C} =\sum_{k=\max(R,C)}^\infty (-1)^k {s_1(1+k,1+k-R)\over k!} \cdot (-1)^C (1+C)^k \cdot \binom {1+k}{1+C}$$</p> <p>I've tested this heuristically for several <em>R</em> and <em>C</em> and always approximated zero; also wolfram-alpha can evaluate this explicitely to zero if feeded with </p> <blockquote> <p>sum (-1)^k * StirlingS1(k+1,1+k-R)/k! * (1+C)^k * binomial(1+k,1+C), for k=max(C,R) to infty </p> </blockquote> <p>where we replace $C$, $R$ and $\max(C,R)$ with actual values. </p> <p>However, I've no option to let wolfram-alpha answer this in general. </p> <p>I've proved this for $C=0$ and the first few <em>R</em> using exponential generating functions, but again, a general proof is out of reach for me (possibly I'm overlooking something trivial like telescoping...), so I ask for help here. </p> <p><hr> The convention for Stirling numbers first kind as in Math'ica, indexes beginning at zero: </p> <p>$\small \qquad \qquad \begin{array} {rrrrr} 1 &amp; . &amp; . &amp; . &amp; . &amp; . \\ 0 &amp; 1 &amp; . &amp; . &amp; . &amp; . \\ 0 &amp; -1 &amp; 1 &amp; . &amp; . &amp; . \\ 0 &amp; 2 &amp; -3 &amp; 1 &amp; . &amp; . \\ 0 &amp; -6 &amp; 11 &amp; -6 &amp; 1 &amp; . \\ 0 &amp; 24 &amp; -50 &amp; 35 &amp; -10 &amp; 1 \end{array}$</p> <p><hr> If some background is of interest: here are the questions on MSE<br> <a href="http://math.stackexchange.com/questions/16228" rel="nofollow">http://math.stackexchange.com/questions/16228</a> // question of some user which motivated me to look at an example<br> <a href="http://math.stackexchange.com/questions/89853" rel="nofollow">http://math.stackexchange.com/questions/89853</a> // my follow-up question dealing with the current problem<br> and a more worked out treatize on this in a pdf-file <a href="http://go.helms-net.de/math/divers/InverseNullmatrix.pdf" rel="nofollow">http://go.helms-net.de/math/divers/InverseNullmatrix.pdf</a> </p> http://mathoverflow.net/questions/105831/matrix-inversion-lemma-for-infinite-matrices/105845#105845 Answer by Gottfried Helms for Matrix Inversion Lemma for Infinite Matrices Gottfried Helms 2012-08-29T14:45:24Z 2012-08-29T14:45:24Z <p>Hmm, if all dotproducts in $X = H^T D H$ are convergent, then I don't see any special problem: the $X$ matrix simply has finite rank, and you do not encounter any specific problems due to this configuration. However, the rank of $(A+X)$ might be reduced - but this is a general problem for any $(A+X)^{-1}$-problem... </p> http://mathoverflow.net/questions/105535/how-to-check-numerical-precision-of-my-computation-of-stieltjes-constants How to check numerical precision of my computation of Stieltjes-constants? Gottfried Helms 2012-08-26T14:31:37Z 2012-08-27T06:22:01Z <p>In a thread in <a href="http://math.stackexchange.com/questions/186292/derivatives-of-the-riemann-zeta-function-at-s-0" rel="nofollow">MSE</a> I proposed an older routine of mine for the efficient computation of coefficients; I use a very similar routine for the quick&amp;dirty computation of the Stieltjes-constants. </p> <p>This motivated me to try to improve my earlier toy-computations to calculate now the first 512 Stieltjes to 1000 dec digits precision. I'm unable to estimate the number of correct digits by analytical arguments; at least wolframalpha allowed me to display StieltjesGamma[511] to 400 digits, which met my own computations. </p> <p>The only freely available table around seems to be that of S. Plouffe (linked via <a href="http://en.wikipedia.org/wiki/Stieltjes_constants" rel="nofollow">wikipedia</a>) but they display only the first 78 numbers to 256 digits precision. </p> <p><strong>Update2:</strong> This is the effective formula to which the Pari/GP code reduces: </p> <p>Let $\qquad h_c = {1\over c!} \sum_{k=0}^\infty (-1)^k {\ln(1+k)^c\over1+k}$ This is done using the <em>sumalt</em>-procedure. </p> <p>Next let $\qquad r_c = - {\ln(2)^{c-1}\over c!} b_c$ where $b_c$ are the bernoulli numbers </p> <p>Then $\qquad \gamma_c = c! \sum_{d=0}^{c+1} h_d \cdot r_{c+1-d}$ </p> <p><em>So my question:</em></p> <blockquote> <p>how could I possibly get an educated guess for the number of correct digits based on my Pari/GP-routine?* </p> </blockquote> <p>Alternatively: </p> <blockquote> <p>is there some table with comparable precision around such that I can at least check the match for the first m digits (where m should optimally go to 1000)?</p> </blockquote> <p><em>(here is the table with my current computations of <a href="http://go.helms-net.de/math/tables/stieltjes_512x1000.zip" rel="nofollow">512 coeffs by 1000 digits</a>)</em><br> <hr> <strong>Update1:</strong><br> Heuristically I find, that beginning with some precision, say $300$ dec digits at the first $\gamma_0$ , I simply lose one digit precision per step in the index, so in $\gamma_k$ are roughly $300-k$ digits correct, maybe a handful less.<br> For this I used differences when computed with precision $200,300,400,500,600,700$ from that with precision $800$, $\gamma_0$ had just nearly all leading digits constant, when precision was increased, so that was always correct to the full precision.<br> That would mean, that if I want $1000$ correct digits for $\gamma_{511}$ I need dec precision of (at least) $1550$ . Simple, if that is true...</p> <hr> <p>Here is my routine. I reduced the precision-parameter so that this can just be copied &amp; pasted to a Pari/GP-environment. For precision of 1000 dec digits and 512 coefficients this must be optimized due to exorbitant increase of stack and computation-time otherwise</p> <p>Prepare computations with parameters for precision of computation</p> <pre><code>termsforseries = 32 digitstocompute = 200; digitstoshow = 12; default(realprecision,digitstocompute) default(format,Str("g0.",digitstoshow)) default(seriesprecision,termsforseries) </code></pre> <p>Compute the coefficients of the Laurent-expansion of the zeta by conversion from the same series-type of the eta-function (the alternating zeta) </p> <pre><code>\\ ========= Zeta Laurent-expansion providing Stieltjes-coefficients ==== ps_eta = sumalt(k=0,taylor((-1)^k/(1+k)^(1-x),x)) tmp = Vec(1-2*2^(-(1-x))); tmp[1]=0; \\ make the first zero exact. this step is needed for \\ allowing the reciprocal of the powerseries ps_etatozeta=1/Ser(tmp) ps_zeta = ps_eta * ps_etatozeta \\ contains now the Stieltjes-coefficients tmp=Vec(ps_zeta);tmp=vector(#tmp-1,c,tmp[1+c]) \\ remove the first coefficient (at 1/x) sti = vector(#tmp,r,tmp[r]*(r-1)!) \\ extract Stieltjes-constants by mult with factorials </code></pre> http://mathoverflow.net/questions/71429/do-complex-iterates-of-functions-have-any-meaning/71444#71444 Answer by Gottfried Helms for Do complex iterates of functions have any meaning? Gottfried Helms 2011-07-27T22:37:58Z 2012-08-19T06:42:24Z <p>I'm discussing this from the view of iterated exponentiation (although the technical process should be the same with other functions as well). </p> <p>If you can use the Schroeder-function for the continuous iteration, then the iteration-height-parameter (say "h") goes into the exponent of some basis (the log of the fixpoint, often denoted as $\small \lambda$ ). Imaginary heights <em>h</em> then switch the value of the schröder-function to the negative; this allows then to extend the iteration beyond "infinite height". </p> <p>For instance, use base $\small b = \sqrt 2$ for iterated exponentiation, $\small z_0=x, z_1=b^x , z_2=b^{b^x}, \ldots$. Then if you begin at, say, $\small z_0=x=1$ you can iterate to infinite height to approach the limit at $\small z_\infty = 2$ . If you start at $\small z_0=x=3$ you can approach $\small z_\infty = 2$ or even $\small z_{-\infty}=4$ . But you cannot iterate from a value $\small z_m&lt;2$ to a value $\small 2 &lt; z_w &lt; 4$ using real heights, even when infinite. </p> <p>But if you use the imaginary unit height you iterate directly from $\small z_m=1$ to something like $\small z_{m+i}=2.4$. </p> <p>Assume again $\small z_0=1$. Then the value of the schröder-function (which is assumed to be normed to have the powerseries $\small \sigma(x)= 1x+\sum_{k>1} a_k x^k$ ) is about $\small s=-0.316049330525$. Then $\small \sigma^{o-1}( \lambda^1 s)\cdot 2 +2=b=\sqrt 2$ because that is the iteration of height 1 (in the exponent of $\small \lambda$ ).<br> If we replace that exponent by $\small h_w = i \cdot {\pi \over \ln \lambda }$ then we get $\small \sigma^{o-1}( \lambda^{h_w} s) \cdot 2 +2=2.46791405022...$ which is, in some sense "beyond infinity" with respect to the iteration height.</p> http://mathoverflow.net/questions/100430/how-to-interpret-this-class-of-numbers/103373#103373 Answer by Gottfried Helms for How to interpret this class of numbers? Gottfried Helms 2012-07-28T09:57:50Z 2012-07-28T11:27:54Z <p>In addition to the answer of Harun Siljak one should perhaps mention that for the slightly different expression $$\operatorname{dxp}\small([topexponent],[base],[iterationheight])=\operatorname{dxp}(x,t,h)$$ where $$\operatorname{dxp}(x,t,0)= x <br>\\ \operatorname{dxp}(x,t,1)= t^x - 1 <br>\\ \operatorname{dxp}(x,t,2)= t^{t^x - 1 } - 1 <br>\\ \cdots$$ there is a solution for real $h$ based on the power series for the exponential function minus the constant term. Usually this is discussed for the function $$\operatorname{dxp}(x,e,1)= \exp(x) - 1$$ and fractional or even irrational heights $h$ and a parametrization for the coefficients for $$\operatorname{dxp}(x,t,1)= \sum_{k=1}^\infty u^k{x^k \over k!} <br>\\ \operatorname{dxp}(x,t,h)= \sum_{k=1}^\infty \mathcal{P}(u,h,k){x^k \over k!} <br>\\ \text{where I wrote }u \text{ for } \ln(t)$$ where $\mathcal{P}$ denotes a polynomial in iteration-height, $\ln(t)$ and the series-index $k$. </p> <p>For series like this and its iterations it is accepted, that the indicated family of iteration heights form a semigroup, where the height-parameter $h$ can be non-integer and can even be complex. This can already be found in L.Comtet's "advanced combinatorics" but also elsewhere. </p> <p>Unfortunately, although the iterations of <em>dxp()</em> and <em>exp()</em> can be converted into each other (simply by a change of base) for integer heights, this is not uniquely determined for the fractional heights (the reason is, that for the same base in $b^x$ we have multiple bases $t$ in $t^x-1$ and the various $t$ give different results for the same $x$ and height $h$ if $h$ is fractional). Which then leads to the comment in the other answer, that there is not (yet) a commonly accepted interpretation for the noninteger heights in your original problem.</p> http://mathoverflow.net/questions/83904/can-the-relative-count-of-the-primefactors-in-small-lim-w-to-infty-prod-k Can the relative count of the primefactors in $\small \lim_{w\to\infty}\prod_{k=1}^w (p_k-1)$ be determined analytically? Gottfried Helms 2011-12-19T22:13:57Z 2012-06-20T01:00:18Z <p><em>(I've posted this question earlier to <a href="http://math.stackexchange.com/questions/75715/" rel="nofollow">MSE</a> but did not receive answers, so I'll try it here. I also condensed the wording, hopefully not too much)</em> </p> <p>Let<br> $\displaystyle \small \qquad f_w = (2-1)(3-1)(5-1)\ldots(p_w-1) \qquad = \prod_{k=1}^w (prime(k)-1)$<br> or in general with a natural number for the exponent <em>n</em><br> $\displaystyle \small (1) \qquad f_w(n) = (2^n-1)(3^n-1)(5^n-1)\ldots(p_w^n-1) \qquad = \prod_{k=1}^w (prime(k)^n-1)$<br> with <em>w</em> going to infinity. </p> <p>Then let's denote the canonical primefactorization of that product<br> $\displaystyle \small (2) \qquad f_w(n) = 2^{a_{n,1}} \cdot 3^{a_{n,2}} \cdot 5^{a_{n,3}} \cdot \ldots \cdot q_k^{a_{n,k}} \cdot \ldots$<br> using <em>q</em> for the primefactors here to avoid confusion between the two representations.</p> <p>I am interested, whether there is an analytical expression for the relative frequencies<br> $\small (3) \qquad r_w(n,k) = a_{n,k} / w$<br> in the limit in the latter expression. </p> <p>Empirically (using the first <em>600000</em> primes in formula (1)) I found approximations to rational values for the relative frequencies of the first few primefactors <em>q</em> in formula (2) giving a somehow meaningful table, where, after scaling near to integers, for small primes <em>q</em> the error was in the near of <em>1/1000</em> . However, I cannot determine, whether the deviations from my estimated analytical formula are random and are vanishing in the limit or whether they keep a bias. Especially the primefactor <em>q=2</em> in the formula (2) seems to have a nonrandom bias which might survive in the limit. </p> <p>Here is the table. The entries $\small e_{n,q}$ give the rounded empirical frequencies $\small e_{n,q} \approx a_{n,k}/w \cdot (q-1)^2$ </p> <p>$\small \qquad \begin{array} {r|rrrrrrrrrrrr} n&amp;2&amp;3&amp;5&amp;7&amp;11&amp;13&amp;17&amp;19&amp;23&amp; (\ldots \text{ primefactor }q)\\ \hline \\ 1&amp;2&amp;3&amp;5&amp;7&amp;11&amp;13&amp;17&amp;19&amp;23 \\ 2&amp;4&amp;6&amp;10&amp;14&amp;22&amp;26&amp;34&amp;38&amp;46 \\ 3&amp;2&amp;5&amp;5&amp;21&amp;11&amp;39&amp;17&amp;57&amp;23 \\ 4&amp;5&amp;6&amp;20&amp;14&amp;22&amp;52&amp;68&amp;38&amp;46 \\ 5&amp;2&amp;3&amp;9&amp;7&amp;55&amp;13&amp;17&amp;19&amp;23 \\ 6&amp;4&amp;10&amp;10&amp;42&amp;22&amp;78&amp;34&amp;114&amp;46 \\ 7&amp;2&amp;3&amp;5&amp;13&amp;11&amp;13&amp;17&amp;19&amp;23 \\ 8&amp;6&amp;6&amp;20&amp;14&amp;22&amp;52&amp;136&amp;38&amp;46 \\ 9&amp;2&amp;7&amp;5&amp;21&amp;11&amp;39&amp;17&amp;171&amp;23 \\ 10&amp;4&amp;6&amp;18&amp;14&amp;110&amp;26&amp;34&amp;38&amp;46 \\ 11&amp;2&amp;3&amp;5&amp;7&amp;21&amp;13&amp;17&amp;19&amp;253 \\ 12&amp;5&amp;10&amp;20&amp;42&amp;22&amp;156&amp;68&amp;114&amp;46 \\ 13&amp;2&amp;3&amp;5&amp;7&amp;11&amp;25&amp;17&amp;19&amp;23 \\ 14&amp;4&amp;6&amp;10&amp;26&amp;22&amp;26&amp;34&amp;38&amp;46 \\ 15&amp;2&amp;5&amp;9&amp;21&amp;55&amp;39&amp;17&amp;57&amp;23 \\ 16&amp;7&amp;6&amp;20&amp;14&amp;22&amp;52&amp;272&amp;38&amp;46 \\ 17&amp;2&amp;3&amp;5&amp;7&amp;11&amp;13&amp;33&amp;19&amp;23 \\ 18&amp;4&amp;14&amp;10&amp;42&amp;22&amp;78&amp;34&amp;342&amp;46 \end{array}$ </p> <p>The heuristical formula that I extrapolated (letting <em>w</em> increase towards infinity) has two forms: </p> <p>if <em>q=2</em> and <em>n</em> is even (<em>gcd(n,q)=2</em>):<br> $\small \qquad e_{n,2} = (3 + \operatorname{val}( n,2 ) )$<br> where the function <em>val(n,q)</em> means: the exponent, to which primefactor <em>q</em> occurs in <em>n</em> </p> <p>For all other cases<br> $\small \qquad e_{n,q} = \gcd(n,q-1) \cdot (q + (q-1)\cdot \operatorname{val}(n,q) )$ </p> <p>Then<br> $\small \qquad \displaystyle a_{n,q} = { e_{n,q} \cdot w \over (q-1)^2 }$ </p> <p>Can the guessed formula be confirmed by an analytical argument?</p> http://mathoverflow.net/questions/95265/eigencircles-of-n-x-n-matrices/95320#95320 Answer by Gottfried Helms for Eigencircles of n x n matrices? Gottfried Helms 2012-04-27T03:45:07Z 2012-04-27T12:50:23Z <p>As I understand the problem it can be generalized. The $\small \lambda,\mu$-matrix can be seen as scaled rotation, and using $\small r^2 = \lambda^2 + \mu^2$ we can, because the $\small \lambda,\mu$ - matrix is invertible and is the <em>left</em> factor on the rhs <em>(thus it is not really an eigenvalue analogon in my opinion)</em> we can differently rewrite your original equation as </p> <p>$\qquad \small \frac1{r^2} \begin{bmatrix} \lambda &amp; -\mu \\ \mu &amp; \lambda \end{bmatrix} \cdot \begin{bmatrix} a &amp; b \\ c &amp; d \end{bmatrix} \cdot \begin{bmatrix} x \\ y \end{bmatrix}=\begin{bmatrix} x \\ y \end{bmatrix} \cdot 1$ </p> <p>or $\qquad \small \begin{bmatrix} \cos(\varphi) &amp; -\sin(\varphi) \\ \sin(\varphi) &amp; \cos(\varphi) \end{bmatrix} \cdot \begin{bmatrix} a &amp; b \\ c &amp; d \end{bmatrix} \cdot \begin{bmatrix} x \\ y \end{bmatrix}=\begin{bmatrix} x \\ y \end{bmatrix} \cdot r$ </p> <p>or<br> $\qquad \small (T \cdot A) \cdot X = X \cdot r$</p> <p>where then the eigen-problem is<br> $\qquad \small \left\vert T \cdot A - r\cdot I \right\vert = 0$ </p> <p>The left factor <strong><em>T</em></strong> is simply a rotation-matrix and <em>r</em> the eigenvalue of the rotated matrix $\small T\cdot A$. </p> <p>If this characterization of the $\small \lambda, \mu$-matrix is the interesting one (which I assume) it can then be generalized to more dimensions in the obvious way and the $\small \lambda ,\mu$'s have to be determined as scalings of the cos/sin-parameters by the eigenvalues of the multidimensionally rotated matrix.</p> <p><hr> [Update] Here is a picture of the construction according to my interpretation of the problem. I take some example-matrix <strong><em>A</em></strong> $\small \begin{bmatrix} 12&amp;24\\ 13&amp;83 \end{bmatrix}$ then leftmultiply by the rotationmatrices of angles between <em>0</em> and $\small 2 \pi$. Each has then two eigenvalues $\small w_0 , w_1$. The $\small \lambda,\mu$ -matrix is then $\small T \cdot w_0$. Note, that the eigenvalues and thus the $\small \lambda,\mu$-matrix may become complex for some rotations. Then I plot the log of the absolute value of the two eigenvalues in different colors. Here is the picture: </p> <p><img src="http://go.helms-net.de/math/divers/mo/eigencircle.png" alt="alt text"></p> http://mathoverflow.net/questions/91001/how-to-compare-two-similarity-matrices/91026#91026 Answer by Gottfried Helms for How to compare two similarity matrices? Gottfried Helms 2012-03-12T22:41:55Z 2012-03-12T22:48:12Z <p>As far as you use the cosine as similarity measure, the matrix is a correlation matrix. For this situation in statistics there is the concept of "<a href="http://en.wikipedia.org/wiki/Canonical_correlation" rel="nofollow">canonical correlation</a>", and this might be then the most appropriate for your case: it gives an index how much "variance of one set of variables is explained by the other". The two set of variables are the two sets of vectors $\small v_i$ here. </p> <p>Another option could be to compute the cholesky factors ("factor loadings matrices") <strong>L1</strong> and <strong>L2</strong> of each of the correlation matrices <strong>R1</strong> and <strong>R2</strong> and do a target-rotation of <strong>L1</strong> to <strong>L2</strong>. Then, for instance, the squared distances of the vector-tips of each related vector in <strong>rotated(L1)</strong> and <strong>L2</strong> could be summed and this could be understood as similarity measure <em>of the matrices(!)</em> - but this is no standard method as far as I know... </p> http://mathoverflow.net/questions/90977/interesting-result-on-the-euler-maschroni-constant-what-is-the-background/91025#91025 Answer by Gottfried Helms for Interesting result on the Euler-Maschroni constant - what is the background? Gottfried Helms 2012-03-12T22:25:45Z 2012-03-12T22:25:45Z <p>Adding an example to @quid's answer: </p> <p>Using Pari/GP the harmonic numbers minus Euler-gamma can be obtained using the psi-function. If we subtract 1 from the $\small a_i$-values the composition of the result by <em>i</em>-digits long blocks of decimal expansion of the bernoulli-numbers becomes then immediately visible. With $\small i \gt 20$ or so it becomes even more impressive:</p> <pre><code>fmt(200,60) \\ user function: internal prec 200, display prec 60 digits i=6 psi(10^i)-1 - i*log(10) %681 = -1.00000050000008333333333332500000000000396825396824980158730 (psi(10^i)-1 - i*log(10))*6 %683 = -6.00000300000049999999999995000000000002380952380949880952381 (psi(10^i)-1 - i*log(10))*42 %684 = -42.0000210000034999999999996500000000001666666666664916666667 (psi(10^i)-1 - i*log(10))*42*30 %685 = -1260.00063000010499999999998950000000000499999999999475000000 </code></pre> <p>etc... </p> http://mathoverflow.net/questions/90558/for-an-approach-to-the-hadamard-matrix-problem-is-there-a-proof-that-the-iterat For an approach to the Hadamard-matrix-problem: is there a proof, that the iterative plane-wise orthogonal rotations (Quartimax/Varimax) converge to global maximum? Gottfried Helms 2012-03-08T09:09:51Z 2012-03-08T16:13:17Z <p>I've asked this question at <a href="http://stats.stackexchange.com/questions/20805/how-is-the-proof-that-the-quartimax-varimax-rotation-converges" rel="nofollow">stat-exchange</a> and at the "Semnet"-mailing list of professionals in statistics. The reference to some articles in Psychometrica (for instance ten Berge 1995, Jennrich 2001) were insofar helpful, that I saw, that reasons for nonsuccessful rotation were handled - but the explicite statement, whether the iteration with plane-wise rotations using the Varimax- or Quartimax-criterion is always converging /can always be made converging was not made/referred to. (This is different for instance for the case of using the principal components-criterion, for which I think I've come across an explicite proof ~20 years ago). </p> <p>The reason to ask this is an approach to the Hadamard-matrix-problem: the Hadamard-matrix is defined to consist of entries +1 and -1 only and being orthogonal.<br> Being orthogonal means to have the form of a rotation-matrix, simply scaled by one scalar factor such that all entries have the desired value -1 or +1. That means, the <em>variance</em> of the squared entries is zero. So if I begin with any initial rotation-matrix, and rotate to <em>minimal</em> (instead of maximal) variance using the inverse of the "varimax" or of the "quartimax"-criterion, say "varimin" or "quartimin", I should arrive at a proper Hadamard-matrix, scalar scaled by the reciprocal of the square of the number of rows/columns. </p> <p>Indeed this works for small sizes (up to n=20, so nxn=20x20) and "sometimes" for n=24, but then the Hadamard-form is found extremely seldom.<br> Ten Berge (1995) gave insight in the rotation procedure, noting, that sometimes convergence is not reached because of systematic missing of optimization of some planes in the iterative process, but which might be overcome by some workaround. The global convergence question however was not explicitely mentioned as solved. </p> <p>Question: is a proof for the convergence to the global optimum by the iterative, plane-wise rotation using the quartimax/varimax-rotation known? Or is it known, that it does not always converge?) (If it is simple enough it might be done here, or else a reference were good. I've it -surprisingly- not seen in the monographies on factor analysis of for instance S.Mulaik(74) or K.Überla(68) . </p> <p>(This "varimin"-rotation-approach to the Hadamard-matrix problem has its further charme, because it is also applicable to matrices which have other dimensions than n=4*m, and is thus some more general formulation/notion for that problem: "the lower bound for the variance of the squared entries of orthogonal matrices of size nxn where n=4m is zero" )</p> <p><hr> Examples </p> <pre><code>//commands in "Matmate" to reproduce the approach n=8 A = gettrans(randomu(n,n),"drei") // creates a random rotation-matrix in A A = sqrt(n) * A // rescales it with the scalar sqrt(n) T = gettrans(A,"-varimax") // gets the rotationmatrix T which rotates A // using the optimization criterion "Varimin" H = A * T // gets the Hadamardmatrix of size 8x8 // by column-rotation </code></pre> <p>$\qquad \small \text{ A =} \begin{array} {rrrrrrrr} 0.95&amp; 0.24&amp; 1.32&amp; 0.34&amp; -0.87&amp; -1.08&amp; 1.54&amp; -0.94\\ 1.45&amp; 0.06&amp; -1.03&amp; -0.57&amp; 1.71&amp; -0.41&amp; 0.05&amp; -1.19\\ 1.29&amp; -0.91&amp; -0.50&amp; 1.41&amp; -0.98&amp; 1.29&amp; -0.54&amp; -0.59\\ 1.02&amp; 1.14&amp; -1.36&amp; 0.36&amp; -0.67&amp; -0.75&amp; 0.35&amp; 1.60\\ 0.53&amp; -0.28&amp; 1.21&amp; 1.36&amp; 1.14&amp; -0.97&amp; -1.14&amp; 0.86\\ 0.20&amp; 1.76&amp; 0.72&amp; 0.57&amp; 0.87&amp; 1.69&amp; 0.62&amp; 0.13\\ 0.64&amp; 1.26&amp; 0.62&amp; -1.03&amp; -0.92&amp; -0.11&amp; -1.84&amp; -0.57\\ 1.26&amp; -1.03&amp; 0.85&amp; -1.48&amp; 0.08&amp; 0.78&amp; 0.36&amp; 1.31 \end{array}$ </p> <p>and the Hadamardmatrix <strong><em>H</em></strong> </p> <p>$\qquad \small \text{ H =} \begin{array} {rrrrrrrr} -1.00&amp; -1.00&amp; 1.00&amp; 1.00&amp; -1.00&amp; -1.00&amp; 1.00&amp; -1.00\\ 1.00&amp; -1.00&amp; -1.00&amp; -1.00&amp; 1.00&amp; -1.00&amp; 1.00&amp; -1.00\\ 1.00&amp; -1.00&amp; -1.00&amp; 1.00&amp; -1.00&amp; 1.00&amp; -1.00&amp; -1.00\\ 1.00&amp; 1.00&amp; -1.00&amp; 1.00&amp; -1.00&amp; -1.00&amp; 1.00&amp; 1.00\\ 1.00&amp; -1.00&amp; 1.00&amp; 1.00&amp; 1.00&amp; -1.00&amp; -1.00&amp; 1.00\\ 1.00&amp; 1.00&amp; 1.00&amp; 1.00&amp; 1.00&amp; 1.00&amp; 1.00&amp; -1.00\\ 1.00&amp; 1.00&amp; 1.00&amp; -1.00&amp; -1.00&amp; -1.00&amp; -1.00&amp; -1.00\\ 1.00&amp; -1.00&amp; 1.00&amp; -1.00&amp; -1.00&amp; 1.00&amp; 1.00&amp; 1.00 \end{array}$ </p> <p>For a dimension not a multiple of <em>4</em> we do not get the variance of the squares of the matrix-entries to equal zero but I think, we get the solution of <em>minimal</em> variance, and the squares of the entries are not <em>1</em>.<br> Example n=6:</p> <p>$\qquad \small \text{ A =} \begin{array} {rrrrrr} 1.00&amp; 1.29&amp; 1.32&amp; -1.10&amp; 0.33&amp; 0.52\\ 0.48&amp; 0.23&amp; 1.14&amp; 1.56&amp; -1.39&amp; -0.22\\ 1.51&amp; -1.51&amp; -0.08&amp; 0.09&amp; 0.12&amp; 1.18\\ 1.38&amp; 0.62&amp; -1.39&amp; -0.40&amp; -0.85&amp; -0.94\\ 0.74&amp; -0.32&amp; 0.49&amp; 0.63&amp; 1.55&amp; -1.52\\ 0.21&amp; 1.22&amp; -0.88&amp; 1.34&amp; 0.89&amp; 1.04 \end{array}$<br> and<br> $\qquad \small \text{ H =} \begin{array} {rrrrrr} 0.00&amp; 1.10&amp; 1.10&amp; -1.10&amp; 1.10&amp; 1.10\\ 1.10&amp; 1.10&amp; 1.10&amp; 1.10&amp; -1.10&amp; 0.00\\ 1.10&amp; -1.10&amp; -0.00&amp; -1.10&amp; -1.10&amp; 1.10\\ 1.10&amp; 1.10&amp; -1.10&amp; -1.10&amp; 0.00&amp; -1.10\\ 1.10&amp; -1.10&amp; 1.10&amp; 0.00&amp; 1.10&amp; -1.10\\ 1.10&amp; -0.00&amp; -1.10&amp; 1.10&amp; 1.10&amp; 1.10 \end{array}$ </p> <p>where the nonzero entries are exactly $\small \pm \sqrt{6 / 5}$<br> <hr> [update] For the n=6-case I've got one alternate solution, which is not optimal but which is stationary under the varimin/quartimin-criterion. This is<br> $\qquad \small \text{ H =} \begin{array} {rrrrrr} 0.75580438&amp;0.75580439&amp;1.32408152&amp;1.12540822&amp;-1.12540822&amp;-0.75580438\\ 1.32408152&amp;-1.12540822&amp;-0.75580438&amp;0.75580439&amp;-0.75580438&amp;1.12540822\\ 1.12540822&amp;-1.32408152&amp;0.75580439&amp;-0.75580438&amp;0.75580438&amp;-1.12540822\\ 1.12540822&amp;1.12540822&amp;0.75580438&amp;-0.75580438&amp;0.75580439&amp;1.32408152\\ 0.75580439&amp;0.75580438&amp;-1.12540822&amp;-1.32408152&amp;-1.12540822&amp;-0.75580438\\ 0.75580438&amp;0.75580438&amp;-1.12540822&amp;1.12540822&amp;1.32408152&amp;-0.75580439 \end{array}$<br> This is just plain vanilla-"varimin", I did not yet include the ten Berge-workaround here. </p> http://mathoverflow.net/questions/87113/alternating-sums-of-powers-of-the-lngamma-small-f-px-sum-logkp-xk Alternating sums of powers of the lngamma ($\small f_p(x) = \sum \log(k!)^p x^k$ at $\small x=-1$) Gottfried Helms 2012-01-31T07:23:43Z 2012-01-31T11:34:03Z <p>I'm still fiddling with <a href="http://mathoverflow.net/questions/84958/85010#85010" rel="nofollow">this recent question</a> and come to a detail, whether I can find closed forms for the sums of the $\small lngamma()$ function. Precisely<br> $$\small f_p(x) = \sum_{k=0}^{\infty} \log(k!)^p \cdot x^k$$ and my first question is to find closed forms for $\small f_p(-1)$ for consecutive <em>p</em>. </p> <p>They are all non-converging series, but which can nicely be summed by, for instance, Euler-summation, but I wish to find closed forms (or simple forms of other series with more known analytical properties). For <em>p=0</em> this is $\small \eta(0)$ (the "Dirichlet's eta", or "alternating zeta", function), for <em>p=1</em> this is $\small \eta(0)'$ and I expected, that $\small f_2(-1)$ would be something composed by the square of $\small f_1(-1)$ or the second derivative of the $\small \eta$ at zero, but didn't succeed so far. </p> <p>The numerical values for the first few <em>p</em> seem to be (using Pari/GP sumalt-procedure)<br> $\small \qquad \begin{array} {rl} p &amp; f_p(-1) \\ \hline \\ 0 &amp; 0.500000000000 \\ 1 &amp; 0.112895676322 \\ 2 &amp; -0.0380319653072 \\ 3 &amp; 0.0135052530749 \\ 4 &amp; 0.0183298626301 \\ 5 &amp; -0.107164190642 \\ 6 &amp; 0.331363715855 \\ 7 &amp; -0.482387386451 \\ 8 &amp; -2.91602127867 \\ 9 &amp; 32.5904726686 \\ 10 &amp; -154.360744999 \\ 11 &amp; -162.033212532\\ \end{array}$ </p> http://mathoverflow.net/questions/47469/mertens-function-in-the-light-of-divergent-summation-what-summation-method-were mertens-function in the light of divergent summation - what summation method were best adapted Gottfried Helms 2010-11-26T23:15:54Z 2012-01-28T22:21:40Z <p>Just reading about the Mertens-function in the other thread <a href="http://mathoverflow.net/questions/47436/is-there-an-elementary-proof-that-the-mertens-function-is-not-ox-theta-if" rel="nofollow">Mertens function</a> I remember an earlier attempt to apply divergent summation to the series which is constructed of the Moebius-function at consecutive arguments, or in other words of which the Mertens-function-values represent the partial sums.</p> <p>Eulersummation, although relatively poorly adapted, suggested that the (divergent) sum should be meaningfully evaluated to <em>-2</em>. But that sequence of partial sums (although seldom exceeding only the squareroot of its current index) seems to be a specific difficult case for such common summation methods - the approximation is relatively poor even for <em>128</em> terms. I tried Nörlund-means/Cesaro-sum, Euler-sums of different orders and also a selfmade matrix summation-method using the eulerian numbers (with which I could -on the other hand- well handle the even strongly diverging $0!-1!+2!-3!+...$ -series), but I tried not yet for instance Abel and Borel.</p> <p>Q1: What method would be most appropriate to sum the series $S = \sum _{k=1}^{\inf} moebius(k)$ </p> <p>Evaluation of <em>128</em> terms (Euler,Cesaro) suggested the result $S = -2$</p> <p>Q2: And how could it be determined whether the Cesaro- and/or Euler-summation are at all capable to evaluate that series to a final value?</p> <p>Here is <a href="http://go.helms-net.de/math/images/mertenssum.png" rel="nofollow">a plot</a> of the summation.</p> http://mathoverflow.net/questions/86695/existence-of-polynomial-equation-system-solution/86756#86756 Answer by Gottfried Helms for existence of polynomial equation system solution Gottfried Helms 2012-01-26T21:20:16Z 2012-01-27T07:33:15Z <p><em>[update] By an example of 4x4-matrices the ansatz below could not be used to solve the problem. The matrix</em> $\small Q_K$ <em>cannot in general be made lower triangular by choices of the</em> $\small k_i$. <em>I'll delete this answer soon if I cannot improve the ansatz</em>.<br> <hr> I do not yet have a full answer but possibly a first step into one. I think that this can be answered unsing two facts: </p> <p>a) There is a similarity transformation with a rotation <strong><em>T</em></strong> such that $\small P = T^{-1}\cdot A \cdot T = T' \cdot A \cdot T$ where <strong><em>P</em></strong> is triangular and has the eigenvalues of <strong><em>A</em></strong> on its diagonal. </p> <p>b) Your sum-expression of vector outer products, let it be called matrix $\small E_K = \sum_{i=1}^n B_i k_i C_i = \sum_{i=1}^n k_i (B_i C_i)= \sum_{i=1}^n k_i E_i$ is a weighted (by the $\small k_i$ weights) sum of rank-<em>1</em>-matrices $\small E_i$ </p> <p>From the "similarity rotated version" of all matrices </p> <p>$\qquad \small Q_K = T' E_K T = \sum_{i=1}^n k_i (T' E_i T) = \sum_{i=1}^n k_i Q_i$ (which should be made triangular by choices of $\small k_i$ ) and<br> $\qquad \small R = T' D T$ which is then also triangular </p> <p>we get your final equation in its form with triangular matrices </p> <p>$\qquad \small R = P + Q_K$ </p> <p>We'll have a solution if the weights $\small k_i$ for the <strong><em>non-triangular</em></strong>, generic but <strong><em>rank-1</em></strong>-matrices $\small Q_i$ can be chosen such that their sum $\small Q_K$ becomes triangular <strong><em>and</em></strong> its diagonal equals the negative diagonal in $\small P$. </p> <p>I've a vague speculation that the equation with this triangular matrices can easier be shown to be "almost always" possible, but have not yet a further concrete approach. At least this construction exhibits that the rank-1-matrices $\small E_i$ (and thus $\small Q_i$ ) cannot be simple scalar multiples of each other if <strong><em>A</em></strong> has full rank and thus the restriction to "for almost all" is unavoidable and possibly mainly consists of this property.</p> http://mathoverflow.net/questions/85678/eulers-divergent-series-sum-n-1n-what-is-known-about-the-resulting-constan/85681#85681 Answer by Gottfried Helms for Euler's divergent series sum n!*(-1)^n: what is known about the resulting constant? Gottfried Helms 2012-01-14T19:18:03Z 2012-01-14T19:18:03Z <p>A small - surely not authoritative- bit of information: <a href="http://www.groupsrv.com/science/about477640.html" rel="nofollow">http://www.groupsrv.com/science/about477640.html</a> </p> http://mathoverflow.net/questions/84958/is-sum-limits-n0-infty-xn-sqrtn-positive/85030#85030 Answer by Gottfried Helms for Is $\sum\limits_{n=0}^\infty x^n / \sqrt{n!}$ positive? Gottfried Helms 2012-01-06T05:15:32Z 2012-01-11T17:21:27Z <p>Another "not-yet-answer"... </p> <p>I've tried another idea. Assume the function <em>f(x)</em> is expressed by the following composition: $$\small x' = \exp(x)-1$$ $$\small f(x) = g(x') = g(exp(x)-1)$$ The idea is, that the unavoidable big "hump" in the partial sums, after which the sequence of partial sums begins to decrease, may be absorbed by the function $\small g(x)$ - because $\small \exp(x)$ is really small for large negative <em>x</em> and <em>x'</em> is then very little above <em>-1</em>. I did not yet arrive at a conclusive result; but the power series for $\small g(x)$ begins with the smooth looking form (and gives the partial sums for $\small x'=\exp(-100)-1$):<br> $\qquad \small \begin{array} {r|r} \text{powerseries} &amp; \text{partial sums for x' } \\ \hline \\ 1.00000000000 &amp; 1.00000000000 \\ +1.00000000000x &amp; 3.72007597602E-44 \\ +0.207106781187x^{2} &amp; 0.207106781187 \\ +0.0344748426106x^{3} &amp; 0.172631938576 \\ -0.0100670743762x^{4} &amp; 0.162564864200 \\ +0.00821765977664x^{5} &amp; 0.154347204423 \\ -0.00654357122833x^{6} &amp; 0.147803633195 \\ +0.00537330847179x^{7} &amp; 0.142430324723 \\ -0.00451702185603x^{8} &amp; 0.137913302867 \\ +0.00386915976824x^{9} &amp; 0.134044143099 \\ -0.00336528035075x^{10} &amp; 0.130678862748 \\ +0.00296428202807x^{11} &amp; 0.127714580720 \\ -0.00263893325448x^{12} &amp; 0.125075647465 \\ +0.00237058888853x^{13} &amp; 0.122705058577 \\ -0.00214611388717x^{14} &amp; 0.120558944690 \\ +0.00195602261228x^{15} &amp; 0.118602922077 \\ -0.00179331457091x^{16} &amp; 0.116809607506 \\ +0.00165272361723x^{17} &amp; 0.115156883889 \\ -0.00153022060566x^{18} &amp; 0.113626663284 \\ +0.00142267593977x^{19} &amp; 0.112203987344 \\ -0.00132762563657x^{20} &amp; 0.110876361707 \\ +0.00124310598493x^{21} &amp; 0.109633255722 \\ -0.00116753462507x^{22} &amp; 0.108465721097 \\ +0.00109962364925x^{23} &amp; 0.107366097448 \\ \end{array}$ </p> <p>The the question is, for some large negative <em>x</em>, say $\small x=-100 \qquad x'=exp(-100)-1 = -1+ \epsilon$ the series $\ g(x')$ converges to zero. Unfortunately - although we've translated the original problem to one with nice small numbers I don't see, how to really come nearer a solution, because the convergence of $\small g(-1+\epsilon)$ is <strong>really</strong> slow - if it converges at all to a positive value... So this is not yet a solution, but perhaps a suggestion for a path to try... </p> http://mathoverflow.net/questions/84958/is-sum-limits-n0-infty-xn-sqrtn-positive/85010#85010 Answer by Gottfried Helms for Is $\sum\limits_{n=0}^\infty x^n / \sqrt{n!}$ positive? Gottfried Helms 2012-01-05T22:29:13Z 2012-01-05T22:29:13Z <p>Additional data for Liviu's plots. I used Pari/GP with 1200 digits dec prec, documenting also the required number of terms after which the absolute values of the summands of the series decrease below <em>1e-100</em>. There seems to be no local minimum... </p> <p>$\small \begin{array} {rl|r} &amp; &amp; \text{# of terms}\\ x &amp; f(x) &amp; \text{ required} \\ \hline \\ -1 &amp; 0.438599896749 &amp; 201 \\ -2 &amp; 0.247539616819 &amp; 201 \\ -3 &amp; 0.162554775870 &amp; 211 \\ -4 &amp; 0.117399404501 &amp; 257 \\ -5 &amp; 0.0903120618145 &amp; 304 \\ -6 &amp; 0.0726061182760 &amp; 354 \\ -7 &amp; 0.0602796213492 &amp; 407 \\ -8 &amp; 0.0512783927864 &amp; 464 \\ -9 &amp; 0.0444561508357 &amp; 525 \\ -10 &amp; 0.0391295513879 &amp; 589 \\ -11 &amp; 0.0348689168813 &amp; 658 \\ -12 &amp; 0.0313919770798 &amp; 730 \\ -13 &amp; 0.0285063993737 &amp; 808 \\ -14 &amp; 0.0260770215882 &amp; 889 \\ -15 &amp; 0.0240063146159 &amp; 976 \\ -16 &amp; 0.0222222780410 &amp; 1067 \\ -17 &amp; 0.0206706877888 &amp; 1162 \\ -18 &amp; 0.0193099849974 &amp; 1263 \\ -19 &amp; 0.0181078191003 &amp; 1369 \\ -20 &amp; 0.0170386561852 &amp; 1479 \\ -21 &amp; 0.0160820905671 &amp; 1595 \\ -22 &amp; 0.0152216309789 &amp; 1715 \\ -23 &amp; 0.0144438135509 &amp; 1841 \\ -24 &amp; 0.0137375438980 &amp; 1972 \\ -25 &amp; 0.0130936024884 &amp; 2108 \\ -26 &amp; 0.0125042681404 &amp; 2250 \\ -27 &amp; 0.0119630281606 &amp; 2396 \\ -28 &amp; 0.0114643528377 &amp; 2548 \\ -29 &amp; 0.0110035182996 &amp; 2705 \\ -30 &amp; 0.0105764661081 &amp; 2867 \\ -31 &amp; 0.0101796910429 &amp; 3035 \\ -32 &amp; 0.00981015071575 &amp; 3208 \\ -33 &amp; 0.00946519223932 &amp; 3386 \\ -34 &amp; 0.00914249232841 &amp; 3569 \\ -35 &amp; 0.00884000806032 &amp; 3758 \\ -36 &amp; 0.00855593615550 &amp; 3953 \\ -37 &amp; 0.00828867911422 &amp; 4152 \\ -38 &amp; 0.00803681690505 &amp; 4357 \\ -39 &amp; 0.00779908317617 &amp; 4567 \\ -40 &amp; 0.00757434517200 &amp; 4783 \\ -41 &amp; 0.00736158670179 &amp; 5004 \\ -42 &amp; 0.00715989363457 &amp; 5231 \\ -43 &amp; 0.00696844149585 &amp; 5462 \\ -44 &amp; 0.00678648482039 &amp; 5700 \\ -45 &amp; 0.00661334797911 &amp; 5942 \\ -46 &amp; 0.00644841724806 &amp; 6190 \\ -47 &amp; 0.00629113392871 &amp; 6444 \\ -48 &amp; 0.00614098836080 &amp; 6703 \\ -49 &amp; 0.00599751469633 &amp; 6967 \\ -50 &amp; 0.00586028632445 &amp; 7236 \\ -51 &amp; 0.00572891185489 &amp; 7511 \\ -52 &amp; 0.00560303158255 &amp; 7792 \\ -53 &amp; 0.00548231436720 &amp; 8078 \\ -54 &amp; 0.00536645487311 &amp; 8369 \\ -55 &amp; 0.00525517112099 &amp; 8666 \\ -56 &amp; 0.00514820231209 &amp; 8968 \\ -57 &amp; 0.00504530688991 &amp; 9275 \\ -58 &amp; 0.00494626080983 &amp; 9588 \\ -59 &amp; 0.00485085599129 &amp; 9907 \\ -60 &amp; 0.00475889893049 &amp; 10230 \\ -61 &amp; 0.00467020945455 &amp; 10560 \\ -62 &amp; 0.00458461960073 &amp; 10894 \\ -63 &amp; 0.00450197260623 &amp; 11234 \\ -64 &amp; 0.00442212199624 &amp; 11580 \\ -65 &amp; 0.00434493075923 &amp; 11931 \\ -66 &amp; 0.00427027059992 &amp; 12287 \\ -67 &amp; 0.00419802126157 &amp; 12649 \\ -68 &amp; 0.00412806991028 &amp; 13016 \\ -69 &amp; 0.00406031057475 &amp; 13388 \\ -70 &amp; 0.00399464363573 &amp; 13766 \end{array}$</p> http://mathoverflow.net/questions/78124/implication-for-m-cycles-in-collatz-type-problems/78219#78219 Answer by Gottfried Helms for Implication for m-cycles in Collatz-type problems. Gottfried Helms 2011-10-15T19:01:58Z 2011-10-16T22:27:14Z <p>[update 2] Rereading the question after my own answer I note, that the doubly used symbol <em>m</em> for length of a series of collatz-transformation and the <em>m</em> for the minimal element (<em>M</em> for the maximal) irritated me and made me misunderstanding the question.<br> Anyway - the already given answer might be interesting for the background of my argument below as well as for further analysis of the problem at hand, so I'll leave it here for the cursory reader. </p> <p>To answer the real question : "is there some requirement, that in a cyclic Collatz-trajectory the maximal element is a perfect-power-of-2-multiple of the minimal element (<em>M=2^k m</em>) ?" : there is no such requirement to all my knowledge.<br> Also this would only define a single special case according to my notation for a cycle, which by convention might begin with the smallest element <em>m</em> : $\small m = T(m; A_1,A_2,\ldots ,A_{n-1},A_n)$.<br> Here your requirement simply means, that the maximal element <em>M</em> must occur after the transformation $\small A_{n-1}$ (whose exponent must thus equal <em>1</em>) frome where then the $\small A_n$ is the <em>k</em> in <em>M=2^k m</em> in your question. I didn't come across such a restriction in my own study or in any seen literature, and cannot see any reason for it (see derivations below). [end update 2]</p> <hr> <p>If you write a collatz-transformation this way $\small a_{k+1} = (3 a_k + 1)/2^A$ where <strong>A</strong> is the number of all following even (divide-by-2) steps, then also all $\small a_k$ must be odd. </p> <p>With this write for one transformation $\small a_{k+1} = T(a_k;A)$ and for more $\small a_{k+m} = T(a_k;A_1,A_2,\ldots,A_m)$.<br> For $\small A=1$ these steps are increasing and if $\small A>1$ the steps are decreasing. </p> <p>A cycle occurs, if $\small a_m=T(a_0;A_0,A_1,\ldots,A_m) = a_0$ thus $\small a_m = a_0$. </p> <p>Now let's look at two different types of cycles - the "general" one, where the exponents $\small A_k$ have no a priori restriction, and the "primitive" one, where all but the last $\small A_k = 1$, thus $\small a_0 = T(a_0;1,1,1,1,\ldots,1,A)$ with say $\small N-1$ times <em>1</em> and only one $\small A_{N} \gt 1$ </p> <p>For the primitive cycle of the length <em>N</em> the smallest element $\small a_0$ must have the form $\small a_0 = 2^{N-1} \cdot 2w - 1$ where <em>w</em> is some positive odd integer and that primitive cycle increases then up to $\small a_{N-1} = 3^{N-1}\cdot 2w-1$ from where it must decrease by a consecutive set of <em>A</em> "even" transformations. </p> <p>The <a href="http://en.wikipedia.org/wiki/Collatz_conjecture#m-cycles_cannot_occur" rel="nofollow">proof of Ray Steiner</a> (and the subsequent proofs of J.Simons and B.de Weger) use that requirement of the "primitive cycle" (in their nomenclature "1-cycle", see <a href="http://en.wikipedia.org/wiki/Collatz_conjecture#m-cycles_cannot_occur" rel="nofollow">wikipedia</a>) to show that such a cycle <em>cannot exist</em> except $\small a_0 = T(a_0;2) \qquad a_0=1$ (where no exponents of value <em>1</em> occur - the degenerate case (also called "circuit"). </p> <p>For the general cycle this is much more complicated and does definitely not have the properties which you sketch in your op.<br> <hr> [added] Answering to the comment. A characterization of the general cycle of <em>m</em> collatz-steps (<em>m=N + S</em> in my notation, where I refer -writing "steps"- to the number <em>N</em> of abbreviated steps $\small T(a;A)$ </p> <p>Assume again one step as on the form $\small a_{k+1} = (3 a_k +1)/2^{ A_k} = T(a_k;A_k)$. Then to have a cycle this means (ignore the index <em>k</em> here) $\small a=(3a +1)/2^A$ and also $\small 2^A=(3a +1)/a = (3 + 1/a)$ This can only be solved if <em>a=1</em> and <em>A=2</em>, so there is only one general-cycle of length <em>N=1</em>, <em>S=2</em> and <em>m=N+S=3</em> and we see a characteristic of the exponent <em>A</em>, which is much descriptive: the number of even steps of the original notation of the collatz-transformation is <em>2</em>.<br> Now we assume a 2-step cycle $\small a = T(a;A,B)$ and dissolve this in two steps: $\small b=T(a;A) \qquad a=T(b;B)$ thus $\small b = (3 a +1)/2^A \qquad a=(3b+1)/2^B$. I'm used to write <em>S</em> for the sum <em>A+B</em> meaning the whole number of even steps, and <em>N</em> for the number of "odd steps", both wrt the original Collatz-notation, and in my notation <em>N</em> is the number of steps (and the power of <em>3</em> involved). If we write the (trivial) product of the two involved elements <em>a</em> and <em>b</em> in their direct notation and in their transformed expression we get $\small a\cdot b = (3b+1)/2^A \cdot (3a+1)/2^B$ and this can be rewritten as $\small 2^{A+B} = (3+1/a)(3+1/b)$ This is an interesting form and easily generalized for the analysis with bigger <em>N</em> (and respectively <em>m</em>) . Here we see, that a 2-step general cycle can only exist if $\small (3+1/a)(3+1/b)$ is a perfect power of <em>2</em>; now considering the whole set of odd positive integers for <em>a</em> and <em>b</em> we see, that that product can vary only between $\small 9 \ldots 16$ and thus must be <em>S=A+B=4</em> and this requires <em>a = b = 1</em> and thus <em>A=B=2</em> (which is then only a concatenation of the trivial cycle $\small 1=T(1;2,2)$ . Here <em>m=N+S=2+4=6</em> . </p> <p>This way you may proceed studying longer assumed cycles. For instance it shows that the whole distance between two numbers $\small a_k - a_j = 2^S$ where <em>S</em> is the number of even transformations can never occur because there are always "odd Collatz steps" interspersed; even less can the distance between the minimal and maximal member of a loop be $\small 2^{N+S} = 2^m$, which were the whole length of the cycle in the counting of original Collatz-steps. </p> <p>This formula describes pretty well important properties of the exponents of <em>2</em> in relation to the length of a "general cycle" , so it might be useful for the answering of your question. However - I can't relate anything in that formula to the asked property of a connection between the distance minimal...maximal member and <em>2^m</em> where <em>m</em> is the number of all Collatz steps and actually is $\small m=S+N$ nd so I think there is none. </p> <p>Addendum : It might be interesting to look at the <em>existing</em> cycles in the domain of <em>negative</em> odd numbers; they can also be identified using the procedere exercised above. The 2-step cycle was $\small 2^{A+B} = (3+1/a)(3+1/b)$ and allowing negative <em>a</em> and <em>b</em> gives the example: $\small 2^{A+B} = (3-1/5)(3-1/7) = {14 \over 5} \cdot {20 \over 7} = {8 \over 1} = 2^3$ which is a perfect power of <em>2</em> as required. Then $\small A+B=3$ and one of them must equal <em>1</em>. In fact we have the 2-step-cycle $\small -5=T(-5;1,2)$</p> <p>Finally: a short treatize using the notation here is in that <a href="http://go.helms-net.de/math/collatz/Collatz061102.pdf" rel="nofollow">article of mine</a> </p> <hr> <p><a href="http://en.wikipedia.org/wiki/Collatz_conjecture#m-cycles_cannot_occur" rel="nofollow">1</a> Steiner,R.P.; A theorem on the syracuse problem, Proceedings of the 7th Manitoba Conference on Numerical Mathematics,pages 553...559, 1977</p> http://mathoverflow.net/questions/77465/hyperplane-least-square-through-points/77525#77525 Answer by Gottfried Helms for hyperplane least square through points Gottfried Helms 2011-10-08T10:50:11Z 2011-10-08T12:09:32Z <p>Hmm, I'm not sure, whether I got your problem right, but well, I'll give it a try. </p> <p>I assume the N datvectors as rowvectors consisting of n datapoints (where n &lt;&lt; N). Then the usual PCA assumes the columns as axes in an n-dimensional coordinate-system having N vectors beginning at the origin, say the data-matrix $\small Z$. The usual principal components can then be found by rotations of the columns, in matrix-notation $\small Z \cdot T$ , where $\small T$ is a rotation-matrix. </p> <p>Now I understand your question such that you want to express your <strong>N</strong> data-vectors as linear combinations of a smaller set of (pairwise orthogonal) component(-vectors). </p> <p>This seems simply the question of rotating the <em>rows</em> of $\small Z$ to their PC-position, thus $\small T \cdot Z$ and you get (at most) <em>n</em> component-rowvectors which can be composed to represent $\small Z$ by the inverse row-rotation.<br> And the best representation of $\small Z$ by <em>m</em> components only, where $\small m \lt n$ would likely be done to use only the first <em>m</em> components ; so to say $\small PC_n = T \cdot Z$ giving at most <em>n</em> non-zero component-vectors in $\small PC_n$ . Then to have the best representation by $\small m \lt n$ rowvectors set all vectors in $\small PC_n$ of indexes <em>k</em> where $\small m &lt; k \le n$ to zero to get $\small PC_m$ and apply $\small Z_m=T^\tau \cdot PC_m$ where $\small Z_m$ might then be the best rank- <em>m</em> -approximation to $\small Z$ </p> <p><hr> Example: (sorry, this is in my proprietary MatMate-code (don't have Maple/Matlab/Math'ca) but should illustrate the pseudocode sufficiently) <a href="http://go.helms-net.de/stat/mo/MO_111008.htm" rel="nofollow">see protocol of worked example</a> : </p> <pre><code>//****** MatMate Version 0.1108 Beta ***************************** // MO-Problem: // Express N rowvectors optimally by m component-vectors (least squares) // Proposed solution: use PCA on rows of datamatrix // ------------------------------------------------------------- // 1) generate random-data n=6 v=20 // this is big-N in the problem description m=3 set randomstart=41 Z = randomn(v,n) // generate normally distributed randomdata Z = zvaluezl(abwzl(Z)) // center and standardize Z rowwise //------------------------------------------------------- // 2) find principal components rowwise; // note: due to centering of rowdata there are // maximally only n-1 independent components! // center data columnwise ME = meansp(Z) // get a rowvector containing the columnwise means C = Z - ME // ME will implicitely be expanded to fit the dimension of Z // C contains then the columnwise recentered data // get the required rotation-matrix T first // because in MatMate rotations are done on columns, we have // to transpose C as well as the result (using ' as transpose-operator) T = gettrans(C',"pca")' PC_n = T * C // the first n-1 rows contain the principal components // 3) now set all rowvectors with index k&gt;m to zero into a new matrix PC_m PC_m = { PC_n[1..m,*], Null(v-m,n) } // 4) reverse the rotation where only the m-components are used C_m = T' * PC_m Z_m = C_m + ME // the rowvector ME is automatically expanded to fit the C_m matrix // 5) check quality of approximation chk = (Z-Z_m) ^# 2 // Check differences, ^# 2 means: apply power of 2 elementwise err = sqrt(sum(chk)) // check overall-error </code></pre> http://mathoverflow.net/questions/75744/fermat-like-equation-cna2nan-bn-b2n/75828#75828 Answer by Gottfried Helms for Fermat-like equation $c^n=a^{2n}+a^n b^n + b^{2n}$ Gottfried Helms 2011-09-19T08:33:12Z 2011-09-19T16:33:53Z <p>I'd like to add another line of proving this (and similar problems); the proof is not yet formally complete but the method as such seems helpful for many such problems, so I show my reasoning here: </p> <p><strong>[update]</strong> <em>After rereading my own answer I think now, that that line of attack might be more incomplete for this problem than initially thought; that the holes cannot be simply filled with one or two little more thoughts; so possibly I'll retract the whole approach later. Thanks for the upvotings anyway and apologies for distractions ...</em> <strong>[/update]</strong><br> The original answer went as below: </p> <hr> <p>Let us define the following notations </p> <p>a) <em>{n,p}</em> the exponent to which a prime <em>p</em> occurs in the primefactorization of some number <em>n</em><br> b) the iverson-bracket <em>[n:p]</em> which evaluates to <em>1</em> if <em>p</em> divides <em>n</em> and to <em>0</em> if not </p> <p>c) $\small f(a,b,n)=a^n - b^n$ , the short form for expressions where <em>a,b</em> are thought to be constant and <em>n</em> is seen as varying<br> d) $\small \lambda_p$ the smallest <em>k>0</em> such that <em>p</em> divides $\small f(a,b,k)$ ,<br> e) $\small w_p$ the exponent, to which <em>p</em> occurs in $\small f(a,b,\lambda_p)$ , formally $\small w_p=\{ f(a,b,\lambda_p),p \}$ </p> <p>We use that definitions to rewrite the analysis of the problem in terms of the Euler-totient-theorem and the concept of the order of cyclic subgroups modulo some primes <em>p</em>.<br> Here the idea is to compare the odd primefactors in the canonical primefactorizations of the lhs and rhs in the conveniently rewritten problem<br> $$\small c^n-(ab)^n =^? a^{2n}+b^{2n} = {a^{4n}- b^{4n} \over a^{2n}- b^{2n} } .$$ It will be sufficient to compare the odd primefactors $\small p, q \in \text{odd primes}$ only; so we refer to possible exponents of <em>2</em> with some anonymous exponents <em>s</em> and <em>t</em> only. Then the lhs is with $\small q \in \text{odd primes}$<br> $$\small f(c,ab,n)=2^s \prod q^{ [n:\lambda_q] (w_q+\{n,q\})}$$ and the rhs is with some exponent <em>t</em> at the primefactor <em>2</em> : $$\small a^{2n}+b^{2n}={ a^{4n}-b^{4n} \over a^{2n}-b^{2n} }={f(a,b,4n)\over f(a,b,2n)}$$ and $$\small {f(a,b,4n)\over f(a,b,2n)} = 2^t { \prod p^{ [4n:\lambda_p] (w_p+\{4n,p\})} \over<br> \prod p^{ [2n:\lambda_p] (w_p+\{ 2n , p \} ) } }$$ Here for all odd primes <em>p</em> we have $\small \{ 4n , p \} = \{ 2n, p \} = \{ n,p \}$, $$\small { f(a,b,4n)\over f(a,b,2n)} = 2^t \prod p^{ ([4n:\lambda_p]- [2n:\lambda_p]) (w_p+\{ n, p \} ) }$$</p> <p>Conclusion: (updated)<br> In the rhs we get only that primefactors <em>p</em>, whose order divide <em>4n</em> <strong>but not</strong> <em>2n</em> and - having $\small n = 2^m \cdot o, o \text{ odd }$ thus must be exactly $\small 4 \cdot 2^m r$ where <em>r</em> is any odd divisor of <em>n</em>, while on the lhs we get all primes in the factorization whose order equal any divisor of <em>n</em>. But the sets of primes must be equal to allow a solution for the original problem.</p> http://mathoverflow.net/questions/73822/fx-ne-gx-but-ffxggx-is-there-a-name-some-discussion-of-this-p $f(x) \ne g(x)$ but $f(f(x))=g(g(x))$ - is there a name/some discussion of this property? Gottfried Helms 2011-08-27T05:35:48Z 2011-08-30T08:30:45Z <p>In the context of iteration of functions I look at the eigenvalues of the associated matrixoperator/<strong><em><a href="http://en.wikipedia.org/wiki/Carleman_matrix" rel="nofollow">Carleman-matrix</a></em></strong> . </p> <p>If a function $\small f(x)$ has a negative eigenvalue in its associated carleman-matrix, then the definition of a half-iterate must handle the squareroot of that negative number (and fractional iteration in general). If I create the function $\small g(x)$ by taking the absolute value of that eigenvalue, then $\small f(f(x)) = g(g(x))$ , and moreover $\small f(g(x)) = g(f(x))$ . (I also assume, that the commutativity makes the solution unique). Then I can do fractional iteration on $\small g(x)$ and I'm interested in the general relation of that two functions. </p> <p>Is there a name for that functional relation (for instance "g is the dual of f" or something else so I have a keyword for search) and/or some study online available? <hr> <em>[update 2]</em> There was some discussion related to this, where I also was involved answering: <a href="http://mathoverflow.net/questions/71429/do-complex-iterates-of-functions-have-any-meaning" rel="nofollow">"do complex iterates (..) have any meaning?"</a> Here the change-of-sign of the schröder-value, which means an imaginary iteration "height", resembles in some way the change-of-sign of the eigenvalue in the way I looked at in the current question. However, I thought there might be some wider discussion (and possibly a common keyword) to that specific case and the indicated function with "complementary"(?) eigenvalue here. </p> <p><hr> <em>[update 1]</em> After the remark of Gerald Edgar it might be instructive to show at least one example. Motivated by some other <a href="http://mathoverflow.net/questions/72529/inverse-of-the-riemann-zeta-function" rel="nofollow">question</a> regarding the inversion of $\small \zeta$ I constructed a carleman-matrix for the zeta-function. Recentering at one fixpoint ( $\small \sim -0.29590...$ this matrix could be made triangular (call it ZT) and the basic eigenvalue $\small \lambda_1 \sim -0.51273$ and the others the sequence $\small \lambda_1^0,\lambda_1, \lambda_1^2,\lambda_1^3, \ldots$ Then using diagonalization I replaced the set of eigenvalues by their absolute values, which can also be understood as taking the matrix-squareroot of the square of the matrix ZT, call it ZTA. The entries in ZTA give the coefficients for the function $\small g(x)$ ; the radius of convergence is about $\small -1.3 &lt; x &lt;0.7$ In this range we find that $\zeta(\zeta(x))=g(g(x))$ at least with visible accuracy..<br> Here is a picture <img src="http://go.helms-net.de/math/images/mo_110828_1.png" alt="picture"> . </p> <p>The range nearer to $\small 1-$ must be determined by other means; the twofold iteration of the zeta in this area becomes chaotic and can be seen by the <a href="http://www.wolframalpha.com/input/?i=plot+zeta%28zeta%28x%29%29%2Cx%3D0.5+to+0.95" rel="nofollow">wolfram-alpha call</a> </p> http://mathoverflow.net/questions/73098/negative-values-of-riemann-zeta-function-on-the-critical-line/73113#73113 Answer by Gottfried Helms for Negative values of Riemann zeta function on the critical line. Gottfried Helms 2011-08-18T01:14:13Z 2011-08-18T07:28:31Z <p>@ Q1: After the counterexample of Noam Elkies I used Pari/GP to draw that parametric plot to get more visual impression;<br> [update] The visual impression in the <em>1:1000</em> zoomed picture had <strong>artifacts</strong>; I deleted the picture and provide a more precise one and corrected in my original answer [/update]</p> <p>Plot 1 shows the known curve in the complex plane, when <em>t</em> increases from <em>0</em> to <em>100</em>: </p> <pre> \\ Pari/GP: ri_zeta(t)=local(tmp);tmp=zeta(1/2+I*t);return([real(tmp),imag(tmp)]) ploth(x=0,100,ri_zeta(x),1) </pre> <p><img src="http://go.helms-net.de/math/images/mo_110814_z1.png" alt="plot 1"> </p> <p>From the drawing one cannot discern, whether there is some crossing of the negative real axis. Here is a rescaling; the values of the zeta-function are scaled by the tanh-function: </p> <pre> \\ Pari/GP: ri_zeta(t)=local(tmp);tmp=10*zeta(1/2+I*t);return([tanh(real(tmp)),tanh(imag(tmp))]) ploth(x=0,100,ri_zeta(x),1) </pre> <p><img src="http://go.helms-net.de/math/images/mo_110814_z2.png" alt="plot 2"> </p> <p>and then a strong scaling factor of <em>1:1000</em> applied. [update] To remove artifacts, there is an option "recursive" in the plot-routine to scatter the coordinates more regularly; the strong zoom separated the dots of the plot too much so that artifacts are likely to occur. With an improvement of the sampling <em>no</em> crossings of the negative real axis can be seen [/update] </p> <pre> \\ Pari/GP: ri_zeta(t)=local(tmp);tmp=1000*zeta(1/2+I*t);return([tanh(real(tmp)),tanh(imag(tmp))]) </pre> <p><img src="http://go.helms-net.de/math/images/mo_110814_z4.png" alt="plot 4"> </p> <p>I used internal precision of 200 dec digits, [update] so I think the computation of the <strong>single points</strong> do not introduce artefacts, but the connection by lines may do due to the strong scaling required. This type of plotting seems to require much resources; I'll see whether it can verify the crossing in the near of t=282 visually; I'll update then this answer again.</p> http://mathoverflow.net/questions/72854/stirling-number-of-first-kind-implementation/72860#72860 Answer by Gottfried Helms for Stirling Number of first kind : Implementation Gottfried Helms 2011-08-14T05:36:49Z 2011-08-14T10:57:40Z <p>In Pari/GP; one could simplify for either readability, speed or memory organisation for big matrices:</p> <pre> { makemat_St1(dim=n) = local(f, M); M=matid(dim); f=1; for(r=2,dim, \\ comp diagonal and first column M[r,1]=f;f*=(r) ); for(c=2,dim, \\ compute core entries for(r=c+1,dim, M[r,c]=M[r-1,c-1]+(r-1)*M[r-1,c] ) ); f1=1; \\ apply signs for(r=2,dim, f1*=-1;f2=-f1; for(c=1,r-1, f2*=-1;M[r,c]*=f2 ) ); return(M) } </pre> <p><hr> A shorter form is this</p> <pre> {makemat_st1(dim=6) = local(m); \\ give it a default dimension of 6 m=matrix(dim,dim); m[1,1]=1; for(r = 2,dim, m[r,1]= 0 - (r-1)*m[r-1,1] ; \\ first column has no up-left neighbour for(c = 2,r, m[r,c]= m[r-1,c-1] - (r-1)*m[r-1,c] ); ); return(m);} </pre> http://mathoverflow.net/questions/127968/efficient-divergent-summation-for-sum-of-zetas-at-negative-arguments/128140#128140 Comment by Gottfried Helms Gottfried Helms 2013-04-20T18:19:53Z 2013-04-20T18:19:53Z I see; I've made a sign-error, sorry. http://mathoverflow.net/questions/127968/efficient-divergent-summation-for-sum-of-zetas-at-negative-arguments/128140#128140 Comment by Gottfried Helms Gottfried Helms 2013-04-20T11:37:03Z 2013-04-20T11:37:03Z hmm, if I feed the last mentioned function into Pari/GP I get for $s=\epsilon$ the result of $\epsilon^{−1}$ for epsilon near zero http://mathoverflow.net/questions/127968/efficient-divergent-summation-for-sum-of-zetas-at-negative-arguments Comment by Gottfried Helms Gottfried Helms 2013-04-19T22:23:50Z 2013-04-19T22:23:50Z @i707107: no, I've no proof for the guessed algebaric identity; so far it is only the numerical allusion - however I've got it to 40 digits instead of 15 now... http://mathoverflow.net/questions/127968/efficient-divergent-summation-for-sum-of-zetas-at-negative-arguments Comment by Gottfried Helms Gottfried Helms 2013-04-19T08:44:32Z 2013-04-19T08:44:32Z @joro: are you sure that are methods for divergent summation? And if, are they strong enough? For instance, using &quot;sumalt&quot; in Pari/GP is not strong enough although it is in general a very useful procedure for divergent summation. http://mathoverflow.net/questions/123999/efficient-way-for-computation-of-derivatives-of-fx-zeta1-x-1-x-at-int Comment by Gottfried Helms Gottfried Helms 2013-03-23T18:22:03Z 2013-03-23T18:22:03Z @Carlo - thank you very much; I'll take a deeper look at it later... http://mathoverflow.net/questions/123999/efficient-way-for-computation-of-derivatives-of-fx-zeta1-x-1-x-at-int/124002#124002 Comment by Gottfried Helms Gottfried Helms 2013-03-09T06:20:46Z 2013-03-09T06:20:46Z Ah, so I see, there was possibly a misunderstanding. I have the first 500 Stieltjes constants to 1000 digits by a nice, small procedure. What I was trying to do, was to give a sense to the sum-of-all-Stieltjes numbers, by some summation-procedure. That procedure requires to use the derivatives of the zetas in a certain manner in finite sums as written above. That finite sums, having more and more terms according to the increasing parameter <i>c</i>, approximate something like 0.4990749...xyz , but convergence is slow and needs many of the zeta's derivatives... http://mathoverflow.net/questions/123999/efficient-way-for-computation-of-derivatives-of-fx-zeta1-x-1-x-at-int/124002#124002 Comment by Gottfried Helms Gottfried Helms 2013-03-08T18:10:28Z 2013-03-08T18:10:28Z Hi Fredrik, did you mean to apply the Euler-Maclaurin formula directly at the Stieltjes-numbers? http://mathoverflow.net/questions/113959/a-function-whose-fixed-points-are-the-primes Comment by Gottfried Helms Gottfried Helms 2012-11-21T01:07:37Z 2012-11-21T01:07:37Z The first primes, which have no leading sequence of composites is $3,7,13,31,37,61,73,79,97,109,127,157,193,199,223,229,241,271,277,283,$ http://mathoverflow.net/questions/113959/a-function-whose-fixed-points-are-the-primes Comment by Gottfried Helms Gottfried Helms 2012-11-21T00:43:23Z 2012-11-21T00:43:23Z very nice... I'd like to see a formulation for the inverse operation (which must have a &quot;choice&quot;-option). I did not yet get it myself correctly myself ... http://mathoverflow.net/questions/111827/singular-value-decomposition-of-noisy-matrices/111873#111873 Comment by Gottfried Helms Gottfried Helms 2012-11-11T14:11:12Z 2012-11-11T14:11:12Z @Sankara: Sorry, I had no time for this yesterday. Well, I on't have information about the amount of distortion by the error, which goes to the principal axes, after data is rotated into such a position. Only it is somehow obvious to me, that the <i>relative</i> amount of coordinate-distortion is smaller in the direction of the principal axis, where the squared values of coordinates by U are maximized. (But this is surely not that what your after, sorry) http://mathoverflow.net/questions/111252/nm-fermat-like-equation Comment by Gottfried Helms Gottfried Helms 2012-11-02T09:29:01Z 2012-11-02T09:29:01Z Didn't you at least consider to look at wikipedia (<a href="http://en.wikipedia.org/wiki/Fermat%E2%80%93Catalan_conjecture" rel="nofollow">en.wikipedia.org/wiki/&hellip;</a>)? http://mathoverflow.net/questions/109817/whats-the-idea-behind-carleman-estimate Comment by Gottfried Helms Gottfried Helms 2012-10-16T14:37:45Z 2012-10-16T14:37:45Z Also, &quot;carets&quot; assume something behind them, so insert something at the position, where I put an <i>X</i> in the last formula: <code>$P=\frac{P+P^}{2}+\frac{P-P^}{2}$</code> becomes then $P=\frac{P+P^X}{2}+\frac{P-P^X}{2}$ http://mathoverflow.net/questions/108216/intuition-behind-a-decimal-representation-with-catalan-numbers/108268#108268 Comment by Gottfried Helms Gottfried Helms 2012-09-28T10:19:37Z 2012-09-28T10:19:37Z The remarks on the periods are especially triggering for me, very nice! http://mathoverflow.net/questions/107947/heuristic-for-the-fermat-catalan-conjecture Comment by Gottfried Helms Gottfried Helms 2012-09-24T07:17:10Z 2012-09-24T07:17:10Z That reversion was incorrect; look at the wikipedia on the subject. This i also somehow obvious: the &quot;greater than 1&quot;-version fixes a very low upper bound on d,e,f. But the catalan-fermat-conjecture is surely concerned with a lower bound on that variables... http://mathoverflow.net/questions/105535/how-to-check-numerical-precision-of-my-computation-of-stieltjes-constants/105545#105545 Comment by Gottfried Helms Gottfried Helms 2012-08-26T22:59:10Z 2012-08-26T22:59:10Z @Fredrik: I've re-computed the 1000-digit version with prec 1600 and uploaded to the given link; the last entry matches now exactly your reference where the last digit is rounded upwards (you have 3 digits more). So I seem to have at least a rough estimate for the lower bound of computational requirements...