The Edge Correlation of Random Forests

The conjecture was made by Kahn that a spanning forest F chosen uniformly at random from all forests of any finite graph G has the edge-negative association property. If true, the conjecture would mean that given any two edges ε₁ and ε₂ in G, the inequality \mathbbP(e₁ ? F, e₂ ? F) ￡ \mathbbP(e₁ ? F)\mathbbP(e₂ ? F){{\mathbb{P}(\varepsilon_{1} \in \mathbf{F}, \varepsilon_{2} \in \mathbf{F}) \leq \mathbb{P}(\varepsilon_{1} \in \mathbf{F})\mathbb{P}(\varepsilon_{2} \in \mathbf{F})}} would hold. We use enumerative methods to show that this conjecture is true for n large enough when G is a complete graph on n vertices. We derive explicit related results for random trees.     

Connectivity properties of horospheres in Euclidean buildings and applications to finiteness properties of discrete groups

Let G(O_S)\mathbf{G}(\mathcal{O}_{S}) be an S-arithmetic subgroup of a connected, absolutely almost simple linear algebraic group G over a global function field K. We show that the sum of local ranks of G determines the homological finiteness properties of G(O_S)\mathbf{G}(\mathcal{O}_{S}) provided the K-rank of G is 1. This shows that the general upper bound for the finiteness length of G(O_S)\mathbf{G}(\mathcal{O}_{S}) established in an earlier paper is sharp in this case.     

Even Galois representations and the Fontaine–Mazur conjecture

We prove, under mild hypotheses, that there are no irreducible two-dimensional ordinary even Galois representations of Gal([`(Q)]/Q)\mathrm{Gal}(\overline{\mathbf{Q}}/\mathbf{Q}) with distinct Hodge–Tate weights. This is in accordance with the Fontaine–Mazur conjecture. If K/Q is an imaginary quadratic field, we also prove (again, under certain hypotheses) that Gal([`(Q)]/K)\mathrm{Gal}(\overline{\mathbf{Q}}/K) does not admit irreducible two-dimensional ordinary Galois representations of non-parallel weight.     

On Lattices Embeddable into Lattices of Order-Convex Sets. II Star-like Posets

We find a syntactic characterization of the class \(\mathrm{\mathbf{SUB}}(\mathcal{S})\cap\mathrm{Fin}\) of finite lattices embeddable into convexity lattices of a certain class of posets which we call star-like posets and which is a proper subclass in the class of N-free posets. The characterization implies that the class \(\mathrm{\mathbf{SUB}}(\mathcal{S})\cap\mathrm{Fin}\) forms a pseudovariety.     

Higher-Order Averaging, Formal Series and Numerical Integration I: B-series

We show how B-series may be used to derive in a systematic way the analytical expressions of the high-order stroboscopic averaged equations that approximate the slow dynamics of highly oscillatory systems. For first-order systems we give explicitly the form of the averaged systems with O(e^j)\mathcal{O}(\epsilon^{j}) errors, j=1,2,3 (2π ε denotes the period of the fast oscillations). For second-order systems with large O(e^-1)\mathcal{O}(\epsilon^{-1}) forces, we give the explicit form of the averaged systems with O(e^j)\mathcal{O}(\epsilon^{j}) errors, j=1,2. A variant of the Fermi–Pasta–Ulam model and the inverted Kapitsa pendulum are used as illustrations. For the former it is shown that our approach establishes the adiabatic invariance of the oscillatory energy. Finally we use B-series to analyze multiscale numerical integrators that implement the method of averaging. We construct integrators that are able to approximate not only the simplest, lowest-order averaged equation but also its high-order counterparts.     

Differential operators and BV structures in noncommutative geometry

We introduce a new formalism of differential operators for a general associative algebra A. It replaces Grothendieck’s notion of differential operators on a commutative algebra in such a way that derivations of the commutative algebra are replaced by \mathbbDer(A){\mathbb{D}{\rm er}(A)}, the bimodule of double derivations. Our differential operators act not on the algebra A itself but rather on F(A){\mathcal{F}(A)}, a certain ‘Fock space’ associated to any noncommutative algebra A in a functorial way. The corresponding algebra D(F(A)){\mathcal{D}(\mathcal{F}(A))} of differential operators is filtered and gr D(F(A)){\mathcal{D}(\mathcal{F}(A))}, the associated graded algebra, is commutative in some ‘wheeled’ sense. The resulting ‘wheeled’ Poisson structure on gr D(F(A)){\mathcal{D}(\mathcal{F}(A))} is closely related to the double Poisson structure on T_A \mathbbDer(A){T_{A} \mathbb{D}{\rm er}(A)} introduced by Van den Bergh. Specifically, we prove that gr D(F(A)) @ F(T_A(\mathbbDer(A)),{\mathcal{D}(\mathcal{F}(A))\cong\mathcal{F}(T_{A}(\mathbb{D}{\rm er}(A)),} provided the algebra A is smooth. Our construction is based on replacing vector spaces by the new symmetric monoidal category of wheelspaces. The Fock space F(A){\mathcal{F}(A)} is a commutative algebra in this category (a “commutative wheelgebra”) which is a structure closely related to the notion of wheeled PROP. Similarly, we have Lie, Poisson, etc., wheelgebras. In this language, D(F(A)){\mathcal{D}(\mathcal{F}(A))} becomes the universal enveloping wheelgebra of a Lie wheelgebroid of double derivations. In the second part of the paper, we show, extending a classical construction of Koszul to the noncommutative setting, that any Ricci-flat, torsion-free bimodule connection on \mathbbDer(A){\mathbb{D}{\rm er}(A)} gives rise to a second-order (wheeled) differential operator, a noncommutative analogue of the Batalin-Vilkovisky (BV) operator, that makes F(T_A(\mathbbDer(A))){\mathcal{F}(T_{A}(\mathbb{D}{\rm er}(A)))} a BV wheelgebra. In the final section, we explain how the wheeled differential operators D(F(A)){\mathcal{D}(\mathcal{F}(A))} produce ordinary differential operators on the varieties of n-dimensional representations of A for all n ≥ 1.     

Quaternary universal forms over \mathbf{Q}(\sqrt{13})

Let be a real quadratic field over Q with m a square-free positive rational integer and be the integer ring in F. A totally positive definite integral n-ary quadratic form f=f(x ₁,…,x _n )=∑_1≤i,j≤n α _ij x _i x _j ( ) is called universal if f represents all totally positive integers in . Chan, Kim and Raghavan proved that ternary universal forms over F exist if and only if m=2,3,5 and determined all such forms. There exists no ternary universal form over real quadratic fields whose discriminants are greater than 12. In this paper we prove that there are only two quaternary universal forms (up to equivalence) over . For the proof of universality we apply the theory of quadratic lattices.      

Free Internal Groups

In the first part of this note an elementary proof is given of the fact that algebraic functors, that is, functors induced by morphisms of Lawvere theories, have left adjoints provided that the category K\mathcal{K} in which the models of these theories take their values is locally presentable. The main focus however lies on the special cases of the underlying functor of the category Grp(K)\mathsf{Grp}(\mathcal{K}) of internal groups in K\mathcal{K} and the embedding of Grp(K)\mathsf{Grp}(\mathcal{K}) into Mon(K)\mathsf{Mon}(\mathcal{K}), the category of monoids in K\mathcal{K}: Here a unifying construction of the respective left adjoints is provided which not only works in case K\mathcal{K} is a locally presentable category but also when K\mathcal{K} is, for example, a particular category of topological spaces such as the category of Hausdorff or Tychonoff spaces or a cartesian closed topological category.     

On thin-complete ideals of subsets of groups

Let F ì P_G \mathcal{F} \subset {\mathcal{P}_G} be a left-invariant lower family of subsets of a group G. A subset A ⊂ G is called F \mathcal{F} -thin if xA ?yA ? F xA \cap yA \in \mathcal{F} for any distinct elements x, y ∈ G. The family of all F \mathcal{F} -thin subsets of G is denoted by t( F ) \tau \left( \mathcal{F} \right) . If t( F ) = F \tau \left( \mathcal{F} \right) = \mathcal{F} , then F \mathcal{F} is called thin-complete. The thin-completion t^*( F ) {\tau^*}\left( \mathcal{F} \right) of F \mathcal{F} is the smallest thin-complete subfamily of P_G {\mathcal{P}_G} that contains F \mathcal{F} . Answering questions of Lutsenko and Protasov, we prove that a set A ⊂ G belongs to τ*(G) if and only if, for any sequence (g _n ) _n∈ω of nonzero elements of G, there is n ∈ ω such that

Integrable measure equivalence and rigidity of hyperbolic lattices

We study rigidity properties of lattices in $\operatorname {Isom}(\mathbf {H}^{n})\simeq \mathrm {SO}_{n,1}({\mathbb{R}})$ , n≥3, and of surface groups in $\operatorname {Isom}(\mathbf {H}^{2})\simeq \mathrm {SL}_{2}({\mathbb{R}})$ in the context of integrable measure equivalence. The results for lattices in $\operatorname {Isom}(\mathbf {H}^{n})$ , n≥3, are generalizations of Mostow rigidity; they include a cocycle version of strong rigidity and an integrable measure equivalence classification. Despite the lack of Mostow rigidity for n=2 we show that cocompact lattices in $\operatorname {Isom}(\mathbf {H}^{2})$ allow a similar integrable measure equivalence classification.     

An L0（F,R）-valued Function＇s Intermediate Value Theorem and Its Applications to Random Uniform Convexity

Let (Ω , F , P ) be a probability space and L0 ( F, R ) the algebra of equivalence classes of real- valued random variables on (Ω , F , P ). When L0 ( F, R ) is endowed with the topology of convergence in probability, we prove an intermediate value theorem for a continuous local function from L0 ( F, R ) to L0 ( F, R ). As applications of this theorem, we first give several useful expressions for modulus of random convexity, then we prove that a complete random normed module ( S,|| · ||) is random uniformly convex iff Lp ( S ) is uniformly convex for each fixed positive number p such that 1 p + ∞ .     

Convergence and Stability of Locally ℝ N -Invariant Solutions of Ricci Flow

Valuable models for immortal solutions of Ricci flow that collapse with bounded curvature come from locally $\mathcal{G}Valuable models for immortal solutions of Ricci flow that collapse with bounded curvature come from locally G\mathcal{G} -invariant solutions on bundles G^N\hookrightarrowM \oversetp? Bⁿ\mathcal{G}^{N}\hookrightarrow\mathcal{M}\,\overset{\pi }{\mathcal{\longrightarrow}}\,\mathcal{B}^{n} , with G\mathcal{G} a nilpotent Lie group. In this paper, we establish convergence and asymptotic stability, modulo smooth finite-dimensional center manifolds, of certain ℝ ^N -invariant model solutions. In case N+n=3, our results are relevant to work of Lott classifying the asymptotic behavior of all 3-dimensional Ricci flow solutions whose sectional curvatures and diameters are respectively O(t^-1)\mathcal{O}(t^{-1}) and O(t^1/2)\mathcal{O}(t^{1/2}) as t→∞.     

Quantum Spaces Associated to Multipermutation Solutions of Level Two

We study finite set-theoretic solutions (X,r) of the Yang-Baxter equation of square-free multipermutation type. We show that each such solution over ℂ with multipermutation level two can be put in diagonal form with the associated Yang-Baxter algebra A(\mathbbC,X,r)\mathcal{A}(\mathbb{C},X,r) having a q-commutation form of relations determined by complex phase factors. These complex factors are roots of unity and all roots of a prescribed form appear as determined by the representation theory of the finite abelian group G\mathcal{G} of left actions on X. We study the structure of A(\mathbbC,X,r)\mathcal{A}(\mathbb{C},X,r) and show that they have a ∙-product form ‘quantizing’ the commutative algebra of polynomials in |X| variables. We obtain the ∙-product both as a Drinfeld cotwist for a certain canonical 2-cocycle and as a braided-opposite product for a certain crossed G\mathcal{G}-module (over any field k). We provide first steps in the noncommutative differential geometry of A(k,X,r)\mathcal{A}(k,X,r) arising from these results. As a byproduct of our work we find that every such level 2 solution (X,r) factorises as r = f ∘ τ ∘ f ^− 1 where τ is the flip map and (X,f) is another solution coming from X as a crossed G\mathcal{G}-set.     

Types and coalgebraic structure

We relate weak limit preservation properties of coalgebraic type functors F to structure theoretic properties of the class of all F-coalgebras. In particular, we give coalgebraic characterizations for the condition that F weakly preserves pullbacks, kernel pairs or preimages. We also describe regular monos and epis. In case that |F(1)| ≠ 1 we show that F preserves preimages iff for every class of F-coalgebras. The case |F(1)| = 1 is left as an open problem.Dedicated to the memory of Ivan RivalReceived August 29, 2003; accepted in final form July 13, 2004.This revised version was published online in August 2005 with a corrected cover date.     

Global attractor for the weakly damped forced KdV equation in Sobolev spaces of low regularity

We consider the global attractor for the weakly damped forced KdV equation in Sobolev spaces [(H)\dot]^s(T){\dot{H}^s({\mathbf T})}for s < 0. Under the assumption that the external forcing term belongs to [(L)\dot]²(T),{\dot{L}^2({\mathbf T}),} we prove the existence of the global attractor in [(H)\dot]^s(T){\dot{H}^s({\mathbf T})} for −1/2 ≤ s < 0, which is identical to the one in [(L)\dot]²(T){\dot{L}^2({\mathbf T})} and thus is compact in H ³(T). The argument is a combination of the I-method and decomposing the solution into two parts, one of which is uniformly bounded in [(L)\dot]²(T){\dot{L}^2({\mathbf T})} and the other decays exponentially in [(H)\dot]^s(T){\dot{H}^s({\mathbf T})}.     

Compact and Loeb Hausdorff spaces in \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathsf {ZF}$\end{document} and the axiom of choice for families of finite sets

Given a set X, $\mathsf {AC}^{\mathrm{fin}(X)}$ denotes the statement: “$[X]^{<\omega }\backslash \lbrace \varnothing \rbrace$ has a choice set” and $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )$ denotes the family of all closed subsets of the topological space $\mathbf {2}^{X}$ whose definition depends on a finite subset of X. We study the interrelations between the statements $\mathsf {AC}^{\mathrm{fin}(X)},$ $\mathsf {AC}^{\mathrm{fin}([X]^{<\omega })},$ $\mathsf {AC}^{\mathrm{fin} (F_{n}(X,2))},$ $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$ and “$\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set”. We show:

• (i) $\mathsf {AC}^{\mathrm{fin}(X)}$ iff $\mathsf {AC}^{\mathrm{fin}([X]^{<\omega } )}$ iff $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set iff $\mathsf {AC}^{\mathrm{fin}(F_{n}(X,2))}$.
• (ii) $\mathsf {AC}_{\mathrm{fin}}$ ($\mathsf {AC}$ restricted to families of finite sets) iff for every set X, $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set.
• (iii) $\mathsf {AC}_{\mathrm{fin}}$ does not imply “$\mathcal {K}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set($\mathcal {K}(\mathbf {X})$ is the family of all closed subsets of the space $\mathbf {X}$)
• (iv) $\mathcal {K}(\mathbf {2}^{X})\backslash \lbrace \varnothing \rbrace$ implies $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$ but $\mathsf {AC}^{\mathrm{fin}(X)}$ does not imply $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$.

We also show that “For every setX, “$\mathcal {K}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set” iff “for every setX, $\mathcal {K}\big (\mathbf {[0,1]}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set” iff “for every product$\mathbf {X}$of finite discrete spaces,$\mathcal {K}(\mathbf {X})\backslash \lbrace \varnothing \rbrace$ has a choice set”.     

On some homotopical and homological properties of monoid presentations

If a monoid S is given by some finite complete presentation ℘, we construct inductively a chain of CW-complexes

M 0 Measures for the Walsh System

We show that the spaces M ₀(T) and M₀(D)M_{0}(\mathcal {D}) cannot be identified, D\mathcal {D} being the Cantor group ∏ _n=1^∞{±}. Our motivation is guided by the role M ₀ measures play in uniform distribution problems, via the Davenport, Erdòs, LeVeque theorem.     

Micro-Local Analysis with Fourier Lebesgue Spaces. Part?I

Let ω,ω ₀ be appropriate weight functions and q∈[1,∞]. We introduce the wave-front set, WF_FL^q(w)(f)\mathrm{WF}_{\mathcal{F}L^{q}_{(\omega)}}(f) of f ? S￠f\in \mathcal{S}' with respect to weighted Fourier Lebesgue space FL^q_(w)\mathcal{F}L^{q}_{(\omega )}. We prove that usual mapping properties for pseudo-differential operators Op (a) with symbols a in S^(w₀)_r,0S^{(\omega _{0})}_{\rho ,0} hold for such wave-front sets. Especially we prove that