For some extremal (optimal) odd unimodular lattice $L$ in dimensions $12,16,20,28,32,36,40$ and $44$, we determine all integers $k$ such that $L$ contains a $k$-frame. This result yields the existence of an extremal Type I $\mathbb{Z}_{k}$-code of lengths $12,16,20,32,36,40$ and $44$, and a near-extremal Type I $\mathbb{Z}_k$-code of length $28$ for positive integers $k$ with only a few exceptions.
In this paper, new extremal odd unimodular lattices in dimension $36$ are constructed. Some new odd unimodular lattices in dimension $36$ with long shadows are also constructed.
For some extremal (optimal) odd unimodular lattices L in dimensions n=12,16,20,32,36,40 and 44, we determine all positive integers k such that L contains a k-frame. This result yields the existence of an extremal Type I Zk-code of lengths 12,16,20,32,36,40 and 44 and a near-extremal Type I Zk-code of length 28 for positive integers k with only a few exceptions.
An $s$-extremal optimal unimodular lattice in dimension $52$ is constructed for the first time. This lattice is constructed from a certain self-dual $\mathbb{F}_5$-code by Construction A. In addition, as neighbors of the lattice, two more $s$-extremal optimal unimodular lattices are constructed.
In this paper, binary extremal singly even self-dual codes of length 40 and extremal odd unimodular lattices in dimension 40 are studied. We give a classification of extremal singly even self-dual codes of length 40. We also give a classification of extremal odd unimodular lattices in dimension 40 with shadows having 80 vectors of norm 2 through their relationships with extremal doubly even self-dual codes of length 40.
It is shown that if there is an extremal even unimodular lattice in dimension 72, then there is an optimal odd unimodular lattice in that dimension. Hence, the first example of an optimal odd unimodular lattice in dimension 72 is constructed from the extremal even unimodular lattice which has been recently found by G. Nebe.
New $s$-extremal extremal unimodular lattices in dimensions $38$, $40$, $42$ and $44$ are constructed from self-dual codes over $\mathbb{F}_5$ by Construction A. In the process of constructing these codes, we obtain a self-dual $[44,22,14]$ code over $\mathbb{F}_5$. In addition, the code implies a $[43,22,13]$ code over $\mathbb{F}_5$. These codes have larger minimum weights than the previously known $[44,22]$ codes and $[43,22]$ codes, respectively.
It is shown that an n-dimensional unimodular lattice has minimal norm at most 2[n/24] +2, unless n = 23 when the bound must be increased by 1. This result was previously known only for even unimodular lattices. Quebbemann had extended the bound for even unimodular lattices to strongly N-modular even lattices for N in {1,2,3,5,6,7,11,14,15,23} ... (*), and analogous bounds are established here for odd lattices satisfying certain technical conditions (which are trivial for N = 1 and 2). For N > 1 in (*), lattices meeting the new bound are constructed that are analogous to the ``shorter'' and ``o…
On the degree-$2$ Siegel theta series of extremal even unimodular lattices of ranks $48$, $72$, $96$, and $120$
Harvard Business School（哈佛商学院）；Department of Economics and Center of Mathematical Sciences and Applications, Harvard University（哈佛大学经济学系与数学科学及应用中心）；a16z crypto
The highest possible minimal norm of a unimodular lattice is determined in dimensions n <= 33. There are precisely five odd 32-dimensional lattices with the highest possible minimal norm (compared with more than 8*10^20 in dimension 33). Unimodular lattices with no roots exist if and only if n >= 23, n not = 25.
In this paper, we construct odd unimodular lattices in dimensions n=36,37 having minimum norm 3 and 4s=n-16, where s is the minimum norm of the shadow. We also construct odd unimodular lattices in dimensions n=41,43,44 having minimum norm 4 and 4s=n-24.
An extremal graph for a graph $H$ on $n$ vertices is a graph on $n$ vertices with maximum number of edges that does not contain $H$ as a subgraph. Let $T_{n,r}$ be the Turán graph, which is the complete $r$-partite graph on $n$ vertices with part sizes that differ by at most one. The well-known Turán Theorem states that $T_{n,r}$ is the only extremal graph for complete graph $K_{r+1}$. Erdös et al. (1995) determined the extremal graphs for intersecting triangles and Chen et al. (2003) determined the maximum number of edges of the extremal graphs for intersecting cliques. In this paper, we dete…
We describe the C_{2k+1}-free graphs on n vertices with maximum number of edges. The extremal graphs are unique except for n = 3k-1, 3k, 4k-2, or 4k-1. The value of ex(n,C_{2k+1}) can be read out from the works of Bondy, Woodall, and Bollobas, but here we give a new streamlined proof. The complete determination of the extremal graphs is also new. We obtain that the bound for n_0(C_{2k+1}) is 4k in the classical theorem of Simonovits, from which the unique extremal graph is the bipartite Turan graph.
The odd wheel $W_{2k+1}$ is the graph formed by joining a vertex to a cycle of length $2k$. In this paper, we investigate the largest value of the spectral radius of the adjacency matrix of an $n$-vertex graph that does not contain $W_{2k+1}$. We determine the structure of the spectral extremal graphs for all $k\geq 2, k\not\in \{4,5\}$. When $k=2$, we show that these spectral extremal graphs are among the Turán-extremal graphs on $n$ vertices that do not contain $W_{2k+1}$ and have the maximum number of edges, but when $k\geq 9$, we show that the family of spectral extremal graphs and the fam…
Characterizing unimodular laminar hypergraphs via forbidden subhypergraphs
Université Sorbonne Paris Nord（巴黎索邦北方大学）；CNRS & DIENS, ENS Paris - PSL Research University（法国国家科学研究中心与高等师范学院-巴黎文理研究大学）；Sauder School of Business, University of British Columbia（不列颠哥伦比亚大学 Sauder 商学院）
We consider extremal problems for subgraphs of pseudorandom graphs. For graphs $F$ and $Γ$ the generalized Turán density $π_F(Γ)$ denotes the density of a maximum subgraph of $Γ$, which contains no copy of~$F$. Extending classical Turán type results for odd cycles, we show that $π_{F}(Γ)=1/2$ provided $F$ is an odd cycle and $Γ$ is a sufficiently pseudorandom graph. In particular, for $(n,d,λ)$-graphs $Γ$, i.e., $n$-vertex, $d$-regular graphs with all non-trivial eigenvalues in the interval $[-λ,λ]$, our result holds for odd cycles of length $\ell$, provided \[ λ^{\ell-2}\ll \frac{d^{\ell-1}}n…
The transmission ${\rm Tr}_G(v)$ of a vertex $v$ of a connected graph $G$ is the sum of distances between $v$ and all other vertices in $G$. $G$ is a stepwise transmission irregular (STI) graph if $|{\rm Tr}_G(u) - {\rm Tr}_G(v)| =1$ holds for each edge $uv \in E(G)$. In this paper, extremal results on STI graphs with respect to the size and different metric properties are proved. Two extremal families appear in all the cases, balanced complete bipartite graphs of odd order and the so called odd hatted cycles.
Let $G$ be a non-bipartite graph which does not contain any odd cycle of length at most $2k+1$. In this paper, we determine the maximum $Q$-index of $G$ if its order is fixed, and the corresponding extremal graph is uniquely characterized. Moreover, if the size of $G$ is given, the maximum $Q$-index of $G$ and the unique extremal graph are also proved.
Irreducible rootless unimodular lattices generated by vectors of norm $3$
University of Science and Technology of China（中国科学技术大学）；CAS Wu Wen-Tsun Key Laboratory of Mathematics, University of Science and Technology of China（中国科学院吴文俊数学重点实验室，中国科学技术大学）；Toho University（东海大学）
For lengths up to 47 except 37, we determine the largest minimum Euclidean weight among all Type I Z4-codes of that length. We also give the first example of an optimal odd unimodular lattice in dimension 41 explicitly, which is constructed from some Type I Z4-code of length 41.
The optimality of the Erdős-Rado theorem for pairs is witnessed by the colouring $Δ_κ: [2^κ]^2 \rightarrow κ$ recording the least point of disagreement between two functions. This colouring has no monochromatic triangles or, more generally, odd cycles. We investigate a number of questions investigating the extent to which $Δ_κ$ is an \emph{extremal} such triangle-free or odd-cycle-free colouring. We begin by introducing the notion of $Δ$-regressive and almost $Δ$-regressive colourings and studying the structures that must appear as monochromatic subgraphs for such colourings. We also consider …
An extremal graph for a given graph $H$ is a graph on $n$ vertices with maximum number of edges that does not contain $H$ as a subgraph. Let $s,t$ be integers and let $H_{s,t}$ be a graph consisting of $s$ triangles and $t$ cycles of odd lengths at least 5 which intersect in exactly one common vertex. Erdős et al. (1995) determined the extremal graphs for $H_{s,0}$. Recently, Hou et al. (2016) determined the extremal graphs for $H_{0,t}$, where the $t$ cycles have the same odd length $q$ with $q\ge 5$. In this paper, we further determine the extremal graphs for $H_{s,t}$ with $s\ge 0$ and $t\g…
Ternary self-dual codes have been classified for lengths up to 20. At length 24, a classification of only extremal self-dual codes is known. In this paper, we give a complete classification of ternary self-dual codes of length 24 using the classification of 24-dimensional odd unimodular lattices.
Nonregular graphs of odd maximum degree with maximum spectral radius
School of Mathematics, Nanjing University（南京大学数学系）；Department of Mathematics, Shanghai University（上海大学数学系）；Newtouch Center for Mathematics of Shanghai University（上海大学新触数学中心）
On $T$-avoiding spherical codes and designs in $\mathbb{R}^{32}$
Institute of Mathematics and Informatics, Bulgarian Academy of Sciences（保加利亚科学院数学与计算机科学研究所）；Purdue University Fort Wayne（普渡大学韦恩堡分校）；Fayetteville State University（费耶特维尔州立大学）
Spectral extremal graphs for $W_5$-free graphs with odd size
School of Mathematics and Statistics, and Hubei Key Lab–Math. Sci.,Central China Normal University（华中师范大学数学与统计学院，湖北省数学科学重点实验室）；School of Mathematics and Big Data,Anhui University of Science and Technology（安徽理工大学数学与大数据学院）
Resolving a conjecture of Bollobás and Erdős, Gyárfás proved that every graph $G$ of chromatic number $k+1\geq 3$ contains cycles of $\lfloor\frac{k}{2}\rfloor$ distinct odd lengths. We strengthen this prominent result by showing that such $G$ contains cycles of $\lfloor\frac{k}{2}\rfloor$ consecutive odd lengths. Along the way, combining extremal and structural tools, we prove a stronger statement that every graph of chromatic number $k+1\geq 7$ contains $k$ cycles of consecutive lengths, except that some block is $K_{k+1}$. As corollaries, this confirms a conjecture of Verstraëte and answers…
Let $\mc{F}$ be a family of graphs. A graph is {\em $\mc{F}$-free} if it contains no copy of a graph in $\mc{F}$ as a subgraph. A cornerstone of extremal graph theory is the study of the {\em Turán number} $ex(n,\mc{F})$, the maximum number of edges in an $\mc{F}$-free graph on $n$ vertices. Define the {\em Zarankiewicz number} $z(n,\mc{F})$ to be the maximum number of edges in an $\mc{F}$-free {\em bipartite} graph on $n$ vertices. Let $C_k$ denote a cycle of length $k$, and let $\mc{C}_k$ denote the set of cycles $C_{\ell}$, where $3 \le \ell \leq k$ and $\ell$ and $k$ have the same parity. …
For $A\subseteq \mathbb Z_n$, the $A$-weighted Gao constant $E_A(n)$ is defined to be the smallest natural number $k$, such that any sequence of $k$ elements in $\mathbb Z_n$ has a subsequence of length $n$, whose $A$-weighted sum is zero. Sequences of length $E_A(n)-1$ in $\mathbb Z_n$, which do not have any $A$-weighted zero-sum subsequence of length $n$ are called $A$-extremal sequences for the Gao constant. Such a sequence which has $n-1$ zeroes is said to be of the standard type. When $A=U(n)$ (units in $\mathbb Z_n$) where $n$ is odd, we characterize all such sequences and show that they…
A classical result of Conway and Pless is that a natural projection of the fixed code of an automorphism of odd prime order of a self-dual binary linear code is self-dual. In this paper we prove that the same holds for involutions under some (quite strong) conditions on the codes. In order to prove it, we introduce a new family of binary codes: the semi self-dual codes. A binary self-orthogonal code is called semi self-dual if it contains the all-ones vector and is of codimension 2 in its dual code. We prove upper bounds on the dual distance of semi self-dual codes. As an application we get th…
For a graph $G$, the $k$-colour Ramsey number $R_k(G)$ is the least integer $N$ such that every $k$-colouring of the edges of the complete graph $K_N$ contains a monochromatic copy of $G$. Let $C_n$ denote the cycle on $n$ vertices. We show that for fixed $k\geq2$ and $n$ odd and sufficiently large, \[ R_k(C_n)=2^{k-1}(n-1)+1. \] This resolves a conjecture of Bondy and Erdős [J. Combin. Th. Ser. B \textbf{14} (1973), 46--54] for large $n$. The proof is analytic in nature, the first step of which is to use the regularity method to relate this problem in Ramsey theory to one in nonlinear optimis…
It is well known that spectral Turán type problem is one of the most classical {problems} in graph theory. In this paper, we consider the spectral Turán type problem. Let $G$ be a graph and let $\mathcal{G}$ be a set of graphs, we say $G$ is \textit{$\mathcal{G}$-free} if $G$ does not contain any element of $\mathcal{G}$ as a subgraph. Denote by $λ_1$ and $λ_2$ the largest and the second largest eigenvalues of the adjacency matrix $A(G)$ of $G,$ respectively. In this paper we focus on the characterization of graphs without short odd cycles according to the adjacency eigenvalues of the graphs. …
We solve two related extremal-geometric questions in the $n-$dimensional space $\mathbb{R}^n_{\infty}$ equipped with the maximum metric. First, we prove that the maximum size of a right-equidistant sequence of points in $\mathbb{R}^n_{\infty}$ equals $2^{n+1}-1$. A sequence is right-equidistant if each of the points is at the same distance from all the succeeding points. Second, we prove that the maximum number of points in $\mathbb{R}^n_{\infty}$ with pairwise odd distances equals $2^n$. We also obtain partial results for both questions in the $n-$dimensional space $\mathbb{R}^n_1$ with the M…
Let S_n=X_1+...+X_n be a sum of independent symmetric random variables such that |X_{i}|\leq 1. Denote by W_n=ε_{1}+...+ε_{n} a sum of independent random variables such that \prob{\eps_i = \pm 1} = 1/2. We prove that \mathbb{P}{S_{n} \in A} \leq \mathbb{P}{cW_k \in A}, where A is either an interval of the form [x, \infty) or just a single point. The inequality is exact and the optimal values of c and k are given explicitly. It improves Kwapień's inequality in the case of the Rademacher series. We also provide a new and very short proof of the Littlewood-Offord problem without using Sperner's T…
Self-dual codes over F5 exist for all even lengths. The smallest length for which the largest minimum weight among self-dual codes has not been determined is 24, and the largest minimum weight is either 9 or 10. In this note, we show that there exists no self-dual [24,12,10] code over F5, using the classification of 24-dimensional odd unimodular lattices due to Borcherds.
This survey is two-fold. We first report new progress on the spectral extremal results on the Turán type problems in graph theory. More precisely, we shall summarize the spectral Turán function in terms of the adjacency spectral radius and the signless Laplacian spectral radius for various graphs. For instance, the complete graphs, general graphs with chromatic number at least three, complete bipartite graphs, odd cycles, even cycles, color-critical graphs and intersecting triangles. The second goal is to conclude some recent results of the spectral conditions on some graphical properties. By …
