Math Challenge - November 2018

In summary, we discussed various mathematical problems including sequences, polynomials, integrals, and functions. We also explored combinatorics, probabilities, calculus, and linear algebra. These problems were submitted by referees who will post solutions on the 15th of the following month. The rules for solving problems were also outlined, including the use of proofs and resources.
  • #106
Delta2 said:
Something else, I see the domain of the functions ##f_r## is ##\mathbb{R^{+}}## while the domain of the integral is ##\mathbb{R}##.. Is this a typo? The domain of the integral should be also ##\mathbb{R^{+}}## right?
Consider the ##"+"## as the typo. It isn't necessary. It should have been ##r>0##. (corrected)
 
Last edited:
  • Like
Likes Delta2
Physics news on Phys.org
  • #107
ok here is my attempt at 10 d)

I consider ##f_r(x)=|r|e^{-|r||x|}##

Then $$lim_{r\rightarrow 0}f_r(x)=0$$ so the right hand side of the condition is simply 0.

$$\int_{\mathbb{R}} f_r(x)dx=|r|\int_{\mathbb{R}}e^{-|r||x|}dx=|r|\frac{2}{|r|}=2$$ hence the left hand side is 2.
 
  • Like
Likes fresh_42
  • #108
Hi fresh:

I have just realized that I had misunderstood the quote below.
fresh_42 said:
Can you show us how you derived this result - in mathematics, not in excel?
I had interpreted this as telling me that the spreadsheet approach was not acceptable, and that I needed to present a solution using mathematics. I now understand that what you were telling me was that I needed to include a mathematical explanation of what I was doing in the spreadsheet. I apologize for my denseness.

Here is my attempt to give a mathematical explanation of my spreadsheet images in my post #96, which I have edited to correct typos in the spreadsheet images.

Column A
Whole numbers represent the number of the day of daytime growth of the tree starting at day 0 when the tree's height was 10000 cm.
Numbers with .5 represents the nighttime of the immediately preceding entry daytime, and corresponds to the nighttime in which the beetle climbs.

Column B
These values show the height of the tree on the day shown in Column A.
Also in the second image starting with cell B4 and continuing in all lower cells is the formula
=B(k)+20​
where k refers to the row of the cell two above the formula. This shows the calculation of the height of the tree by adding 20 cm to the previous day's height.

Column C
These values show the height on the tree to which the beetle has climbed on the day shown in Column A. The increases in the height value occur in both rows with and without the ".5" in Column A. In Column C with rows without ".5" in Column A, the increment in Column C calculates the increase in the beetles height due to the tree growth. The formula in cell C4,
=C3*B4/B3,​
shows that the previous beetle height is multiplied by the ratio of the previous tree height to the current tree height. In Column C with rows with ".5" in Column A, the increment in Column C calculated the increase in the beetles height due to the beetles climb that night. The formula in Cell C5,
=$C$3+C4,​
shows the beetle's height following the previous night's climb is added to the value in Cell C3 which is the constant 10cm of a nightly beetle climb.

Column D
These values (after Cell D1) show the ratio of the tree height (Column B) with the beetle's height (Column C). The formula in these cells show the calculation of these ratios. The bottom image shows the rows preceding and including the row in which the ratio value in Cell D6385 exceeds 1. The value in Cell A6385 shows that the beetle reached to top of the tree during its nightly climb on day 3191.

BTW: The quote below from your post #101.
fresh_42 said:
The least lower bound are 3184 nights, which I got by nested intervals and wolframalpha.
gives the day the beetle reaches the tree top as 3184. I attempted to reproduce this in a spreadsheet calculating
ln(499) = 6.21260609575152
ln(3687) = 8.21256839823415
ln(3688) = 8.21283958467648
ln(3687)-ln(499) = 1.99996230248263
ln(3688)-ln(499) = 2.00023348892496
3688-499 = 3189

I then also calculated for the following sums for n=3190 and n=3191.
[NOTE: CORRECTIONS MADE TO NEXT TWO LINES.]
For n = 3190: ##\sum_{i=0}^n 1/(500+k)## = 1.99990946718039
For n = 3191:##\sum_{i=0}^n 1/(500+k)## = 2.00018039646784

It appears that 3191 is more correct than either 3184 or 3189.

Regards,
Buzz
 
Last edited:
  • Like
Likes fresh_42
  • #109
Buzz Bloom said:
It appears that 3191 is more correct than 3189.
Wolframalpha says 3192 is correct. I don't know anymore how I got 3184. But if it takes eight years, who wants to fight about a week more or less; poor beetle. :wink:

I guess it depends on how exact a floating point processor works. I only know for sure that I will not check it manually.

upload_2018-11-24_17-49-32.png
 

Attachments

  • upload_2018-11-24_17-48-41.png
    upload_2018-11-24_17-48-41.png
    8 KB · Views: 339
  • upload_2018-11-24_17-49-32.png
    upload_2018-11-24_17-49-32.png
    15.3 KB · Views: 439
Last edited:
  • Like
Likes Buzz Bloom
  • #110
For problem #4 which bugged me for bit - I've programmed too much not to try some C code - this version uses a 128 bit long double, my answer is 3198 (or 3197 if there is some tiny rounding error)
Probably a precision error, since my result varies from Wolfram Alpha, too.
C:
// bug.c
#include "min.h"

void
iterate(long double limit)
{
   long double i=0.;
   long double sum=0.;
   int cnt=0;
   for(sum=0., i=500.; sum<limit; sum+=1./i)
   {
     cnt++;
     i+=1.;
   }
   printf("cnt iterations= %d\n", cnt);
}

int main(void)
{
   iterate(2.);
   return 0;
}
Bash:
gcc -Wall -o bug bug.c
$ ./bug
cnt iterations= 3198
 
  • #111
Delta2 said:
10 d)

##f_r(x)=|r|e^{-|r||x|}##
Other solutions:
##f_r(x) = 1/r## on ##[0,r]## and ##0## elsewhere.
##f_r(x) = r## on ##[0,1/r]## and ##0## elsewhere.
 
Last edited:
  • Like
Likes Delta2
  • #112
fresh_42 said:
Wolframalpha says 3192 is correct.
Hi fresh:

Apparently 3192 is more accurate with it's 39 decimal places of precision in its calculation, but I confess it surprises me that the accumulation of round-off errors of
0.00027092928745​
by my using only 14 decimal places would show up with only 3191 terms in my summation.

Regards,
Buzz
 
  • #113
Keith_McClary said:
Other solutions:
##f_r(x) = 1/r## on ##[0,r]## and ##0## elsewhere.
##f_r(x) = r## on ##[0,1/r]## and ##0## elsewhere.

These look good but
As for the 1st) the limit ##\lim_{r\rightarrow 0}f_r(x)=\infty## and @fresh_42 wanted finite limits in both sides.

As for the 2nd) if ##r>0##, then ##\int_{\mathbb{R}} f_r(x)dx=r\frac{1}{r}=1##
but if ##r<0## then ##\int_{\mathbb{R}} f_r(x) dx=\int_{1/r}^0 r dx=r(0-1/r)=-1## so the limit ##r\rightarrow 0^{+}## is ##1## while the limit ##r\rightarrow 0^{-}## is ##-1##. I think this suggestion would work if we put ##r## and ##1/r## in the definition, under absolute value.
 
  • #114
Delta2 said:
These look good but
As for the 1st) the limit ##\lim_{r\rightarrow 0}f_r(x)=\infty## and @fresh_42 wanted finite limits in both sides.
The limit at this single point might be infinite, but the integral is not, so both sides are defined. That's why I said Lebesgue integrability to shorten this discussion.
As for the 2nd) if ##r>0##, then ##\int_{\mathbb{R}} f_r(x)dx=r\frac{1}{r}=1##
but if ##r<0## then ##\int_{\mathbb{R}} f_r(x) dx=\int_{1/r}^0 r dx=r(0-1/r)=-1## so the limit ##r\rightarrow 0^{+}## is ##1## while the limit ##r\rightarrow 0^{-}## is ##-1##. I think this suggestion would work if we put ##r## and ##1/r## in the definition, under absolute value.
That was the version before my correction. As you have pointed out, the ##"+"## had been misplaced as ##r \in \mathbb{R}^+## was meant. It makes not really a difference mathematically to consider all ##r## here, especially as it's easy to adjust.

My
##f_r(x) =
\begin{cases}
0 & \text{if } |x| \geq r \\
\frac{r-|x|}{r^2} & \text{if } |x| < r
\end{cases}## we have ##\int_\mathbb{R}f_r(x)\,dx=1## for ##r>0## and ##\lim_{r \to 0}f_r(x)=f_0(x)=\begin{cases}\infty &\text{ if } x=0\\ 0 &\text{ if }x \neq 0\end{cases}## and so
$$
1 =\lim_{r \to 0}\int_\mathbb{R}f_r(x)\,dx\neq \int_\mathbb{R}\lim_{r\to 0}f_r(x) \,dx =0
$$
is basically the same, only that I used a triangle instead of a rectangle; and you used a bump, so all three are more or less the same.
 
  • Like
Likes Delta2
  • #115
fresh_42 said:
The limit at this single point might be infinite, but the integral is not, so both sides are defined. That's why I said Lebesgue integrability to shorten this discussion.
You are right, the integral exists and is zero, I just thought you meant no infinities at all when taking limits.
That was the version before my correction. As you have pointed out, the ##"+"## had been misplaced as ##r \in \mathbb{R}^+## was meant. It makes not really a difference mathematically to consider all ##r## here, especially as it's easy to adjust.
Ok now I noticed that ##r>0## , I didn't look carefully after you did the correction in the statement.
 
  • #116
It doesn't matter whether [itex]f_r(0)[/itex] tends to [itex]\infty[/itex] or not. You can consider the same family of functions but with [itex]f_r(0)=0[/itex] and nothing changes.
 
Last edited:
  • Like
Likes Delta2
  • #117
In problems (12. a) and (12. b) the following notation appears in the integrals.
In (12. a): dλ(x) and dλ(y)
In (12. b): dλ(x,y)​
The dλ(x,y) notation does not appear in posts #62 and #70 in which @Keith_McClary solves problem (12. b).

What does the "λ" mean in these notations?
 
  • #118
Buzz Bloom said:
In problems (12. a) and (12. b) the following notation appears in the integrals.
In (12. a): dλ(x) and dλ(y)
In (12. b): dλ(x,y)​
The dλ(x,y) notation does not appear in posts #62 and #70 in which @Keith_McClary solves problem (12. b).

What does the "λ" mean in these notations?
##\lambda## stands for the measure which is used for integration, normally Lebesgue. The only point here is, that I do not want to bother about any possible discontinuities of the function, as long as they are negligible, and Lebesgue integration gives me that, and in notation it is ##\lambda## = Lebesgue measure. This means we can integrate e.g. ##\int_\mathbb{R}\chi_{(0,1)}(x)\,d\lambda(x)## without having to deal with any limits at ##x=0,1\,.##

And yes, @Keith_McClary could in general be a bit more detailed in his answers, especially for those of our many (silent) members who just read this thread and aren't necessarily familiar with the subject to an extend, at which those keywords are sufficient.

I'm not sure if I had posted it yet, as this thread became quite long in the meantime, so here goes the extended version of 12.b):

The function ##f(x,y)=\dfrac{1}{x^2+y}## is positive on ##A=(0,1)\times (0,1)## so we may apply the theorem of Fubini and get
$$
\int_0^1\int_0^1 \dfrac{1}{x^2+y}\,dy\,dx
=\int_0^1\left.\log (x^2+y)\right|_{y=0}^{y=1}\,dx = \int_0^1 [\log(x^2+1)-\log(x^2)]\,dx
$$
The logarithm function is monotone increasing and positive on ##[1,2]## so ##\int_0^1\log(x^2+1)\,dx \leq \log 2\,.## Furthermore we have
$$
\int_0^1\log(x^2)\,dx=2\cdot \left[x\log(x)- x \right]_0^1=-2
$$
and ##\int_A \dfrac{1}{x^2+2}\,d\lambda(x,y) \leq 2 + \log 2 < \infty\,.##
 
  • Like
Likes Buzz Bloom
  • #119
fresh_42 said:
apply the theorem of Fubini
I think it is a condition of Fubini that either the ##x## or ##y## integral be finite. (So you need to re-order your steps.)
 
  • #120
Keith_McClary said:
I think it is a condition of Fubini that either the ##x## or ##y## integral be finite. (So you need to re-order your steps.)
Positive almost everywhere is sufficient.
 
  • #121
I am a bit confused by problem (12. a).

I am describing my confusion in a "SPOILER" box because I am not sure if it might unintentionally help someone solve the problem.
The area where f(x,y) ≠ 0 is a parallelogram bounded by the following four line segments connecting pairs of (x,y) pints.
[(0,0), (1,0)]
[(1,0), (1,3)]
[(1,3), (2,0)]
[(2,0), (0,0)]​
This parallelogram is divided into two regions, TOP and BOTTOM. The dividing line L separating TOP and BOTTOM is
L = [(0,1), (1,2)].​
The area of TOP is the same as the area of BOTTOM. Both areas are 1 square unit.
In the TOP area, f(x,y) = -1.
In the BOTTOM area, f(x,y) = +1.
(Along the line L f(x,y) = -1 but this does not influence the value of the integration.)
Therefore the integral
RR f(x,y) dx dy = ∫RR f(x,y) dy dx = 0.

What confused me is: Why it is necessary to bring Fubini's theorem into the discussion?

If Fubini's theorem must be discussed, then I offer the following.

Since the order of the two integration variables does not change the zero result, this demonstrates that the order does not matter, which is what Fubini's theorem proves.
 
Last edited:
  • #122
Buzz Bloom said:
I am a bit confused by problem (12. a).

I am describing my confusion in a "SPOILER" box because I am not sure if it might unintentionally help someone solve the problem.
The area where f(x,y) ≠ 0 is a parallelogram bounded by the following four line segments connecting pairs of (x,y) pints.
[(0,0), (1,0)]
[(1,0), (1,3)]
[(1,3), (2,0)]
[(2,0), (0,0)]​
This parallelogram is divided into two regions, TOP and BOTTOM. The dividing line L separating TOP and BOTTOM is
L = [(0,1), (1,2)].​
The area of TOP is the same as the area of BOTTOM. Both areas are 1 square unit.
In the TOP area, f(x,y) = -1.
In the BOTTOM area, f(x,y) = +1.
(Along the line L f(x,y) = -1 but this does not influence the value of the integration.)
Therefore the integral
RR f(x,y) dx dy = ∫RR f(x,y) dy dx = 0.

What confused me is: Why it is necessary to bring Fubini's theorem into the discussion?

If Fubini's theorem must be discussed, then I offer the following.

Since the order of the two integration variables does not change the zero result, this demonstrates that the order does not matter, which is what Fubini's theorem proves.
The integral isn't zero.
 
  • #123
fresh_42 said:
The integral isn't zero.
Hi @fresh_42:
(12. a) Solution completed 7:10 pm EST 12/28.
FIXED some careless typos 1:21 pm EST 12/30.
I do now see I made a mistake in visualizing the problem. The non-zero domain is a infinite subset of
[(0,0),(0,inf)] x [(0,0,(inf,0)].​
However, I do not see why the integral with respect to y is not zero.
For every value of x, the non-zero range of y is [x,x+2). The value of y is +1 in [x,x+1) and -1 in[x+1,x+2).
Therefore, I see no reason why the following is not correct:
Rf(x,y) dy = G(x) = 0.​
If this is correct then
RG(x)dx = 0.​
OK. So the hint you are telling me is that
Rf(x,y) dx = H(y)≠ 0.​
If fact
(a) for 0<y ≤ 1, H(y) = y,
(b) for 1< y≤2, H(y) = 1-(y-1) = 2-y
(c) for 2 < y, H (y) = 0​
I now need to integrate with respect to y. I can that see it will be > 0.
RH(y)dy = [y2/2]01
+ [2y-y2/2]12
= (1/2) + (4-2-2+(1/2)) = 1​
Now: why isn't this a contradiction to Fubini's theorem?
For this I will need to do some reading:
https://en.wikipedia.org/wiki/Fubini's_theorem#The_Fubini–Tonelli_theorem.
The theorem says:
if X and Y are σ-finite measure spaces​
then the order of integration can be reversed with no change in the resulting double integral value.

However, since the space over which the integration takes place is infinite, this is not a contradiction to the theorem.
Regards,
Buzz
 
Last edited:
  • #124
I will attempt to solve problem 18 again, using a different approach.
There is an important simplification of the problem that we can perform, since ##\mathbb{Q}## is a field. The multiplication identity for the value function yields a division identity. For any x and nonzero y,
$$ |x| = \left|\frac{x}{y} y \right| = \left| \frac{x}{y} \right| |y| $$ giving $$ \left| \frac{x}{y} \right| = \frac{|x|}{|y|} $$
The Archimedean inequality, ##|na| > |b|## thus reduces to ##|n| > |b|/|a| = |b/a|##, thus giving the Archimedean condition this form: for all a in ##\mathbb{Q}##, there is some nonnegative integer n that satisfies
$$ |n| > |a| $$
The non-Archimedean case has the negation of the Archimedean condition. There is some a in ##\mathbb{Q}## such that for every nonnegative-integer n,
$$ |n| \leq |a| $$
The values of a that satisfy that inequality I will call anti-Archimedean values. It is evident that if a is anyone of them, then |a| is an upper limit for all the possible values of |n|. In fact, the upper bound is the minimum of the |a| values for all the anti-Archimedean a's. It is evident that 0 is not anti-Archimedean, because nonzero n gives nonzero |n|, and that is greater than 0.

Our next task is to find out what kinds of possible values of |n| will be bounded. We can do this with ##|n^m| = |n|^m##, something easy to prove with mathematical induction. ##|n^m \cdot n| = |n^{m+1}| = |n|^{m+1}##, also ##|n^m \cdot n| = |n^m||n| = |n|^{m+1}##. This means that |n| will be bounded only if ##|n| \leq 1##.

There is a further constraint that comes from a special value of n. Since ##1^2 = 1##, |1| = 1. This also means that 1 is anti-Archimedean.

So in conclusion, |0| = 0, |1| = 1, and for n > 1, |n| <= 1.

One can proceed further by using the prime factorization of each n, and that gives the value of each |n| in terms of the values of |p| for n's prime factors p. In the non-Archimedean case, |p| <= 1 for every prime p.

That also gives the value of |a| for all a in ##\mathbb{Q}##, since every rational number is the ratio of two integers. One ought to be able to proceed further with the help of the value function's triangle inequality, ##|x + y| \leq |x| + |y|##, but I am unable to do so.
 
  • #125
lpetrich said:
I will attempt to solve problem 18 again, using a different approach...
This is a good route to go! Just don't restrict yourself too early.

As someone has mentioned earlier, the proof isn't easy. Let me give you some hints.
a) There is a smallest (by its usual ordering) natural number ##|n_0| < 1##.
b) ##n_0## has to be prime.
c) Show ##|a+b| \leq \max\{|a|,|b|\}##. Hint: Consider ##|a+1|^m##.
d) Use the Euclidean division of a number ##m## by ##n_0=p##.

You have proven the first statement. The second is an easy consequence. d) will finish the proof, but you need c) for the details in d).
 
  • #126
Infrared said:
@epenguin I think you have the right idea, but it's a bit hard for me to follow what you've written.

If [itex]p(x)=x^3[/itex], then [itex]p'(0)=p''(0)=0[/itex] and [itex]0[/itex] is a turning point according to your definition.I don't understand this. If [itex]p(x)=x^4-1[/itex], then the point [itex]0[/itex] is 'such a point' ([itex]p'(0)=p''(0)=0[/itex]), but the only zero of [itex]p'[/itex] is zero. Do you mean to say that there are at least two roots of [itex]p'[/itex] counted with multiplicity (because the point is already a zero for [itex]p[/itex] of multiplicity at least [itex]2[/itex]). Anyways, what if the point [itex]a[/itex] where [itex]p'(a)=p''(a)[/itex] and [itex]p(a)\neq 0[/itex] is not in the interval between two roots (is smaller than the smallest root or larger than the largest root)?

Where are you using the assumption [itex]p(a)\neq 0[/itex]? The problem statement is false if you don't assume this.

Sorry, I have hardly been able to be at the site for various reasons, but let me not be like certain of our students who never come back. :mad::smile:
I agree my argument was badly expressed and hard to follow, I did not like it.
Now I think we could just say:

Between any two real roots of p there must be a turning point. (1)
Every turning point is a root of p' - but not every root of p'is a turning point, in particular double root of p' is not a turning point.
p has a total of n roots. To show it has two nonreal roots it suffices to show that with the given conditions it cannot have n real roots.
So since p' has a maximum of (n - 1) real roots but two of them are not turning points, it must have maximum of (n - 3) turning points.
Therefore by (1) p has a maximum of (n -2) real roots.
Therefore p has at least two nonreal roots.

In the case that p as well as its first and second derivative are zero at x = a, we have of course a triple real root and can have a total of n real roots and no nonreal ones. We can say this possibility is allowed for in the argument because in this case there is no 'between' as required by (1).

Still a bit of a mouthful.:frown: However more obvious and memorable so the way I would want to think I would say than time traveller123's.
 
  • #127
@epenguin This is definitely better, but I think you need to be a bit more careful when multiple roots are involved. For example, f(x)=x^3 has no turning points but still has 3 roots with multiplicity.
 
  • #128
Well I think it was taken into account in what I said above about between, but maybe the first sentence of the proof could be modified to say "Between any two distinct real roots of p there must be a turning point. (1)".

I don't know how the textbooks exactly say it because I haven't got any beside me at the moment.

In the present exercise since p(a) ≠ 0 , x = a is not a triple (or any other kind of) root of p.
 
  • #129
Is there a typo in question 16? According to the equation given in the question we would have:

##
\varphi (\alpha_1 \sigma_1 + \alpha_2 \sigma_2 + \alpha_3 \sigma_3) . x = - x \alpha_3 - y (i \alpha_1 + \alpha_2)
##

Should we have:

##
\varphi (\alpha_1 \sigma_1 + \alpha_2 \sigma_2 + \alpha_3 \sigma_3) . x = - x \alpha_3 + y (i \alpha_1 + \alpha_2)
##

instead?

If I use the former then ##[\varphi (\alpha_1 , \alpha_2 , \alpha_3) , \varphi (\alpha_1' , \alpha_2' , \alpha_3')] . x \not= \varphi ([(\alpha_1 , \alpha_2 , \alpha_3) , (\alpha_1' , \alpha_2' , \alpha_3')]) . x## and the total angular momentum-squared operator's eigenvalue is negative. I get ##[\varphi (\alpha_1 , \alpha_2 , \alpha_3) , \varphi (\alpha_1' , \alpha_2' , \alpha_3')] . x = \varphi ([(\alpha_1 , \alpha_2 , \alpha_3) , (\alpha_1' , \alpha_2' , \alpha_3')]) . x## and the correct eigenvalue if I use the latter.
 
  • #130
julian said:
Is there a typo in question 16? According to the equation given in the question we would have:

##
\varphi (\alpha_1 \sigma_1 + \alpha_2 \sigma_2 + \alpha_3 \sigma_3) . x = - x \alpha_3 - y (i \alpha_1 + \alpha_2)
##

Should we have:

##
\varphi (\alpha_1 \sigma_1 + \alpha_2 \sigma_2 + \alpha_3 \sigma_3) . x = - x \alpha_3 + y (i \alpha_1 + \alpha_2)
##

instead?

If I use the former then ##[\varphi (\alpha_1 , \alpha_2 , \alpha_3) , \varphi (\alpha_1' , \alpha_2' , \alpha_3')] . x \not= \varphi ([(\alpha_1 , \alpha_2 , \alpha_3) , (\alpha_1' , \alpha_2' , \alpha_3')]) . x## and the total angular momentum-squared operator's eigenvalue is negative. I get ##[\varphi (\alpha_1 , \alpha_2 , \alpha_3) , \varphi (\alpha_1' , \alpha_2' , \alpha_3')] . x = \varphi ([(\alpha_1 , \alpha_2 , \alpha_3) , (\alpha_1' , \alpha_2' , \alpha_3')]) . x## and the correct eigenvalue if I use the latter.
You have to adjust or modify ##\varphi##, simply because the ##\sigma_i## are not elements of the Lie algebra ##\mathfrak{su}(2,\mathbb{C})##. We need skew Hermitian matrices, whereas the ##\sigma_i ## are not. To get an appropriate homomorphism, we have to consider ##\varphi \, : \, \langle (i\sigma_1),(i\sigma_2),(i\sigma_3) \rangle \longrightarrow \mathfrak{gl}(\mathbb{C}_2[x,y])##.

\begin{align*}
\varphi(\alpha_1(i\sigma_1) ,\alpha_2(i\sigma_2),\alpha_3(i\sigma_3))&.(a_0+a_1x+a_2y+a_3x^2+a_4xy+a_5y^2)= \\
&= 1\cdot 0+\\
&+ x\cdot(\alpha_1 a_2 +i\alpha_2 a_2 + i\alpha_3 a_1 )+\\
&+ y\cdot(\alpha_1 a_1 -i\alpha_2 a_1 - i\alpha_3 a_2 )+\\
&+ x^2\cdot(-2\alpha_1 a_4 +2i \alpha_2 a_4 + 2i\alpha_3 a_3 )+\\
&+ xy\cdot(\alpha_1 a_3+\alpha_1 a_5 +i\alpha_2 a_3 -i\alpha_2 a_5 )+\\
&+ y^2\cdot(-2\alpha_1 a_4 -2i\alpha_2 a_4 -2i\alpha_3 a_5 )
\end{align*}
 
  • #131
fresh_42 said:
You have to adjust or modify ##\varphi##, simply because the ##\sigma_i## are not elements of the Lie algebra ##\mathfrak{su}(2,\mathbb{C})##. We need skew Hermitian matrices, whereas the ##\sigma_i ## are not. To get an appropriate homomorphism, we have to consider ##\varphi \, : \, \langle (i\sigma_1),(i\sigma_2),(i\sigma_3) \rangle \longrightarrow \mathfrak{gl}(\mathbb{C}_2[x,y])##.

Physicists and mathematicians have different conventions. Physicists write a group element as ##g = \exp (i \beta_i T_i)## where ##\beta_i##'s are real parameters and ##T_i## are traceless and hermitian. And say the basis of ##\mathfrak{su}(2,\mathbb{C})## is

##
T_1 = {1 \over 2} \sigma_1 , \quad T_2 = {1 \over 2} \sigma_2, \quad T_3 = {1 \over 2} \sigma_3
##

with commutation relations

##
[T_i , T_j] = i \epsilon_{ijk} T_k .
##

Whereas mathematicians write a group element as ##g = \exp (\tilde{\beta}_i u_i)## where ##\tilde{\beta}_i##'s are real parameters and ##u_i## are traceless and skew-hermitian. And say the basis of ##\mathfrak{su}(2,\mathbb{C})## is

##
u_1 =
\begin{pmatrix} 0 & i \\ i & 0 \end{pmatrix} , \quad
u_2 =
\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} , \quad
u_3 = \begin{pmatrix} i & 0 \\ 0 & -i \end{pmatrix}
##

with commutation relations

##
[u_1 , u_2] = 2 u_3 , \quad [u_2 , u_3] = 2 u_1 , \quad [u_3 , u_1] = 2 u_2 .
##

You are using a slightly different basis in your question, you're using:

##
u_2 =
\begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix}
##

but that doesn't really matter.

fresh_42 said:
\begin{align*}
\varphi(\alpha_1(i\sigma_1) ,\alpha_2(i\sigma_2),\alpha_3(i\sigma_3))&.(a_0+a_1x+a_2y+a_3x^2+a_4xy+a_5y^2)= \\
&= 1\cdot 0+\\
&+ x\cdot(\alpha_1 a_2 +i\alpha_2 a_2 + i\alpha_3 a_1 )+\\
&+ y\cdot(\alpha_1 a_1 -i\alpha_2 a_1 - i\alpha_3 a_2 )+\\
&+ x^2\cdot(-2\alpha_1 a_4 +2i \alpha_2 a_4 + 2i\alpha_3 a_3 )+\\
&+ xy\cdot(\alpha_1 a_3+\alpha_1 a_5 +i\alpha_2 a_3 -i\alpha_2 a_5 )+\\
&+ y^2\cdot(-2\alpha_1 a_4 -2i\alpha_2 a_4 -2i\alpha_3 a_5 )
\end{align*}

You've changed the ordering of the terms. Can I stick to the original ordering: ##a_0 + a_1 x + a_2 x^2 + a_3 y + a_4 y^2 + a_5 xy## as I've already written up stuff? So I should write:

\begin{align*}
\varphi(\alpha_1 (i \sigma_1) +\alpha_2 (i \sigma_2)+\alpha_3 (i \sigma_3))&.(a_0+a_1x+a_2x^2+a_3y+a_4y^2+a_5xy)= \\
= \varphi( (i \alpha_1) \sigma_1 + ( i\alpha_2) \sigma_2+ (i \alpha_3) \sigma_3)&.(a_0+a_1x+a_2x^2+a_3y+a_4y^2+a_5xy)= \\
&= x(\alpha_1 a_3 +i\alpha_2 a_3 - i\alpha_3 a_1 )+\\
&+ x^2(-2\alpha_1 a_5 +2 i\alpha_2 a_5 + 2i\alpha_3 a_2 )+\\
&+ y(\alpha_1 a_1 -i\alpha_2 a_1 +i\alpha_3 a_3 )+\\
&+ y^2(-2\alpha_1 a_5 -2i\alpha_2 a_5 -2i\alpha_3 a_4 )+\\
&+ xy(\alpha_1 a_2 +\alpha_1 a_4 +i\alpha_2 a_2 -i\alpha_2 a_4 )
\end{align*}

Is this right?
 
Last edited:
  • #132
julian said:
Physicists and mathematicians have different conventions.
I know. But physicists are not precise here, as their usage is outside the tangent space by a factor i.
julian said:
You've changed the ordering of the terms.
IIRC I used the numbering of Pauli matrices on Wikipedia, and multiplied them by ##i## to get the actual Lie algebra vectors in order to avoid anti-isomorphisms.
julian said:
I had thought making the replacement ##\alpha_i \rightarrow i \alpha_i## at the end of the calculations would have a trivial effect but now thinking about it it doesn't.
I have different signs and order such that I get a Lie algebra homomorphism and can use known results about ##\mathfrak{sl}(2)## representations with ##H=\sigma_3\,(CSA)\; , \;X=-\dfrac{i}{2}(i\sigma_1)+\dfrac{1}{2}(i\sigma_2)\; , \;Y=-\dfrac{i}{2}(i\sigma_1)-\dfrac{1}{2}(i\sigma_2)##.

Btw., your ##u_3## looks strange.

The proper signs are necessary to actually have Lie algebras and Lie algebra homomorphisms instead of "anti's". It should not lead to a qualitatively different result, but in a way a wrong one. It's a nasty calculation anyway, easy but a bit of work. In case you do not use ##[\varphi(X),\varphi(Y)]=\varphi([X,Y])## you should at least say what you have instead, probably ##[\varphi(X),\varphi(Y)]=\pm i \varphi([X,Y])##. But this is strictly speaking no Lie algebra representation. Maybe that's the hidden reason why physicists speak of "generators" instead. This way they avoid referring to tangents and left invariant vector fields.
 
  • #133
I've edited my post to correct ##u_3##.

When I said you've changed the ordering of terms I meant the ordering of ##1,x,x^2,y,y^2,xy##. In post #1 you wrote

##
\varphi( \alpha_1 \sigma_1 +\alpha_2 \sigma_2+ \alpha_3 \sigma_3).(a_0+a_1x+a_2x^2+a_3y+a_4y^2+a_5xy)
##
##
\vdots
##

but in post #130 you wrote

##
\varphi( \alpha_1 (i \sigma_1) + \alpha_2 (i \sigma_2)+ \alpha_3 (i \sigma_3)).(a_0+a_1 x+a_2 y+a_3 x^2+a_4 xy+a_5 y^2)
##
##
\vdots
##
 
Last edited:
  • #134
Referring back to post 125 in this thread, by fresh_42, I was able to do (a) and (b) without much trouble, but I am totally stumped on (c) and (d). I've tried the hints for both of them, but I get nowhere.
 
  • #135
There is still a problem with the way #7 is proposed.

"How many times a day..." is typically meant to mean how many time per day, through some indefinite series of days, but the replies to questions seem to be stating that the problem period is one day, as if "times a day" meant "how many times in a day" or "how many times in one day".

The difference is that if the answer is a count of events occurring within only one day, that day is longer than if the answer is a rate (count per day) of a series of days... and the answer converges as the series of days increases.

For just one single day the day starts at 12:00 AM and ends at 12:00 AM 24 full hours later.

In a series of days each day's individual "full day" period in the sequence must have one of it's end points excluded.
If you adopt the convention to keep the starting point of time for each day (12:00 AM), then that day must not include the 12:00 AM 24 hours later because that is the starting point of the next day in the series.

This makes a difference in what will be the answer for this problem.
 
  • #136
bahamagreen said:
as if "times a day" meant "how many times in a day" or "how many times in one day".
What else can it mean?
How many times a day is it 15:00? Once. What is ambiguous about that?

Midnight is not ambiguous on the clock, so we don't have a problem with that time either.
 
  • Like
Likes StoneTemplePython
  • #137
bahamagreen said:
There is still a problem with the way #7 is proposed.

"How many times a day..." is typically meant to mean how many time per day, through some indefinite series of days, but the replies to questions seem to be stating that the problem period is one day, as if "times a day" meant "how many times in a day" or "how many times in one day".

How many times per day can be interpretted as being the frequency of these 'special times' in one day or the number of distinct 'special times' in one day-- however the problem statement clearly says that we can distinguish between am and pm, so both interpretations map to the same thing.
- - - -
for problem 7: I've been away but I think post 82 has it -- it is set up as a thought experiment, which I like, and the final answer is correct.
 
  • #138
julian said:
I've edited my post to correct ##u_3##.

When I said you've changed the ordering of terms I meant the ordering of ##1,x,x^2,y,y^2,xy##. In post #1 you wrote

##
\varphi( \alpha_1 \sigma_1 +\alpha_2 \sigma_2+ \alpha_3 \sigma_3).(a_0+a_1x+a_2x^2+a_3y+a_4y^2+a_5xy)
##
##
\vdots
##

but in post #130 you wrote

##
\varphi( \alpha_1 (i \sigma_1) + \alpha_2 (i \sigma_2)+ \alpha_3 (i \sigma_3)).(a_0+a_1 x+a_2 y+a_3 x^2+a_4 xy+a_5 y^2)
##
##
\vdots
##
It's been quite some time that I did the calculations. I guess I've reordered them in a way, that allows me to get a block structure for ##\varphi##, i.e. grouped by the basis vectors of the irreducible components.
 
  • #139
lpetrich said:
Referring back to post 125 in this thread, by fresh_42, I was able to do (a) and (b) without much trouble, but I am totally stumped on (c) and (d). I've tried the hints for both of them, but I get nowhere.
fresh_42 said:
c) Show ##|a+b| \leq \max\{|a|,|b|\}.## Hint: Consider ##|a+1|^m.##
##|a+b| \leq \max\{|a|,|b|\}## is equivalent to ##|a+1| \leq \max\{|a|,1\}## and ##|a+1|^m \leq (m+1)\max\{|a|,1\}## from which the statement follows for ##m \to \infty##.
d) Use the Euclidean division of a number ##m## by ##n_0=p.##
We write ##m=kp+r##, conclude ##|m|=1## for all ##m## coprime to ##p## and finally investigate all other numbers ##m=p^s\cdot m'## and ##\dfrac{m}{n}\,.##
 
  • #140
fresh_42 said:
It's been quite some time that I did the calculations. I guess I've reordered them in a way, that allows me to get a block structure for ##\varphi##, i.e. grouped by the basis vectors of the irreducible components.

I guess when you originally set the question you didn't want to give any clues away that the irreducible components are organised as ##\{1 \}##, ##\{x , y \}##, and ##\{ x^2 , xy , y^2 \}## as that was question 16 b).

I'll be adjusting the calculations I did before (by adjusting ##\varphi##) to get the appropriate homomorphism later when I'm less preoccupied.
 

Similar threads

  • Math Proof Training and Practice
2
Replies
42
Views
6K
  • Math Proof Training and Practice
Replies
28
Views
5K
  • Math Proof Training and Practice
3
Replies
93
Views
10K
  • Math Proof Training and Practice
3
Replies
80
Views
4K
  • Math Proof Training and Practice
Replies
20
Views
4K
  • Math Proof Training and Practice
2
Replies
61
Views
7K
  • Math Proof Training and Practice
2
Replies
61
Views
9K
  • Math Proof Training and Practice
Replies
33
Views
7K
  • Math Proof Training and Practice
Replies
16
Views
5K
  • Math Proof Training and Practice
2
Replies
46
Views
4K
Back
Top