Wikipedia:Reference desk/Mathematics

Welcome to the mathematics section
of the Wikipedia reference desk.

skip to bottom

Select a section:

• Computing
• Entertainment
• Humanities
• Language
• Mathematics
• Science
• Miscellaneous
• Archives

Want a faster answer?

Main page: Help searching Wikipedia

   

How can I get my question answered?

• Select the section of the desk that best fits the general topic of your question (see the navigation column to the right).
• Post your question to only one section, providing a short header that gives the topic of your question.
• Type '~~~~' (that is, four tilde characters) at the end – this signs and dates your contribution so we know who wrote what and when.
• Don't post personal contact information – it will be removed. Any answers will be provided here.
• Please be as specific as possible, and include all relevant context – the usefulness of answers may depend on the context.
• Note:
  • We don't answer (and may remove) questions that require medical diagnosis or legal advice.
  • We don't answer requests for opinions, predictions or debate.
  • We don't do your homework for you, though we'll help you past the stuck point.
  • We don't conduct original research or provide a free source of ideas, but we'll help you find information you need.

Ready? Ask a new question!

How do I answer a question?

Main page: Wikipedia:Reference desk/Guidelines

• The best answers address the question directly, and back up facts with wikilinks and links to sources. Do not edit others' comments and do not give any medical or legal advice.

See also:

• Teahouse
• Help desk
• Village pump
• Help manual

March 19

Interesting number paradox question

I was reading the article on the Interesting number paradox. It says that there are no uninteresting numbers because if there were uninteresting numbers we could put them in a set: a set of all non-interesting numbers. If we ordered all the numbers in that set there would be a smallest non-interesting number; that number would be interesting. But by being interesting that number creates a contradiction that invalidates the premise that there are no uninteresting numbers.

I understand that but what if the set of uninteresting numbers was a countable infinite set? In this case there would not be a smallest item in the set and hence there are uninteresting numbers. How does this paradox relate to sets with counably infinite size? Thanks for reading! meshach (talk) 05:30, 19 March 2015 (UTC)

The paradox deals with Natural numbers. The natural numbers are Well-ordered, meaning that every nonempty set of natural numbers has a smallest number. The set of uninteresting numbers has a smallest number, even if the set is infinite.

Of course, the paradox shouldn't be taken too seriously, since "interesting number" is not defined, and the claim that the smallest uninteresting number is interesting is arbitrary. -- Meni Rosenfeld (talk) 07:38, 19 March 2015 (UTC)

Now that you explain the concept of Well-order - I had never read that page and I did not know about that property of sets - I see how there must be a smallest number in the set. Thanks for replying! Also I know that this question does not have a practical side, it was more of a curiosity on my part. meshach (talk) 16:11, 19 March 2015 (UTC)

Natural numbers set is countably infinite and obviously there is a smallest one among them... --CiaPan (talk) 08:16, 19 March 2015 (UTC)

Note also that all numbers are small, because most numbers are bigger. Bo Jacoby (talk) 09:27, 19 March 2015 (UTC).

Modern mathematics posits the existence of supernatural beings that are able to gather together infinitely many numbers satisfying some property. How typical of us humans to think that it is the interestingness of the numbers that is paradoxical in this setting. It's like saying: suppose I have an infinite number of monkeys in my apartment. Isn't it strange that some monkey must eventually type out the entirety of the play Hamlet? No thought is given to the strangeness of having infinitely many monkeys in the first place. Sławomir Biały (talk) 11:41, 19 March 2015 (UTC)

The really interesting question tough, is if you have infinitely many Wikipedia editors in your appartment... YohanN7 (talk) 13:42, 19 March 2015 (UTC)

Consider the play Hamlet written as k characters from an alphabet consisting of, say, 64 characters. Let N=64^k. Write some irrational number, say π , in base N, meaning that there are N different digit values, 0 1 2 . . . N−1. Among the first N² digits each digit value occurs about N times. So with overwhelming certainty the entirety of Hamlet occurs at least once. And no infinity is needed, only N² base N digits. Bo Jacoby (talk) 18:40, 19 March 2015 (UTC).

I don't see how that would work. The base N digits of π are not random. Sławomir Biały (talk) 21:33, 19 March 2015 (UTC)

π is thought to be a normal number, but nobody has actually proved that. The closest result that I know is that, with some reasonable sounding assumptions, it is normal in base-2. Abecedare (talk) 22:03, 19 March 2015 (UTC)

Of course, even if π is normal, its digits are not random. But they behave like random digits for the purposes of Bo's argument. -- Meni Rosenfeld (talk) 22:17, 19 March 2015 (UTC)

"But they behave like random digits for the purposes of Bo's argument." What is the basis for this statement, I wonder? Sławomir Biały (talk) 23:17, 19 March 2015 (UTC)

It follows from the definition of normal numbers. Also note that being normal in base-2 implies being normal in base-$2^{m}$, so the above linked paper suffices for Bo's argument (assuming you accept its Hypothesis A). Of course, Bo could have bypassed all this by simply saying "write some number, picked at random" instead of "write some irrational number, say π" and would have been almost surely right. Abecedare (talk) 23:26, 19 March 2015 (UTC)

Yes, but that just raises the question of how one "picks a real number at random"? Has a random real number ever been exhibited? Sławomir Biały (talk) 23:44, 19 March 2015 (UTC)

If I recall correctly, the various approaches to interpreting that question (and probability, in general) have been previously discussed at this desk; perhaps someone can locate the archive link. Don't believe that question is really relevant to this particular thread, so I'll desist from entering into that debate here. Abecedare (talk) 00:00, 20 March 2015 (UTC)

"Random" is a property of a process to choose a real number, not of a number itself. A real number can't be random any more than "9" is random. Talking about properties of random real numbers is really talking about measures of specific sets of numbers. When we say "a uniformly randomly chosen real number between 0 and 1 almost surely has ASCII-encoded Hamlet in its binary digits" is really saying "the set of real numbers between 0 and 1 which contain Hamlet has measure 1" - a claim that should be easily provable.

Similarly, if I'm not mistaken, a randomly chosen real number is almost surely normal. -- Meni Rosenfeld (talk) 13:33, 20 March 2015 (UTC)

Well, yes, I'm aware that randomness is a property of the process of choosing rather than the number. But it is said that "a random real number will contain Hamlet". The failure to be able to exhibit any random real number is certainly a deficiency of that response. What good is it to say that "an X has property Y" if one cannot even exhibit an "X"? Tell me how to "pick a real number uniformly at random between 0 and 1". Sławomir Biały (talk) 13:59, 20 March 2015 (UTC)

Any number with an N digit binary expansion can be randomly selected by flipping a coin N times and sequentially writing down the heads as 1 and the tails as 0 in a string like: 0.101101110100101000101010101, etc. Almost anything that can be said about random real numbers can also be said about sufficiently long random numbers generated by a process like that. As other parts of the discussion have said, after a certain number of binary digits it becomes almost certain that Hamlet is present, and we can certainly imagine processes to generate any finite number of random digits. Dragons flight (talk) 19:49, 20 March 2015 (UTC)

Yes, well there are really several issues here. One is that the notion of a random real number requires that we imagine carrying this process"to infinity". But one might (rightly) question whether such an operation is meaningful. Another is that no one actually believes that it is possible to generate the text of Hamlet by tossing a coin. It is not even clear that there should be enough free energy in the universe to achieve this, and if there were, it would probably be a very significant discovery. Not all problems of "infinite monkeys" are solved by replacing the infinity of monkeys by some inconceivably large number of monkeys, that would overfill the observable universe by tens of thousands of orders of magnitude. Now, the real Platonists would say that these mathematical abstractions do not exist in-the-world. Instead, they exist in an idea-space. My point is, mathematicians take for granted that such things are well-defined, even though they require faith in some supernatural interpretation to make proper sense of them. Cramming infinitely many monkeys into my apartment is just a colorful way to illustrate the absurdity of such ideas. Sławomir Biały (talk) 20:21, 20 March 2015 (UTC)

Sorry, I think I didn't correctly parse Meni's post. Obviously, if we assume that pi is normal, then pi is normal. But that begs the question. Is finding Hamlet in pi even likely to be decidable? Sławomir Biały (talk) 01:05, 20 March 2015 (UTC)

Well, sure. Just scan pi until you find Hamlet (which you almost definitely will, for a sufficiently abstract value of "you"). --Trovatore (talk) 01:11, 20 March 2015 (UTC)

But if Hamlet never occurs, then what? (I should be clear, I am not assuming that pi is normal. That begs the question, and I don't really find the paper linked above very convincing evidence that we ought to believe that pi is normal.) Sławomir Biały (talk) 11:22, 20 March 2015 (UTC)

Well, you asked about whether it is likely. If hamlet appears in π (as most people believe), then there is a proof of it, and hence this question is decidable. Hence, the question is likely to be decidable. -- Meni Rosenfeld (talk) 13:16, 20 March 2015 (UTC)

Ok, so the word "likely" invites misinterpretation. But this is all just arguing semantics. There isn't any non-question-begging reason to think that the digits of pi will contain Hamlet. Abecedare pointed to a paper where this is reduced to some mysterious Hypothesis A, which I'm not sure is reasonable either. Anyway, regardless of these issues, we're talking about a proposition that cannot ever be checked. Yet mathematicians still insist that it is "likely to be true" that if an impossibly large number of digits of π were written down, somewhere would be the text of Hamlet. So what is proposed does not seem so different from "infinite monkeys" to me. Sławomir Biały (talk) 13:54, 20 March 2015 (UTC)

Oh, I disagree entirely that there isn't any reason to think the digits will contain Hamlet. To put it mildly, if they didn't, the thing would need explanation. The decimal expansion of π has no reason to avoid Hamlet. I think it would be utterly freaking astonishing if the text of Hamlet did not occur. --Trovatore (talk) 14:20, 20 March 2015 (UTC)

Well, to my knowledge, it has not occurred. Yet no one is astonished by this. Sławomir Biały (talk) 14:39, 20 March 2015 (UTC)

Of course not. Because we haven't gotten anywhere near the number of digits you'd expect to need. --Trovatore (talk) 14:50, 20 March 2015 (UTC)

Right. So, in what year will it be appropriate to express astonishment at the lack of Hamlet appearing 8 the digits of pi? Sławomir Biały (talk) 14:57, 20 March 2015 (UTC)

If there were a reliable oracle that told us it did not appear, but did not give more information, it would be astonishing, and would justify a research effort to figure out why. --Trovatore (talk) 15:08, 20 March 2015 (UTC)

Indeed. But the existence of such an oracle would be even more astonishing. (And how we could certify that oracle as reliable?) Sławomir Biały (talk) 15:16, 20 March 2015 (UTC)

That isn't the point. --Trovatore (talk) 15:31, 20 March 2015 (UTC)

Isn't it? I started this sub thread with a tongue in cheek observation that modern mathematics routinely makes ridiculous statements, like "infinite monkeys" or gathering together infinitely many things into a collection. Oracles with access to infinitely many digits of pi do not seem immune to this criticism. Sławomir Biały (talk) 15:51, 20 March 2015 (UTC)

From my point of view, the sub-thread started with you wondering if the question was "decidable". Skipping my usual rant about the dual meaning of that word (independence from a formal theory vs a decision problem), in any ordinary sense, it's obviously decidable if it's true, and it's (almost) obviously true. Now, if you want to ask about it in some ultrafinitist interpretation, that's another matter altogether. --Trovatore (talk) 00:44, 21 March 2015 (UTC)

My copy of Shakespear's Hamlet is 44 pages of 2 columns of 61 lines of 51 characters of 6 bits, so k = 1642608 bits and N = 2^1642608 and among the first N³ = 2^4927824 bits of π Hamlet is found about N times. But presently only the first 2⁴⁵ bits of π are known. The requirement that π is normal is sufficient, but by no means necessary, for the probabalistic argument to be valid. Bo Jacoby (talk) 19:20, 20 March 2015 (UTC).

But the digits of pi are not random. It's perfectly conceivable (though I admit not very likely) that God could have made the mathematical world so that the digits of pi avoid the text of Hamlet. Or, what seems more likely, that there us some structure to the digits of pi that only becomes apparent after some inconceivably large number of digits have been written down. To tie this in with the subject of the thread, define the set of interesting real numbers to be all real numbers that can be uniquely characterized by finite sentences. The set of interesting numbers is countable, so has measure zero. Now take the complement of that set. So almost surely, a real number is not interesting. A probabilistic argument would lead us to the wrong conclusion that pi is almost surely not interesting. The problem is, pi was not "chosen at random" any more than a number like 3 is. Sławomir Biały (talk) 20:38, 20 March 2015 (UTC)

If interestingness is recursive then you don't need a completed infinity. You just need to check Interesting(0), Interesting(1), ... until one tests false. If interestingness is not recursive then you may have a point. -- BenRG (talk) 23:25, 19 March 2015 (UTC)

The "Interesting Number Paradox" is not a mathematical paradox because the word "Interesting" cannot be defined mathematically. It is a linguistic paradox. 175.45.116.65 (talk) 00:07, 20 March 2015 (UTC)

Well, I don't agree necessarily that "interesting" cannot be defined mathematically. A number can be "interesting" if it satisfies some predicate P(n) that is not satisfied by any other number. Now, that will clearly depend on what predicates there are. Naively, at least, any number should be interesting because it is either zero or the successor of its predecessor. But it seems to me that converting this to a unique predicate requires being able to obtain a unique formula of the form n = SS...S(0) in the meta-language (though of course, "many" numbers will be "interesting" for other reasons). Whether that is possible might just depend on the rules that are available. Interestingness (as defined here) is not be a first order predicate, so not inductive under the axiom schema of Pressburger arithmetic, although it seems possible that one might be able to prove it is inductive anyway. (But we have some real experts here about these kinds of things; I'm just an amateur.) Sławomir Biały (talk) 13:07, 20 March 2015 (UTC)

A Seemingly Simple Problem...

Given b, c in (0, 1) find a so that c = (a^b - 1) / (a - 1). I don't need an exact solution, and for a lot of values, it's simple to solve using numerical methods - however, some values of b and c seem to require a be exactly accurate (as in, trying all a from 0 to 1 in increments of 0.00000001, still gives a best solution being off from c by 0.2, which is high). Any advice on how to proceed would be extremely helpful - especially in the context of how to get a reasonably close value to a for a computer. Thank you for any help:-)Phoenixia1177 (talk) 17:49, 19 March 2015 (UTC)

Looking at the graph (note: x and y used respectively for a and b to avoid confusing the engine), it would seem that for 0 ≤ c < b ≤ 1, a might become exceedingly large. The graph seems to be very benign (insensitive to variations in a), so that the need for exact accuracy is not likely to be a problem (but computational error may become a problem), except in the steeper section where c quite a bit larger than b (the region where a is very small). Have you identified which of these regions is giving you the problem? They might need fairly different approaches to solve numerically. —Quondum 19:04, 19 March 2015 (UTC)

You'll need a better numerical method than "trying all a in increments", for example, the secant method. You might also need arbitrary precision arithmetic, rather than standard floating point. It's possible the numerical robustness will be better if you work with the log of c rather than c itself.

If you can give an example for problem values of b and c, I can see what my silicon overlord has to say about it. -- Meni Rosenfeld (talk) 19:09, 19 March 2015 (UTC)

Oddly, when a is large, Newton's Method almost always seems to get a solution extremely quickly, my problem is with various areas where a ends up something like (z-1)^²/z² with z = 1.0000000000001, and any less 0's in the z gives a number that is off (or causes Newton's method to veer off). I keep encountering things of this nature around b = 1/1000 and c = 1/4(ish), or round abouts. There's also a few weird cases where a is close to 0.98 that a difference of quadrillioniths starts to cause issues. I get the feeling that for certain b and c with a close to 1 that rounding errors, narrow intervals of convergence, and etc. are causing solutions to be very difficult to find. The problem is that, really, I only need to consider b's and c's that are multiples of 1 / 1000, or even 1 / 500, but even at that coarseness issues creep in. These have been my main difficulties so far, but I've only done dedicated testing up to hitting this wall - so largeness of a may become a problem, but basic testing seems to indicate it is manageable (especially if the numbers only go so fine, there's bound to be an upperlimit that is reasonable). Finally, the hardest difficulty I'm having is that problem values of b and c do not always seem to be around each other (a range of numbers works fine, something goofy is encountered, a range immediately after it works fine...which is weird, because the function isn't doing anything unusual to justify that).Phoenixia1177 (talk) 19:26, 19 March 2015 (UTC)

Having said of all that, I don't need to use this particular function, it's just the best that I could find for my purpose (but is appearing not to be such). Any family of functions 0 to 1 that are increasing and have the property that if rotated around the line 0 to 1 would appear to nicely curve out, then back in (I'm not good at this area of mathematics, I'm not sure what this is called, hopefully that makes sense), would work. Ideally, they'd be fairly simple functions involving parameters (like a above) that could be calculated to fit the specific case (the problem here). Unfortunately, I can't think of any alternatives that would be tractable to work with.Phoenixia1177 (talk) 19:26, 19 March 2015 (UTC)

A specific value is (b, c) = (0.00390625, 0.2421875) - going in steps of 1/10000000 from 0 to 2, the best I can do is get an a that gets to within 0.18 of c. (Householder style methods just seem to converge to something useless, or end up complex).Phoenixia1177 (talk) 19:26, 19 March 2015 (UTC)

Playing around with a calculator, the answer is, apparently, close to 1.00E-031 - iterative methods seemed to suggest something bigger should be the case. I'm thinking that perhaps I can use some sort of binary search to quickly zone in on where values should be, then focus in from there - it's a bit of a pain that this has such an extreme range of values...Thank you for the help:-) If anyone has any suggestions, or advice, I'd love a better approach:-)Phoenixia1177 (talk) 19:57, 19 March 2015 (UTC)

For any given value of b, the graph of c as a function of a appears to be monotonic. The particular case you are trying here is in an extremely steep portion of the curve, with a being very close to 0. Under these conditions, as a first approximation you can treat the denominator as −1, then solve directly for a. In this region, a ≈ (1 − c)^1/b. For the values you've given, a ≈ 1.47167442365×10⁻³¹. Iterative methods that suggest otherwise might be coded incorrectly? —Quondum 20:23, 19 March 2015 (UTC)

Thank you:-) I went ahead a used the binary search idea, it grabs the correct answer really fast to within 0.00000001 except for when b is very close to 0 or 1, in which case I have to make a few adjustments, but it works out. Thank you for all of your help, this has been bugging me all morning (and was supposed to be the "easy part" of what I was working on, the hard part has been done since lunch...as usual):-) The iterative methods seem to muck up because of some kind of rounding issue, which mimics looking like something should be there, but isn't - looking at the graph you linked helped out immensely (I have no head for this part of mathematics).Phoenixia1177 (talk) 20:57, 19 March 2015 (UTC)

I get

a= 1.471674423653163208979791381232519779312019651757196305407014996658...
...54737822741579826361275221008550373823931842344014924813903853384398...
...52350065926179168749115739190846671369912679492772146563629375676839...
...85255281110453825251379625625822121155663967952739575017888933730537...
...76412371176198447385083025894391324710480542924475543517834796969025...
...30898171178140142520846614909449876078873493159339572138400750026087...
...78889207319666634111295848971226524071453846595121566051527566088718 E-31

And there's plenty of more digits of precision where that came from.

You have to work with higher precision with sensitive functions. Standard floating point isn't going to cut it.

Additionally, methods which converge faster tend to be less robust to pathologies in the function. Binary search is very robust for monotonic functions, but will not zero in quickly on the exact value. You can begin with binary search to get the general area, and then move on to the secant method (it should be more robust than Newton's). -- Meni Rosenfeld (talk) 22:12, 19 March 2015 (UTC)

Measure of a particular projection

Fix infinite $P\subseteq \mathbb {N}$, and let $P=\{p_{0}<p_{1}<p_{2}\dots \}$ list the elements in order. Define $\pi _{P}$ a map from the unit interval to itself as follows: on input $r$, write the full binary expansion $r=b_{0}b_{1}b_{2}\dots$ and let $\pi _{P}(r)$ be the real number with binary expansion $b_{p_{0}}b_{p_{1}}b_{p_{2}}\dots$. Basically, we're throwing away all the bits in positions that don't correspond to elements of $P$. I'm aware there's some ambiguity for diadic rationals, but a set of measure zero won't matter for this question.

For reals $0<a<b<1$, I'm interested in the measure of $\pi _{P}([a,b])$. If there is a real $q$ and constant $c$ such that $|qn-|P\cap \{0,\dots ,n-1\}||<c$ for all $n$, then I can show that $\pi _{P}([a,b])<d(b-a)^{q}$, for a constant $d$ that does not depend on $a$ and $b$. It seems like this should hold in the more general situation $\lim _{n}{\frac {|P\cap \{0,\dots ,n-1\}|}{n}}=q$. Any thoughts?--80.109.80.31 (talk) 19:20, 19 March 2015 (UTC)

Shadow of an n-cube in n-1 along vertex first axis?

The 2-D shadow of a 3-cube along the axis from one corner to the opposite corner is a hexagon, the 3-D shadow of 4-cube along a corner to opposite corner axis is an Octahedron (aka 3-Orthoplex). For an n-cube where n is even, the shadow and the halfway slice would be the same, I believe, but I'm not sure where n is odd (where you aren't slicing through vertices. Any ideas on the odd?Naraht (talk) 19:42, 19 March 2015 (UTC)

I'm pretty sure that the projection of the 4-cube along a diagonal is the rhombic dodecahedron, not the octahedron. I haven't worked out higher dimensions, but you've got two more or less unrelated processes so it would be surprising if they led to the same result except by coincidence. For n=3 you can explain it by the fact that regular polygons are self-dual, but this doesn't hold in general. --RDBury (talk) 06:08, 20 March 2015 (UTC)

Why the Rhombic Dodecahedron? For the halfway slice of the hypercube (+-1,+-1,+-1,+-1) crossing the w=x=y=z axis, the 6 points farthest from the axis are the 6 permutations of (+1,+1,-1,-1) right? What would be the other 6 corners?

Scale the cube to (±2, ±2, ±2, ±2) to avoid fractions. Projected onto the plain x+y+z+w=1, these points are (0, 0, 0, 0) (twice), (3, -1, -1, -1) and permutations (four points), (2, 2, -2, -2) and permutations (six points), and (1, 1, 1, -3) and permutations (four points). (0, 0, 0, 0) is in the interior so it can be ignored. The vertices (2, 2, -2, -2) and permutations are bounded by the planes -2≤x,y,z,w≤2; these are the eight faces of the octahedron. But the remaining 8 points don't satisfy these inequalities and so are not within the octahedron. These are the 8 vertices of a cube, with each point being just above one face of the octahedron. The 6 outer vertices are distance 4 from the center and the 8 other vertices are distance √12 from the center, so these are not the farthest from the origin, but they are vertices since they are further from the origin than the centers of the triangle that form the octahedron. These centers have coordinates, up to permutation, (2, -2/3, -2/3, -2/3) and (-2, 2/3, 2/3, 2/3), making their distance from the origin 4/√3 which is less than √12. One face of the projection is x-y≤4 with the other faces obtained by changing variables, making 12 faces in total. The plane x-y=4 has four vertices (2, -2, 2, -2), (2, -2, -2, 2), (1, -3, 1, 1), (3, -1, -1, -1) which form a rhombus, so the polyhedron is bounded by 12 rhombi. --RDBury (talk) 18:09, 20 March 2015 (UTC)

For a cube, the shadow and the half-way slice are both hexagons, but they're not the same size. Maproom (talk) 20:31, 20 March 2015 (UTC)

March 20

Confidence interval

What does it mean if something has a 95 percent confidence interval?

See confidence interval, and please feel free to come back if anything there is confusing or unclear. SemanticMantis (talk) 14:46, 20 March 2015 (UTC)

In frequentist statistics, it means that if we randomly sampled the parameter from the distribution a large number of times, and calculated a confidence interval around the parameter each time, then 95% of those intervals would contain the true value of the parameter. The best way I've heard this described is that we have confidence in the value of the parameter, not because we know it is contained in the interval 95% of the time (it isn't necessarily), but because we have confidence in the process used to construct the interval.OldTimeNESter (talk) 16:48, 20 March 2015 (UTC)

March 21

Variation of the definition of a subspace of a vector space

Let $V$ be a vector space over the real numbers. Let $B\subset V$ be a subset (think of it as a basis). The subspace generated by $S$ is the set of all finite linear combinations with scalar coefficients from the real numbers.

Now change this to allow only non-negative coefficients. Does this thing have a name or any well known properties?

Thanks. 95.115.169.61 (talk) 10:04, 21 March 2015 (UTC)

A cone (linear algebra). Sławomir Biały (talk) 13:10, 21 March 2015 (UTC)

That's it! Thank you! 95.115.169.61 (talk) 13:49, 21 March 2015 (UTC)

Well, almost. More precisely, AFAICT, it is a convex cone. —Quondum 14:55, 21 March 2015 (UTC)

Well, to be even more precise, it is a Conical_combination, but I was interested in the general thing, just missing the magical word to start searching on my own. 95.115.169.61 (talk) 15:28, 21 March 2015 (UTC)

Right triangle, sides a + 2a, can the hypotenuse be a natural number?

Given a right triangle with two legs of the length 'a' and '2a', both integers, can the hypotenuse be an integer too? Or we other words, can the square root √(a + 2a) be an integer?--Fend 83 (talk) 14:30, 21 March 2015 (UTC)

No. For there to be a solution, the square root of 5 has to be rational. Georgia guy (talk) 14:48, 21 March 2015 (UTC)

Surely you mean "can √(a^2 + 4a^2) be an integer, for integer a?", which, as Georgia Guy implies, is the same as asking for "can √5a^2 be an integer, for integer a?" answering "yes" to which would imply that √5 was rational. Since it isn't (see here for a proof) we can conclude the answer to the first question is also "no", by reductio ad absurdam.-- Impsswoon (talk) 15:07, 21 March 2015 (UTC)

Yes, I meant √(a^2 + 4a^2). Thanks for the proof of √5 being irrational too. --Fend 83 (talk) 15:27, 21 March 2015 (UTC)

"Grothendieck logic"?

This page refers to "Grothendieck logic". I've found this explanation of the topic, but I don't find it even remotely enlightening. Does anyone know what this is? Is this related to topos theory? -- Impsswoon (talk) 14:54, 21 March 2015 (UTC)

See Institution for a def of institutions. Then, From [1] (which is in a part Google doesn't let you preview...sadly) define a logic as:

Definition
The following discussion has been closed. Please do not modify it.
A logic is an institution equipped with an entailment system consisting of an entailment relation $\vdash$Σ⊆ |Sen(Σ)| ×Sen(Σ), for each Σ ∈ |Sign|, such that the following conditions are satisfied: 1. reflexivity: for any ϕ ∈ Sen(Σ), {ϕ} $\vdash$Σ ϕ 2. monotonicity: if Γ $\vdash$Σ ϕ and Γ' ⊇ Γ then Γ' $\vdash$Σ ϕ, 3. transitivity: if Γ $\vdash$Σ ϕi, for i ∈ I, and Γ ∪ {ϕi| | i ∈ I} $\vdash$Σ ψ, then Γ $\vdash$Σ ψ, 4. $\vdash$Σ-translation: if Γ $\vdash$Σ ϕ, then for any σ: Σ → Σ' in Sign, σ[Γ] $\vdash$Σ' σ(ϕ), 5. soundness: for any Σ ∈ |Sign|, Γ ⊆ Sen(Sign) and ϕ ∈ Sen(Σ), Γ $\vdash$Σ ϕ implies Γ |=Σ ϕ.

Then,

Def of Groth. Logic
The following discussion has been closed. Please do not modify it.
Definition 8. Given an indexed logic L: Indop −→Log, define the Grothendieck logic L# as follows: – signatures in L# are pairs (Σ, i), where i ∈ |Ind| and Σ a signature in the logic L(i), – signature morphisms (σ, d): (Σ1, i)−→(Σ2, j) consist of a morphism d:i−→j ∈ Ind and a signature morphism σ: Σ1 −→ΦL(d)(Σ2) (here, L(d):L(j)−→ L(i) is the logic morphism corresponding to the arrow d:i−→j in the logic graph, and ΦL(d) is its signature translation component), – the (Σ, i)-sentences are the Σ-sentences in L(i), and sentence translation along (σ, d) is the composition of sentence translation along σ with sentence translation along L(d), – the (Σ, i)-models are the Σ-models in L(i), and model reduction along (σ, d) is the composition of model translation along L(d) with model reduction along σ, and – satisfaction (resp. entailment) w.r.t. (Σ, i) is satisfaction (resp. entailment) w.r.t. Σ in L(i).

You may also want to have a look at [2] and [3]. I apologize if I am not clarifying anything...I'm very limited with anything symbol heavy in Wikipedia. A Google search for, or books/papers on, universal logic may be of use.Phoenixia1177 (talk) 15:27, 23 March 2015 (UTC)

My answer from the topos talk page: In the context you pointed out, I think it is more of an analogous construction than an actual topos. It is a construction over multiple logic systems in the form of Grothendeick institutions, for which we have an Institution (computer science) article. The construction is talked about in Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002., p.334-335. --Mark viking (talk) 20:03, 23 March 2015 (UTC)

Deciding if a point is on, inside or outside of a circle

On the net I found an elegant way to decide if a point d in the plane is inside of the circle that is given by a, b, and c. It is as simple as augmenting the vectors $(x_{1},x_{2})$ to $(x_{1},x_{2},x_{1}^{2}+x_{2}^{2},1)$, and taking the sign of the determinant. This seems to work for any dimension.

I can proof this for n=2 by computing the determinant and transforming it to an equation of a circle. I could do the same for n=3, it should be possible for n=4 but it surely would take the rest of my life to do it with n>4.

Is there a better way to proof this?

Thanks. 95.115.169.61 (talk) 15:39, 21 March 2015 (UTC)

In case it's unclear, here's what the OP is describing. You have four points $a=(a_{0},a_{1}),b=(b_{0},b_{1}),c=(c_{0},c_{1})$ and $d=(d_{0},d_{1})$ and you want to determine whether or not d is inside the circle running through a, b and c, where "inside" means "on the left as you travel from a to b to c". The method is to consider the sign of the determinant of the following matrix:${\begin{bmatrix}d_{0}&d_{1}&|d|^{2}&1\\a_{0}&a_{1}&|a|^{2}&1\\b_{0}&b_{1}&|b|^{2}&1\\c_{0}&c_{1}&|c|^{2}&1\end{bmatrix}}$

Positive means outside, negative means inside, and 0 means on the circle. I'm afraid I can't explain why this works, though.--80.109.80.31 (talk) 17:47, 21 March 2015 (UTC)

Thank you for providing the long version of my question ;-) . I'm still a bit uneasy about that "inside/outside" versus "left/right". n points in n dimensions fix a sphere, and from that, inside and outside are quite unambiguous. The translation from the sign of the determinant to the inside/outside depends, of course, on the order of the points in question. 95.115.169.61 (talk) 19:38, 21 March 2015 (UTC)

(ec) There are two parts to this; first that the equation of the circle/sphere is given by the determinant, and second that the inside vs. outside is determined by the sign. The first part is (or should be) found in any good text on analytic geometry or even linear algebra. Perhaps what you're missing is that you don't need to expand the determinant into monomial; you just use the cofactor expansion. For dim=4, say, the firs row of the determinant is

|1 x y z w x²+y²+z²+w²|.

When you expand using cofactors you get an expression of the form

A+Bx+Cy+Dz+Ew+F(x²+y²+z²+w²)

where A, B, C, D, E, and F are determinants, but except for F it doesn't matter what they are. F is a determinant which is 0 if the points are on the same hyperplane and non-zero otherwise. There is no sphere if the points are on the same hyperplane, but if not then divide through by F to get the equation

A'+B'x+C'y+D'z+E'w+x²+y²+z²+w²=0

which is the equation of a sphere. That this sphere contains all the points in question can be shown by plugging the coordinates into the determinant; you get two rows the same which implies that the determinant is 0, so all the points lie on the sphere with the equation given.

"Inside" and "Outside" are topological concepts, so the second part a bit trickier, at least conceptually. I would think that in order to even state a theorem which works in any dimension you would need to know something about the orientation of a set of point. But suppose you've already shown that the set of points is positively oriented if F is positive and negatively oriented if F is negative, (Perhaps you could take that as the definition of orientation.) F if is positive then the polynomial

A+Bx+Cy+Dz+Ew+F(x²+y²+z²+w²)

approaches infinity as the point goes to infinity. You also know that the polynomial has a unique minimum point, and since there are multiple points where the value is 0, the minimum must be negative. That means the sphere divides space into two regions, one where the determinant is positive and which contains a neighborhood of infinity, and the other where the determinant is negative and which is bounded. Since the determinant is continuous, you can't move from the negative region to the positive region without being zero at some point, so the boundary between the two regions is the sphere. I think this would be enough to satisfy your definition of "inside" and "outside". If F is negative then swap two points to make if positive and proceed from there.

When you talk about the topology of space you may get into some difficulties proving things that seem intuitively obvious; see Jordan Curve Theorem as an example. So there may be a few points in the above argument which require more work if you want to be completely rigorous about it, but I don't want to turn this into a course on topology so a certain amount of hand waving is needed I think. --RDBury (talk) 18:01, 21 March 2015 (UTC)

Thank you, that hint about cofactors did much help. I'm not quite sure yet if I underestimate the problem that the inside can be mapped to one sign and the outside to the other. Obviously, the order of points will change the sign, but once the order is fixed, I feel there should be no problem showing that one side sticks to one sign and the other to the other. 95.115.169.61 (talk) 19:38, 21 March 2015 (UTC)

If I recall correctly, there are much simpler ways to prove an analog to the JCT if you restrict to circles/spheres. Part of what makes it hard to prove and requires all the winding numbers, etc is that JCT applies to any simple closed loop. Having to consider only spheres should (I think) make it much easier to prove that they have one inside and one outside. SemanticMantis (talk) 15:07, 23 March 2015 (UTC)

Followup question. From what I've gathered right now, the same trick would not work for other metrics. In other words, it is not possible (at least not in an obvious extension) to uses some determinate like this to decide if the "point d" is inside the simplex or bounding box given by the other points. Is this true, or is there any trick around? 95.115.169.61 (talk) 19:57, 21 March 2015 (UTC)

I don't see how the same trick would work with the examples you're giving, but I would think that determinants might be useful in some way. It seems like the same trick might be used with other families of curves though. For example ellipses of the form x²+2y²+ax+by+c = 0. --RDBury (talk) 13:31, 22 March 2015 (UTC)

March 24

Pauli Matrices

Defining a vector $\sigma _{i}$ for $i=0,1,2,3$ where $\sigma _{0}$ is the $2\times 2$ identity and the other elements are the pauli matrices. I believe there is a simple form for the rank-4 tensor given by $T_{ijkl}={\frac {1}{2}}\mathrm {tr} \left[\sigma _{i}\sigma _{j}\sigma _{k}\sigma _{l}\right]$ but I can't seem to find it. If anybody is able to point me in the right direction I would be quite grateful.

Since pinged, I could point out the first boxed eqn of Pauli matrices leads directly to, I think, $T_{ijkl}=\delta _{ij}\delta _{kl}-\delta _{ik}\delta _{jl}+\delta _{il}\delta _{jk}$, which appears to have the right symmetries. Cuzkatzimhut (talk) 13:38, 24 March 2015 (UTC)

I think this would be correct if the indices only cycle over $i=1,2,3$, but the inclusion of the identity as $\sigma _{0}$ makes things more complicated. — Preceding unsigned comment added by 128.40.61.82 (talk) 14:23, 24 March 2015 (UTC)

In a related question if there is similarly a closed form for the orthogonal matrix $O_{ij}={\frac {1}{2}}\mathrm {tr} \left[\sigma _{i}A\sigma _{j}A^{-1}\right]$ in terms of operations in the 4-space involving the vector $a_{i}={\frac {1}{2}}\mathrm {tr} \left[\sigma _{i}A\right]$ where $A$ is a general invertible complex $2\times 2$ matrix it would be very useful to know.

Thank you. — Preceding unsigned comment added by 128.40.61.82 (talk) 11:42, 24 March 2015 (UTC)

Hmm. I don't know, but I might know the right person to ping. YohanN7 (talk) 12:33, 24 March 2015 (UTC)

So, utilizing the above, you should first take out the inert determinant of A killed by the inverse A in your expression, and supplant it with −|a| the length of your 3-vector a, and the determinant of your now normalized A, which is thus now reduced to the mere Pauli vector a⋅σ. The inverse of A is just the similar Pauli vector with $a_{i}/a^{2}$ instead of $a_{i}$, and using the above expression, $O_{ij}=(-\delta _{ij}+2a_{i}a_{j}/a^{2})$ orthogonal, all right. Cuzkatzimhut (talk) 14:22, 24 March 2015 (UTC)

This I think is correct in the case that A is traceless.