User matthias beck - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T12:05:40Z http://mathoverflow.net/feeds/user/3193 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/119126/lower-bound-for-constrained-ordered-partitions-i-e-compositions/119310#119310 Answer by matthias beck for Lower bound for constrained ordered partitions (i.e., compositions)? matthias beck 2013-01-19T07:20:58Z 2013-01-19T07:20:58Z <p>The geometry behind your problem is that you intersect the $m$-dimensional cube $[0,N]^m$ with the $(m-1)$-dimensional simplex given by the constraints $a_j \ge 0$ and $a_1 + \cdots + a_m = n$. Your question ("$n$ in a certain range") is a bit vague, but from this geometric point of view, the power $m$ of your lower bound seems to be too big. I could certainly get you a lower bound $c \cdot N^{m-1}$ if you choose the range for $n$ carefully enough.</p> http://mathoverflow.net/questions/54430/video-lectures-of-mathematics-courses-available-online-for-free/54463#54463 Answer by matthias beck for Video lectures of mathematics courses available online for free matthias beck 2011-02-05T20:43:13Z 2012-11-09T02:25:26Z <p>Federico Ardila's (full-semester) courses on <a href="http://math.sfsu.edu/federico/Clase/Polytopes/lectures.html" rel="nofollow">polytopes</a>, <a href="http://math.sfsu.edu/federico/Clase/CCA/lectures.html" rel="nofollow">combinatorial commutative algebra</a>, <a href="http://math.sfsu.edu/federico/Clase/Coxeter/lectures.html" rel="nofollow">Coxeter groups</a>, <a href="http://math.sfsu.edu/federico/Clase/Hopf/lectures.html" rel="nofollow">combinatorial Hopf algebras</a>, and <a href="http://math.sfsu.edu/federico/Clase/Matroids/lectures.html" rel="nofollow">matroid theory</a>. They include lecture videos and lecture notes. See <a href="http://math.sfsu.edu/federico/teaching.html" rel="nofollow">http://math.sfsu.edu/federico/teaching.html</a></p> <p>Now they are also on YouTube here: <a href="http://tinyurl.com/ardilapolytopes" rel="nofollow">polytopes</a>, <a href="http://tinyurl.com/ardilacca" rel="nofollow">combinatorial commutative algebra</a>, <a href="http://tinyurl.com/ardilacoxeter" rel="nofollow">Coxeter groups</a>, <a href="http://tinyurl.com/ardilahopf" rel="nofollow">combinatorial Hopf algebras</a>, and <a href="http://tinyurl.com/ardilamatroids" rel="nofollow">matroid theory</a>. </p> http://mathoverflow.net/questions/102384/showing-that-a-family-of-polynomials-has-positive-and-real-roots/103654#103654 Answer by matthias beck for Showing that a family of polynomials has positive and real roots. matthias beck 2012-08-01T03:43:10Z 2012-08-01T03:43:10Z <p><a href="http://arxiv.org/abs/math/0605678" rel="nofollow">This paper by P. Bränden</a> and <a href="http://arxiv.org/abs/1203.0791" rel="nofollow">this paper by M. Visontai &amp; N. Williams</a> give a somewhat general approach to proving real rootedness of polynomials (especially those coming up combinatorially).</p> http://mathoverflow.net/questions/83006/example-of-mobius-inversion-on-integer-partition-poset/83021#83021 Answer by matthias beck for Example of Mobius Inversion on Integer Partition Poset matthias beck 2011-12-09T02:27:18Z 2011-12-09T02:27:18Z <p>If you mean the poset you get with the relation "refinement" then its Möbius function is not known (see Exercise 122 in Chapter 3 of Stanley's Enumerative Combinatorics, 2nd edition).</p> http://mathoverflow.net/questions/80056/using-slides-in-math-classroom/80080#80080 Answer by matthias beck for Using slides in math classroom matthias beck 2011-11-04T18:37:30Z 2011-11-04T18:37:30Z <p>I use a hybrid version for some of my classes which take place in a room that allows this: I use computer slides (and animations, computations, etc.) <b>and</b> the board. I learned this from my colleague Serkan Hosten, and it works really well in some classes. E.g., I use slides for definitions and theorems (including the relevant ones from the previous lecture) but then work out examples and proofs on the board. This has the obvious advantage of spending time on exactly the items that need time and just the right pauses to get digested, but it also has nice side effects: e.g., the statement of the theorem will stay on the screen even if I'll have to clean the board.</p> http://mathoverflow.net/questions/79900/non-negative-integer-solutions-diophantine-equations/79965#79965 Answer by matthias beck for non negative integer solutions : Diophantine Equations matthias beck 2011-11-03T19:42:41Z 2011-11-03T19:42:41Z <p>There's a detailed discussion of your function $d(n;a_1, \dots, a_k$) in Chapters 1 &amp; 8 of <a href="http://math.sfsu.edu/beck/ccd.html" rel="nofollow">a book</a> I wrote with Sinai Robins (and both chapters contain further pointers to the literature, including the Frobenius problem).</p> http://mathoverflow.net/questions/19046/open-source-mathematical-software/58716#58716 Answer by matthias beck for Open source mathematical software. matthias beck 2011-03-17T03:03:18Z 2011-03-17T03:03:18Z <p><em>... and probably polytopes.</em></p> <p>I recommend <a href="http://polymake.org/doku.php/start" rel="nofollow">polymake</a> for general polytope computations, <a href="http://www.math.ucdavis.edu/~mkoeppe/latte/" rel="nofollow">LattE</a> for lattice-point enumeration, <a href="http://www.mathematik.uni-osnabrueck.de/normaliz/" rel="nofollow">Normaliz</a> for computations related to lattice polytopes, and <a href="http://www.4ti2.de/" rel="nofollow">4ti2</a> for Gröbner basis computations.</p> http://mathoverflow.net/questions/6890/generalizations-of-the-birkhoff-von-neumann-theorem/55174#55174 Answer by matthias beck for Generalizations of the Birkhoff-von Neumann Theorem matthias beck 2011-02-11T23:13:35Z 2011-02-11T23:13:35Z <p>Dave Perkinson and coauthors have studied sub-polytopes of the Birkhoff-von Neumann polytope, in the sense that they consider convex hulls of the permutation matrices corresponding to certain subgroups of $S_n$. See, e.g., <a href="http://people.reed.edu/~davidp/homepage/mypapers/a_n.pdf" rel="nofollow">his paper with Jeff Hood</a> for the case $A_n$.</p> http://mathoverflow.net/questions/46387/counting-integral-points-of-a-polytope-in-r3-the-c-1-coefficient-of-ehrhart-po/46596#46596 Answer by matthias beck for Counting integral points of a polytope in R^3 (the c_1 coefficient of Ehrhart polynomial) matthias beck 2010-11-19T06:18:18Z 2010-11-19T06:18:18Z <p>Jamie Pommersheim gave a general formula for $c_1$ in his 1993 paper in Math. Ann. for the case of a tetrahedron. So if you can easily triangulate your polytope, this might be useful.</p> <p>If you're "only" interested in bounds, you might want to look at the Ehrhart series instead, i.e., the generating function of the Ehrhart polynomial. This is a rational function with denominator (1-x)^4, so the information encoded in the numerator is the same information encoded in the Ehrhart polynomial (in fact, it's a linear transformation). A famous theorem of Stanley states that the numerator coefficients of the Ehrhart series are nonnegative, and of course this gives you inequalities among the coefficients of the Ehrhart polynomial. For more inequalities of this type, check out Alan Stapledon's work (e.g., <a href="http://front.math.ucdavis.edu/0904.3035" rel="nofollow">http://front.math.ucdavis.edu/0904.3035</a> or <a href="http://front.math.ucdavis.edu/0801.0873" rel="nofollow">http://front.math.ucdavis.edu/0801.0873</a>).</p> <p>(And thanks for your kind words, Andres.)</p> http://mathoverflow.net/questions/46291/rational-dilates-of-integral-convex-polytopes/46595#46595 Answer by matthias beck for Rational Dilates of Integral Convex Polytopes matthias beck 2010-11-19T05:59:14Z 2010-11-19T05:59:14Z <p>R. Diaz, S. Robins, and I studied your question for the inequality $b_1 x_1 + \dots + b_d x_d \le t$ for integral $t$ (which gives a rational polytope) in <a href="http://front.math.ucdavis.edu/math.NT/0204035" rel="nofollow">http://front.math.ucdavis.edu/math.NT/0204035</a>. The case where $t$ is truly a rational variable is more complicated. <a href="http://front.math.ucdavis.edu/1006.5612" rel="nofollow">http://front.math.ucdavis.edu/1006.5612</a> is a starting point...</p> http://mathoverflow.net/questions/3134/whats-your-favorite-equation-formula-identity-or-inequality/36264#36264 Answer by matthias beck for What's your favorite equation, formula, identity or inequality? matthias beck 2010-08-21T06:43:50Z 2010-08-21T06:43:50Z <p>Pick's theorem $A = I + \frac 1 2 B - 1$, where $A$, $I$, and $B$ are the area, number of interior integer points, and number of boundary integer points, respectively, of a polygon with vertices on the integer lattice. Picks identity is fascinating because it computes a continuous quantity completely discretely. (Of course, this is not quite correct, since we have quite a discrete requirement about the vertices of the polygon.) Also, the "1" is not an accident, but the Euler characteristic of the polygon (and so there are various natural extensions of Pick's theorem).</p> http://mathoverflow.net/questions/29323/math-puzzles-for-dinner/29332#29332 Answer by matthias beck for Math puzzles for dinner matthias beck 2010-06-24T05:21:18Z 2010-06-24T05:21:18Z <p>(I learned this problem from Persi Diaconis.) A deck of $n$ different cards is shuffled and laid on the table by your left hand, face down. An identical deck of cards, independently shuffled, is laid at your right hand, also face down. You start turning up cards at the same rate with both hands, first the top card from both decks, then the next-to-top cards from both decks, and so on. What is the probability that you will simultaneously turn up identical cards from the two decks? What happens as $n \to \infty$? And does the answer for small $n$ (say, $n=7$) differ greatly from $n=52$?</p> http://mathoverflow.net/questions/85642/combinatorics-polytopes-question Comment by matthias beck matthias beck 2012-01-14T17:37:55Z 2012-01-14T17:37:55Z This is an exercise, and this unsuitable for MO. http://mathoverflow.net/questions/63830/on-lower-upper-bounds-for-dedekind-sum/63866#63866 Comment by matthias beck matthias beck 2011-05-04T15:26:27Z 2011-05-04T15:26:27Z This follows from a finite-Fourier-series version of Cauchy-Schwartz. The earliest reference I'm aware of is H. Rademacher, Zur Theorie der Dedekindschen Summen, Math. Z. 63 (1956) 445-463. With some work, one can obtain even better bounds (see, e.g., &lt;a href=&quot;<a href="http://front.math.ucdavis.edu/math.NT/0305421&quot;&gt;my" rel="nofollow">front.math.ucdavis.edu/math.NT/&hellip;</a> paper with S. Robins and S. Zacks&lt;/a&gt;). http://mathoverflow.net/questions/46291/rational-dilates-of-integral-convex-polytopes/46595#46595 Comment by matthias beck matthias beck 2011-03-08T00:58:04Z 2011-03-08T00:58:04Z If your parameters are real, there are no simple formulas. The best results in this case are bounds (for the exact counting problem) given in a series of papers by Stephen Yau (UIC) and coauthors. http://mathoverflow.net/questions/46291/rational-dilates-of-integral-convex-polytopes/46595#46595 Comment by matthias beck matthias beck 2011-03-03T06:56:09Z 2011-03-03T06:56:09Z It depends what you mean by &quot;exact&quot;... the two papers I mentioned are the state of the art, as far as I know. http://mathoverflow.net/questions/50538/good-ways-to-engage-in-mathematics-outreach/50590#50590 Comment by matthias beck matthias beck 2010-12-28T22:40:03Z 2010-12-28T22:40:03Z Math circles are all over the map, both location-wise and with respect to age groups. <a href="http://www.mathcircles.org" rel="nofollow">mathcircles.org</a> has more than enough info for anyone interested... http://mathoverflow.net/questions/49384/tools-for-long-distance-collaboration/49390#49390 Comment by matthias beck matthias beck 2010-12-15T03:16:13Z 2010-12-15T03:16:13Z The above-mentioned twiddla gives you a free &quot;Pro account&quot; (which allows you, e.g., to store your white board sessions) if you have an email address ending with .edu -- see the bottom of <a href="http://www.twiddla.com/Pricing.aspx" rel="nofollow">twiddla.com/Pricing.aspx</a> for details. http://mathoverflow.net/questions/3134/whats-your-favorite-equation-formula-identity-or-inequality/36264#36264 Comment by matthias beck matthias beck 2010-08-22T06:05:33Z 2010-08-22T06:05:33Z @ Robin: I'm not responsible for the title... :) But there is certainly a connection here.