Designing Unimodular Sequences with Optimized Auto/cross-correlation Properties via Consensus-ADMM/PDMM Approaches
Pith reviewed 2026-05-24 21:35 UTC · model grok-4.3
The pith
Reformulating unimodular sequence design as a consensus nonconvex problem enables ADMM and PDMM algorithms that reach stationary points with improved correlation properties or lower cost.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The designing problem is reformulated as a consensus nonconvex optimization problem via auxiliary phase variables. Consensus-ADMM and consensus-PDMM algorithms are proposed to solve it efficiently, with proofs that they converge to stationary points of the original problem. The approaches also include analysis of local optimality and complexity, and simulations confirm better performance than state-of-the-art.
What carries the argument
Consensus nonconvex optimization problem formed by auxiliary phase variables, solved via alternating direction method of multipliers (ADMM) and parallel direction method of multipliers (PDMM).
If this is right
- The consensus-ADMM algorithm converges to a stationary point of the original nonconvex problem.
- The consensus-PDMM algorithm's output is a stationary point of the original nonconvex problem if convergent.
- Local optimality of the nonconvex optimization model can be analyzed.
- Computational complexity of the consensus-ADMM/PDMM approaches can be characterized.
- The proposed approaches can outperform state-of-the-art methods in either computational cost or correlation properties.
Where Pith is reading between the lines
- The reformulation approach could extend to other constant-modulus design tasks in signal processing.
- Adopting the resulting sequences might improve range resolution or interference rejection in deployed radar systems.
- The parallel structure of PDMM suggests scalability for designing very long sequences on distributed hardware.
- Testing the methods under additive noise or hardware constraints would reveal practical robustness.
Load-bearing premise
The original designing problem can be equivalently reformulated as a consensus nonconvex optimization problem by introducing auxiliary phase variables.
What would settle it
A simulation on standard sequence design benchmarks where the ADMM or PDMM outputs fail to match or exceed the correlation properties or computational efficiency of existing methods would challenge the performance claims.
Figures
read the original abstract
Unimodular sequences with good auto/cross-correlation properties are favorable in wireless communication and radar applications. In this paper, we focus on designing these kinds of sequences. The main content is as follows: first, we formulate the designing problem as a quartic polynomial minimization problem with constant modulus constraints; second, by introducing auxiliary phase variables, the polynomial minimization problem is equivalent to a consensus nonconvex optimization problem; third, to achieve its good approximate solution efficiently, we propose two efficient algorithms based on alternating direction method of multipliers (ADMM) and parallel direction method of multipliers (PDMM); fourth, we prove that the consensus-ADMM algorithm can converge to some stationary point of the original nonconvex problem and consensus-PDMM's output is some stationary point of the original nonconvex problem if it is convergent. Moreover, we also analyze the nonconvex optimization model's local optimality and computational complexity of the proposed consensus-ADMM/PDMM approaches. Simulation results demonstrate that the proposed ADMM/PDMM approaches outperform state-of-the-art ones in either computational cost or correlation properties of the designed unimodular sequences.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper formulates unimodular sequence design as a quartic polynomial minimization subject to constant-modulus constraints, reformulates it as an equivalent consensus nonconvex problem by introducing auxiliary phase variables, develops consensus-ADMM and consensus-PDMM algorithms to find approximate solutions, proves that consensus-ADMM converges to a stationary point of the original problem (and consensus-PDMM does so if convergent), analyzes local optimality and complexity, and reports simulations showing outperformance versus prior art in computational cost or correlation metrics.
Significance. If the claimed equivalence holds without relaxation of the feasible set and the stationary-point guarantees transfer to the original quartic objective, the work would supply practical, theoretically grounded algorithms for a core problem in radar and communications waveform design, potentially improving upon existing methods in either speed or achieved correlation sidelobes.
major comments (2)
- [Abstract] Abstract (second and third steps): The assertion that introducing auxiliary phase variables renders the original quartic minimization 'equivalent' to a consensus nonconvex program is stated without an explicit bijection, constraint-set identity proof, or demonstration that every stationary point of the lifted problem maps back to a feasible point of the constant-modulus quartic. Because the convergence claims and simulation comparisons rest on the algorithms solving the original problem, this mapping must be shown to be one-to-one on the feasible set.
- [Convergence analysis] Convergence analysis section: The proof that consensus-ADMM reaches a stationary point of the 'original nonconvex problem' must explicitly verify that the auxiliary-phase lifting does not enlarge the feasible set or alter the objective value at recovered points; otherwise the reported stationary-point guarantee does not apply to the quartic formulation used for benchmarking.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for highlighting the need for explicit verification of the equivalence between the original quartic formulation and the consensus lifting. We agree that these details should be stated more rigorously and will revise the manuscript accordingly.
read point-by-point responses
-
Referee: [Abstract] Abstract (second and third steps): The assertion that introducing auxiliary phase variables renders the original quartic minimization 'equivalent' to a consensus nonconvex program is stated without an explicit bijection, constraint-set identity proof, or demonstration that every stationary point of the lifted problem maps back to a feasible point of the constant-modulus quartic. Because the convergence claims and simulation comparisons rest on the algorithms solving the original problem, this mapping must be shown to be one-to-one on the feasible set.
Authors: We acknowledge that the abstract and introductory description of the reformulation would benefit from an explicit statement of the bijection. In the revised manuscript we will insert a dedicated proposition (new Proposition 1 in Section II) that (i) constructs the auxiliary phase vector θ from any feasible unimodular x such that the consensus constraints hold with equality, (ii) shows the converse mapping recovers a feasible constant-modulus x from any feasible (x,θ) pair, and (iii) proves that the lifted objective equals the original quartic polynomial at every such pair. The same proposition will also establish that every stationary point of the consensus problem projects to a stationary point of the original quartic problem, thereby justifying the convergence claims. revision: yes
-
Referee: [Convergence analysis] Convergence analysis section: The proof that consensus-ADMM reaches a stationary point of the 'original nonconvex problem' must explicitly verify that the auxiliary-phase lifting does not enlarge the feasible set or alter the objective value at recovered points; otherwise the reported stationary-point guarantee does not apply to the quartic formulation used for benchmarking.
Authors: We agree that the convergence theorem should contain an explicit verification step. In the revised Section IV we will augment the proof of Theorem 1 with two additional lemmas: Lemma 1 will show that the consensus constraints together with the auxiliary-phase definition enforce that the feasible set of the lifted problem is in one-to-one correspondence with the constant-modulus set of the quartic problem (hence no enlargement occurs), and Lemma 2 will demonstrate that the objective value of any recovered point equals the original quartic value. These lemmas will be invoked directly in the stationarity argument so that the guarantee applies unambiguously to the quartic formulation. revision: yes
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper's chain proceeds from a standard quartic constant-modulus formulation, through an auxiliary-variable reformulation asserted as equivalent, to consensus-ADMM/PDMM algorithms whose convergence to stationary points is proved directly, followed by simulation comparisons against external benchmarks. No step reduces by construction to its own inputs: the equivalence is not shown to be tautological, the algorithms are not fitted parameters renamed as predictions, and no load-bearing uniqueness or ansatz is imported via self-citation. The reported outperformance rests on numerical experiments rather than internal redefinition, satisfying the default expectation of non-circularity.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math ADMM and PDMM methods converge to stationary points of nonconvex problems under suitable conditions.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
by introducing auxiliary phase variables, the polynomial minimization problem is equivalent to a consensus nonconvex optimization problem
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
we prove that the consensus-ADMM algorithm can converge to some stationary point of the original nonconvex problem
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
On probing signal design for MIMO radar,
P . Stoica, J. Li, and Y . Xie, “On probing signal design for MIMO radar,” IEEE Trans. Signal Process. , vol. 55, no. 8, pp. 4151-4161, Jul. 2007
work page 2007
-
[2]
Noncoherent radar pulse compression based on comple- mentary sequences,
N. Levanon, “Noncoherent radar pulse compression based on comple- mentary sequences,” IEEE Transactions on Aerospace and Electronic Systems, vol. 45, no. 2, pp. 742-747, Apr. 2009
work page 2009
-
[3]
Complementary seque nces for isi channel estimation,
P . Spasojevic and C. Georghiades, “Complementary seque nces for isi channel estimation,” IEEE Trans. Inf. Theory , vol. 47, no. 3, pp. 1145- 1152, Mar. 2001
work page 2001
-
[4]
Tra in- ing sequence design for efficient channel estimation in MIMO -FBMC systems,
S. Hu, Z. Liu, Y . L. Guan, C. Jin, Y . Huang, and J. M. Wu, “Tra in- ing sequence design for efficient channel estimation in MIMO -FBMC systems,” IEEE Access , vol. 5, pp. 4747-4758, Apr. 2017
work page 2017
-
[5]
Asynchronous multicarrier DS-C DMA using mutually orthogonal complementary sets of sequences,
S. M. Tseng and M. Bell, “Asynchronous multicarrier DS-C DMA using mutually orthogonal complementary sets of sequences,” IEEE Trans. Commun., vol. 48, no. 1, pp. 53-59, Jan. 2000
work page 2000
-
[6]
Complementary sets, generalized Reed-Mul ler codes, and power control for OFDM,
K. Schmidt, “Complementary sets, generalized Reed-Mul ler codes, and power control for OFDM,” IEEE Trans. Inf. Theory , vol. 53, no. 2, pp. 808-814, Feb. 2007
work page 2007
-
[7]
Multiple-input multiple -output (MIMO) radar and imaging: Degrees of freedom and resolution ,
D. W. Bliss and K. W. Forsythe, “Multiple-input multiple -output (MIMO) radar and imaging: Degrees of freedom and resolution ,” in Proc. 37th Asilomar Conf. Signals, Systems, Computers, Pacific Grove, CA, vol. 1, pp. 54-59, Nov. 2003
work page 2003
-
[8]
On parameter iden tifiability of MIMO radar,
J. Li, P . Stoica, L. Xu, and W. Roberts, “On parameter iden tifiability of MIMO radar,” IEEE Signal Process. Lett., vol. 14, pp. 968-971, Dec. 2007
work page 2007
-
[9]
Signature sequence and tra ining design for overloaded CDMA systems,
S. P . Ponnaluri and T. Guess, “Signature sequence and tra ining design for overloaded CDMA systems,” IEEE Trans. Wireless Commun. vol. 6, no. 4, pp. 1337-1345, Apr. 2007
work page 2007
-
[10]
Exhaustive search for low autocorrelation binary sequences
S. Mertens, “Exhaustive search for low-autocorrelati on binary se- quences,” [Online]. Available: https://arxiv.org/abs/cond-mat/9605050
work page internal anchor Pith review Pith/arXiv arXiv
-
[11]
Efficient heuristic method of search for binar y sequences with good aperiodic autocorrelations,
S. Wang, “Efficient heuristic method of search for binar y sequences with good aperiodic autocorrelations,” Electron. Lett. , vol. 44, no. 12, pp. 731-732, Jun. 2008
work page 2008
-
[12]
Polyphase sequences with l ow autocor- relation,
P . Borwein and R. Ferguson, “Polyphase sequences with l ow autocor- relation,” IEEE Trans. Inf. Theory , vol. 51, no. 4, pp. 1564-1567, Apr. 2005
work page 2005
-
[13]
Polyphase pulse compression cod es with optimal peak and integrated sidelobes,
C. Nunn and G. Coxson, “Polyphase pulse compression cod es with optimal peak and integrated sidelobes,” IEEE Trans. Aerosp. Electron. Syst., vol. 45, no. 2, pp. 775-781, Apr. 2009
work page 2009
-
[14]
New algorithms for designin g unimod- ular sequences with good correlation properties,
P . Stoica, H. He, and J. Li, “New algorithms for designin g unimod- ular sequences with good correlation properties,” IEEE Trans. Signal Process., vol. 57, no. 4, pp. 1415-1425, Apr. 2009
work page 2009
-
[15]
On designing sequences with impulse-like periodic correlation,
P . Stoica, H. He, and J. Li, “On designing sequences with impulse-like periodic correlation,” IEEE Signal Process. Lett. , vol. 16, no. 8, pp. 703-706, Aug. 2009
work page 2009
-
[16]
Sequence sets with optimal i ntegrated periodic correlation level,
P . Stoica, H. He, and J. Li, “Sequence sets with optimal i ntegrated periodic correlation level,” IEEE Signal Process. Lett. , vol. 17, no. 1, pp. 63-66, Jan. 2010
work page 2010
-
[17]
Computational design of sequences with good correlation properties,
M. Soltanalian and P . Stoica, “Computational design of sequences with good correlation properties,” IEEE Trans. Signal Process. , vol. 60, no. 5, pp. 2180-2193, May 2012
work page 2012
-
[18]
Unimodular sequ ence design based on alternating direction method of multipliers,
J. Liang, H. C. So, J. Li, and A. Farina, “Unimodular sequ ence design based on alternating direction method of multipliers,” IEEE Trans. Signal Process., vol. 64, no. 20, pp. 5367-5381, Oct. 2016
work page 2016
-
[19]
Optimization metho ds for designing sequences with low autocorrelation sidelobes,
J. Song, P . Babu, and D. P . Palomar, “Optimization metho ds for designing sequences with low autocorrelation sidelobes,” IEEE Trans. Signal Process. , vol. 63, no. 15, pp. 3998-4009, Aug. 2015
work page 2015
-
[20]
Sequence design to min imize the weighted integrated and peak sidelobe levels,
J. Song, P . Babu, and D. Palomar, “Sequence design to min imize the weighted integrated and peak sidelobe levels,” IEEE Trans. Signal Process., vol. 64, no. 8, pp. 2051-2064, Apr. 2016
work page 2051
-
[21]
A unified frame work for low autocorrelation sequence design via majorization-minimi zation,
L. Zhao, J. Song, P . Babu, and D. Palomar, “A unified frame work for low autocorrelation sequence design via majorization-minimi zation,”IEEE Trans. Signal Process. , vol. 65, no. 2, pp. 438-453, Jan. 2017
work page 2017
-
[22]
I. A. Arriaga-Trejo, A. Orozco-Lugo, and J. Flores-Tro ncoso, “Design of unimodular sequences with good autocorrelation and good comple- mentary autocorrelation properties,” IEEE Signal Process. Lett. , vol. 24, no. 8, pp. 1153-1157, Aug. 2017
work page 2017
-
[23]
Designing unimodular seque nce sets with good correlation-including an application to mimo radar,
H. He, P . Stoica, and J. Li, “Designing unimodular seque nce sets with good correlation-including an application to mimo radar,” IEEE Trans. Signal Process. , vol.57, pp. 4391-4405, Jan. 2009
work page 2009
-
[24]
On the design of constant modulus sequences with low correlation sidelobes levels,
Y . C. Wang, L. Dong, X. Xue, and K. C. Yi, “On the design of constant modulus sequences with low correlation sidelobes levels,” IEEE Commun. Lett. , vol. 16, no. 4, pp. 462-465, Apr. 2012
work page 2012
-
[25]
Sequence set design with good correlation properties via majorization-minimizati on,
J. Song, P . Babu, and D. P . Palomar, “Sequence set design with good correlation properties via majorization-minimizati on,” IEEE Trans. Signal Process. , vol. 64, no. 11, pp. 2866-2879, Feb. 2016
work page 2016
-
[26]
Transmit waveform/re ceive filter design for MIMO radar with multiple waveform constraints,
L. Wu, P . Babu, and D. P . Palomar, “Transmit waveform/re ceive filter design for MIMO radar with multiple waveform constraints,” IEEE Trans. Signal Process. , vol. 66, no. 6, pp. 1526-1540, Mar. 2018
work page 2018
-
[27]
H. Esmaeili-Najafabadi, M. Ataei, and M. F. Sabahi, “De signing se- quence with minimum PSL using Chebyshev distance and its app lication for chaotic MIMO radar waveform design,” IEEE Trans. Signal Process., vol. 65, no. 3, pp. 690C704, Feb. 2017
work page 2017
-
[28]
A coordinate-descent framework to des ign low 13 PSL/ISL sequences,
M. A. Kerahroodi, A. Aubry, A. De Maio, M. M. Naghsh, and M . Modarres-Hashemi, “A coordinate-descent framework to des ign low 13 PSL/ISL sequences,” IEEE Trans. Signal Process. , vol.65, no. 22, pp. 5942-5956, Nov. 2017
work page 2017
-
[29]
Fast algorithms for designing unimodular waveform(s) with good correlation properties,
Y . Li and S. A. V orobyov, “Fast algorithms for designing unimodular waveform(s) with good correlation properties,” IEEE Trans. Signal Process., vol. 66, no. 5, pp. 1197-1212, Mar. 2018
work page 2018
-
[30]
Fast alternat- ing direction optimization methods,
T. Goldstein, B. O’Donoghue, S. Setzer, and R. Baraniuk , “Fast alternat- ing direction optimization methods,” SIAM Journal on Imaging Sciences, vol. 7, no. 3, pp. 1588-1623, Aug. 2014
work page 2014
-
[31]
M. Hong, Z. Luo, and M. Razaviyayn, “Convergence analys is of alternating direction method of multipliers for a family of nonconvex problems, SIAM Journal on Optimization , vol. 26, no. 1, pp. 337-364, Jan. 2016
work page 2016
-
[32]
Global Convergence of ADMM in Nonconvex Nonsmooth Optimization
Y . Wang, W. Yin, and J. Zeng, “Global convergence of ADMM in nonconvex nonsmooth optimization,” [Online]. Availabl e: https://arxiv.org/abs/1511.06324
work page internal anchor Pith review Pith/arXiv arXiv
-
[33]
J. Zhang and Z.-Q. Luo, “A proximal alternating directi on method of multiplier for linearly constrained nonconvex minimizati on,” [Online]. Available: https://arxiv.org/abs/1812.10229
-
[34]
Designing unimodular dequences wi th good correlation properties via consensus-PDMM approach,
J. Wang and Y . Wang, “Designing unimodular dequences wi th good correlation properties via consensus-PDMM approach,” in Proc. 53rd IEEE International Conference on Communications (ICC) , Shanghai, China, May 2019, to appear
work page 2019
-
[35]
Parallel Multi-Block ADMM with o(1/k) Convergence
W. Deng, M. Lai, Z. Peng, and W. Yin. “Parallel multi- block admm with o(1/k) convergence,” [Online]. Available: https://arxiv.org/abs/1312.3040
work page internal anchor Pith review Pith/arXiv arXiv
-
[36]
Parallel Direction Method of Multipliers
H. Wang, A. Banerjee, and Z. Q. Luo, “Parallel direction method of multipliers,” [Online]. Available: https://arxiv.org/a bs/1406.4064
work page internal anchor Pith review Pith/arXiv arXiv
-
[37]
On the linear convergence of the a lternating direction method of multipliers,
M. Hong and Z.-Q. Luo, “On the linear convergence of the a lternating direction method of multipliers,” Math. Program. , vol. 162, no. 1, pp. 165-199, Mar. 2017
work page 2017
-
[38]
S. Boyd, N. Parikh, E. Chu, B. Peleato, and J. Eckstein, “ Distributed optimization and statistical learning via the alternating direction method of multipliers, F ound. Trend. Mach. Learn., vol. 3, no. 1, pp. 1-122, Jan. 2011
work page 2011
-
[39]
J. Wang and Y .-C. Wang, “On the design of constant mod- ulus probing waveforms with good correlation properties fo r MIMO radar via consensus-ADMM approach,” [Online]. Availa ble: https://arxiv.org/abs/1901.05260
-
[40]
Cardano’s formula, square root s, Chebyshev polynomials and radicals,
R. Wituła and D. Słota, “Cardano’s formula, square root s, Chebyshev polynomials and radicals,”. Journal of Mathematical Analysis and Ap- plications, vol. 2, no. 363, pp. 639-647, 2010
work page 2010
-
[41]
Convergence of a block coordinate descen t method for nondifferentiable minimization
Paul. Tseng, “Convergence of a block coordinate descen t method for nondifferentiable minimization.” Journal of Optimization Theory and Applications, vol. 109, no. 3, pp. 475-494, Jun. 2001
work page 2001
-
[42]
Efficient imple mentation of quasi-maximum-likelihood detection based on semidefinite relaxation,
M. Kisialiou, X.-D. Luo, and Z.-Q. Luo, “Efficient imple mentation of quasi-maximum-likelihood detection based on semidefinite relaxation,” IEEE Trans. Signal Process. , vol. 57, no. 12, pp. 4811-4822, Jul. 2009
work page 2009
-
[43]
On the design of constant modulus probing signals for MIMO radar,
Y .-C. Wang, X. Wang, H. Liu, and Z.-Q. Luo, “On the design of constant modulus probing signals for MIMO radar,” IEEE Trans. Signal Process., vol. 60, no. 8, pp. 4432-4438, Aug. 2012
work page 2012
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.