A local mountain pass type result for a system of nonlinear Schr?dinger equations

We consider a singular perturbation problem for a system of nonlinear Schr?dinger equations: $$ \begin{array}{l} -\varepsilon^2\Delta v_1 +V_1(x)v_1 = \mu_1 v_1^3 + \beta v_1v_2^2 \quad {\rm in}\,\,{\bf R}^N, \\ -\varepsilon^2\Delta v_2 +V_2(x)v_2 = \mu_2 v_2^3 + \beta v_1^2v_2 \quad {\rm in}\,\,{\bf R}^N, \\ \null\ v_1(x), \ v_2(x) >0 \quad {\rm in}\,\,{\bf R}^N, \\ \null\ v_1(x), \ v_2(x)\in H^1({\bf R}^N), \end{array} \quad\quad\quad\quad\quad (*) $$ where N?=?2, 3, ?? ₁, ?? ₂, ?? > 0 and V ₁(x), V ₂(x): R ^N ?? (0, ??) are positive continuous functions. We consider the case where the interaction ?? > 0 is relatively small and we define for ${P\in{\bf R}^N}$ the least energy level m(P) for non-trivial vector solutions of the rescaled ??limit?? problem: $$ \begin{array}{l} -\Delta v_1 +V_1(P)v_1 = \mu_1 v_1^3 + \beta v_1v_2^2 \quad {\rm in}\,\,{\bf R}^N, \\ -\Delta v_2 +V_2(P)v_2 = \mu_2 v_2^3 + \beta v_1^2v_2 \quad {\rm in}\,\,{\bf R}^N, \\ \null\ v_1(x), \ v_2(x) >0 \quad {\rm in}\,\,{\bf R}^N, \\ \null\ v_1(x), \ v_2(x)\in H^1({\bf R}^N). \end{array} \quad\quad\quad\quad\quad\quad (**) $$ We assume that there exists an open bounded set ${\Lambda\subset{\bf R}^N}$ satisfying $$ {\mathop {\rm inf} _{P\in\Lambda} m(P)} < {\mathop {\rm inf}_{P\in\partial\Lambda} m(P)}. $$ We show that (*) possesses a family of non-trivial vector positive solutions ${\{(v_{1\varepsilon}(x), v_{2\varepsilon} (x))\}_{\varepsilon\in (0,\varepsilon_0]}}$ which concentrates??after extracting a subsequence ?? _n ?? 0??to a point ${P_0\in\Lambda}$ with ${m(P_0)={\rm inf}_{P\in\Lambda}m(P)}$ . Moreover (v _1?? (x), v _2?? (x)) converges to a least energy non-trivial vector solution of (**) after a suitable rescaling.     

All 4-Edge-Connected HHD-Free Graphs are {\mathbb{Z}_3}-Connected

An undirected graph G = (V, E) is called \mathbbZ₃{\mathbb{Z}_3}-connected if for all b: V ? \mathbbZ₃{b: V \rightarrow \mathbb{Z}_3} with ?_{v ? V}b(v)=0{\sum_{v \in V}b(v)=0}, an orientation D = (V, A) of G has a \mathbbZ₃{\mathbb{Z}_3}-valued nowhere-zero flow f: A? \mathbbZ₃-{0}{f: A\rightarrow \mathbb{Z}_3-\{0\}} such that ?_{e ? d⁺(v)}f(e)-?_{e ? d^-(v)}f(e)=b(v){\sum_{e \in \delta^+(v)}f(e)-\sum_{e \in \delta^-(v)}f(e)=b(v)} for all v ? V{v \in V}. We show that all 4-edge-connected HHD-free graphs are \mathbbZ₃{\mathbb{Z}_3}-connected. This extends the result due to Lai (Graphs Comb 16:165–176, 2000), which proves the \mathbbZ₃{\mathbb{Z}_3}-connectivity for 4-edge-connected chordal graphs.     

Mean-Field Conditions for Percolation on Finite Graphs

Let {G _n } be a sequence of finite transitive graphs with vertex degree d = d(n) and |G _n | = n. Denote by p ^t (v, v) the return probability after t steps of the non-backtracking random walk on G _n . We show that if p ^t (v, v) has quasi-random properties, then critical bond-percolation on G _n behaves as it would on a random graph. More precisely, if $\mathop {\rm {lim\, sup\,}} \limits_{n} n^{1/3} \sum\limits_{t = 1}^{n^{1/3}} {t{\bf p}^t(v,v) < \infty ,}$ then the size of the largest component in p-bond-percolation with ${p =\frac{1+O(n^{-1/3})}{d-1}}Let {G _n } be a sequence of finite transitive graphs with vertex degree d = d(n) and |G _n | = n. Denote by p ^t (v, v) the return probability after t steps of the non-backtracking random walk on G _n . We show that if p ^t (v, v) has quasi-random properties, then critical bond-percolation on G _n behaves as it would on a random graph. More precisely, if

lim sup  n n1/3 ?t = 1n1/3 tpt(v,v) < ￥,\mathop {\rm {lim\, sup\,}} \limits_{n} n^{1/3} \sum\limits_{t = 1}^{n^{1/3}} {t{\bf p}^t(v,v) < \infty ,}      4. A valuation criterion for normal basis generators in local fields of characteristic p      G. Griffith Elder 《Archiv der Mathematik》2010,94(1):43-47 Let K be a complete local field of characteristic p with perfect residue field, and let L/K be a finite, totally ramified, Galois p-extension with G = Gal(L/K). Let v L be the normalized valuation with ${v_L(L^{\times})=\mathbb{Z} }Let K be a complete local field of characteristic p with perfect residue field, and let L/K be a finite, totally ramified, Galois p-extension with G = Gal(L/K). Let v L be the normalized valuation with vL(L×)=\mathbbZ {v_L(L^{\times})=\mathbb{Z} }. Let pL ? L{\pi_L\in L} be a prime element, and let p′ (x) be the derivative of the minimal polynomial for π L over K. We show that any element r ? L{\rho\in L} with vL(r) o -vL(p￠(pL))-1 mod [L:K]{v_L(\rho)\equiv -v_L(p'(\pi_L))-1\bmod[L:K]} generates a normal basis: K[G]ρ = L. This criterion is tight: Given any integer i with i\not o -vL(p￠(pL))-1 mod [L:K]{i\not\equiv -v_L(p'(\pi_L))-1\bmod[L:K]}, there is a ri ? L{\rho_i\in L} with v L (ρ i ) = i such that K[G]ri\subsetneq L{K[G]\rho_i\subsetneq L}.      5. Dual partially harmonic tensors and Brauer-Schur-Weyl duality      J. Hu 《Transformation Groups》2010,15(2):333-370 Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let $ \mathfrak{B}_n^{(f)} Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let \mathfrakBn(f) \mathfrak{B}_n^{(f)} be the two-sided ideal of the Brauer algebra \mathfrakBn( - 2m ) {\mathfrak{B}_n}\left( { - 2m} \right) over K generated by e 1 e 3⋯ e 2f-1 where 0 ≤ f ≤ [n/2]. Let HTf ?n \mathcal{H}\mathcal{T}_f^{ \otimes n} be the subspace of partial-harmonic tensors of valence f in V ⊗n . In this paper we prove that dimHTf ?n \mathcal{H}\mathcal{T}_f^{ \otimes n} and dim \textEn\textdK\textSp(V)( V ?n \mathord

/

\vphantom V ?n V ?n V ?n\mathfrakBn(f) ) {\text{En}}{{\text{d}}_{K{\text{Sp}}(V)}}\left( {{{{V^{ \otimes n}}} \mathord{\left/{\vphantom {{{V^{ \otimes n}}} {{V^{ \otimes n}}}}} \right.} {{V^{ \otimes n}}}}\mathfrak{B}_n^{(f)}} \right) are both independent of K, and the natural homomorphism from \mathfrakBn( - 2m ) \mathord

/

\vphantom ( - 2m ) \mathfrakBn(f) \mathfrakBn(f) {\mathfrak{B}_n}{{\left( { - 2m} \right)} \mathord{\left/{\vphantom {{\left( { - 2m} \right)} {\mathfrak{B}_n^{(f)}}}} \right.} {\mathfrak{B}_n^{(f)}}} to \textEn\textdK\textSp(V)( V ?n \mathord

/

\vphantom V ?n V ?n V ?n\mathfrakBn(f) ) {\text{En}}{{\text{d}}_{K{\text{Sp}}(V)}}\left( {{{{V^{ \otimes n}}} \mathord{\left/{\vphantom {{{V^{ \otimes n}}} {{V^{ \otimes n}}}}} \right.} {{V^{ \otimes n}}}}\mathfrak{B}_n^{(f)}} \right) is always surjective. We show that HTf ?n \mathcal{H}\mathcal{T}_f^{ \otimes n} has a Weyl filtration and is isomorphic to the dual of V ?n\mathfrakBn(f) \mathord

/

\vphantom V ?n\mathfrakBn(f) V V ?n\mathfrakBn( f + 1 ) {{{{V^{ \otimes n}}\mathfrak{B}_n^{(f)}} \mathord{\left/{\vphantom {{{V^{ \otimes n}}\mathfrak{B}_n^{(f)}} V}} \right.} V}^{ \otimes n}}\mathfrak{B}_n^{\left( {f + 1} \right)} as an \textSp(V) - ( \mathfrakBn( - 2m ) \mathord

/

\vphantom ( - 2m ) \mathfrakBn( f + 1 ) \mathfrakBn( f + 1 ) ) {\text{Sp}}(V) - \left( {{\mathfrak{B}_n}{{\left( { - 2m} \right)} \mathord{\left/{\vphantom {{\left( { - 2m} \right)} {\mathfrak{B}_n^{\left( {f + 1} \right)}}}} \right.} {\mathfrak{B}_n^{\left( {f + 1} \right)}}}} \right) -bimodule. We obtain an \textSp(V) - \mathfrakBn {\text{Sp}}(V) - {\mathfrak{B}_n} -bimodules filtration of V ⊗n such that each successive quotient is isomorphic to some ?( l) ?zg,l\mathfrakBn \nabla \left( \lambda \right) \otimes {z_{g,\lambda }}{\mathfrak{B}_n} with λ ⊢ n 2g, ℓ(λ)≤m and 0 ≤ g ≤ [n/2], where ∇(λ) is the co-Weyl module associated to λ and z g,λ is an explicitly constructed maximal vector of weight λ. As a byproduct, we show that each right \mathfrakBn {\mathfrak{B}_n} -module zg,l\mathfrakBn {z_{g,\lambda }}{\mathfrak{B}_n} is integrally defined and stable under base change.      6. Degenerate elliptic operators in one dimension      Derek W. Robinson  Adam Sikora 《Journal of Evolution Equations》2010,10(4):731-759 Let H be the symmetric second-order differential operator on L 2(R) with domain ${C_c^\infty({\bf R})}Let H be the symmetric second-order differential operator on L 2(R) with domain Cc￥(R){C_c^\infty({\bf R})} and action Hj = -(c j￠)￠{H\varphi=-(c\,\varphi^{\prime})^{\prime}} where c ? W1,2loc(R){ c\in W^{1,2}_{\rm loc}({\bf R})} is a real function that is strictly positive on R\{0}{{\bf R}\backslash\{0\}} but with c(0) = 0. We give a complete characterization of the self-adjoint extensions and the submarkovian extensions of H. In particular if n = n+ún-{\nu=\nu_+\vee\nu_-} where n±(x)=±ò±1±x c-1{\nu_\pm(x)=\pm\int^{\pm 1}_{\pm x} c^{-1}} then H has a unique self-adjoint extension if and only if n ? L2(0,1){\nu\not\in L_2(0,1)} and a unique submarkovian extension if and only if n ? L￥(0,1){\nu\not\in L_\infty(0,1)}. In both cases, the corresponding semigroup leaves L 2(0,∞) and L 2(−∞,0) invariant. In addition, we prove that for a general non-negative c ? W1,￥loc(R){ c\in W^{1,\infty}_{\rm loc}({\bf R})} the corresponding operator H has a unique submarkovian extension.      7. On Representations of Integers in Thin Subgroups of {{\rm SL}_2({\mathbb {Z}})}      Jean Bourgain  Alex Kontorovich 《Geometric And Functional Analysis》2010,20(5):1144-1174 Let ${\Gamma < {\rm SL}(2, {\mathbb Z})}Let G < SL(2, \mathbb Z){\Gamma < {\rm SL}(2, {\mathbb Z})} be a free, finitely generated Fuchsian group of the second kind with no parabolics, and fix two primitive vectors v0, w0 ? \mathbb Z2  \  {0}{v_{0}, w_{0} \in \mathbb {Z}^{2} \, {\backslash} \, \{0\}}. We consider the set S{\mathcal {S}} of all integers occurring in áv0g, w0?{\langle v_{0}\gamma, w_{0}\rangle}, for g ? G{\gamma \in \Gamma} and the usual inner product on \mathbb R2{\mathbb {R}^2}. Assume that the critical exponent δ of Γ exceeds 0.99995, so that Γ is thin but not too thin. Using a variant of the circle method, new bilinear forms estimates and Gamburd’s 5/6-th spectral gap in infinite-volume, we show that S{\mathcal {S}} contains almost all of its admissible primes, that is, those not excluded by local (congruence) obstructions. Moreover, we show that the exceptional set \mathfrak E(N){\mathfrak {E}(N)} of integers |n| < N which are locally admissible (n ? S   (mod  q)   for all   q 3 1){(n \in \mathcal {S} \, \, ({\rm mod} \, q) \, \, {\rm for\,all} \,\, q \geq 1)} but fail to be globally represented, n ? S{n \notin \mathcal {S}}, has a power savings, |\mathfrak E(N)| << N1-e0{|\mathfrak {E}(N)| \ll N^{1-\varepsilon_{0}}} for some ${\varepsilon_{0} > 0}${\varepsilon_{0} > 0}, as N → ∞.      8. Recurrent approach to Blaschke’s problem      E. Gečiauskas 《Geometriae Dedicata》2006,121(1):9-18 We have obtained a recurrence formula $I_{n+3} = \frac{4(n+3)}{\pi(n+4)}VI_{n+1}We have obtained a recurrence formula In+3 = \frac4(n+3)p(n+4)VIn+1I_{n+3} = \frac{4(n+3)}{\pi(n+4)}VI_{n+1} for integro-geometric moments in the case of a circle with the area V, where In = ò\nolimitsK ?Gsnd GI_n = \int \nolimits_{K \cap G}\sigma^{n}{\rm d} G, while in the case of a convex domain K with the perimeter S and area V the recurrence formula In+3 = \frac8(n+3)V2(n+1)(n+4)p[\fracd In+1d V - \fracIn+1S \fracd Sd V ] I_{n+3} = \frac{8(n+3)V^2}{(n+1)(n+4)\pi}\Big[\frac{{\rm d} I_{n+1}}{{\rm d} V} - \frac{I_{n+1}}{S} \frac{{\rm d} S}{{\rm d} V} \Big]      9. On Bernstein–Walsh-type lemmas in regions of the complex plane      F. G. Abdullayev  N.D. Aral 《Ukrainian Mathematical Journal》2011,63(3):337-350 Let G ì \mathbb C G \subset {\mathbb C} be a finite region bounded by a Jordan curve L: = ?G L: = \partial G , let W: = \textext[`(G)] \Omega : = {\text{ext}}\bar{G} (with respect to [`(\mathbb C)] {\overline {\mathbb C}} ), $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} , and let w = F(z) w = \Phi (z) be a univalent conformal mapping of Ω onto Δ normalized by $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 . By A p (G); p > 0; we denote a class of functions f analytic in G and satisfying the condition || f ||App(G): = òG | f(z) |pdsz < ￥, \left\| f \right\|_{Ap}^p(G): = \int\limits_G {{{\left| {f(z)} \right|}^p}d{\sigma_z} < \infty, }      10. On a class of non-uniform average sampling expansions and partial reconstruction in subspaces of L 2(?)      Nikolaos D. Atreas 《Advances in Computational Mathematics》2012,36(1):21-38 Let ϕ be a function in the Wiener amalgam space W￥(L1)\emph{W}_{\infty}(L_1) with a non-vanishing property in a neighborhood of the origin for its Fourier transform [^(f)]\widehat{\phi}, t={tn}n ? \mathbb Z{\bf \tau}=\{\tau_n\}_{n\in {{\mathbb Z}}} be a sampling set on ℝ and VftV_\phi^{\bf \tau} be a closed subspace of L2(\mathbbR)L_2(\hbox{\ensuremath{\mathbb{R}}}) containing all linear combinations of τ-translates of ϕ. In this paper we prove that every function f ? Vftf\in V_\phi^{\bf \tau} is uniquely determined by and stably reconstructed from the sample set Lft(f)={ò\mathbbR f(t)[`(f(t-tn))] dt}n ? \mathbb ZL_\phi^{\bf \tau}(f)=\Big\{\int_{\hbox{\ensuremath{\mathbb{R}}}} f(t) \overline{\phi(t-\tau_n)} dt\Big\}_{n\in {{\mathbb Z}}}. As our reconstruction formula involves evaluating the inverse of an infinite matrix we consider a partial reconstruction formula suitable for numerical implementation. Under an additional assumption on the decay rate of ϕ we provide an estimate to the corresponding error.      11. Quantization of Lie bialgebras and shuffle algebras of Lie algebras      B. Enriquez 《Selecta Mathematica, New Series》2001,7(3):321-407 To any field \Bbb K \Bbb K of characteristic zero, we associate a set (\mathbbK) (\mathbb{K}) and a group G0(\Bbb K) {\cal G}_0(\Bbb K) . Elements of (\mathbbK) (\mathbb{K}) are equivalence classes of families of Lie polynomials subject to associativity relations. Elements of G0(\Bbb K) {\cal G}_0(\Bbb K) are universal automorphisms of the adjoint representations of Lie bialgebras over \Bbb K \Bbb K . We construct a bijection between (\mathbbK)×G0(\Bbb K) (\mathbb{K})\times{\cal G}_0(\Bbb K) and the set of quantization functors of Lie bialgebras over \Bbb K \Bbb K . This construction involves the following steps.? 1) To each element v \varpi of (\mathbbK) (\mathbb{K}) , we associate a functor \frak a?\operatornameShv(\frak a) \frak a\mapsto\operatorname{Sh}^\varpi(\frak a) from the category of Lie algebras to that of Hopf algebras; \operatornameShv(\frak a) \operatorname{Sh}^\varpi(\frak a) contains U\frak a U\frak a .? 2) When \frak a \frak a and \frak b \frak b are Lie algebras, and r\frak a\frak b ? \frak a?\frak b r_{\frak a\frak b} \in\frak a\otimes\frak b , we construct an element ?v (r\frak a\frak b) {\cal R}^{\varpi} (r_{\frak a\frak b}) of \operatornameShv(\frak a)?\operatornameShv(\frak b) \operatorname{Sh}^\varpi(\frak a)\otimes\operatorname{Sh}^\varpi(\frak b) satisfying quasitriangularity identities; in particular, ?v(r\frak a\frak b) {\cal R}^\varpi(r_{\frak a\frak b}) defines a Hopf algebra morphism from \operatornameShv(\frak a)* \operatorname{Sh}^\varpi(\frak a)^* to \operatornameShv(\frak b) \operatorname{Sh}^\varpi(\frak b) .? 3) When \frak a = \frak b \frak a = \frak b and r\frak a ? \frak a?\frak a r_\frak a\in\frak a\otimes\frak a is a solution of CYBE, we construct a series rv(r\frak a) \rho^\varpi(r_\frak a) such that ?v(rv(r\frak a)) {\cal R}^\varpi(\rho^\varpi(r_\frak a)) is a solution of QYBE. The expression of rv(r\frak a) \rho^\varpi(r_\frak a) in terms of r\frak a r_\frak a involves Lie polynomials, and we show that this expression is unique at a universal level. This step relies on vanishing statements for cohomologies arising from universal algebras for the solutions of CYBE.? 4) We define the quantization of a Lie bialgebra \frak g \frak g as the image of the morphism defined by ?v(rv(r)) {\cal R}^\varpi(\rho^\varpi(r)) , where r ? \mathfrakg ?\mathfrakg* r \in \mathfrak{g} \otimes \mathfrak{g}^* .<\P>      12. On convex optimization without convex representation      Jean B. Lasserre 《Optimization Letters》2011,5(4):549-556 We consider the convex optimization problem P:minx {f(x) : x ? K}{{\rm {\bf P}}:{\rm min}_{\rm {\bf x}} \{f({\rm {\bf x}})\,:\,{\rm {\bf x}}\in{\rm {\bf K}}\}} where f is convex continuously differentiable, and K ì \mathbb Rn{{\rm {\bf K}}\subset{\mathbb R}^n} is a compact convex set with representation {x ? \mathbb Rn : gj(x) 3 0, j = 1,?,m}{\{{\rm {\bf x}}\in{\mathbb R}^n\,:\,g_j({\rm {\bf x}})\geq0, j = 1,\ldots,m\}} for some continuously differentiable functions (g j ). We discuss the case where the g j ’s are not all concave (in contrast with convex programming where they all are). In particular, even if the g j are not concave, we consider the log-barrier function fm{\phi_\mu} with parameter μ, associated with P, usually defined for concave functions (g j ). We then show that any limit point of any sequence (xm) ì K{({\rm {\bf x}}_\mu)\subset{\rm {\bf K}}} of stationary points of fm, m? 0{\phi_\mu, \mu \to 0} , is a Karush–Kuhn–Tucker point of problem P and a global minimizer of f on K.      13. Lipschitz Continuity Properties for p−Adic Semi-Algebraic and Subanalytic Functions      Raf Cluckers  Georges Comte  François Loeser 《Geometric And Functional Analysis》2010,20(1):68-87 We prove that a (globally) subanalytic function ${f : X \subset {\bf Q}^{n}_{p} \rightarrow {\bf Q}_{p}}We prove that a (globally) subanalytic function f : X ì Qnp ? Qp{f : X \subset {\bf Q}^{n}_{p} \rightarrow {\bf Q}_{p}} which is locally Lipschitz continuous with some constant C is piecewise (globally on each piece) Lipschitz continuous with possibly some other constant, where the pieces can be taken to be subanalytic. We also prove the analogous result for a subanalytic family of functions fy : Xy ì Qnp ? Qp{f_{y} : X_{y} \subset {\bf Q}^{n}_{p} \rightarrow {\bf Q}_{p}} depending on p−adic parameters. The statements also hold in a semi-algebraic set-up and also in a finite field extension of Q p . These results are p−adic analogues of results of K. Kurdyka over the real numbers. To encompass the total disconnectedness of p−adic fields, we need to introduce new methods adapted to the p−adic situation.      14. A convexity theorem for multiplicative functions      Pierre Maréchal 《Optimization Letters》2012,6(2):357-362 We generalize a well known convexity property of the multiplicative potential function. We prove that, given any convex function g : \mathbbRm ? [0, ￥]{g : \mathbb{R}^m \rightarrow [{0}, {\infty}]}, the function ${({\rm \bf x},{\rm \bf y})\mapsto g({\rm \bf x})^{1+\alpha}{\bf y}^{-{\bf \beta}}, {\bf y}>{\bf 0}}${({\rm \bf x},{\rm \bf y})\mapsto g({\rm \bf x})^{1+\alpha}{\bf y}^{-{\bf \beta}}, {\bf y}>{\bf 0}}, is convex if β ≥ 0 and α ≥ β 1 + ··· + β n . We also provide further generalization to functions of the form (x,y1, . . . , yn)? g(x)1+af1(y1)-b1 ···fn(yn)-bn{({\rm \bf x},{\rm \bf y}_1, . . . , {y_n})\mapsto g({\rm \bf x})^{1+\alpha}f_1({\rm \bf y}_1)^{-\beta_1} \cdot \cdot \cdot f_n({\rm \bf y}_n)^{-\beta_n} } with the f k concave, positively homogeneous and nonnegative on their domains.      15. Schlicht envelopes of holomorphy and topology      Christopher Hammond 《Mathematische Zeitschrift》2010,266(2):285-288 Let Ω be a domain in ${\mathbb{C}^{2}}Let Ω be a domain in \mathbbC2{\mathbb{C}^{2}}, and let p: [(W)\tilde]? \mathbbC2{\pi: \tilde{\Omega}\rightarrow \mathbb{C}^{2}} be its envelope of holomorphy. Also let W￠=p([(W)\tilde]){\Omega'=\pi(\tilde{\Omega})} with i: W\hookrightarrow W￠{i: \Omega \hookrightarrow \Omega'} the inclusion. We prove the following: if the induced map on fundamental groups i*:p1(W) ? p1(W￠){i_{*}:\pi_{1}(\Omega) \rightarrow \pi_{1}(\Omega')} is a surjection, and if π is a covering map, then Ω has a schlicht envelope of holomorphy. We then relate this to earlier work of Fornaess and Zame.      16. The Number of Independent Sets in a Graph with Small Maximum Degree      David Galvin  Yufei Zhao 《Graphs and Combinatorics》2011,27(2):177-186 Let ind(G) be the number of independent sets in a graph G. We show that if G has maximum degree at most 5 then ind(G) ￡ 2iso(G) ?uv ? E(G) ind(Kd(u),d(v))\frac1d(u)d(v){\rm ind}(G) \leq 2^{{\rm iso}(G)} \prod_{uv \in E(G)} {\rm ind}(K_{d(u),d(v)})^{\frac{1}{d(u)d(v)}}      17. Maximum IPP Codes of Length 3      Wen Jiang  Ye Li  Xingxing Yu 《Annals of Combinatorics》2010,13(4):491-510 Let Q be an alphabet with q elements. For any code C over Q of length n and for any two codewords a = (a 1, . . . , a n ) and b = (b 1, . . . , b n ) in C, let ${D({\bf a, b}) = \{(x_1, . . . , x_n) \in {Q^n} : {x_i} \in \{a_i, b_i\}\,{\rm for}\,1 \leq i \leq n\}}Let Q be an alphabet with q elements. For any code C over Q of length n and for any two codewords a = (a 1, . . . , a n ) and b = (b 1, . . . , b n ) in C, let D(a, b) = {(x1, . . . , xn) ? Qn : xi ? {ai, bi} for 1 ￡ i ￡ n}{D({\bf a, b}) = \{(x_1, . . . , x_n) \in {Q^n} : {x_i} \in \{a_i, b_i\}\,{\rm for}\,1 \leq i \leq n\}}. Let C* = èa, b ? CD(a, b){C^* = {{\bigcup}_{\rm {a,\,b}\in{C}}}D({\bf a, b})}. The code C is said to have the identifiable parent property (IPP) if, for any x ? C*{{\rm {\bf x}} \in C^*}, ?x ? D(a, b){a, b} 1 ?{{\bigcap}_{{\rm x}{\in}D({\rm a,\,b})}\{{\bf a, b}\}\neq \emptyset} . Codes with the IPP were introduced by Hollmann et al [J. Combin. Theory Ser. A 82 (1998) 21–133]. Let F(n, q) = max{|C|: C is a q-ary code of length n with the IPP}.T? and Safavi-Naini [SIAM J. Discrete Math. 17 (2004) 548–570] showed that 3q + 6 - 6 é?{q+1}ù ￡ F(3, q) ￡ 3q + 6 - é6 ?{q+1}ù{3q + 6 - 6 \lceil\sqrt{q+1}\rceil \leq F(3, q) \leq 3q + 6 - \lceil 6 \sqrt{q+1}\rceil}, and determined F (3, q) precisely when q ≤ 48 or when q can be expressed as r 2 + 2r or r 2 + 3r +2 for r ≥ 2. In this paper, we establish a precise formula of F(3, q) for q ≥ 24. Moreover, we construct IPP codes of size F(3, q) for q ≥ 24 and show that, for any such code C and any x ? C*{{\rm {\bf x}} \in C^*}, one can find, in constant time, a ? C{{\rm {\bf a}} \in C} such that if x ? D (c, d){{\rm {\bf x}} \in D ({\bf c, d})} then a ? {c, d}{{\rm {\bf a}} \in \{{\rm {\bf c, d}}\}}.      18. Weighted least-squares estimators of parametric functions of the regression coefficients under a general linear model      Yongge Tian 《Annals of the Institute of Statistical Mathematics》2010,62(5):929-941 The weighted least-squares estimator of parametric functions K β under a general linear regression model { y, X b, s2S }{\{ {\bf y},\,{\bf X \beta}, \sigma^2{\bf \Sigma} \}} is defined to be K[^(b)]{{\bf K}{\hat{\bf {\beta}}}}, where [^(b)]{\hat{{\bf \beta}}} is a vector that minimizes (y − X β)′V(y − X β) for a given nonnegative definite weight matrix V. In this paper, we study some algebraic and statistical properties of K[^(b)]{{\bf K}\hat{{\bf \beta}}} and the projection matrix associated with the estimator, such as, their ranks, unbiasedness, uniqueness, as well as equalities satisfied by the projection matrices.      19. An Introduction to Closed/Open Neighborhood Sums: Minimax, Maximin, and Spread      Allen O��Neal  Peter J. Slater 《Mathematics in Computer Science》2011,5(1):69-80 For a graph G of order |V(G)| = n and a real-valued mapping f:V(G)?\mathbbR{f:V(G)\rightarrow\mathbb{R}}, if S ì V(G){S\subset V(G)} then f(S)=?w ? S f(w){f(S)=\sum_{w\in S} f(w)} is called the weight of S under f. The closed (respectively, open) neighborhood sum of f is the maximum weight of a closed (respectively, open) neighborhood under f, that is, NS[f]=max{f(N[v])|v ? V(G)}{NS[f]={\rm max}\{f(N[v])|v \in V(G)\}} and NS(f)=max{f(N(v))|v ? V(G)}{NS(f)={\rm max}\{f(N(v))|v \in V(G)\}}. The closed (respectively, open) lower neighborhood sum of f is the minimum weight of a closed (respectively, open) neighborhood under f, that is, NS-[f]=min{f(N[v])|v ? V(G)}{NS^{-}[f]={\rm min}\{f(N[v])|v\in V(G)\}} and NS-(f)=min{f(N(v))|v ? V(G)}{NS^{-}(f)={\rm min}\{f(N(v))|v\in V(G)\}}. For W ì \mathbbR{W\subset \mathbb{R}}, the closed and open neighborhood sum parameters are NSW[G]=min{NS[f]|f:V(G)? W{NS_W[G]={\rm min}\{NS[f]|f:V(G)\rightarrow W} is a bijection} and NSW(G)=min{NS(f)|f:V(G)? W{NS_W(G)={\rm min}\{NS(f)|f:V(G)\rightarrow W} is a bijection}. The lower neighbor sum parameters are NS-W[G]=maxNS-[f]|f:V(G)? W{NS^{-}_W[G]={\rm max}NS^{-}[f]|f:V(G)\rightarrow W} is a bijection} and NS-W(G)=maxNS-(f)|f:V(G)? W{NS^{-}_W(G)={\rm max}NS^{-}(f)|f:V(G)\rightarrow W} is a bijection}. For bijections f:V(G)? {1,2,?,n}{f:V(G)\rightarrow \{1,2,\ldots,n\}} we consider the parameters NS[G], NS(G), NS −[G] and NS −(G), as well as two parameters minimizing the maximum difference in neighborhood sums.      20. The Ground State and the Long-Time Evolution in the CMC Einstein Flow      Martin Reiris 《Annales Henri Poincare》2010,10(8):1559-1604 Let (g, K)(k) be a CMC (vacuum) Einstein flow over a compact three-manifold Σ with non-positive Yamabe invariant (Y(Σ)). As noted by Fischer and Moncrief, the reduced volume ${\mathcal{V}(k)=\left(\frac{-k}{3}\right)^{3}{\rm Vol}_{g(k)}(\Sigma)}Let (g, K)(k) be a CMC (vacuum) Einstein flow over a compact three-manifold Σ with non-positive Yamabe invariant (Y(Σ)). As noted by Fischer and Moncrief, the reduced volume V(k)=(\frac-k3)3Volg(k)(S){\mathcal{V}(k)=\left(\frac{-k}{3}\right)^{3}{\rm Vol}_{g(k)}(\Sigma)} is monotonically decreasing in the expanding direction and bounded below by Vinf=(\frac-16Y(S))\frac32{\mathcal{V}_{\rm \inf}=\left(\frac{-1}{6}Y(\Sigma)\right)^{\frac{3}{2}}}. Inspired by this fact we define the ground state of the manifold Σ as “the limit” of any sequence of CMC states {(g i , K i )} satisfying: (i) k i  = −3, (ii) Viˉ Vinf{\mathcal{V}_{i}\downarrow \mathcal{V}_{\rm inf}}, (iii) Q 0((g i , K i )) ≤ Λ, where Q 0 is the Bel–Robinson energy and Λ is any arbitrary positive constant. We prove that (as a geometric state) the ground state is equivalent to the Thurston geometrization of Σ. Ground states classify naturally into three types. We provide examples for each class, including a new ground state (the Double Cusp) that we analyze in detail. Finally, consider a long time and cosmologically normalized flow ([(g)\tilde],[(K)\tilde])(s)=((\frac-k3)2g,(\frac-k3)K){(\tilde{g},\tilde{K})(\sigma)=\left(\left(\frac{-k}{3}\right)^{2}g,\left(\frac{-k}{3}\right)K\right)}, where s = -ln(-k) ? [a,￥){\sigma=-\ln (-k)\in [a,\infty)}. We prove that if [(E1)\tilde]=E1(([(g)\tilde],[(K)\tilde])) ￡ L{\tilde{\mathcal{E}_{1}}=\mathcal{E}_{1}((\tilde{g},\tilde{K}))\leq \Lambda} (where E1=Q0+Q1{\mathcal{E}_{1}=Q_{0}+Q_{1}}, is the sum of the zero and first order Bel–Robinson energies) the flow ([(g)\tilde],[(K)\tilde])(s){(\tilde{g},\tilde{K})(\sigma)} persistently geometrizes the three-manifold Σ and the geometrization is the ground state if Vˉ Vinf{\mathcal{V}\downarrow \mathcal{V}_{\rm inf}}.      设为首页 | 免责声明 | 关于勤云 | 加入收藏 Copyright©北京勤云科技发展有限公司  京ICP备09084417号

A valuation criterion for normal basis generators in local fields of characteristic p

Let K be a complete local field of characteristic p with perfect residue field, and let L/K be a finite, totally ramified, Galois p-extension with G = Gal(L/K). Let v _L be the normalized valuation with ${v_L(L^{\times})=\mathbb{Z} }Let K be a complete local field of characteristic p with perfect residue field, and let L/K be a finite, totally ramified, Galois p-extension with G = Gal(L/K). Let v _L be the normalized valuation with v_L(L^×)=\mathbbZ {v_L(L^{\times})=\mathbb{Z} }. Let p_L ? L{\pi_L\in L} be a prime element, and let p′ (x) be the derivative of the minimal polynomial for π _L over K. We show that any element r ? L{\rho\in L} with v_L(r) o -v_L(p￠(p_L))-1 mod [L:K]{v_L(\rho)\equiv -v_L(p'(\pi_L))-1\bmod[L:K]} generates a normal basis: K[G]ρ = L. This criterion is tight: Given any integer i with i\not o -v_L(p￠(p_L))-1 mod [L:K]{i\not\equiv -v_L(p'(\pi_L))-1\bmod[L:K]}, there is a r_i ? L{\rho_i\in L} with v _L (ρ _i ) = i such that K[G]r_i\subsetneq L{K[G]\rho_i\subsetneq L}.     

Dual partially harmonic tensors and Brauer-Schur-Weyl duality

Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let $ \mathfrak{B}_n^{(f)} Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let \mathfrakB_n^(f) \mathfrak{B}_n^{(f)} be the two-sided ideal of the Brauer algebra \mathfrakB_n( - 2m ) {\mathfrak{B}_n}\left( { - 2m} \right) over K generated by e ₁ e _3⋯ e _2f-1 where 0 ≤ f ≤ [n/2]. Let HT_f ^?n \mathcal{H}\mathcal{T}_f^{ \otimes n} be the subspace of partial-harmonic tensors of valence f in V ^⊗n . In this paper we prove that dimHT_f ^?n \mathcal{H}\mathcal{T}_f^{ \otimes n} and dim \textEn\textd_K\textSp(V)( V ^?n \mathord

Degenerate elliptic operators in one dimension

Let H be the symmetric second-order differential operator on L ₂(R) with domain ${C_c^\infty({\bf R})}Let H be the symmetric second-order differential operator on L ₂(R) with domain C_c^￥(R){C_c^\infty({\bf R})} and action Hj = -(c j^￠)^￠{H\varphi=-(c\,\varphi^{\prime})^{\prime}} where c ? W^1,2_loc(R){ c\in W^{1,2}_{\rm loc}({\bf R})} is a real function that is strictly positive on R\{0}{{\bf R}\backslash\{0\}} but with c(0) = 0. We give a complete characterization of the self-adjoint extensions and the submarkovian extensions of H. In particular if n = n₊ún_-{\nu=\nu_+\vee\nu_-} where n_±(x)=±ò^±1_±x c^-1{\nu_\pm(x)=\pm\int^{\pm 1}_{\pm x} c^{-1}} then H has a unique self-adjoint extension if and only if n ? L₂(0,1){\nu\not\in L_2(0,1)} and a unique submarkovian extension if and only if n ? L_￥(0,1){\nu\not\in L_\infty(0,1)}. In both cases, the corresponding semigroup leaves L ₂(0,∞) and L ₂(−∞,0) invariant. In addition, we prove that for a general non-negative c ? W^1,￥_loc(R){ c\in W^{1,\infty}_{\rm loc}({\bf R})} the corresponding operator H has a unique submarkovian extension.     

On Representations of Integers in Thin Subgroups of {{\rm SL}_2({\mathbb {Z}})}

Let ${\Gamma < {\rm SL}(2, {\mathbb Z})}Let G < SL(2, \mathbb Z){\Gamma < {\rm SL}(2, {\mathbb Z})} be a free, finitely generated Fuchsian group of the second kind with no parabolics, and fix two primitive vectors v₀, w₀ ? \mathbb Z²  \  {0}{v_{0}, w_{0} \in \mathbb {Z}^{2} \, {\backslash} \, \{0\}}. We consider the set S{\mathcal {S}} of all integers occurring in áv₀g, w₀?{\langle v_{0}\gamma, w_{0}\rangle}, for g ? G{\gamma \in \Gamma} and the usual inner product on \mathbb R²{\mathbb {R}^2}. Assume that the critical exponent δ of Γ exceeds 0.99995, so that Γ is thin but not too thin. Using a variant of the circle method, new bilinear forms estimates and Gamburd’s 5/6-th spectral gap in infinite-volume, we show that S{\mathcal {S}} contains almost all of its admissible primes, that is, those not excluded by local (congruence) obstructions. Moreover, we show that the exceptional set \mathfrak E(N){\mathfrak {E}(N)} of integers |n| < N which are locally admissible (n ? S   (mod  q)   for all   q 3 1){(n \in \mathcal {S} \, \, ({\rm mod} \, q) \, \, {\rm for\,all} \,\, q \geq 1)} but fail to be globally represented, n ? S{n \notin \mathcal {S}}, has a power savings, |\mathfrak E(N)| << N^1-e₀{|\mathfrak {E}(N)| \ll N^{1-\varepsilon_{0}}} for some ${\varepsilon_{0} > 0}${\varepsilon_{0} > 0}, as N → ∞.     

Recurrent approach to Blaschke’s problem

We have obtained a recurrence formula $I_{n+3} = \frac{4(n+3)}{\pi(n+4)}VI_{n+1}We have obtained a recurrence formula I_n+3 = \frac4(n+3)p(n+4)VI_n+1I_{n+3} = \frac{4(n+3)}{\pi(n+4)}VI_{n+1} for integro-geometric moments in the case of a circle with the area V, where I_n = ò\nolimits_{K ?G}sⁿd GI_n = \int \nolimits_{K \cap G}\sigma^{n}{\rm d} G, while in the case of a convex domain K with the perimeter S and area V the recurrence formula

In+3 = \frac8(n+3)V2(n+1)(n+4)p[\fracd In+1d V - \fracIn+1S \fracd Sd V ] I_{n+3} = \frac{8(n+3)V^2}{(n+1)(n+4)\pi}\Big[\frac{{\rm d} I_{n+1}}{{\rm d} V} - \frac{I_{n+1}}{S} \frac{{\rm d} S}{{\rm d} V} \Big]      9. On Bernstein–Walsh-type lemmas in regions of the complex plane      F. G. Abdullayev  N.D. Aral 《Ukrainian Mathematical Journal》2011,63(3):337-350 Let G ì \mathbb C G \subset {\mathbb C} be a finite region bounded by a Jordan curve L: = ?G L: = \partial G , let W: = \textext[`(G)] \Omega : = {\text{ext}}\bar{G} (with respect to [`(\mathbb C)] {\overline {\mathbb C}} ), $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} , and let w = F(z) w = \Phi (z) be a univalent conformal mapping of Ω onto Δ normalized by $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 . By A p (G); p > 0; we denote a class of functions f analytic in G and satisfying the condition || f ||App(G): = òG | f(z) |pdsz < ￥, \left\| f \right\|_{Ap}^p(G): = \int\limits_G {{{\left| {f(z)} \right|}^p}d{\sigma_z} < \infty, }      10. On a class of non-uniform average sampling expansions and partial reconstruction in subspaces of L 2(?)      Nikolaos D. Atreas 《Advances in Computational Mathematics》2012,36(1):21-38 Let ϕ be a function in the Wiener amalgam space W￥(L1)\emph{W}_{\infty}(L_1) with a non-vanishing property in a neighborhood of the origin for its Fourier transform [^(f)]\widehat{\phi}, t={tn}n ? \mathbb Z{\bf \tau}=\{\tau_n\}_{n\in {{\mathbb Z}}} be a sampling set on ℝ and VftV_\phi^{\bf \tau} be a closed subspace of L2(\mathbbR)L_2(\hbox{\ensuremath{\mathbb{R}}}) containing all linear combinations of τ-translates of ϕ. In this paper we prove that every function f ? Vftf\in V_\phi^{\bf \tau} is uniquely determined by and stably reconstructed from the sample set Lft(f)={ò\mathbbR f(t)[`(f(t-tn))] dt}n ? \mathbb ZL_\phi^{\bf \tau}(f)=\Big\{\int_{\hbox{\ensuremath{\mathbb{R}}}} f(t) \overline{\phi(t-\tau_n)} dt\Big\}_{n\in {{\mathbb Z}}}. As our reconstruction formula involves evaluating the inverse of an infinite matrix we consider a partial reconstruction formula suitable for numerical implementation. Under an additional assumption on the decay rate of ϕ we provide an estimate to the corresponding error.      11. Quantization of Lie bialgebras and shuffle algebras of Lie algebras      B. Enriquez 《Selecta Mathematica, New Series》2001,7(3):321-407 To any field \Bbb K \Bbb K of characteristic zero, we associate a set (\mathbbK) (\mathbb{K}) and a group G0(\Bbb K) {\cal G}_0(\Bbb K) . Elements of (\mathbbK) (\mathbb{K}) are equivalence classes of families of Lie polynomials subject to associativity relations. Elements of G0(\Bbb K) {\cal G}_0(\Bbb K) are universal automorphisms of the adjoint representations of Lie bialgebras over \Bbb K \Bbb K . We construct a bijection between (\mathbbK)×G0(\Bbb K) (\mathbb{K})\times{\cal G}_0(\Bbb K) and the set of quantization functors of Lie bialgebras over \Bbb K \Bbb K . This construction involves the following steps.? 1) To each element v \varpi of (\mathbbK) (\mathbb{K}) , we associate a functor \frak a?\operatornameShv(\frak a) \frak a\mapsto\operatorname{Sh}^\varpi(\frak a) from the category of Lie algebras to that of Hopf algebras; \operatornameShv(\frak a) \operatorname{Sh}^\varpi(\frak a) contains U\frak a U\frak a .? 2) When \frak a \frak a and \frak b \frak b are Lie algebras, and r\frak a\frak b ? \frak a?\frak b r_{\frak a\frak b} \in\frak a\otimes\frak b , we construct an element ?v (r\frak a\frak b) {\cal R}^{\varpi} (r_{\frak a\frak b}) of \operatornameShv(\frak a)?\operatornameShv(\frak b) \operatorname{Sh}^\varpi(\frak a)\otimes\operatorname{Sh}^\varpi(\frak b) satisfying quasitriangularity identities; in particular, ?v(r\frak a\frak b) {\cal R}^\varpi(r_{\frak a\frak b}) defines a Hopf algebra morphism from \operatornameShv(\frak a)* \operatorname{Sh}^\varpi(\frak a)^* to \operatornameShv(\frak b) \operatorname{Sh}^\varpi(\frak b) .? 3) When \frak a = \frak b \frak a = \frak b and r\frak a ? \frak a?\frak a r_\frak a\in\frak a\otimes\frak a is a solution of CYBE, we construct a series rv(r\frak a) \rho^\varpi(r_\frak a) such that ?v(rv(r\frak a)) {\cal R}^\varpi(\rho^\varpi(r_\frak a)) is a solution of QYBE. The expression of rv(r\frak a) \rho^\varpi(r_\frak a) in terms of r\frak a r_\frak a involves Lie polynomials, and we show that this expression is unique at a universal level. This step relies on vanishing statements for cohomologies arising from universal algebras for the solutions of CYBE.? 4) We define the quantization of a Lie bialgebra \frak g \frak g as the image of the morphism defined by ?v(rv(r)) {\cal R}^\varpi(\rho^\varpi(r)) , where r ? \mathfrakg ?\mathfrakg* r \in \mathfrak{g} \otimes \mathfrak{g}^* .<\P>      12. On convex optimization without convex representation      Jean B. Lasserre 《Optimization Letters》2011,5(4):549-556 We consider the convex optimization problem P:minx {f(x) : x ? K}{{\rm {\bf P}}:{\rm min}_{\rm {\bf x}} \{f({\rm {\bf x}})\,:\,{\rm {\bf x}}\in{\rm {\bf K}}\}} where f is convex continuously differentiable, and K ì \mathbb Rn{{\rm {\bf K}}\subset{\mathbb R}^n} is a compact convex set with representation {x ? \mathbb Rn : gj(x) 3 0, j = 1,?,m}{\{{\rm {\bf x}}\in{\mathbb R}^n\,:\,g_j({\rm {\bf x}})\geq0, j = 1,\ldots,m\}} for some continuously differentiable functions (g j ). We discuss the case where the g j ’s are not all concave (in contrast with convex programming where they all are). In particular, even if the g j are not concave, we consider the log-barrier function fm{\phi_\mu} with parameter μ, associated with P, usually defined for concave functions (g j ). We then show that any limit point of any sequence (xm) ì K{({\rm {\bf x}}_\mu)\subset{\rm {\bf K}}} of stationary points of fm, m? 0{\phi_\mu, \mu \to 0} , is a Karush–Kuhn–Tucker point of problem P and a global minimizer of f on K.      13. Lipschitz Continuity Properties for p−Adic Semi-Algebraic and Subanalytic Functions      Raf Cluckers  Georges Comte  François Loeser 《Geometric And Functional Analysis》2010,20(1):68-87 We prove that a (globally) subanalytic function ${f : X \subset {\bf Q}^{n}_{p} \rightarrow {\bf Q}_{p}}We prove that a (globally) subanalytic function f : X ì Qnp ? Qp{f : X \subset {\bf Q}^{n}_{p} \rightarrow {\bf Q}_{p}} which is locally Lipschitz continuous with some constant C is piecewise (globally on each piece) Lipschitz continuous with possibly some other constant, where the pieces can be taken to be subanalytic. We also prove the analogous result for a subanalytic family of functions fy : Xy ì Qnp ? Qp{f_{y} : X_{y} \subset {\bf Q}^{n}_{p} \rightarrow {\bf Q}_{p}} depending on p−adic parameters. The statements also hold in a semi-algebraic set-up and also in a finite field extension of Q p . These results are p−adic analogues of results of K. Kurdyka over the real numbers. To encompass the total disconnectedness of p−adic fields, we need to introduce new methods adapted to the p−adic situation.      14. A convexity theorem for multiplicative functions      Pierre Maréchal 《Optimization Letters》2012,6(2):357-362 We generalize a well known convexity property of the multiplicative potential function. We prove that, given any convex function g : \mathbbRm ? [0, ￥]{g : \mathbb{R}^m \rightarrow [{0}, {\infty}]}, the function ${({\rm \bf x},{\rm \bf y})\mapsto g({\rm \bf x})^{1+\alpha}{\bf y}^{-{\bf \beta}}, {\bf y}>{\bf 0}}${({\rm \bf x},{\rm \bf y})\mapsto g({\rm \bf x})^{1+\alpha}{\bf y}^{-{\bf \beta}}, {\bf y}>{\bf 0}}, is convex if β ≥ 0 and α ≥ β 1 + ··· + β n . We also provide further generalization to functions of the form (x,y1, . . . , yn)? g(x)1+af1(y1)-b1 ···fn(yn)-bn{({\rm \bf x},{\rm \bf y}_1, . . . , {y_n})\mapsto g({\rm \bf x})^{1+\alpha}f_1({\rm \bf y}_1)^{-\beta_1} \cdot \cdot \cdot f_n({\rm \bf y}_n)^{-\beta_n} } with the f k concave, positively homogeneous and nonnegative on their domains.      15. Schlicht envelopes of holomorphy and topology      Christopher Hammond 《Mathematische Zeitschrift》2010,266(2):285-288 Let Ω be a domain in ${\mathbb{C}^{2}}Let Ω be a domain in \mathbbC2{\mathbb{C}^{2}}, and let p: [(W)\tilde]? \mathbbC2{\pi: \tilde{\Omega}\rightarrow \mathbb{C}^{2}} be its envelope of holomorphy. Also let W￠=p([(W)\tilde]){\Omega'=\pi(\tilde{\Omega})} with i: W\hookrightarrow W￠{i: \Omega \hookrightarrow \Omega'} the inclusion. We prove the following: if the induced map on fundamental groups i*:p1(W) ? p1(W￠){i_{*}:\pi_{1}(\Omega) \rightarrow \pi_{1}(\Omega')} is a surjection, and if π is a covering map, then Ω has a schlicht envelope of holomorphy. We then relate this to earlier work of Fornaess and Zame.      16. The Number of Independent Sets in a Graph with Small Maximum Degree      David Galvin  Yufei Zhao 《Graphs and Combinatorics》2011,27(2):177-186 Let ind(G) be the number of independent sets in a graph G. We show that if G has maximum degree at most 5 then ind(G) ￡ 2iso(G) ?uv ? E(G) ind(Kd(u),d(v))\frac1d(u)d(v){\rm ind}(G) \leq 2^{{\rm iso}(G)} \prod_{uv \in E(G)} {\rm ind}(K_{d(u),d(v)})^{\frac{1}{d(u)d(v)}}      17. Maximum IPP Codes of Length 3      Wen Jiang  Ye Li  Xingxing Yu 《Annals of Combinatorics》2010,13(4):491-510 Let Q be an alphabet with q elements. For any code C over Q of length n and for any two codewords a = (a 1, . . . , a n ) and b = (b 1, . . . , b n ) in C, let ${D({\bf a, b}) = \{(x_1, . . . , x_n) \in {Q^n} : {x_i} \in \{a_i, b_i\}\,{\rm for}\,1 \leq i \leq n\}}Let Q be an alphabet with q elements. For any code C over Q of length n and for any two codewords a = (a 1, . . . , a n ) and b = (b 1, . . . , b n ) in C, let D(a, b) = {(x1, . . . , xn) ? Qn : xi ? {ai, bi} for 1 ￡ i ￡ n}{D({\bf a, b}) = \{(x_1, . . . , x_n) \in {Q^n} : {x_i} \in \{a_i, b_i\}\,{\rm for}\,1 \leq i \leq n\}}. Let C* = èa, b ? CD(a, b){C^* = {{\bigcup}_{\rm {a,\,b}\in{C}}}D({\bf a, b})}. The code C is said to have the identifiable parent property (IPP) if, for any x ? C*{{\rm {\bf x}} \in C^*}, ?x ? D(a, b){a, b} 1 ?{{\bigcap}_{{\rm x}{\in}D({\rm a,\,b})}\{{\bf a, b}\}\neq \emptyset} . Codes with the IPP were introduced by Hollmann et al [J. Combin. Theory Ser. A 82 (1998) 21–133]. Let F(n, q) = max{|C|: C is a q-ary code of length n with the IPP}.T? and Safavi-Naini [SIAM J. Discrete Math. 17 (2004) 548–570] showed that 3q + 6 - 6 é?{q+1}ù ￡ F(3, q) ￡ 3q + 6 - é6 ?{q+1}ù{3q + 6 - 6 \lceil\sqrt{q+1}\rceil \leq F(3, q) \leq 3q + 6 - \lceil 6 \sqrt{q+1}\rceil}, and determined F (3, q) precisely when q ≤ 48 or when q can be expressed as r 2 + 2r or r 2 + 3r +2 for r ≥ 2. In this paper, we establish a precise formula of F(3, q) for q ≥ 24. Moreover, we construct IPP codes of size F(3, q) for q ≥ 24 and show that, for any such code C and any x ? C*{{\rm {\bf x}} \in C^*}, one can find, in constant time, a ? C{{\rm {\bf a}} \in C} such that if x ? D (c, d){{\rm {\bf x}} \in D ({\bf c, d})} then a ? {c, d}{{\rm {\bf a}} \in \{{\rm {\bf c, d}}\}}.      18. Weighted least-squares estimators of parametric functions of the regression coefficients under a general linear model      Yongge Tian 《Annals of the Institute of Statistical Mathematics》2010,62(5):929-941 The weighted least-squares estimator of parametric functions K β under a general linear regression model { y, X b, s2S }{\{ {\bf y},\,{\bf X \beta}, \sigma^2{\bf \Sigma} \}} is defined to be K[^(b)]{{\bf K}{\hat{\bf {\beta}}}}, where [^(b)]{\hat{{\bf \beta}}} is a vector that minimizes (y − X β)′V(y − X β) for a given nonnegative definite weight matrix V. In this paper, we study some algebraic and statistical properties of K[^(b)]{{\bf K}\hat{{\bf \beta}}} and the projection matrix associated with the estimator, such as, their ranks, unbiasedness, uniqueness, as well as equalities satisfied by the projection matrices.      19. An Introduction to Closed/Open Neighborhood Sums: Minimax, Maximin, and Spread      Allen O��Neal  Peter J. Slater 《Mathematics in Computer Science》2011,5(1):69-80 For a graph G of order |V(G)| = n and a real-valued mapping f:V(G)?\mathbbR{f:V(G)\rightarrow\mathbb{R}}, if S ì V(G){S\subset V(G)} then f(S)=?w ? S f(w){f(S)=\sum_{w\in S} f(w)} is called the weight of S under f. The closed (respectively, open) neighborhood sum of f is the maximum weight of a closed (respectively, open) neighborhood under f, that is, NS[f]=max{f(N[v])|v ? V(G)}{NS[f]={\rm max}\{f(N[v])|v \in V(G)\}} and NS(f)=max{f(N(v))|v ? V(G)}{NS(f)={\rm max}\{f(N(v))|v \in V(G)\}}. The closed (respectively, open) lower neighborhood sum of f is the minimum weight of a closed (respectively, open) neighborhood under f, that is, NS-[f]=min{f(N[v])|v ? V(G)}{NS^{-}[f]={\rm min}\{f(N[v])|v\in V(G)\}} and NS-(f)=min{f(N(v))|v ? V(G)}{NS^{-}(f)={\rm min}\{f(N(v))|v\in V(G)\}}. For W ì \mathbbR{W\subset \mathbb{R}}, the closed and open neighborhood sum parameters are NSW[G]=min{NS[f]|f:V(G)? W{NS_W[G]={\rm min}\{NS[f]|f:V(G)\rightarrow W} is a bijection} and NSW(G)=min{NS(f)|f:V(G)? W{NS_W(G)={\rm min}\{NS(f)|f:V(G)\rightarrow W} is a bijection}. The lower neighbor sum parameters are NS-W[G]=maxNS-[f]|f:V(G)? W{NS^{-}_W[G]={\rm max}NS^{-}[f]|f:V(G)\rightarrow W} is a bijection} and NS-W(G)=maxNS-(f)|f:V(G)? W{NS^{-}_W(G)={\rm max}NS^{-}(f)|f:V(G)\rightarrow W} is a bijection}. For bijections f:V(G)? {1,2,?,n}{f:V(G)\rightarrow \{1,2,\ldots,n\}} we consider the parameters NS[G], NS(G), NS −[G] and NS −(G), as well as two parameters minimizing the maximum difference in neighborhood sums.      20. The Ground State and the Long-Time Evolution in the CMC Einstein Flow      Martin Reiris 《Annales Henri Poincare》2010,10(8):1559-1604 Let (g, K)(k) be a CMC (vacuum) Einstein flow over a compact three-manifold Σ with non-positive Yamabe invariant (Y(Σ)). As noted by Fischer and Moncrief, the reduced volume ${\mathcal{V}(k)=\left(\frac{-k}{3}\right)^{3}{\rm Vol}_{g(k)}(\Sigma)}Let (g, K)(k) be a CMC (vacuum) Einstein flow over a compact three-manifold Σ with non-positive Yamabe invariant (Y(Σ)). As noted by Fischer and Moncrief, the reduced volume V(k)=(\frac-k3)3Volg(k)(S){\mathcal{V}(k)=\left(\frac{-k}{3}\right)^{3}{\rm Vol}_{g(k)}(\Sigma)} is monotonically decreasing in the expanding direction and bounded below by Vinf=(\frac-16Y(S))\frac32{\mathcal{V}_{\rm \inf}=\left(\frac{-1}{6}Y(\Sigma)\right)^{\frac{3}{2}}}. Inspired by this fact we define the ground state of the manifold Σ as “the limit” of any sequence of CMC states {(g i , K i )} satisfying: (i) k i  = −3, (ii) Viˉ Vinf{\mathcal{V}_{i}\downarrow \mathcal{V}_{\rm inf}}, (iii) Q 0((g i , K i )) ≤ Λ, where Q 0 is the Bel–Robinson energy and Λ is any arbitrary positive constant. We prove that (as a geometric state) the ground state is equivalent to the Thurston geometrization of Σ. Ground states classify naturally into three types. We provide examples for each class, including a new ground state (the Double Cusp) that we analyze in detail. Finally, consider a long time and cosmologically normalized flow ([(g)\tilde],[(K)\tilde])(s)=((\frac-k3)2g,(\frac-k3)K){(\tilde{g},\tilde{K})(\sigma)=\left(\left(\frac{-k}{3}\right)^{2}g,\left(\frac{-k}{3}\right)K\right)}, where s = -ln(-k) ? [a,￥){\sigma=-\ln (-k)\in [a,\infty)}. We prove that if [(E1)\tilde]=E1(([(g)\tilde],[(K)\tilde])) ￡ L{\tilde{\mathcal{E}_{1}}=\mathcal{E}_{1}((\tilde{g},\tilde{K}))\leq \Lambda} (where E1=Q0+Q1{\mathcal{E}_{1}=Q_{0}+Q_{1}}, is the sum of the zero and first order Bel–Robinson energies) the flow ([(g)\tilde],[(K)\tilde])(s){(\tilde{g},\tilde{K})(\sigma)} persistently geometrizes the three-manifold Σ and the geometrization is the ground state if Vˉ Vinf{\mathcal{V}\downarrow \mathcal{V}_{\rm inf}}.      设为首页 | 免责声明 | 关于勤云 | 加入收藏 Copyright©北京勤云科技发展有限公司  京ICP备09084417号

On Bernstein–Walsh-type lemmas in regions of the complex plane

Let G ì \mathbb C G \subset {\mathbb C} be a finite region bounded by a Jordan curve L: = ?G L: = \partial G , let W: = \textext[`(G)] \Omega : = {\text{ext}}\bar{G} (with respect to [`(\mathbb C)] {\overline {\mathbb C}} ), $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} , and let w = F(z) w = \Phi (z) be a univalent conformal mapping of Ω onto Δ normalized by $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 . By A _p (G); p > 0; we denote a class of functions f analytic in G and satisfying the condition

On a class of non-uniform average sampling expansions and partial reconstruction in subspaces of L 2(?)

Let ϕ be a function in the Wiener amalgam space W_￥(L₁)\emph{W}_{\infty}(L_1) with a non-vanishing property in a neighborhood of the origin for its Fourier transform [^(f)]\widehat{\phi}, t={t_n}_{n ? \mathbb Z}{\bf \tau}=\{\tau_n\}_{n\in {{\mathbb Z}}} be a sampling set on ℝ and V_f^tV_\phi^{\bf \tau} be a closed subspace of L₂(\mathbbR)L_2(\hbox{\ensuremath{\mathbb{R}}}) containing all linear combinations of τ-translates of ϕ. In this paper we prove that every function f ? V_f^tf\in V_\phi^{\bf \tau} is uniquely determined by and stably reconstructed from the sample set L_f^t(f)={ò_\mathbbR f(t)[`(f(t-t_n))] dt}_{n ? \mathbb Z}L_\phi^{\bf \tau}(f)=\Big\{\int_{\hbox{\ensuremath{\mathbb{R}}}} f(t) \overline{\phi(t-\tau_n)} dt\Big\}_{n\in {{\mathbb Z}}}. As our reconstruction formula involves evaluating the inverse of an infinite matrix we consider a partial reconstruction formula suitable for numerical implementation. Under an additional assumption on the decay rate of ϕ we provide an estimate to the corresponding error.     

Quantization of Lie bialgebras and shuffle algebras of Lie algebras

To any field \Bbb K \Bbb K of characteristic zero, we associate a set (\mathbbK) (\mathbb{K}) and a group G₀(\Bbb K) {\cal G}_0(\Bbb K) . Elements of (\mathbbK) (\mathbb{K}) are equivalence classes of families of Lie polynomials subject to associativity relations. Elements of G₀(\Bbb K) {\cal G}_0(\Bbb K) are universal automorphisms of the adjoint representations of Lie bialgebras over \Bbb K \Bbb K . We construct a bijection between (\mathbbK)×G₀(\Bbb K) (\mathbb{K})\times{\cal G}_0(\Bbb K) and the set of quantization functors of Lie bialgebras over \Bbb K \Bbb K . This construction involves the following steps.? 1) To each element v \varpi of (\mathbbK) (\mathbb{K}) , we associate a functor \frak a?\operatornameSh^v(\frak a) \frak a\mapsto\operatorname{Sh}^\varpi(\frak a) from the category of Lie algebras to that of Hopf algebras; \operatornameSh^v(\frak a) \operatorname{Sh}^\varpi(\frak a) contains U\frak a U\frak a .? 2) When \frak a \frak a and \frak b \frak b are Lie algebras, and r_{\frak a\frak b} ? \frak a?\frak b r_{\frak a\frak b} \in\frak a\otimes\frak b , we construct an element ?^v (r_{\frak a\frak b}) {\cal R}^{\varpi} (r_{\frak a\frak b}) of \operatornameSh^v(\frak a)?\operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak a)\otimes\operatorname{Sh}^\varpi(\frak b) satisfying quasitriangularity identities; in particular, ?^v(r_{\frak a\frak b}) {\cal R}^\varpi(r_{\frak a\frak b}) defines a Hopf algebra morphism from \operatornameSh^v(\frak a)^* \operatorname{Sh}^\varpi(\frak a)^* to \operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak b) .? 3) When \frak a = \frak b \frak a = \frak b and r_\frak a ? \frak a?\frak a r_\frak a\in\frak a\otimes\frak a is a solution of CYBE, we construct a series r^v(r_\frak a) \rho^\varpi(r_\frak a) such that ?^v(r^v(r_\frak a)) {\cal R}^\varpi(\rho^\varpi(r_\frak a)) is a solution of QYBE. The expression of r^v(r_\frak a) \rho^\varpi(r_\frak a) in terms of r_\frak a r_\frak a involves Lie polynomials, and we show that this expression is unique at a universal level. This step relies on vanishing statements for cohomologies arising from universal algebras for the solutions of CYBE.? 4) We define the quantization of a Lie bialgebra \frak g \frak g as the image of the morphism defined by ?^v(r^v(r)) {\cal R}^\varpi(\rho^\varpi(r)) , where r ? \mathfrakg ?\mathfrakg^* r \in \mathfrak{g} \otimes \mathfrak{g}^* .<\P>     

On convex optimization without convex representation

We consider the convex optimization problem P:min_x {f(x) : x ? K}{{\rm {\bf P}}:{\rm min}_{\rm {\bf x}} \{f({\rm {\bf x}})\,:\,{\rm {\bf x}}\in{\rm {\bf K}}\}} where f is convex continuously differentiable, and K ì \mathbb Rⁿ{{\rm {\bf K}}\subset{\mathbb R}^n} is a compact convex set with representation {x ? \mathbb Rⁿ : g_j(x) 3 0, j = 1,?,m}{\{{\rm {\bf x}}\in{\mathbb R}^n\,:\,g_j({\rm {\bf x}})\geq0, j = 1,\ldots,m\}} for some continuously differentiable functions (g _j ). We discuss the case where the g _j ’s are not all concave (in contrast with convex programming where they all are). In particular, even if the g _j are not concave, we consider the log-barrier function f_m{\phi_\mu} with parameter μ, associated with P, usually defined for concave functions (g _j ). We then show that any limit point of any sequence (x_m) ì K{({\rm {\bf x}}_\mu)\subset{\rm {\bf K}}} of stationary points of f_m, m? 0{\phi_\mu, \mu \to 0} , is a Karush–Kuhn–Tucker point of problem P and a global minimizer of f on K.     

Lipschitz Continuity Properties for p−Adic Semi-Algebraic and Subanalytic Functions

We prove that a (globally) subanalytic function ${f : X \subset {\bf Q}^{n}_{p} \rightarrow {\bf Q}_{p}}We prove that a (globally) subanalytic function f : X ì Qⁿ_p ? Q_p{f : X \subset {\bf Q}^{n}_{p} \rightarrow {\bf Q}_{p}} which is locally Lipschitz continuous with some constant C is piecewise (globally on each piece) Lipschitz continuous with possibly some other constant, where the pieces can be taken to be subanalytic. We also prove the analogous result for a subanalytic family of functions f_y : X_y ì Qⁿ_p ? Q_p{f_{y} : X_{y} \subset {\bf Q}^{n}_{p} \rightarrow {\bf Q}_{p}} depending on p−adic parameters. The statements also hold in a semi-algebraic set-up and also in a finite field extension of Q _p . These results are p−adic analogues of results of K. Kurdyka over the real numbers. To encompass the total disconnectedness of p−adic fields, we need to introduce new methods adapted to the p−adic situation.     

A convexity theorem for multiplicative functions

We generalize a well known convexity property of the multiplicative potential function. We prove that, given any convex function g : \mathbbR^m ? [0, ￥]{g : \mathbb{R}^m \rightarrow [{0}, {\infty}]}, the function ${({\rm \bf x},{\rm \bf y})\mapsto g({\rm \bf x})^{1+\alpha}{\bf y}^{-{\bf \beta}}, {\bf y}>{\bf 0}}${({\rm \bf x},{\rm \bf y})\mapsto g({\rm \bf x})^{1+\alpha}{\bf y}^{-{\bf \beta}}, {\bf y}>{\bf 0}}, is convex if β ≥ 0 and α ≥ β ₁ + ··· + β _n . We also provide further generalization to functions of the form (x,y₁, . . . , y_n)? g(x)^1+af₁(y₁)^-b₁ ···f_n(y_n)^-b_n{({\rm \bf x},{\rm \bf y}_1, . . . , {y_n})\mapsto g({\rm \bf x})^{1+\alpha}f_1({\rm \bf y}_1)^{-\beta_1} \cdot \cdot \cdot f_n({\rm \bf y}_n)^{-\beta_n} } with the f _k concave, positively homogeneous and nonnegative on their domains.     

Schlicht envelopes of holomorphy and topology

Let Ω be a domain in ${\mathbb{C}^{2}}Let Ω be a domain in \mathbbC²{\mathbb{C}^{2}}, and let p: [(W)\tilde]? \mathbbC²{\pi: \tilde{\Omega}\rightarrow \mathbb{C}^{2}} be its envelope of holomorphy. Also let W￠=p([(W)\tilde]){\Omega'=\pi(\tilde{\Omega})} with i: W\hookrightarrow W￠{i: \Omega \hookrightarrow \Omega'} the inclusion. We prove the following: if the induced map on fundamental groups i_*:p₁(W) ? p₁(W￠){i_{*}:\pi_{1}(\Omega) \rightarrow \pi_{1}(\Omega')} is a surjection, and if π is a covering map, then Ω has a schlicht envelope of holomorphy. We then relate this to earlier work of Fornaess and Zame.     

The Number of Independent Sets in a Graph with Small Maximum Degree

Let ind(G) be the number of independent sets in a graph G. We show that if G has maximum degree at most 5 then

Maximum IPP Codes of Length 3

Let Q be an alphabet with q elements. For any code C over Q of length n and for any two codewords a = (a ₁, . . . , a _n ) and b = (b ₁, . . . , b _n ) in C, let ${D({\bf a, b}) = \{(x_1, . . . , x_n) \in {Q^n} : {x_i} \in \{a_i, b_i\}\,{\rm for}\,1 \leq i \leq n\}}Let Q be an alphabet with q elements. For any code C over Q of length n and for any two codewords a = (a ₁, . . . , a _n ) and b = (b ₁, . . . , b _n ) in C, let D(a, b) = {(x₁, . . . , x_n) ? Qⁿ : x_i ? {a_i, b_i} for 1 ￡ i ￡ n}{D({\bf a, b}) = \{(x_1, . . . , x_n) \in {Q^n} : {x_i} \in \{a_i, b_i\}\,{\rm for}\,1 \leq i \leq n\}}. Let C^* = è_{a, b ? C}D(a, b){C^* = {{\bigcup}_{\rm {a,\,b}\in{C}}}D({\bf a, b})}. The code C is said to have the identifiable parent property (IPP) if, for any x ? C^*{{\rm {\bf x}} \in C^*}, ?_{x ? D(a, b)}{a, b} 1 ?{{\bigcap}_{{\rm x}{\in}D({\rm a,\,b})}\{{\bf a, b}\}\neq \emptyset} . Codes with the IPP were introduced by Hollmann et al [J. Combin. Theory Ser. A 82 (1998) 21–133]. Let F(n, q) = max{|C|: C is a q-ary code of length n with the IPP}.T? and Safavi-Naini [SIAM J. Discrete Math. 17 (2004) 548–570] showed that 3q + 6 - 6 é?{q+1}ù ￡ F(3, q) ￡ 3q + 6 - é6 ?{q+1}ù{3q + 6 - 6 \lceil\sqrt{q+1}\rceil \leq F(3, q) \leq 3q + 6 - \lceil 6 \sqrt{q+1}\rceil}, and determined F (3, q) precisely when q ≤ 48 or when q can be expressed as r ² + 2r or r ² + 3r +2 for r ≥ 2. In this paper, we establish a precise formula of F(3, q) for q ≥ 24. Moreover, we construct IPP codes of size F(3, q) for q ≥ 24 and show that, for any such code C and any x ? C^*{{\rm {\bf x}} \in C^*}, one can find, in constant time, a ? C{{\rm {\bf a}} \in C} such that if x ? D (c, d){{\rm {\bf x}} \in D ({\bf c, d})} then a ? {c, d}{{\rm {\bf a}} \in \{{\rm {\bf c, d}}\}}.     

Weighted least-squares estimators of parametric functions of the regression coefficients under a general linear model

The weighted least-squares estimator of parametric functions K β under a general linear regression model { y, X b, s²S }{\{ {\bf y},\,{\bf X \beta}, \sigma^2{\bf \Sigma} \}} is defined to be K[^(b)]{{\bf K}{\hat{\bf {\beta}}}}, where [^(b)]{\hat{{\bf \beta}}} is a vector that minimizes (y − X β)′V(y − X β) for a given nonnegative definite weight matrix V. In this paper, we study some algebraic and statistical properties of K[^(b)]{{\bf K}\hat{{\bf \beta}}} and the projection matrix associated with the estimator, such as, their ranks, unbiasedness, uniqueness, as well as equalities satisfied by the projection matrices.     

An Introduction to Closed/Open Neighborhood Sums: Minimax, Maximin, and Spread

For a graph G of order |V(G)| = n and a real-valued mapping f:V(G)?\mathbbR{f:V(G)\rightarrow\mathbb{R}}, if S ì V(G){S\subset V(G)} then f(S)=?_{w ? S} f(w){f(S)=\sum_{w\in S} f(w)} is called the weight of S under f. The closed (respectively, open) neighborhood sum of f is the maximum weight of a closed (respectively, open) neighborhood under f, that is, NS[f]=max{f(N[v])|v ? V(G)}{NS[f]={\rm max}\{f(N[v])|v \in V(G)\}} and NS(f)=max{f(N(v))|v ? V(G)}{NS(f)={\rm max}\{f(N(v))|v \in V(G)\}}. The closed (respectively, open) lower neighborhood sum of f is the minimum weight of a closed (respectively, open) neighborhood under f, that is, NS^-[f]=min{f(N[v])|v ? V(G)}{NS^{-}[f]={\rm min}\{f(N[v])|v\in V(G)\}} and NS^-(f)=min{f(N(v))|v ? V(G)}{NS^{-}(f)={\rm min}\{f(N(v))|v\in V(G)\}}. For W ì \mathbbR{W\subset \mathbb{R}}, the closed and open neighborhood sum parameters are NS_W[G]=min{NS[f]|f:V(G)? W{NS_W[G]={\rm min}\{NS[f]|f:V(G)\rightarrow W} is a bijection} and NS_W(G)=min{NS(f)|f:V(G)? W{NS_W(G)={\rm min}\{NS(f)|f:V(G)\rightarrow W} is a bijection}. The lower neighbor sum parameters are NS^-_W[G]=maxNS^-[f]|f:V(G)? W{NS^{-}_W[G]={\rm max}NS^{-}[f]|f:V(G)\rightarrow W} is a bijection} and NS^-_W(G)=maxNS^-(f)|f:V(G)? W{NS^{-}_W(G)={\rm max}NS^{-}(f)|f:V(G)\rightarrow W} is a bijection}. For bijections f:V(G)? {1,2,?,n}{f:V(G)\rightarrow \{1,2,\ldots,n\}} we consider the parameters NS[G], NS(G), NS ⁻[G] and NS ⁻(G), as well as two parameters minimizing the maximum difference in neighborhood sums.     

The Ground State and the Long-Time Evolution in the CMC Einstein Flow

Let (g, K)(k) be a CMC (vacuum) Einstein flow over a compact three-manifold Σ with non-positive Yamabe invariant (Y(Σ)). As noted by Fischer and Moncrief, the reduced volume ${\mathcal{V}(k)=\left(\frac{-k}{3}\right)^{3}{\rm Vol}_{g(k)}(\Sigma)}Let (g, K)(k) be a CMC (vacuum) Einstein flow over a compact three-manifold Σ with non-positive Yamabe invariant (Y(Σ)). As noted by Fischer and Moncrief, the reduced volume V(k)=(\frac-k3)³Vol_g(k)(S){\mathcal{V}(k)=\left(\frac{-k}{3}\right)^{3}{\rm Vol}_{g(k)}(\Sigma)} is monotonically decreasing in the expanding direction and bounded below by V_inf=(\frac-16Y(S))^\frac32{\mathcal{V}_{\rm \inf}=\left(\frac{-1}{6}Y(\Sigma)\right)^{\frac{3}{2}}}. Inspired by this fact we define the ground state of the manifold Σ as “the limit” of any sequence of CMC states {(g _i , K _i )} satisfying: (i) k _i  = −3, (ii) V_iˉ V_inf{\mathcal{V}_{i}\downarrow \mathcal{V}_{\rm inf}}, (iii) Q ₀((g _i , K _i )) ≤ Λ, where Q ₀ is the Bel–Robinson energy and Λ is any arbitrary positive constant. We prove that (as a geometric state) the ground state is equivalent to the Thurston geometrization of Σ. Ground states classify naturally into three types. We provide examples for each class, including a new ground state (the Double Cusp) that we analyze in detail. Finally, consider a long time and cosmologically normalized flow ([(g)\tilde],[(K)\tilde])(s)=((\frac-k3)²g,(\frac-k3)K){(\tilde{g},\tilde{K})(\sigma)=\left(\left(\frac{-k}{3}\right)^{2}g,\left(\frac{-k}{3}\right)K\right)}, where s = -ln(-k) ? [a,￥){\sigma=-\ln (-k)\in [a,\infty)}. We prove that if [(E₁)\tilde]=E₁(([(g)\tilde],[(K)\tilde])) ￡ L{\tilde{\mathcal{E}_{1}}=\mathcal{E}_{1}((\tilde{g},\tilde{K}))\leq \Lambda} (where E₁=Q₀+Q₁{\mathcal{E}_{1}=Q_{0}+Q_{1}}, is the sum of the zero and first order Bel–Robinson energies) the flow ([(g)\tilde],[(K)\tilde])(s){(\tilde{g},\tilde{K})(\sigma)} persistently geometrizes the three-manifold Σ and the geometrization is the ground state if Vˉ V_inf{\mathcal{V}\downarrow \mathcal{V}_{\rm inf}}.