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

Peter Mayr

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

ResearcherUnclaimed source record
hep-thmath.AGmath.RAComputational Complexitymath.GRmath.LOmath.CT

Catalog footprint

What is connected

13works
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

13 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
preprint2016arXiv

The subpower membership problem for semigroups

Fix a finite semigroup $S$ and let $a_1,\ldots,a_k, b$ be tuples in a direct power $S^n$. The subpower membership problem (SMP) asks whether $b$ can be generated by $a_1,\ldots,a_k$. If $S$ is a finite group, then there is a folklore algorithm that decides this problem in time polynomial in $nk$. For semigroups this problem always lies in PSPACE. We show that the SMP for a full transformation semigroup on 3 letters or more is actually PSPACE-complete, while on 2 letters it is in P. For commutative semigroups, we provide a dichotomy result: if a commutative semigroup $S$ embeds into a direct product of a Clifford semigroup and a nilpotent semigroup, then SMP(S) is in P; otherwise it is NP-complete.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Independence of algebras with edge term

Two varieties $V, W$ of the same type are independent if there is a binary term $t(x,y)$ such that $V \models t(x,y) \approx x$ and $W \models t(x,y) \approx y$. In this note, we give necessary and sufficient conditions for two finite algebras with a Mal'cev term (or, more generally, with an edge term) to generate independent varieties. In particular we show that the independence of finitely generated varieties with edge term can be decided by a polynomial time algorithm.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Finitely generated equational classes

Classes of algebraic structures that are defined by equational laws are called varieties or equational classes. A variety is finitely generated if it is defined by the laws that hold in some fixed finite algebra. We show that every subvariety of a finitely generated congruence permutable variety is finitely generated; in fact, we prove the more general result that if a finitely generated variety has an edge term, then all its subvarieties are finitely generated as well. This applies in particular to all varieties of groups, loops, quasigroups and their expansions (e.g., modules, rings, Lie algebras,...).

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Conifold Transitions in M-theory on Calabi-Yau Fourfolds with Background Fluxes

We consider topology changing transitions for M-theory compactifications on Calabi-Yau fourfolds with background G-flux. The local geometry of the transition is generically a genus g curve of conifold singularities, which engineers a 3d gauge theory with four supercharges, near the intersection of Coulomb and Higgs branches. We identify a set of canonical, minimal flux quanta which solve the local quantization condition on G for a given geometry, including new solutions in which the flux is neither of horizontal nor vertical type. A local analysis of the flux superpotential shows that the potential has flat directions for a subset of these fluxes and the topologically different phases can be dynamically connected. For special geometries and background configurations, the local transitions extend to extremal transitions between global fourfold compactifications with flux. By a circle decompactification the M-theory analysis identifies consistent flux configurations in four-dimensional F-theory compactifications and flat directions in the deformation space of branes with bundles.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Flat Connections in Open String Mirror Symmetry

We study a flat connection defined on the open-closed deformation space of open string mirror symmetry for type II compactifications on Calabi-Yau threefolds with D-branes. We use flatness and integrability conditions to define distinguished flat coordinates and the superpotential function at an arbitrary point in the open-closed deformation space. Integrability conditions are given for concrete deformation spaces with several closed and open string deformations. We study explicit examples for expansions around different limit points, including orbifold Gromov-Witten invariants, and brane configurations with several brane moduli. In particular, the latter case covers stacks of parallel branes with non-Abelian symmetry.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On the number of finite algebraic structures

We prove that every clone of operations on a finite set A, if it contains a Malcev operation, is finitely related -- i.e., identical with the clone of all operations respecting R for some finitary relation R over A. It follows that for a fixed finite set A, the set of all such Malcev clones is countable. This completes the solution of a problem that was first formulated in 1980, or earlier: how many Malcev clones can finite sets support? More generally, we prove that every finite algebra with few subpowers has a finitely related clone of term operations. Hence modulo term equivalence and a renaming of the elements, there are only countably many finite algebras with few subpowers, and thus only countably many finite algebras with a Malcev term.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Type II/F-theory Superpotentials with Several Deformations and N=1 Mirror Symmetry

We present a detailed study of D-brane superpotentials depending on several open and closed-string deformations. The relative cohomology group associated with the brane defines a generalized hypergeometric GKZ system which determines the off-shell superpotential and its analytic properties under deformation. Explicit expressions for the N=1 superpotential for families of type II/F-theory compactifications are obtained for a list of multi-parameter examples. Using the Hodge theoretic approach to open-string mirror symmetry, we obtain new predictions for integral disc invariants in the A model instanton expansion. We study the behavior of the brane vacua under extremal transitions between different Calabi-Yau spaces and observe that the web of Calabi-Yau vacua remains connected for a particular class of branes.

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
preprint2010arXiv

On N=1 4d Effective Couplings for F-theory and Heterotic Vacua

We show that certain superpotential and Kahler potential couplings of N=1 supersymmetric compactifications with branes or bundles can be computed from Hodge theory and mirror symmetry. This applies to F-theory on a Calabi-Yau four-fold and three-fold compactifications of type II and heterotic strings with branes. The heterotic case includes a class of bundles on elliptic manifolds constructed by Friedmann, Morgan and Witten. Mirror symmetry of the four-fold computes non-perturbative corrections to mirror symmetry on the three-folds, including D-instanton corrections. We also propose a physical interpretation for the observation by Warner that relates the deformation spaces of certain matrix factorizations and the periods of non-compact 4-folds that are ALE fibrations.

0 citations0 reviewsNo code linkedOpen access