Optimal Unitary Linear Processing for Amplify-and-Forward Cooperative OFDM systems
Authors:
Min Dong,
Mahdi Hajiaghayi,
Ben Liang
Abstract:
In this paper, we consider the amplified-and-forward relaying in an OFDM system with unitary linear processing at the relay. We proposed a general analytical framework to find the unitary linear processing matrix that maximizes the system achievable rate. We show that the optimal processing matrix is a permutation matrix, which implies that a subcarrier pairing strategy is optimal. We further deri…
▽ More
In this paper, we consider the amplified-and-forward relaying in an OFDM system with unitary linear processing at the relay. We proposed a general analytical framework to find the unitary linear processing matrix that maximizes the system achievable rate. We show that the optimal processing matrix is a permutation matrix, which implies that a subcarrier pairing strategy is optimal. We further derived the optimal subcarrier pairing schemes for scenarios with and without the direct source-destination path for diversity. Simulation results are presented to demonstrate the achievable gain of optimal subcarrier pairing compared with non-optimal linear processing and non-pairing.
△ Less
Submitted 26 April, 2012; v1 submitted 22 March, 2010;
originally announced March 2010.
The Satisfiability Threshold of Random 3-SAT Is at Least 3.52
Authors:
MohammadTaghi Hajiaghayi,
Gregory B. Sorkin
Abstract:
We prove that a random 3-SAT instance with clause-to-variable density less than 3.52 is satisfiable with high probability. The proof comes through an algorithm which selects (and sets) a variable depending on its degree and that of its complement.
We prove that a random 3-SAT instance with clause-to-variable density less than 3.52 is satisfiable with high probability. The proof comes through an algorithm which selects (and sets) a variable depending on its degree and that of its complement.
△ Less
Submitted 21 October, 2003; v1 submitted 13 October, 2003;
originally announced October 2003.
Random MAX SAT, Random MAX CUT, and Their Phase Transitions
Authors:
Don Coppersmith,
David Gamarnik,
Mohammad Hajiaghayi,
Gregory B. Sorkin
Abstract:
Given a 2-SAT formula $F$ consisting of $n$ variables and $\cn$ random clauses, what is the largest number of clauses $\max F$ satisfiable by a single assignment of the variables? We bound the answer away from the trivial bounds of $(3/4)cn$ and $cn$. We prove that for $c<1$, the expected number of clauses satisfiable is $\cn-Θ(1/n)$; for large $c$, it is $((3/4)c + Θ(\sqrt{c}))n$; for…
▽ More
Given a 2-SAT formula $F$ consisting of $n$ variables and $\cn$ random clauses, what is the largest number of clauses $\max F$ satisfiable by a single assignment of the variables? We bound the answer away from the trivial bounds of $(3/4)cn$ and $cn$. We prove that for $c<1$, the expected number of clauses satisfiable is $\cn-Θ(1/n)$; for large $c$, it is $((3/4)c + Θ(\sqrt{c}))n$; for $c = 1+\eps$, it is at least $(1+\eps-O(\eps^3))n$ and at most $(1+\eps-Ω(\eps^3/\ln \eps))n$; and in the ``scaling window'' $c= 1+Θ(n^{-1/3})$, it is $cn-Θ(1)$. In particular, just as the decision problem undergoes a phase transition, our optimization problem also undergoes a phase transition at the same critical value $c=1$.
Nearly all of our results are established without reference to the analogous propositions for decision 2-SAT, and as a byproduct we reproduce many of those results, including much of what is known about the 2-SAT scaling window.
We consider ``online'' versions of MAX-2-SAT, and show that for one version, the obvious greedy algorithm is optimal.
We can extend only our simplest MAX-2-SAT results to MAX-k-SAT, but we conjecture a ``MAX-k-SAT limiting function conjecture'' analogous to the folklore satisfiability threshold conjecture, but open even for $k=2$. Neither conjecture immediately implies the other, but it is natural to further conjecture a connection between them.
Finally, for random MAXCUT (the size of a maximum cut in a sparse random graph) we prove analogous results.
△ Less
Submitted 13 June, 2003; v1 submitted 2 June, 2003;
originally announced June 2003.
