Application of Orbits in the Pooling Designs

QIAN Guodong,DENG Chaogong,ZHAO Yanbing

2011-01-01

Abstract:With the orbit of block in the cyclic group Zv,the d-separable matrix and the d-disjunct matrices are constructed and their Hamming distance and error-detecting are analyzed.

What problem does this paper attempt to address?

Constructing Error-Correcting Pooling Designs with Symplectic Space

Jun Guo,Yuexuan Wang,Suogang Gao,Jiangchen Yu,Weili Wu

DOI: https://doi.org/10.1007/s10878-009-9217-x

2009-01-01

Journal of Combinatorial Optimization

Abstract:We construct a family of error-correcting pooling designs with the incidence matrix of two types of subspaces of symplectic spaces over finite fields. We show that the new construction gives better ratio of efficiency compared with previously known three constructions associated with subsets of a set, its analogue over a vector space, and the dual spaces of a symplectic space.
Error-Tolerant Trivial Two-Stage Group Testing For Complexes Using Almost Separable And Almost Disjunct Matrices

WEIWEI LANG,YUEXUAN WANG,JAMES YU,SUOGANG GAO,WEILI WU

DOI: https://doi.org/10.1142/S1793830909000191

2009-01-01

Discrete Mathematics Algorithms and Applications

Abstract:In this paper, we define an a-almost (k; 2e + 1)-separable matrix and an a-almost k(e)-disjunct matrix. Using their complements, we devise algorithms for fault-tolerant trivial two-stage group tests (pooling designs) for k-complexes. We derive the expected values for the given algorithms to identify all such positive complexes.
Pooling designs with surprisingly high degree of error correction in a finite vector space

Jun Guo,Kaishun Wang

DOI: https://doi.org/10.48550/arXiv.1105.2671

2011-05-13

Abstract:Pooling designs are standard experimental tools in many biotechnical applications. It is well-known that all famous pooling designs are constructed from mathematical structures by the "containment matrix" method. In particular, Macula's designs (resp. Ngo and Du's designs) are constructed by the containment relation of subsets (resp. subspaces) in a finite set (resp. vector space). Recently, we generalized Macula's designs and obtained a family of pooling designs with more high degree of error correction by subsets in a finite set. In this paper, as a generalization of Ngo and Du's designs, we study the corresponding problems in a finite vector space and obtain a family of pooling designs with surprisingly high degree of error correction. Our designs and Ngo and Du's designs have the same number of items and pools, respectively, but the error-tolerant property is much better than that of Ngo and Du's designs, which was given by D'yachkov et al. \cite{DF}, when the dimension of the space is large enough.

Combinatorics
On the Parameterized Complexity of Pooling Design

Yongxi Cheng,Ding-Zhu Du,Ker-I Ko,Guohui Lin

DOI: https://doi.org/10.1089/cmb.2008.0224

IF: 1.549

2009-01-01

Journal of Computational Biology

Abstract:Pooling design is a very helpful tool for reducing the number of tests in DNA library screening, which is a key process to obtain high-quality DNA libraries for studying gene functions. Three basic problems in pooling design are, given an m x n binary matrix and a positive integer d, to decide whether the matrix is d-separable ((d) over bar -separable, or d-disjunct). The three problems are all known to be coNP-complete. Since in most applications, d is a small integer compared to n, it is interesting to investigate whether there are efficient algorithms solving the above problems when the value of d is small. In this article, we give a negative answer to the above question by studying the parameterized complexity of these three problems, with d as the parameter. We show that the parameterized versions of all the three problems are co-W[2]-complete. An immediate implication of our results is that, given an m x n binary matrix and a positive integer d, a deterministic algorithm with running time f(d) x (mn)(O(1)) (where f is an arbitrary computable function) to decide whether the matrix is d-separable ((d) over bar -separable, or d-disjunct) should not be expected.
Semi-cyclic holey group divisible designs with block size three and applications to sampling designs and optical orthogonal codes

Tao Feng,Xiaomiao Wang,Ruizhong Wei

DOI: https://doi.org/10.48550/arXiv.1404.6800

2014-10-22

Abstract:We consider the existence problem for a semi-cyclic holey group divisible design of type (n,m^t) with block size 3, which is denoted by a 3-SCHGDD of type (n,m^t). When t is odd and n\neq 8 or t is doubly even and t\neq 8, the existence problem is completely solved; when t is singly even, many infinite families are obtained. Applications of our results to two-dimensional balanced sampling plans and optimal two-dimensional optical orthogonal codes are also discussed.

Combinatorics
Multi Block Overlapping Zero Padding Algorithm for Weak Signal Acquisition.

Jinhua Sun,Shanshan Lv,Hao Wang

DOI: https://doi.org/10.1007/978-3-319-78130-3_31

2018-01-01

Abstract:Global navigation satellite systems (GNSS) can implement high-precision navigation and positioning, requiring rapid and accurate signal acquisition under very weak signal conditions. Double block zero padding (DBZP) is an efficient algorithm for unaided weak signal acquisition. Considering the acquisition problem of weak direct sequence spread spectrum continuous phase modulation signal, the subblock combining and zero padding method is studied in detail. To solve the weakness of fixed number of subblock and fixed number of signal samples in each subblock given frequency resolution and Doppler searching range in DBZP, a multi block overlapping zero padding (MBOZP) algorithm is proposed, which combines with the ideas of data subblock overlapping. This algorithm optimizes the combination of data subblock by introducing the data subblock overlapping, which can increase the length of coherent accumulation and improve the performance of acquisition under the determined frequency resolution and Doppler searching range. Compared with the traditional DBZP, the simulation results show that MBOZP can obtain higher acquisition probability at small frequency offset.
Complex spherical designs from group orbits

Mozhgan Mohammadpour,Shayne Waldron

2024-04-02

Abstract:We consider the general question of when all orbits under the unitary action of a finite group give a complex spherical design. Those orbits which have large stabilisers are then good candidates for being optimal complex spherical designs. This is done by developing the general theory of complex designs and associated (harmonic) Molien series for group actions. As an application, we give explicit constructions of some putatively optimal real and complex spherical t-designs.

Combinatorics,Group Theory
Fixed point sets and orbit spaces of wedge of three spheres

Dimpi,Hemant Kumar Singh

DOI: https://doi.org/10.1016/j.topol.2024.108856

IF: 0.583

2024-04-01

Topology and its Applications

Abstract:Let X be a finite CW-complex having mod p cohomology isomorphic to a wedge of three spheres S n ∨ S m ∨ S l , 1 ≤ n ≤ m ≤ l . The aim of this paper is to determine the fixed point sets of actions of the cyclic group of prime order on X. We also classify the orbit spaces of free actions of G = Z p , p a prime or G = S d , d = 1 or 3, on X and derive the Borsuk-Ulam type results.

mathematics, applied
Orbital characters and their applications

lizhong wang,jiping zhang

DOI: https://doi.org/10.1016/j.jpaa.2014.04.013

IF: 0.834

2015-01-01

Journal of Pure and Applied Algebra

Abstract:In this paper, we provide some formulae to calculate orbital characters. Especially we give a lifting theorem by which one can read off the value of orbital characters from local subgroups. With orbital characters, we can show that Reynolds ideal is dual to the vector space of simple modules and this leads to a new method to count simple modules. We also give a natural morphism from local to general vector space of simple modules and determine it completely. Some other applications to modular representation are also included.
Design of Combinatorial Countering Algorithm for Selecting Positioning Constellations

刘会杰,张乃通

2000-01-01

Chinese space science and technology

Abstract:Data processing technologies are studied for satellitepositioning system receiver, The optimal selection of positioning constellations is presented. That is a combinatorial optimization problem. Through further analysis, a m sequence-based combinatorial countering algorithm is designed. Simulation and analysis is given for the algorithm result, Finally, the conclusion is provided.
On one-orbit cyclic subspace codes of $\mathcal{G}_q(n,3)$

Chiara Castello,Olga Polverino,Ferdinando Zullo

2024-05-03

Abstract:Subspace codes have recently been used for error correction in random network coding. In this work, we focus on one-orbit cyclic subspace codes. If $S$ is an $\mathbb{F}_q$-subspace of $\mathbb{F}_{q^n}$, then the one-orbit cyclic subspace code defined by $S$ is \[ \mathrm{Orb}(S)=\{\alpha S \colon \alpha \in \mathbb{F}_{q^n}^*\}, \]where $\alpha S=\lbrace \alpha s \colon s\in S\rbrace$ for any $\alpha\in \mathbb{F}_{q^n}^*$. Few classification results of subspace codes are known, therefore it is quite natural to initiate a classification of cyclic subspace codes, especially in the light of the recent classification of the isometries for cyclic subspace codes. We consider three-dimensional one-orbit cyclic subspace codes, which are divided into three families: the first one containing only $\mathrm{Orb}(\mathbb{F}_{q^3})$; the second one containing the optimum-distance codes; and the third one whose elements are codes with minimum distance $2$. We study inequivalent codes in the latter two families.

Information Theory,Combinatorics
On the distance distributions of single-orbit cyclic subspace codes

Mahak,Maheshanand Bhaintwal

2024-07-02

Abstract:{A cyclic subspace code is a union of the orbits of subspaces contained in it. In a recent paper, Gluesing-Luerssen et al. (Des. Codes Cryptogr. 89, 447-470, 2021) showed that the study of the distance distribution of a single orbit cyclic subspace code is equivalent to the study of its intersection distribution. In this paper we have proved that in the orbit of a subspace $U$ of $\mathbb{F}_{q^n}$ that has the stabilizer $\mathbb{F}_{q^t}^*(t \neq n)$, the number of codeword pairs $(U,\alpha U)$ such that $\dim(U\cap \alpha U)=i$ for any $i,~ 0\leq i < \dim(U)$, is a multiple of $q^t(q^t+1)$, if $\frac{n}{t}$ is an odd number. In the case of even $\frac{n}{t}$, if $U$ contains $\frac{q^{2tm}-1}{q^{2t}-1}~ (m\geq 0)$ distinct cyclic shifts of $\mathbb{F}_{q^{2t}}$, then the number of codeword pairs $(U,\alpha U)$ with intersection dimension $2tm$ is equal to $q^t+rq^t(q^t+1)$, for some non-negative integer $r$; and the number of codeword pairs $(U,\alpha U)$ with intersection dimension $i,~(i\neq 2tm)$ is a multiple of $q^t(q^t+1)$. Some examples have been given to illustrate the results presented in the paper.

Information Theory
Abelian Noncyclic Orbit Codes and Multishot Subspace Codes

Gustavo Terra Bastos,Reginaldo Palazzo Júnior,Marinês Guerreiro

DOI: https://doi.org/10.48550/arXiv.1810.08049

2018-10-18

Abstract:In this paper we characterize the orbit codes as geometrically uniform codes. This characterization is based on the description of all isometries over a projective geometry. In addition, the Abelian orbit codes are defined and a new construction of Abelian non-cyclic orbit codes is presented. In order to analyze their structures, the concept of geometrically uniform partitions have to be reinterpreted. As a consequence, a substantial reduction in the number of computations needed to obtain the minimum subspace distance of these codes is achieved and established. An application of orbit codes to multishot subspace codes obtained according to a multi-level construction is provided.

Information Theory
Orbital Containment Control Algorithm and Complex Information Topology Design for Large-Scale Cluster of Spacecraft.

Shijie Zhang,Fengzhi Guo,Anhui Zhang,Tingting Zhang

DOI: https://doi.org/10.1109/access.2020.3020981

IF: 3.9

2020-01-01

IEEE Access

Abstract:In order to investigate coordinated orbit control problem for large-scale cluster flight spacecraft, a distributed orbital containment control algorithm is proposed for spacecraft cluster flight system with multiple leaders. At first, a general distributed orbital containment control strategy for large-scale cluster spacecraft system is given, so that all followers are driven to the convex hull formed by leaders. Then the constraints of convergence and convergence rate of cluster spacecraft system on control gains and information topology are investigated. Specifically, the control gains which achieve maximal convergence rate are analyzed. Furthermore, two kinds of cell partitions from graph theory are employed to investigate the influence of information topology on steady states of followers, which provides theoretical basis for collision avoidance design. Finally, simulation results show that the designed information topology could meet the requirements of large-scale cluster system, and followers belonging to the same cell have the same steady states.
Non-dense orbits on homogeneous spaces and applications to geometry and number theory

JINPENG AN,LIFAN GUAN,DMITRY KLEINBOCK

DOI: https://doi.org/10.1017/etds.2021.4

2021-03-18

Ergodic Theory and Dynamical Systems

Abstract:Abstract Let G be a Lie group, let $\Gamma \subset G$ be a discrete subgroup, let $X=G/\Gamma $ and let f be an affine map from X to itself. We give conditions on a submanifold Z of X that guarantee that the set of points $x\in X$ with f -trajectories avoiding Z is hyperplane absolute winning (a property which implies full Hausdorff dimension and is stable under countable intersections). A similar result is proved for one-parameter actions on X . This has applications in constructing exceptional geodesics on locally symmetric spaces and in non-density of the set of values of certain functions at integer points.

mathematics, applied
Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing

Pei Huang,Minghao Liu,Cunjing Ge,Feifei Ma,Jian Zhang

DOI: https://doi.org/10.1145/3326229.3326232

2019-01-01

Abstract:A collection of n-2 idempotent symmetric quasigroups of order n is called a golf design if all the quasigroups in the collection are mutually disjoint. Two golf designs are said to be orthogonal if any idempotent symmetric quasigroup from one golf design has an orthogonal mate in the other golf design, and it is also called an orthogonal golf design (OG(n)). The existence of orthogonal golf designs is an open problem in combinatorial design theory. In this paper, we describe a method for solving some open cases using automated reasoning tools, employing both symmetry breaking and heuristic decision. The experimental results show that our method is highly efficient and it indeed allowed us to get some positive results in reasonable time. In particular, we apply state-of-the-art SAT solvers and constraint solvers to decide the non-existence of some instances, which can produce a formal proof.
Equidistribution of divergent orbits of the diagonal group in the space of lattices

OFIR DAVID,URI SHAPIRA

DOI: https://doi.org/10.1017/etds.2018.80

2018-09-25

Ergodic Theory and Dynamical Systems

Abstract:We consider divergent orbits of the group of diagonal matrices in the space of lattices in Euclidean space. We define two natural numerical invariants of such orbits: the discriminant—an integer—and the type—an integer vector. We then study the question of the limit distributional behavior of these orbits as the discriminant goes to infinity. Using entropy methods we prove that, for divergent orbits of a specific type, virtually any sequence of orbits equidistributes as the discriminant goes to infinity. Using measure rigidity for higher-rank diagonal actions, we complement this result and show that, in dimension three or higher, only very few of these divergent orbits can spend all of their life-span in a given compact set before they diverge.

mathematics, applied
Low Rank Matrix Recovery from Clifford Orbits.

Richard Kueng,Huangjun Zhu,David Gross

DOI: https://doi.org/10.48550/arxiv.1610.08070

2016-01-01

Abstract:We prove that low-rank matrices can be recovered efficiently from a small number of measurements that are sampled from orbits of a certain matrix group. As a special case, our theory makes statements about the phase retrieval problem. Here, the task is to recover a vector given only the amplitudes of its inner product with a small number of vectors from an orbit. Variants of the group in question have appeared under different names in many areas of mathematics. In coding theory and quantum information, it is the complex Clifford group; in time-frequency analysis the oscillator group; and in mathematical physics the metaplectic group. It affords one particularly small and highly structured orbit that includes and generalizes the discrete Fourier basis: While the Fourier vectors have coefficients of constant modulus and phases that depend linearly on their index, the vectors in said orbit have phases with a quadratic dependence. In quantum information, the orbit is used extensively and is known as the set of stabilizer states. We argue that due to their rich geometric structure and their near-optimal recovery properties, stabilizer states form an ideal model for structured measurements for phase retrieval. Our results hold for $m\geq C \kappa_r r d \log(d)$ measurements, where the oversampling factor k varies between $\kappa_r=1$ and $\kappa_r = r^2$ depending on the orbit. The reconstruction is stable towards both additive noise and deviations from the assumption of low rank. If the matrices of interest are in addition positive semidefinite, reconstruction may be performed by a simple constrained least squares regression. Our proof methods could be adapted to cover orbits of other groups.
A Novel Quaternion Design Construction for STBC

Huanfei Ma,Qinghui Lan,Haibin Kan,Hideki Imai

DOI: https://doi.org/10.1109/icc.2008.526

2008-01-01

Abstract:In this paper, several investigations have been performed for solving the open problem that if small quaternion orthogonal design can be used to build larger one. The so called coordinate interleaved orthogonal designs (CIODs) are generalized into quaternion in the paper, and consequently it introduces a new construction technique for 4 n times 4 m rectangular matrices whose elements are quaternion variables based on any existing n times m quaternion orthogonal design for space-time block codes (STBCs). Analysis shows that maximum likelihood (ML) decoding can be applied for this design with reduced complexity , and the design reaches full diversity. As examples, 8 times 8 quaternion designs are constructed.

Application of Orbits in the Pooling Designs

Constructing Error-Correcting Pooling Designs with Symplectic Space

Error-Tolerant Trivial Two-Stage Group Testing For Complexes Using Almost Separable And Almost Disjunct Matrices

Pooling designs with surprisingly high degree of error correction in a finite vector space

On the Parameterized Complexity of Pooling Design

Semi-cyclic holey group divisible designs with block size three and applications to sampling designs and optical orthogonal codes

Multi Block Overlapping Zero Padding Algorithm for Weak Signal Acquisition.

Complex spherical designs from group orbits

Fixed point sets and orbit spaces of wedge of three spheres

Orbital characters and their applications

Design of Combinatorial Countering Algorithm for Selecting Positioning Constellations

On one-orbit cyclic subspace codes of $\mathcal{G}_q(n,3)$

On the distance distributions of single-orbit cyclic subspace codes

Abelian Noncyclic Orbit Codes and Multishot Subspace Codes

Orbital Containment Control Algorithm and Complex Information Topology Design for Large-Scale Cluster of Spacecraft.

Non-dense orbits on homogeneous spaces and applications to geometry and number theory

Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing

Equidistribution of divergent orbits of the diagonal group in the space of lattices

Low Rank Matrix Recovery from Clifford Orbits.

A Novel Quaternion Design Construction for STBC