SearcharxivSearch

arXiv subjects

Ohad Giladi

Publications and source records attributed to Ohad Giladi.

14 recordsLinked to original sources

A Perron-Frobenius type result for integer maps and applications

It is shown that for certain maps, including concave maps, on the $d$-dimensional lattice of positive integer points, 'approximate' eigenvectors can be found. Applications in epidemiology as well as distributed resource allocation are discussed as examples.

math.DS

A Lyapunov function construction for a non-convex Douglas-Rachford iteration

While global convergence of the Douglas-Rachford iteration is often observed in applications, proving it is still limited to convex and a handful of other special cases. Lyapunov functions for difference inclusions provide not only global or local convergence certificates, but also imply robust stability, which means that the convergence is still guaranteed in the presence of persistent disturbances. In this work, a global Lyapunov function is constructed by combining known local Lyapunov functions for simpler, local sub-problems via an explicit formula that depends on the problem parameters. Specifically, we consider the scenario where one set consists of the union of two lines and the other set is a line, so that the two sets intersect in two distinct points. Locally, near each intersection point, the problem reduces to the intersection of just two lines, but globally the geometry is non-convex and the Douglas-Rachford operator multi-valued. Our approach is intended to be prototypical for addressing the convergence analysis of the Douglas-Rachford iteration in more complex geometries that can be approximated by polygonal sets through the combination of local, simple Lyapunov functions.

math.OC

Ergodic behaviour of a Douglas-Rachford operator away from the origin

It is shown that away from the origin, the Douglas-Rachford operator with respect to a sphere and a convex set in a Hilbert space can be approximated by a another operator which satisfies a weak ergodic theorem. Similar results for other projection and reflection operators are also discussed.

math.OC

On the geometry of projective tensor products

In this work, we study the volume ratio of the projective tensor products $\ell^n_p\otimes_π\ell_q^n\otimes_π\ell_r^n$ with $1\leq p\leq q \leq r \leq \infty$. We obtain asymptotic formulas that are sharp in almost all cases. As a consequence of our estimates, these spaces allow for a nearly Euclidean decomposition of Kashin type whenever $1\leq p \leq q\leq r \leq 2$ or $1\leq p \leq 2 \leq r \leq \infty$ and $q=2$. Also, from the Bourgain-Milman bound on the volume ratio of Banach spaces in terms of their cotype $2$ constant, we obtain information on the cotype of these $3$-fold projective tensor products. Our results naturally generalize to $k$-fold products $\ell_{p_1}^n\otimes_π\dots \otimes_π\ell_{p_k}^n$ with $k\in\mathbb N$ and $1\leq p_1 \leq \dots\leq p_k \leq \infty$.

math.FA

Convex analysis in groups and semigroups: a sampler

We define convexity canonically in the setting of monoids. We show that many classical results from convex analysis hold for functions defined on such groups and semigroups, rather than only on vector spaces. Some examples and counter-examples are also discussed.

math.OC

Nearest points and delta convex functions in Banach spaces

Given a closed set $C$ in a Banach space $(X, \|\cdot\|)$, a point $x\in X$ is said to have a nearest point in $C$ if there exists $z\in C$ such that $d_C(x) =\|x-z\|$, where $d_C$ is the distance of $x$ from $C$. We shortly survey the problem of studying how large is the set of points in $X$ which have nearest points in $C$. We then discuss the topic of delta-convex functions and how it is related to finding nearest points.

math.FA

Inverse Littlewood-Offord problems for Quasi-Norms

Given a star-shaped domain $K\subseteq \mathbb R^d$, $n$ vectors $v_1,\dots,v_n \in \mathbb R^d$, a number $R>0$, and i.i.d. random variables $η_1,\dots,η_n$, we study the geometric and arithmetic structure of the set of vectors $V = \{v_1,\dots,v_n\}$ under the assumption that the small ball probability \[\sup_{x\in \mathbb R^d}~\mathbb P\Bigg(\sum_{j=1}^nη_jv_j\in x+RK\Bigg)\] does not decay too fast as $n\to \infty$. This generalises the case where $K$ is the Euclidean ball, which was previously studied by Nguyen-Vu and Tao-Vu.

math.PR

Small ball estimates for quasi-norms

This note contains two types of small ball estimates for random vectors in finite dimensional spaces equipped with a quasi-norm. In the first part, we obtain bounds for the small ball probability of random vectors under some smoothness assumptions on their density function. In the second part, we obtain Littlewood-Offord type estimates for quasi-norms. This generalizes a result which was previously obtained by Friedland and Sodin and by Rudelson and Vershynin.

math.PR

Bourgain's discretization theorem

Bourgain's discretization theorem asserts that there exists a universal constant $C\in (0,\infty)$ with the following property. Let $X,Y$ be Banach spaces with $\dim X=n$. Fix $D\in (1,\infty)$ and set $δ= e^{-n^{Cn}}$. Assume that $\mathcal N$ is a $δ$-net in the unit ball of $X$ and that $\mathcal N$ admits a bi-Lipschitz embedding into $Y$ with distortion at most $D$. Then the entire space $X$ admits a bi-Lipschitz embedding into $Y$ with distortion at most $CD$. This mostly expository article is devoted to a detailed presentation of a proof of Bourgain's theorem. We also obtain an improvement of Bourgain's theorem in the important case when $Y=L_p$ for some $p\in [1,\infty)$: in this case it suffices to take $δ= C^{-1}n^{-5/2}$ for the same conclusion to hold true. The case $p=1$ of this improved discretization result has the following consequence. For arbitrarily large $n\in \mathbb{N}$ there exists a family $\mathscr Y$ of $n$-point subsets of ${1,...,n}^2\subseteq \mathbb{R}^2$ such that if we write $|\mathscr Y|= N$ then any $L_1$ embedding of $\mathscr Y$, equipped with the Earthmover metric (a.k.a. transportation cost metric or minimumum weight matching metric) incurs distortion at least a constant multiple of $\sqrt{\log\log N}$; the previously best known lower bound for this problem was a constant multiple of $\sqrt{\log\log \log N}$.

math.FA

A simple observation on random matrices with continuous diagonal entries

Let $T$ be an $n\times n$ random matrix, such that each diagonal entry $T_{i,i}$ is a continuous random variable, independent from all the other entries of $T$. Then for every $n\times n$ matrix $A$ and every $t\ge0$ $$ \p\Big[|\det(A+T)|^{1/n}\le t\Big]\le2bnt, $$ where $b>0$ is a uniform upper bound on the densities of $T_{i,i}$.

math.PR

Improved bounds in the metric cotype inequality for Banach spaces

It is shown that if (X, ||.||_X) is a Banach space with Rademacher cotype q then for every integer n there exists an even integer m< n^{1+1/q}$ such that for every f:Z_m^n --> X we have $\sum_{j=1}^n \Avg_x [ ||f(x+ (m/2) e_j)-f(x) ||_X^q ] < C m^q \Avg_{\e,x} [ ||f(x+\e)-f(x) ||_X^q ]$, where the expectations are with respect to uniformly chosen x\in Z_m^n and \e\in \{-1,0,1\}^n, and all the implied constants may depend only on q and the Rademacher cotype q constant of X. This improves the bound of m< n^{2+\frac{1}{q}} from [Mendel, Naor 2008]. The proof of the above inequality is based on a "smoothing and approximation" procedure which simplifies the proof of the metric characterization of Rademacher cotype of [Mendel, Naor 2008]. We also show that any such "smoothing and approximation" approach to metric cotype inequalities must require m> n^{(1/2)+(1/q)}.

math.FA

Improved bounds in the scaled Enflo type inequality for Banach spaces

It is shown that if (X,||.||_X) is a Banach space with Rademacher type p \ge 1, then for every integer n there exists an even integer m < Cn^{2-1/p}log n (C is an absolute constant), such that for every f:Z_m^n --> X, \Avg_{x,\e}[||f(x+ m\e/2)-f(x)}||_X^p] < C(p,X) m^p\sum_{j=1}^n\Avg_x[||f(x+e_j)-f(x)||_X^p], where the expectation is with respect to uniformly chosen x \in Z_m^n and \e \in \{-1,1\}^n, and C(p,X) is a constant that depends on p and the Rademacher type constant of X. This improves a bound of m < Cn^{3-2/p} that was obtained in [Mendel, Naor 2007]. The proof is based on an augmentation of the "smoothing and approximation" scheme, which was implicit in [Mendel, Naor 2007].

math.FA