Related papers: Cyclicity and iterated logarithms in the Dirichlet…
Given a finite set \sigma of the unit disc \mathbb{D}={z\in\mathbb{C}:, |z|<1} and a holomorphic function f in \mathbb{D} which belongs to a class X, we are looking for a function g in another class Y (smaller than X) which minimizes the…
P-time event graphs are discrete event systems able to model cyclic production systems where tasks need to be performed within given time windows. Consistency is the property of admitting an infinite execution of such tasks that does not…
This paper deals with the problem of limit cycle bifurcations for piecewise smooth integrable differential systems with four zones. When the unperturbed system has a family of periodic orbits, the first order Melnikov function is derived…
Let $S_1, \cdots, S_N$ simple finite-dimensional modules of a quantum affine algebra. We prove that if $S_i\otimes S_j$ is cyclic for any $i < j$ (i.e. generated by the tensor product of the highest weight vectors), then $S_1\otimes \cdots…
Let $f(x)\in {\mathbb Z}[x]$ be an $N$th degree polynomial that is monic and irreducible over ${\mathbb Q}$. We say that $f(x)$ is {\em monogenic} if $\{1,\theta,\theta^2,\ldots ,\theta^{N-1}\}$ is a basis for the ring of integers of…
A covering of a digraph $D$ by Hamilton cycles is a collection of directed Hamilton cycles (not necessarily edge-disjoint) that together cover all the edges of $D$. We prove that for $1/2 \geq p\geq \frac{\log^{20} n}{n}$, the random…
In systems where one coordinate undergoes periodic oscillation, the net displacement in any other coordinate over a single period is shown to be given by differentiation of the action integral associated with the oscillating coordinate.…
A criterion to obtain frequent hypercyclicity for a sequence of convolution operators on the space of entire functions on the complex plane is provided. The criterion involves that the generating functions of the operators do not vanish on…
It is well-known that for any inner function $\theta$ defined in the unit disk $D$ the following two conditons: $(i)$ there exists a sequence of polynomials $\{p_n\}_n$ such that $\lim_{n \to \infty} \theta(z) p_n(z) = 1$ for all $z \in D$,…
For a given graph $G$ of minimum degree at least $k$, let $G_p$ denote the random spanning subgraph of $G$ obtained by retaining each edge independently with probability $p=p(k)$. We prove that if $p \ge \frac{\log k + \log \log k +…
Let $D(x_1, x_2, ..., x_n)=(x_1+x_2 \;\text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m)$ where $D \in End(\mathbb{Z}_m^n)$ be the Ducci function. The sequence $\{D^k(\mathbf{u})\}_{k=0}^{\infty}$ will eventually…
Let $X$ be a smooth variety over a finite field $\mathbb{F}_q$. Let $\ell$ be a rational prime number invertible in $\mathbb{F}_q$. For an $\ell$-adic sheaf $\mathcal{F}$ on $X$, we construct a cycle supported on the singular support of…
We study cyclic proof systems for $\mu\mathsf{PA}$, an extension of Peano arithmetic by positive inductive definitions that is arithmetically equivalent to the (impredicative) subsystem of second-order arithmetic $\Pi^1_2$-$\mathsf{CA}_0$…
We consider elliptic operators in divergence form with lower order terms of the form $Lu=-$div$\nabla u+bu)-c\nabla u-du$, in an open set $\Omega\subset \mathbb{R}^n$, $n\geq 3$, with possibly infinite Lebesgue measure. We assume that the…
This paper is devoted to the study of the dynamics of Toeplitz operators $T_F$ with smooth symbols $F$ on the Hardy spaces of the unit disk $H^p$, $p>1$. Building on a model theory for Toeplitz operators on $H^2$ developed by Yakubovich in…
We enrich the Lambek calculus with the cyclic shift operation, which is expected to model the closure operator of formal languages with respect to cyclic shifts. We introduce a Gentzen-style calculus and prove cut elimination. Secondly, we…
The higher-dimensional modal mu-calculus is an extension of the mu-calculus in which formulas are interpreted in tuples of states of a labeled transition system. Every property that can be expressed in this logic can be checked in…
Both Cuckler and Yuster independently conjectured that when $n$ is an odd positive multiple of $3$ every regular tournament on $n$ vertices contains a collection of $n/3$ vertex-disjoint copies of the cyclic triangle. Soon after, Keevash…
We study locally univalent functions $f$ analytic in the unit disc $\mathbb{D}$ of the complex plane such that $|{f"(z)/f'(z)}|(1-|z|^2)\leq 1+C(1-|z|)$ holds for all $z\in\mathbb{D}$, for some $0<C<\infty$. If $C\leq 1$, then $f$ is…
Let $f(x) \in \mathbb{F}_p[x]$, and define the orbit of $x\in \mathbb{F}_p$ under the iteration of $f$ to be the set \[ \mathcal{O}(x):=\{x,f(x),(f\circ f)(x),(f\circ f\circ f)(x),\dots\}. \] An orbit is a $k$-cycle if it is periodic of…