Source author record

Michael Kiermaier

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

32works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

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

32 published item(s)

preprint2022arXiv

Linear codes associated with the Desarguesian ovoids in $Q^+(7,q)$

The Desarguesian ovoids in the orthogonal polar space $Q^+(7,q)$ with $q$ even have first been introduced by Kantor by examining the $8$-dimensional absolutely irreducible modular representations of $\text{PGL}(2,q^3)$. We investigate this module for all prime power values of $q$. The shortest $\text{PGL}(2,q^3)$-orbit $O$ gives the Desarguesian ovoid in $Q^+(7,q)$ for even $q$ and it is known to give a complete partial ovoid of the symplectic polar space $W(7,q)$ for odd~$q$. We determine the hyperplane sections of $O$. As a corollary, we obtain the parameters $[q^3+1,8,q^3-q^2-q]_q$ and the weight distribution of the associated $\mathbb{F}_q$-linear code $C_O$ and the parameters $[q^3+1,q^3-7,5]_q$ of the dual code $C_O^\perp$ for $q \ge 4$. We also show that both codes $C_O$ and $C_O^\perp$ are length-optimal for all prime power values of $q$.

preprint2020arXiv

On the lengths of divisible codes

In this article, the effective lengths of all $q^r$-divisible linear codes over $\mathbb{F}_q$ with a non-negative integer $r$ are determined. For that purpose, the $S_q(r)$-adic expansion of an integer $n$ is introduced. It is shown that there exists a $q^r$-divisible $\mathbb{F}_q$-linear code of effective length $n$ if and only if the leading coefficient of the $S_q(r)$-adic expansion of $n$ is non-negative. Furthermore, the maximum weight of a $q^r$-divisible code of effective length $n$ is at most $σq^r$, where $σ$ denotes the cross-sum of the $S_q(r)$-adic expansion of $n$. This result has applications in Galois geometries. A recent theorem of N{ă}stase and Sissokho on the maximum size of a partial spread follows as a corollary. Furthermore, we get an improvement of the Johnson bound for constant dimension subspace codes.

preprint2015arXiv

Double and bordered \$α\$-circulant self-dual codes over finite commutative chain rings

In this paper we investigate codes over finite commutative rings R, whose generator matrices are built from \$α\$-circulant matrices. For a non-trivial ideal I<R we give a method to lift such codes over R/I to codes over R, such that some isomorphic copies are avoided. For the case where I is the minimal ideal of a finite chain ring we refine this lifting method: We impose the additional restriction that lifting preserves self-duality. It will be shown that this can be achieved by solving a linear system of equations over a finite field. Finally we apply this technique to Z_4-linear double nega-circulant and bordered circulant self-dual codes. We determine the best minimum Lee distance of these codes up to length 64.

preprint2015arXiv

New arcs in projective Hjelmslev planes over Galois rings

It is known that some good linear codes over a finite ring (R-linear codes) arise from interesting point constellations in certain projective geometries. For example, the expurgated Nordstrom-Robinson code, a nonlinear binary [14,6,6]-code which has higher minimum distance than any linear binary [14,6]-code, can be constructed from a maximal 2-arc in the projective Hjelmslev plane over Z_4.

preprint2015arXiv

On the automorphism group of a binary $q$-analog of the Fano plane

The smallest set of admissible parameters of a $q$-analog of a Steiner system is $S_2[2,3,7]$. The existence of such a Steiner system -- known as a binary $q$-analog of the Fano plane -- is still open. In this article, the automorphism group of a putative binary $q$-analog of the Fano plane is investigated by a combination of theoretical and computational methods. As a conclusion, it is either rigid or its automorphism group is cyclic of order $2$, $3$ or $4$. Up to conjugacy in $\operatorname{GL}(7,2)$, there remains a single possible group of order $2$ and $4$, respectively, and two possible groups of order $3$. For the automorphisms of order $2$, we give a more general result which is valid for any binary $q$-Steiner triple system.

preprint2014arXiv

Derived and Residual Subspace Designs

A generalization of forming derived and residual designs from $t$-designs to subspace designs is proposed. A $q$-analog of a theorem by Van Trung, van Leijenhorst and Driessen is proven, stating that if for some (not necessarily realizable) parameter set the derived and residual parameter set are realizable, the same is true for the reduced parameter set. As a result, we get the existence of several previously unknown subspace designs. Some consequences are derived for the existence of large sets of subspace designs. Furthermore, it is shown that there is no $q$-analog of the large Witt design.

preprint2014arXiv

Higher-order CIS codes

We introduce {\bf complementary information set codes} of higher-order. A binary linear code of length $tk$ and dimension $k$ is called a complementary information set code of order $t$ ($t$-CIS code for short) if it has $t$ pairwise disjoint information sets. The duals of such codes permit to reduce the cost of masking cryptographic algorithms against side-channel attacks. As in the case of codes for error correction, given the length and the dimension of a $t$-CIS code, we look for the highest possible minimum distance. In this paper, this new class of codes is investigated. The existence of good long CIS codes of order $3$ is derived by a counting argument. General constructions based on cyclic and quasi-cyclic codes and on the building up construction are given. A formula similar to a mass formula is given. A classification of 3-CIS codes of length $\le 12$ is given. Nonlinear codes better than linear codes are derived by taking binary images of $\Z_4$-codes. A general algorithm based on Edmonds' basis packing algorithm from matroid theory is developed with the following property: given a binary linear code of rate $1/t$ it either provides $t$ disjoint information sets or proves that the code is not $t$-CIS. Using this algorithm, all optimal or best known $[tk, k]$ codes where $t=3, 4, \dots, 256$ and $1 \le k \le \lfloor 256/t \rfloor$ are shown to be $t$-CIS for all such $k$ and $t$, except for $t=3$ with $k=44$ and $t=4$ with $k=37$.

preprint2014arXiv

Intersection numbers for subspace designs

Intersection numbers for subspace designs are introduced and $q$-analogs of the Mendelsohn and Köhler equations are given. As an application, we are able to determine the intersection structure of a putative $q$-analog of the Fano plane for any prime power $q$. It is shown that its existence implies the existence of a $2$-$(7,3,q^4)_q$ subspace design. Furthermore, several simplified or alternative proofs concerning intersection numbers of ordinary block designs are discussed.

preprint2014arXiv

Maximal integral point sets in affine planes over finite fields

Motivated by integral point sets in the Euclidean plane, we consider integral point sets in affine planes over finite fields. An integral point set is a set of points in the affine plane $\mathbb{F}_q^2$ over a finite field $\mathbb{F}_q$, where the formally defined squared Euclidean distance of every pair of points is a square in $\mathbb{F}_q$. It turns out that integral point sets over $\mathbb{F}_q$ can also be characterized as affine point sets determining certain prescribed directions, which gives a relation to the work of Blokhuis. Furthermore, in one important sub-case integral point sets can be restated as cliques in Paley graphs of square order. In this article we give new results on the automorphisms of integral point sets and classify maximal integral point sets over $\mathbb{F}_q$ for $q\le 47$. Furthermore, we give two series of maximal integral point sets and prove their maximality.

preprint2014arXiv

Maximal integral point sets in affine planes over finite fields

Motivated by integral point sets in the Euclidean plane, we consider integral point sets in affine planes over finite fields. An integral point set is a set of points in the affine plane $\mathbb{F}_q^2$ over a finite field $\mathbb{F}_q$, where the formally defined squared Euclidean distance of every pair of points is a square in $\mathbb{F}_q$. It turns out that integral point sets over $\mathbb{F}_q$ can also be characterized as affine point sets determining certain prescribed directions, which gives a relation to the work of Blokhuis. Furthermore, in one important sub-case integral point sets can be restated as cliques in Paley graphs of square order. In this article we give new results on the automorphisms of integral point sets and classify maximal integral point sets over $\mathbb{F}_q$ for $q\leq 47$. Furthermore, we give two series of maximal integral point sets and prove their maximality.

preprint2014arXiv

Optimal Binary Subspace Codes of Length 6, Constant Dimension 3 and Minimum Distance 4

It is shown that the maximum size of a binary subspace code of packet length $v=6$, minimum subspace distance $d=4$, and constant dimension $k=3$ is $M=77$; in Finite Geometry terms, the maximum number of planes in $\operatorname{PG}(5,2)$ mutually intersecting in at most a point is $77$. Optimal binary $(v,M,d;k)=(6,77,4;3)$ subspace codes are classified into $5$ isomorphism types, and a computer-free construction of one isomorphism type is provided. The construction uses both geometry and finite fields theory and generalizes to any $q$, yielding a new family of $q$-ary $(6,q^6+2q^2+2q+1,4;3)$ subspace codes.

preprint2012arXiv

On renormalization group flows and the a-theorem in 6d

We study the extension of the approach to the a-theorem of Komargodski and Schwimmer to quantum field theories in d=6 spacetime dimensions. The dilaton effective action is obtained up to 6th order in derivatives. The anomaly flow a_UV - a_IR is the coefficient of the 6-derivative Euler anomaly term in this action. It then appears at order p^6 in the low energy limit of n-point scattering amplitudes of the dilaton for n > 3. The detailed structure with the correct anomaly coefficient is confirmed by direct calculation in two examples: (i) the case of explicitly broken conformal symmetry is illustrated by the free massive scalar field, and (ii) the case of spontaneously broken conformal symmetry is demonstrated by the (2,0) theory on the Coulomb branch. In the latter example, the dilaton is a dynamical field so 4-derivative terms in the action also affect n-point amplitudes at order p^6. The calculation in the (2,0) theory is done by analyzing an M5-brane probe in AdS_7 x S^4. Given the confirmation in two distinct models, we attempt to use dispersion relations to prove that the anomaly flow is positive in general. Unfortunately the 4-point matrix element of the Euler anomaly is proportional to stu and vanishes for forward scattering. Thus the optical theorem cannot be applied to show positivity. Instead the anomaly flow is given by a dispersion sum rule in which the integrand does not have definite sign. It may be possible to base a proof of the a-theorem on the analyticity and unitarity properties of the 6-point function, but our preliminary study reveals some difficulties.

preprint2012arXiv

Properties of Codes with Two Homogeneous Weights

Delsarte showed that for any projective linear code over a finite field of characteristic p with two nonzero Hamming weights w1 < w2 there exist positive integers u and s such that w1 = (p^s)u and w2 = (p^s)(u+1). Moreover, he showed that the additive group of such a code has a strongly regular Cayley graph. Here we show that for any proper regular projective linear code C over a finite Frobenius ring with two integral nonzero homogeneous weights w1 < w2, there is a positive integer d, a divisor of the order of C, and positive integer u such that w1 = du and w2 = d(u+1). In doing so, we give a new proof of the known result that any proper regular projective two-weight code code yields a strongly regular graph. We apply these results to existence questions on two-weight codes.

preprint2011arXiv

Integrands for QCD rational terms and N=4 SYM from massive CSW rules

We use massive CSW rules to derive explicit compact expressions for integrands of rational terms in QCD with any number of external legs. Specifically, we present all-n integrands for the one-loop all-plus and one-minus gluon amplitudes in QCD. We extract the finite part of spurious external-bubble contributions systematically; this is crucial for the application of integrand-level CSW rules in theories without supersymmetry. Our approach yields integrands that are independent of the choice of CSW reference spinor even before integration. Furthermore, we present a recursive derivation of the recently proposed massive CSW-style vertex expansion for massive tree amplitudes and loop integrands on the Coulomb-branch of N=4 SYM. The derivation requires a careful study of boundary terms in all-line shift recursion relations, and provides a rigorous (albeit indirect) proof of the recently proposed construction of massive amplitudes from soft-limits of massless on-shell amplitudes. We show that the massive vertex expansion manifestly preserves all holomorphic and half of the anti-holomorphic supercharges, diagram-by-diagram, even off-shell.

preprint2011arXiv

Massive amplitudes on the Coulomb branch of N=4 SYM

We initiate a systematic study of amplitudes with massive external particles on the Coulomb-branch of N=4 super Yang Mills theory: 1) We propose that (multi-)soft-scalar limits of massless amplitudes at the origin of moduli space can be used to determine Coulomb-branch amplitudes to leading order in the mass. This is demonstrated in numerous examples. 2) We find compact explicit expressions for several towers of tree-level amplitudes, including scattering of two massive W-bosons with any number of positive helicity gluons, valid for all values of the mass. 3) We present the general structure of superamplitudes on the Coulomb branch. For example, the n-point "MHV-band" superamplitude is proportional to a Grassmann polynomial of mixed degree 4 to 12, which is uniquely determined by supersymmetry. We find explicit tree-level superamplitudes for this MHV band and for other simple sectors of the theory. 4) Dual conformal generators are constructed, and we explore the dual conformal properties of the simplest massive amplitudes. Our compact expressions for amplitudes and superamplitudes should be of both theoretical and phenomenological interest; in particular the tree-level results carry over to truncations of the theory with less supersymmetry.

preprint2011arXiv

Solutions from boundary condition changing operators in open string field theory

We construct analytic solutions of open string field theory using boundary condition changing (bcc) operators. We focus on bcc operators with vanishing conformal weight such as those for regular marginal deformations of the background. For any Fock space state phi, the component string field <phi,Psi> of the solution Psi exhibits a remarkable factorization property: it is given by the matter three-point function of phi with a pair of bcc operators, multiplied by a universal function that only depends on the conformal weight of phi. This universal function is given by a simple integral expression that can be computed once and for all. The three-point functions with bcc operators are thus the only needed physical input of the particular open string background described by the solution. We illustrate our solution with the example of the rolling tachyon profile, for which we prove convergence analytically. The form of our solution, which involves bcc operators instead of explicit insertions of the marginal operator, can be a natural starting point for the construction of analytic solutions for arbitrary backgrounds.

preprint2011arXiv

SUSY Ward identities, Superamplitudes, and Counterterms

Ward identities of SUSY and R-symmetry relate n-point amplitudes in supersymmetric theories. We review recent work in which these Ward identities are solved in N=4 SYM and N=8 supergravity. The solution, valid at both tree and loop level, expresses any (Next-to)^K MHV superamplitude in terms of a basis of ordinary amplitudes. Basis amplitudes are classified by semi-standard tableaux of rectangular N-by-K Young diagrams. The SUSY Ward identities also impose constraints on the matrix elements of candidate ultraviolet counterterms in N=8 supergravity, and they can be studied using superamplitude basis expansions. This leads to a novel and quite comprehensive matrix element approach to counterterms, which we also review. This article is an invited review for a special issue of Journal of Physics A devoted to "Scattering Amplitudes in Gauge Theories".

preprint2011arXiv

The Coulomb-branch S-matrix from massless amplitudes

We present a systematic method to extract the entire tree-level S-matrix on the Coulomb branch of N=4 SYM from soft-scalar limits of on-shell amplitudes at the origin of moduli space. Massive amplitudes in the spontaneously-broken theory can thus be computed from on-shell amplitudes in the massless, unbroken theory. To check this correspondence, we first prove that soft and collinear divergences in the required massless amplitudes cancel for a judicious choice of soft-scalar momenta. We then explicitly verify our proposal in examples with arbitrarily many external legs and to all orders in the mass. As a byproduct, the construction leads to a massive CSW-like expansion that reproduces several known all-n results for Coulomb-branch amplitudes in an effortless way. We briefly discuss the extension of our method to loop integrands.

preprint2010arXiv

A simple approach to counterterms in N=8 supergravity

We present a simple systematic method to study candidate counterterms in N=8 supergravity. Complicated details of the counterterm operators are avoided because we work with the on-shell matrix elements they produce. All n-point matrix elements of an independent SUSY invariant operator of the form D^{2k} R^n +... must be local and satisfy SUSY Ward identities. These are strong constraints, and we test directly whether or not matrix elements with these properties can be constructed. If not, then the operator does not have a supersymmetrization, and it is excluded as a potential counterterm. For n>4, we find that R^n, D^2 R^n, D^4 R^n, and D^6 R^n are excluded as counterterms of MHV amplitudes, while only R^n and D^2 R^n are excluded at the NMHV level. As a consequence, for loop order L<7, there are no independent D^{2k}R^n counterterms with n>4. If an operator is not ruled out, our method constructs an explicit superamplitude for its matrix elements. This is done for the 7-loop D^4 R^6 operator at the NMHV level and in other cases. We also initiate the study of counterterms without leading pure-graviton matrix elements, which can occur beyond the MHV level. The landscape of excluded/allowed candidate counterterms is summarized in a colorful chart.

preprint2010arXiv

E7(7) constraints on counterterms in N=8 supergravity

We prove by explicit computation that 6-point matrix elements of D^4R^4 and D^6R^4 in N=8 supergravity have non-vanishing single-soft scalar limits, and therefore these operators violate the continuous E7(7) symmetry. The soft limits precisely match automorphism constraints. Together with previous results for R^4, this provides a direct proof that no E7(7)-invariant candidate counterterm exists below 7-loop order. At 7-loops, we characterize the infinite tower of independent supersymmetric operators D^4R^6, R^8, phi^2 R^8,... with n>4 fields and prove that they all violate E7(7) symmetry. This means that the 4-graviton amplitude determines whether or not the theory is finite at 7-loop order. We show that the corresponding candidate counterterm D^8R^4 has a non-linear supersymmetrization such that its single- and double-soft scalar limits are compatible with E7(7) up to and including 6-points. At loop orders 7, 8, 9 we provide an exhaustive account of all independent candidate counterterms with up to 16, 14, 12 fields, respectively, together with their potential single-soft scalar limits.

preprint2010arXiv

Gravity as the Square of Gauge Theory

We explore consequences of the recently discovered duality between color and kinematics, which states that kinematic numerators in a diagrammatic expansion of gauge-theory amplitudes can be arranged to satisfy Jacobi-like identities in one-to-one correspondence to the associated color factors. Using on-shell recursion relations, we give a field-theory proof showing that the duality implies that diagrammatic numerators in gravity are just the product of two corresponding gauge-theory numerators, as previously conjectured. These squaring relations express gravity amplitudes in terms of gauge-theory ingredients, and are a recasting of the Kawai, Lewellen and Tye relations. Assuming that numerators of loop amplitudes can be arranged to satisfy the duality, our tree-level proof immediately carries over to loop level via the unitarity method. We then present a Yang-Mills Lagrangian whose diagrams through five points manifestly satisfy the duality between color and kinematics. The existence of such Lagrangians suggests that the duality also extends to loop amplitudes, as confirmed at two and three loops in a concurrent paper. By "squaring" the novel Yang-Mills Lagrangian we immediately obtain its gravity counterpart. We outline the general structure of these Lagrangians for higher points. We also write down various new representations of gauge-theory and gravity amplitudes that follow from the duality between color and kinematics.

preprint2010arXiv

On-shell constructibility of tree amplitudes in general field theories

We study "on-shell constructibility" of tree amplitudes from recursion relations in general 4-dimensional local field theories with any type of particles, both massless and massive. Our analysis applies to renormalizable as well as non-renormalizable interactions, with or without supersymmetry. We focus on recursion relations that arise from complex deformations of all external momenta. Under certain conditions, these "all-line shift recursion relations" imply the MHV vertex expansion. We derive a simple sufficient criterion for the validity of the all-line shift recursion relations. It depends only on the mass dimensions of the coupling constants and on the sum of helicities of the external particles. Our proof is strikingly simple since it just relies on dimensional analysis and little-group transformation properties. In particular, the results demonstrate that all tree amplitudes with n>4 external states are constructible in any power-counting renormalizable theory. Aspects of all-line shift constructibility are illustrated in numerous examples, ranging from pure scalar theory and the massless Wess-Zumino model to theories with higher-derivative interactions, gluon-Higgs fusion, and Z-boson scattering. We propose a sharp physical interpretation of our constructibility criterion: the all-line shift fails precisely for those classes of n-point amplitudes that can receive local contributions from independent gauge-invariant n-field operators.

preprint2010arXiv

Solution to the Ward Identities for Superamplitudes

Supersymmetry and R-symmetry Ward identities relate on-shell amplitudes in a supersymmetric field theory. We solve these Ward identities for (Next-to)^K MHV amplitudes of the maximally supersymmetric N=4 and N=8 theories. The resulting superamplitude is written in a new, manifestly supersymmetric and R-invariant form: it is expressed as a sum of very simple SUSY and SU(N)_R-invariant Grassmann polynomials, each multiplied by a "basis amplitude". For (Next-to)^K MHV n-point superamplitudes the number of basis amplitudes is equal to the dimension of the irreducible representation of SU(n-4) corresponding to the rectangular Young diagram with N columns and K rows. The linearly independent amplitudes in this algebraic basis may still be functionally related by permutation of momenta. We show how cyclic and reflection symmetries can be used to obtain a smaller functional basis of color-ordered single-trace amplitudes in N=4 gauge theory. We also analyze the more significant reduction that occurs in N=8 supergravity because gravity amplitudes are not ordered. All results are valid at both tree and loop level.

preprint2010arXiv

Stringy KLT relations, global symmetries, and E_7(7) violation

We study consequences of the Kawai-Lewellen-Tye (KLT) relations applied to tree amplitudes in toroidal compactifications of string theory to four dimensions. The closed string tree amplitudes with massless external states respect a global SU(4)xSU(4) symmetry, which is enhanced to the SU(8) R-symmetry of N=8 supergravity in the field theory limit. Our analysis focuses on two aspects: (i) We provide a detailed account of the simplest SU(8)-violating amplitudes. We classify these processes and derive explicit superamplitudes for all local 5- and 6-point operators with SU(4)xSU(4) symmetry at order alpha'^3. Their origin is the dilatonic operator exp(-6 phi) R^4 in the closed-string effective action. (ii) We expand the 6-point closed string tree amplitudes to order alpha'^3 and use two different methods to isolate the SU(8)-singlet contribution from exp(-6 phi) R^4. This allows us to extract the matrix elements of the unique SU(8)-invariant supersymmetrization of R^4. Their single-soft scalar limits are non-vanishing. This demonstrates that the N=8 supergravity candidate counterterm R^4 is incompatible with continuous E_7(7) symmetry. From the soft scalar limits, we reconstruct to quadratic order the SU(8)-invariant function of scalars that multiplies R^4, and show that it satisfies the Laplace eigenvalue equation derived recently from supersymmetry and duality constraints.

preprint2009arXiv

Dual conformal symmetry of 1-loop NMHV amplitudes in N=4 SYM theory

We prove that 1-loop n-point NMHV superamplitudes in N=4 SYM theory are dual conformal covariant for all numbers n of external particles (after regularization and subtraction of IR divergences). This property was previously established for n < 10 in arXiv:0808.0491. We derive an explicit representation of these superamplitudes in terms of dual conformal cross-ratios. We also show that all the 1-loop `box coefficients' obtained from maximal cuts of N^kMHV n-point functions are covariant under dual conformal transformations.

preprint2008arXiv

One-Loop Riemann Surfaces in Schnabl Gauge

Due to a peculiar behavior at the open string midpoint, loop diagrams in Schnabl gauge were expected to fail to produce the relevant closed string moduli. We find that closed string moduli are generated because the Riemann surfaces are built with slanted wedges: semi-infinite strips whose edges have parameterizations related by scaling. We examine in detail one-loop string diagrams and find that the closed string modulus is always produced. Moreover, the conformal maps simplify so greatly that both closed and open moduli become simple calculable functions of the Schwinger parameters, a simplification that occurs neither in Siegel gauge nor in light-cone gauge.

preprint2007arXiv

Linear b-Gauges for Open String Fields

Motivated by Schnabl's gauge choice, we explore open string perturbation theory in gauges where a linear combination of antighost oscillators annihilates the string field. We find that in these linear b-gauges different gauge conditions are needed at different ghost numbers. We derive the full propagator and prove the formal properties which guarantee that the Feynman diagrams reproduce the correct on-shell amplitudes. We find that these properties can fail due to the need to regularize the propagator, and identify a large class of linear b-gauges for which they hold rigorously. In these gauges the propagator has a non-anomalous Schwinger representation and builds Riemann surfaces by adding strip-like domains. Projector-based gauges, like Schnabl's, are not in this class of gauges but we construct a family of regular linear b-gauges which interpolate between Siegel gauge and Schnabl gauge.