Related papers: The Morse-Sard theorem revisited

We completely characterize the unimodal category for functions $f:\mathbb R\to[0,\infty)$ using a decomposition theorem obtained by generalizing the sweeping algorithm of Baryshnikov and Ghrist. We also give a characterization of the…

The classical Mason-Stothers theorem deals with nontrivial polynomial solutions to the equation $a+b=c$. It provides a lower bound on the number of distinct zeros of the polynomial $abc$ in terms of the degrees of $a$, $b$ and $c$. We…

For $m\in\mathbb{R}$ we introduce the symbol classes $S^m$, $m\in\mathbb{R}$, consisting of smooth functions $\sigma$ on $\mathbb{R}^{2d}$ such that $|\partial^\alpha \sigma(z)|\leq C_\alpha (1+|z|^2)^{m/2}$, $z\in\mathbb{R}^{2d}$, and we…

Let $\Lambda$ be the von Mangoldt function and $r_{Q}\left(n\right)=\sum_{m_{1}+m_{2}^{2}+m_{3}^{2}=n}\Lambda\left(m_{1}\right)$ be the counting function for the numbers that can be written as sum of a prime and two squares (that we will…

We study the space, $R_m$, of $m$-symmetric functions consisting of polynomials that are symmetric in the variables $x_{m+1},x_{m+2},x_{m+3},\dots$ but have no special symmetry in the variables $x_1,\dots,x_m$. We obtain $m$-symmetric…

Let $\sigma_i$, $i=1,\ldots,n$, denote positive Borel measures on $\mathbb{R}^d$, let $\mathcal{D}$ denote the usual collection of dyadic cubes in $\mathbb{R}^d$ and let $K:\,\mathcal{D}\to[0,\infty)$ be a~map. In this paper we give…

The Deligne-Simpson problem in the multiplicative version is formulated like this: {\em give necessary and sufficient conditions for the choice of the conjugacy classes $C_j\in SL(n,{\bf C})$ so that there exist irreducible $(p+1)$-tuples…

Given a manifold $M$, some closed $\beta\in\Omega^1(M)$ and a map $f\in C^\infty(M)$, a $\beta$-critical point is some $x\in M$ such that $d_\beta f_{x}=0$ for the Lichnerowicz derivative $d_\beta$. In this paper, we will give a lower bound…

For $c\in(1,2)$ we consider the following operators \[ \mathcal{C}_{c}f(x) = \sup_{\lambda \in [-1/2,1/2)}\bigg| \sum_{n \neq 0}f(x-n) \frac{e^{2\pi i\lambda \lfloor |n|^{c} \rfloor}}{n}\bigg|\text{,}\quad \mathcal{C}^{\mathsf{sgn}}_{c}f(x)…

Let $p$ be a prime and let $a$ be a positive integer. In this paper we investigate $\sum_{k=0}^{p^a-1}\binom[(h+1)k,k+d]/m^k$ modulo a prime $p$, where $d$ and $m$ are integers with $-h<d<=p^a$ and $m\not=0 (mod p)$. We also study…

Given a possibly discontinuous, bounded function $f:\mathbb{R}\mapsto\mathbb{R}$, we consider the set of generalized flows, obtained by assigning a probability measure on the set of Carath\'eodory solutions to the ODE ~$\dot x = f(x)$. The…

We establish for $2 \le k \le n-1$ the strict concavity of the function $f_k(\lambda)=\log(\sigma_k(\lambda))$ on a subset of the positive cone $\Gamma_n=\{\lambda=(\lambda_{1}, \lambda_{2}, \cdots,\lambda_{n})\in \mathbb{R}^n;…

A classical result due to Agranovsky and Narayanan (\cite{AN04}) says that if the support of the Fourier transform of $f: {\mathbb R}^n \to {\mathbb C}$ is carried by a smooth measure on a $d$-dimensional manifold $M$, and $f \in…

For positive integers $m$ and $n$, define $f(m,n)$ to be the smallest integer such that any subset $A$ of the $m \times n$ integer grid with $|A| \geq f(m,n)$ contains a rectangle; that is, there are $x\in [m]$ and $y \in [n]$ and…

Motivated by G. H. Hardy's 1939 results \cite{Hardy} on functions orthogonal with respect to their real zeros $\lambda_{n}, n=1,2,... $, we will consider, within the same general conditions imposed by Hardy, functions satisfying an…

Suppose $\Lambda$ is a discrete infinite set of nonnegative real numbers. We say that $ {\Lambda}$ is type $2$ if the series $s(x)=\sum_{\lambda\in\Lambda}f(x+\lambda)$ does not satisfy a zero-one law. This means that we can find a…

We first show that a continuous function f is nonnegative on a closed set $K\subseteq R^n$ if and only if (countably many) moment matrices of some signed measure $d\nu =fd\mu$ with support equal to K, are all positive semidefinite (if $K$…

The Thue--Morse sequence $\{t(n)\}_{n\geqslant 1}$ is the indicator function of the parity of the number of ones in the binary expansion of positive integers $n$, where $t(n)=1$ (resp. $=0$) if the binary expansion of $n$ has an odd (resp.…

We recall that $w\in C_{p}^{+}$ if there exist $\varepsilon>0$ and $C>0$ such that for any $a<b<c$ with $c-b<b-a$ and any measurable set $E\subset(a,b)$, the following holds \[ \int_{E}w\leq…

Inspired by Cohen and te Riele~\cite{Cohen1996}, who computationally verified that for every $n \leq 400$ there exists $k$ such that $\sigma^k(n) \equiv 0 \pmod{n}$ (where $\sigma^k$ denotes the $k$-fold iteration of the sum-of-divisors…