We provide a proof of a conjecture by Jakobson, Nadirashvili, and Toth stating that on an $n$-dimensional flat torus $\mathbb T^{n}$, and the Fourier transform of squares of the eigenfunctions $|\varphi_\lambda|^2$ of the Laplacian have uniform $l^n$ bounds that do not depend on the eigenvalue $\lambda$. The proof is a generalization of an argument by Jakobson, et al. for the lower dimensional cases. These results imply uniform bounds for semiclassical limits on $\mathbb T^{n+2}$. We also prove a geometric lemma that bounds the number of codimension-one simplices satisfying a certain restriction on an $n$-dimensional sphere $S^n(\lambda)$ of radius $\sqrt{\lambda}$, and we use it in the proof.

Inspired by Aldous' conjecture for the spectral gap of the interchange process and its recent resolution by Caputo, Liggett, and Richthammer, we define an associated order $\prec$ on the irreducible representations of $S_n$. Aldous' conjecture is equivalent to certain representations being comparable in this order, and hence determining the ``Aldous order'' completely is a generalized question. We show a few additional entries for this order.

A complete characterization of valuation rings closed for a holomorphic derivation is given, following an idea of Seidenberg, in dimension $2$.

In 1961, J. Barrett showed that if the first conjugate point $\eta_1(a)$ exists for the differential equation $(r(x)y'')''= p(x)y,$ where $r(x)\gt 0$ and $p(x)\gt 0$, then so does the first systems-conjugate point $\widehat\eta_1(a)$. The aim of this note is to extend this result to the general equation with middle term $(q(x)y')'$ without further restriction on $q(x)$, other than continuity.

We show that there is a bijective correspondence between the polystable parabolic principal $G$-bundles and solutions of the Hermitian-Einstein equation.

We study the existence of continuity points for mappings $f\colon X\times Y\to Z$ whose $x$-sections $Y\ni y\to f(x,y)\in Z$ are fragmentable and $y$-sections $X\ni x\to f(x,y)\in Z$ are quasicontinuous, where $X$ is a Baire space and $Z$ is a metric space. For the factor $Y$, we consider two infinite ``point-picking'' games $G_1(y)$ and $G_2(y)$ defined respectively for each $y\in Y$ as follows: in the $n$-th inning, Player I gives a dense set $D_n\subset Y$, respectively, a dense open set $D_n\subset Y$. Then Player II picks a point $y_n\in D_n$; II wins if $y$ is in the closure of ${\{y_n:n\in\mathbb N\}}$, otherwise I wins. It is shown that (i) $f$ is cliquish if II has a winning strategy in $G_1(y)$ for every $y\in Y$, and (ii) $ f$ is quasicontinuous if the $x$-sections of $f$ are continuous and the set of $y\in Y$ such that II has a winning strategy in $G_2(y)$ is dense in $Y$. Item (i) extends substantially a result of Debs and item (ii) indicates that the problem of Talagrand on separately continuous maps has a positive answer for a wide class of ``small'' compact spaces.

A vector measure result is used to study the complementation of the space $K(X,Y)$ of compact operators in the spaces $W(X,Y)$ of weakly compact operators, $CC(X,Y)$ of completely continuous operators, and $U(X,Y)$ of unconditionally converging operators. Results of Kalton and Emmanuele concerning the complementation of $K(X,Y)$ in $L(X,Y)$ and in $W(X,Y)$ are generalized. The containment of $c_0$ and $\ell_\infty$ in spaces of operators is also studied.

Let $\sigma_{\mathbb Z}(k)$ be the smallest $n$ such that there exists an identity \[ (x_1^2 + x_2^2 + \cdots + x_k^2) \cdot (y_1^2 + y_2^2 + \cdots + y_k^2) = f_1^2 + f_2^2 + \cdots + f_n^2, \] with $f_1,\dots,f_n$ being polynomials with integer coefficients in the variables $x_1,\dots,x_k$ and $y_1,\dots,y_k$. We prove that $\sigma_{\mathbb Z}(k) \geq \Omega(k^{6/5})$.

In this paper we study the existence of periodic solutions of a Volterra type integral equation with infinite heredity. Banach fixed point theorem, Krasnosel'skii's fixed point theorem, and a combination of Krasnosel'skii's and Schaefer's fixed point theorems are employed in the analysis. The combination theorem of Krasnosel'skii and Schaefer requires an a priori bound on all solutions. We employ Liapunov's direct method to obtain such an a priori bound. In the process, we compare these theorems in terms of assumptions and outcomes.

We give sufficient conditions for the following problem: given a topological space $X$, a metric space $Y$, a subspace $Z$ of $Y$, and a continuous map $f$ from $X$ to $Y$, is it possible, by applying to $f$ an arbitrarily small perturbation, to ensure that $f(X)$ does not meet $Z$? We also give a relative variant: if $f(X')$ does not meet $Z$ for a certain subset $X'\subset X$, then we may keep $f$ unchanged on $X'$. We also develop a variant for continuous sections of fibrations and discuss some applications to matrix perturbation theory.

We study an even order system boundary value problem with periodic boundary conditions. By establishing the existence of a positive eigenvalue of an associated linear system Sturm-Liouville problem, we obtain new conditions for the boundary value problem to have a positive solution. Our major tools are the Krein-Rutman theorem for linear spectra and the fixed point index theory for compact operators.

An explicit construction of a pre-quantum line bundle for the moduli space of flat $G$-bundles over a Riemann surface is given, where $G$ is any non-simply connected compact simple Lie group. This work helps to explain a curious coincidence previously observed between Toledano Laredo's work classifying central extensions of loop groups $LG$ and the author's previous work on the obstruction to pre-quantization of the moduli space of flat $G$-bundles.

In this paper, we discuss monotonicity formulae of various entropy functionals under various rescaled versions of Ricci flow. As an application, we prove that the lowest eigenvalue of a family of geometric operators $-4\Delta + kR$ is monotonic along the normalized Ricci flow for all $k\ge 1$ provided the initial manifold has nonpositive total scalar curvature.

Product type equivalence relations are hyperfinite measured equivalence relations, which, up to orbit equivalence, are generated by product type odometer actions. We give a concrete example of a hyperfinite equivalence relation of non-product type, which is the tail equivalence on a Bratteli diagram. In order to show that the equivalence relation constructed is not of product type we will use a criterion called property A. This property, introduced by Krieger for non-singular transformations, is defined directly for hyperfinite equivalence relations in this paper.

In this paper we extend K. Rubin's methods to prove the Gras conjecture for abelian extensions of a given imaginary quadratic field $k$ and prime numbers $p$ that divide the number of roots of unity in $k$.

Several measures for the density of sets of integers have been proposed, such as the asymptotic density, the Schnirelmann density, and the Dirichlet density. There has been some work in the literature on extending some of these concepts of density to higher dimensional sets of integers. In this work, we propose an extension of the Dirichlet density for sets of Gaussian integers and investigate some of its properties.

We introduce semi-invariant Riemannian submersions from almost Hermitian manifolds onto Riemannian manifolds. We give examples, investigate the geometry of foliations that arise from the definition of a Riemannian submersion, and find necessary sufficient conditions for total manifold to be a locally product Riemannian manifold. We also find necessary and sufficient conditions for a semi-invariant submersion to be totally geodesic. Moreover, we obtain a classification for semi-invariant submersions with totally umbilical fibers and show that such submersions put some restrictions on total manifolds.

In this paper we study several non-Riemannian quantities in Finsler geometry. These non-Riemannian quantities play an important role in understanding the geometric properties of Finsler metrics. In particular, we study a new non-Riemannian quantity defined by the S-curvature. We show some relationships among the flag curvature, the S-curvature, and the new non-Riemannian quantity.

Müntz-Legendre polynomials $L_n(\Lambda;x)$ associated with a sequence $\Lambda=\{\lambda_k\}$ are obtained by orthogonalizing the system $(x^{\lambda_0}, x^{\lambda_1}, x^{\lambda_2}, \dots)$ in $L_2[0,1]$ with respect to the Legendre weight. If the $\lambda_k$'s are distinct, it is well known that $L_n(\Lambda;x)$ has exactly $n$ zeros $l_{n,n}\lt l_{n-1,n}\lt \cdots \lt l_{2,n}\lt l_{1,n}$ on $(0,1)$. First we prove the following global bound for the smallest zero, $$ \exp\biggl(-4\sum_{j=0}^n \frac{1}{2\lambda_j+1}\biggr) \lt l_{n,n}. $$ An important consequence is that if the associated Müntz space is non-dense in $L_2[0,1]$, then $$ \inf_{n}x_{n,n}\geq \exp\biggl({-4\sum_{j=0}^{\infty} \frac{1}{2\lambda_j+1}}\biggr)\gt 0, $$ so the elements $L_n(\Lambda;x)$ have no zeros close to 0. Furthermore, we determine the asymptotic behavior of the largest zeros; for $k$ fixed, $$ \lim_{n\rightarrow\infty} \vert \log l_{k,n}\vert \sum_{j=0}^n (2\lambda_j+1)= \Bigl(\frac{j_k}{2}\Bigr)^2, $$ where $j_k$ denotes the $k$-th zero of the Bessel function $J_0$.

We give easy proofs that (a) the Continuum Hypothesis implies that if the product of $X$ with every Lindelöf space is Lindelöf, then $X$ is a $D$-space, and (b) Borel's Conjecture implies every Rothberger space is Hurewicz.

It was claimed by Halmos in 1944 that if $G$ is a Hausdorff locally compact topological abelian group and if the character group of $G$ is torsion free, then $G$ is divisible. We prove that such a claim is false by presenting a family of counterexamples. While other counterexamples are known, we also present a family of stronger counterexamples, showing that even if one assumes that the character group of $G$ is both torsion free and divisible, it does not follow that $G$ is divisible.

By exploring the relations among functional equations, harmonic analysis and representation theory, we give a unified and very accessible approach to solve three important functional equations - the d'Alembert equation, the Wilson equation, and the d'Alembert long equation - on compact groups.

Let $J$ be an abelian variety and $A$ be an abelian subvariety of $J$, both defined over $\mathbf{Q}$. Let $x$ be an element of $H^1(\mathbf{Q},A)$. Then there are at least two definitions of $x$ being visible in $J$: one asks that the torsor corresponding to $x$ be isomorphic over $\mathbf{Q}$ to a subvariety of $J$, and the other asks that $x$ be in the kernel of the natural map $H^1(\mathbf{Q},A) \to H^1(\mathbf{Q},J)$. In this article, we clarify the relation between the two definitions.

In this article we study the Cesàro operator $$ \mathcal{C}(f)(z)=\frac{1}{z}\int_{0}^{z}f(\zeta)\,d\zeta, $$ and its companion operator $\mathcal{T}$ on Hardy spaces of the upper half plane. We identify $\mathcal{C}$ and $\mathcal{T}$ as resolvents for appropriate semigroups of composition operators and we find the norm and the spectrum in each case. The relation of $\mathcal{C}$ and $\mathcal{T}$ with the corresponding Ces\`{a}ro operators on Lebesgue spaces $L^p(\mathbb R)$ of the boundary line is also discussed.

We prove variants of Schwarz's lemma involving monotonicity properties of condenser capacity and inner radius. Also, we examine when a similar monotonicity property holds for the hyperbolic metric.

Let $\lambda (n)$ denote the Liouville function. Complementary to the prime number theorem, Chowla conjectured that \begin{equation*} \label{a.1} \sum_{n\le x} \lambda (f(n)) =o(x)\tag{$*$} \end{equation*} for any polynomial $f(x)$ with integer coefficients which is not of form $bg(x)^2$. When $f(x)=x$, $(*)$ is equivalent to the prime number theorem. Chowla's conjecture has been proved for linear functions, but for degree greater than 1, the conjecture seems to be extremely hard and remains wide open. One can consider a weaker form of Chowla's conjecture. Conjecture 1. [Cassaigne et al.] If $f(x) \in \mathbb{Z} [x]$ and is not in the form of $bg^2(x)$ for some $g(x)\in \mathbb{Z}[x]$, then $\lambda (f(n))$ changes sign infinitely often. Clearly, Chowla's conjecture implies Conjecture 1. Although weaker, Conjecture 1 is still wide open for polynomials of degree $\gt 1$. In this article, we study Conjecture 1 for quadratic polynomials. One of our main theorems is the following. Theorem 1 Let $f(x) = ax^2+bx +c $ with $a\gt 0$ and $l$ be a positive integer such that $al$ is not a perfect square. If the equation $f(n)=lm^2 $ has one solution $(n_0,m_0) \in \mathbb{Z}^2$, then it has infinitely many positive solutions $(n,m) \in \mathbb{N}^2$. As a direct consequence of Theorem 1, we prove the following. Theorem 2 Let $f(x)=ax^2+bx+c$ with $a \in \mathbb{N}$ and $b,c \in \mathbb{Z}$. Let \[ A_0=\Bigl[\frac{|b|+(|D|+1)/2}{2a}\Bigr]+1. \] Then either the binary sequence $\{ \lambda (f(n)) \}_{n=A_0}^\infty$ is a constant sequence or it changes sign infinitely often. Some partial results of Conjecture 1 for quadratic polynomials are also proved using Theorem 1.

Dufresnoy and Pisot characterized the smallest Pisot number of degree $n \geq 3$ by giving explicitly its minimal polynomial. In this paper, we translate Dufresnoy and Pisot's result to the Laurent series case. The aim of this paper is to prove that the minimal polynomial of the smallest Pisot element (SPE) of degree $n$ in the field of formal power series over a finite field is given by $P(Y)=Y^{n}-\alpha XY^{n-1}-\alpha^n,$ where $\alpha$ is the least element of the finite field $\mathbb{F}_{q}\backslash\{0\}$ (as a finite total ordered set). We prove that the sequence of SPEs of degree $n$ is decreasing and converges to $\alpha X.$ Finally, we show how to obtain explicit continued fraction expansion of the smallest Pisot element over a finite field.

Total embedding distributions have been known for a few classes of graphs. Chen, Gross, and Rieper computed it for necklaces, close-end ladders and cobblestone paths. Kwak and Shim computed it for bouquets of circles and dipoles. In this paper, a splitting theorem is generalized and the embedding distributions of generalized fan graphs are obtained.

In this note, we first give a characterization of super weakly compact convex sets of a Banach space $X$: a closed bounded convex set $K\subset X$ is super weakly compact if and only if there exists a $w^*$ lower semicontinuous seminorm $p$ with $p\geq\sigma_K\equiv\sup_{x\in K}\langle\,\cdot\,,x\rangle$ such that $p^2$ is uniformly Fréchet differentiable on each bounded set of $X^*$. Then we present a representation theorem for the dual of the semigroup $\textrm{swcc}(X)$ consisting of all the nonempty super weakly compact convex sets of the space $X$.

We prove a result concerning power series $f(z)\in\mathbb{C}[\mkern-3mu[z]\mkern-3mu]$ satisfying a functional equation of the form $$ f(z^d)=\sum_{k=1}^n \frac{A_k(z)}{B_k(z)}f(z)^k, $$ where $A_k(z),B_k(z)\in \mathbb{C}[z]$. In particular, we show that if $f(z)$ satisfies a minimal functional equation of the above form with $n\geqslant 2$, then $f(z)$ is necessarily transcendental. Towards a more complete classification, the case $n=1$ is also considered.

M. Hu and S. Wen considered quasisymmetrically minimal uniform Cantor sets of Hausdorff dimension $1$, where at the $k$-th set one removes from each interval $I$ a certain number $n_{k}$ of open subintervals of length $c_{k}|I|$, leaving $(n_{k}+1)$ closed subintervals of equal length. Quasisymmetrically Moran sets of Hausdorff dimension $1$ considered in the paper are more general than uniform Cantor sets in that neither the open subintervals nor the closed subintervals are required to be of equal length.

We prove the non-existence of real hypersurfaces in complex projective space whose structure Jacobi operator is Lie $\mathbb{D}$-parallel and satisfies a further condition.

In 1968, Galvin conjectured that an uncountable poset $P$ is the union of countably many chains if and only if this is true for every subposet $Q \subseteq P$ with size $\aleph_1$. In 1981, Rado formulated a similar conjecture that an uncountable interval graph $G$ is countably chromatic if and only if this is true for every induced subgraph $H \subseteq G$ with size $\aleph_1$. Todorčević has shown that Rado's Conjecture is consistent relative to the existence of a supercompact cardinal, while the consistency of Galvin's Conjecture remains open. In this paper, we survey and collect a variety of results related to these two conjectures. We also show that the extension of Rado's conjecture to the class of all chordal graphs is relatively consistent with the existence of a supercompact cardinal.

We establish estimates for restrictions to certain curves in $\mathbb R^2$ of the Fourier transforms of some fractal measures.

We show that the following $K_0$-monoid properties of $C^*$-algebras in the class $\Omega$ are inherited by simple unital $C^*$-algebras in the class $TA\Omega$: (1) weak comparability, (2) strictly unperforated, (3) strictly cancellative.

Let $g\mapsto g^*$ denote an involution on a group $G$. For any (commutative, associative) ring $R$ (with $1$), $*$ extends linearly to an involution of the group ring $RG$. An element $\alpha\in RG$ is symmetric if $\alpha^*=\alpha$ and skew-symmetric if $\alpha^*=-\alpha$. The skew-symmetric elements are closed under the Lie bracket, $[\alpha,\beta]=\alpha\beta-\beta\alpha$. In this paper, we investigate when this set is also closed under the ring product in $RG$. The symmetric elements are closed under the Jordan product, $\alpha\circ\beta=\alpha\beta+\beta\alpha$. Here, we determine when this product is trivial. These two problems are analogues of problems about the skew-symmetric and symmetric elements in group rings that have received a lot of attention.

A linear Cantor set $C$ with zero Lebesgue measure is associated with the countable collection of the bounded complementary open intervals. A rearrangment of $C$ has the same lengths of its complementary intervals, but with different locations. We study the Hausdorff and packing $h$-measures and dimensional properties of the set of all rearrangments of some given $C$ for general dimension functions $h$. For each set of complementary lengths, we construct a Cantor set rearrangement which has the maximal Hausdorff and the minimal packing $h$-premeasure, up to a constant. We also show that if the packing measure of this Cantor set is positive, then there is a rearrangement which has infinite packing measure.

We consider a nonlinear periodic problem driven by a nonlinear nonhomogeneous differential operator and a Carathéodory reaction term $f(t,x)$ that exhibits a $(p-1)$-superlinear growth in $x \in \mathbb{R}$ near $\pm\infty$ and near zero. A special case of the differential operator is the scalar $p$-Laplacian. Using a combination of variational methods based on the critical point theory with Morse theory (critical groups), we show that the problem has three nontrivial solutions, two of which have constant sign (one positive, the other negative).

In this paper, we consider the Gross-Pitaevskii equation for the trapped dipolar quantum gases. We obtain the sharp criterion for the global existence and finite time blow up in the unstable regime by constructing a variational problem and the so-called invariant manifold of the evolution flow.

In this paper we determine the Hausdorff measure of noncompactness on the sequence space $n(\phi)$ of W. L. C. Sargent. Further we apply the technique of measures of noncompactness to the theory of infinite systems of differential equations in the Banach sequence spaces $n(\phi)$ and $m(\phi)$. Our aim is to present some existence results for infinite systems of differential equations formulated with the help of measures of noncompactness.

An epimorphism $\phi\colon G\to H$ of groups, where $G$ has rank $n$, is called coessential if every (ordered) generating $n$-tuple of $H$ can be lifted along $\phi$ to a generating $n$-tuple for $G$. We discuss this property in the context of the category of groups, and establish a criterion for such a group $G$ to have the property that its abelianization epimorphism $G\to G/[G,G]$, where $[G,G]$ is the commutator subgroup, is coessential. We give an example of a family of 2-generator groups whose abelianization epimorphism is not coessential. This family also provides counterexamples to the generalized Andrews--Curtis conjecture.

Let $(X,\mathcal B,\mu)$ be a $\sigma$-finite measure space and let $H\subset L^2(X,\mu)$ be a separable reproducing kernel Hilbert space on $X$. We show that the multiplier algebra of $H$ has property $(A_1(1))$.

We first determine the domination number for the zero-divisor graph of the product of two commutative rings with $1$. We then calculate the domination number for the zero-divisor graph of any commutative artinian ring. Finally, we extend some of the results to non-commutative rings in which an element is a left zero-divisor if and only if it is a right zero-divisor.

Suppose that $G$ is an abelian group, $A \subset G$ is finite with $|A+A| \leq K|A|$ and $\eta \in (0,1]$ is a parameter. Our main result is that there is a set $\mathcal{L}$ such that \begin{equation*} |A \cap \operatorname{Span}(\mathcal{L})| \geq K^{-O_\eta(1)}|A| \quad\text{and}\quad |\mathcal{L}| = O(K^\eta\log |A|). \end{equation*} We include an application of this result to a generalisation of the Roth--Meshulam theorem due to Liu and Spencer.

We prove that a finitely generated group contains a sequence of non-trivial elements that converge to the identity in every compact homomorphic image if and only if the group is not virtually abelian. As a consequence of the methods used, we show that a finitely generated group satisfies Chu duality if and only if it is virtually abelian.

Following ideas used by Drewnowski and Wilansky we prove that if $I$ is an infinite dimensional and infinite codimensional closed ideal in a complete metrizable locally solid Riesz space and $I$ does not contain any order copy of $\mathbb R^{\mathbb N}$ then there exists a closed, separable, discrete Riesz subspace $G$ such that the topology induced on $G$ is Lebesgue, $I \cap G = \{0\}$, and $I + G$ is not closed.

Let $G$ be an infinite discrete group and let $\beta G$ be the Stone--Čech compactification of $G$. We take the points of $ėta G$ to be the ultrafilters on $G$, identifying the principal ultrafilters with the points of $G$. The set $U(G)$ of uniform ultrafilters on $G$ is a closed two-sided ideal of $\beta G$. For every $p\in U(G)$, define $I_p\subseteq\beta G$ by $I_p=\bigcap_{A\in p}\operatorname{cl} (GU(A))$, where $U(A)=\{p\in U(G):A\in p\}$. We show that if $|G|$ is a regular cardinal, then $\{I_p:p\in U(G)\}$ is the finest decomposition of $U(G)$ into closed left ideals of $\beta G$ such that the corresponding quotient space of $U(G)$ is Hausdorff.