Articles

01/28/2008-- 01/28/2008

Symmetric and Quasi-Symmetric Functions associated to Polymatroids

To every subspace arrangement X we will associate symmetric functions P[X] and H[X]. These symmetric functions encode the Hilbert series and the minimal projective resolution of the product ideal associated to the subspace arrangement. They can be defined for discrete polymatroids as well. The invariant H[X] specializes to the Tutte polynomial T[X]. Billera, Jia and Reiner recently introduced a quasi-symmetric function F[X] (for matroids) which behaves valuatively with respect to matroid base polytope decompositions. We will define a quasi-symmetric function G[X] for polymatroids which has this property as well. Moreover, G[X] specializes to P[X], H[X], T[X] and F[X].
Harm Derksen
02/17/2019-- 02/17/2019

Inverse coefficient problems for a transport equation by local Carleman estimate

We consider the transport equation $\ppp_tu(x,t) + (H(x)\cdot \nabla u(x,t)) + p(x)u(x,t) = 0$ in $\OOO \times (0,T)$ where $\OOO \subset \R^n$ is a bounded domain, and discuss two inverse problems which consist of determining a vector-valued function $H(x)$ or a real-valued function $p(x)$ by initial values and data on a subboundary of $\OOO$. Our results are conditional stability of H\"older type in a subdomain $D$ provided that the outward normal component of $H(x)$ is positive on $\ppp D \cap \ppp\OOO$. The proofs are based on a Carleman estimate where the weight function depends on $H$.
Piermarco Cannarsa Giuseppe Floridia Fikret Gölgeleyen Masahiro Yamamoto
06/14/2024-- 06/14/2024

A Continuum Erdős-Beck Theorem

We prove a version of the Erd\H{o}s--Beck Theorem from discrete geometry for fractal sets in all dimensions. More precisely, let $X\subset \mathbb{R}^n$ Borel and $k \in [0, n-1]$ be an integer. Let $\dim (X \setminus H) = \dim X$ for every $k$-dimensional hyperplane $H \in \mathcal{A}(n,k)$, and let $\mathcal L(X)$ be the set of lines that contain at least two distinct points of $X$. Then, a recent result of Ren shows $$ \dim \mathcal{L}(X) \geq \min \{2 \dim X, 2k\}. $$ If we instead have that $X$ is not a subset of any $k$-plane, and $$ 0<\inf_{H \in \mathcal{A}(n,k)} \dim (X \setminus H) = t < \dim X, $$ we instead obtain the bound $$ \dim \mathcal{L}(X) \geq \dim X + t. $$ We then strengthen this lower bound by introducing the notion of the "trapping number" of a set, $T(X)$, and obtain \[ \dim \mathcal L(X) \geq \max\{\dim X + t, \min\{2\dim X, 2(T(X)-1)\}\}, \] as consequence of our main result and of Ren's result in $\mathbb{R}^n$. Finally, we introduce a conjectured equality for the dimension of the line set $\mathcal{L}(X)$, which would in particular imply our results if proven to be true.
Paige Bright Caleb Marshall
06/04/2021-- 10/16/2010

Analytic implication from the prime number theorem

Let $x\ge 2$. The $\psi$-form of the prime number theorem is $\psi(x) =\sum\sb{n \le x}\Lambda(n) =x +O\bigl(x\sp{1-H(x)} \log\sp{2} x\big)$, where $H(x)$ is a certain function of $x$ with $0< H(x) \le \tfrac{1}{2}$. Tur\'an proved in 1950 that this $\psi$-form implies that there are no zeros of $\zeta(s)$ for $\Re(s) > h(t)$, where $t=\Im(s)$, and $h(t)$ is a function related to $H(x)$ with $0< h(t) \le \tfrac{1}{2}$, but both $H(x)$ and $h(t)$ are very close to 1. We prove results similar to Tur\'an's, with $H(x)$ and $ h(t)$ in some altered forms without the restriction that $H(x)$ and $h(t)$ are close to 1. The proof involves slightly revising and applying Tur\'an's power sum method and using the Lindel\"of hypothesis in the zero growth rate form, which is proved recently.
Yuanyou Cheng Glenn Fox Mehdi Hassani
03/03/2019-- 02/02/2019

Ergodic theorems in Banach ideals of compact operators

Let $\mathcal H$ be an infinite-dimensional Hilbert space, and let $\mathcal B(\mathcal H)$ ($\mathcal K(\mathcal H)$) be the $C^*$-algebra of bounded (respectively, compact) linear operators in $\mathcal H$. Let $(E,\|\cdot\|_E)$ be a fully symmetric sequence space. If $\{s_n(x)\}_{n=1}^\infty$ are the singular values of $x\in\mathcal K(\mathcal H)$, let $\mathcal C_E=\{x\in\mathcal K(\mathcal H): \{s_n(x)\}\in E\}$ with $\|x\|_{\mathcal C_E}=\|\{s_n(x)\}\|_E$, $x\in\mathcal C_E$, be the Banach ideal of compact operators generated by $E$. We show that the averages $A_n(T)(x)=\frac1{n+1}\sum\limits_{k = 0}^n T^k(x)$ converge uniformly in $\mathcal C_E$ for any positive Dunford-Schwartz operator $T$ and $x\in\mathcal C_E$. Besides, if $x\in\mathcal B(\mathcal H)\setminus\mathcal K(\mathcal H)$, there exists a Dunford-Schwartz operator $T$ such that the sequence $\{A_n(T)(x)\}$ does not converge uniformly. We also show that the averages $A_n(T)$ converge strongly in $(\mathcal C_E,\|\cdot\|_{\mathcal C_E})$ if and only if $E$ is separable and $E\neq l^1$, as sets.
Aziz Azizov Vladimir Chilin Semyon Litvinov
06/01/1999-- 06/01/1999

On Vorontsov's theorem on K3 surfaces

Let X be a K3 surface with the Neron-Severi lattice S_X and transcendental lattice T_X. Nukulin considered the kernel H_X of the natural representation Aut(X) ---> O(S_X) and proved that H_{X} is a finite cyclic group with phi(h(X))) | t(X) and acts faithfully on the space H^{2,0}(X) = C omega_{X}, where h(X) = ord(H_X), t(X) = rank T_X and phi(.) is the Euler function. Consider the extremal case where phi(h(X)) = t(X). In the situation where T_{X} is unimodular, Kondo has determined the list of t(X), as well as the actual realizations, and showed that t(X) alone uniquely determines the isomorphism class of X (with phi(h(X)) = t(X)). We settle the remaining situation where T_X is not unimodular. Together, we provide the proof for the theorem announced by Vorontsov.
K. Oguiso D. -Q. Zhang
09/29/2021-- 07/14/2019

Synchronization for KPZ

We study the longtime behavior of KPZ-like equations: $$ \partial_{t}h(t,x) = \Delta_{x} h (t, x) + | \nabla_{x}h (t,x)|^{2} + \eta(t, x), \qquad h(0, x) = h_0(x), \qquad (t, x) \in (0, \infty) \times \mathbb{T}^{d} $$ on the $d-$dimensional torus $\mathbb{T}^{d}$ driven by an ergodic noise $\eta$ (e.g. space-time white in $d= 1$. The analysis builds on infinite-dimensional extensions of similar results for positive random matrices. We establish a one force, one solution principle and derive almost sure synchronization with exponential deterministic speed in appropriate H\"older spaces.
Tommaso Cornelis Rosati
02/23/2010-- 07/28/2008

Viscosity solutions for systems of parabolic variational inequalities

In this paper, we first define the notion of viscosity solution for the following system of partial differential equations involving a subdifferential operator:\[\{[c]{l}\dfrac{\partial u}{\partial t}(t,x)+\mathcal{L}_tu(t,x)+f(t,x,u(t,x))\in\partial\phi (u(t,x)),\quad t\in[0,T),x\in\mathbb{R}^d, u(T,x)=h(x),\quad x\in\mathbb{R}^d,\] where $\partial\phi$ is the subdifferential operator of the proper convex lower semicontinuous function $\phi:\mathbb{R}^k\to (-\infty,+\infty]$ and $\mathcal{L}_t$ is a second differential operator given by $\mathcal{L}_tv_i(x)={1/2}\operatorname {Tr}[\sigma(t,x)\sigma^*(t,x)\mathrm{D}^2v_i(x)]+< b(t,x),\nabla v_i(x)>$, $i\in\bar{1,k}$. We prove the uniqueness of the viscosity solution and then, via a stochastic approach, prove the existence of a viscosity solution $u:[0,T]\times\mathbb{R}^d\to\mathbb{R}^k$ of the above parabolic variational inequality.
Lucian Maticiuc Etienne Pardoux Aurel Răşcanu Adrian Zălinescu
08/25/2024-- 08/25/2024

On the essential norms of Toeplitz operators on abstract Hardy spaces built upon Banach function spaces

Let $X$ be a Banach function space over the unit circle such that the Riesz projection $P$ is bounded on $X$ and let $H[X]$ be the abstract Hardy space built upon $X$. We show that the essential norm of the Toeplitz operator $T(a):H[X]\to H[X]$ coincides with $\|a\|_{L^\infty}$ for every $a\in C+H^\infty$ if and only if the essential norm of the backward shift operator $T(\mathbf{e}_{-1}):H[X]\to H[X]$ is equal to one, where $\mathbf{e}_{-1}(z)=z^{-1}$. This result extends an observation by B\"ottcher, Krupnik, and Silbermann for the case of classical Hardy spaces.
Oleksiy Karlovych Eugene Shargorodsky
02/18/2022-- 12/04/2021

Local boundedness of variational solutions to nonlocal double phase parabolic equations

We prove local boundedness of variational solutions to the double phase equation \begin{align*} \partial_t u +& P.V.\int_{\mathbb{R}^N}\frac{|u(x,t)-u(y,t)|^{p-2}(u(x,t)-u(y,t))}{|x-y|^{N+ps}}\\ &+a(x,y)\frac{|u(x,t)-u(y,t)|^{q-2}(u(x,t)-u(y,t))}{|x-y|^{N+qs'}} \,dy = 0, \end{align*} under the restrictions $s,s'\in (0,1),\, 1 < p \leq q \leq p\,\frac{2s+N}{N}$ and the non-negative function $(x,y)\mapsto a(x,y)$ is assumed to be measurable and bounded.
Harsh Prasad Vivek Tewary


with thanks to arxiv.org/