Classification of maximal arcs in small projective Hjelmslev geometries
Maximal arcs in small projective Hjelmslev geometries are classified up to isomorphism, and the parameters of the associated codes are determined.
math.CO↗
arXiv subjects
Michael Kiermaier
Publications and source records attributed to Michael Kiermaier.
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.
math.CO↗
New complete 2-arcs in the uniform projective Hjelmslev planes over chain rings of order 25
In this paper a 2-arc of size 21 in the projective Hjelmslev plane PHG(2,\Z_25) and a 2-arc of size 22 in PHG(2,\F_5[X]/(X^2)) are given. Both arcs are bigger than the 2-arcs previously known in the respective plane. Furthermore, we will give some information on the geometrical structure of the arcs.
math.CO↗
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.
math.CO↗
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$.
cs.IT↗
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.
math.CO↗
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.
math.CO↗
$2$-arcs of maximal size in the affine and the projective Hjelmslev plane over $\mathbb{Z}_{25}$
It is shown that the maximal size of a $2$-arc in the projective Hjelmslev plane over $\mathbb{Z}_{25}$ is $21$, and the $(21,2)$-arc is unique up to isomorphism. Furthermore, all maximal $(20,2)$-arcs in the affine Hjelmslev plane over $\mathbb{Z}_{25}$ are classified up to isomorphism.
math.CO↗
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.
math.CO↗
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.
hep-th↗
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.
math.CO↗
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.
hep-th↗
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".
hep-th↗
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.
hep-th↗
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.
hep-th↗
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 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.
hep-th↗
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.
hep-th↗
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.
hep-th↗