arXiv++ Combinatorics

Let $G$ be an $n$-vertex graph and let $\ell:V(G)\to\mathbb{F}_2$ prescribe degree parities. A set $S\subseteq V(G)$ is $\ell$-admissible if every $v\in S$ has degree congruent to $\ell(v)$ modulo $2$ in $G[S]$. Let $h_\ell(G)$ be the maximum order of an $\ell$-admissible set, set $f_{\mathrm{oe}}(G):=\min_\ell h_\ell(G)$, and write $f_o(G):=h_{\mathbf{1}}(G)$, where $\mathbf{1}(v)=1$ for every $v\in V(G).$ We prove three main results for graphs without isolated vertices. First, by extending Zeng's odd-cut method to arbitrary parity prescriptions an introducing a one-sided completion lemma, we show that $h_\ell(G)\ge n/6$ for every $\ell$. Consequently, $f_{\mathrm{oe}}(G)\ge n/6$, improving the previous bound $2n/21$. Second, for bipartite graphs we derive lower bounds on $f_o(G)$ in terms of the $\mathbb{F}_2$-rank of the bipartite adjacency matrix and combine them to obtain \[ f_o(G)\ge \left(\frac14+\frac1{256}\right)n=\frac{65}{256}n. \] Thus, in the bipartite case, the factor $2$ in Scott's bound $f_o(G)\ge n/(2χ(G))$ can be replaced by $128/65<2$. Finally, writing $α=α(G)$, a fourth-moment argument gives, for $α\ge2$, \[ f_o(G)\ge \fracα{2}+\frac{\log_3α}{8} -\frac14\log_3\log_3\sqrtα. \] We also construct bipartite graphs satisfying \[ f_o(G)\le \frac{α(G)}2+\log_2\!\bigl(α(G)+1\bigr)+\frac12, \] showing that the logarithmic additive improvement over Scott's bound $f_o(G)\geα(G)/2$ has the optimal order of magnitude.

In a recent paper, we defined generalized color orderings (GCO) and Feynman diagrams (GFD) to compute color-dressed generalized biadjoint amplitudes. In this work, we study the Cachazo-Early-Guevara-Mizera (CEGM) representation of generalized partial amplitudes and ``decoupling" identities. This representation is a generalization of the Cachazo-He-Yuan (CHY) formulation as an integral over the configuration space $X(k,n)$ of $n$ points on $\mathbb{CP}^{k-1}$ in generic position. Unlike the $k=2$ case, Parke-Taylor-like integrands are not enough to compute all partial amplitudes for $k>2$. Here we give a set of constraints that integrands associated with GCOs must satisfy and use them to construct all $(3,n<9)$ integrands, all $(3,9)$ integrands up to four undetermined constants, and $95 \%$ of $(4,8)$ integrands up to 24 undetermined constants. $k=2$ partial amplitudes are known to satisfy identities. Among them, the so-called $U(1)$ decoupling identities are the simplest ones. These are characterized by a label $i$ and a color ordering in $X(2,|[n]\setminus \{i\}|)$. Here we introduce decoupling identities for $k>2$ determined combinatorially using GCOs. Moreover, we identify the natural analog of $U(1)$ identities as those characterized by a pair of labels $i\neq j$, and a pair of GCOs, one in $X(k,|[n]\setminus \{i\}|)$ and the other in $X(k-1,|[n]\setminus \{j\}|)$. We call them {\it double extension} identities. We also provide explicit connections among different ways of representing GCOs, such as configurations of lines, configurations of points, and reorientation classes of uniform oriented matroids (chirotopes).

The biadjoint scalar theory has cubic interactions and fields transforming in the biadjoint representation of ${\rm SU}(N)\times {\rm SU}\big({\tilde N}\big)$. Amplitudes are "color" decomposed in terms of partial amplitudes computed using Feynman diagrams which are simultaneously planar with respect to two orderings. In 2019, a generalization of biadjoint scalar amplitudes based on generalized Feynman diagrams (GFDs) was introduced. GFDs are collections of Feynman diagrams derived by incorporating an additional constraint of "local planarity" into the construction of the arrangements of metric trees in combinatorics. In this work, we propose a natural generalization of color orderings which leads to color-dressed amplitudes. A generalized color ordering (GCO) is defined as a collection of standard color orderings that is induced, in a precise sense, from an arrangement of projective lines on $\mathbb{RP}^2$. We present results for $n\leq 9$ generalized color orderings and GFDs, uncovering new phenomena in each case. We discover generalized decoupling identities and propose a definition of the "colorless" generalized scalar amplitude. We also propose a notion of GCOs for arbitrary $\mathbb{RP}^{k-1}$, discuss some of their properties, and comment on their GFDs. In a companion paper, we explore the definition of partial amplitudes using CEGM integral formulas.

The Apéry numbers $A_n$ and the Franel numbers $f_n$ are defined by $$A_n=\sum_{k=0}^{n}{\binom{n+k}{2k}}^2{\binom{2k}{k}}^2\ \ \ \ \ {\rm and }\ \ \ \ \ \ f_n=\sum_{k=0}^{n}{\binom{n}{k}}^3(n=0, 1, \cdots,).$$ In this paper, we prove three supercongruences for Apéry numbers or Franel numbers conjectured by Z.-W. Sun. Let $p\geq 5$ be a prime and let $n\in \mathbb{Z}^{+}$. We show that \begin{align} \notag \frac{1}{n}\bigg(\sum_{k=0}^{pn-1}(2k+1)A_k-p\sum_{k=0}^{n-1}(2k+1)A_k\bigg)\equiv0\pmod{p^{4+3ν_p(n)}} \end{align} and \begin{align}\notag \frac{1}{n^3}\bigg(\sum_{k=0}^{pn-1}(2k+1)^3A_k-p^3\sum_{k=0}^{n-1}(2k+1)^3A_k\bigg)\equiv0\pmod{p^{6+3ν_p(n)}}, \end{align} where $ν_p(n)$ denotes the $p$-adic order of $n$. Also, for any prime $p$ we have \begin{align} \notag \frac{1}{n^3}\bigg(\sum_{k=0}^{pn-1}(3k+2)(-1)^kf_k-p^2\sum_{k=0}^{n-1}(3k+2)(-1)^kf_k\bigg)\equiv0\pmod{p^{3}}. \end{align}

Planar arrays of tree diagrams were introduced as a generalization of Feynman diagrams that enables the computation biadjoint amplitudes $m^{(k)}_n$ for $k>2$ . In this follow-up work we investigate the poles of $m^{(k)}_n$ from the perspective of such arrays. For general $k$ we characterize the underlying polytope as a Flag Complex and propose a computation of the amplitude based solely on the knowledge of poles, which number is drastically less than the number of full arrays. As an example we first provide all the poles for the cases $(k,n)=(3,7),(3,8),(4,8)$ and $(4,9)$ in terms of their generalized Feynman diagrams. We then implement a simple compatibility criteria together with an addition operation between arrays, and recover the full collections/arrays recently presented for such cases. Along the way we implement hard and soft kinematical limits, which provide a map between poles in kinematic space and their combinatoric arrays. We use the operation to give a proof of a previously conjectured combinatorial duality for arrays in $(k,n)$ and $(n-k,n)$. We also outline the relation to boundary maps of the hypersimplex $Δ_{k,n}$ and rays in the tropical Grassmannian $\textrm{Tr}(k,n)$.

Very recently planar collections of Feynman diagrams were proposed by Borges and one of the authors as the natural generalization of Feynman diagrams for the computation of $k=3$ biadjoint amplitudes. Planar collections are one-dimensional arrays of metric trees satisfying an induced planarity and compatibility condition. In this work we introduce planar matrices of Feynman diagrams as the objects that compute $k=4$ biadjoint amplitudes. These are symmetric matrices of metric trees satisfying compatibility conditions. We introduce two notions of combinatorial bootstrap techniques for finding collections from Feynman diagrams and matrices from collections. As applications of the first, we find all $693$, $13\,612$, and $346\,710$ collections for $(k,n)=(3,7), (3,8),$ and $(3,9)$ respectively. As applications of the second kind, we find all $90\, 608$ and $30\,659\,424$ planar matrices that compute $(k,n)=(4,8)$ and $(4,9)$ biadjoint amplitudes respectively. As an example of the evaluation of matrices of Feynman diagrams, we present the complete form of the $(4,8)$ and $(4,9)$ biadjoint amplitudes. We also start the study of higher dimensional arrays of Feynman diagrams, including the combinatorial version of the duality between $(k,n)$ and $(n-k,n)$ objects.

We initiate the study of positive geometry and scattering forms for tree-level amplitudes with matter particles in the (anti-)fundamental representation of the color/flavor group. As a toy example, we study the bi-color scalar theory, which supplements the bi-adjoint theory with scalars in the (anti-)fundamental representations of both groups. Using a recursive construction we obtain a class of unbounded polytopes called open associahedra (or associahedra with certain facets at infinity) whose canonical form computes amplitudes in bi-color theory, for arbitrary number of legs and flavor assignments. In addition, we discuss the duality between color factors and wedge products, or "color is kinematics", for amplitudes with matter particles as well.

A generalization of the scattering equations on $X(2,n)$, the configuration space of $n$ points on $\mathbb{CP}^1$, to higher dimensional projective spaces was recently introduced by Early, Guevara, Mizera, and one of the authors. One of the new features in $X(k,n)$ with $k>2$ is the presence of both regular and singular solutions in a soft limit. In this work we study soft limits in $X(3,7)$, $X(4,7)$, $X(3,8)$ and $X(5,8)$, find all singular solutions, and show their geometrical configurations. More explicitly, for $X(3,7)$ and $X(4,7)$ we find $180$ and $120$ singular solutions which when added to the known number of regular solutions both give rise to $1\, 272$ solutions as it is expected since $X(3,7)\sim X(4,7)$. Likewise, for $X(3,8)$ and $X(5,8)$ we find $59\, 640$ and $58\, 800$ singular solutions which when added to the regular solutions both give rise to $188\, 112$ solutions. We also propose a classification of all configurations that can support singular solutions for general $X(k,n)$ and comment on their contribution to soft expansions of generalized biadjoint amplitudes.

In this paper we prove three results conjectured by Z.-W. Sun. Let $p$ be an odd prime and let $h\in \mathbb{Z}$ with $2h-1\equiv0\pmod{p^{}}$. For $a\in\mathbb{Z}^{+}$ and $p^a>3$, we show that \begin{align}\notag \sum_{k=0}^{p^a-1}\binom{hp^a-1}{k}\binom{2k}{k}\bigg(-\frac{h}{2}\bigg)^k\equiv0\pmod{p^{a+1}}. \end{align} Also, for any $n\in \mathbb{Z}^{+}$ we have \begin{align} \notag ν_{p}\bigg(\sum_{k=0}^{n-1}\binom{hn-1}{k}\binom{2k}{k}\bigg(-\frac{h}{2}\bigg)^k\bigg)\geqν_{p}(n)\notag, \end{align} where $ν_p(n)$ denotes the $p$-adic order of $n$. For any integer $m\not\equiv 0\pmod{p^{}}$ and positive integer $n$, we have \begin{align*} \frac{1}{pn}\bigg(\sum_{k=0}^{pn-1}\binom{pn-1}{k}\frac{\binom{2k}{k}}{(-m)^k}-\bigg(\frac{m(m-4)}{p}\bigg)\sum_{k=0}^{n-1}\binom{n-1}{k}\frac{\binom{2k}{k}}{(-m)^k}\bigg)\in \mathbb{Z}_{p}, \end{align*} where $(\frac{.}{})$ is the Legendre symbol and $\mathbb{Z}_p$ is the ring of $p$-adic integers.

Let $p$ be an odd prime and let $n$ be a positive integer. For any positive integer $α$ and $m\in\{1,2,3\}$, we have \begin{align*} \sum_{k=0}^{p^αn-1}\frac{(\frac12)_k}{k!}\cdot\frac{(-4)^k}{m^k}\equiv\bigg(\frac{m(m-4)}{p}\bigg)\sum_{k=0}^{p^{α-1}n-1}\frac{(\frac12)_k}{k!}\cdot\frac{(-4)^k}{m^k}\pmod{p^{2α}}, \end{align*} where $(x)_k=x(x+1)\cdots(x+k-1)$ and $\big(\frac{\cdot}{\cdot}\big)$ denotes the Legendre symbol. Also, when $m=4$, \begin{align*} \sum_{k=0}^{p^αn-1}(-1)^k\cdot\frac{(\frac12)_k}{k!}\equiv p\sum_{k=0}^{p^{α-1}n-1}(-1)^k\cdot\frac{(\frac12)_k}{k!}\pmod{p^{2α}}. \end{align*}

A magic square of order $n$ with all subsquares of possible orders (ASMS$(n)$) is a magic square which contains a general magic square of each order $k\in\{3, 4, \cdots, n-2\}$. Since the conjecture on the existence of an ASMS was proposed in 1994, much attention has been paid but very little is known except for few sporadic examples. A $k$-extended Langford sequence of defect $d$ and length $m$ is equivalent to a partition of $\{1,2,\cdots,2m+1\}\backslash\{k\}$ into differences $\{d,\cdots,d+m-1\}$. In this paper, a construction of ASMS based on extended Langford sequence is established. As a result, it is shown that there exists an ASMS$(n)$ for $n\equiv\pm3\pmod{18}$, which gives a partial answer to Abe's conjecture on ASMS.

In this paper, we use character-theoretic techniques to give new nonexistence results for $(n,m,k,λ)$-strong external difference families (SEDFs). We also use cyclotomic classes to give two new classes of SEDFs with $m=2$.

Large set of orthogonal arrays (LOA) were introduced by D. R. Stinson, and it is also used to construct multimagic squares recently. In this paper, multimagic squares based on strong double LOA are further investigated. It is proved that there exists an MS$(q^{2t-1},t)$ for any prime power $q\geq 2t-1$ with $t\geq3$, which provided a new family of multimagic squares.

In this paper, constructions of multimagic squares are investigated. Diagonal Latin squares and Kronecker products are used to get some constructions of multimagic squares. Consequently, some new families of compound multimagic squares are obtained.

We prove some Rodriguez-Villegas type congruences for truncated q-hypergeometric functions.

We prove some 3-adic congruences for binomial sums, which were conjectured by Sun.

In this paper we establish two symmetric identities on sums of products of Euler polynomials.