Searcharxiv⌕ Search

arXiv subjects

Joachim Rosenthal

Publications and source records attributed to Joachim Rosenthal.

72 records · Page 4Linked to original sources

Spread Codes and Spread Decoding in Network Coding

In this paper we introduce the class of Spread Codes for the use in random network coding. Spread Codes are based on the construction of spreads in finite projective geometry. The major contribution of the paper is an efficient decoding algorithm of spread codes up to half the minimum distance.

cs.IT↗

Efficient recovering of operation tables of black box groups and rings

People have been studying the following problem: Given a finite set S with a hidden (black box) binary operation * on S which might come from a group law, and suppose you have access to an oracle that you can ask for the operation x*y of single pairs (x,y) you choose. What is the minimal number of queries to the oracle until the whole binary operation is recovered, i.e. you know x*y for all x,y in S? This problem can trivially be solved by using |S|^2 queries to the oracle, so the question arises under which circumstances you can succeed with a significantly smaller number of queries. In this presentation we give a lower bound on the number of queries needed for general binary operations. On the other hand, we present algorithms solving this problem by using |S| queries, provided that * is an abelian group operation. We also investigate black box rings and give lower and upper bounds for the number of queries needed to solve product recovering in this case.

cs.IT↗

Zig-zag and Replacement Product Graphs and LDPC Codes

The performance of codes defined from graphs depends on the expansion property of the underlying graph in a crucial way. Graph products, such as the zig-zag product and replacement product provide new infinite families of constant degree expander graphs. The paper investigates the use of zig-zag and replacement product graphs for the construction of codes on graphs. A modification of the zig-zag product is also introduced, which can operate on two unbalanced biregular bipartite graphs.

cs.IT↗

Tree-Based Construction of LDPC Codes Having Good Pseudocodeword Weights

We present a tree-based construction of LDPC codes that have minimum pseudocodeword weight equal to or almost equal to the minimum distance, and perform well with iterative decoding. The construction involves enumerating a $d$-regular tree for a fixed number of layers and employing a connection algorithm based on permutations or mutually orthogonal Latin squares to close the tree. Methods are presented for degrees $d=p^s$ and $d = p^s+1$, for $p$ a prime. One class corresponds to the well-known finite-geometry and finite generalized quadrangle LDPC codes; the other codes presented are new. We also present some bounds on pseudocodeword weight for $p$-ary LDPC codes. Treating these codes as $p$-ary LDPC codes rather than binary LDPC codes improves their rates, minimum distances, and pseudocodeword weights, thereby giving a new importance to the finite geometry LDPC codes where $p > 2$.

cs.IT↗

Pseudocodeword weights for non-binary LDPC codes

Pseudocodewords of q-ary LDPC codes are examined and the weight of a pseudocodeword on the q-ary symmetric channel is defined. The weight definition of a pseudocodeword on the AWGN channel is also extended to two-dimensional q-ary modulation such as q-PAM and q-PSK. The tree-based lower bounds on the minimum pseudocodeword weight are shown to also hold for q-ary LDPC codes on these channels.

cs.IT↗

Output Feedback Pole Assignment for Transfer Functions with Symmetries

This paper studies the problem of pole assignment for symmetric and Hamiltonian transfer functions. A necessary and sufficient condition for pole assignment by complex symmetric output feedback transformations is given. Moreover, in the case where the McMillan degree coincides with the number of parameters appearing in the symmetric feedback transformations, we derive an explicit combinatorial formula for the number of pole assigning symmetric feedback gains. The proof uses intersection theory in projective space as well as a formula for the degree of the complex Lagrangian Grassmann manifold.

math.OC↗

Tree-Based Construction of LDPC Codes

We present a construction of LDPC codes that have minimum pseudocodeword weight equal to the minimum distance, and perform well with iterative decoding. The construction involves enumerating a d-regular tree for a fixed number of layers and employing a connection algorithm based on mutually orthogonal Latin squares to close the tree. Methods are presented for degrees d=p^s and d = p^s+1, for p a prime, -- one of which includes the well-known finite-geometry-based LDPC codes.

cs.IT↗

Unitary Space Time Constellation Analysis: An Upper Bound for the Diversity

The diversity product and the diversity sum are two very important parameters for a good-performing unitary space time constellation. A basic question is what the maximal diversity product (or sum) is. In this paper we are going to derive general upper bounds on the diversity sum and the diversity product for unitary constellations of any dimension $n$ and any size $m$ using packing techniques on the compact Lie group U(n).

math.CO↗

Geometrical and Numerical Design of Structured Unitary Space Time Constellations

In this paper we propose constellations with suitable structure which allow one to construct codes with excellent diversity using geometrical symmetry and numerical methods. We also demonstrate how these structured constellations out-perform currently existing constellations and explain why the proposed constellation structure admit simple decoding algorithm: sphere decoding. The presented design methods work for any dimensional constellation and for any transmission rate. Moreover codes based on the proposed structure are very flexible and can be optimized for any signal to noise ratio.

math.OC↗

Strongly MDS Convolutional Codes

MDS convolutional codes have the property that their free distance is maximal among all codes of the same rate and the same degree. In this paper we introduce a class of MDS convolutional codes whose column distances reach the generalized Singleton bound at the earliest possible instant. We call these codes strongly MDS convolutional codes. It is shown that these codes can decode a maximum number of errors per time interval when compared with other convolutional codes of the same rate and degree. These codes have also a maximum or near maximum distance profile. A code has a maximum distance profile if and only if the dual code has this property.

math.RA↗

Output Feedback Invariants

The paper is concerned with the problem of determining a complete set of invariants for output feedback. Using tools from geometric invariant theory it is shown that there exists a quasi-projective variety whose points parameterize the output feedback orbits in a unique way. If the McMillan degree $n\geq mp$, the product of number of inputs and number of outputs, then it is shown that in the closure of every feedback orbit there is exactly one nondegenerate system.

math.OC↗

The Multiplicative Inverse Eigenvalue Problem over an Algebraically Closed Field

Let $M$ be a square matrix and let $p(t)$ be a monic polynomial of degree $n$. Let $Z$ be a set of $n\times n$ matrices. The multiplicative inverse eigenvalue problem asks for the construction of a matrix in $Z$ such that the product matrix $MZ$ has characteristic polynomial $p(t)$. In this paper we provide new necessary and sufficient conditions when $Z$ is an affine variety over an algebraically closed field.

math.RA↗

Connections between Linear Systems and Convolutional Codes

The article reviews different definitions for a convolutional code which can be found in the literature. The algebraic differences between the definitions are worked out in detail. It is shown that bi-infinite support systems are dual to finite-support systems under Pontryagin duality. In this duality the dual of a controllable system is observable and vice versa. Uncontrollability can occur only if there are bi-infinite support trajectories in the behavior, so finite and half-infinite-support systems must be controllable. Unobservability can occur only if there are finite support trajectories in the behavior, so bi-infinite and half-infinite-support systems must be observable. It is shown that the different definitions for convolutional codes are equivalent if one restricts attention to controllable and observable codes.

math.OC↗

Zero Assignment, Pole Placement and Matrix Extension Problems: A Common Point of View

The paper studies a general inverse eigenvalue problem which contains as special cases many well studied pole placement and matrix extension problems. It is shown that the studied problem corresponds on the geometric side to a central projection from some projective variety. The degree for this variety is computed in the critical dimension.

math.OC↗

Some Remarks on Real and Complex Output Feedback

We provide some new necessary and sufficient conditions which guarantee arbitrary pole placement of a particular linear system over the complex numbers. We exhibit a non-trivial real linear system which is not controllable by real static output feedback and discuss a conjecture from algebraic geometry concerning the existence of real linear systems for which all static feedback laws are real.

math.OC↗