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
|
|