Recent questions in Types Of Research Studies

Research MethodologyAnswered question

ra2lokBQ 2022-11-22

On the generalized Sierpinski space

In Sierpiński topology the open sets are linearly ordered by set inclusion, i.e. If $S=\{0,1\}$, then the Sierpiński topology on S is the collection $\{\varphi ,\{1\},\{0,1\}\}$ such that $\varphi \subset \{0\}\subset \{0,1\}$ we can generalize it by defining a topology analogous to Sierpiński topology with nested open sets on any arbitrary non-empty set as follows: Let X be a non-empty set and I a collection of some nested subsets of X indexed by a linearly ordered set $(\mathrm{\Lambda},\le )$ such that I always contains the void set $\varphi $ and the whole set X, i.e.

$I=\{\mathrm{\varnothing},{A}_{\lambda},X:{A}_{\lambda}\subset X,\lambda \in \mathrm{\Lambda}\}$

such that ${A}_{\mu}\subset {A}_{\nu}$ whenever $\mu \le \nu $.

Then it is easy to show that I qualifies as a topology on X.

My questions are:

(1) Is there a name for such a topology in general topology literature?

(2) Is there any research paper studying such type of compact, non-Hausdorff and connected chain topologies?

In Sierpiński topology the open sets are linearly ordered by set inclusion, i.e. If $S=\{0,1\}$, then the Sierpiński topology on S is the collection $\{\varphi ,\{1\},\{0,1\}\}$ such that $\varphi \subset \{0\}\subset \{0,1\}$ we can generalize it by defining a topology analogous to Sierpiński topology with nested open sets on any arbitrary non-empty set as follows: Let X be a non-empty set and I a collection of some nested subsets of X indexed by a linearly ordered set $(\mathrm{\Lambda},\le )$ such that I always contains the void set $\varphi $ and the whole set X, i.e.

$I=\{\mathrm{\varnothing},{A}_{\lambda},X:{A}_{\lambda}\subset X,\lambda \in \mathrm{\Lambda}\}$

such that ${A}_{\mu}\subset {A}_{\nu}$ whenever $\mu \le \nu $.

Then it is easy to show that I qualifies as a topology on X.

My questions are:

(1) Is there a name for such a topology in general topology literature?

(2) Is there any research paper studying such type of compact, non-Hausdorff and connected chain topologies?

Research MethodologyAnswered question

Ilnaus5 2022-09-22

Problem with complex eigenvalue in these Researches?

It's about a vibration model call Hoffmann with the equations of motion:

$\left[\begin{array}{cc}1& 0\\ 0& 1\end{array}\right]\left(\frac{\ddot{x}}{\ddot{y}}\right)+\left[\begin{array}{cc}2& 1-\mathrm{\Delta}\\ 1& 2\end{array}\right]\left(\frac{x}{y}\right)=0$

And then they calculated the complex eigenvalue:

${s}_{1,2}={\pm [2\pm \sqrt{1-\mathrm{\Delta}}]}^{\frac{1}{2}}$

I really don't undersatand how did they calculate this formula. Because i think the complex eigenvalue in this situation must be looked like this:

${s}_{1,2}=2\pm \sqrt{1-\mathrm{\Delta}}$

It's about a vibration model call Hoffmann with the equations of motion:

$\left[\begin{array}{cc}1& 0\\ 0& 1\end{array}\right]\left(\frac{\ddot{x}}{\ddot{y}}\right)+\left[\begin{array}{cc}2& 1-\mathrm{\Delta}\\ 1& 2\end{array}\right]\left(\frac{x}{y}\right)=0$

And then they calculated the complex eigenvalue:

${s}_{1,2}={\pm [2\pm \sqrt{1-\mathrm{\Delta}}]}^{\frac{1}{2}}$

I really don't undersatand how did they calculate this formula. Because i think the complex eigenvalue in this situation must be looked like this:

${s}_{1,2}=2\pm \sqrt{1-\mathrm{\Delta}}$

Research MethodologyOpen question

sondestiny120g 2022-08-16

New kind of identities?

I found a new kind of identities which are half logic and half algebraic while working on a proof of NP-completeness. They are like this:

$\frac{a+mb}{n+m}<\frac{a}{n}\phantom{\rule{thickmathspace}{0ex}}\u27fa\phantom{\rule{thickmathspace}{0ex}}b<\frac{a}{n}$

It's the first time, I encounter such an identity. It has the amusing and counter-intuitive property that the right member is not modified, but the two left members are not algebraically equivalents.

Can you tell me if you ever encountereed such identities before? These ones in particular? (There are 9 in total: equality, strict inequality or not, changing way if $n+m$ and m have same sign or not.) If not would you have suggestions for naming this kind of identities?

Moreover it would be interesting to know if there is a finite number of identities of this kind, an infinite number but recursively enumerable, etc.

I do not ask for a proof [!] but only whether somebody knows of a systematic treatment of equivalences of this kind in the literature.

Feel free to search one but let me a few months to search by myself. If I don't have any idea to prove it, I'll update my question to let you know anyone is welcome to publish on the subject.

Update 2013/07/26:

egreg definitely found the good idea behind these identities. Let me update my question as follows : Does there exist an identity of the type

$a?b\phantom{\rule{thickmathspace}{0ex}}\u27fa\phantom{\rule{thickmathspace}{0ex}}a?f(a,b)$

where f(a,b) is not a weighted mean of a and b (? may be =, <, >, <=, >=)?

Update 2013/07/30:

Thanks to zyx we now have a very simple way to construct an infinity of such identities. There remains a "few" questions:

Since it doesn't appear anyone know an article or a book that explicitely remarked these kind of identities as particular, would you have suggestions for naming this kind of identities? (Question A)

Are all such identities as zyx described (in the meaning $(b-a{)}^{n}\times \dots $)? (Question B) If not, are these identities recursively enumerable? (Question C)

What are the examples of such identities that are important, useful for demonstrating mathematical results? (Question D) We already know that these identities from weigthed means are useful. Do you have other examples from classical proofs? (Question D')

Note that the answer to question B is no if you change (or extend) the rules ;). For example on rings instead of fields and if the inequality may be strict or not in the same identity. As an example, if we take the ring 2Z of even integers, we have the identity

$b<a\phantom{\rule{thickmathspace}{0ex}}\u27fa\phantom{\rule{thickmathspace}{0ex}}(b-a{)}^{3}+8+a\le a.$

So far, I only had the following idea for naming this kind of identities: "semi-invariant identities". It shouldn't be hard to find a better name.

Update 2013/07/31 Clarification :

For now, I would like to answer the previous questions on fields only BUT the final word on these identities is out of reach. Why?

The broader framework I see for these identities is the framework of universal algebras. Given such an algebra $\mathcal{A}$ of domain A and two binary relations ${?}_{1}$ and ${?}_{2}$ on A such that ${?}_{1}$ and ${?}_{2}$ are orders or equivalence relations (yes, you can mix an equivalence relation and an order relation if you want but I have no idea if it could yield something interesting on some algebra), the idea is to study the identities that are as follows:

Let $n\in \mathbb{N}$, an n-${?}_{1}$-${?}_{2}$-semi-invariant identity on $\mathcal{A}$ is defined by three terms ${f}_{1}$, ${f}_{2}$, ${f}_{3}$ on $\mathcal{A}$ such that:

$\mathrm{\forall}({a}_{1},\dots ,{a}_{n})\in {A}^{n},{f}_{1}({a}_{1},\dots ,{a}_{n}){?}_{1}{f}_{2}({a}_{1},\dots ,{a}_{n})\phantom{\rule{thickmathspace}{0ex}}\u27fa\phantom{\rule{thickmathspace}{0ex}}{f}_{1}({a}_{1},\dots ,{a}_{n}){?}_{2}{f}_{3}({a}_{1},\dots ,{a}_{n})$

where ${f}_{2}$ and ${f}_{3}$ are not algebraically equivalents (as I noted in the original question).

Clearly, this is too broad to ask a question in this framework right now. These identities may be interesting on algebras used to construct graphs, etc. But not many people would see an interest in it or see what I'm talking about. I would like to see what can be useful with these identities on the most standard algebras (fields is a good starting point) and it could benefit to many people not only a few dozens of specialists of some particular research domain. Following part of zyx idea, one could go even further by considering arbitrary relations.

I found a new kind of identities which are half logic and half algebraic while working on a proof of NP-completeness. They are like this:

$\frac{a+mb}{n+m}<\frac{a}{n}\phantom{\rule{thickmathspace}{0ex}}\u27fa\phantom{\rule{thickmathspace}{0ex}}b<\frac{a}{n}$

It's the first time, I encounter such an identity. It has the amusing and counter-intuitive property that the right member is not modified, but the two left members are not algebraically equivalents.

Can you tell me if you ever encountereed such identities before? These ones in particular? (There are 9 in total: equality, strict inequality or not, changing way if $n+m$ and m have same sign or not.) If not would you have suggestions for naming this kind of identities?

Moreover it would be interesting to know if there is a finite number of identities of this kind, an infinite number but recursively enumerable, etc.

I do not ask for a proof [!] but only whether somebody knows of a systematic treatment of equivalences of this kind in the literature.

Feel free to search one but let me a few months to search by myself. If I don't have any idea to prove it, I'll update my question to let you know anyone is welcome to publish on the subject.

Update 2013/07/26:

egreg definitely found the good idea behind these identities. Let me update my question as follows : Does there exist an identity of the type

$a?b\phantom{\rule{thickmathspace}{0ex}}\u27fa\phantom{\rule{thickmathspace}{0ex}}a?f(a,b)$

where f(a,b) is not a weighted mean of a and b (? may be =, <, >, <=, >=)?

Update 2013/07/30:

Thanks to zyx we now have a very simple way to construct an infinity of such identities. There remains a "few" questions:

Since it doesn't appear anyone know an article or a book that explicitely remarked these kind of identities as particular, would you have suggestions for naming this kind of identities? (Question A)

Are all such identities as zyx described (in the meaning $(b-a{)}^{n}\times \dots $)? (Question B) If not, are these identities recursively enumerable? (Question C)

What are the examples of such identities that are important, useful for demonstrating mathematical results? (Question D) We already know that these identities from weigthed means are useful. Do you have other examples from classical proofs? (Question D')

Note that the answer to question B is no if you change (or extend) the rules ;). For example on rings instead of fields and if the inequality may be strict or not in the same identity. As an example, if we take the ring 2Z of even integers, we have the identity

$b<a\phantom{\rule{thickmathspace}{0ex}}\u27fa\phantom{\rule{thickmathspace}{0ex}}(b-a{)}^{3}+8+a\le a.$

So far, I only had the following idea for naming this kind of identities: "semi-invariant identities". It shouldn't be hard to find a better name.

Update 2013/07/31 Clarification :

For now, I would like to answer the previous questions on fields only BUT the final word on these identities is out of reach. Why?

The broader framework I see for these identities is the framework of universal algebras. Given such an algebra $\mathcal{A}$ of domain A and two binary relations ${?}_{1}$ and ${?}_{2}$ on A such that ${?}_{1}$ and ${?}_{2}$ are orders or equivalence relations (yes, you can mix an equivalence relation and an order relation if you want but I have no idea if it could yield something interesting on some algebra), the idea is to study the identities that are as follows:

Let $n\in \mathbb{N}$, an n-${?}_{1}$-${?}_{2}$-semi-invariant identity on $\mathcal{A}$ is defined by three terms ${f}_{1}$, ${f}_{2}$, ${f}_{3}$ on $\mathcal{A}$ such that:

$\mathrm{\forall}({a}_{1},\dots ,{a}_{n})\in {A}^{n},{f}_{1}({a}_{1},\dots ,{a}_{n}){?}_{1}{f}_{2}({a}_{1},\dots ,{a}_{n})\phantom{\rule{thickmathspace}{0ex}}\u27fa\phantom{\rule{thickmathspace}{0ex}}{f}_{1}({a}_{1},\dots ,{a}_{n}){?}_{2}{f}_{3}({a}_{1},\dots ,{a}_{n})$

where ${f}_{2}$ and ${f}_{3}$ are not algebraically equivalents (as I noted in the original question).

Clearly, this is too broad to ask a question in this framework right now. These identities may be interesting on algebras used to construct graphs, etc. But not many people would see an interest in it or see what I'm talking about. I would like to see what can be useful with these identities on the most standard algebras (fields is a good starting point) and it could benefit to many people not only a few dozens of specialists of some particular research domain. Following part of zyx idea, one could go even further by considering arbitrary relations.

Research MethodologyOpen question

empalhaviyt 2022-08-14

Linear multivariate recurrences with constant coefficients

In the theory of univariate linear recurrences with constant coefficients, there is a general method of solving initial value problems based on characteristic polynomials. I would like to ask, if any similar method is known for multivariate linear recurrences with constant coefficients. E.g., if there is a general method for solving recurrences like this:

$f(n+1,m+1)=2f(n+1,m)+3f(n,m)-f(n-1,m),\phantom{\rule{2em}{0ex}}f(n,0)=1,f(0,m)=m+2.$

Moreover, is their any method for solving recurrences in several variables, when the recurrence goes only by one of the variables? E.g., recurrences like this:

$f(n+1,m)=f(n,2m)+f(n-1,0),\phantom{\rule{2em}{0ex}}f(0,m)=m.$

This second question is equivalent to the question, if there is a method of solving infinite systems of linear univariate recurrences with constant coefficients. That is, using these optics, the second recurrence becomes ${f}_{m}(n+1)={f}_{2m}(n)+{f}_{0}(n-1),\phantom{\rule{2em}{0ex}}{f}_{m}(0)=m,\phantom{\rule{2em}{0ex}}m=0,1,\dots .$

I am not interested in a solution of any specific recurrence, but in solving such recurrences in general, or at least in finding out some of the properties of possible solutions. For instance, for univariate linear recurrences, each solution has a form ${c}_{1}{p}_{1}(n){z}_{1}^{n}+\dots +{c}_{k}{p}_{k}(n){z}_{k}^{n},$, where ${c}_{i}$'s are constants, ${p}_{i}$'s are polynomials and ${z}_{i}$'s are complex numbers. Does any similar property hold for some class of recurrences similar to what I have written?

I have been googling a lot, but have found only methods for some very special cases (in monographs on partial difference equations, etc.), but nothing general enough. I am not asking for a detailed explanation of any method, but references to the literature would be helpful. I don't know much about transforms (like discrete Fourier transform or z-transform), but I found certain hints that there could be a method based on these techniques. Is it possible to develop something general enough using transform, i.e., is the study of transforms worth an effort (in the context of solving these types of recurrences)? However, it seems to me that the generalization of the characteristic polynomial method (perhaps, some operator-theoretic approach) could lead to more general results. Has there been any research on this topic?

In the theory of univariate linear recurrences with constant coefficients, there is a general method of solving initial value problems based on characteristic polynomials. I would like to ask, if any similar method is known for multivariate linear recurrences with constant coefficients. E.g., if there is a general method for solving recurrences like this:

$f(n+1,m+1)=2f(n+1,m)+3f(n,m)-f(n-1,m),\phantom{\rule{2em}{0ex}}f(n,0)=1,f(0,m)=m+2.$

Moreover, is their any method for solving recurrences in several variables, when the recurrence goes only by one of the variables? E.g., recurrences like this:

$f(n+1,m)=f(n,2m)+f(n-1,0),\phantom{\rule{2em}{0ex}}f(0,m)=m.$

This second question is equivalent to the question, if there is a method of solving infinite systems of linear univariate recurrences with constant coefficients. That is, using these optics, the second recurrence becomes ${f}_{m}(n+1)={f}_{2m}(n)+{f}_{0}(n-1),\phantom{\rule{2em}{0ex}}{f}_{m}(0)=m,\phantom{\rule{2em}{0ex}}m=0,1,\dots .$

I am not interested in a solution of any specific recurrence, but in solving such recurrences in general, or at least in finding out some of the properties of possible solutions. For instance, for univariate linear recurrences, each solution has a form ${c}_{1}{p}_{1}(n){z}_{1}^{n}+\dots +{c}_{k}{p}_{k}(n){z}_{k}^{n},$, where ${c}_{i}$'s are constants, ${p}_{i}$'s are polynomials and ${z}_{i}$'s are complex numbers. Does any similar property hold for some class of recurrences similar to what I have written?

I have been googling a lot, but have found only methods for some very special cases (in monographs on partial difference equations, etc.), but nothing general enough. I am not asking for a detailed explanation of any method, but references to the literature would be helpful. I don't know much about transforms (like discrete Fourier transform or z-transform), but I found certain hints that there could be a method based on these techniques. Is it possible to develop something general enough using transform, i.e., is the study of transforms worth an effort (in the context of solving these types of recurrences)? However, it seems to me that the generalization of the characteristic polynomial method (perhaps, some operator-theoretic approach) could lead to more general results. Has there been any research on this topic?

Research MethodologyAnswered question

Rose Graves 2022-08-11

Is anybody researching "ternary" groups?

As someone who has an undergraduate education in mathematics, but didn't take it any further, I have often wondered something.

Of course mathematicians like to generalize ideas. i.e. it is often better to define and write proofs for a wider scope of objects than for a specific type of object. A kind of "paradox" if you will - the more general your ideas, often the deeper the proofs (quoting a professor).

Anyway I used to often wonder about group theory especially the idea of it being a set with a list of axioms and a binary function $a\cdot b=c$. But has anybody done research on tertiary (or is that trinary/ternary) groups? As in, the same definition of a group, but with a $\cdot (a,b,c)=d$ function.

Is there such a discipline? Perhaps it reduces to standard group theory or triviality and is provably of no interest. But since many results in Finite Groups are very difficult, notably the classification of simple groups, has anybody studied a way to generalize a group in such a way that a classification theorem becomes simpler? As a trite example: Algebra was pretty tricky before the study of imaginary numbers. Or to be even more trite: the Riemann $\zeta $ function wasn't doing much before it was extended to the whole complex plane.

EDIT: Just to expand what I mean. In standard groups there is an operation $\cdot :G\times G\to G$ I am asking about the case with an operation $\cdot :G\times G\times G\to G$

As someone who has an undergraduate education in mathematics, but didn't take it any further, I have often wondered something.

Of course mathematicians like to generalize ideas. i.e. it is often better to define and write proofs for a wider scope of objects than for a specific type of object. A kind of "paradox" if you will - the more general your ideas, often the deeper the proofs (quoting a professor).

Anyway I used to often wonder about group theory especially the idea of it being a set with a list of axioms and a binary function $a\cdot b=c$. But has anybody done research on tertiary (or is that trinary/ternary) groups? As in, the same definition of a group, but with a $\cdot (a,b,c)=d$ function.

Is there such a discipline? Perhaps it reduces to standard group theory or triviality and is provably of no interest. But since many results in Finite Groups are very difficult, notably the classification of simple groups, has anybody studied a way to generalize a group in such a way that a classification theorem becomes simpler? As a trite example: Algebra was pretty tricky before the study of imaginary numbers. Or to be even more trite: the Riemann $\zeta $ function wasn't doing much before it was extended to the whole complex plane.

EDIT: Just to expand what I mean. In standard groups there is an operation $\cdot :G\times G\to G$ I am asking about the case with an operation $\cdot :G\times G\times G\to G$

Research MethodologyAnswered question

musicbachv7 2022-08-10

How do I determine sample size for a test?

Say you have a die with n number of sides. Assume the die is weighted properly and each side has an equal chance of coming up. How do I determine the minimum number of rolls needed so that results show an equal distribution, within an expected margin of error?

I assume there is a formula for this, but I am not a math person, so I don't know what to look for. I have been searching online, but haven't found the right thing.

Say you have a die with n number of sides. Assume the die is weighted properly and each side has an equal chance of coming up. How do I determine the minimum number of rolls needed so that results show an equal distribution, within an expected margin of error?

I assume there is a formula for this, but I am not a math person, so I don't know what to look for. I have been searching online, but haven't found the right thing.

Research MethodologyAnswered question

Marco Hudson 2022-08-09

Study of an infinite product

During some research, I obtained the following convergent product ${P}_{a}(x):=\prod _{j=1}^{\mathrm{\infty}}\phantom{\rule{thinmathspace}{0ex}}\mathrm{cos}\left(\frac{x}{{j}^{a}}\right)\phantom{\rule{1em}{0ex}}(x\in \mathbb{R},a>1).$.

Considering how I got it, I know it's convergent and continuous at 0 (for any fixed a), but if I look at ${P}_{a}$ now, it doesn't seem so obvious for me.

Try: I showed that ${P}_{a}\in {L}^{1}(\mathbb{R})$, i.e. it is absolutely integrable on $\mathbb{R}$. Indeed, by using the linearization of the cosine function and the inequalities $\mathrm{ln}(1-y)\u2a7d-y$ (for any $y<1$) and $1-\mathrm{cos}\phantom{\rule{thinmathspace}{0ex}}z\u2a7e{z}^{2}/2$ (for any real z), we obtain

$\begin{array}{rcl}{P}_{a}(x{)}^{2}& =& \prod _{j=1}^{\mathrm{\infty}}(1-\frac{1-\mathrm{cos}(x\phantom{\rule{thinmathspace}{0ex}}{j}^{-a})}{2})\u2a7d\prod _{j>|x{|}^{1/a}}(1-\frac{1-\mathrm{cos}(x\phantom{\rule{thinmathspace}{0ex}}{j}^{-a})}{2})\u2a7d\mathrm{exp}(-C|x{|}^{1/a}),\end{array}$ for some absolute constant $C>0$. However, I have not been able to use this upper bound to prove continuity at 0 (via uniform convergence for example, if we can).

Question : I wanted to know how to study ${P}_{a}$ (e.g. its convergence and continuity at 0), if you think it has an other form "without product" (or other nice properties) and finally if anyone has already seen this type of product (in some references/articles), please.

During some research, I obtained the following convergent product ${P}_{a}(x):=\prod _{j=1}^{\mathrm{\infty}}\phantom{\rule{thinmathspace}{0ex}}\mathrm{cos}\left(\frac{x}{{j}^{a}}\right)\phantom{\rule{1em}{0ex}}(x\in \mathbb{R},a>1).$.

Considering how I got it, I know it's convergent and continuous at 0 (for any fixed a), but if I look at ${P}_{a}$ now, it doesn't seem so obvious for me.

Try: I showed that ${P}_{a}\in {L}^{1}(\mathbb{R})$, i.e. it is absolutely integrable on $\mathbb{R}$. Indeed, by using the linearization of the cosine function and the inequalities $\mathrm{ln}(1-y)\u2a7d-y$ (for any $y<1$) and $1-\mathrm{cos}\phantom{\rule{thinmathspace}{0ex}}z\u2a7e{z}^{2}/2$ (for any real z), we obtain

$\begin{array}{rcl}{P}_{a}(x{)}^{2}& =& \prod _{j=1}^{\mathrm{\infty}}(1-\frac{1-\mathrm{cos}(x\phantom{\rule{thinmathspace}{0ex}}{j}^{-a})}{2})\u2a7d\prod _{j>|x{|}^{1/a}}(1-\frac{1-\mathrm{cos}(x\phantom{\rule{thinmathspace}{0ex}}{j}^{-a})}{2})\u2a7d\mathrm{exp}(-C|x{|}^{1/a}),\end{array}$ for some absolute constant $C>0$. However, I have not been able to use this upper bound to prove continuity at 0 (via uniform convergence for example, if we can).

Question : I wanted to know how to study ${P}_{a}$ (e.g. its convergence and continuity at 0), if you think it has an other form "without product" (or other nice properties) and finally if anyone has already seen this type of product (in some references/articles), please.

Research MethodologyAnswered question

Shahida Akter2022-07-26

What is the probability that no more than four browsing customers will buy something during a specified hour?

Research MethodologyAnswered question

Nash Frank 2022-07-21

If I found that a series converges, how can I know to what number it's converging to?

I started learning series in calculus and I have trouble catching a basic concept. When I try to find if a series converges or diverges I have many ways to go about it. If I see that the series diverges than I stop there. If I see that the series converges than there is a number it's converging to right?

For example: $\sum \frac{2}{{n}^{3}+4}$. I do the limit comparison test with the series $\sum \frac{1}{{n}^{3}}$ and get a finite number 2. I know that $\sum \frac{1}{{n}^{3}}$ converges, so now I know that $\sum \frac{2}{{n}^{3}+4}$ converges also. How do I know to what number it converges to?

I started learning series in calculus and I have trouble catching a basic concept. When I try to find if a series converges or diverges I have many ways to go about it. If I see that the series diverges than I stop there. If I see that the series converges than there is a number it's converging to right?

For example: $\sum \frac{2}{{n}^{3}+4}$. I do the limit comparison test with the series $\sum \frac{1}{{n}^{3}}$ and get a finite number 2. I know that $\sum \frac{1}{{n}^{3}}$ converges, so now I know that $\sum \frac{2}{{n}^{3}+4}$ converges also. How do I know to what number it converges to?

Research MethodologyAnswered question

Tirimwb 2022-07-14

Probability of 1 billion monkeys typing a sentence if they type for 10 billion years

Suppose a billion monkeys type on word processors at a rate of 10 symbols per second. Assume that the word processors produce 27 symbols, namely, 26 letters of the English alphabet and a space. These monkeys type for 10 billion years. What is the probability that they can type the first sentence of Lincoln’s “Gettysburg Address”?

Four score and seven years ago our fathers brought forth on this continent a new nation conceived in liberty and dedicated to the proposition that all men are created equal.

Hint: Look up Boole’s inequality to provide an upper bound for the probability!

This is a homework question. I just want some pointers how to move forward from what I have done so far. Below I will explain my research so far.

First I calculated the probability of the monkey 1 typing the sentence (this question helped me do that); let's say that probability is p:

$P(\text{Monkey 1 types our sentence})=P({M}_{1})=p$

Now let's say that the monkeys are labeled ${M}_{1}$ to ${M}_{{10}^{9}}$, so given the hint in the question I calculated the upper bound for the probabilities of union of all $P({M}_{i})$ (the probability that i-th monkey types the sentence) using Boole's inequality.

Since $P({M}_{i})=P({M}_{1})=p$,

$P\left(\bigcup _{i}{M}_{i}\right)\le \sum _{i=1}^{{10}^{9}}P({M}_{i})=\sum ^{{10}^{9}}p={10}^{9}\phantom{\rule{thinmathspace}{0ex}}p$

Am I correct till this point? If yes, what can I do more in this question? I tried to study Bonferroni inequality for lower bounds but was unsuccessful to obtain a logical step. If not, how to approach the problem?

Suppose a billion monkeys type on word processors at a rate of 10 symbols per second. Assume that the word processors produce 27 symbols, namely, 26 letters of the English alphabet and a space. These monkeys type for 10 billion years. What is the probability that they can type the first sentence of Lincoln’s “Gettysburg Address”?

Four score and seven years ago our fathers brought forth on this continent a new nation conceived in liberty and dedicated to the proposition that all men are created equal.

Hint: Look up Boole’s inequality to provide an upper bound for the probability!

This is a homework question. I just want some pointers how to move forward from what I have done so far. Below I will explain my research so far.

First I calculated the probability of the monkey 1 typing the sentence (this question helped me do that); let's say that probability is p:

$P(\text{Monkey 1 types our sentence})=P({M}_{1})=p$

Now let's say that the monkeys are labeled ${M}_{1}$ to ${M}_{{10}^{9}}$, so given the hint in the question I calculated the upper bound for the probabilities of union of all $P({M}_{i})$ (the probability that i-th monkey types the sentence) using Boole's inequality.

Since $P({M}_{i})=P({M}_{1})=p$,

$P\left(\bigcup _{i}{M}_{i}\right)\le \sum _{i=1}^{{10}^{9}}P({M}_{i})=\sum ^{{10}^{9}}p={10}^{9}\phantom{\rule{thinmathspace}{0ex}}p$

Am I correct till this point? If yes, what can I do more in this question? I tried to study Bonferroni inequality for lower bounds but was unsuccessful to obtain a logical step. If not, how to approach the problem?

Research MethodologyAnswered question

Elianna Lawrence 2022-07-14

Calculating conditional probability given Poisson variable

I encountered a set of problems while studying statistics for research which I have combined to get a broader question. I want to know if this is a solvable problem with enough information specifically under what assumptions or approach.

Given that a minesweeper has encountered exactly 5 landmines in a particular 10 mile stretch, what is the probability that he will encounter exactly 6 landmines on the next 10 mile stretch. (Average number of landmines is 0.6 per mile in the 50 mile stretch)

I have figured that the approach involves finding out the Poisson probabilities of the discrete random variable with the combination of Bayes Conditional probability. But am stuck with proceeding on applying the Bayes rule. i.e $Pr(X=6\mid X=5)$.

I know that $Pr(X=5)={e}^{-6}{5}^{6}/5!.$ Here $\lambda =0.6\cdot 10$ and $X=5$) Similarly for $Pr(X=6)$. Is Bayes rule useful here: $P(Y\mid A)=Pr(A\mid Y)Pr(Y)/(Pr(A\mid Y)Pr(Y)+Pr(A\mid N)Pr(N))$?

Would appreciate any hints on proceeding with these types of formulations for broadening my understanding.

I encountered a set of problems while studying statistics for research which I have combined to get a broader question. I want to know if this is a solvable problem with enough information specifically under what assumptions or approach.

Given that a minesweeper has encountered exactly 5 landmines in a particular 10 mile stretch, what is the probability that he will encounter exactly 6 landmines on the next 10 mile stretch. (Average number of landmines is 0.6 per mile in the 50 mile stretch)

I have figured that the approach involves finding out the Poisson probabilities of the discrete random variable with the combination of Bayes Conditional probability. But am stuck with proceeding on applying the Bayes rule. i.e $Pr(X=6\mid X=5)$.

I know that $Pr(X=5)={e}^{-6}{5}^{6}/5!.$ Here $\lambda =0.6\cdot 10$ and $X=5$) Similarly for $Pr(X=6)$. Is Bayes rule useful here: $P(Y\mid A)=Pr(A\mid Y)Pr(Y)/(Pr(A\mid Y)Pr(Y)+Pr(A\mid N)Pr(N))$?

Would appreciate any hints on proceeding with these types of formulations for broadening my understanding.

Research studies are an essential part of understanding mathematics. Through the use of questions, equations, and answers, research studies help to build a better understanding of the subject. There are a variety of types of research studies to choose from, each designed to help students gain a better understanding of mathematics. Experimental research studies are designed to test mathematical theories and discover new ones. Descriptive research studies focus on analyzing and describing existing data. Analytical research studies use existing data to draw conclusions about mathematical theories. Theoretical research studies attempt to prove or disprove existing mathematical theories. All types of research studies are valuable tools in furthering the understanding of mathematics.