arXiv subjects

Carlo Alberto De Bernardi

Publications and source records attributed to Carlo Alberto De Bernardi.

15 recordsLinked to original sources

arXiv2026

Tilings and coverings by balls in $\ell_1$

A famous result of Klee from 1981 is that the Banach space $\ell_1(κ)$ admits a disjoint tiling by balls of radius $1$, for all cardinals $κ$ with $κ^ω=κ$. Klee also observed that the smallest cardinal in which such a tiling might exist is $κ= 2^{\aleph_0}$, leaving open the question whether, for $κ< 2^{\aleph_0}$, $\ell_1(κ)$ might admit a tiling by balls at all. Our main result answers this question in the negative, proving in particular that $\ell_1$ does not admit any tiling by balls. We also give a companion result about star-$n$-finite coverings by balls of $\ell_1(κ)$ and we give a construction of a star-finite tiling of $\mathcal{X} \oplus_\infty c_{00}$, for each space $\mathcal{X}$ whose dimension is at most countable.

math.FA↗

arXiv2026

Polyhedral normed spaces: the structural theorem and locally finite tilings

A fundamental result due to Fonf (1981) asserts that the unit sphere of every polyhedral Banach space is covered by true faces of the unit ball. The principal aim of our paper is to study the validity of the same result for polyhedral normed spaces and present some applications. Our first main result is that if $X$ is a polyhedral normed space with property ($Δ$), then its unit sphere is covered by algebraic true faces. It then follows that if the space is additionally (VI)-polyhedral, then its unit sphere is covered by genuine true faces. We also present several counterexamples showing that these results are optimal in a strong sense. For instance, we show that there exist (V)-polyhedral normed spaces whose unit ball doesn't have any algebraic true face at all, and that there exist polyhedral normed spaces with ($Δ$) whose unit sphere is not covered by true faces. Further, we give an example of a polyhedral normed space such that the set of strongly exposed points of the unit ball is dense in the sphere, and some results and counterexamples concerning boundaries of polyhedral normed spaces. Our principal application of this material involves locally finite tilings of normed spaces, and we show that a normed space admits a locally finite tiling (by bounded convex bodies) if and only if it admits a (VI)-polyhedral norm with ($Δ$). In particular, such a tiling exists in every polyhedral Banach space with ($Δ$), which generalises a result of Fonf.

math.FA↗

arXiv2026

Characterization of regularity via variational stability of alternating projections sequences

The notion of regular pair $(A,B)$ for two nonempty closed convex subsets $A$ and~$B$ of a Hilbert space $\H$ was introduced by Borwein and Bauschke in 1993 to ensure convergence (in norm) of the alternating projection method to some point of the best approximation set. In 2022, De Bernardi and Miglierina showed that regularity of the pair $(A,B)$ guarantees, additionally, the convergence for any variational perturbation of the alternating projection method, provided the corresponding best approximation sets are bounded. In this work, we show that the converse assertion is also true. Moreover, this converse assertion holds without requiring the best approximation sets to be bounded.

math.OC↗

arXiv2026

Some remarks on almost locally uniformly rotund points

We study the relations between different notions of almost locally uniformly rotund points that appear in literature. We show that every non-reflexive Banach space admits an equivalent norm having a point in the corresponding unit sphere which is not almost locally uniformly rotund, and which is strongly exposed by all its supporting functionals. This result is in contrast with a characterization due to P. Bandyopadhyay, D. Huang, and B.-L. Lin from 2004. We also show that such a characterization remains true in reflexive Banach spaces.

math.FA↗

arXiv2026

Extending quasiconvex functions from uniformly convex sets

Let $X$ be a normed space of a finite dimension at least two, and $C\subsetneq X$ a closed convex set with nonempty interior. We are interested in extending Lipschitz quasiconvex functions on $C$ to quasiconvex functions on $X$. We show that, unlike what holds for convex functions, in general one cannot obtain Lipschitz extensions (except for trivial cases). If we require just uniformly continuous or continuous extensions, such extendability properties for $C$ are shown to be characterized by some geometric properties of $C$.

math.FA↗

arXiv2026

Packings in classical Banach spaces

We obtain several new results on the simultaneous packing and covering constant $γ(\mathcal{X})$ of a Banach space $\mathcal{X}$, and its lattice counterpart $γ^*(\mathcal{X})$. These constants measure how efficient a (lattice) packing by unit balls in $\mathcal{X}$ can be, the optimal case being that $γ(\mathcal{X})= 1$ and the worst that $γ(\mathcal{X})= 2$. Our first main result is that $γ(\mathcal{X})> 1$ whenever $B_\mathcal{X}$ admits a LUR point, which leads us to a negative answer to a question of Swanepoel. We also develop general methods to compute these constants for a large class of spaces. As a sample of our findings: (i) $γ^*(\mathcal{X})= 1$ when $\mathcal{X}$ is a separable octahedral Banach space, or $\mathcal{X}= \mathcal{C}(\mathcal{K})$, where $\mathcal{K}$ is zero-dimensional; (ii) $γ(\ell_p(κ)\oplus_r \mathcal{X})= γ^*(\ell_p(κ)\oplus_r \mathcal{X})= \frac{2}{2^{1/p}}$, whenever $\rm{dens}(\mathcal{X})< κ$ and $1\leq r\leq p< \infty$; (iii) $γ(L_p(μ))= γ^*(L_p(μ))= \frac{2}{2^{1/p}}$ for $1\leq p\leq 2$ and every measure $μ$; (iv) there exist reflexive (resp. octahedral) Banach spaces $\mathcal{X}$ with $γ(\mathcal{X})= 2$. We leave a large area open for further research and we indicate several possible directions.

math.FA↗

arXiv2025

Lattice tilings of Hilbert spaces

We construct a bounded and symmetric convex body in $\ell_2(Γ)$ (for certain cardinals $Γ$) whose translates yield a tiling of $\ell_2(Γ)$. This answers a question due to Fonf and Lindenstrauss. As a consequence, we obtain the first example of an infinite-dimensional reflexive Banach space that admits a tiling with balls (of radius $1$). Further, our tiling has the property of being point-countable and lattice (in the sense that the set of translates forms a group). The same construction performed in $\ell_1(Γ)$ yields a point-$2$-finite lattice tiling by balls of radius $1$ for $\ell_1(Γ)$, which compares to a celebrated construction due to Klee. We also prove that lattice tilings by balls are never disjoint and, more generally, each tile intersects as many tiles as the cardinality of the tiling. Finally, we prove some results concerning discrete subgroups of normed spaces. By a simplification of the proof of our main result, we prove that every infinite-dimensional normed space contains a subgroup that is $1$-separated and $(1+\varepsilon)$-dense, for every $\varepsilon>0$; further, the subgroup admits a set of generators of norm at most $2+\varepsilon$. This solves a problem due to Swanepoel and yields a simpler proof of a result of Dilworth, Odell, Schlumprecht, and Zsák. We also give an alternative elementary proof of Steprāns' result that discrete subgroups of normed spaces are free.

math.FA↗

arXiv2025

A note on smooth rotund norms which are not midpoint locally uniformly rotund

We prove that every separable infinite-dimensional Banach space admits a Gâteaux smooth and rotund norm which is not midpoint locally uniformly rotund. Moreover, by using a similar technique, we provide in every infinite-dimensional Banach space with separable dual a Fréchet smooth and weakly uniformly rotund norm which is not midpoint locally uniformly rotund. These two results provide a positive answer to some open problems by A. J. Guirao, V. Montesinos, and V. Zizler.

math.FA↗

arXiv2024

Rotund Gateaux smooth norms which are not locally uniformly rotund

We provide, in every infinite-dimensional separable Banach space, an average locally uniformly rotund (and hence rotund) Gateaux smooth renorming which is not locally uniformly rotund. This solves an open problem posed by A.J. Guirao, V. Montesinos, and V. Zizler.

math.FA↗

arXiv2023

Unit balls of Polyhedral Banach spaces with many extreme points

Let $E$ be a $(\mathrm{IV})$-polyhedral Banach space. We show that, for each $ε>0$, $E$ admits an $ε$-equivalent $\mathrm{(V)}$-polyhedral norm such that the corresponding closed unit ball is the closed convex hull of its extreme points. In particular, we obtain that every separable isomorphically polyhedral Banach space, for each $ε>0$, admits an $ε$-equivalent $(\mathrm{V})$-polyhedral norm such that the corresponding closed unit ball is the closed convex hull of its extreme points.

math.FA↗

arXiv2023

Stochastic Approximation in convex multiobjective optimization

Given a strictly convex multiobjective optimization problem with objective functions $f_1,\dots,f_N$, let us denote by $x_0$ its solution, obtained as minimum point of the linear scalarized problem, where the objective function is the convex combination of $f_1,\dots,f_N$ with weights $t_1,\ldots,t_N$. The main result of this paper gives an estimation of the averaged error that we make if we approximate $x_0$ with the minimum point of the convex combinations of $n$ functions, chosen among $f_1,\dots,f_N$, with probabilities $t_1,\ldots,t_N$, respectively, and weighted with the same coefficient $1/n$. In particular, we prove that the averaged error considered above converges to 0 as $n$ goes to $\infty$, uniformly w.r.t. the weights $t_1,\ldots,t_N$. The key tool in the proof of our stochastic approximation theorem is a geometrical property, called by us small diameter property, ensuring that the minimum point of a convex combination of the function $f_1,\dots,f_N$ continuously depends on the coefficients of the convex combination.

math.OC↗

arXiv2022

Extendability of continuous quasiconvex functions from subspaces

Let $Y$ be a subspace of a topological vector space $X$, and $A\subset X$ an open convex set that intersects $Y$. We say that the property $(QE)$ [property $(CE)$] holds if every continuous quasiconvex [continuous convex] function on $A\cap Y$ admits a continuous quasiconvex [continuous convex] extension defined on $A$. We study relations between $(QE)$ and $(CE)$ properties, proving that $(QE)$ always implies $(CE)$ and that, under suitable hypotheses (satisfied for example if $X$ is a normed space and $Y$ is a closed subspace of $X$), the two properties are equivalent. By combining the previous implications between $(QE)$ and $(CE)$ properties with known results about the property $(CE)$, we obtain some new positive results about the extension of quasiconvex continuous functions. In particular, we generalize the results contained in \cite{DEQEX} to the infinite-dimensional separable case. Moreover, we also immediately obtain existence of examples in which $(QE)$ does not hold.

math.FA↗

arXiv2020

A note on point-finite coverings by balls

We provide an elementary proof of a result by V.P.~Fonf and C.~Zanco on point-finite coverings of separable Hilbert spaces. Indeed, by using a variation of the famous argument introduced by J.~Lindenstrauss and R.R.~Phelps \cite{LP} to prove that the unit ball of a reflexive infinite-dimensional Banach space has uncountably many extreme points, we prove the following result: Let $X$ be an infinite-dimensional Hilbert space satisfying $\mathrm{dens}(X)<2^{\aleph_0}$, then $X$ does not admit point-finite coverings by open or closed balls, each of positive radius. In the second part of the paper, we follow the argument introduced by V.P. Fonf, M. Levin, and C. Zanco in \cite{FonfLevZan14} to prove that the previous result holds also in infinite-dimensional Banach spaces that are both uniformly rotund and uniformly smooth.

math.FA↗

arXiv2020

Star-finite coverings of Banach spaces

We study star-finite coverings of infinite-dimensional normed spaces. A family of sets is called star-finite if each of its members intersects only finitely many other members of the family. It follows by our results that an LUR or a uniformly Fréchet smooth infinite-dimensional Banach space does not admit star-finite coverings by closed balls. On the other hand, we present a quite involved construction proving existence of a star-finite covering of $c_0(Γ)$ by Fréchet smooth centrally symmetric bounded convex bodies. A similar but simpler construction shows that every normed space of countable dimension (and hence incomplete) has a star-finite covering by closed balls.

math.FA↗

arXiv2018

Stability of a convex feasibility problem

The 2-sets convex feasibility problem aims at finding a point in the intersection of two closed convex sets $A$ and $B$ in a normed space $X$. More generally, we can consider the problem of finding (if possible) two points in $A$ and $B$, respectively, which minimize the distance between the sets. In the present paper, we study some stability properties for the convex feasibility problem: we consider two sequences of sets, each of them converging, with respect to a suitable notion of set convergence, respectively, to $A$ and $B$. Under appropriate assumptions on the original problem, we ensure that the solutions of the perturbed problems converge to a solution of the original problem. We consider both the finite-dimensional and the infinite-dimensional case. Moreover, we provide several examples that point out the role of our assumptions in the obtained results.

math.OC↗