User alexander chervov - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T19:05:27Z http://mathoverflow.net/feeds/user/10446 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/109706/minimizing-ftx-infty-by-permutation-of-x-i-question-on-fourier-transform Minimizing |FT(X)|_{\infty} by permutation of X_i - question on Fourier transform related to engineering problem (peak factor of OFDM system) Alexander Chervov 2012-10-15T10:38:32Z 2013-05-13T22:22:00Z <p>Consider vector X =( X_1 ... X_N), consider the discrete Fourier transform $Y=F(X)$.</p> <p>I am interested to minimize $|Y|_{\infty}$, by permutation of numbers X_i, how to do it ?</p> <p>Here $|Y|_{\infty}$ is infinity norm of the vector Y i.e. just the maximum of absolute values of components of Y.</p> <hr> <p>More close to life problem is a little more complicated: my numbers X_i are splited at several subsequences such that |X|=const in each subsequence. And I am allowed to make "block" permutations of these subsequences. The goal is the same as to minimize $|Y|_{\infty}$</p> <hr> <p><strong>Background:</strong> roughly speaking the OFDM based ( = most advanced) radio telecommunication systems (LTE, WiMax, new WiFi) make the Fourier transform before transmitting data symbols to the space. Average power is fixed, but people care also about the maximal instant power, which they do not want to be big. Instant power is just the maximal component of the vector.</p> http://mathoverflow.net/questions/95125/applications-of-algebraic-geometry-commutative-algebra-to-biology-pharmacology Applications of algebraic geometry/commutative algebra to biology/pharmacology ? Alexander Chervov 2012-04-25T07:30:46Z 2013-05-12T05:34:25Z <p>Are there applications of algebraic geometry/commutative algebra to biology/pharmacology ?</p> <p>It might be that some Groebner basis technique is used somewhere ? I know there are some applications to robotics - in solving some complicated non-linear equations, may be something similar can happen in biology...</p> <p>PS</p> <p>related questions:</p> <p><a href="http://mathoverflow.net/questions/94907/applications-of-group-theory-to-math-biology-pharmacology" rel="nofollow">http://mathoverflow.net/questions/94907/applications-of-group-theory-to-math-biology-pharmacology</a></p> <p><a href="http://mathoverflow.net/questions/94840/any-applications-integrable-systems-pde-ode-q-to-math-biology-pharmakin" rel="nofollow">http://mathoverflow.net/questions/94840/any-applications-integrable-systems-pde-ode-q-to-math-biology-pharmakin</a></p> <p><a href="http://mathoverflow.net/questions/94931/graphical-models-and-gene-finding-and-diagnosis-of-diseases" rel="nofollow">http://mathoverflow.net/questions/94931/graphical-models-and-gene-finding-and-diagnosis-of-diseases</a></p> <p><a href="http://mathoverflow.net/questions/95065/applications-of-the-knot-theory-to-biology-pharmacology" rel="nofollow">http://mathoverflow.net/questions/95065/applications-of-the-knot-theory-to-biology-pharmacology</a></p> http://mathoverflow.net/questions/112715/why-when-classification-of-simple-objects-is-simple-e-g-unknown-classifica Why/when classification of simple objects is "simple" ? E.g. (unknown) classification of simple Lie algebras in char =2,3... Alexander Chervov 2012-11-17T20:19:12Z 2013-05-10T15:49:21Z <p>Classification of simple finite-dim Lie algebras for char >=5 has been accomplished not so long time ago, and char p=2,3 is open problem.</p> <p>I wonder what is known/expected for char p=2,3 ?</p> <p>More vague and soft question is the following - look at some famous classification problems: simple finite-dim Lie algebras, simple finite groups, some other things classified by ADE... We see the following pattern: there are some series of objects and finite number of "sporadic" objects. I.e. it never happens that there is infinite number of examples which are not in "series". So classification of simple objects is simple (in some very informal sense).</p> <p>The question: can we expect this in advance, without obtaining classification ? (What are other examples/counter examples of similar phenomenon ?).</p> <p>For example can we expect/prove this for simple Lie algs for char =2,3 ? I.e. there will be some finite number of series and finite number of "sporadic" examples ?</p> http://mathoverflow.net/questions/77434/convergence-speed-of-jacobi-eigenvalue-algorithm-for-parallel-orderingbrent-luk Convergence speed of Jacobi eigenvalue algorithm for parallel ordering(Brent-Luk) ? Alexander Chervov 2011-10-07T08:05:27Z 2013-05-03T13:22:00Z <p>Is there estimate for convergence of the Jacobi eigenvalue algorithm for Hermitian matrices for "parallel ordring" (Brent-Luk ordering (see comment below)) ?</p> <hr> <p>For example for 4 4 matrices parallel ordering is the following 1a) 12 1b) 34 2a) 23 2b) 14 3a) 13 3b) 24</p> <hr> <p>[EDIT] Moreover convergence itself is not known for such ordering even in 4x4 case. I have consulted with many experts in the field - it is not proved. Numerical simulations (checked more than 10^10 matrices of different form) shows that the convergence exists.</p> <p>There is certain subtlety in the definition of method. Which lead some authors to claim that there is NO convergence. But actually counter-example is not for "reasonable" implementation of details.</p> <p>The detail is the following consider 2x2 matrix such that diagonal elements are equal. Then the rotation can be either +45 either -45 - no unique choice. What the authors claim that if we have a freedom to choose +45 or -45 by our own wish, in each step where ambiguity occurs - then there will be counterexample ! However this counter-example does NOT work if we fix +45 (or -45) once and forever ! I.e. in the case of ambiguity we ALWAYS choose angle to be the same. Simulations shows - that than there is no problem.</p> <p>I spent about 2 weeks trying to prove this just in the 4x4 example - but I was unable to prove it. The difficulty is that we need to analyse about 3-4 sweeps. It can be shown that there always exists a matrix that can be arbitrary "BAD" after 1-2 sweeps...</p> <p>[END of EDIT on 21 Jan. 2012]</p> <hr> <p>As far as I can expect that there should be ultimate quadratic convergence [EDIT] actually as works of Walter F. Mascarenhas suggests their will be cubic ultimate convergence[EDIT] but I am interested at the first iteration - they should be at most linear convergence, but it is not clear for is there uniform convergence speed or there can be some matrices where convergence can be arbitrary bad ? (From simulation we see that probably there is NO bad examples - convergence seems rather fast, but there are certain difficulties in proving this theoretically).</p> <p>Actually even the convergence for arbirary ordering is not clear for me.</p> <p>Paper by Walter Mascarenhas:</p> <p>SIAM. J. Matrix Anal. &amp; Appl. 16, pp. 1197-1209 (13 pages) On the Convergence of the Jacobi Method for Arbitrary Orderings Walter F. Mascarenhas States only convergence of the diagonal elements. Non-diagonal elements may not converge, for some sophisticated orderings. He constructed examples in his PhD at MIT unpublished (private communication from him)</p> http://mathoverflow.net/questions/128997/mathematical-properties-of-financial-prices Mathematical properties of financial prices Alexander Chervov 2013-04-28T12:21:10Z 2013-04-30T03:54:50Z <p>Prices of financial assets (stock-market prices or currency exchange rates) obviously resemble trajectories of stochastic processes.</p> <p>What is known about their mathematical properties ? </p> <p>I know there is huge (too huge) literature (see e.g. <a href="http://mathoverflow.net/questions/119713/financial-mathematics-books" rel="nofollow">MO-Financial Mathematics Books</a>) around it, I am familiar with some ideas, like below, but would be grateful for any comments/suggestions.</p> <p>1) The individual distributions are better modelled by heavy-tailed distributions, rather than by normal distribution, reflecting that sometimes prices change heavily in short time periods. (See e.g. <a href="http://mathoverflow.net/questions/54007/is-there-any-straightforward-way-to-substitute-for-gaussian-brownian-assumptions" rel="nofollow">MO: Is there any straightforward way to substitute for Gaussian/Brownian assumptions in financial mathematics?</a>).</p> <p>2) To some extent they are similar to Brownian (log-Brownian) motion, more precisely the increments are independent at least at some time scales (which means that you cannot win money), (however there are other claims that short time increments are correlated). </p> <p>3) There are claims that fractal (Hausdorff ) dimension is near to 1.5 (the same as for Brownian motion). </p> http://mathoverflow.net/questions/127010/classification-for-coadjoint-orbits-of-lower-or-upper-triangular-matrices/127064#127064 Answer by Alexander Chervov for classification for coadjoint orbits of lower or upper triangular matrices Alexander Chervov 2013-04-10T09:14:56Z 2013-04-10T09:14:56Z <p>Let me first say, that I am not an expert, but was interested in the same question recently, so I would also be happy if someone provides more info on the question. Let me collect some facts, which I know.</p> <p>1) As far as I understand the general classification of orbits is in certain sense "wild" problem. </p> <p>2) Classification up to n=7 can found in <a href="http://arxiv.org/abs/math/0603649" rel="nofollow">Coadjoint orbits of the group $UT(7,K)$ (2006) </a>, further papers by A.Panov and his students give partial results on general $n$, e.g. these ones <a href="http://arxiv.org/abs/0801.3022" rel="nofollow">Involutions in $S_n$ and associated coadjoint orbits</a> <a href="http://arxiv.org/abs/0902.4584" rel="nofollow">Diagram method in research on coadjoint orbits (2009) </a></p> <p>3) There is a lots of recents studies which are "related" to the question. Especially in the case of ground field is finite. In such a case people are greatly interested in understanding representation theory of U(n,F_q) and in particular of the "orbit method" approach to it, and hence in coadjoint orbits. See some comments at mathoverflow question: <a href="http://mathoverflow.net/questions/126932/finite-unipotent-groups-references/126982#126982" rel="nofollow">Finite Unipotent Groups: References</a>. </p> <p>4) If you restrict to ground field to be finite, then it is worth to mention several facts: a) number of adjoint and coadjoint orbits is the same b) it is the same with the number of conjugacy classes in the group c) hence the same as number of irreps d) it is related to interesting combinatorics, see e.g. paper by <a href="http://www.emis.ams.org/journals/SC/1997/2/pdf/smf_sem-cong_2_35-42.pdf" rel="nofollow">A.A. Kirillov, A. Melnikov On a Remarkable Sequence of Polynomials</a> and other papers by these and other authors. </p> <p>For the finite field, these MO questions, related: <a href="http://mathoverflow.net/questions/126932/finite-unipotent-groups-references/126982#126982" rel="nofollow">Finite Unipotent Groups: References</a>, <a href="http://mathoverflow.net/questions/106521/representation-theory-of-p-groups-in-particular-upper-tringular-matrices-over-f-p" rel="nofollow">Representation theory of p-groups in particular upper tringular matrices over F_p</a> <a href="http://mathoverflow.net/questions/68207/irreducible-representations-of-the-unitriangular-group" rel="nofollow">Irreducible representations of the unitriangular group</a>.</p> http://mathoverflow.net/questions/126932/finite-unipotent-groups-references/126982#126982 Answer by Alexander Chervov for Finite Unipotent Groups: References Alexander Chervov 2013-04-09T14:03:06Z 2013-04-09T14:09:33Z <p>I guess U(n,F_q) - upper triangular matrices over F_q. I am not an expert in the field, but was recently interested in similar question, so I'll put these remarks.</p> <p>There is certain amount of quite recent works related to representations of U(n,F_q) and some "big names" involved. There are certain conjectures which are easy to state, but hard to prove, and some more conceptual problems and recent breakthroughs.</p> <p>One of the origins of the modern interest are papers by A.A. Kirillov (1995-2005), e.g. <a href="http://books.google.ru/books?hl=ru&amp;lr=&amp;id=FmtztRqFps0C&amp;oi=fnd&amp;pg=PA43&amp;dq=Kirillov+variation+on+triangular+theme&amp;ots=jIWQOzr99R&amp;sig=2POfCy5i9KPqOd2Yrh_Ds_RNKgg&amp;redir_esc=y#v=onepage&amp;q=Kirillov%2520variation%2520on%2520triangular%2520theme&amp;f=false" rel="nofollow">Variation on a triangular theme</a>, <a href="http://link.springer.com/chapter/10.1007/978-1-4612-0029-1_11" rel="nofollow">Two more variations on a triangular theme</a>, where he considered a question whether the "orbit method" can be extended to finite Lie groups such as U(n,F_q). (Originally (60-ies) A.A. Kirillov proposed "orbit method" for Lie groups over R, and U(n,R) where the first groups where he demonstrated its work).</p> <p>Kirillov's papers are always pleasure to read, he puts the accent not on technical details, but on new ideas, problems and insighting observations. The moral that in certain cases "orbit method" can be applied, but there some problems, which are deserved to be further studied to achieve further progress. See e.g. Vipul Naik's site, where one can find lots of interesting and understandable information, worked out examples and further references: <a href="http://groupprops.subwiki.org/wiki/Linear_representation_theory_of_unitriangular_matrix_group%3AUT%283,p%29" rel="nofollow">orbit method for U(3,p)</a>, <a href="http://groupprops.subwiki.org/wiki/Kirillov_orbit_method_for_finite_Lazard_Lie_group" rel="nofollow">orbit method for finite Lazard groups</a>.</p> <hr> <p>One of the major breakthroughs in the subject is an idea of "supercharacters". Let me quote from <a href="http://math.ucsd.edu/~eariasca/papers/UniRW.pdf" rel="nofollow">E. Arias-Castro P. Diaconis R. Stanley</a></p> <blockquote> <p>The character theory of U(n,F_q) is a well known nightmare. In recent work, Carlos Andre, Roger Carter and Ning Yan have developed a theory based on certain unions of conjugacy classes (here called super-classes) and sums of irreducible characters (here called super-characters). </p> </blockquote> <p>The main point is that "classification of characters" is to certain extent "wild" problem, while "supercharacters" are quite manageable to classify. </p> <p>See more comments in <a href="http://mathoverflow.net/questions/68207/irreducible-representations-of-the-unitriangular-group" rel="nofollow">MO question- "Irreducible representations of the unitriangular group" </a>.</p> <hr> <p>Let me also quote from F. Ladisch answer on <a href="http://mathoverflow.net/questions/106521/representation-theory-of-p-groups-in-particular-upper-tringular-matrices-over-f-p" rel="nofollow">MO question - "Representation theory of p-groups in particular upper triangular matrices over F_p"</a></p> <blockquote> <p>There are, by now, many papers about the character theory of the upper triangular group and related topics, which is in part motivated by Higman's conjecture that for every n, the number of conjugacy classes of Un(Fq) is a polynomial in q with integer coefficients.</p> </blockquote> <hr> <p>Let me also mention <a href="http://mathoverflow.net/questions/39606" rel="nofollow">"23 page article with 28 authors :)"</a> which is devoted to the subject: <a href="http://arxiv.org/abs/1009.4134" rel="nofollow">Supercharacters, symmetric functions in noncommuting variables, and related Hopf algebras</a></p> http://mathoverflow.net/questions/125840/a-direct-proof-of-the-harer-zagier-recursion-enumerating-the-ways-to-paste-a-2n-g/125847#125847 Answer by Alexander Chervov for A direct proof of the Harer-Zagier recursion enumerating the ways to paste a 2n-gon to get a genus g surface? Alexander Chervov 2013-03-28T18:38:17Z 2013-03-30T00:30:22Z <p><a href="http://arxiv.org/abs/0712.2448" rel="nofollow">http://arxiv.org/abs/0712.2448</a></p> <p>Gluing of Surfaces with Polygonal Boundaries E. T. Akhmedov, Sh. Shakirov</p> <p>By pairwise gluing of edges of a polygon, o produces two-dimensional surfaces with handles and boundaries. In this paper, we count the number ${\cal N}_{g,L}(n_1, n_2, n_L)$ of different ways to produce a surfac of given genus $g$ with $L$ polygonal boundaries with given numbers of edges $n_1, n_2, >..., n_L$. Using combinatorial relations between graphs on real two-dimensional surfaces, we derive recursive relations between $\cal N_{g,L}$. We show that Harer-Zagier numbers appear as a particular case of ${\cal N}_{g,L}$ and deriv a new explicit expression for them. Comments: 7 pages, 9 figures</p> <p>It seems proposes quite elementary proof. The key idea that they found some generalization which is more easy to prove.</p> http://mathoverflow.net/questions/110855/product-of-conjugacy-classes-is-there-an-analog-of-tanaka-krein-reconstruction Product of conjugacy classes - is there an analog of Tanaka-Krein reconstruction ? Alexander Chervov 2012-10-27T20:31:16Z 2013-03-20T12:02:17Z <p>Consider a finite group G. The product of conjugacy classes can be defined in natural way just by multiplying the representatives and counting multiplicities (see e.g. <a href="http://mathoverflow.net/questions/62088/products-of-conjugacy-classes-in-s-n" rel="nofollow">MO 62088</a>). So we get ring with a basis and structure constants are natural numbers. Similar to what one has for product of irreps. There are many analogies between conjugacy classes and irreps in particular see <a href="http://journals.cambridge.org/action/displayFulltext?type=1&amp;fid=3077776&amp;jid=PEM&amp;volumeId=30&amp;issueId=01&amp;aid=3077768&amp;bodyId=&amp;membershipNumber=&amp;societyETOCSession=" rel="nofollow">this article</a>.</p> <p>Tanaka-Krein duality states that group can be reconstructed from the tensor category of its representations which is semisimple for finite groups, and hence carries the same information as ring + basis of irreps.</p> <p><strong>Question:</strong> Can one reconstruct a group having (ring + basis) made of conjugacy classes ?</p> <p>If not - what partial information (e.g. character table) one can get ? </p> <hr> <p><strong>Question:</strong> Is there any relation between this ring and ring of irreps of the same group ? or may be some other group ?</p> <p>(Remark. For abelian group they are isomorphic.)</p> <p><strong>Question:</strong> Are there any further analogies between ring of irreps and conjugacy classes except mentioned in the paper cited above ?</p> http://mathoverflow.net/questions/123796/role-of-applications-in-modern-mathematics Role of applications in modern mathematics Alexander Chervov 2013-03-06T18:12:13Z 2013-03-07T13:11:42Z <p>Older days scientists were universalists and philosophy, physics and mathematics were a part the same question - understanding the world. Nowadays one may get feeling that the role of applications in development of modern mathematics is negligible - of course it depends on the field. And aim of the question is to get different opinions from different points of view. </p> <p><strong>Question 1</strong> What is the role of applications in modern mathematics ?</p> <p><strong>Question 2</strong> Different countries have different mechanisms to stimulate interaction between mathematics and applications - what are these mechanisms and what are their advantages and disadvantages ? </p> <p><strong>Question 3 (for pure mathematicians)</strong> What is your personal stance on applications ? Is it out of your scope of interests or you are have (trying to have) some contact with applications ?</p> http://mathoverflow.net/questions/101169/not-especially-famous-long-open-problems-which-higher-mathematics-beginners-can/101180#101180 Answer by Alexander Chervov for Not especially famous, long-open problems which higher mathematics beginners can understand Alexander Chervov 2012-07-02T21:04:50Z 2013-02-22T07:31:33Z <p>The <strong>Hot spot conjecture</strong> The conjecture seems quite amazing and simple to formulate, it can be even understood by persons "from the street" seems its prediction can be tested experimentally. It is a subject of <a href="http://michaelnielsen.org/polymath1/index.php?title=The_hot_spots_conjecture" rel="nofollow">"polymath project 7"</a>. Let me quote:</p> <blockquote> <p>The hotspots conjecture can be expressed in simple English as:</p> <p><strong>Suppose a flat piece of metal, represented by a two-dimensional bounded connected domain, is given an initial heat distribution which then flows throughout the metal. Assuming the metal is insulated (i.e. no heat escapes from the piece of metal), then given enough time, the hottest point on the metal will lie on its boundary.</strong></p> <p>In mathematical terms, we consider a two-dimensional bounded connected domain D and let u(x,t) (the heat at point x at time t) satisfy the heat equation with Neumann boundary conditions. We then conjecture that</p> <p><strong>For sufficiently large t > 0, u(x,t) achieves its maximum on the boundary of D</strong></p> <p>This conjecture has been proven for some domains and proven to be false for others. In particular it has been proven to be true for obtuse and right triangles, but the case of an acute triangle remains open. The proposal is that we prove the Hot Spots conjecture for acute triangles! Note: strictly speaking, the conjecture is only believed to hold for generic solutions to the heat equation. As such, the conjecture is then equivalent to the assertion that the generic eigenvectors of the second eigenvalue of the Laplacian attain their maximum on the boundary. A stronger version of the conjecture asserts that</p> <p>For all non-equilateral acute triangles, the second Neumann eigenvalue is simple; and The second Neumann eigenfunction attains its extrema only at the boundary of the triangle.</p> <p>(In fact, it appears numerically that for acute triangles, the second eigenfunction only attains its maximum on the vertices of the longest side.)</p> </blockquote> <p>==========================================================</p> <p>May be this problem can be mentioned when teaching determinants and in particular: </p> <p>$\det(AB)= \det(A)\det(B).$</p> <p>There are so-called <a href="http://en.wikipedia.org/wiki/Capelli%27s_identity" rel="nofollow">Capelli identities</a> which generalize this formula for specific matrices with non-commutative entries. In the paper <a href="http://arxiv.org/abs/0809.3516" rel="nofollow">Noncommutative determinants, Cauchy-Binet formulae, and Capelli-type identities</a> by Sergio Caracciolo, Andrea Sportiello, Alan D. Sokal they formulate certain conjectures of the type $$\det(A)\det(B)=\det(AB+\text{correction})$$ on the page 36 (bottom), conjectures 5.1, 5.2.</p> <p>I think these are quite non-trivial, but probably some smart young mathematician may solve them, given some amount of time (some months may be). I spent some amount of time thinking on them without success, and moreover let me mention that D. Zeileberger and D. Foata also failed to find a combinatorial proof of the Capelli identity of very similar type -- the one proved by Kostant-Sahi and Howe-Umeda -- see their comments in <a href="http://arxiv.org/abs/math/9309212" rel="nofollow">Combinatorial Proofs of Capelli's and Turnbull's Identities from Classical Invariant Theory</a> page 9 bottom: "Although we are unable to prove the above identity combinatorially ... ". So words above are some idications of non-triviality of the conjectures.</p> <p>Personally I am quite interested in a proof, probably it can give clue for further generalizations.</p> http://mathoverflow.net/questions/121871/algorithm-to-solve-sokoban-like-game-on-graphs-move-chips-from-one-set-of-verti Algorithm to solve Sokoban-like game on graphs - move chips from one set of vertices to another Alexander Chervov 2013-02-15T07:03:37Z 2013-02-20T22:30:37Z <p>The question is close to the <a href="http://en.wikipedia.org/wiki/Sokoban" rel="nofollow">Sokoban</a> game (thanks to Dima Pasechnik !), but a little different in details.</p> <p>Consider a directed graph (multi-graph). Consider some set of marked chips (chip1, chipe2,..., chipM). Put chips on some set of vertices 'Init1','Init2','Init3'... And consider some other set of vertices 'Final1','Final2',..., 'FinalM'.</p> <p><strong>Question</strong> Propose an "efficient" algorithm which will determine is it possible to "MOVE" chips from positions "InitNN" to positions 'FinalNN'.</p> <p>Where we are allowed to "MOVE" chip from a vertex to an outgoing edge and from incoming edge to corresponding vertex. With the CONSTRAINT that two chips are NOT allowed to be at the same place. One move - moves only ONE chip. ChipK should go to position FinalK - same "K".</p> <p><strong>Question</strong> There can be many approaches to solve the problem, I am interested in analysis their complexity. Any ideas are welcome. For example if graph is "random" in certain sense what can be the algorithm the least average complexity ? </p> <p>Where complexity is counted in number of operations (write a C-code (I actually wrote a Matlab code), compile to and calculate the number of cycles - this is well-defined complexity measure, different compilers and CPU will give approximately same result). </p> <p><strong>Example of algorithm</strong> It seems the simplest way to solve a problem is the following. Essentially it can be reduced to determining where two vertices are connected in some bigger graph, which in turn can be solved by "breadth-first search" ("wave algorithm" in Russian) (I mean let us enumerate all possible chip configurations - it will give vertices of the "new graph". Let us connect two vertices (configurations) if there is a "MOVE" which goes form one to another.) By "breadth-first search" ("wave algorithm" in Russian) I mean the following - take an initial vertex and find all connected to it; next step find all vertices connected to vertices found on the previous step; and so on....</p> <p><strong>Question</strong> What about efficiency of this algorithm ? Can one propose better ?</p> http://mathoverflow.net/questions/101644/fiction-books-about-mathematicians Fiction books about mathematicians? Alexander Chervov 2012-07-08T11:16:59Z 2013-02-19T13:38:40Z <p>What are some fiction books about mathematicians? </p> <p>It seems to me rather difficult for writers to create good books on this subject. Some years ago I thought there were no such books at all. There are many reasons: it is difficult to describe the process of discovery and describe it in the exciting way. The subject has narrow audience and not the way to make best-seller...</p> <p>Comments on how authors try to avoid these problems are also welcome. The movie "A Beautiful Mind" is a (beautiful for me) example, where the story of mathematician was mixed with love and spy stories to make it interesting for general audience, well not so much preserved from mathematician's story, but nevertheless I am quite positive about it.</p> <p>Here is a related MO question:</p> <p><a href="http://mathoverflow.net/questions/77279/movies-about-mathematics-mathematicians-closed" rel="nofollow">Movies about mathematics mathematicians</a></p> http://mathoverflow.net/questions/122180/lie-algebra-embeddings-and-the-center-of-their-enveloping-algrabras/122212#122212 Answer by Alexander Chervov for Lie algebra embeddings and the center of their enveloping algrabras Alexander Chervov 2013-02-18T18:45:11Z 2013-02-18T18:45:11Z <p>Take a look at "Shifted Schur Functions"</p> <p>Andrei Okounkov, Grigori Olshanski <a href="http://arxiv.org/abs/q-alg/9605042" rel="nofollow">http://arxiv.org/abs/q-alg/9605042</a></p> <p>Section 10: "Coherence property of quantum immanants and shifted Schur polynomials"</p> <p>In particular formulas 10.4, 10.5 - they discuss "averaging operators" Z(U(gl(n)) -> ZU(gl(N)) , n &lt; N</p> <p>and later prove certain "good" (coherence) property of special generators of the centers Z(U(gl(k)) which has been studied by the authors and M. Nazarov.</p> <p>Hope this helps...</p> <p>What is very interesting for me personally - is try to generalize such things to the case of loop algebras Z(U(\hat gl)). Here certain "good" elements of the centers has been constructed by <a href="http://arxiv.org/abs/0711.2236" rel="nofollow">Talalaev's formula</a>, it is natural to expect that Okounkov-Olshanski-... story can be generalized to loop algebra case</p> http://mathoverflow.net/questions/121162/math-behind-databases-management-and-sql Math behind databases management and SQL ? Alexander Chervov 2013-02-08T08:32:34Z 2013-02-18T17:53:27Z <p>Are there some mathematical theories/theorems/... behind modern development of database management systems and in particular of <a href="http://en.wikipedia.org/wiki/SQL" rel="nofollow">SQL</a> ?</p> <p>I am refreshing my knowledge of these things which are quite down-to-earth "how to use" (create table ..., insert..., select * from ...), but I think some deeper understanding what is behind would be helpful. </p> <p>In particular in Wikipedia one may find some relations with 3-valued logic: </p> <blockquote> <p>Along with True and False, the Unknown resulting from direct comparisons with Null thus brings a fragment of three-valued logic to SQL. The truth tables SQL uses for AND, OR, and NOT correspond to a common fragment of the Kleene and Lukasiewicz three-valued logic (which differ in their definition of implication, however SQL defines no such operation).</p> </blockquote> <p>But it is not very clear for me what it means and how deep it is ?</p> http://mathoverflow.net/questions/122071/construction-of-one-graph-from-another-known-sokoban-graph-chips-configur Construction of one graph from another - known ? ("Sokoban graph", chips configurations) Alexander Chervov 2013-02-17T15:40:20Z 2013-02-17T15:40:20Z <p>Consider a [directed] graph and natural number "m". Let us construct new [directed] graph[s] from it as follows. There is one idea behind the construction, but one can play with details and get several constructions. </p> <p><strong>Vertices of new graph</strong> - all possible configurations of "m" ([non]-marked) chips on vertices (edges) of original graph [with/without] constraint that two chips should be in different positions.</p> <p><strong>Edge of new graph</strong> - two vertices are connected if one configuration of chips can be obtained from another in one "MOVE".</p> <p>Where by "MOVE" I mean that we can move ONE chip from vertex of original graph to neighboring (edge)-vertex of original graph.</p> <p><strong>Question</strong> Is this construction(s) well-known ? what is name/refrence ? How properties of the original graph are related to the one of the new graph ? </p> <p><strong>Motivation:</strong> Such graph appears if one thinks on the question: </p> <p><a href="http://mathoverflow.net/questions/121871/algorithm-to-solve-sokoban-like-game-on-graphs-move-chips-from-one-set-of-verti" rel="nofollow">http://mathoverflow.net/questions/121871/algorithm-to-solve-sokoban-like-game-on-graphs-move-chips-from-one-set-of-verti</a></p> <p>The solution to question above is related considering the construction above and searching if two vertices of the new graph are connected. </p> <p>Roland Bacher in his answer describes similar idea which is directly related to sokoban game.</p> <p>See also: </p> <p><a href="http://mathoverflow.net/questions/122058/path-search-algorithms-on-graphs" rel="nofollow">http://mathoverflow.net/questions/122058/path-search-algorithms-on-graphs</a></p> http://mathoverflow.net/questions/122058/path-search-algorithms-on-graphs Path search algorithms on graphs Alexander Chervov 2013-02-17T12:46:40Z 2013-02-17T12:46:40Z <p>Consider a directed graph and two vertices on it. I need to determine is there a path between them. There is a "breadth-first search" ("wave algorithm" in Russian) algorithm (see description below).</p> <p><strong>Question</strong> What are the alternatives and is it known what kind of algorithm has less complexity on some specific types of graphs, e.g. random graphs, "sokoban-graphs" (see below) ?</p> <p>Roughly speaking breadth-first algorithm - look at ALL paths outgoing from "A" of length 1, next step of length 2, next step length 3, ...</p> <p>It has clear intuitive disadvantage if graph is "very connected" - we are looking for too many "short paths" - it would be better to take one "long path" which goes from vertex "A" "somewhere near" to destination "B", and then find path from "somewhere nearby B" to "B" by "breadth-first" search. Of course, here we should somehow be able to explain what means "somewhere near" and propose a strategy to find a path from "A" to it. For some classes of graphs - <a href="http://en.wikipedia.org/wiki/Convolutional_code#Trellis_diagram" rel="nofollow">"trellis graphs"</a> this is clear what means, I do not know in general. </p> <p><strong>Motivation</strong> comes from the question </p> <p><a href="http://mathoverflow.net/questions/121871/algorithm-to-solve-sokoban-like-game-on-graphs-move-chips-from-one-set-of-verti" rel="nofollow">http://mathoverflow.net/questions/121871/algorithm-to-solve-sokoban-like-game-on-graphs-move-chips-from-one-set-of-verti</a></p> <p>The problem about chip movement or sokaban like problem can be reduced to the question of existence of the path between the two vertexes. However the graph appearing here is quite specific - vertices of the "big-new-graph" are configurations of chips on the original graph and they are connected if there is a "MOVE" from one configuration to another. </p> <p>So taking these specific properties of that graph what algorithm should one use to settle the path existence problem. </p> http://mathoverflow.net/questions/120612/trichotomies-in-mathematics/121505#121505 Answer by Alexander Chervov for Trichotomies in mathematics Alexander Chervov 2013-02-11T17:07:44Z 2013-02-11T17:07:44Z <p>Let me point out that Vladimir Arnold was quite interested in similar question. He called subj. "mathematical trinities", see e.g. his paper <a href="http://www.maths.ed.ac.uk/~aar/papers/arnold4.pdf" rel="nofollow">"Symplectization, Complexification and Mathematical Trinities"</a>. As far as I remember from his lectures, his ideas were that many of these "trinities" are actually related to each other; and he also considered subj. as a tool to invent to theories: see question marks at already cited "Arnold's table": <a href="http://concretenonsense.files.wordpress.com/2008/11/arnoldtable.jpg" rel="nofollow">jpg</a>.</p> <hr> <p>Let me also mention some "trinities" which occur in my own research related to <a href="http://en.wikipedia.org/wiki/Capelli%27s_identity" rel="nofollow">Capelli identities</a> (which are some non-commutative analogs of det(AB)=det(A)det(B) ).</p> <p>Matrix trinity - a) generic b) symmetric c) antisymmetric</p> <p>Here how it goes in Capelli (and related Cayley) identities: </p> <p>a) generic matrices - original Capelli identity has been discovered by Capelli in 19-th century - it is for "generic matrices" $A=x_{ij}$ $B = \partial_{ji}$ </p> <p>b) <a href="http://en.wikipedia.org/wiki/Capelli%27s_identity#Turnbull.27s_identity_for_symmetric_matrices" rel="nofollow">symmetric matrices - analog of the Capelli identity</a> has been discovered by Turnbull around 1940-ies - here $A=(x_{ij}+x_{ji})$ $B= \partial_{ji} + \partial_{ij}$.</p> <p>c) <a href="http://en.wikipedia.org/wiki/Capelli%27s_identity#The_Howe.E2.80.93Umeda.E2.80.93Kostant.E2.80.93Sahi_identity_for_antisymmetric_matrices" rel="nofollow">antisymmetric matrices - analog</a> has been found by Howe-Umeda and Kostant-Sahi around 1990, here $A=(x_{ij}-x_{ji})$ $B= \partial_{ji} - \partial_{ij}$.</p> <p>Similar generalization were found for Cayley identity respectively: a) attributed to Cayley b) Garding 1948 c) Shimura 1984 - see <a href="http://arxiv.org/abs/1105.6270" rel="nofollow">arXiv:1105.6270</a> for quite a complete information.</p> <p><strong>My question</strong>: is it really trinity ? Or you can propose some analogs of Cayley-Capelli for some other matrices, say "symplectic" ? </p> <hr> <p>It is might be strange, but other trinities like R,C,H also appears in the Capelli story - and they give different identities. Moreover trinities can be combined and we might get trinity^trinity^trinity...</p> <p>Actually H-analog of the Capelli identity is not fully known for the momemnt - only analog for 1x1 matrices has been discovered quite recently by student of R. Borcherds, <a href="http://arxiv.org/abs/1102.2657" rel="nofollow">An Huang</a>. Looking at this example I proposed some C-analogs of <a href="http://arxiv.org/abs/1203.5759" rel="nofollow">Capelli identities</a>. Actually all generic/symmetric/antisymmetric can be complexified, hopefully there should exist quaternionic analogs and thus we might have trinity^trinity. Some partial results of trinity^trinity spirit for Cayley identity contained in loc. cit.</p> <p>There are certain analogs of <a href="http://arxiv.org/abs/q-alg/9712021" rel="nofollow">Capelli identities for classical Lie algebras</a>: this can seen as gl/so/su trinity, well probably it is not the trinity in some strict sense. I have no idea can we have something like trinity^trinity^trinity ...</p> http://mathoverflow.net/questions/101471/what-is-matrix-a-such-that-hamming-weight-of-x-ax-is-maximal-min-distance What is matrix A such that Hamming weight of [x, Ax] is maximal ? (Min distance of 1/2 block code?) Alexander Chervov 2012-07-06T09:32:07Z 2013-02-10T18:28:29Z <p>Everything over F_2. </p> <p>For any matrix $A$ define the number $N(A) = min_{x}$ <a href="http://en.wikipedia.org/wiki/Hamming_weight" rel="nofollow">HammingWeight</a> $( [x , Ax])$. Where $x$ is vector and [a,b] is just concatenation of vectors: (a_1,...a_n, b_1,...,b_m).</p> <p><strong>Question</strong> What is $max_{A \in Mat(n,m) } (N(A))$ ? </p> <p>Particular case n=m. </p> <hr> <p>Motivation.</p> <p>The map $x \to [x, Ax]$ can be considered as error-correcting coding, $x$ - information bits, $Ax$ are redundancy bits.</p> <p>The code is good if distance between codewords is small.</p> <p>Reformulation of question: what is the "best possible" code of type above ? ("best possible" in the sense of minimal distance -- it is not always "best" from practical point of view nevertheless).</p> http://mathoverflow.net/questions/87053/papers-archives-especially-not-indexed-by-google papers archives? (especially not indexed by google) Alexander Chervov 2012-01-30T18:18:57Z 2013-02-07T11:24:07Z <p><a href="http://www.digizeitschriften.de/index.php?id=239&amp;L=2" rel="nofollow">http://www.digizeitschriften.de/index.php?id=239&amp;L=2</a> has many papers with free access (e.g. Inventiones Mathematicae) but when you search with scholar.google.com it does not index this site!</p> <p>Are there any other archives like this? </p> <p>Just in case let me list other archives (they are indexed by google as far as I understand).</p> <p><a href="http://projecteuclid.org" rel="nofollow">http://projecteuclid.org</a> </p> <p><a href="http://www.numdam.org/?lang=fr" rel="nofollow">http://www.numdam.org/?lang=fr</a></p> <p><a href="http://www.math.uiuc.edu/K-theory/" rel="nofollow">http://www.math.uiuc.edu/K-theory/</a></p> <p>PS</p> <p>e.g. I cannot find:</p> <p>Koszul, J (1981), "Les algebres de Lie graduées de type sl (n, 1) et l'opérateur de A. Capelli", C.R. Acad. Sci. Paris (292): 139-141</p> <p>Does it mean search skills are poor or it is really not available electronically? </p> http://mathoverflow.net/questions/121033/classical-limit-and-drinfelds-realization-of-quantum-groups/121041#121041 Answer by Alexander Chervov for Classical limit and Drinfelds realization of quantum groups Alexander Chervov 2013-02-07T06:09:53Z 2013-02-07T06:09:53Z <p>It is more like comment, but seems too long.</p> <p>I would say yes. I cannot give precise reference, but by all the idealogy it is yes. Or you see some "underwater stones" - problems ? </p> <p>Ideas are like this: If you start with RLL=LLR description, then you need to make "Gauss" or "tringular" decomposition of L = LowTriangular*D*UpperTrianular to extract Drinfeld's currents. </p> <p>In the classical limit "everything" takes the form A = A_{cl} + O(h). Now if you take L = L_{cl} , Triangular = Triangular_{cla} + O(h)</p> <p><strong>The simple fact that should hint that the "yes" answer is the following.</strong> So the decomponsition L = LowTriangular*D*UpperTrianular in classical limit corresponds to L_{cl} = LowTriangular_{cl} + D_{cl} + UpperTrianular_{cl} </p> <p>You see multiplication in the first order corresponds to addition. And this means that corresponding classical currents are just currents to appropriate upper-lower triangular parts - which corresponds to x(z).</p> http://mathoverflow.net/questions/119991/is-the-quantum-algebra-unique-up-to-isomorphism-in-deformation-quantization Is the quantum algebra unique (up to isomorphism) in deformation quantization ? Alexander Chervov 2013-01-27T05:54:09Z 2013-01-30T07:43:53Z <p>Consider a Poisson algebra A (i.e. commutative algebra with Poisson bracket).</p> <p>Let $\hat A$ be a deformation quantization of the algebra A. We know that construction of deformation quantization and more generally "<a href="http://arxiv.org/abs/q-alg/9709040" rel="nofollow">formality isomorphism of Kontsevich</a>" depends on choices of certain data (in Kontsevich approach we can change "propagator" and coordinates on manifold, in <a href="http://arxiv.org/abs/math/9803025" rel="nofollow">Tamarakin's approach</a> we can choose arbitrary associator.)</p> <p><strong>Question</strong> Is it known/true/expected that for different choices of "that datum" we nevertheless obtain isomorphic quantum algebras $\hat A$? </p> <p>May be one needs certain restrictions on setup (e.g. only smooth algebras A, only "generic" quantization morphism, whatever...) to guarantee uniqueness ? </p> <p><a href="http://arxiv.org/abs/math/9904055" rel="nofollow">Kontsevich also mentions</a> that Grothendieck-Teichmuller group should act on the set of all deformation quantizations. Is it at least true that two quantizations living in the same orbit of that group give isomorphic quantum algebras ? </p> <p><strong>Question in formally precise form</strong> Consider a Poisson algebra. Choose two different formality isomorphisms (e.g. with different propagators or associators). </p> <p>Define two star-products $\star$ and $\star'$ with the help of these two formality isomorphisms. </p> <p><strong>Question</strong> Are the algebras defined by these two star-products isomorphic ? More strongly - are these star products "equivalent" ? (See definition of equivalence in Stefan Waldmann's answer below or in Kontsevich paper).</p> <hr> <p>Some comments. </p> <p>If our manifold is R^2n we canonical Poisson bracket { p_i q_j } = delta_ij, then undoubtly the quantum algebra should be unique and isomorphic to Heisenberg algebra: $[ \hat p_i , \hat q_j ] = delta_{ij}$. But I am not sure that even in this case it is that much obvious - if we change coordinates we can make Poisson bracket arbitrary weird, it would be non-obvious that we get isomorphism with Heisenberg algebra. And moreover it might depend on category we are working with (polynomial or smooth functions).</p> <p>More general example is Lie algebra $g$ - corresponding quantization should be isomorphic to universal enveloping algebra, but again it is not that much obvious. (In Kontsevich paper he devoted some special (small) arguments to prove that his quantum algebra is isomorphic to U(g)).</p> <p>Concerning choices of different coordinates in classical algebra A - it already states in Kontsevich paper that obtained algebras will be isomorphic. More strongly star-products will be "equivalent".<br> See the last formula on the page 3 of his paper. However nothing is said about choices of different propagators </p> <p>I had discussed this question with some experts some years ago, but there was no clear answer. </p> <p>The motivation to ask partly comes from MO-discussions here: <a href="http://mathoverflow.net/questions/119849/quantization-of-a-classical-system-e-g-the-case-of-a-billard" rel="nofollow">http://mathoverflow.net/questions/119849/quantization-of-a-classical-system-e-g-the-case-of-a-billard</a></p> http://mathoverflow.net/questions/119849/quantization-of-a-classical-system-e-g-the-case-of-a-billard/119930#119930 Answer by Alexander Chervov for Quantization of a classical system (e.g. the case of a billard) Alexander Chervov 2013-01-26T10:30:34Z 2013-01-26T10:30:34Z <p>Let me add some comments. I think the question has many faces: 1) general principles of correspondence classical to quantum world 2) quite a concrete question about boundary conditions for quantization of billiards.</p> <p>About (1) I have written something in <a href="http://mathoverflow.net/questions/106721/quantum-mechanics-basics/106723#106723" rel="nofollow">http://mathoverflow.net/questions/106721/quantum-mechanics-basics/106723#106723</a> I can add more, but not sure it is appropriate...</p> <p>About (2), let me add some comments, it is not full answer, but may be still of some use.</p> <p>So Joel asks " But I am not sure why the wave function should be defined on R^2 instead of just on B, and even while it should be continuous." </p> <p>Yes, I think from physical point of view it should be defined on R^2 and should be continuous, let me explain some arguments which come to my mind.</p> <p>How can you confine a particle to restricted billiard region "B" in practice ? What physical experiment you keep in mind ? </p> <p>The answer is the following - let us create a potential barrier with very high energy U(x) = U_0 - outside "B" and U(x) = 0 inside "B". Well, actually I think such discontinuous potential barrier is not practical, but we can smooth as much as we want.</p> <p>Classical particle with energy &lt; U_0 cannot go outside the barrier, but quantum particle can make tunneling inside barrier with exponentially decaying wave function.</p> <p>Now we just want to consider the limit U_0 -> infinity. That would correspond to confining quantum particle to the region "B", again in practice there are NO infinities, so always small probability for particle to be outside region B, but as mathematical abstraction it is Okay to take U_0 = inf.</p> <p>So now we come to mathematically well-formulated questions :</p> <p>Consider smooth potentials U_n(x) which approximate U(x), where U(x) =inf in R^2\B and U(x) = 0, inside B. Consider the wave functions Psi(x) which is solution of the corresponding problem (Laplace + U_n(x) ) \Psi_n(x) = \Lambda Psi_n(x)</p> <p>0) Is it true the limit \Psi (x) does not depend on approximating sequence U_n(x) ?</p> <p>1) Is it true that limit Psi_n (x) is continuouos ? </p> <p>2) Is it true that Psi_n(x) = 0 outside B (including the boundary) ?</p> <p>I hope the answer is YES, on both questions, but I am not sure I know the arguments. </p> <p>It is better to start with these question on R^1 not R^2 - this is done in any quantum mechanics textbook, I am sorry I a little forget the details.</p> http://mathoverflow.net/questions/119713/financial-mathematics-books/119776#119776 Answer by Alexander Chervov for Financial Mathematics Books Alexander Chervov 2013-01-24T19:02:12Z 2013-01-24T19:02:12Z <p>Some expert (physicist, working partly in finance) recommended me the book: </p> <p>Jean-Philippe Bouchaud, Marc Potters (2003). Theory of Financial Risk and Derivative Pricing: From Statistical Physics to Risk Management <a href="http://www.amazon.com/Theory-Financial-Risk-Derivative-Pricing/dp/0521741866/ref=sr_1_fkmr0_1?s=books&amp;ie=UTF8&amp;qid=1359053375&amp;sr=1-1-fkmr0&amp;keywords=Jean-Philippe+Bouchaud%2C+Marc+Potters+%282003%29.+Theory+of+Financial+Risk+and+Derivative+Pricing.+Cambridge+University+Press++%5BAmazon%5D%5B1%5D" rel="nofollow">Amazon</a></p> <p>It is <a href="http://en.wikipedia.org/wiki/Econophysics" rel="nofollow">econophysics</a> approach to analysis of financial markets. It uses quite advanced mathematics including random matrices, stable distributions and so on. One can also look for the papers by these authors in <a href="http://arxiv.org/find/all/1/all%3A+AND+Bouchaud+Potters/0/1/0/all/0/1" rel="nofollow">arxiv</a>.</p> <p>Another expert recommended me the following site: <a href="http://www.opentradingsystem.com/quantNotes/main.html" rel="nofollow">http://www.opentradingsystem.com/quantNotes/main.html</a> about quantative finances,</p> <p>and the book " <a href="http://www.amazon.com/High-Frequency-Trading-Practical-Algorithmic-Strategies/dp/1118343506/ref=sr_1_1?s=books&amp;ie=UTF8&amp;qid=1359054076&amp;sr=1-1&amp;keywords=High-Frequency+Trading.+A+Practical+Guide+to+Algorithmic+Strategies+and+Trading+Systems" rel="nofollow">High-Frequency Trading. A Practical Guide to Algorithmic Strategies and Trading Systems</a>" IRENE ALDRIDGE </p> http://mathoverflow.net/questions/119402/why-all-irreducible-representations-of-compact-groups-are-finite-dimensional-e Why all irreducible representations of compact groups are finite-dimensional ? [EDIT: Subtleties: AC,etc] Alexander Chervov 2013-01-20T15:22:50Z 2013-01-23T04:38:38Z <p>About 20 years ago I read in textbook that "all irreducible representations of compact groups are finite-dimensional", but me and the proof of this fact never met each other :) </p> <p>May I ask dear MO colleagues, is there (simple?) argument to prove it ? </p> <p>As far as I heard this result can be generalized in the realm of non-commutative geometry, Woronowicz compact quantum groups (?). </p> <p>So the "bonus" question - what is appropriate "compactness" condition for some algebra (and/or Hopf algebra) such that it will guarantee the same property (i.e. all irreps are finite-dim.) ?</p> <hr> <p>[EDIT] Thanks very much for excellent answers ! Let me ask about some more details, to finally clarify.</p> <p>1) What is maximal possible relaxation of the requirement on vector space V ? Is it enough to require arbitrary linear topological space or we need to restrict to Hausdorff (?) Banach (?) Hilbert (?), whatever spaces ? (It seems restrictions on the space may come from the Schur lemma, it is not clear for me what is appropriate generality it holds). </p> <p>2) Do we need axiom of choice here ? (Probably not, we need existence of Haar measure, but <a href="http://en.wikipedia.org/wiki/Haar_measure" rel="nofollow">Wikipedia writes</a> that "Henri Cartan furnished a proof of existence of Haar measure which avoided AC use.[4]"</p> <p>3) Informally: what is the hardest tool one uses in the proof ? (May be existence of Haar measure ?)</p> <p>[END EDIT].</p> <hr> <p>[EDIT]</p> <p>Let me add sketch of arguments by Aakumadula, as I understand it. It might be helpful to clarify new questions.</p> <p>1) Tool: Continuous functions on the group can be mapped to operators on V. (Need measure here). (Group algebra acts on V).</p> <p>2) Fact: Continuous function will be mapped to COMPACT operators. (In R^n I know how to prove it, in general no).</p> <p>3) Observe: Conjugation invariant function are mapped to operators which commute with action of group.</p> <p>4) Schur Lemma: operators commuting with group in irrep are Lamda*Id. (What do we need from the space V for this to be true ? )</p> <p>5) Corollary: If we find invariant continuous function which is mapped in NON-zero in V, then we are done, because by (2) it is compact operator and by (4) it is Lambda*Id.</p> <p>So we need to find invariant function which will be non-zero in V.</p> <p>6) Take arbitrary "approximate identity" i.e. sequence of continuous (non-invariant) functions f_n which converge as functionals to delta-function in identity of the group. (It is local fact. But how to prove it ? Do we need Axiom of choice here ? )</p> <p>7) Make averaging over the group of f_n - get sequence of INVARIANT continuous functions which again converge to detla(e), since delta(e) is invariant. </p> <p>8) Operators T(f_n) converge to identity operator, hence for some N they are NON-ZERO. WE ARE DONE by (5) ! Because T(f_N) is compact and Lambda*Id and Lambda is NON-ZERO. </p> <p>[End EDIT].</p> http://mathoverflow.net/questions/119318/soft-voronoi-cells-or-statistical-criterias "Soft" Voronoi cells or statistical criterias Alexander Chervov 2013-01-19T11:16:00Z 2013-01-19T11:16:00Z <p>It is probably some basic statistics question, but... </p> <p><strong>Informally 1</strong>: How to choose "criteria", such that it will guarantee that error decision probability is less than "epsilon", and maximize probability of correct decision ? ("Criteria", "probabilities" will be explained below).</p> <p><strong>Informally 2</strong> consider some points A_i in R^n. Task - for given point "x", find nearest point A_i. It is exactly the same determine to what Voronoi cell point "x" belongs to. Now imagine that point "x" is exactly on the same distance between several points A_i, then the answer to the question is not unique. Now let us add some randomness in this setup (see details below) so we should expect that if point "x" is "near" the edge of the Voronoi cell, our decision to say that the closest point is say A_1 will not be reliable. So I need to "decrease" Voronoi cells such that I can guarantee reliability is bigger than (1-epsilon).</p> <p>My question will be - what is the shape of these "epsilon-soften" Voronoi cells ? (Of course, I will need to specify "probabilities" - see below).</p> <hr> <p><strong>Setup for formal question</strong> Consider some points S_i in R^n. Consider some R^n-valued random vector "N" (say Gaussian) (N - is "noise"). Define R=S+N, where S is random variable which uniformly takes values S_i (S-"sent signal", "R"-"received signal").</p> <p><strong>Question</strong> How to define subsets D_i in R^n, such that:</p> <p>1) Probability that "R" belongs to D_i, under condition that $S\ne A_i$ is less than epsilon (small probability of incorrect signal detection) </p> <p>2) For all other choices of subsets D_i satisfying (1), the probability of "R" belongs to D_i, under condition that $S=A_i$ is maximal possible over all choices of subsets D_i satisfying (1).</p> <hr> <p>D_i - are our "soft" Voronoi cells.</p> <p>The informal sense is the following - D_i are some neigbourhouds of points A_i, which are small enough to guarantee (1) (incorrect decision has small probability), but the biggest among all subsets satisfying (1) (we want to maximize the probability of correct decision).</p> <hr> <p><strong>Remark</strong> In R^1 this is standard simple statistics knowledge, but the question seems to be non-trivial even in R^2.</p> <p><strong>SubQuestion 1</strong> What are the references ?</p> <p><strong>SubQuestion 2</strong> Is there some simple knowledge that everybody must understand before start thinking on the question ?</p> <p><strong>SubQuestion 3</strong> Is the question difficult ? Or there is some simple solution ? (Yes/No)</p> <p><strong>SubQuestion 4</strong> Is it true that D_i cutted by hyperplanes (similar to Voronoi cells) ? (Yes/No)</p> <p><strong>SubQuestion 5</strong> If problem is difficult in general, then is there some approximate solution (algorithm), which satisfy (1), and gives non-bad maximization in (2) ? </p> http://mathoverflow.net/questions/116531/the-unreasonable-effectiveness-of-physics-in-mathematics-why-what-how-to-catch The Unreasonable Effectiveness of Physics in Mathematics. Why ? What/how to catch? Alexander Chervov 2012-12-16T15:42:04Z 2013-01-07T19:21:26Z <p>Starting from 80-ies the ideas either coming from physics, or by physicists themselves (e.g. Witten) are shaping many directions in mathematics. It is tempting to <a href="http://en.wikipedia.org/wiki/The_Unreasonable_Effectiveness_of_Mathematics_in_the_Natural_Sciences" rel="nofollow">paraphrase E. Wigner</a>, saying about "The Unreasonable Effectiveness of Physics in Mathematics". </p> <p>What can be the reasons for it ? </p> <p>Do physicists have some tools/ideas/techniques which allow them to make insights, which are not seen for mathematicians? Or it is just because Witten&amp;K are very ... very smart ?</p> <p>If, yes, <strong>what are these tools/ideas ? How to learn/absorb/(put into math. framework) them</strong>? </p> <p>What can be the further applications of these ideas ? </p> <hr> <p>Being a mathematician, but working in physicists surrounding for many years, I have thought on this questions for quite a while. The recent MO question <a href="http://mathoverflow.net/questions/116251/mathematician-trying-to-learn-string-theory/116402" rel="nofollow">http://mathoverflow.net/questions/116251/mathematician-trying-to-learn-string-theory/116402</a> prompts me to ask it here.</p> <p>I would think, that yes, there are such "ideas". But from some outstanding mathematicians I've heard an opposite opinion.</p> <p>My vague feeling is that quantum field theory and string theory it is something like an analysis/differential geometry on infinite-dimensional manifolds. But these manifolds are not abstract, say Banach modeled manifolds, which theory is not so rich, but kind of maps from one finite-dim. manifold to another, which has certain specific structures which are not fully revealed by mathematicians. E.g. vertex operator algebras, arise from maps of circle to manifold, if we map not circle but something higher dimensional there should be something more complicated. Another issue is about Feynman integral, which allows physicist to use integration techniques in geometric problems, it is not well-defined mathematically, but it might be it cannot be defined in very general form of infinite-dimensional integrals, but again physicist have an intuition where it can be defined, where cannot, and proper mathematical theory should first clarify the setup where it exists, rather than trying to build general theory which might not exist. These words are probably very vague, so might be answers help to me clarify.</p> <hr> <p>I think everybody knows the influence of physics happened from 80-ies, but for completeness let me mention just a few.</p> <p>Donaldson used instanton moduli spaces in his study of 4-folds.</p> <p>Faddeev, Drinfeld et. al. created quantum groups</p> <p>Representation theory of infinite-dimensional algebras have been large influenced by conformal field theory developments.</p> <p>Witten's contributions are numerous his Fields Medal says more than I can say.</p> <p>Mirror Symmetry, quantum cohomology etc...</p> <p>The works of Fields Medalist Kontsevich and Okounkov are largely influenced by physics.</p> <p>So on an so forth...</p> http://mathoverflow.net/questions/118226/seeing-topological-geom-properties-of-the-space-via-corresponding-c-algebra Seeing topological (geom.) properties of the space via corresponding C^*-algebra Alexander Chervov 2013-01-06T21:42:24Z 2013-01-07T15:35:54Z <p>Compact Hausdorff spaces bijectively correspond to C^*-algebras with identity. One needs to consider the algebra of continuous functions C(X) to go in one direction and spectrum to go in the other. (<a href="http://en.wikipedia.org/wiki/C%2a-algebra#Commutative_C.2A-algebras" rel="nofollow">See e.g. Wikipedia</a>). The situation is similar to algebraic geometry - affine manifolds correspond to commutative algebras... Basic skill in alg.geom. is to recast algebraic properties in geometric and vice versa e.g. projective modules - vector bundles... (the dictionary is lengthy).</p> <p>I wonder about similar correspondence in C^*-algebra setup. In particular:</p> <p><strong>Question 1:</strong> if space "X" is topological manifold (i.e. locally R^n), is there some "nice" way to recognize it via C^*-algebra of continuous function ? (... is there non-commutative version ? ... )</p> <p><strong>Question 2:</strong> if "X" is smooth manifold, is there nice way to recognize it and define sub-algebra of smooth functions entirely in terms of C^*-algebra ? (... is there non-commutative version ? ... )</p> <p><strong>Question 3</strong> Is it possible to characterize the set of all measures on "X" in terms of C(X) ? (... is there non-commutative version ? ... ) </p> <p>If you have further comments how interesting algebraic properties can be recasted in topological or vice versa, you are welcome to post. </p> http://mathoverflow.net/questions/117668/new-grand-projects-in-contemporary-math/118121#118121 Answer by Alexander Chervov for New grand projects in contemporary math Alexander Chervov 2013-01-05T13:10:28Z 2013-01-05T13:10:28Z <p>In information theory (error-correcting codes) the grand achievements in 90-ies are <a href="http://en.wikipedia.org/wiki/Turbo_code" rel="nofollow">turbo-codes</a> and <a href="http://en.wikipedia.org/wiki/Low-density_parity-check_code" rel="nofollow">LDPC codes</a>. Recent 2009 discovery which became hottest topic is <a href="http://en.wikipedia.org/wiki/Polar_code_%28telecommunication%29" rel="nofollow">polar codes</a>. </p> <p>It is tempting to say that paradigm-shift coming with turbo and LDPC codes instead of earlier popular approaches: <a href="http://en.wikipedia.org/wiki/Convolutional_code" rel="nofollow">convolutional codes</a>, <a href="http://en.wikipedia.org/wiki/Reed-Solomon_error_correction" rel="nofollow">Reed-Solomon codes</a>, <a href="http://en.wikipedia.org/wiki/BCH_codes" rel="nofollow">BCH codes</a> et.al. is shift from algebra to probability, from order to chaos. I mean that earlier constructions were much dominated by algebra considerations e.g. non-recursive convolutional codes are just the ideals in the ring $F_2[x]\oplus ... \oplus F_2[x]$. While turbo and LDPC are actually constructed and decoded with methods which much influenced by probabilistic and randomized considerations: roughly speaking good LDPC codes can be constructed by sufficiently sparse and random matrix. The decoding methods used for LDPC - <a href="http://en.wikipedia.org/wiki/Belief_propagation" rel="nofollow">belief propagation</a> naturally belong to probability or machine learning maths. rather than algebra. </p> <p>Actually turbo code is almost the same as convolutional code, modula one "small" detail - interleaver. Interleaver is "radomizer" added to the algebra-tasted convolutional code, it is crucial thing which makes all work. That what concerns the encoder. The decoder of turbo-codes "resembles" turbine and hence the name "turbo"-code, it is crucially based on probabilistic techniques in coding theory. Well, the key technique - BCJR algorithm was developed much earlier, so, of course, all division into old-new paradigms is not very precise, but nevertheless seems there is something behind it.</p> <p>These ideas found rich practical applications. If someone is reading this with the help of smartphone - say thank to "turbo-codes" - they are working there.</p> <p>New discovery - polar codes - probably can be characterized as algebra's strike back - they seems to be quite algebraic nature, sorry I cannot say much for the moment.</p> http://mathoverflow.net/questions/92192/hot-topics-in-error-correcting-coding-related-to-interesting-math Hot-topics in error correcting coding related to interesting math. ? Alexander Chervov 2012-03-25T19:21:31Z 2013-01-04T11:48:52Z <p>What are topics in error-correcting coding which are related to interesting math. ? I am primarely interested in nowdays hot topics, but old days topics are also welcome. </p> <p>Let me try to mention what I heard about.</p> <p>1) Hot topic in error-correction is finding LDPC codes with very low "error-floor" for code lengths dozens thoursands bits, this might be useful for optic transmission. However it is not clear for me what kind of math playing role here ? ("Error-floor" is related with codewords with small Hamming weight. So the code might be quite good - means majority of codewords have big Hamming weight, so in most case code performs well, but very small number having small Hamming weight will cause small number of errors - it can be seen on the BER/SNR plot as a "floor".)</p> <p>2) There is certain number of papers applying number theory (lattices in algebraic number fields) to consruct good codes. One may see papers by F. Oggier, G. Rekaya-Ben Othman, J.-C. Belfiore, E. Viterbo: e.g. this one : <a href="http://arxiv.org/abs/cs/0604093" rel="nofollow">http://arxiv.org/abs/cs/0604093</a>. I am not aware how "hot" is this topic and how far it is from practical applications...</p> <p>3) Polar codes is a hot topic. What kind of math is playing role here ?</p> <p>4) Probably most classical example is the Golay code (1948) and sporadic simple Mathieu groups. Let me quote Wikipedia: <a href="http://en.wikipedia.org/wiki/Binary_Golay_code" rel="nofollow">http://en.wikipedia.org/wiki/Binary_Golay_code</a> : "The automorphism group of the binary Golay code is the Mathieu group . The automorphism group of the extended binary Golay code is the Mathieu group . The other Mathieu groups occur as stabilizers of one or several elements of W." By the way - is it occasional coincidence of there is something behind it ?</p> http://mathoverflow.net/questions/128961/probability-of-random-0-1-toeplitz-matrix-being-invertible/128979#128979 Comment by Alexander Chervov Alexander Chervov 2013-04-28T14:05:03Z 2013-04-28T14:05:03Z It does not depend on size n? Hmmm... http://mathoverflow.net/questions/128178/examples-of-applications-of-the-freyd-mitchell-embedding-theorem/128191#128191 Comment by Alexander Chervov Alexander Chervov 2013-04-21T12:12:54Z 2013-04-21T12:12:54Z What is multiplication on stable homotopy groups of spheres? (To make them ring? ) http://mathoverflow.net/questions/126932/finite-unipotent-groups-references Comment by Alexander Chervov Alexander Chervov 2013-04-10T09:16:56Z 2013-04-10T09:16:56Z And also <a href="http://mathoverflow.net/questions/127010/classification-for-coadjoint-orbits-of-lower-or-upper-triangular-matrices" rel="nofollow" title="classification for coadjoint orbits of lower or upper triangular matrices">mathoverflow.net/questions/127010/&hellip;</a> classification for coadjoint orbits of lower or upper triangular matrices http://mathoverflow.net/questions/126932/finite-unipotent-groups-references Comment by Alexander Chervov Alexander Chervov 2013-04-09T13:27:42Z 2013-04-09T13:27:42Z And also <a href="http://mathoverflow.net/questions/68207/irreducible-representations-of-the-unitriangular-group" rel="nofollow" title="irreducible representations of the unitriangular group">mathoverflow.net/questions/68207/&hellip;</a> irreducible-representations-of-the-unitriangular-group http://mathoverflow.net/questions/126828/irreducible-degrees-and-the-order-of-a-finite-group Comment by Alexander Chervov Alexander Chervov 2013-04-09T12:45:59Z 2013-04-09T12:45:59Z Let me mention: <a href="http://mathoverflow.net/questions/108406/why-would-dim-primitive-irrep-divide-size-of-some-conjugacy-class" rel="nofollow" title="why would dim primitive irrep divide size of some conjugacy class">mathoverflow.net/questions/108406/&hellip;</a> http://mathoverflow.net/questions/106521/representation-theory-of-p-groups-in-particular-upper-tringular-matrices-over-f-p Comment by Alexander Chervov Alexander Chervov 2013-04-09T12:39:22Z 2013-04-09T12:39:22Z Related question: <a href="http://mathoverflow.net/questions/126932/finite-unipotent-groups-references" rel="nofollow" title="finite unipotent groups references">mathoverflow.net/questions/126932/&hellip;</a> http://mathoverflow.net/questions/126932/finite-unipotent-groups-references Comment by Alexander Chervov Alexander Chervov 2013-04-09T12:37:56Z 2013-04-09T12:37:56Z Related question <a href="http://mathoverflow.net/questions/106521/representation-theory-of-p-groups-in-particular-upper-tringular-matrices-over-f-p" rel="nofollow" title="representation theory of p groups in particular upper tringular matrices over f p">mathoverflow.net/questions/106521/&hellip;</a> in comments under it I have collected some references, which might be of interest http://mathoverflow.net/questions/126193/darboux-like-theorem-for-non-degenerate-3-forms-in-6-manifolds Comment by Alexander Chervov Alexander Chervov 2013-04-01T20:23:18Z 2013-04-01T20:23:18Z What is nondegenerate? aa http://mathoverflow.net/questions/126074/anick-resolution Comment by Alexander Chervov Alexander Chervov 2013-04-01T10:27:34Z 2013-04-01T10:27:34Z <a href="http://mathoverflow.net/questions/81415/what-is-growth-of-ass-algebra-with-3-generators-and-relation-a1a2a3-a2a3a1-a/81489#81489" rel="nofollow" title="what is growth of ass algebra with 3 generators and relation a1a2a3 a2a3a1 a">mathoverflow.net/questions/81415/&hellip;</a> here is nice application given by Vladimir Dotsenko http://mathoverflow.net/questions/124772/h-adic-completion-of-u-q-fraksl-2 Comment by Alexander Chervov Alexander Chervov 2013-03-17T11:49:58Z 2013-03-17T11:49:58Z Second Cohomology of semisinple lie alg vanishes. So any deformation is trivial. So the two algs are isomorphic. http://mathoverflow.net/questions/123796/role-of-applications-in-modern-mathematics Comment by Alexander Chervov Alexander Chervov 2013-03-09T07:37:08Z 2013-03-09T07:37:08Z META discussion <a href="http://meta.mathoverflow.net/discussion/1551/role-of-applications-in-modern-mathematics/" rel="nofollow">meta.mathoverflow.net/discussion/1551/&hellip;</a> http://mathoverflow.net/questions/123796/role-of-applications-in-modern-mathematics/123856#123856 Comment by Alexander Chervov Alexander Chervov 2013-03-07T11:33:48Z 2013-03-07T11:33:48Z Thank you for the answer. My question is about applications of math outside math. I do not see the sense of specifying the &quot;application&quot; very precisely - hope everybody understands vague meaning and that is enough. I &quot;assume a good will&quot; - if some one thinks it is worth to write an in the answer about what he thinks deserves to be shared with the community - go on... http://mathoverflow.net/questions/123363/d-modules-as-quantization-of-modules-on-cotangent-bundle Comment by Alexander Chervov Alexander Chervov 2013-03-01T19:46:15Z 2013-03-01T19:46:15Z look also at quantization of lagrangian submanifolds http://mathoverflow.net/questions/122963/statistical-properties-of-principal-components-and-their-convergence-rates Comment by Alexander Chervov Alexander Chervov 2013-02-26T11:30:35Z 2013-02-26T11:30:35Z Be aware of <a href="http://stats.stackexchange.com/" rel="nofollow">stats.stackexchange.com</a> http://mathoverflow.net/questions/101169/not-especially-famous-long-open-problems-which-higher-mathematics-beginners-can/122677#122677 Comment by Alexander Chervov Alexander Chervov 2013-02-23T09:22:33Z 2013-02-23T09:22:33Z What are the references ?