Antimatroids and Balanced Pairs

We generalize the $\frac{1}{3}$ – $\frac{2}{3}$ conjecture from partially ordered sets to antimatroids: we conjecture that any antimatroid has a pair of elements x,y such that x has probability between $\frac{1}{3}$ and $\frac{2}{3}$ of appearing earlier than y in a uniformly random basic word of the antimatroid. We prove the conjecture for antimatroids of convex dimension two (the antimatroid-theoretic analogue of partial orders of width two), for antimatroids of height two, for antimatroids with an independent element, and for the perfect elimination antimatroids and node search antimatroids of several classes of graphs. A computer search shows that the conjecture is true for all antimatroids with at most six elements.     

The Properties of Solutions for a Generalized b-Family Equation with Peakons

This paper deals with the Cauchy problem for a shallow water equation with high-order nonlinearities, y _t +u ^m+1 y _x +bu ^m u _x y=0, where b is a constant, $m\in \mathbb{N}$ , and we have the notation $y:= (1-\partial_{x}^{2}) u$ , which includes the famous Camassa–Holm equation, the Degasperis–Procesi equation, and the Novikov equation as special cases. The local well-posedness of strong solutions for the equation in each of the Sobolev spaces $H^{s}(\mathbb{R})$ with $s>\frac{3}{2}$ is obtained, and persistence properties of the strong solutions are studied. Furthermore, although the $H^{1}(\mathbb{R})$ -norm of the solution to the nonlinear model does not remain constant, the existence of its weak solutions in each of the low order Sobolev spaces $H^{s}(\mathbb{R})$ with $1<s<\frac{3}{2}$ is established, under the assumption $u_{0}(x)\in H^{s}(\mathbb{R})\cap W^{1,\infty}(\mathbb{R})$ . Finally, the global weak solution and peakon solution for the equation are also given.     

On the Equality Problem of Conjugate Means

Let ${I\subset\mathbb{R}}$ be a nonvoid open interval and let L : I ²→ I be a fixed strict mean. A function M : I ²→ I is said to be an L-conjugate mean on I if there exist ${p,q\in\,]0,1]}$ and ${\varphi\in CM(I)}$ such that $$M(x,y):=\varphi^{-1}(p\varphi(x)+q\varphi(y)+(1-p-q) \varphi(L(x,y)))=:L_\varphi^{(p,q)}(x,y),$$ for all ${x,y\in I}$ . Here L(x, y) : = A _χ(x, y) ${(x,y\in I)}$ is a fixed quasi-arithmetic mean with the fixed generating function ${\chi\in CM(I)}$ . We examine the following question: which L-conjugate means are weighted quasi-arithmetic means with weight ${r\in\, ]0,1[}$ at the same time? This question is a functional equation problem: Characterize the functions ${\varphi,\psi\in CM(I)}$ and the parameters ${p,q\in\,]0,1]}$ , ${r\in\,]0,1[}$ for which the equation $$L_\varphi^{(p,q)}(x,y)=L_\psi^{(r,1-r)}(x,y)$$ holds for all ${x,y\in I}$ .     

Solutions of the Allen-Cahn equation which are invariant under screw-motion

Let ${\phi(x)}$ be a rational function of degree >?1 defined over a number field K and let ${\Phi_{n}(x,t) = \phi^{(n)}(x)-t \in K(x,t)}$ where ${\phi^{(n)}(x)}$ is the nth iterate of ${\phi(x)}$ . We give a formula for the discriminant of the numerator of Φ _n (x, t) and show that, if ${\phi(x)}$ is postcritically finite, for each specialization t ₀ of t to K, there exists a finite set ${S_{t_0}}$ of primes of K such that for all n, the primes dividing the discriminant are contained in ${S_{t_0}}$ .     

Biased tug-of-war, the biased infinity Laplacian, and comparison with exponential cones

We prove that if ${U\subset \mathbb {R}^n}$ is an open domain whose closure ${\overline U}$ is compact in the path metric, and F is a Lipschitz function on ?U, then for each ${\beta \in \mathbb {R}}$ there exists a unique viscosity solution to the β-biased infinity Laplacian equation $$\beta |\nabla u| + \Delta_\infty u=0$$ on U that extends F, where ${\Delta_\infty u= |\nabla u|^{-2} \sum_{i,j} u_{x_i}u_{x_ix_j} u_{x_j}}$ . In the proof, we extend the tug-of-war ideas of Peres, Schramm, Sheffield and Wilson, and define the β-biased ${\epsilon}$ -game as follows. The starting position is ${x_0 \in U}$ . At the kth step the two players toss a suitably biased coin (in our key example, player I wins with odds of ${\exp(\beta\epsilon)}$ to 1), and the winner chooses x _k with ${d(x_k,x_{k-1}) < \epsilon}$ . The game ends when ${x_k \in \partial U}$ , and player II pays the amount F(x _k ) to player I. We prove that the value ${u^{\epsilon}(x_0)}$ of this game exists, and that ${\|u^\epsilon - u\|_\infty \to 0}$ as ${\epsilon \to 0}$ , where u is the unique extension of F to ${\overline{U}}$ that satisfies comparison with β-exponential cones. Comparison with exponential cones is a notion that we introduce here, and generalizing a theorem of Crandall, Evans and Gariepy regarding comparison with linear cones, we show that a continuous function satisfies comparison with β-exponential cones if and only if it is a viscosity solution to the β-biased infinity Laplacian equation.     

An isoperimetric result for the fundamental frequency via domain derivative

The Faber–Krahn deficit $\delta \lambda $ of an open bounded set $\Omega $ is the normalized gap between the values that the first Dirichlet Laplacian eigenvalue achieves on $\Omega $ and on the ball having same measure as $\Omega $ . For any given family of open bounded sets of $\mathbb R ^N$ ( $N\ge 2$ ) smoothly converging to a ball, it is well known that both $\delta \lambda $ and the isoperimetric deficit $\delta P$ are vanishing quantities. It is known as well that, at least for convex sets, the ratio $\frac{\delta P}{\delta \lambda }$ is bounded by below by some positive constant (Brandolini et al., Arch Math (Basel) 94(4): 391–400, 2010; Payne and Weinberger, J Math Anal Appl 2:210–216, 1961), and in this note, using the technique of the shape derivative, we provide the explicit optimal lower bound of such a ratio as $\delta P$ goes to zero.     

On multiplicative (generalized)-derivations in prime and semiprime rings

Let R be a ring. A map ${F : R \rightarrow R}$ F : R → R is called a multiplicative (generalized)-derivation if F(xy) = F(x)y + xg(y) is fulfilled for all ${x, y \in R}$ x , y ∈ R where ${g : R \rightarrow R}$ g : R → R is any map (not necessarily derivation). The main objective of the present paper is to study the following situations: (i) ${F(xy) \pm xy \in Z}$ F ( xy ) ± xy ∈ Z , (ii) ${F(xy) \pm yx \in Z}$ F ( xy ) ± yx ∈ Z , (iii) ${F(x)F(y) \pm xy \in Z}$ F ( x ) F ( y ) ± xy ∈ Z and (iv) ${F(x)F(y) \pm yx \in Z}$ F ( x ) F ( y ) ± yx ∈ Z for all x, y in some appropriate subset of R. Moreover, some examples are also given.     

Some stability estimates for the symmetrized first eigenfunction of certain elliptic operators

We prove two stability-type estimates involving the Schwarz rearrangement of the normalized first eigenfunction u ₁?>?0 of certain linear elliptic operators whose first eigenvalue λ₁ is close to the lowest possible one (i.e., ${\lambda_1^\star}$ , the first eigenvalue of the Dirichlet Laplacian in a suitable ball). In particular, we prove that if ${\lambda_1\approx \lambda_1^\star}$ then the L ^∞-distance between the rearrangement ${u_1^\star}$ and the normalized first eigenfunction of the Dirichlet Laplacian corresponding to ${\lambda_1^\star}$ is less than a suitable power of the difference ${\lambda_1-\lambda_1^\star}$ times a universal constant. We also show that the L ^∞-distance between the first eigenfunction of the Dirichlet Laplacian in a ball whose first eigenvalue equals λ₁ and the rearrangement ${u_1^\star}$ can be controlled with a power of the value assumed by ${u_1^\star}$ on the boundary of that ball.     

A monotonicity result for discrete fractional difference operators

In this note we demonstrate that if y(t) ≥ 0, for each t in the domain of ${t \mapsto y(t)}$ , and if, in addition, ${\Delta_0^{\nu}y(t) \geq 0}$ , for each t in the domain of ${t \mapsto \Delta_0^{\nu}y(t)}$ , with 1 < ν < 2, then it holds that y is an increasing function of t. This demonstrates that, in some sense, the positivity of the νth order fractional difference has a strong connection to the monotonicity of y. Furthermore, we provide a dual result in case ${\Delta_0^{\nu}y(t) \leq 0}$ and y is nonpositive on its domain. We conclude the note by mentioning some implications of these results.     

The Majorization Theorem for Signless Laplacian Spectral Radii of Connected Graphs

Let ${\pi=(d_{1},d_{2},\ldots,d_{n})}$ and ${\pi'=(d'_{1},d'_{2},\ldots,d'_{n})}$ be two non-increasing degree sequences. We say ${\pi}$ is majorizated by ${\pi'}$ , denoted by ${\pi \vartriangleleft \pi'}$ , if and only if ${\pi\neq \pi'}$ , ${\sum_{i=1}^{n}d_{i}=\sum_{i=1}^{n}d'_{i}}$ , and ${\sum_{i=1}^{j}d_{i}\leq\sum_{i=1}^{j}d'_{i}}$ for all ${j=1,2,\ldots,n}$ . If there exists one connected graph G with ${\pi}$ as its degree sequence and ${c=(\sum_{i=1}^{n}d_{i})/2-n+1}$ , then G is called a c-cyclic graph and ${\pi}$ is called a c-cyclic degree sequence. Suppose ${\pi}$ is a non-increasing c-cyclic degree sequence and ${\pi'}$ is a non-increasing graphic degree sequence, if ${\pi \vartriangleleft \pi'}$ and there exists some t ${(2\leq t\leq n)}$ such that ${d'_{t}\geq c+1}$ and ${d_{i}=d'_{i}}$ for all ${t+1\leq i\leq n}$ , then the majorization ${\pi \vartriangleleft \pi'}$ is called a normal majorization. Let μ(G) be the signless Laplacian spectral radius, i.e., the largest eigenvalue of the signless Laplacian matrix of G. We use C _π to denote the class of connected graphs with degree sequence π. If ${G \in C_{\pi}}$ and ${\mu(G)\geq \mu(G')}$ for any other ${G'\in C_{\pi}}$ , then we say G has greatest signless Laplacian radius in C _π . In this paper, we prove that: Let π and π′ be two different non-increasing c-cyclic (c ≥ 0) degree sequences, G and G′ be the connected c-cyclic graphs with greatest signless Laplacian spectral radii in C _π and C _π', respectively. If ${\pi \vartriangleleft \pi'}$ and it is a normal majorization, then ${\mu(G) < \mu(G')}$ . This result extends the main result of Zhang (Discrete Math 308:3143–3150, 2008).     

The equality problem in the class of conjugate means

Let ${I\subset\mathbb{R}}$ be a nonempty open interval and let ${L:I^2\to I}$ be a fixed strict mean. A function ${M:I^2\to I}$ is said to be an L-conjugate mean on I if there exist ${p,q\in{]}0,1]}$ and a strictly monotone and continuous function φ such that $$M(x,y):=\varphi^{-1}(p\varphi(x)+q\varphi(y)+(1-p-q)\varphi(L(x,y)))=:L_\varphi^{(p,q)}(x,y),$$ for all ${x,y\in I}$ . Here L(x, y) is a fixed quasi-arithmetic mean. We will solve the equality problem in this class of means.     

On restricting Cauchy–Pexider functional equations to submanifolds

Sufficient geometric conditions are given which determine when the Cauchy–Pexider functional equation f(x)g(y) = h(x + y) restricted to x, y lying on a hypersurface in ${\mathbb{R}^d}$ has only solutions which extend uniquely to exponential affine functions ${\mathbb{R}^d \to \mathbb{C}}$ (when f, g, h are assumed to be measurable and non-trivial). The Cauchy–Pexider-type functional equations ${\prod_{j=0}^df_j(x_j)=F(\sum_{j=0}^dx_j)}$ for ${x_0, \ldots,x_d}$ lying on a curve and ${f_1(x_1)f_2(x_2)f_3(x_3)=F(x_1+x_2+x_3)}$ for x ₁, x ₂, x ₃ lying on a hypersurface are also considered.     

Helly-type theorems for intersections of sets starshaped via orthogonally convex paths

Let ${\mathcal{K}}$ be a family of simply connected sets in the plane. If every countable subfamily of ${\mathcal{K}}$ has an intersection that is starshaped via orthogonally convex paths, then ${\mathcal{K}}$ itself has such an intersection. For the d-dimensional case, let ${\mathcal{K}}$ be a family of compact sets in ${\mathbb{R}^d}$ . If every finite subfamily of ${\mathcal{K}}$ has an intersection that is starshaped via orthogonally convex paths, again ${\mathcal{K}}$ itself has such an intersection.     

Comparison of topologies on ⁎-algebras of locally measurable operators

We consider the local measure topology ${t(\mathcal{M})}$ on the ?-algebra ${LS(\mathcal{M})}$ of all locally measurable operators and on the ?-algebra ${S(\mathcal{M},\tau)}$ of all τ-measurable operators affiliated with a von Neumann algebra ${\mathcal{M}}$ . If τ is a semifinite but not a finite trace on ${\mathcal{M},}$ then one can consider the τ-local measure topology t _τ l and the weak τ-local measure topology t _{w τ l} . We study relationships between the topology ${t(\mathcal{M})}$ and the topologies t _τ l , t _{w τ l} , and the (o)-topology ${t_o(\mathcal{M})}$ on ${LS_h(\mathcal{M})=\{T\in LS(\mathcal{M}): T^\ast=T\}}$ . We find that the topologies ${t(\mathcal{M})}$ and t _τ l (resp. ${t(\mathcal{M})}$ and t _{w τ l} ) coincide on ${S(\mathcal{M},\tau)}$ if and only if ${\mathcal{M}}$ is finite, and ${t(\mathcal{M})=t_o(\mathcal{M})}$ on ${LS_h(\mathcal{M})}$ holds if and only if ${\mathcal{M}}$ is a σ-finite and finite. Moreover, it turns out that the topology t _{τ l} (resp. t _{w τ l} ) coincides with the (o)-topology on ${S_h(\mathcal{M},\tau)}$ only for finite traces. We give necessary and sufficient conditions for the topology ${t(\mathcal{M})}$ to be locally convex (resp., normable). We show that (o)-convergence of sequences in ${LS_h(\mathcal{M})}$ and convergence in the topology ${t(\mathcal{M})}$ coincide if and only if the algebra ${\mathcal{M}}$ is an atomic and finite algebra.     

On the topology of semi-algebraic functions on closed semi-algebraic sets

We consider a closed semi-algebraic set ${X \subset \mathbb{R}^n}$ and a C ² semi-algebraic function ${f : \mathbb{R}^n \rightarrow\mathbb{R}}$ such that ${f_{\vert X}}$ has a finite number of critical points. We relate the topology of X to the topology of the sets ${X \cap \{ f * \alpha \}}$ , where ${* \in \{\le,=,\ge \}}$ and ${\alpha \in \mathbb{R}}$ , and the indices of the critical points of ${f_{\vert X}}$ and ${-f_{\vert X}}$ . We also relate the topology of X to the topology of the links at infinity of the sets ${X \cap \{ f * \alpha\}}$ and the indices of these critical points. We give applications when ${X=\mathbb{R}^n}$ and when f is a generic linear function.     

Two-sided heat kernel estimates for censored stable-like processes

In this paper, we study the precise behavior of the transition density functions of censored (resurrected) α-stable-like processes in C ^1,1 open sets in ${\mathbb R^d}$ , where d ≥ 1 and ${\alpha\in (1, 2)}$ . We first show that the semigroup of the censored α-stable-like process in any bounded Lipschitz open set is intrinsically ultracontractive. We then establish sharp two-sided estimates for the transition density functions of a large class of censored α-stable-like processes in C ^1,1 open sets. We further obtain sharp two-sided estimates for the Green functions of these censored α-stable-like processes in bounded C ^1,1 open sets.     

Linear recurring sequences and subfield subcodes of cyclic codes

Linear recurring sequences over finite fields play an important role in coding theory and cryptography. It is known that subfield subcodes of linear codes yield some good codes. In this paper, we study linear recurring sequences and subfield subcodes. Let Mqm(f(x)) denote the set of all linear recurring sequences over Fqm with characteristic polynomial f(x) over Fqm . Denote the restriction of Mqm(f(x)) to sequences over Fq and the set after applying trace function to each sequence in Mqm(f(x)) by Mqm(f(x)) | Fq and Tr( Mqm(f(x))), respectively. It is shown that these two sets are both complete sets of linear recurring sequences over Fq with some characteristic polynomials over Fq. In this paper, we firstly determine the characteristic polynomials for these two sets. Then, using these results, we determine the generator polynomials of subfield subcodes and trace codes of cyclic codes over Fqm .