The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
2answers
155 views

Find the expansion of the exact solution (beyond Taylor)

In a paper by Kitagawa & Ueda Squeezed spin states they give an argument that the minimum variance in one-axis twisting Hamiltonian scales like $V_{min} \propto S^{-2/3}$. I will shortly describe ...
15
votes
1answer
2k views

Why do people use “formal calculation” to describe informal calculations?

Many times, I see the word formal being used to describe a calculation that is not rigorous. I would think that such calculations should rather be termed informal than formal. What is the explanation ...
1
vote
0answers
110 views

General procedure to find the determinant of an operator?

I want to learn to find the determinant of an operator. I am given an operator like $\Sigma _{\alpha\beta}=-k^2g_{\alpha\beta}+i\theta\epsilon_{\alpha\beta\gamma} k^\gamma$ $k^2=k^μk_μ$, $g^{αβ}$ ...
17
votes
3answers
909 views

Which way for reading the proofs?

I am a master student in mathematics. For me a large part of doing mathematics is thinking about, reading and verifying the proof of theorems that I find them in my field of study. I can do this ...
14
votes
2answers
773 views

What are the applications of operator algebras to other areas?

Question: What are the applications of operator algebras to other areas? More precisely, I would like to know the results in mathematical areas outside of operator algebras which were proved by ...
3
votes
1answer
467 views

Mathematics of Computer science and AI [closed]

Computer science and Artificial Intelligence have been fertile grounds for research for decades, not only for Engineers but particularly for Mathematicians. What kinds of Mathematics have emerged ...
2
votes
2answers
484 views

Popular books written by great mathematicians [closed]

I read: H. Poincare. Value of science F. Klein. Development of Mathematics in the 19th Century J.E. Littlewood. A Mathematicians Miscellany G.H. Hardy. A Mathematician’s Apology R. Courant, ...
6
votes
1answer
149 views

Compiling self-referential forms

Fix $1\leq d\in\mathbb{N}$ and set $D:=\{0,1,\ldots,d-1\}$. Consider the system of equations \begin{equation} x_i=c_i + \sum_{j\in D}\delta_{x_j,i} \end{equation} with $c_i\in D$ given and $x_i\in D$ ...
25
votes
5answers
2k views

Collaboration or acknowledgment?

This post is a sequel of: When should a supervisor be a co-author? This time the topic is about the interaction between two professional mathematicians (in particular junior-senior, but not ...
3
votes
1answer
97 views

Extension of an involutive automorphism

Suppose that $g$ is a complex semi-simple Lie algebra and $g'$ its reductive subalgebra. If $\tau$ is an involutive automorphism of $g'$, can $\tau$ be extended to an involutive automorphism of $g$ ...
2
votes
2answers
153 views

Websites for Math Shopping [closed]

I was wondering if anyone knows about good websites or stores to buy math related products. On etsy there are normal distribution plushes and famous mathematicians in coasters. However when I search ...
1
vote
2answers
153 views

iterative solution better than analytic solution? [closed]

My supervisor and I were discussing a specific optimisation problem this afternoon. To be simple: solve for $R$ in the equation $Rx=y$, where $x$, $y$ are made of samples in two difference ...
1
vote
1answer
213 views

Concept of synchronizability

This thread is about the concept of synchronizability. It's a concept I tried to formalize in its most general sense but without success. The goal of this thread is therefore to try to formalize it in ...
0
votes
1answer
167 views

How to solve $e^{f(x)} + a f(x) + bx = 0$ [closed]

How should determine solutions to equations of this form? $$e^{-f(x)} + b f(x) = ax$$ Here $f(x)>0$ is real valued. Also $a>0$, $b>0$.
8
votes
2answers
999 views

The impact of large cardinals in mathematics [closed]

What are the main applications of large cardinals in ordinary mathematics, and what is the philosophy behind using them. In particular: Question 1. What is the philosophy behind accepting large ...
5
votes
1answer
212 views

Constructing a function from preimages

This question was inspired by Can we build a continuous function from "fibers"/preimages defined over a topological base? Let $X,Y$ be sets and $L\subseteq \mathcal{P}(Y)$. Suppose $L$ has ...
-4
votes
1answer
94 views

geometry formula adjacent neighbour of a N dimensional cube [closed]

A question from a curious. How many adjacent N dimensional cube there is when they are regularly distributed on a "grid". By N dimensional cube I mean: a point is a OD cube a segment is a 1D cube ...
31
votes
6answers
2k views

Negative impact of wrong or non-rigorous proofs

The recent talks of Voevodsky (for example, http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/2014_IAS.pdf), which describe subtle errors in proofs by him as well as others, as well ...
6
votes
5answers
1k views

Proof or citation?

I'm writing an article. I suppose that I'll submit it to a more or less decent journal (in English). I have doubts about the following: I have a lemma (with quite a trivial proof). I don't want to ...
1
vote
0answers
316 views

Conjectures on fractions where each digit appears once in numerator and denominator

This is a highly redacted version of a question that was asked before. Please see Criteria of considering relevance of the question to the domain of research topics for details. Some numerical ...
7
votes
6answers
425 views

Do you have examples of such “transitive” elements?

(I've asked the same question at the MSE, so far with no answers, so I thought I'd try it here as well. If there's some clash with any site rules, please let me know and I'll abide.) Let $A$ be a set ...
6
votes
2answers
360 views

Are there any organized websites for seminar/conference videos?

These days, there are many conference centers and universities recording seminars and conference talks and make them available on the web. Some examples: http://www.fields.utoronto.ca/video-archive ...
52
votes
8answers
5k views

Have you solved problems in your sleep? [closed]

I have hit upon major (for me—relative to my trivial accomplishments) insights in my research in various sleep-deprived altered states of consciousness, e.g., long solo car-drives extending ...
2
votes
0answers
79 views

Jacobi triple product for multidimensional lattices

The Jacobi triple product identity gives as a special case a product formula for the theta function of a 1-dimensional lattice. Is there a more general product formula for the theta function of an ...
6
votes
1answer
413 views

Sources of Theorem drafts by the original author

When I look at first time to a theorem and I try to understand it or when I try to memorise a useful theorem I always have difficulties (I am not the only one. For example: I read a question: I always ...
-1
votes
1answer
245 views

What is an example of a non-axiomatic mathematical system? [closed]

In this wikipedia article on the foundations of mathematics, it says: In practice, most mathematicians ... do not work from axiomatic systems Is this correct? If so, what is an example of this?
33
votes
33answers
4k views

Structures that turn out to exhibit a symmetry even though their definition doesn't

Sometimes (often?) a structure depending on several parameters turns out to be symmetric w.r.t. interchanging two of the parameters, even though the definition gives a priori no clue of that symmetry. ...
2
votes
1answer
125 views

Talking about properties of “random” elements

I asked this in MSE but did not get a satisfying answer. I apologize in advance if this is not appropriate for MO. Suppose that we have some set X and we want to say that a "random" (or generic) ...
10
votes
5answers
677 views

Accessible proofs of contemporary results in mathematics

Are there strong results in contemporary mathematical research (last 20 years) which have a proof which every mathematician (holding a PhD) can completely understand within a few days? -- If yes, ...
3
votes
1answer
527 views

Equal signs with fancy marks

Some people use $\stackrel{\mathrm{def}}{=}$, $:=$ or $\stackrel{\Delta}{=}$ for definitions. In more informal contexts, I have also seen $\stackrel{?}{=}$, for "I wish to prove this equality, which ...
8
votes
3answers
627 views

Is there any monoid in which the product of two non-invertible elements could be invertible?

I think the title speaks for itself. Thus I just explain the story behind the question. Of course, you may want to skip the story. Story: Currently, I teach a course in linear algebra and matrices ...
27
votes
2answers
754 views

Applications of Lawvere's fixed point theorem

Lawvere's fixed point theorem states that in a cartesian closed category, if there is a morphism $A \to X^A$ which is point-surjective (meaning that $\hom(1,A) \to \hom(1,X^A)$ is surjective), then ...
1
vote
2answers
351 views

Can one branch of mathematics be completely learned from the perspective of another branch of mathematics? [closed]

This arose from a discussion with a friend (people involved are two engineers) who argued that every result in mathematics should be transformable into another branch. For example, he argued that ...
18
votes
5answers
692 views

Online high quality colloquium talks

In my department we're thinking about showing online lectures one day per week at lunch, as sort of a virtual colloquium appropriate to mathematics undergraduates as well as faculty. To start with ...
7
votes
2answers
879 views

How should you respond to a student who asks whether a very nice physical example constitutes a proof? [closed]

"Is this really a proof?" is the exact question e-mailed to me today from an undergraduate mathematics student whom I know as a highly competent student. The one sentence question was accompanied with ...
17
votes
3answers
2k views

Famous vacuously true statements

I am interested to know other examples vacuously true statements that are non-trivial. My starting example is Turan's result in regards to the Riemann hypothesis, which states Suppose that for each ...
13
votes
1answer
747 views

Relation between math and piano music

What, if any, is the relation between Cantor's function and Ligeti studio: Devil's Staircase?
11
votes
2answers
953 views

What might extraterrestrial mathematics look like? [closed]

In an extensive anthropological joint research project concerning the necessities in the development of life and civilisation my group is concerned with mathematics. This forum seems to be extremely ...
4
votes
5answers
291 views

procedure-based (as opposed to definition-based) concepts

Euler's work on divergent series was guided by computational procedures, rather than any definition of the "value" of such a series. E.g., he was happy to have half a dozen procedures that indicated ...
14
votes
5answers
581 views

Mathematics of privacy?

I wonder to which extent the current public debate on privacy issues (not only by state sniffing, but e.g. by microtargetting ads too an issue) offers interesting questions in mathematics? Can we ...
2
votes
4answers
1k views

When did you “meet Polya”? [closed]

I guess most of us didn't meet Polya in person (this is the answer to the title)! Perhaps, it is much easier to guess that most of us have met one of his writings (or alike) on problem solving, and ...
17
votes
3answers
2k views

What would remain of current mathematics without axiom of power set? [closed]

The power set of every infinite set is uncountable. An infinite set (as an element of the power set) cannot be defined by writing the infinite sequence of its elements but only by a finite formula. By ...
-6
votes
3answers
717 views

Where is the belly button of the Universe? [closed]

It's fine and nice and wonderful when a part of learning mathematics is chaotic, ad hoc, spontaneous, social, ... However it would be perhaps of fundamental value to know a very central point of ...
11
votes
2answers
749 views

Anything special (historical?) about surface $x\cdot y\cdot z\ +\ x+y+z=0$?

QUESTION I wanted to introduce and develop the complex logarithm from scratch. As the result I've arrived a couple of months ago at the following identity after which the road to complex logarithm is ...
25
votes
15answers
2k views

Objects which can't be defined without making choices but which end up independent of the choice

It happens a lot of times that when one defines a new object (ring, module, space, group, algebra, morphism, whatever) out of given data one first chooses some additional structure. And sometimes ...
39
votes
19answers
5k views

Are there proofs that you feel you did not “understand” for a long time?

Perhaps the "proofs" of ABC conjecture or newly released weak version of twin prime conjecture or alike readily come to your mind. These are not the proofs I am looking for. Indeed my question was ...
0
votes
2answers
230 views

link to a paper by Ramanujan

Hi friends, Does anybody know of a pdf version of the following paper ? Ramanujan, S. “Modular Equations and Approximations to Pi.” Quart. J. Pure Appl. Math. 45, 350-372, 1913-1914. It's ...
1
vote
0answers
101 views

Reference needed for: Automatic generation of relevant mathematical exercises (similar to ones written by human) with the help of machine learning

I am doing research on automatic generation of relevant mathematical exercises (similar to ones written by human) with the help of machine learning. I have found several research papers on ...
3
votes
2answers
265 views

Asymptotics of a function

I hope this question is not too simple, but I would like to know the asymptotic behaviour of the following function $f: \mathbb{N}^{+} \rightarrow \mathbb{Q}$ where $$ f(n) = \sum_{i=1}^{n} ...
6
votes
5answers
2k views

What does a mathematician expect from mathematics education? [closed]

Consider that my question is not a personal and/or subjective question. Perhaps, you have hired a mathematics educator in your department and you are interested in finding a way to communicate with ...