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

Martino Lupini

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

ResearcherUnclaimed source record
math.LOmath.OAmath.COmath.GRmath.FAmath.DSmath.NT

Catalog footprint

What is connected

27works
7topics
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

27 published item(s)

preprint2022arXiv

Complexity classes of Polishable subgroups

In this paper we further develop the theory of canonical approximations of Polishable subgroups of Polish groups, building on previous work of Solecki and Farah--Solecki. In particular, we obtain a characterization of such canonical approximations in terms of their Borel complexity class. As an application we provide a complete list of all the possible Borel complexity classes of Polishable subgroups of Polish groups or, equivalently, of the ranges of continuous group homomorphisms between Polish groups. We also provide a complete list of all the possible Borel complexity classes of the ranges of: continuous group homomorphisms between non-Archimedean Polish groups; continuous linear maps between separable Fréchet spaces; continuous linear maps between separable Banach spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

On Rado conditions for nonlinear Diophantine equations

Building on previous work of Di Nasso and Luperi Baglini, we provide general necessary conditions for a Diophantine equation to be partition regular. These conditions are inspired by Rado's characterization of partition regular linear homogeneous equations. We conjecture that these conditions are also sufficient for partition regularity, at least for equations whose corresponding monovariate polynomial is linear. This would provide a natural generalization of Rado's theorem. We verify that such a conjecture hold for the equations $x^{2}-xy+ax+by+cz=0$ and $x^{2}-y^{2}+ax+by+cz=0$ for $a,b,c\in \mathbb{Z}$ such that $abc=0$ or $% a+b+c=0$. To deal with these equations, we establish new results concerning the partition regularity of polynomial configurations in $\mathbb{Z}$ such as $\left\{ x,x+y,xy+x+y\right\} $, building on the recent result on the partition regularity of $\left\{ x,x+y,xy\right\} $.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Dilation theory in finite dimensions and matrix convexity

We establish a finite-dimensional version of the Arveson-Stinespring dilation theorem for unital completely positive maps on operator systems. This result can be seen as a general principle to deduce finite-dimensional dilation theorems from their classical infinite-dimensional counterparts. In addition to providing unified proofs of known finite-dimensional dilation theorems, we establish finite-dimensional versions of Agler's theorem on rational dilation on an annulus, of Berger's dilation theorem for operators of numerical radius at most $1$, and of the Putinar-Sandberg numerical range dilation theorem. As a key tool, we prove versions of Carathéodory's and of Minkowski's theorem for matrix convex sets.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The Ramsey property for Banach spaces and Choquet simplices

We show that the Gurarij space $\mathbb{G}$ has extremely amenable automorphism group. This answers a question of Melleray and Tsankov. We also compute the universal minimal flow of the automorphism group of the Poulsen simplex $\mathbb{P}$ and we prove that it consists of the canonical action on $\mathbb{P}$ itself. This answers a question of Conley and Törnquist. We show that the pointwise stabilizer of any closed proper face of $\mathbb{P}$ is extremely amenable. Similarly, the pointwise stabilizer of any closed proper biface of the unit ball of the dual of the Gurarij space (the Lusky simplex) is extremely amenable. These results are obtained via several Kechris-Pestov-Todorcevic correspondences, by establishing the approximate Ramsey property for several classes of finite-dimensional Banach spaces and function systems and their versions with distinguished contractions. This is the first direct application of the Kechris-Pestov-Todorcevic correspondence in the setting of metric structures. The fundamental combinatorial principle that underpins the proofs is the Dual Ramsey Theorem of Graham and Rothschild.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Boundary representations of operator spaces, and compact rectangular matrix convex sets

We initiate the study of matrix convexity for operator spaces. We define the notion of compact rectangular matrix convex set, and prove the natural analogs of the Krein-Milman and the bipolar theorems in this context. We deduce a canonical correspondence between compact rectangular matrix convex sets and operator spaces. We also introduce the notion of boundary representation for an operator space, and prove the natural analog of Arveson's conjecture: every operator space is completely normed by its boundary representations. This yields a canonical construction of the triple envelope of an operator space.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

The classification problem for operator algebraic varieties and their multiplier algebras

We study from the perspective of Borel complexity theory the classification problem for multiplier algebras associated with operator algebraic varieties. These algebras are precisely the multiplier algebras of irreducible complete Nevanlinna-Pick spaces. We prove that these algebras are not classifiable up to algebraic isomorphism using countable structures as invariants. In order to prove such a result, we develop the theory of turbulence for Polish groupoids, which generalizes Hjorth's turbulence theory for Polish group actions. We also prove that the classification problem for multiplier algebras associated with varieties in a finite dimensional ball up to isometric isomorphism has maximum complexity among the essentially countable classification problems. In particular, this shows that Blaschke sequences are not smoothly classifiable up to conformal equivalence via automorphisms of the disc.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Actions of trees on semigroups, and an infinitary Gowers--Hales--Jewett Ramsey theorem

We introduce the notion of (Ramsey) action of a tree on a (filtered) semigroup. We then prove in this setting a general result providing a common generalization of the infinitary Gowers Ramsey theorem for multiple tetris operations, the infinitary Hales--Jewett theorems (for both located and nonlocated words), and the Farah--Hindman--McLeod Ramsey theorem for layered actions on partial semigroups. We also establish a polynomial version of our main result, recovering the polynomial Milliken--Taylor theorem of Bergelson--Hindman--Williams as a particular case. We present applications of our Ramsey-theoretic results to the structure of delta sets in amenable groups.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Fraïssé limits in functional analysis

We provide a unified approach to Fra\"ıssé limits in functional analysis, including the Gurarij space, the Poulsen simplex, and their noncommutative analogs. We obtain in this general framework many known and new results about the Gurarij space and the Poulsen simplex, and at the same time establish their noncommutative analogs. Particularly, we construct noncommutative analogs of universal operators in the sense of Rota.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

A monad measure space for logarithmic density

We provide a framework for proofs of structural theorems about sets with positive Banach logarithmic density. For example, we prove that if $A\subseteq \mathbb{N}$ has positive Banach logarithmic density, then $A$ contains an approximate geometric progression of any length. We also prove that if $A,B\subseteq \mathbb{N}$ have positive Banach logarithmic density, then there are arbitrarily long intervals whose gaps on $A\cdot B$ are multiplicatively bounded, a multiplicative version Jin's sumset theorem. The main technical tool is the use of a quotient of a Loeb measure space with respect to a multiplicative cut.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

High density piecewise syndeticity of product sets in amenable groups

M. Beiglböck, V. Bergelson, and A. Fish proved that if $G$ is a countable amenable group and $A$ and $B$ are subsets of $G$ with positive Banach density, then the product set $AB$ is piecewise syndetic. This means that there is a finite subset $E$ of $G$ such that $EAB$ is thick, that is, $EAB$ contains translates of any finite subset of $G$. When $G=\mathbb{Z}$, this was first proven by R. Jin. We prove a quantitative version of the aforementioned result by providing a lower bound on the density (with respect to a Følner sequence) of the set of witnesses to the thickness of $% EAB$. When $G=\mathbb{Z}^d$, this result was first proven by the current set of authors using completely different techniques.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Introduction to Sofic and Hyperlinear groups and Connes' embedding conjecture

Sofic and hyperlinear groups are the countable discrete groups that can be approximated in a suitable sense by finite symmetric groups and groups of unitary matrices. These notions turned out to be very deep and fruitful, and stimulated in the last 15 years an impressive amount of research touching several seemingly distant areas of mathematics including geometric group theory, operator algebras, dynamical systems, graph theory, and more recently even quantum information theory. Several longstanding conjectures that are still open for arbitrary groups were settled in the case of sofic or hyperlinear groups. These achievements aroused the interest of an increasing number of researchers into some fundamental questions about the nature of these approximation properties. Many of such problems are to this day still open such as, outstandingly: Is there any countable discrete group that is not sofic or hyperlinear? A similar pattern can be found in the study of II_1 factors. In this case the famous conjecture due to Connes (commonly known as the Connes embedding conjecture) that any II_1 factor can be approximated in a suitable sense by matrix algebras inspired several breakthroughs in the understanding of II_1 factors, and stands out today as one of the major open problems in the field. The aim of these notes is to present in a uniform and accessible way some cornerstone results in the study of sofic and hyperlinear groups and the Connes embedding conjecture. The presentation is nonetheless self contained and accessible to any student or researcher with a graduate level mathematical background. An appendix by V. Pestov provides a pedagogically new introduction to the concepts of ultrafilters, ultralimits, and ultraproducts for those mathematicians who are not familiar with them, and aiming to make these concepts appear very natural.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Model-theoretic aspects of the Gurarij operator system

We establish some of the basic model theoretic facts about the Gurarij operator system $\mathbb{GS}$ recently constructed by the second-named author. In particular, we show: (1) $\mathbb{GS}$ is the unique separable 1-exact existentially closed operator system; (2) $\mathbb{GS}$ is the unique separable nuclear model of its theory; (3) every embedding of $\mathbb{GS}$ into its ultrapower is elementary; (4) $\mathbb{GS}$ is the prime model of its theory; and (5) $\mathbb{GS}$ does not have quantifier-elimination, whence the theory of operator systems does not have a model companion. We also show that, for any $q\in \mathbb{N}$, the theories of $M_q$-spaces and $M_q$-systems do have a model companion, namely the Fraïssé limit of the class of finite-dimensional $M_q$-spaces and $M_q$-systems respectively; moreover we show that the model companion is separably categorical. We conclude the paper by showing that no C$^*$ algebra can be existentially closed as an operator system.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Nonclassifiability of UHF $L^p$-operator algebras

We prove that simple, separable, monotracial UHF $L^{p}$-operator algebras are not classifiable up to (complete) isomorphism using countable structures, such as K-theoretic data, as invariants. The same assertion holds even if one only considers UHF $L^{p}$-operator algebras of tensor product type obtained from a diagonal system of similarities. For $p=2$, it follows that separable nonselfadjoint UHF operator algebras are not classifiable by countable structures up to (complete) isomorphism. Our results, which answer a question of N. Christopher Phillips, rely on Borel complexity theory, and particularly Hjorth's theory of turbulence.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Operator space and operator system analogs of Kirchberg's nuclear embedding theorem

The Gurarij operator space $\mathbb{NG}$ introduced by Oikhberg is the unique separable $1$-exact operator space that is approximately injective in the category of $1$-exact operator spaces and completely isometric linear maps. We prove that a separable operator space $X$ is nuclear if and only if there exist a linear complete isometry $φ:X\rightarrow \mathbb{NG}$ and a completely contractive projection from $\mathbb{NG}$ onto the range of $φ$. This can be seen as the operator space analog of Kirchberg's nuclear embedding theorem. We also establish the natural operator system analog of Kirchberg's nuclear embedding theorem involving the Gurarij operator system $\mathbb{GS}$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Strongly productive ultrafilters on semigroups

We prove that if S is a commutative semigroup with well founded universal semilattice or a solvable inverse semigroup with well founded semilattice of idempotents, then every strongly productive ultrafilter on S is idempotent. Moreover we show that any very strongly productive ultrafilter on the free semigroup with countably many generators is sparse, answering a question of Hindman and Legette Jones.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The classification problem for finitely generated operator systems and spaces

The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for arbitrary separable operator systems and spaces are intractable. On the other hand we show that the finitely generated operator systems and spaces are completely classifiable (or smooth); in fact a finitely generated operator system is classified by its complete theory when regarded as a structure in continuous logic. In the particular case of operator systems generated by a single unitary, a complete invariant is given by the spectrum of the unitary up to a rigid motion of the circle, provided that the spectrum contains at least 5 points. As a consequence of these results we show that the relation on compact subsets of $\mathbb{C}^{n}$, given by homeomorphism via a degree 1 polynomial, is smooth.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On a sumset conjecture of Erdős

Erdős conjectured that for any set $A\subseteq \mathbb{N}$ with positive lower asymptotic density, there are infinite sets $B,C\subseteq \mathbb{N}$ such that $B+C\subseteq A$. We verify Erdős' conjecture in the case that $A$ has Banach density exceeding $\frac{1}{2}$. As a consequence, we prove that, for $A\subseteq \mathbb{N}$ with positive Banach density (a much weaker assumption than positive lower density), we can find infinite $B,C\subseteq \mathbb{N}$ such that $B+C$ is contained in the union of $A$ and a translate of $A$. Both of the aforementioned results are generalized to arbitrary countable amenable groups. We also provide a positive solution to Erdős' conjecture for subsets of the natural numbers that are pseudorandom.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Nonstandard Analysis and the sumset phenomenon in arbitrary amenable groups

Beiglboeck, Bergelson and Fish proved that if subsets A,B of a countable discrete amenable group G have positive Banach densities a and b respectively, then the product set AB is piecewise syndetic, i.e. there exists k such that the union of k-many left translates of AB is thick. Using nonstandard analysis we give a shorter alternative proof of this result that does not require G to be countable, and moreover yields the explicit bound that k is not greater than 1/ab. We also prove with similar methods that if $\{A_i\}$ are finitely many subsets of G having positive Banach densities $a_i$ and G is countable, then there exists a subset B whose Banach density is at least the product of the densities $a_i$ and such that the product $BB^{-1}$ is a subset of the intersection of the product sets $A_i A_i^{-1}$. In particular, the latter set is piecewise Bohr.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Unitary equivalence of automorphisms of separable C*-algebras

We prove that the automorphisms of any separable C*-algebra that does not have continuous trace are not classifiable by countable structures up to unitary equivalence. This implies a dichotomy for the Borel complexity of the relation of unitary equivalence of automorphisms of a separable unital C*-algebra: Such relation is either smooth or not even classifiable by countable structures.

0 citations0 reviewsNo code linkedOpen access