BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Peter Mayr

Peter Mayr contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
hep-thmath.AGComputational Complexitymath.CTmath.LO

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

5 published item(s)

preprint2021arXiv

Algebras from Congruences

We present a functorial construction which, starting from a congruence $α$ of finite index in an algebra A, yields a new algebra C with the following properties: the congruence lattice of C is isomorphic to the interval of congruences between 0 and $α$ on A, this isomorphism preserves higher commutators and TCT types, and C inherits all idempotent Maltsev conditions from A. As applications of this construction, we first show that supernilpotence is decidable for congruences of finite algebras in varieties that omit type 1. Secondly, we prove that the subpower membership problem for finite algebras with a cube term can be effectively reduced to membership questions in subdirect products of subdirectly irreducible algebras with central monoliths. As a consequence, we obtain a polynomial time algorithm for the subpower membership problem for finite algebras with a cube term in which the monolith of every subdirectly irreducible section has a supernilpotent centralizer.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

BPS Indices, Modularity and Perturbations in Quantum K-theory

We study a perturbation family of N=2 3d gauge theories and its relation to quantum K-theory. A 3d version of the Intriligator-Vafa formula is given for the quantum K-theory ring of Grassmannians. The 3d BPS half-index of the gauge theory is connected to the theory of bilateral hypergeometric q-series, and to modular q-characters of a class of conformal field theories in a certain massless limit. Turning on 3d Wilson lines at torsion points leads to mock modular behavior. Perturbed correlators in the IR regime are computed by determining the UV-IR map in the presence of deformations.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Sandwiches for Promise Constraint Satisfaction

Promise Constraint Satisfaction Problems (PCSP) were proposed recently by Brakensiek and Guruswami arXiv:1704.01937 as a framework to study approximations for Constraint Satisfaction Problems (CSP). Informally a PCSP asks to distinguish between whether a given instance of a CSP has a solution or not even a specified relaxation can be satisfied. All currently known tractable PCSPs can be reduced in a natural way to tractable CSPs. Barto arXiv:1909.04878 presented an example of a PCSP over Boolean structures for which this reduction requires solving a CSP over an infinite structure. We give a first example of a PCSP over Boolean structures which reduces to a tractable CSP over a structure of size $3$ but not smaller. Further we investigate properties of PCSPs that reduce to systems of linear equations or to CSPs over structures with semilattice or majority polymorphism.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Quantum K-Theory of Calabi-Yau Manifolds

The disk partition function of certain 3d N=2 supersymmetric gauge theories computes a quantum K-theoretic ring for Kahler manifolds X. We study the 3d gauge theory/quantum K-theory correspondence for global and local Calabi-Yau manifolds with several Kahler moduli. We propose a multi-cover formula that relates the 3d BPS world-volume degeneracies computed by quantum K-theory to Gopakumar-Vafa invariants.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Hints for Off-Shell Mirror Symmetry in type II/F-theory Compactifications

We perform a Hodge theoretic study of parameter dependent families of D-branes on compact Calabi-Yau manifolds in type II and F-theory compactifcations. Starting from a geometric Gauss-Manin connection for B type branes we study the integrability and flatness conditions. The B model geometry defines an interesting ring structure of operators. For the mirror A model this indicates the existence of an open-string extension of the so-called A model connection, whereas the discovered ring structure should be part of the open-string A model quantum cohomology. We obtain predictions for genuine Ooguri-Vafa invariants for Lagrangian branes on the quintic in P4 that pass some non-trivial consistency checks. We discuss the lift of the brane compactifications to F-theory on Calabi-Yau 4-folds and the effective couplings in the effective supergravity action as determined by the N = 1 special geometry of the open-closed deformation space.

0 citations0 reviewsNo code linkedOpen access