Source author record

Bernardo González Merino

Bernardo González Merino appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

17works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2022arXiv

Large signed subset sums

We study the following question: for given $d\geq 2$, $n\geq d$ and $k \leq n$, what is the largest value $c(d,n,k)$ such that from any set of $n$ unit vectors in $\mathbb{R}^d$, we may select $k$ vectors with corresponding signs $\pm 1$ so that their signed sum has norm at least $c(d,n,k)$? The problem is dual to classical vector sum minimization and balancing questions, which have been studied for over a century. We give asymptotically sharp estimates for $c(d,n,k)$ in the general case. In several special cases, we provide stronger estimates: the quantity $c(d,n,n)$ corresponds to the $\ell_p$-polarization problem, while determining $c(d, n, 2)$ is equivalent to estimating the coherence of a vector system, which is a special case of $p$-frame energies. Two new proofs are presented for the classical Welch bound when $n = d+1$. For large values of $n$, volumetric estimates are applied for obtaining fine estimates on $c(d,n,2)$. Studying the planar case, sharp bounds on $c(2, n, k)$ are given. Finally, we determine the exact value of $c(d,d+1,d+1)$ under some extra assumptions.

preprint2022arXiv

Relating Symmetrizations of Convex Bodies: Once More the Golden Ratio

We show that for any Minkowski centered planar convex compact set $C$ the Harmonic mean of $C$ and $-C$ can be optimally contained in the arithmetic mean of the same sets if and only if the Minkowski asymmetry of $C$ is at most the golden ratio $(1+\sqrt{5})/2 \approx 1.618$. Moreover, the most asymmetric such set that is (up to a linear transformation) a special pentagon, which we call the golden house.

preprint2021arXiv

Estimating the average of functions with convexity properties by means of a new center

In this article we show the following result: if $C$ is an $n$-dimensional convex and compact subset, $f:C\rightarrow[0,\infty)$ is concave, and $ϕ:[0,\infty)\rightarrow[0,\infty)$ is a convex function with $ϕ(0)=0$, we then characterize the class of sets and concave functions that attain the supremum \[ \sup_{C,f}\int_Cϕ(f(x))dx, \] where the supremum ranges over all sets $C$ with $n$-dimensional volume $|C|=c$ and the additional condition that $f(x_{C,f})=k$ for some point $x_{C,f}\in C$ that we introduce in the article, for two non-negative constants $c,k>0$. As a consequence, we extend some results of Milman and Pajor in [MP] and some in [Thm. 1.2, GoMe]. Besides, we also obtain some new estimates on the volume of particular sections of a convex set $K$ passing through a new point of $K$.

preprint2020arXiv

On a generalization of the Hermite-Hadamard inequality and applications in convex geometry

In this paper we show the following result: if C is an n-dimensional 0-symmetric convex compact set, $f:C\rightarrow[0,1)$ is concave, and $g:[0,1)\rightarrow[0,1)$ is not identically zero, convex, with g(0)=0, then \[ \frac{1}{|C|}\int_C g(f(x))dx \leq \frac12 \int_{-1}^1g(f(0)(1+t))dt, \] where |C| denotes the volume of C. If g? is strictly convex, equality holds if and only if f is affine, C is a generalized symmetric cylinder and f becomes 0 at one of the basis of C. We exploit this inequality to answer a question of Francisco Santos on estimating the volume of a convex set by means of the volume of a central section of it. Second, we also derive a corresponding estimate for log-concave functions.

preprint2020arXiv

On the reverse isodiametric problem and Dvoretzky-Rogers-type volume bounds

The isodiametric inequality states that the Euclidean ball maximizes the volume among all convex bodies of a given diameter. We are motivated by a conjecture of Makai Jr.~on the reverse question: Every convex body has a linear image whose isodiametric quotient is at least as large as that of a regular simplex. We relate this reverse isodiametric problem to minimal volume enclosing ellipsoids and to the Dvoretzky-Rogers-type problem of finding large volume simplices in any decomposition of the identity matrix. As a result, we solve the reverse isodiametric problem for $o$-symmetric convex bodies and obtain a strong asymptotic bound in the general case. Using the Cauchy-Binet formula for minors of a product of matrices, we obtain Dvoretzky-Rogers-type volume bounds which are of independent interest.

preprint2016arXiv

A generalization of the discrete version of Minkowski's fundamental theorem

One of the most fruitful results from Minkowski's geometric viewpoint on number theory is his so called 1st Fundamental Theorem. It provides an optimal upper bound for the volume of an o-symmetric convex body whose only interior lattice point is the origin. Minkowski also obtained a discrete analog by proving optimal upper bounds on the number of lattice points in the boundary of such convex bodies. Whereas the volume inequality has been generalized to any number of interior lattice points already by van der Corput in the 1930s, a corresponding result for the discrete case remained to be proven. Our main contribution is a corresponding optimal relation between the number of boundary and interior lattice points of an o-symmetric convex body. The proof relies on a congruence argument and a difference set estimate from additive combinatorics.

preprint2016arXiv

Is a complete, reduced set necessarily of constant width?

Is it true that a convex body $K$ being complete and reduced with respect to some gauge body $C$ is necessarily of constant width, that is, satisfies $K-K=ρ(C-C)$ for some $ρ>0$? We prove this implication for several cases including the following: if $K$ is a simplex and or if $K$ possesses a smooth extreme point, then the implication holds. Moreover, we derive several new results on perfect norms.

preprint2016arXiv

Minkowski concentricity and complete simplices

This paper considers the radii functionals (circumradius, inradius, and diameter) as well as the Minkowski asymmetry for general (possibly non-symmetric) gauge bodies. A generalization of the concentricity inequality (which states that the sum of the inradius and circumradius is not greater than the diameter in general Minkowski spaces) for non-symmetric gauge bodies is derived and a strong connection between this new inequality, extremal sets of the generalized Bohnenblust inequality, and completeness of simplices is revealed.

preprint2016arXiv

On densities of lattice arrangements intersecting every i-dimensional affine subspace

In 1978, Makai Jr. established a remarkable connection between the volume-product of a convex body, its maximal lattice packing density and the minimal density of a lattice arrangement of its polar body intersecting every affine hyperplane. Consequently, he formulated a conjecture that can be seen as a dual analog of Minkowski's fundamental theorem, and which is strongly linked to the well-known Mahler-conjecture. Based on the covering minima of Kannan & Lovász and a problem posed by Fejes Tóth, we arrange Makai Jr.'s conjecture into a wider context and investigate densities of lattice arrangements of convex bodies intersecting every i-dimensional affine subspace. Then it becomes natural also to formulate and study a dual analog to Minkowski's second fundamental theorem. As our main results, we derive meaningful asymptotic lower bounds for the densities of such arrangements, and furthermore, we solve the problems exactly for the special, yet important, class of unconditional convex bodies.

preprint2016arXiv

Rogers-Shephard inequality for log-concave functions

In this paper we prove different functional inequalities extending the classical Rogers-Shephard inequalities for convex bodies. The original inequalities provide an optimal relation between the volume of a convex body and the volume of several symmetrizations of the body, such as, its difference body. We characterize the equality cases in all these inequalities. Our method is based on the extension of the notion of a convolution body of two convex sets to any pair of log-concave functions and the study of some geometrical properties of these new sets.

preprint2016arXiv

Tight bounds on discrete quantitative Helly numbers

Given a subset S of R^n, let c(S,k) be the smallest number t such that whenever finitely many convex sets have exactly k common points in S, there exist at most t of these sets that already have exactly k common points in S. For S = Z^n, this number was introduced by Aliev et al. [2014] who gave an explicit bound showing that c(Z^n,k) = O(k) holds for every fixed n. Recently, Chestnut et al. [2015] improved this to c(Z^n,k) = O(k (log log k)(log k)^{-1/3} ) and provided the lower bound c(Z^n,k) = Omega(k^{(n-1)/(n+1)}). We provide a combinatorial description of c(S,k) in terms of polytopes with vertices in S and use it to improve the previously known bounds as follows: We strengthen the bound of Aliev et al. [2014] by a constant factor and extend it to general discrete sets S. We close the gap for Z^n by showing that c(Z^n,k) = Theta(k^{(n-1)/(n+1)}) holds for every fixed n. Finally, we determine the exact values of c(Z^n,k) for all k <= 4.

preprint2015arXiv

A pseudometric invariant under similarities in the hyperspace of non-degenerated compact convex sets of $\mathbb R^n$

In this work we define a new pseudometric in $\mathcal K^n_*$, the hyperspace of all non-degenerated compact convex sets of $\mathbb R^n$, which is invariant under similarities. We will prove that the quotient space generated by this pseudometric (which is the orbit space generated by the natural action of the group of similarities on $\mathcal K^n_*$) is homeomorphic to the Banach-Mazur compactum $BM(n)$, while $\mathcal K^n_*$ is homeomorphic to the topological product $Q\times\mathbb R^{n+1}$, where $Q$ stands for the Hilbert cube. Finally we will show some consequences in convex geometry, namely, we measure how much two convex bodies differ (by means of our new pseudometric) in terms of some classical functionals.

preprint2015arXiv

John's ellipsoid and the integral ratio of a log-concave function

We extend the notion of John's ellipsoid to the setting of integrable log-concave functions. This will allow us to define the integral ratio of a log-concave function, which will extend the notion of volume ratio, and we will find the log-concave function maximizing the integral ratio. A reverse functional affine isoperimetric inequality will be given, written in terms of this integral ratio. This can be viewed as a stability version of the functional affine isoperimetric inequality.

preprint2015arXiv

The asymmetry of complete and constant width bodies in general normed spaces and the Jung constant

In this paper we state a one-to-one connection between the maximal ratio of the circumradius and the diameter of a body (the Jung constant) in an arbitrary Minkowski space and the maximal Minkowski asymmetry of the complete bodies within that space. This allows to generalize and unify recent results on complete bodies and to derive a necessary condition on the unit ball of the space, assuming a given body to be complete. Finally, we state several corollaries, i.e. concerning the Helly dimension or the Banach-Mazur distance.