User leandro - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T00:56:58Z http://mathoverflow.net/feeds/user/2386 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/126237/independent-bond-percolation-on-upper-density-zero-subgraphs-of-the-square-lattic Independent bond percolation on upper density zero subgraphs of the square lattice can have a non-trivial critical point ? Leandro 2013-04-02T06:42:24Z 2013-04-02T09:56:44Z <p>Consider the two-dimensional lattice $G=(\mathbb{Z}^2,\mathbb{E}^2)$, where edge set $\mathbb{E}^2$ is given by the pairs of nearest neighbors in the $\ell^1$ norm in $\mathbb{Z}^2$. Let $V\subset\mathbb{Z}^2$ an infinite subset and suppose that $G[V]$, the induced subgraph, is connected. Let $\Lambda_n=([-n,n]\times[-n,n])\cap \mathbb{Z}^2$ be a sequence of squares on the two-dimensional lattice. Suppose additionally that $$\limsup_{n\to\infty} \frac{|V\cap \Lambda_n|}{|\Lambda_n|}=0.$$ <b>Question:</b> under the above conditions is it true that the independent bond percolation, with parameter $p$, on $G[V]$ is trivial, in the sense that for any $p\in [0,1)$ we do not have almost surely an infinite cluster ?</p> <p>I suspect that the answer is affirmative and this is considered in the literature, but until now I only found trivial examples of such graphs $G[V]$, basically constructed from the one-dimensional lattice, where there is no percolation.</p> http://mathoverflow.net/questions/35823/is-this-a-c-infty-function Is this a $C^{\infty}$ function ? Leandro 2010-08-17T01:37:40Z 2012-11-12T11:53:14Z <p>Let be $(a_n)\in\ell^2(\mathbb N)$ and consider the mapping $f:\ell^2(\mathbb N)\to\ell^2(\mathbb N)$ given by $$f\Big((a_n)\Big)=(a_n^n).$$ <b>Question:</b> Is $f$ a Fréchet $C^{\infty}$ function in whole $\ell^2(\mathbb N)$ ?</p> <p>If the answer for the previous question is no. Is there a non-linear $C^{\infty}$ function, defined in some Banach space that maps a closed bounded set onto a non bounded set ? </p> http://mathoverflow.net/questions/97277/lower-bound-for-double-sums-with-power-law-decay-terms Lower bound for double sums with power law decay terms. Leandro 2012-05-18T06:46:51Z 2012-05-18T06:46:51Z <p>This question is related to a work in progress about Ballistic-Diffusive phase transition for some random polymers with long range self-repulsion. The motivation to ask here if the inequality below holds is to avoid a length analysis in this paper. Let <code>$0\leq i&lt;j\leq N$</code> be integers and $\alpha \in (3,4]$ is there a constant $C>0$ independent of $i,j$ and $N$ such that $$\frac{C}{|i-j|^{\alpha-2}}\leq \sum_{0\leq k\leq i&lt; j\leq r \leq N} \frac{1}{|k-r|^{\alpha}}$$ holds ?</p> <p><b>Remark:</b> similar upper bound holds, to get it I simply compared this sum with a double integral. For the lower bound it seems that such comparison does not work.</p> http://mathoverflow.net/questions/3044/tools-for-collaborative-paper-writing/89632#89632 Answer by Leandro for Tools for collaborative paper-writing Leandro 2012-02-27T04:06:57Z 2012-02-27T04:06:57Z <p>There is a new project called Sharelatex the website is <a href="http://www.sharelatex.com%20/" rel="nofollow">www.sharelatex.com</a> </p> <p>It is a web application where the collaborators can edit the text at the same time. We can get a free account to test the software. </p> http://mathoverflow.net/questions/89528/measures-that-satisfy-a-0-1-law/89631#89631 Answer by Leandro for Measures that satisfy a 0/1 law Leandro 2012-02-27T03:47:53Z 2012-02-27T03:47:53Z <p>I would like to point out that extremal Gibbs measures are interesting class of measures that can be defined over $2^{\omega}$ and satisfies a zero-one law, not in the whole $\sigma$-algebra generated by the cylinder sets, but in the tail $\sigma$-algebra.</p> <p>In several cases this approach agree with the Anthony suggestion. In the Gibbs measure theory dependence is constructed in very geometric way. Another interesting feature is: no group action invariance is required. Some theorems of ergodic theory are proved in this context. There is also a Choquet's Theorem. </p> <p>If you want to get the details the classical mathematical reference is <strong>Gibbs Measures and Phase Transitions</strong> by Hans-Otto Georgii. The zero-one law is proved in the page 115 of the first edition. </p> <p>There are some online options which are not so general as Georgii, but covers the space you are interested in and proves the zero-one law</p> <p>A. Bovier: Lecture notes Gibbs measures and phase transitions - part 1.<br> <a href="http://www-wt.iam.uni-bonn.de/~bovier/files/note1.pdf" rel="nofollow">http://www-wt.iam.uni-bonn.de/~bovier/files/note1.pdf</a></p> <p>A. Bovier: Lectures notes Gibbs measures and phase transitions - part 2.<br> <a href="http://www-wt.iam.uni-bonn.de/~bovier/files/note2.pdf" rel="nofollow">http://www-wt.iam.uni-bonn.de/~bovier/files/note2.pdf</a></p> http://mathoverflow.net/questions/79047/roots-of-taylor-polynomials-of-analytic-function-with-finite-radius-of-convergenc Roots of Taylor Polynomials of analytic function with finite radius of convergence Leandro 2011-10-25T03:49:33Z 2011-10-25T04:40:04Z <p>In 1914 Jentzsch proved that if $$g(z)=1+a_1z+\ldots+a_nz^n+\ldots$$ has the unit circle as circle of convergence then every point of this circle is a cluster-point of zeros of partial sums $$s_n(z)=1+a_1z+\ldots+a_nz^n.$$ I was wodering if you could point me out an alternative English written reference for <em>Untersuchungen zur Theorie der Folgen analytischer Functionen. Inaud.-diss., Berlin</em> where the proof of this theorem is presented in details. </p> http://mathoverflow.net/questions/78114/how-much-universality-is-there-for-contact-processes/78193#78193 Answer by Leandro for How much universality is there for contact processes? Leandro 2011-10-15T07:23:12Z 2011-10-15T19:51:30Z <p>Hi Gowers,</p> <p>In this paper: Sidoravicius, V. and Kesten, H . A shape theorem for the spread of an infection. Annals of Mathematics, v. 167, p. 1-63, 2008,</p> <p>the authors consider a different model, but they were interested in the shape problem like you. One time before publish thi paper Vladas told me that about a model, similar to what you describe and also that there is a believe about universality for those models, perhaps they discuss this on this reference.</p> <p>Here is a <a href="http://arxiv.org/pdf/math/0312511v1" rel="nofollow">link for the arxiv version of this paper.</a></p> http://mathoverflow.net/questions/78002/infinite-dimensional-vector-spaces-with-compact-unit-ball Infinite dimensional vector spaces with compact unit ball Leandro 2011-10-13T06:33:44Z 2011-10-13T13:46:57Z <p>Let $X$ be an infinite dimensional vector space over a field $\mathbb{K}$. Suppose that $(X,\|\cdot\|)$ is a complete normed vector space, in the sense that any Cauchy sequence is convergent. Suppose that the closed unit ball of $X$ is compact in the strong topology. </p> <p><br><strong> Question 1.</strong> Is $X$ necessarily isomorphic to some finite dimensional Banach space ? </p> <p><br><strong> Question 2.</strong> If the answer for the question 1 is <strong> no </strong>, can we always find in $\mathcal{L}(X,X)$ an unbounded linear operator ?</p> <p>Different from this question <a href="http://mathoverflow.net/questions/77750/is-there-an-infinite-dimensional-banach-space-with-a-compact-unit-ball" rel="nofollow">Is there an infinite-dimensional Banach space with a compact unit ball?</a> I would like to assume the axiom of choice. </p> <p><strong>Comment. </strong> The example I have in mind is $(\mathbb{R}^n,\|\cdot\|_{2})$ as $\mathbb{Q}$ vector space. Clearly <code>$\text{dim}_{\mathbb{Q}}\ \mathbb{R}^n=\infty$</code> and the unit ball is compact and this space is complete with respect to the standard Euclidean norm $\|\cdot\|_2$, but in this example both questions 1 and 2 are trivial. </p> http://mathoverflow.net/questions/15242/comparing-number-of-spanning-subgraphs Comparing number of spanning subgraphs Leandro 2010-02-14T07:25:09Z 2011-10-06T01:43:01Z <p>Hi all,</p> <p>Let be $G_n=(V_n,E_n)$ a finite graph, where $V_n= \{0,1,\ldots, n\} \times\{0,1,\ldots,n\}$ </p> <p>and $E_n\subset V_n^{(2)}$ is the edge set of the nearest neighbors in the $\ell^1$ norm, that is, $\ E_n=\{\ \{z,w\}\subset V_n; \ \sum_{i=1}^2 |z_i-w_i| =1 \ \}.$ </p> <p>Fix a vertex $x=(x_1,x_2)\in G_n$ such that $x_2>x_1$ (up-diagonal). I would like to know if it is true the following inequality:</p> <p>$\sharp[m,p]_{x}\leq \sharp[p,m]_x$, whenever $p &lt; m$</p> <p>where $[m,p]_{x}$ is the set of all spanning subgraphs of $G_n$ satisfying the following properties:</p> <p>1- the spanning subgraph has $m$ horizontal edges and $p$ vertical edges;</p> <p>2- the vertices $(0,0)$ and $x=(x_1,x_2)$ are in the same connected component,</p> <p>and $\sharp A$ is the cardinality of $A$.</p> <p>In other words, if I have avaliable more vertical edges than horizontal ones is it true that I can find more configurations connecting $0$ and $x$ if $x$ is up-diagonal than in case that the quanties of horizontal and vertical are inverted ? </p> <p>Thanks in advance for any idea or reference.</p> http://mathoverflow.net/questions/73705/is-this-an-injective-function Is this an injective function ? Leandro 2011-08-25T22:22:54Z 2011-08-25T22:22:54Z <p>Hi all, </p> <p>I got stuck with a problem that pop up in a paper about location of zeros for some analytic functions that I am working on.</p> <p>The problem is the following: Fix two arbitrary positive integers $N$ and $n$. Let $\tilde{\ln}$ be the branch of the logarithm such that its imaginary part take values in $(0,2\pi)$. Is it true that for each $1\leq k\leq n$ the equation $$z^N-\tilde{\ln}z-\frac{1}{N}-\frac{\ln_{\mathbb{R}}N}{N}=\frac{2\pi ik}{n}\qquad\qquad (1)$$ has exactly one solution in <code>$$U_N(\varepsilon)=B(0,\sqrt[N]{N})- \bigcup_{j=1}^{N}B(w_j,\varepsilon)-\{0\},$$</code> where $w_j=\frac{1}{\sqrt[N]{N}}e^{\frac{2\pi ij}{N}}$, for all $\varepsilon&lt;&lt;1$ ?</p> <p><strong>Observation: </strong> In the case $N=1$, for any fixed $k$, if there are solutions for (1) it lives in the Szëgo curve, which is given by the equation $|ze^{1-z}|=1$. In this case to decide if the solution is unique, for a fixed $k$, in <code>$U_1(\varepsilon):=B(0,1)-B(1,\epsilon)-\{ 0\}$</code> it is enough to show that $g:U_1(\varepsilon)\to g(U(\varepsilon))$, given by $$g(z)=\frac{e^z}{z}$$ is a biholomorphism. I suspect that the inequality $\delta(\epsilon)&lt;|g'(z)|$ for $z\in U_1(\varepsilon)$ it is enough to prove this fact. This condition remember me the Jacobian conjecture. I don't know about this conjecture for one complex variable functions. I mentioning this case, because of the uniqueness in (1) for general $N$, can be obtaining by proving that $g:U_N(\varepsilon)\to g(U_N(\varepsilon))$ given by $$g(z)=\frac{e^{z^N}}{z}$$ is a biholomorphism. The choice of $U_N(\varepsilon)$ it certainly not the maximal domain where this function is bijective, I am considering just based on the observation that the zeros of $g'$ are not in the closure of $U_N(\varepsilon)$.</p> <p>I appreciate any help. </p> http://mathoverflow.net/questions/34415/relation-between-hausdorff-dimension-and-bowens-equation Relation between Hausdorff dimension and Bowen's equation Leandro 2010-08-03T17:10:51Z 2011-06-18T02:18:54Z <p>I am reading the paper <i> Hausdorff dimension for Horseshoes,</i> by McCluskey and Manning. In the following theorem <br> <b> Theorem: </b> Let $\Lambda$ be a basic set for a $C^1$ axiom A diffeomorphism $f:M^2\to M^2$ with $(1,1)$ splitting $$T_{\Lambda}M=E^s\oplus E^u.$$ Define $\phi:W^u(\Lambda)\to\mathbb R$ by $$\phi(x)=-\log(\|Df_x|_{E^u_x}\|)$$ then the Hausdorff dimension of $W^u(x)\cap\Lambda$ is given by the unique $\delta$ for which $$P_{f|_{\Lambda}}(\delta\phi)=0 \qquad \qquad (1)$$ the authors compute the Hausdorff dimension of $\Lambda\cap W^u_x$ by using the Bowen's equation (1). I read the proof but I was not able to figure out the intuition behind the Bowen's equation in this theorem. Could you give me explanation (do not need to be rigorous) about that or point out a reference ? </p> http://mathoverflow.net/questions/52251/ising-model-on-groups/67923#67923 Answer by Leandro for Ising model on groups Leandro 2011-06-16T09:36:29Z 2011-06-16T09:36:29Z <p>Hi Marcin, </p> <p>recently writing a paper about phase transition on the Ising model with positive non-uniform magnetic field in infinite graphs I discovered that joining some results in the literature we can relate amenability and Phase transition in the Ising model with positive magnetic field: </p> <blockquote> Theorem 1: If $G$ is a non-amenable infinite connected graph then there is a ferromagnetic Ising model on $G$, with constant positive magnetic field having phase transition. </blockquote> <p>There is a partial converse of this result for quasi-transitive amenable graphs. A infinite graph $G=(V,E)$ is quasi-transitive if there exist a finite number of vertices $x_1,\ldots,x_k$ such that for any $x\in V$, there is an automorphism of $G$ taking $x$ to some $x_i$. </p> <blockquote> Theorem 2: If $G$ is a amenable quasi-transitive infinite connected graph then all ferromagnetic Ising model on $G$, with constant positive magnetic field has no phase transition. </blockquote> <p>Theorem 2 is interesting converse because of the quasi-transitive hypothesis can not be removed since Bausev shown that we have phase transition in ferromagnetic Ising model with magnetic field being constant at all sites of the lattice $\mathbb{Z}^2 \times \mathbb{Z}_+$ .</p> <p><strong> Definitions. </strong> <br> An Ising model on a graph $G=(V,E)$ is defined as follows: </p> <p>Let $\mathcal{L}$ be the set of finite parts of $V$ and suppose that $\Lambda_n\in\mathcal{L}$ is such that $\cup_{n\in\mathbb{N}}\ \Lambda_n=G$. The Hamiltonian of the Ising model in $\Lambda_n$ with a boundary condition <code>$\omega\in \{-1,1\}^{V}$</code> is given by <code>$$H_{\Lambda_n}(\sigma|\omega)= -\sum_{\substack{i,j\in E:\\ i,j\in\Lambda_n}} J\ \sigma_i\sigma_j -\sum_{i\in \Lambda_n}h_i \ \sigma_i - \sum_{\substack{i,j\in E:\\ i\in\Lambda_n,j\in\Lambda_n^c}} J\ \sigma_i\omega_j,$$</code> where <code>$\sigma=(\sigma_i)_{i\in V}\in\{-1,1\}^{V}$</code>, $J\in\mathbb{R}$ (the model is called ferromagnetic of $J>0$) and $h_i\in\mathbb{R}$ is said the magnetic field. Finally we say that this Ising model has phase transition if the closed convex hull of the set <code>$$\left\{w-\lim_{\Lambda_n\uparrow G}\ \mu_{\Lambda_n}^{\beta,\omega}:\omega\in\{-1,1\}^{V} \right\}$$</code> is singleton for all $\beta>0$. The measures $\mu_{\Lambda_n}^{\beta,\omega}$ are defined by <code>$$\mu_{\Lambda_n}^{\beta,\omega}(\sigma)= \left\{ \begin{array}{rl} \frac{\exp(-\beta H_{\Lambda_n}^{\omega}(\sigma))}{Z_{\Lambda_n}^{\omega}},&amp;\text{if}\ \sigma_i=\omega_i\ \forall i\in\Lambda_n^c;\\ 0,&amp; \text{otherwise}, \end{array} \right.$$</code></p> <p>One nice reference about the results I stated above is Jonasson, J. and Steif, J. E.: Amenability and Phase Transition in the Ising Model. J. Theor. Probab. 12, 549-559 (1999).</p> http://mathoverflow.net/questions/67739/how-to-prove-this-poincare-inequality How to prove this Poincare Inequality Leandro 2011-06-14T07:16:05Z 2011-06-14T09:00:12Z <p>Hi, </p> <p>I want to ask a question about a statement that I found on the paper: Principal Eigenvalues for Problems With indefinite Weight Function in $R^N$. </p> <p>The statement is the following: </p> <p>Suppose that $g:\mathbb{R}^2\to\mathbb{R}$ is a $C^{\infty}$ function which changes sing on $\mathbb{R}^2$ and there exist constants $K,R>0$ such that $g(x)\leq-K$ for $|x|>R$. Let $B$ a ball such that $$\int_{B} g(x) dx &lt;0$$<br> and $g(x)&lt;0$ if $x\in \mathbb{R}^2\setminus B$. </p> <blockquote> I would like to know why is true that there exist a positive constant $C_1>0$ such that $$\int_{B} u^2 dx \leq C_1\int_{B}|\nabla u|^2 dx$$ for all $u\in H^1(B)$ with $\int_{B}g u^2 dx>0$ ? </blockquote> <p>The authors give the following reference for this result: K.J. Brown, S.S. Lin and A. Terkitas, Existence and noexistence of steady-state solutions for a selection-migration model in popular genetics. J. Math. Biol. 27 (1989), 91-104. </p> <p>I can't have access to this paper that's why I am posting this question here. </p> <p>I am trying to prove this inequality, but the results I know are based on arguments that requires compact support for $u$ or mean zero. I appreciate if some specialist can give me a hint on how to prove this inequality for the general case (neither compact support or mean zero) or provide an alternative reference where it is proved. Thanks.</p> http://mathoverflow.net/questions/66845/a-general-lipschtiz-potential-can-be-specified-by-a-gibbs-specification A general Lipschtiz potential can be specified by a Gibbs specification ? Leandro 2011-06-03T19:23:49Z 2011-06-04T19:30:04Z <p>I want to consider one-dimensional system on the lattice $\mathbb{L}=\mathbb{N}$. Let be $A:(\mathbb{S}^1)^{\mathbb{L}}\to\mathbb{R}$ a lipschtiz potential. Consider the Ruelle operator <code>$$\mathcal{L}_{A}(\psi)(x)=\int_{\mathbb{S}^1} e^{A(ax)} \psi(ax)\ da$$</code> where $x\in(\mathbb{S}^1)^{\mathbb{N}}$ and $ax=(a,x_1,x_2,\ldots)\in (\mathbb{S}^1)^{\mathbb{N}}$ and $da$ is the normalized Lebesgue measure on $\mathbb{S}^1$. Let $\mu$ the Gibbs measure constructed from $\mathcal{L}_A$ in the standard way.</p> <p>Let $\Lambda_n=[0,\ldots,n]\cap\mathbb{Z}$ and $\mathscr{T}_{\Lambda_n}$ the external $\sigma$-algebra as defined in the Georgii's book. <br></p> <p><strong> Question.</strong> Is there any Gibbs specification <code>$\gamma=(\gamma_{\Lambda_n})_{n\in\mathbb{N}}$</code> such that</p> <p><code>$$\mu(A|\mathscr{T}_{\Lambda_n})(x)=\gamma_{\Lambda_n}(A|x) \quad \mu-\text{a.s.} ?$$</code> </p> <p>The answer is simple if $A$ is a potential depending only on finite number of coordinates or other words, if $A$ is a short range potential. </p> <p>Since I am considering $A$ is lipschtiz, it seems reasonable to fix some configuration $\omega_0\in\mathbb{S}^{\mathbb{N}}$ and consider a sequence of truncated potentials as follows </p> <p><code>$$\Phi_n=(\Phi^n_{\Gamma})_{\Gamma\subset \mathbb{N}},$$</code> where <code>$$\Phi^n_{\Gamma}(x)= \left\{ \begin{array}{rl} -A(x_1,\ldots,x_{n},\omega_{n+1},\ldots),&amp; \text{if}\ \Gamma=\{1,\ldots,n\}; \\ 0,&amp;\text{otherwise}. \end{array} \right.$$</code> Now we consider the respective specifications given by these potentials and ask if the unique $\mu_n\in\mathcal{G}(\Phi_n)$, converges to the measure $\mu$ for any choice of $\omega_0$. </p> <p>The main motivation to post this question is to know if there is a standard procedure to obtain the measure $\mu$ from the specification point of view. I also appreciate any comments about the aproximatoin scheme I described above. Any help or reference is welcome. Thanks.</p> http://mathoverflow.net/questions/63952/can-be-this-operator-extended-to-an-unbounded-self-adjoint-operator Can be this operator extended to an unbounded self-adjoint operator ? Leandro 2011-05-04T22:19:00Z 2011-05-05T01:25:08Z <p>Consider an enumeration <code>$\{q_1,q_2,\ldots\}$</code> of $\mathbb{Q}\cap [1,\infty)$ and a orthogonal Schauder basis <code>$\{e_1,e_2,\ldots\}$</code> of $\ell^2(\mathbb{N})$. Define $Ae_{2k-1}=e_{2k-1}$ and $Ae_{2k}=q_ke_{2k}$ for all $k\geq 1$. <br> <strong> Question 1: </strong> Is it possible to extend $A$ to a linear self-adjoint operator defined in some infinite dimensional subspace of $\ell^2(\mathbb{N})$ ?</p> <p>If I am not wrong, this possible linear self-adjoint extension of $A$ can not be defined everywhere in $\ell^2(\mathbb{N})$ and I would like to know if the following set <code>$$\left\{ v\in \ell^2(\mathbb{N}); v=\lim_{n\to\infty} \sum_{i=1}^n\alpha_ie_i \ \text{and}\ \ \lim_{n\to\infty}\sum_{i=1}^n q_i\alpha_ie_i \in \ell^2(\mathbb{N}) \right\}$$</code> is a good candidate to be the domain of $A$ ? <br> <strong> Question 2:</strong> Is the point spectrum <code>$\sigma_p(A)\supset \{q_1,\ldots,q_n,\ldots\}$</code> ? <br></p> <p><strong> Motivavation: </strong> I would like to know if there is an example of an unbounded self-adjoint operator such that the point spectrum is not composed only by isolated points in $\mathbb{R}$ and there is at least one eigenvalue with infinite dimensional eigenspace.</p> http://mathoverflow.net/questions/28649/how-many-hamiltonians-paths-there-are-in-almost-regular-graph How many Hamiltonians Paths there are in almost regular graph ? Leandro 2010-06-18T18:10:06Z 2011-04-20T21:19:01Z <p>Let be $G=(V,E)$, where <code>$V=\{1,\ldots,n\}$</code> and <code>$E=\{\{i,j\}\subset V;|i-j|\leq k\}$</code> and <code>$k&lt;n$</code>.<br> For which values of $k\geq 2$, can we count explicitly the number of Hamiltonian paths in $G$ ? </p> http://mathoverflow.net/questions/58813/if-g-is-amenable-when-g-times-g-is-amenable If $G$ is amenable, when $G\times G$ is amenable ? Leandro 2011-03-18T06:36:14Z 2011-04-19T18:11:39Z <p>I am not specialist on Topological Group Theory, I apologize if this is a trivial question. </p> <p><strong> Question.</strong> If $G_1=G_2$ are amenable topological groups what additional hypothesis we have to consider on the group, in order to prove that $G_1\times G_2$ is amenable ?</p> <p>Following Leinster, in this question <a href="http://mathoverflow.net/questions/12169/why-are-abelian-groups-amenable" rel="nofollow"> Why are abelian groups amenable?</a>,<br> "The direct product of two amenable groups is amenable. This isn't exactly trivial, but the measure on the product is at least constructed canonically from the two given measures." <br> So discreteness of the $G_1$ and $G_2$ are enough to prove that $G_1\times G_2$ is amenable and also we do not need to suppose that $G_1=G_2$. </p> <p>Looking for a proof, in more general cases, I found the following statement: <br> "... direct product $G_1\times G_2$ of two countable amenable groups can not be amenable."<br> in the paper, On Subadditive Processes on Direct Product of Countable Amenable Groups by Seyit Temir - Publications De l'Institute Mathématique (2002), 119-122.</p> <p>Since the author did not mention if the example needs two different groups and I have no access to the paper containing this information, I decided to post this question.</p> <p>I would be grateful if you could point me out some references discussing about this problem. </p> http://mathoverflow.net/questions/60856/hamilton-paths-in-k-2n Hamilton Paths in $K_{2n}$ Leandro 2011-04-06T22:57:34Z 2011-04-06T23:24:27Z <p>Hi, </p> <p>I am teaching this semester graph theory for undergraduate students. Now, I am discussing with them about Hamilton Paths in finite graphs. Last time we meet, I presented the following theorem: </p> <blockquote> <strong>Theorem.</strong> For $n\geq 3$ the complete graph $K_n$ is decomposable into edge disjoint Hamilton cycles iff n is odd. For $n\geq 2$ the complete graph $K_n$ is decomposable into edge disjoint Hamiltonian paths iff $n$ is even. </blockquote> <p>During the class I noted that my argument to prove this theorem was not complete. I started proving that the second statement implies the first one, which is ok. But I had not a correct argument to show that there exist an edge disjoint decomposition of $K_n$ in $n/2$ Hamilton paths if $n$ is even. </p> <p>Can we explicitly construct such decomposition or just present an existence argument ? </p> http://mathoverflow.net/questions/44417/on-generalisation-of-aizenman-higuchi-theorem On generalisation of Aizenman-Higuchi Theorem Leandro 2010-11-01T05:23:51Z 2011-02-21T10:11:21Z <p>Let $\mathbb Z^2$ denote the two-dimensional integer lattice with norm of $i=(i_1,i_2)$ given by $\|i\|=|i_1|+|i_2|$. </p> <p>For each $x\in\mathbb Z^2$, we assign a uniform random variable, $\sigma_x$ taking values on the set <code>$\{-1,1\}$</code>.</p> <p>Fix <code>$\omega\in\{-1,0,1\}^{\mathbb{Z}^2}$</code> and $\beta>0$. For each finite $\Lambda\subset\mathbb{Z}^d$, define a probability measure on the sigma algebra generated by the cylinder sets of <code>$\{-1,1\}^{\mathbb{Z}^2}$</code>, such that for each <code>$\sigma\in\{-1,1\}^{\mathbb{Z}^2}$</code> the probability of this configuration is given by <code>$$\mu_{\Lambda}^{\beta,\omega}(\sigma)= \left\{ \begin{array}{rl} \frac{\exp(-\beta H_{\Lambda}^{\omega}(\sigma))}{Z_{\Lambda}^{\omega}},&amp;\text{if}\ \ \sigma_i=\omega_i\ \forall i\in\Lambda^c;\\ \\ \\ 0,&amp; \text{otherwise}, \end{array} \right.$$</code> where $$H_{\Lambda}^{\omega}(\sigma)=-\sum_{i,j\in\Lambda}J_{ij}\sigma_i\sigma_j-\sum_{i\in\Lambda, j\in\Lambda^c}J_{ij}\sigma_i\omega_j$$ with $J_{ij}\equiv J(\|i-j\|)\geq 0$ and $J_{ij}=0$ if $\|i-j\|\geq R$, for some positive $R$ and $Z_{\Lambda}^{\omega}$ is a normalizing constant so that $\mu_{\Lambda}^{\beta,\omega}$ is a probability measure.</p> <p><strong>Question 1: </strong> If $\Lambda_n\uparrow\mathbb{Z}^2$ and $\omega_i=0$ for all $i\in\mathbb{Z}^2$, sounds reasonable that any accumulation point of the sequence $\mu_{\Lambda_n}^{\beta,\omega}$, in the weak* topology, is translation invariant. Is this true for any finite $R$ ?</p> <p><strong>Question 2:</strong> Suppose $R$ finite and bigger than one, keeping the setting of Question 1 but $\omega_i=1$ (or $\omega_i=-1$) for all $i\in\mathbb{Z}^2$ is the weak* limit $$w-\lim_{n\to\infty} \mu_{\Lambda_n}^{\beta,\omega}$$<br> translational invariant ? </p> <p><strong>Question 3: </strong> For finite $R$ bigger than one is it true the Aizenman-Higuchi Theorem<br> $$w-\lim_{n\to\infty} \mu_{\Lambda_n}^{\beta,\omega}\in [\mu^{\beta,+},\mu^{\beta,-}] ?$$</p> http://mathoverflow.net/questions/55649/exponential-bounds-for-the-number-of-lattice-animals-with-a-given-boundary Exponential bounds for the number of lattice animals with a given boundary. Leandro 2011-02-16T18:11:15Z 2011-02-18T18:47:47Z <p>Hi all, </p> <p>I am doing a work in collaboration with other mathematicians about phase transition in the Ising model and we need to know if exponential upper bounds exist for the number of lattice animals with boundary of size $n$. </p> <p>To be precise, consider the square lattice $\mathbb{Z}^2$ as graph where the edges are pairs of points in the lattice having distance one from each other, where the distance is induced by the norm $\|(z_1,z_2)\|=|z_1|+|z_2|$. </p> <p>We call a lattice animal the set of vertices of any connected subgraph of the square lattice. Given an animal $A$, we denote the boundary of $A$ by $\partial A$, that is, the set of vertices of distance one from $A$. </p> <p>Fix a site $z\in \mathbb{Z}^2$ and let be<br> <code>$$f(n)=\sharp \{A\ \text{is lattice animal}; A\ni z\ \text{and}\ |\partial A|=n\}$$</code><br> Is it known if $f(n)=O(e^{k n})$ ?</p> <p>I learned from google that this problem is also known in the combinatorics community as enumeration of polyominoes with a given site-perimeter. </p> <p>All the papers I found about the upper bounds at some point have to impose some geometric hypotheses on the polyominoes such as convexity, starcase shape or bargraph shape. </p> <p>I don't know yet if those hypotheses are being used in order to get sharp upper bounds or if they are the only ones available. </p> <p>If the question about exponential upper bound is not yet solved, is there a specialist in this area who could tell me what they think about the upper bound for this problem.</p> http://mathoverflow.net/questions/52454/vanishing-trace/52469#52469 Answer by Leandro for Vanishing Trace Leandro 2011-01-19T04:05:11Z 2011-01-19T04:40:45Z <p>The Igor's answer also works if $a$ is compact self-adjoint and $\mathcal{H}$ is isomorphic to $\ell^2(\mathbb{N})$ .</p> <p>Because of the spectral theorem and $\text{Tr}(a)=0$, for any $v\in \mathcal{H}$ we have :</p> <p>$$\langle v,av\rangle =\sum_{i=1}^{\infty}\lambda_i v^2_{r_i} -\sum_{i=1}^{\infty}\beta_i v^2_{s_i}\qquad (1)$$</p> <p>where $(\lambda_i)_{i\in\mathbb{N}}\neq (0,0,\ldots)$ and $(\beta_i)_{i\in\mathbb{N}}\neq (0,0,\ldots)$ and for all $i$ we have $\lambda_i,\beta_i\geq 0$. Here $\lambda$'s and $\beta$'s form the spectrum of $a$.</p> <p>Note that $\ell^2(\mathbb{N})=V_+\oplus V_{-}$, where the spaces $V_{+}=\bigoplus_{i=1}^{\infty}e_{r_i}$ and $V_{-}=\bigoplus_{i=1}^{\infty}e_{s_i}$</p> <p>We can rewrite (1) as</p> <p>$|||\pi_{1}(v)|||$- $||\pi_{2}(v)||=0,$</p> <p>where the norms appearing above are defined on the subspaces $V_{+}$ and $V_{-}$ by two positive bilinear forms associated to the $\lambda$'s and $\beta$'s respectively and $\pi_1$ and $\pi_2$ are projections on the subspaces $V_{+}$ and $V_{-}$ . </p> <p>Taking an orthonormal sets in both spaces in the unit ball, we can find the vectors you want. I guess this idea can be generalized using the functional calculus.</p> http://mathoverflow.net/questions/51898/convergence-of-alternating-harmonic-sums/51922#51922 Answer by Leandro for Convergence of alternating harmonic sums Leandro 2011-01-13T06:16:58Z 2011-01-13T06:16:58Z <p>This is not an answer, but it is too long for a comment.</p> <p>Hi Wadim, nice problem. I was trying to obtain a partial answer for it based on the following </p> <p><b>Proposition.</b> Let be $\xi_1,\xi_2,\ldots$ a sequence of independent Bernoulli random variables with $\mathbb{P}(\xi_n=+1)=\mathbb{P}(\xi_n=-1)=\frac{1}{2}$, then the series $\sum \xi_n a_n$, with $|a_n|\leq c$, converges with probability 1, if and only if $\sum a_n^2&lt;\infty$.</p> <p>The idea it was consider $a_n=\frac{1}{n}$, and try to analyse the set <code>$$A:=\left\{\Big((-1)^{n+[n^{\alpha}]}\Big)_{n\in\mathbb{N}}; 0\leq \alpha&lt;1 \right\} \subset \{-1,1\}^{\mathbb{N}}.$$</code><br> In case that $\mathbb{P}(A)\neq 0$, since this product measure has no atoms we could, at least, say that the set of $\alpha$'s for which the series is convergent is non-enumerable. </p> http://mathoverflow.net/questions/48045/why-are-matrices-ubiquitous-but-hypermatrices-rare/48128#48128 Answer by Leandro for Why are matrices ubiquitous but hypermatrices rare? Leandro 2010-12-03T03:03:30Z 2010-12-03T03:03:30Z <p>Hi Joseph, </p> <p>it seems that the basic difference between hypermatrices and matrices is the indexation. </p> <p>Let me explain what I mean. Consider a finite graph $G=(V,E)$ (the graph structure is not important I mentioning this just to refer to some geometrical interpretation of the index) and a collection of numbers $$(A_{v,w})_{(v,w)\in V\times V}.$$</p> <p>Despite this list have a "two dimensional" character (bi-indexed) it is in fact a hypermatrice. </p> <p>The way to import to hypermatrices the results of standard theory of matrix is to define the operations as usual. The product, for instance, is <code>$$(AB)_{(v,w)}=\sum_{z\in V}A_{v,z}B_{z,w}.$$</code></p> <p>The determinant and other important objects can also be defined in this way by replacing the group $\mathbb{S}_n$ by automorphisms of $V$ and so on. </p> <p>So I guess that do not pop up any interesting feature that justify to give a great attention to this object. Because one can see them just as a replacement of the indexation process. </p> <p>For the other hand in fields like statistical mechanics and percolation they are much more natural in high dimensional problems than the usual matrices. When we define $p_{uv}$ the probability to see the edge <code>$\{u,v\}$</code> open or when we are leading with the coupling constants $J_{i,j}$ in the Ising model, all of them are hypermatrices and its linear algebra structure are frequently arise in proofs of important results in correlations inequalities.</p> http://mathoverflow.net/questions/47302/is-there-an-example-of-gibbs-measure-that-is-not-a-weak-limit-of-finite-volume-gi Is there an example of Gibbs measure that is not a weak limit of finite volume Gibbs measure ? Leandro 2010-11-25T06:11:42Z 2010-12-01T12:08:13Z <p>Consider the first neighbors Ising model in $\mathbb Z^2$, with the Hamiltonian in the finite volume $\Lambda\subset\mathbb{Z}^2$ given by $$H_{\Lambda}(\sigma|\omega)=-J\sum_{i,j\in\Lambda\atop{\|i-j\|=1}}\sigma_i\sigma_j-J\sum_{i\in\Lambda, j\in\Lambda^c\atop{\|i-j\|=1}}\sigma_i\omega_j$$ where <code>$\omega\in\{-1,1\}^{\mathbb{Z}^2}$</code> is a boundary condition. </p> <p>By the Aizenman-Higuchi Theorem for any $\beta>0$, we have that closed convex hull of the weak limits of Gibbs measures in finite volume is the convex set $[\mu^{\beta,+},\mu^{\beta,-}].$</p> <p><strong>Question: </strong> Is there any $\beta>\beta_c$ and $\lambda\in(0,1)$ such that $$\mu=\lambda\mu^{\beta,+}+(1-\lambda)\mu^{\beta,-}$$ and<br> <code>$$\mu\notin \left\{w-\lim_{\Lambda\uparrow\mathbb{Z}^2}\ \ \mu_{\Lambda}^{\beta,\omega}:\omega\in\{-1,1\}^{\mathbb{Z}^2} \right\} \ \ ?$$</code></p> http://mathoverflow.net/questions/47396/what-refzc-can-be-if-f-is-a-holomorphic-function What $Re(f(z))=c$ can be if $f$ is a holomorphic function ? Leandro 2010-11-26T04:24:21Z 2010-11-26T16:43:31Z <p>Suppose that $f:U\subset\mathbb{C}\to\mathbb{C}$, where $U$ is a region in the complex plane, is a holomorphic function. </p> <p>Of course, if $c\in\mathbb{R}$ is a regular value for $\text{Re}(f(z))$ then $\text{Re}(f(z))^{-1}(c)$ is an union of differentiable curves in the plane. </p> <p><strong> Question: </strong></p> <p>If $c$ is not a regular value and $\text{Re}(f(z))^{-1}(c)$ have at least one cluster point is this set also a piece-wise differentiable curve ?</p> http://mathoverflow.net/questions/27549/for-which-values-of-n-is-known-the-lieb-simon-inequality-for-z-n-models For which values of $N$ is known the Lieb-Simon Inequality for $Z_N$ Models ? Leandro 2010-06-09T04:24:25Z 2010-11-24T12:22:13Z <p><strong> Background:</strong></p> <p>Let $\mathbb Z^d$ denote the $d$-dimensional integer lattice with norm $|x|=\sum_i|x_i|$. For each $x\in\mathbb Z^d$ we associate a spin variable, $\sigma_x$ taking values on the set <code>$\{\exp(2\pi i j/N);1\leq j\leq N\}$</code> with uniform a priori distribution. </p> <p>Consider the formal Hamiltonian given on the lattice $\mathbb Z^d$ by $$H_{ \Lambda }({\sigma}) = -\sum_{\langle x,y\rangle} J_{xy} \vec\sigma_{x} \vec\sigma_{y}<br>$$ where $J_{xy}$ are nonnegative constants and $\vec\sigma_x \vec\sigma_y$ is inner product in $\mathbb R^2$. The sum is taken over all pair of first neighbors $\langle x,y\rangle$ means that $|x-y|=1$. The Partition function on a finite<br> $\Lambda\subset \mathbb Z^d$ is given by $$Z_\Lambda = \int\exp\Big( \beta \sum_{\langle x,y\rangle \in \Lambda }J_{xy} \vec\sigma_x \vec\sigma_y\Big)\;d\sigma$$ where the integral is taken over all sites of $\Lambda$. The two point correlations are given by $$\langle \vec\sigma_x \vec\sigma_y \rangle_{\Lambda}= Z_{\Lambda}^{-1}\int\vec\sigma_x \vec\sigma_y\exp\Big( \beta \sum_{\langle x,y\rangle \in \Lambda }J_{xy} \vec\sigma_x \vec\sigma_y\Big) d\sigma$$ <strong> Question:</strong></p> <p>For which values of $N$ is known that the Lieb-Simon Inequality is true or false ?</p> <p><strong> Lieb-Simon Inequality</strong> $$\langle \vec\sigma_x \vec\sigma_y \rangle_{\Lambda} \leq \sum_{b \in \partial B} \bigl&lt;\vec\sigma_x \vec\sigma_b \bigr>_B \bigl&lt;\vec\sigma_b \vec\sigma_y \bigr>_\Lambda,$$ where $B\subset\Lambda\subset\mathbb Z^d$ are finite, $x,y\in\Lambda$, <code>$\partial B=\{z\in B; d(z,B^c)=1\}$</code> and $\partial B$ separates $x$ and $y$ ($i.e.$ any path from $x$ to $y$ must intercept $\partial B$).</p> http://mathoverflow.net/questions/45609/condition-for-uniqueness-of-measures Condition for Uniqueness of Measures Leandro 2010-11-10T22:14:24Z 2010-11-10T23:08:11Z <p>Let be $\Omega$ a compact metric space, $\mathcal{B}(\Omega)$ the $\sigma$-algebra of Borelian sets of $\Omega$ and $\mathcal{M}_1(\Omega)$ the set of all probabilities defined on $\mathcal{B}(\Omega)$. </p> <p>Suppose that $\lambda,\mu\in\mathcal{M}_1(\Omega)$ are extremal points (in the sense of convex combinations) and there is a real number $c$ such that $$\lambda(A)\leq c\mu(A)\qquad\text{and}\qquad \mu(A)\leq c \lambda(A)\qquad$$ for all $A\in\mathcal{B}(\Omega)$. </p> <p>Is it true that $\mu=\lambda$ ? </p> <p>I have proved the above equality in particular cases: 1) $\Omega$ is discrete; 2) $\Omega$ is some subset of $\mathbb{R}$ (the compacity it was not necessary here). </p> http://mathoverflow.net/questions/44196/poincare-recurrence-theorem-on-infinite-measure-space Poincare Recurrence Theorem on Infinite Measure Space Leandro 2010-10-30T00:14:17Z 2010-10-30T03:09:26Z <p>Suppose that $(\Omega,\mathcal{A},\mu)$ is a $\sigma$-finite measure space of infinite measure and $T:\Omega\to\Omega$ a measure-preserving transformation with measurable inverse. Let be $\Omega_k\in \mathcal{A}$ an increasing sequence such that $\Omega_k\uparrow\Omega$ and $\mu(\Omega_k)&lt;+\infty$ for all $k\in\mathbb{N}$. </p> <p><strong> Question 1: </strong> Given a set $A\in\mathcal{A}$, such that $\mu(A)>0$, is it true that the set <code>$$E_k=\{\omega\in A; T^n(w)\notin A\ \forall n\in\mathbb{N}\ \text{and}\ T^{n_j}(w)\in \Omega_k \ \text{for some infinite sequence}\ (n_j(\omega)) \}$$</code> has zero measure ? </p> <p><strong> Question 2: </strong> If $T$ is not invertible is $\mu(E_k)=0$, in general ? </p> http://mathoverflow.net/questions/23443/on-the-convergence-of-ergodic-measures On The Convergence of Ergodic Measures Leandro 2010-05-04T15:24:19Z 2010-09-09T01:54:54Z <p>I would like to know an example (not using the Gibbs measure Theory) of a sequence of measures $\mu_n:\mathcal B\to[0,1]$ , where $\mathcal B$ is the $\sigma$-algebra of the borelians of a compact space $X$ such that :</p> <p>1) $\mu_n$ is ergodic, with respect to a fixed continuous function $T:X\to X$, for all $n\in\mathbb N$;</p> <p>2) $\mu_n\to \mu$ in the weak-$*$ topology and $\mu$ is not ergodic.</p> http://mathoverflow.net/questions/3134/whats-your-favorite-equation-formula-identity-or-inequality/36255#36255 Answer by Leandro for What's your favorite equation, formula, identity or inequality? Leandro 2010-08-21T04:28:55Z 2010-08-21T04:28:55Z <p>Cauchy integral formula $$f(z)=\frac{1}{2\pi i}\int_{\gamma}\frac{f(w)}{w-z} dw$$</p> http://mathoverflow.net/questions/126237/independent-bond-percolation-on-upper-density-zero-subgraphs-of-the-square-lattic/126249#126249 Comment by Leandro Leandro 2013-04-02T15:36:36Z 2013-04-02T15:36:36Z Hi Vincent, thanks for the answer. http://mathoverflow.net/questions/97277/lower-bound-for-double-sums-with-power-law-decay-terms Comment by Leandro Leandro 2012-05-18T08:58:36Z 2012-05-18T08:58:36Z Thanks for the observation Ralph, you right such lower bound can not exists. http://mathoverflow.net/questions/79047/roots-of-taylor-polynomials-of-analytic-function-with-finite-radius-of-convergenc/79049#79049 Comment by Leandro Leandro 2011-10-25T05:10:52Z 2011-10-25T05:10:52Z Hi Gerry thanks a lot for this reference. http://mathoverflow.net/questions/78730/stieltjes-transform Comment by Leandro Leandro 2011-10-21T07:07:25Z 2011-10-21T07:07:25Z @Sauravrt, see <a href="http://math.stackexchange.com/questions/74469/stieltjes-transform/74505#74505" rel="nofollow" title="stieltjes transform">math.stackexchange.com/questions/74469/&hellip;</a> I give you there a suggestion on how to prove this identity. http://mathoverflow.net/questions/78511/can-the-supremum-of-continuous-functions-be-discontinuous-on-a-set-of-positive-me/78546#78546 Comment by Leandro Leandro 2011-10-19T08:00:20Z 2011-10-19T08:00:20Z Hi Faisal, I think I will edit this answer and add the proof. http://mathoverflow.net/questions/78511/can-the-supremum-of-continuous-functions-be-discontinuous-on-a-set-of-positive-me Comment by Leandro Leandro 2011-10-19T06:31:17Z 2011-10-19T06:31:17Z @John :) you right. I should be drunk ! http://mathoverflow.net/questions/78532/generating-function-discrepancy Comment by Leandro Leandro 2011-10-19T04:57:19Z 2011-10-19T04:57:19Z Hi David, perhaps your question will be closed soon, because this site is used for research level questions in Mathematics, see FAQ. In any case it seems to me reasonable question for this site: <a href="http://math.stackexchange.com/questions" rel="nofollow">math.stackexchange.com/questions</a> http://mathoverflow.net/questions/78002/infinite-dimensional-vector-spaces-with-compact-unit-ball/78020#78020 Comment by Leandro Leandro 2011-10-14T02:20:55Z 2011-10-14T02:20:55Z Thanks Matthew for the example. The last paragraph I have to think a bit more. Anyway your example answer the question since I did not made any assumptions on the norm. http://mathoverflow.net/questions/78002/infinite-dimensional-vector-spaces-with-compact-unit-ball Comment by Leandro Leandro 2011-10-13T11:27:43Z 2011-10-13T11:27:43Z @Xabier why my example does not fulfill the conditions ? http://mathoverflow.net/questions/78002/infinite-dimensional-vector-spaces-with-compact-unit-ball Comment by Leandro Leandro 2011-10-13T10:58:51Z 2011-10-13T10:58:51Z @Matthew as you noted the field $\mathbb{K}$ will be not so general, we have to suppose that there exist a modulus function defined on it. http://mathoverflow.net/questions/78002/infinite-dimensional-vector-spaces-with-compact-unit-ball Comment by Leandro Leandro 2011-10-13T07:05:44Z 2011-10-13T07:05:44Z @Ricky thanks for point this correction. http://mathoverflow.net/questions/73705/is-this-an-injective-function Comment by Leandro Leandro 2011-08-25T22:54:52Z 2011-08-25T22:54:52Z Hi pm, I am most interested in the case were they are arbitrary. http://mathoverflow.net/questions/69151/normalization-of-a-linear-combination Comment by Leandro Leandro 2011-06-30T00:05:56Z 2011-06-30T00:05:56Z morph I misread your question, sorry about that. http://mathoverflow.net/questions/34415/relation-between-hausdorff-dimension-and-bowens-equation/68115#68115 Comment by Leandro Leandro 2011-06-18T05:32:13Z 2011-06-18T05:32:13Z Hi ljjpfx, thank you for the references, I don't knew them. http://mathoverflow.net/questions/67739/how-to-prove-this-poincare-inequality/67742#67742 Comment by Leandro Leandro 2011-06-14T08:41:09Z 2011-06-14T08:41:09Z Hi Pietro, thanks a lot.