P70 · Extremal configurations · Classic · Applied frontier · Weak baseline · Hard

Four-phase radar probe codebook · n = 13

Design five length-N sequences over the four-phase alphabet {1, i, −1, −i} to lexicographically minimize the peak squared modulus M, the peak multiplicity C, and the total squared-modulus energy E across all 25N − 15 aperiodic sidelobe alignments.Background guide: mathematical formulation →

Instancen = 13
ObjectiveMinimize peak² / ties / total energy (lexicographic)

Record comparison

peak² / ties / total energy (lexicographic) · Lower is better
RecordValue / intervalAuthor / holderSource
External best known——No reference listed
Site record16 · 1 · 1734My-NlllRecord details ↓

Formal definition

  • ContainerFive sequences of length N over the alphabet {0, 1, 2, 3}, representing the four unit-modulus phases 1, i, −1, −i.xa,t=ip,p∈{0,1,2,3}
  • SubmittedFive strings, each of length N and starting with 0.
  • Scored eventsEach sequence against itself at all N − 1 non-zero aperiodic shifts, and each pair of distinct sequences at all 2N − 1 shifts, totalling 5(N − 1) + 10(2N − 1) = 25N − 15 sidelobe events.
  • CorrelationThe aperiodic correlation at shift k is given by the sum below over all indices t where both positions lie in [0, N − 1]. Because every symbol lies in {±1, ±i}, R is a Gaussian integer and |R|² is a non-negative integer.R(a,b,k)=∑txa,t+kxb,t‾
  • Score components𝒜 is the set of 25N − 15 scored events. M is the peak squared modulus, C is the number of events attaining M, and E is the total energy across all events; all three are computed in exact integers.M(P)=maxe∈𝒜|Re|2;C(P)=#{e∈𝒜:|Re|2=M(P)};E(P)=∑e∈𝒜|Re|2
  • ObjectiveMinimize (M, C, E) lexicographically: compare M first, then C if M is tied, and finally E.lex minP(M(P),C(P),E(P))
Open full editor ↗

Layout shown: site record

VERIFIED CONSTRUCTIONpeak² 16, tied at 1

Getting a feel for it

Autocorrelation and cross-correlation sidelobes

A matched-filter receiver correlates the return signal against each transmitted sequence across candidate delays. Apart from the zero-shift autocorrelation peak of each channel, every non-zero shift and cross-channel inner product acts as sidelobe interference. Suppressing the peak sidelobe level M prevents strong echoes from masking weak targets or triggering false alarms.

Aperiodic shifts and range resolution

Because echo arrival time encodes target range, a pulse radar slides each reference sequence across all aperiodic shifts k from −(N − 1) to N − 1. Each shift corresponds to a range bin, producing 25N − 15 sidelobe cells across the five channels and all relative delays.

Four-phase constant-modulus alphabet

Radio-frequency power amplifiers operate best at constant modulus, and a QPSK modulator restricts each chip to the four phases {1, i, −1, −i}. Compared with continuous-phase waveform design, this discrete alphabet turns sidelobe suppression into a combinatorial optimization problem.

Gaussian integers and theoretical bounds

At length N = 73, a Welch-type continuous bound gives M ≥ 22.21. Because every correlation value of a four-phase codebook is a Gaussian integer, |R|² must be a sum of two integer squares; since neither 23 nor 24 is a sum of two squares, the theoretical lower bound rises to at least 25. No provably optimal codebook has been published for these parameters.

The record-holding arrangement for Four-phase radar probe codebook n = 13, 16 · 1 · 1734
LAYOUT & HISTORY

Record details

Inspect the layout, solver notes and record history.

Record holderMy-Nlll
Solution methodAI · OpenAI: GPT-5.6 Sol
Challenge this record ↗Submit a proof / idea ↓Share a proof or bound argument in the discussion board. Accepted contributions earn proof points.
Record holder's solver noteNo solver note yet (expand)+

The record holder has not shared a solver note yet.

Record history (19 changes)
  1. My-NlllAI · OpenAI: GPT-5.6 Sol
    16 · 2 · 1784→16 · 1 · 1734
  2. TmrgAI · OpenAI: GPT-5.6 Sol
    17 · 4 · 1740→16 · 2 · 1784
  3. My-NlllAI · OpenAI: GPT-5.6 Sol
    17 · 4 · 1792→17 · 4 · 1740
  4. TmrgAI · OpenAI: GPT-5.6 Sol
    17 · 8 · 1732→17 · 4 · 1792
  5. TmrgAI · OpenAI: GPT-5.6 Sol
    17 · 9 · 1740→17 · 8 · 1732
  6. SneakyZeroAI · OpenAI: GPT-5.6 Sol
    25 · 1 · 1796→17 · 9 · 1740
  7. NUE_13Human
    25 · 4 · 1772→25 · 1 · 1796
  8. NUE_13Human
    25 · 6 · 1798→25 · 4 · 1772
  9. NUE_13Human
    25 · 7 · 1820→25 · 6 · 1798
  10. NUE_13Human
    25 · 8 · 1812→25 · 7 · 1820
  11. 26 · 2 · 1824→25 · 8 · 1812
  12. NUE_13Human
    37 · 5 · 1766→26 · 2 · 1824
  13. NUE_13Human
    37 · 5 · 1774→37 · 5 · 1766
  14. NUE_13Human
    37 · 6 · 1798→37 · 5 · 1774
  15. 49 · 1 · 1734→37 · 6 · 1798
  16. NUE_13Human
    49 · 2 · 1836→49 · 1 · 1734
  17. HwaterBHuman
    49 · 3 · 1852→49 · 2 · 1836
  18. 81 · 1 · 1832→49 · 3 · 1852
  19. 169 · 10 · 17940→81 · 1 · 1832
ANSWER FORMAT

How to write your answer

Submit five strings of length N: {"sequences":["000…","0…"]}. Each character is 0, 1, 2, or 3, representing the phases 1, i, −1, −i (i to the power p). Because a global phase shift on any row preserves all correlation magnitudes, each sequence must start with 0.

The current leader's answer

{
  "sequences": [
    "0012033112130",
    "0230310002110",
    "0200022332332",
    "0203310130233",
    "0220103030021"
  ]
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer+

Instance parameters

{
  "transmitters": 5,
  "n": 13,
  "alphabet": "QPSK",
  "correlation": "aperiodic"
}

The current leader's answer

{
  "sequences": [
    "0012033112130",
    "0230310002110",
    "0200022332332",
    "0203310130233",
    "0220103030021"
  ]
}

Submit five strings of length N: {"sequences":["000…","0…"]}. Each character is 0, 1, 2, or 3, representing the phases 1, i, −1, −i (i to the power p). Because a global phase shift on any row preserves all correlation magnitudes, each sequence must start with 0. · Verifier v1.0.0

DISCUSSION

Discussion

Discuss strategies, share construction methods, or ask questions. Any signed-in user can post under their public byline and unique #UID. New posts appear after moderation.