arXiv subjects

Fang-Wei Fu

Publications and source records attributed to Fang-Wei Fu.

At least 19 recordsLinked to original sources

arXiv2026

Optimal Ferrers Diagram Rank-Metric Codes: New Constructions, Diagram Combinations, and Applications to Constant-Dimension Subspace Codes

In this paper, we present three new constructions of optimal FDRM codes, all derived from subcodes of maximum rank-distance (MRD) codes. The first construction (Theorem~\ref{theo5}) is based on a new family of generator matrices for systematic MRD codes and yields several previously unknown optimal FDRM codes. In particular, for $q\geq 7$, it establishes the optimality of $[\mathcal{F},7]_q$ FDRM codes with $ \mathcal{F}=[1,2,3,4,8,8,8,8,8]$, thereby resolving an open problem posed by Zhang \emph{et al.} (Des. Codes Cryptogr., 87(1):107--121, 2019). Our second construction exploits structural properties of generator matrices of a family of systematic MRD codes to obtain new optimal FDRM codes whenever each of the rightmost $δ-2$ columns of the Ferrers diagram $\mathcal{F}$ contains at least $n-1$ dots. Building upon this approach, we further develop a third construction by substantially relaxing this requirement: it is sufficient to assume that each of the rightmost $δ-2$ columns of $\mathcal{F}$ contains at least $n-r$ dots, where $r<κ$ and $κ=n-δ+1$. Furthermore, by exploiting the notion of proper combinations of Ferrers diagrams, we develop several recursive constructions that produce large FDRM codes from smaller building blocks, yielding a number of new optimal families. In particular, for an $n\times n$ Ferrers diagram $\mathcal{F}$ with prescribed parameters, one of these constructions establishes the optimality of $[\mathcal{F},\frac{n}{2}-1]_q$ FDRM codes whenever $n$ is even, thereby settling an open problem posed by Etzion \emph{et al.} (IEEE Trans. Inf. Theory, 62(4):1616--1630, 2016).

cs.IT↗

arXiv2026

Construction of Multi-sequences With High Nonlinear Complexity via Narrow Ray Class Fields

Nonlinear complexity is a fundamental criterion in the evaluation of pseudorandom sequences. The construction of multi-sequences with high nonlinear complexity is both theoretically and practically important in cryptography. Motivated by prior constructions of multi-sequences with high nonlinear complexity in [IEEE Trans. Inf. Theory, 60(10), 2014] and [IEEE Trans. Inf. Theory, 63(12), 2017], we provide a unified framework via narrow ray class fields, the cyclic descent due to Guruswami and Xing in [J. Combin. Theory Ser. A 129 (2015) ]. Then we can generate new multi-sequences with high nonlinear complexity over function fields with arbitrary genera.

cs.IT↗

arXiv2026

Hyper-derivative Algebraic Geometry Codes via Local Expansions

In this paper, we develop a systematic construction framework of hyper-derivative algebraic geometry codes via local expansions, extending hyper-derivative Reed-Solomon codes from the rational function field to general algebraic function fields. Using the residue theorem, we determine their Euclidean duals and illustrate that the duals naturally reverse. We further give criteria for reverse self orthogonality and reverse self duality in terms of two classes of bilinear forms. Finally, we provide an asymptotic bound on the rate and relative distance via function field towers.

cs.IT↗

arXiv2026

On Sequence Reconstruction Problem for q-ary Deletion Channels

The sequence reconstruction problem for $q$-ary deletion channels, introduced by Levenshtein in 2001, concerns the minimum number of channels required to uniquely recover a transmitted sequence when each channel introduces exactly $t$ deletions. Combinatorially, it is equivalent to determining $N_q(n,d,t)$, the maximum intersection size of two $t$-deletion balls with centers at Levenshtein distance at least $d$, for $q$-ary sequences of length $n$ over the alphabet $Σ_q=\{0,1,\dots,q-1\}$. Levenshtein solved the uncoded case $N_q(n,1,t)$ for all $n\ge t$; subsequently, Gabrys and Yaakobi determined $N_2(n,2,t)$, and Wang et al. extended the result to $N_3(n,2,t)$. In this paper, we study the problem for $q$-ary sequences under minimum Levenshtein distance $d=2$ with channels that introduce exactly $t$ deletions. We determine the exact value of $N_q(n,2,t)$ for all $t\ge 2, q\geq 4$, and for sufficiently large $n$, and construct explicit pairs of sequences attaining the maximum intersection. Furthermore, for each $q\ge3$, we characterize all extremal sequence pairs. In particular, if the intersection size matches the first two terms of $N_q(n,2,t)$, then the two center sequences must contain, at the same positions, length-5 blocks of the forms $(a,b,c,a,b)$ and $(b,a,c,b,a)$ for some distinct $a,b,c\inΣ_q$; for $t\ge q+2$, the exact maximum $N_q(n,2,t)$ is attained precisely by $2q!$ unordered pairs of sequences with a specific block structure. Asymptotically, we prove that for $q\ge 4$ and $t\ge 2$, \[ N_q(n,2,t)=\frac{6}{(t-2)!}n^{t-2}-\frac{3t+13}{(t-3)!}n^{t-3}+\frac{3t^2+25t+64}{4(t-4)!}n^{t-4}+O(n^{t-5}). \] Moreover, $N_q(n,2,t)$ and $N_{q-1}(n,2,t)$ share their first $q-1$ terms, and for $t\ge q$ the coefficient of $n^{t-q}$ in their difference is $\frac{6t-6q+5}{(t-q)!}$.

cs.IT↗

arXiv2026

Quasi-MSRD Codes and Their Properties

Sum-rank-metric codes have recently attracted considerable attention of many researchers, due to their applications in network coding, space-time codes and distributed storage. MSRD codes are those good codes attaining the Singleton bound in the sum-rank metric. However, MSRD codes do not exist for some dimensions. Motivated by this fact, we introduce the notion of quasi-MSRD (QMSRD) codes and provide some properties of them. What is more, we find that not every QMSRD code has a QMSRD dual code, so we give the definition of dually QMSRD codes, whose dual codes and themselves are both QMSRD. Finally, we characterize such codes, derive their support, rank-list and sum-rank distributions as well as compute their generalized sum-rank weights.

cs.IT↗

arXiv2026

On the Minimum Field Size of Network MDS Codes for Generalized Combination Networks

This paper investigates the minimum field size required for network maximum distance separable (MDS) codes, a critical parameter affecting computational complexity at network nodes. Focusing on generalized combination networks and Zosin Khuller networks, we develop a systematic framework for both scalar and vector network MDS codes. For scalar codes on generalized combination networks, we establish an equivalence between the minimum distance of network codes and the minimum Hamming distance of classical linear codes, converting network-level MDS constraints into coding theory conditions. This yields necessary and sufficient existence conditions linked to classical MDS codes and covering Grassmannian codes. Using refined greedy constructions and MRD code designs, we obtain improved bounds on the minimum field size, outperforming the prior universal bound. For vector network codes, we develop an analogous distance equivalence and characterize existence via covering Grassmannian codes, yielding bounds on the minimum effective field size. Notably, the gap between optimal scalar and vector MDS codes vanishes for several parameter regimes; we explicitly identify a family of such networks where vector coding offers no field size advantage over scalar coding. For Zosin Khuller networks, we derive lower bounds on the minimal effective field size of vector MDS codes using hypergraph homomorphisms and subset intersection arguments, strictly improving prior scalar bounds. We further provide a necessary and sufficient condition built upon hypergraph homomorphisms for vector MDS construction, yielding an upper bound on the minimum field size. Finally, we bound the MDS gap between optimal scalar and vector solutions.

cs.IT↗

arXiv2026

On a class of twisted elliptic curve codes

Motivated by the studies of twisted generalized Reed-Solomon (TGRS) codes, we initiate the study of twisted elliptic curve codes (TECCs) in this paper. In particular, we study a class of TECCs with one twist. The parity-check matrices of the TECCs are explicitly given by computing the Weil differentials. Then the sufficient and necessary conditions of self-duality are presented. The minimum distances of the TECCs are also determined. Moreover, examples of MDS, AMDS, self-dual and MDS self-dual TECCs are given. Finally, we calculate the dimensions of the Schur squares of TECCs and show the non-equivalence between TECCs and ECCs/GRS codes.

cs.IT↗

arXiv2026

New families of asymptotically optimal codebooks from vectorial dual-bent functions

Codebooks with small maximum cross-correlation amplitudes play an important role in many applications, such as code division multiple access (CDMA) communication systems, multiple-input multiple-output (MIMO) communications, compressed sensing, and coding theory. In this paper, by using vectorial dual-bent functions, we construct several families of codebooks that asymptotically achieve the Welch bound. The maximum cross-correlation amplitudes and the distributions of the cross-correlation amplitudes of the constructed codebooks are explicitly determined. Furthermore, these codebooks have new parameters, and some of them have very small alphabet sizes.

cs.IT↗

arXiv2026

Constructions and Characterizations of $s$-Plateaued Partitions

Bent partitions play a significant role in constructing bent functions and have rich connections with coding theory and combinatorics. In this paper, we introduce $s$-plateaued partitions, which generalize the bent partitions. Let $Γ=\{A_{i}, 1 \leq i \leq K\}$ be a partition of $V_{n}^{(p)}$, where $V_{n}^{(p)}$ is an $n$-dimensional vector space over the prime field $\mathbb{F}_{p}$ and $p \mid K$. Then $Γ$ is called an $s$-plateaued partition of $V_{n}^{(p)}$ of depth $K$ if each $p$-ary function $f: V_{n}^{(p)} \rightarrow \mathbb{F}_{p}$ for which every $j \in \mathbb{F}_{p}$ has exactly $\frac{K}{p}$ of sets $A_{i}$ in $Γ$ in its preimage set, is a $p$-ary $s$-plateaued function. By using an $s$-plateaued partition, a large number of $p$-ary $s$-plateaued functions, vectorial $s$-plateaued functions and generalized $s$-plateaued functions can be constructed. In particular, $0$-plateaued partitions are just bent partitions. In general, $s$-plateaued partitions are much more complicated than bent partitions. We analyze the possible cardinality of $A_{i}$ of an $s$-plateaued partition. We give some explicit constructions of $s$-plateaued partitions for which any generated $p$-ary $s$-plateaued function has no nonzero linear structure. We give a characterization of an $s$-plateaued partition $Γ=\{A_{i}, 1 \leq i \leq K\}$, where $p$ is odd, $K \geq 5$ and $-A_{i}=A_{i}, 1 \leq i \leq K$. Based on which, we show that if $p \geq 5$, then the preimage set partition of a $p$-ary $s$-plateaued function $f: V_{n}^{(p)} \rightarrow \mathbb{F}_{p}$ with $f(x)=f(-x)$ is an $s$-plateaued partition if and only if $f$ is of $(p-1)$-form, where $n+s$ is even.When $s=0$, we partially address an open problem on whether a bent partition $Γ$ of $V_{n}^{(p)}$ of depth $p^{\frac{n}{2}}$ must be obtained from spreads.

cs.IT↗

arXiv2026

A New Family of Binary Sequences via Elliptic Function Fields over Finite Fields of Odd Characteristics

Motivated by the constructions of binary sequences by utilizing the cyclic elliptic function fields over the finite field $\mathbb{F}_{2^{n}}$ by Jin \textit{et al.} in [IEEE Trans. Inf. Theory 71(8), 2025], we extend the construction to the cyclic elliptic function fields with odd characteristic by using the quadratic residue map $η$ instead of the trace map used therein. For any cyclic elliptic function field with $q+1+t$ rational points and any positive integer $d$ with $\gcd(d, q+1+t)=1$, we construct a new family of binary sequences of length $q+1+t$, size $q^{d-1}-1$, balance upper bounded by $(d+1)\cdot\lfloor2\sqrt{q}\rfloor+|t|+d,$ the correlation upper bounded by $(2d+1)\cdot\lfloor2\sqrt{q}\rfloor+|t|+2d$ and the linear complexity lower bounded by $\frac{q+1+2t-d-(d+1)\cdot\lfloor2\sqrt{q}\rfloor}{d+d\cdot\lfloor2\sqrt{q}\rfloor}$ where $\lfloor x\rfloor$ stands for the integer part of $x\in\mathbb{R}$.

cs.IT↗

arXiv2026

Reed-Solomon Codes with Optimal Repair Bandwidth: A Basis-Transformation Approach

Maximum distance separable (MDS) codes are widely used in distributed storage, but naively repairing a single failure in an $(n,k)$ MDS code requires downloading the full contents of $k$ surviving nodes. Minimum storage regenerating (MSR) codes, introduced by Dimakis et al., minimize repair bandwidth while preserving the MDS property by contacting $d>k$ helper nodes and downloading only a fraction of each helper. For scalar MDS codes, Guruswami and Wootters established a linear repair framework, and Tamo, Ye, and Barg subsequently gave the first explicit Reed-Solomon (RS) codes achieving the MSR point. Their construction yields RS-MSR codes with subpacketization $\ell=s\prod_{i=1}^n p_i$, where $s=d+1-k$ and the distinct primes $p_i$ satisfy $p_i\equiv 1\pmod{s}$. In this paper, we show that this congruence condition is not intrinsic to the RS repair problem. We develop a basis-transformation approach to the construction of repair-enabling subspaces. The approach consists of three deterministic operations -- Euclidean Square Partition, Transposition, and Column Aggregation -- which construct the required repair-enabling subspaces directly from the standard monomial basis of the repair field. Consequently, we obtain RS-MSR codes with subpacketization $\ell=s\prod_{i=1}^n p_i$ for arbitrary distinct primes $p_i>s$. For fixed $s$, this improves the subpacketization of the Tamo--Ye--Barg construction by a factor asymptotic to $φ(s)^{n+\mathrm{o}(n)}$, where $φ(\cdot)$ denotes Euler's totient function.

cs.IT↗

arXiv2026

Constructions of locally repairable codes via concatenated codes

In recent years, locally repairable codes (LRCs) have attracted considerable attention owing to their pivotal role in distributed storage systems. Since binary linear locally repairable codes can significantly reduce the complexity of both encoding and decoding processes, the construction of binary LRCs has attracted extensive research interest. In this paper, we construct locally repairable codes via concatenated codes and present a systematic approach to select outer codes to obtain optimal binary LRCs, where the outer codes are linear codes over $\mathbb{F}_4$. The weight distributions of the resulting LRCs are determined by the weight distributions of the selected linear codes over $\mathbb{F}_4$. Furthermore, several classes of optimal binary locally repairable codes are constructed, including binary LRCs meeting the Griesmer-like bound, and binary perfect LRCs. Meanwhile, for the locality $r=2$, we improve the Johnson-like bound for binary LRCs with disjoint local repair groups established by Ma and Ge, and construct explicit LRCs that attain this new bound.

cs.IT↗

arXiv2026

On the Number of Subsequences in the Nonbinary Deletion Channel

In the deletion channel, an important problem is to determine the number of subsequences derived from a string $U$ of length $n$ when subjected to $t$ deletions. It is well-known that the number of subsequences in the setting exhibits a strong dependence on the number of runs in the string $U$, where a run is defined as a maximal substring of identical characters. In this paper we study the number of subsequences of a non-binary string in this scenario, and propose some improved bounds on the number of subsequences of $r$-run non-binary strings. Specifically, we characterize a family of $r$-run non-binary strings with the maximum number of subsequences under any $t$ deletions, and show that this number can be computed in polynomial time.

cs.IT↗

arXiv2026

Some New Results on Sequence Reconstruction Problem for Deletion Channels

Levenshtein first introduced the sequence reconstruction problem in $2001$. In the realm of combinatorics, the sequence reconstruction problem is equivalent to determining the value of $N(n,d,t)$, which represents the maximum size of the intersection of two metric balls of radius $t$, given that the distance between their centers is at least $d$ and the sequence length is $n$. In this paper, We present a lower bound on $N(n,3,t)$ for $n\geq \max\{13,t+8\}$ and $t \geq 4$. For $t=4$, we prove that this lower bound is tight. This settles an open question posed by Pham, Goyal, and Kiah, confirming that $N(n,3,4)=20n-166$ for all $n \geq 13$.

cs.IT↗

arXiv2026

Secure Network Function Computation for General Target and Security Functions

Secure network function computation is a critical research direction in network coding, which aims to ensure that the target function is correctly computed at the sink node while preventing the wiretapper from obtaining any information about the security function. In this paper, we focus on the general secure network function computation model, where the target function f and the security function ζ are arbitrary, and the wiretapper can eavesdrop on any subset of edges with size at most a given security level. Using information-theoretic techniques, we establish a nontrivial upper bound on the secure computing capacity, which is applicable to arbitrary networks, arbitrary target and security functions, and arbitrary security levels. This upper bound is shown to degenerate to the existing bounds in the literature when the target and security functions are specific forms. Furthermore, we consider two specific models: one where the target function is vector-linear and the security function is the identity function, and another where both functions are vector-linear. For the former, we derive a simplified form of the upper bound on the secure computing capacity via order-theoretic methods and propose an efficient algorithm to compute this bound with linear time complexity in the number of network edges. For the latter, we characterize the equivalent conditions for the computability and security of linear secure network codes, develop two constructive schemes for such codes, and derive an upper bound on the minimal finite field size required for the constructions, thereby obtaining a nontrivial lower bound on the secure computing capacity.

cs.IT↗

arXiv2026

Ciphertext-Policy ABE for $\mathsf{NC}^1$ Circuits with Constant-Size Ciphertexts from Succinct LWE

We construct a lattice-based ciphertext-policy attribute-based encryption (CP-ABE) scheme for $\mathsf{NC}^1$ access policies with constant-size ciphertexts. Let $λ$ be the security parameter. For an $\mathsf{NC}^1$ circuit of depth $d$ and size $s$ on $\ell$-bit inputs, our scheme has the public-key and ciphertext sizes $O(1)$ (independent of $d$), and secret-key size $O(\ell)$, where the $O(\cdot)$ hides $\operatorname{poly}(λ)$ factors. As an application, we obtain a broadcast encryption scheme for $N$ users with ciphertext size $\operatorname{poly}(λ)$ independent of $\log N$ and key sizes $\operatorname{poly}(λ,\log N)$. Our construction is selectively secure in the standard model under the $\operatorname{poly}(λ)$-succinct LWE assumption introduced by Wee (CRYPTO~2024).

cs.CR↗

arXiv2026

A Partial-Exclusion Repair Scheme for MDS Codes

For scalar maximum distance separable (MDS) codes, the conventional repair schemes that achieve the cut-set bound with equality for the single-node repair have been proven to require a super-exponential sub-packetization level.As is well known, such an extremely high level severely limits the practical deployment of MDS codes.To address this challenge, we introduce a partial-exclusion (PE) repair scheme for scalar linear codes.In the proposed PE repair framework, each node is associated with an exclusion set.The cardinality of the exclusion set is called the flexibility of the node.The maximum value of flexibility over all nodes defines the \textit{flexibility} of the PE repair scheme. Notably, the conventional repair scheme is the special case of PE repair scheme where the flexibility is 1. Under the PE repair framework, for any valid flexibility, we establish a lower bound on the sub-packetization level of MDS codes that meet the cut-set bound with equality for single-node repair. To realize MDS codes attaining the cut-set bound under the PE repair framework, we propose two generic constructions of Reed-Solomon (RS) codes. Moreover, we demonstrate that for a sufficiently large flexibility, the sub-packetization level of our constructions is strictly lower than the known lower bound established for the conventional repair schemes.This implies that, from the perspective of sub-packetization level, our constructions outperform all existing and potential constructions designed for conventional repair schemes. Finally, we implement the repair process for these codes as executable Magma programs, thereby exhibiting the practical efficiency of our constructions.

cs.IT↗

arXiv2026

Learning with Errors over Group Rings Constructed by Semi-direct Product

The Learning with Errors (\LWE) problem has been widely utilized as a foundation for numerous cryptographic tools over the years. In this study, we focus on an algebraic variant of the \LWE problem called \emph{Group ring} \LWE ($\GRLWE$). We select group rings (or their direct summands) that underlie specific families of finite groups constructed by taking the semi-direct product of two cyclic groups. Unlike the Ring-\LWE problem described in \cite{lyubashevsky2010ideal}, the multiplication operation in the group rings considered here is non-commutative. As an extension of Ring-$\LWE$, it maintains computational hardness and can be potentially applied in many cryptographic scenarios. In this paper, we present two polynomial-time quantum reductions. Firstly, we provide a quantum reduction from the worst-case shortest independent vectors problem (\SIVP) in ideal lattices with polynomial approximate factor to the search version of $\GRLWE$. This reduction requires that the underlying group ring possesses certain mild properties; Secondly, we present another quantum reduction for two types of group rings, where the worst-case \SIVP problem is directly reduced to the (average-case) decision $\GRLWE$ problem. The pseudorandomness of $\GRLWE$ samples guaranteed by this reduction can be consequently leveraged to construct semantically secure public-key cryptosystems.

cs.CR↗