BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Andrea Pinamonti

Andrea Pinamonti appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.APmath.FAmath.MGmath.CAmath.OC

Catalog footprint

What is connected

23works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

23 published item(s)

preprint2026arXiv

On low-dimensional uniform rectifiability in Heisenberg groups

Refining an earlier result due to Hahlomaa, we provide a new Carleson-type condition for $k$-regular sets in the Heisenberg group $\mathbb{H}^n$ to have big pieces of Lipschitz images of subsets of $\mathbb{R}^k$ for $1\leq k\leq n$. Our approach passes via the corona decompositions by normed spaces, recently introduced by Bate, Hyde, and Schul. Along the way, we prove implications between several notions of quantitative rectifiability for low-dimensional sets in $\mathbb{H}^n$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A C^k Lusin Approximation Theorem For Real-Valued Functions on Carnot Groups

We study the Lusin approximation problem for real-valued measurable functions on Carnot groups. We prove that k-approximate differentiability almost everywhere is equivalent to admitting a Lusin approximation by $C^{k}_{\mathbb{G}}$ maps. We also prove that existence of an approximate (k-1)-Taylor polynomial almost everywhere is equivalent to admitting a Lusin approximation by maps in a suitable Lipschitz function space.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A characterization of BV and Sobolev functions via nonlocal functionals in metric spaces

We study a characterization of BV and Sobolev functions via nonlocal functionals in metric spaces equipped with a doubling measure and supporting a Poincaré inequality. Compared with previous works, we consider more general functionals. We also give a counterexample in the case $p=1$ demonstrating that unlike in Euclidean spaces, in metric measure spaces the limit of the nonlocal functions is only comparable, not necessarily equal, to the variation measure $\| Df\|(Ω)$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Maximal Directional Derivatives in Laakso Space

We investigate the connection between maximal directional derivatives and differentiability for Lipschitz functions defined on Laakso space. We show that maximality of a directional derivative for a Lipschitz function implies differentiability only for a $σ$-porous set of points. On the other hand, the distance to a fixed point is differentiable everywhere except for a $σ$-porous set of points. This behavior is completely different to the previously studied settings of Euclidean spaces and Carnot groups.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The Aronsson Equation for Absolute Minimizers of Supremal Functionals in Carnot-Carathéodory Spaces

Given a $C^2$ family of vector fields $X_1,...,X_m$ which induces a continuous Carnot-Carathéodory distance, we show that any absolute minimizer of a supremal functional defined by a $C^2$ quasiconvex Hamiltonian $f(x, z, p)$, allowing $z$-variable dependence, is a viscosity solution to the Aronsson equation $-\langle X(f(x, u(x), Xu(x))), D_p f(x, u(x), Xu(x))\rangle = 0.$

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A $C^m$ Lusin Approximation Theorem for Horizontal Curves in the Heisenberg Group

We prove a $C^m$ Lusin approximation theorem for horizontal curves in the Heisenberg group. This states that every absolutely continuous horizontal curve whose horizontal velocity is $m-1$ times $L^1$ differentiable almost everywhere coincides with a $C^m$ horizontal curve except on a set of small measure. Conversely, we show that the result no longer holds if $L^1$ differentiability is replaced by approximate differentiability. This shows our result is optimal and highlights differences between the Heisenberg and Euclidean settings.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Existence and multiplicity results for Kirchhoff type problems on a double phase setting

In this paper, we study two classes of Kirchhoff type problems set on a double phase framework. That is, the functional space where finding solutions coincides with the Musielak-Orlicz-Sobolev space $W^{1,\mathcal H}_0(Ω)$, with modular function $\mathcal H$ related to the so called double phase operator. Via a variational approach, we provide existence and multiplicity results.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Multi-marginal optimal transport on the Heisenberg group

We consider the multi-marginal optimal transport of aligning several compactly supported marginals on the Heisenberg group to minimize the total cost, which we take to be the sum of the squared Carnot-Carathéodory distances from the marginal points to their barycenter. Under certain technical hypotheses, we prove existence and uniqueness of optimal maps. We also point out several related open questions.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Planar incidences and geometric inequalities in the Heisenberg group

We prove that if $P,\mathcal{L}$ are finite sets of $δ$-separated points and lines in $\mathbb{R}^{2}$, the number of $δ$-incidences between $P$ and $\mathcal{L}$ is no larger than a constant times $$|P|^{2/3}|\mathcal{L}|^{2/3} \cdot δ^{-1/3}.$$ We apply the bound to obtain the following variant of the Loomis-Whitney inequality in the Heisenberg group: $$ |K| \lesssim |π_{x}(K)|^{2/3} \cdot |π_{y}(K)|^{2/3}, \qquad K \subset \mathbb{H}. $$ Here $π_{x}$ and $π_{y}$ are the vertical projections to the $xt$- and $yt$-planes, respectively, and $|\cdot|$ refers to natural Haar measure on either $\mathbb{H}$, or one of the planes. Finally, as a corollary of the Loomis-Whitney inequality, we deduce that $$ \|f\|_{4/3} \lesssim \sqrt{\|Xf\| \|Yf\| }, \qquad f \in BV(\mathbb{H}), $$ where $X,Y$ are the standard horizontal vector fields in $\mathbb{H}$. This is a sharper version of the classical geometric Sobolev inequality $\|f\|_{4/3} \lesssim \|\nabla_{\mathbb{H}}f\|$ for $f \in BV(\mathbb{H})$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Universal differentiability sets and maximal directional derivatives in Carnot groups

We show that every Carnot group G of step 2 admits a Hausdorff dimension one `universal differentiability set' N such that every real-valued Lipschitz map on G is Pansu differentiable at some point of N. This relies on the fact that existence of a maximal directional derivative of f at a point x implies Pansu differentiability at the same point x. We show that such an implication holds in Carnot groups of step 2 but fails in the Engel group which has step 3.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A Measure Zero Universal Differentiability Set in the Heisenberg Group

We show that the Heisenberg group $\mathbb{H}^n$ contains a measure zero set $N$ such that every Lipschitz function $f\colon \mathbb{H}^n \to \mathbb{R}$ is Pansu differentiable at a point of $N$. The proof adapts the construction of small 'universal differentiability sets' in the Euclidean setting: we find a point of $N$ and a horizontal direction where the directional derivative in horizontal directions is almost locally maximal, then deduce Pansu differentiability at such a point.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Porosity, Differentiability and Pansu's Theorem

We use porosity to study differentiability of Lipschitz maps on Carnot groups. Our first result states that directional derivatives of a Lipschitz function act linearly outside a $σ$-porous set. The second result states that irregular points of a Lipschitz function form a $σ$-porous set. We use these observations to give a new proof of Pansu's theorem for Lipschitz maps from a general Carnot group to a Euclidean space.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Tensorization of Cheeger energies, the space $H^{1,1}$ and the area formula for graphs

First we study in detail the tensorization properties of weak gradients in metric measure spaces $(X,d,m)$. Then, we compare potentially different notions of Sobolev space $H^{1,1}(X,d,m)$ and of weak gradient with exponent 1. Eventually we apply these results to compare the area functional $\int\sqrt{1+|\nabla f|_w^2}\,dm$ with the perimeter of the subgraph of $f$, in the same spirit as the classical theory.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A geometric inequality and a symmetry result for elliptic systems involving the fractional Laplacian

We study the symmetry properties for solutions of elliptic systems of the type (-Δ)^{s_1} u = F_1(u, v), (-Δ)^{s_2} v= F_2(u, v), where $F\in C^{1,1}_{loc}(\R^2)$, $s_1,s_2\in (0,1)$ and the operator $(-Δ)^s$ is the so-called fractional Laplacian. We obtain some Poincaré-type formulas for the $α$-harmonic extension in the half-space, that we use to prove a symmetry result both for stable and for monotone solutions.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

BV Minimizers of the area functional in the Heisenberg group under the bounded slope condition

We consider the area functional for t-graphs in the sub-Riemannian Heisenberg group and study minimizers of the associated Dirichlet problem. We prove that, under a bounded slope condition on the boundary datum, there exists a unique minimizer and that this minimizer is Lipschitz continuous. We also provide an example showing that, in the first Heisenberg group, Lipschitz regularity is sharp even under the bounded slope condition.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Symmetry results for stable and monotone solutions to fibered systems of PDEs

We study the symmetry properties for solutions of elliptic systems of the type {ll}-\dive(a_1(x,|\nabla u^1|(X))\nabla u^1(X))=F_{1}(x, u^1(X),..., u^n(X)), ... -\dive(a_n(x,|\nabla u^n|(X))\nabla u^n(X))=F_{n}(x, u^1(X),..., u^n(X)), where $x\in \R^m$ with $1\leq m< N$, $X=(x,y)\in \R^m\times \R^{N-m}$, and $F_{1},..., F_{n}$ are the derivatives with respect to $ξ^1,..., ξ^n$ of some $F=F(x,ξ^1,..., ξ^n)$ such that for any $i=1,..., n$ and any fixed $(x,ξ^1,..., ξ^{i-1},ξ^{i+1},..., ξ^n)\in \R^m\times \R^{n-1}$ the map $ξ^i\to F(x,ξ^1,...,ξ^i,..., ξ^n)$ belongs to $C^2(\R)$. We obtain a Poincaré-type formula for the solutions of the system and we use it to prove a symmetry result both for stable and for monotone solutions.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A Lewy-Stampacchia Estimate for quasilinear variational inequalities in the Heisenberg group

We consider an obstacle problem in the Heisenberg group framework, and we prove that the operator on the obstacle bounds pointwise the operator on the solution. More explicitly, if $ε\ge0$ and $\bar u_ε$ minimizes the functional $$ \int_Ω(ε+|\nabla_{\H^n}u|^2)^{p/2}$$ among the functions with prescribed Dirichlet boundary condition that stay below a smooth obstacle $ψ$, then 0 \le ÷_{\H^n}\, \Big((ε+|\nabla_{\H^n}\bar u_ε|^2)^{(p/2)-1} \nabla_{\H^n}\bar u_ε\Big) \qquad \le (÷_{\H^n}\, \Big((ε+|\nabla_{\H^n}ψ|^2)^{(p/2)-1} \nabla_{\H^n}ψ\Big))^+.

0 citations0 reviewsNo code linkedOpen access