Phase transitions of iterated Higman-style well-partial-orderings

We elaborate Weiermann-style phase transitions for well-partial-orderings (wpo) determined by iterated finite sequences under Higman-Friedman style embedding with Gordeev’s symmetric gap condition. For every d-times iterated wpo ${\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d}\right)}$ in question, d >? 1, we fix a natural extension of Peano Arithmetic, ${T \supseteq \sf{PA}}$ , that proves the corresponding second-order sentence ${\sf{WPO}\left({\rm S}{\textsc{eq}}^{d}, \trianglelefteq _{d}\right) }$ . Having this we consider the following parametrized first-order slow well-partial-ordering sentence ${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d}, r\right):}$ $$\left( \forall K > 0 \right) \left( \exists M > 0\right) \left( \forall x_{0},\ldots ,x_{M}\in {\rm S}\text{\textsc{eq}}^{d}\right)$$ $$\left( \left( \forall i\leq M\right) \left( \left| x_{i}\right| < K + r \left\lceil \log _{d} \left( i+1\right) \right\rceil \right)\rightarrow \left( \exists i < j \leq M \right) \left(x_{i} \trianglelefteq _{d} x_{j}\right) \right)$$ for a natural additive Seq ^d -norm |·| and r ranging over EFA-provably computable positive reals, where EFA is an abbreviation for IΔ ₀?+?exp. We show that the following basic phase transition clauses hold with respect to ${T = \Pi_{1}^{0}\sf{CA}_{ < \varphi ^{_{\left( d-1\right) }} \left(0\right) }}$ and the threshold point1.

1. If r <? 1 then ${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d},r \right) }$ is provable in T.

1. If ${r > 1}$ then ${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d},r \right) }$ is not provable in T.

Moreover, by the well-known proof theoretic equivalences we can just as well replace T by PA or ACA ₀ and ${\Delta _{1}^{1}\sf{CA}}$ , if d =? 2 and d =? 3, respectively.In the limit case d → ∞ we replaceEFA-provably computable reals r by EFA-provably computable functions ${f: \mathbb{N} \rightarrow \mathbb{R}_{+}}$ and prove analogous theorems. (In the sequel we denote by ${\mathbb{R}_{+}}$ the set of EFA-provably computable positive reals). In the basic case T?=? PA we strengthen the basic phase transition result by adding the following static threshold clause

1. ${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2}, 1\right)}$ is still provable in T = PA (actually in EFA).

Furthermore we prove the following dynamic threshold clauses which, loosely speaking are obtained by replacing the static threshold t by slowly growing functions 1 _α given by ${1_{\alpha }\left( i\right)\,{:=}\,1+\frac{1}{H_{\alpha }^{-1}\left(i\right) }, H_{\alpha}}$ being the familiar fast growing Hardy function and ${H_{\alpha }^{-1}\left( i\right)\,{:=}\,\rm min \left\{ j \mid H_{\alpha } \left ( j\right) \geq i \right\}}$ the corresponding slowly growing inversion.

1. If ${\alpha < \varepsilon _{0}}$ , then ${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2}, 1_{\alpha}\right)}$ is provable in T = PA.

1. ${\sf{SWP}\left( {\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2},1_{\varepsilon _{0}}\right)}$ is not provable in T = PA.

We conjecture that this pattern is characteristic for all ${T\supseteq \sf{PA}}$ under consideration and their proof-theoretical ordinals o (T ), instead of ${\varepsilon _{0}}$ .     

A note on da Costa-Doria “exotic formalizations”

We analyze N. C. A. da Costa and F. A. Doria’s “exotic formalization” of the conjecture P = NP [3–7]. For any standard axiomatic PA extension T and any number-theoretic sentence ${\varphi }$ , we let ${\varphi ^{\star} := \varphi \vee \lnot \mathsf{Con}\left( \mathsf{T}\right)}$ and prove the following “exotic” inferences 1–3. 1. ${\mathsf{T}+\varphi ^{\star}}$ is consistent, if so is T, 2. ${\mathsf{T}+\varphi}$ is consistent, provided that ${\mathsf{T}+\varphi ^{\star}}$ is ω-consistent, 3. ${\mathsf{T}+\varphi}$ is consistent, provided that T is consistent and has the same provably total recursive functions as ${\mathsf{T}+\left( \varphi \leftrightarrow \varphi ^{\star }\right) }$ . Furthermore we show that 1–3 continue to hold for ${\varphi ^{\star} := \varphi _{S} :=\varphi \vee \lnot S}$ , where ${S=\forall x\exists yR\left( x,y\right)}$ is any ${\Pi _{2}^{0}}$ sentence satisfying: 4. ${\left( \forall n\in \omega \right) \left( \mathsf{T}\vdash S_{x}\left[ \underline{n}\right] \right) }$ , 5. ${\mathsf{Con}\left( \mathsf{T}\right) \Rightarrow \mathsf{T}\nvdash S}$ . We observe that if ${\varphi :=\left[ \mathsf{P}=\mathsf{NP}\right] }$ and ${S:= \left[\digamma total\right] }$ , where ${\digamma=\digamma _{\mathsf{T}}}$ is da Costa-Doria “exotic” function with respect to T, then 4, 5 are satisfied for most familiar (presumably) consistent T in question, while ${\varphi _{S}}$ becomes equivalent to da Costa-Doria “exotic formalization” ${\left[ \mathsf{P}=\mathsf{NP}\right]^{\digamma}}$ . Moreover, the corresponding “exotic” inferences 1–3 generalize analogous da Costa-Doria results. Hence these “exotic” inferences are universal for all number-theoretic sentences and not characteristic to the conjecture P = NP. Nor do they infer relative consistency of P = NP (see Conclusion 15 in the text).     

Admissible closures of polynomial time computable arithmetic

We propose two admissible closures ${\mathbb{A}({\sf PTCA})}$ and ${\mathbb{A}({\sf PHCA})}$ of Ferreira??s system PTCA of polynomial time computable arithmetic and of full bounded arithmetic (or polynomial hierarchy computable arithmetic) PHCA. The main results obtained are: (i) ${\mathbb{A}({\sf PTCA})}$ is conservative over PTCA with respect to ${\forall\exists\Sigma^b_1}$ sentences, and (ii) ${\mathbb{A}({\sf PHCA})}$ is conservative over full bounded arithmetic PHCA for ${\forall\exists\Sigma^b_{\infty}}$ sentences. This yields that (i) the ${\Sigma^b_1}$ definable functions of ${\mathbb{A}({\sf PTCA})}$ are the polytime functions, and (ii) the ${\Sigma^b_{\infty}}$ definable functions of ${\mathbb{A}({\sf PHCA})}$ are the functions in the polynomial time hierarchy.     

On the hull-kernel and inverse topologies as frames

We consider some frame-theoretic properties of the hull-kernel and the inverse topologies on the set of minimal prime ideals of an algebraic frame with the finite intersection property on its compact elements. Denote by Alg _do the subcategory of Frm consisting of such frames together with dense onto coherent maps. We construct a functor ${{\sf T} : {\bf Alg}_{\rm do} \rightarrow {\bf Frm}}$ T : Alg do → Frm and a natural transformation ${\tau : {\sf E} \rightarrow {\sf T}}$ τ : E → T , where E is the inclusion functor from Alg _do to Frm.     

Optimal Cubature Formulas in Weighted Besov Spaces with A ∞ Weights on Multivariate Domains

For the unit ball $\mathit{UB}_{\tau}^{\alpha}(L_{p,w})$ of the weighted Besov space $B_{\tau}^{\alpha}(L_{p,w})$ with an A _∞ weight w on the domain Ω, which denotes either the unit sphere, or the unit ball, or the standard simplex of the Euclidean space ? ^d , the sharp asymptotic order of the quantity $$\mathop{\inf}_{{\lambda}_1, \ldots, {\lambda}_n \in \mathbb{R}\atop{\xi_1,\ldots, \xi_n \in\varOmega }} \sup_{f\in \mathit{UB}_\tau^\alpha(L_{p,w})} \biggl|\int _{\varOmega } f(x) w(x)\, dx-\sum_{j=1}^n{\lambda}_j f(\xi_j) \biggr|$$ is obtained as n→∞. A similar result is also established on unweighted spherical caps.     

On predicate provability logics and binumerations of fragments of Peano arithmetic

Solovay proved (Israel J Math 25(3–4):287–304, 1976) that the propositional provability logic of any ∑₂-sound recursively enumerable extension of PA is characterized by the propositional modal logic GL. By contrast, Montagna proved in (Notre Dame J Form Log 25(2):179–189, 1984) that predicate provability logics of Peano arithmetic and Bernays–Gödel set theory are different. Moreover, Artemov proved in (Doklady Akademii Nauk SSSR 290(6):1289–1292, 1986) that the predicate provability logic of a theory essentially depends on the choice of a binumeration of the theory which is used to construct the provability predicate. In this paper, we compare predicate provability logics of I∑ _n ’s. For a binumeration α(x) of a recursive theory T, let PL _α(T) be the predicate provability logic of T defined by α(x). We prove that for any natural numbers i, j such that 0 < i < j, there exists a ∑₁ binumeration α(x) of some recursive axiomatization of I∑ _i such that ${{\sf PL}_\alpha({\rm I \Sigma}_i) \nsupseteq \bigcap_{\beta(x)}{\sf PL}_\beta({\rm I \Sigma}_j)}$ PL α ( I Σ i ) ? ? β ( x ) PL β ( I Σ j ) and ${{\sf PL}_\alpha({\rm I \Sigma}_i) \nsubseteq \bigcup_{\beta(x)}{\sf PL}_\beta({\rm I \Sigma}_j)}$ PL α ( I Σ i ) ? ? β ( x ) PL β ( I Σ j ) , where β(x) ranges over all ∑₁ binumerations of recursive axiomatizations of I∑ _j .     

Dynamical system with boundary control associated with a symmetric semibounded operator

Let L ₀ be a closed densely defined symmetric semibounded operator with nonzero defect indices in a separable Hilbert space $\mathcal H$ . It determines a Green system $\{{\mathcal H}, {\mathcal B}; L_0, \Gamma_1, \Gamma_2\}$ , where ${\mathcal B}$ is a Hilbert space, and the $\Gamma_i: {\mathcal H} \to \mathcal B$ are operators connected by the Green formula $$ (L_0^*u, v)_{\mathcal H}-(u,L_0^*v)_{\mathcal H} =(\Gamma_1 u, \Gamma_2 v)_{\mathcal B} - (\Gamma_2 u, \Gamma_1 v)_{\mathcal B}. $$ The boundary space $\mathcal B$ and the boundary operators Γ _i are chosen canonically in the framework of the Vishik theory. With the Green system one associates a dynamical system with boundary control (DSBC): $$ \begin{array}{lll} && u_{tt}+L_0^*u = 0, \quad u(t) \in {\mathcal H}, \quad t>0,\\ && u\big|_{t=0}=u_t\big|_{t=0}=0, \\ && \Gamma_1 u = f, \quad f(t) \in {\mathcal B},\quad t \geq 0. \end{array} $$ We show that this system is controllable if and only if the operator L ₀ is completely non-self-adjoint. A version of the notion of wave spectrum of L ₀ is introduced. It is a topological space determined by L ₀ and constructed from reachable sets of the DSBC. Bibliography: 15 titles.     

Uniqueness of diffusion operators and capacity estimates

Let Ω be a connected open subset of R ^d . We analyse L ₁-uniqueness of real second-order partial differential operators ${H = - \sum^d_{k,l=1} \partial_k c_{kl} \partial_l}$ and ${K = H + \sum^d_{k=1}c_k \partial_k + c_0}$ on Ω where ${c_{kl} = c_{lk} \in W^{1,\infty}_{\rm loc}(\Omega), c_k \in L_{\infty,{\rm loc}}(\Omega), c_0 \in L_{2,{\rm loc}}(\Omega)}$ and C(x) = (c _kl (x)) > 0 for all ${x \in \Omega}$ . Boundedness properties of the coefficients are expressed indirectly in terms of the balls B(r) associated with the Riemannian metric C ^?1 and their Lebesgue measure |B(r)|. First, we establish that if the balls B(r) are bounded, the Täcklind condition ${\int^\infty_R dr r({\rm log}|B(r)|)^{-1} = \infty}$ is satisfied for all large R and H is Markov unique then H is L ₁-unique. If, in addition, ${C(x) \geq \kappa (c^{T} \otimes c)(x)}$ for some ${\kappa > 0}$ and almost all ${x \in \Omega}$ , ${{\rm div} c \in L_{\infty,{\rm loc}}(\Omega)}$ is upper semi-bounded and c ₀ is lower semi-bounded, then K is also L ₁-unique. Secondly, if the c _kl extend continuously to functions which are locally bounded on ?Ω and if the balls B(r) are bounded, we characterize Markov uniqueness of H in terms of local capacity estimates and boundary capacity estimates. For example, H is Markov unique if and only if for each bounded subset A of ${\overline\Omega}$ there exist ${\eta_n \in C_c^\infty(\Omega)}$ satisfying , where ${\Gamma(\eta_n) = \sum^d_{k,l=1}c_{kl} (\partial_k \eta_n) (\partial_l \eta_n)}$ , and for each ${\varphi \in L_2(\Omega)}$ or if and only if cap(?Ω) = 0.     

Kolmogorov-type inequalities and the best formulas for numerical differentiation

For a certain class of complex-valued functionsf(x), ?∞ $$u_N = \mathop {\inf }\limits_{\parallel A\parallel \leqslant N_\parallel f^{(n)} \parallel _{L_2 \leqslant } 1} \parallel f^{(k)} - A(f)\parallel C$$ of a differential operator by linear operators A with the norm ∥A∥ _L2 ^C ≤N,N,>0. Using the value u_N, the smallest constant Q in the inequality $$\parallel f^{(k)} \parallel _Q \leqslant Q\parallel f\parallel _{L_2 }^\alpha \parallel f^{(n)} \parallel _{L_2 }^\beta $$ is found.     

Regularity results for a class of obstacle problems in Heisenberg groups

We study regularity results for solutions u ∈ HW ^1,p (Ω) to the obstacle problem $$\int_\Omega \mathcal{A} \left( {x,\nabla _{\mathbb{H}^u } } \right)\nabla _\mathbb{H} \left( {v - u} \right)dx \geqslant 0 \forall v \in \mathcal{K}_{\psi ,u} \left( \Omega \right)$$ such that u ? ψ a.e. in Ω, where $xxx$ , in Heisenberg groups ? ⁿ . In particular, we obtain weak differentiability in the T-direction and horizontal estimates of Calderon-Zygmund type, i.e. $$\begin{gathered} T\psi \in HW_{loc}^{1,p} \left( \Omega \right) \Rightarrow Tu \in L_{loc}^p \left( \Omega \right), \hfill \\ \left| {\nabla _{\mathbb{H}\psi } } \right|^p \in L_{loc}^q \left( \Omega \right) \Rightarrow \left| {\nabla _{\mathbb{H}^u } } \right|^p \in L_{loc}^q \left( \Omega \right), \hfill \\ \end{gathered}$$ where 2 < p < 4, q > 1.     

On the average number of direct factors of a finite Abelian group

Let \(T(x) = \sum\limits_{ord(G) \leqq x} {t(G),} \) , wheret(G) define the number of direct factors of a finite Abelian group.E. Krätzel ([5]) defined a remainderΔ ₁(x) in the asymptotic ofT(x) and proved $$\Delta _1 (x)<< x^{{5 \mathord{\left/ {\vphantom {5 {12}}} \right. \kern-\nulldelimiterspace} {12}}} \log ^4 x.$$ Using two different methods to estimate a special three-dimensional exponential sum we get the better results $$\Delta _1 (x)<< x^{{{282} \mathord{\left/ {\vphantom {{282} {683}}} \right. \kern-\nulldelimiterspace} {683}}} \log ^4 x$$ and $$\Delta _1 (x)<< x^{{{45} \mathord{\left/ {\vphantom {{45} {109}}} \right. \kern-\nulldelimiterspace} {109}} + \varepsilon } (\varepsilon > 0).$$      

Necessary and sufficient conditions for the asymptotic distribution of the largest entry of a sample correlation matrix

Let {X _k,i ; i ≥ 1, k ≥ 1} be a double array of nondegenerate i.i.d. random variables and let {p _n ; n ≥ 1} be a sequence of positive integers such that n/p _n is bounded away from 0 and ∞. In this paper we give the necessary and sufficient conditions for the asymptotic distribution of the largest entry ${L_{n}={\rm max}_{1\leq i < j\leq p_{n}}|\hat{\rho}^{(n)}_{i,j}|}$ of the sample correlation matrix ${{\bf {\Gamma}}_{n}=(\hat{\rho}_{i,j}^{(n)})_{1\leq i,j\leq p_{n}}}$ where ${\hat{\rho}^{(n)}_{i,j}}$ denotes the Pearson correlation coefficient between (X _1,i , ..., X _n,i )′ and (X _1,j ,...,X _n,j )′. Write ${F(x)= \mathbb{P}(|X_{1,1}|\leq x), x\geq0}$ , ${W_{c,n}={\rm max}_{1\leq i < j\leq p_{n}}|\sum_{k=1}^{n}(X_{k,i}-c)(X_{k,j}-c)|}$ , and ${W_{n}=W_{0,n},n\geq1,c\in(-\infty,\infty)}$ . Under the assumption that ${\mathbb{E}|X_{1,1}|^{2+\delta} < \infty}$ for some δ > 0, we show that the following six statements are equivalent: $$ {\bf (i)} \quad \lim_{n \to \infty} n^{2}\int\limits_{(n \log n)^{1/4}}^{\infty}\left( F^{n-1}(x) - F^{n-1}\left(\frac{\sqrt{n \log n}}{x}\right) \right) dF(x) = 0,$$ $$ {\bf (ii)}\quad n \mathbb{P}\left ( \max_{1 \leq i < j \leq n}|X_{1,i}X_{1,j} | \geq \sqrt{n \log n}\right ) \to 0 \quad{\rm as}\,n \to \infty,$$ $$ {\bf (iii)}\quad \frac{W_{\mu, n}}{\sqrt {n \log n}}\stackrel{\mathbb{P}}{\rightarrow} 2\sigma^{2},$$ $$ {\bf (iv)}\quad \left ( \frac{n}{\log n}\right )^{1/2} L_{n} \stackrel{\mathbb{P}}{\rightarrow} 2,$$ $$ {\bf (v)}\quad \lim_{n \rightarrow \infty}\mathbb{P}\left (\frac{W_{\mu, n}^{2}}{n \sigma^{4}} - a_{n}\leq t \right ) = \exp \left \{ - \frac{1}{\sqrt{8\pi}} e^{-t/2}\right \}, - \infty < t < \infty,$$ $$ {\bf (vi)}\quad \lim_{n \rightarrow \infty}\mathbb{P}\left (n L_{n}^{2} - a_{n}\leq t \right ) = \exp \left \{ - \frac{1}{\sqrt{8 \pi}} e^{-t/2}\right \}, - \infty < t < \infty$$ where ${\mu=\mathbb{E}X_{1,1}, \sigma^{2}=\mathbb{E}(X_{1,1} - \mu)^{2}}$ , and a _n  = 4 log p _n ? log log p _n . The equivalences between (i), (ii), (iii), and (v) assume that only ${\mathbb{E}X_{1,1}^{2} < \infty}$ . Weak laws of large numbers for W _n and L _n , n ≥  1, are also established and these are of the form ${W_{n}/n^{\alpha}\stackrel{\mathbb{P}}{\rightarrow} 0}\,(\alpha > 1/2)$ and ${n^{1-\alpha}L_{n}\stackrel{\mathbb{P}}{\rightarrow} 0}\,(1/2 < \alpha \leq 1)$ , respectively. The current work thus provides weak limit analogues of the strong limit theorems of Li and Rosalsky as well as a necessary and sufficient condition for the asymptotic distribution of L _n obtained by Jiang. Some open problems are also posed.     

Derived semidistributive lattices

For L a finite lattice, let ${\mathbb {C}(L) \subseteq L^2}$ denote the set of pairs γ = (γ ₀, γ ₁) such that ${\gamma_0 \prec \gamma_1}$ and order it as followsγ ≤ δ iff γ ₀ ≤ δ ₀, ${\gamma_{1} \nleq \delta_0,}$ and γ ₁ ≤ δ ₁. Let ${\mathbb {C}(L, \gamma)}$ denote the connected component of γ in this poset. Our main result states that, for any ${\gamma, \mathbb {C}(L, \gamma)}$ is a semidistributive lattice if L is semidistributive, and that ${\mathbb {C}(L, \gamma)}$ is a bounded lattice if L is bounded. Let ${\mathcal{S}_{n}}$ be the Permutohedron on n letters and let ${\mathcal{T}_{n}}$ be the Associahedron on n + 1 letters. Explicit computations show that ${\mathbb {C}(\mathcal{S}_{n}, \alpha) = \mathcal{S}_{n-1}}$ and ${\mathbb {C}(\mathcal {T}_n, \alpha) = \mathcal {T}_{n-1}}$ , up to isomorphism, whenever α1 is an atom of ${\mathcal{S}_{n}}$ or ${\mathcal{T}_{n}}$ . These results are consequences of new characterizations of finite join-semidistributive and of finite lower bounded lattices: (i) a finite lattice is join-semidistributive if and only if the projection sending ${\gamma \in \mathbb {C}(L)}$ to ${\gamma_0 \in L}$ creates pullbacks, (ii) a finite join-semidistributive lattice is lower bounded if and only if it has a strict facet labelling. Strict facet labellings, as defined here, are a generalization of the tools used by Caspard et al. to prove that lattices of finite Coxeter groups are bounded.     

On the approximation by de la Vallée Poussin sums and interpolatory polynomials in Lipschitz norms

ПустьM ^m,α - множество 2π-п ериодических функци йf с конечной нормой $$||f||_{p,m,\alpha } = \sum\limits_{k = 1}^m {||f^{(k)} ||_{_p } + \mathop {\sup }\limits_{h \ne 0} |h|^{ - \alpha } ||} f^{(m)} (o + h) - f^{(m)} (o)||_{p,} $$ где1 ≦ p ≦ ∞, 0≦α≦1. Рассмотр им средние Bалле Пуссе на $$(\sigma _{n,1} f)(x) = \frac{1}{\pi }\int\limits_0^{2x} {f(u)K_{n,1} (x - u)du} $$ и $$(L_{n,1} f)(x) = \frac{2}{{2n + 1}}\sum\limits_{k = 1}^{2n} {f(x_k )K_{n,1} } (x - x_k ),$$ де0≦l≦n и x _k=2kπ/(2n+1). В работе по лучены оценки для вел ичин \(||f - \sigma _{n,1} f||_{p,r,\beta } \) и $$||f - L_{n,1} f||_{p,r,\beta } (r + \beta \leqq m + \alpha ).$$      

The axiom of real Blackwell determinacy

The theory of infinite games with slightly imperfect information has been developed for games with finitely and countably many moves. In this paper, we shift the discussion to games with uncountably many possible moves, introducing the axiom of real Blackwell determinacy ${\mathsf{Bl-AD}_\mathbb{R}}$ (as an analogue of the axiom of real determinacy ${\mathsf{AD}_\mathbb{R}}$ ). We prove that the consistency strength of ${\mathsf{Bl-AD}_\mathbb{R}}$ is strictly greater than that of AD.     

On the conservativity of the axiom of choice over set theory

We show that for various set theories T including ZF, T + AC is conservative over T for sentences of the form ${\forall x \exists ! y}$ A(x, y) where A(x, y) is a ??₀ formula.     

Uniqueness properties of degenerate elliptic operators

Let ?? be an open subset of R ^d and ${ K=-\sum^d_{i,j=1}\partial_i\,c_{ij}\,\partial_j+\sum^d_{i=1}c_i\partial_i+c_0}$ a second-order partial differential operator with real-valued coefficients ${c_{ij}=c_{ji}\in W^{1,\infty}_{\rm loc}(\Omega),c_i,c_0\in L_{\infty,{\rm loc}}(\Omega)}$ satisfying the strict ellipticity condition ${C=(c_{ij}) >0 }$ . Further let ${H=-\sum^d_{i,j=1} \partial_i\,c_{ij}\,\partial_j}$ denote the principal part of K. Assuming an accretivity condition ${C\geq \kappa (c\otimes c^{\,T})}$ with ${\kappa >0 }$ , an invariance condition ${(1\!\!1_\Omega, K\varphi)=0}$ and a growth condition which allows ${\|C(x)\|\sim |x|^2\log |x|}$ as |x| ?? ?? we prove that K is L ₁-unique if and only if H is L ₁-unique or Markov unique.     

Trivectors yielding spreads in PG(5, 2)

Given an alternating trilinear form ${T\in {\rm Alt}(\times^{3}V_{6})}$ on V ₆ = V(6, 2) let ${\mathcal{L}_{T}}$ denote the set of those lines ${\langle a, b \rangle}$ in ${{\rm PG}(5,2)=\mathbb{P}V_{6}}$ which are T-singular, satisfying, that is, T(a, b, x) = 0 for all ${x\in {\rm PG}(5, 2).}$ If ${\mathcal{L}_{21}}$ is a Desarguesian line-spread in PG(5, 2) it is shown that ${\mathcal{L}_{T}=\mathcal{L}_{21}}$ for precisely three choices T ₁,T ₂,T ₃ of T, which moreover satisfy T ₁ + T ₂ + T ₃ = 0. For ${T\in\mathcal{T}:=\{T_{1},T_{2},T_{3}\}}$ the ${\mathcal{G}_{T}}$ -orbits of flats in PG(5, 2) are determined, where ${\mathcal{G}_{T}\cong {\rm SL}(3,4).2}$ denotes the stabilizer of T under the action of GL(6, 2). Further, for a representative U of each ${\mathcal{G}_{T}}$ -orbit, the T-associate U ^# is also determined, where by definition $$U^{\#}=\{v\in {\rm PG}(5,2)\, |\, T(u_{1},u_{2},v) = 0\, \,{\rm for\,all }\, \, u_{1},u_{2}\in U\}$$ .     

Extinction profile of the logarithmic diffusion equation

Let ${N \geq 3}$ and u be the solution of u _t = Δ log u in ${\mathbb{R}^N \times (0, T)}$ with initial value u ₀ satisfying ${B_{k_1}(x, 0) \leq u_{0} \leq B_{k_2}(x, 0)}$ for some constants k ₁ > k ₂ > 0 where ${B_k(x, t) = 2(N - 2)(T - t)_{+}^{N/(N - 2)}/(k + (T - t)_{+}^{2/(N - 2)}|x|^{2})}$ is the Barenblatt solution for the equation and ${u_0 - B_{k_0} \in L^{1}(\mathbb{R}^{N})}$ for some constant k ₀ > 0 if ${N \geq 4}$ . We give a new different proof on the uniform convergence and ${L^1(\mathbb{R}^N)}$ convergence of the rescaled function ${\tilde{u}(x, s) = (T - t)^{-N/(N - 2)}u(x/(T - t)^{-1/(N - 2)}, t), s = -{\rm log}(T - t)}$ , on ${\mathbb{R}^N}$ to the rescaled Barenblatt solution ${\tilde{B}_{k_0}(x) = 2(N - 2)/(k_0 + |x|^{2})}$ for some k ₀ > 0 as ${s \rightarrow \infty}$ . When ${N \geq 4, 0 \leq u_0(x) \leq B_{k_0}(x, 0)}$ in ${\mathbb{R}^N}$ , and ${|u_0(x) - B_{k_0}(x, 0)| \leq f \in L^{1}(\mathbb{R}^{N})}$ for some constant k ₀ > 0 and some radially symmetric function f, we also prove uniform convergence and convergence in some weighted L ¹ space in ${\mathbb{R}^N}$ of the rescaled solution ${\tilde{u}(x, s)}$ to ${\tilde{B}_{k_0}(x)}$ as ${s \rightarrow \infty}$ .