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

Łukasz Grabowski

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

ResearcherUnclaimed source record
math.GRmath.GTmath.MGComputational Complexitymath.COmath.DSmath.OAmath.RA

Catalog footprint

What is connected

7works
8topics
3close 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

7 published item(s)

preprint2016arXiv

Measurable circle squaring

Laczkovich proved that if bounded subsets $A$ and $B$ of $R^k$ have the same non-zero Lebesgue measure and the box dimension of the boundary of each set is less than $k$, then there is a partition of $A$ into finitely many parts that can be translated to form a partition of $B$. Here we show that it can be additionally required that each part is both Baire and Lebesgue measurable. As special cases, this gives measurable and translation-only versions of Tarski's circle squaring and Hilbert's third problem.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On computing homology gradients over finite fields

Recently the so-called Atiyah conjecture about l^2-Betti numbers has been disproved. The counterexamples were found using a specific method of computing the spectral measure of a matrix over a complex group ring. We show that in many situations the same method allows to compute homology gradients, i.e. generalizations of l^2-Betti numbers to fields of arbitrary characteristic. As an application we point out that (i) the homology gradient over any field of characteristic different than 2 can be an irrational number, and (ii) there exists a finite CW-complex with the property that the homology gradients of its universal cover taken over different fields have infinitely many different values.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Irrational l2-invariants arising from the lamplighter group

We show that the Novikov-Shubin invariant of an element of the integral group ring of the lamplighter group Z_2 \wr Z can be irrational. This disproves a conjecture of Lott and Lueck. Furthermore we show that every positive real number is equal to the Novikov-Shubin invariant of some element of the real group ring of Z_2 \wr Z. Finally we show that the l2-Betti number of a matrix over the integral group ring of the group Z_p \wr Z, p>1, can be irrational, and so the groups Z_p \wr Z become the simplest known groups which give rise to irrational l2-Betti numbers.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On Turing dynamical systems and the Atiyah problem

Main theorems of the article concern the problem of M. Atiyah on possible values of l^2-Betti numbers. It is shown that all non-negative real numbers are l^2-Betti numbers, and that "many" (for example all non-negative algebraic) real numbers are l^2-Betti numbers of simply connected manifolds with respect to a free cocompact action. Also an explicit example is constructed which leads to a simply connected manifold with a transcendental l^2-Betti number with respect to an action of the threefold direct product of the lamplighter group Z/2 wr Z. The main new idea is embedding Turing machines into integral group rings. The main tool developed generalizes known techniques of spectral computations for certain random walk operators to arbitrary operators in groupoid rings of discrete measured groupoids.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Vanishing of l^2-cohomology as a computational problem

We show that it is impossible to algorithmically decide if the l^2-cohomology of the universal cover of a finite CW complex is trivial, even if we only consider complexes whose fundamental group is equal to the elementary amenable group (Z_2 \wr Z)^3. A corollary of the proof is that there is no algorithm which decides if an element of the integral group ring of the group (\Z_2 \wr Z)^4 is a zero-divisor. On the other hand, we show, assuming some standard conjectures, that such an algorithm exists for the integral group ring of any group with a decidable word problem and a bound on the sizes of finite subgroups.

0 citations0 reviewsNo code linkedOpen access