Searcharxiv⌕ Search

arXiv subjects

Wei-Hsuan Yu

Publications and source records attributed to Wei-Hsuan Yu.

At least 19 recordsLinked to original sources
arXiv2026

On the structure and generic non-Cartesianity of polynomials in product spaces

We develop a general theory of Cartesian and non-Cartesian polynomials on products of complex spaces $\mathbb{C}^{n_1} \times \cdots \times \mathbb{C}^{n_k}$. We prove that, for any fixed degree $d \ge 2$, a (Zariski) generic polynomial is non-Cartesian in a broad range of dimensions, establishing that Cartesian structure is highly exceptional. We further introduce effective sufficient criteria for a polynomial to be non-Cartesian. Moreover, we show that being (non)-Catersian can be decided algorithmically via Gr\"obner basis methods and quantitative forms of Hilbert's Nullstellensatz. As an application, we connect the non-Cartesian condition to incidence geometry, obtaining sharp intersection bounds and constructing extremal configurations that demonstrate the optimality of these estimates.

math.AG↗
arXiv2025

Bounds on two-distance sets in Euclidean space and Unit Sphere

We establish upper bounds for the size of two-distance sets in Euclidean space and spherical two-distance sets. The main recipe for obtaining upper bounds is the spectral method. We construct Seidel matrices to encode the distance relations and apply eigenvalue analysis to obtain explicit bounds. For Euclidean space, we have the upper bounds for the cardinality $n$ of a two-distance set. \[ n \le \dfrac{(d+1)\left(\left(\frac{1+\delta^2}{1-\delta^2}\right)^2 - 1\right)}{\left(\frac{1+\delta^2}{1-\delta^2}\right)^2-(d+1)}+1. \] if the two distances are $1$ and $\delta$ in $\mathbb{R}^d$. For spherical two-distance sets with $n$ points and inner products $a, b$ on $\mathbb{S}^{d-1}$, we will have the following: \[ \begin{cases} n \le \dfrac{d\left(\left(\dfrac{a+b-2}{b-a}\right)^2-1\right)}{\left(\dfrac{a+b-2}{b-a}\right)^2-d}, &a+b \ge 0; n \le \dfrac{(d+1)\left(\left(\dfrac{a+b-2}{b-a}\right)^2-1\right)}{\left(\dfrac{a+b-2}{b-a}\right)^2-(d+1)}, &a+b < 0. \end{cases} \] Notice that the second bound (for $a+b < 0$) is the same as the relative bound for the equiangular lines in one higher dimension.

math.CO↗
arXiv2025

Constructions of Large m-Distance Sets on Triangular Lattice

An $m$-distance set is a collection of points such that the distances between any two points have $m$ possible values. We use two different methods to construct large $m$-distance sets on the triangular lattices. One is to use the first m smallest distances and find the largest cliques, and the other is using the notions of hexagons. Multiplicities of the distances were observed for comparison for the two methods.

math.CO↗
arXiv2025

Existence and nonexistence of spherical $5$-designs of minimal type

This paper investigates the existence and properties of spherical $5$-designs of minimal type. We focus on two cases: tight spherical $5$-designs and antipodal spherical $4$-distance $5$-designs. We prove that a tight spherical $5$-design is of minimal type if and only if it possesses a specific $Q$-polynomial coherent configuration structure. For tight spherical $5$-designs in $\mathbb{R}^d$ of minimal type, we demonstrate that half of the derived code forms an equiangular tight frames (ETF) with parameters $(d-1, \frac{(d-1)(d+1)}{3})$. This provides a sufficient condition for constructing such ETFs from maximal ETFs with parameters $(d, \frac{d(d+1)}{2})$. Moreover, we establish that tight spherical $5$-designs of minimal type cannot exist if the dimension $d$ satisfies a certain arithmetic condition, which holds for infinitely many values of $d$, including $d=119$ and $527$. For antipodal spherical $4$-distance $5$-designs, we utilize valency theory to derive necessary conditions for certain special types of antipodal spherical $4$-distance $5$-designs to be of minimal type.

math.CO↗
arXiv2025

Unbiased weighing matrices of weight $9$

We investigate unbiased weighing matrices of weight $9$ and provide a construction method using mutually suitable Latin squares. For $n \le 16$, we determine the maximum size among sets of mutually unbiased weighing matrices of order $n$ and weight $9$. Notably, our findings reveal that $13$ is the smallest order where such pairs exist, and $16$ is the first order for which a maximum class of unbiased weighing matrices is found.

math.CO↗
arXiv2024

Sharing tea on a graph

Motivated by the analysis of consensus formation in the Deffuant model for social interaction, we consider the following procedure on a graph $G$. Initially, there is one unit of tea at a fixed vertex $r \in V(G)$, and all other vertices have no tea. At any time in the procedure, we can choose a connected subset of vertices $T$ and equalize the amount of tea among vertices in $T$. We prove that if $x \in V(G)$ is at distance $d$ from $r$, then $x$ will have at most $\frac{1}{d+1}$ units of tea during any step of the procedure. This bound is best possible and answers a question of Gantert. We also consider arbitrary initial weight distributions. For every finite graph $G$ and $w \in \mathbb{R}_{\geq 0}^{V(G)}$, we prove that the set of weight distributions reachable from $w$ is a compact subset of $\mathbb{R}_{\geq 0}^{V(G)}$.

math.CO↗
arXiv2023

Semidefinite programming bounds on the size of entanglement-assisted codeword stabilized quantum codes

In this paper, we explore the application of semidefinite programming to the realm of quantum codes, specifically focusing on codeword stabilized (CWS) codes with entanglement assistance. Notably, we utilize the isotropic subgroup of the CWS group and the set of word operators of a CWS-type quantum code to derive an upper bound on the minimum distance. Furthermore, this characterization can be incorporated into the associated distance enumerators, enabling us to construct semidefinite constraints that lead to SDP bounds on the minimum distance or size of CWS-type quantum codes. We illustrate several instances where SDP bounds outperform LP bounds, and there are even cases where LP fails to yield meaningful results, while SDP consistently provides tighter and relevant bounds. Finally, we also provide interpretations of the Shor-Laflamme weight enumerators and shadow enumerators for codeword stabilized codes, enhancing our understanding of quantum codes.

quant-ph↗
arXiv2023

On character table of Clifford groups

Based on a presentation of $\mathcal{C}_n$ and the help of [GAP], we construct the character table of the Clifford group $\mathcal{C}_n$ for $n=1,2,3$. As an application, we can efficiently decompose the (higher power of) tensor product of the matrix representation in those cases. Our results recover some known results in [HWW, WF] and reveal some new phenomena. We prove that when $n \geq 3$, (1) the trivial character is the only linear character for $\mathcal{C}_n$ and hence $\mathcal{C}_n$ equals to its commutator subgroup, (2) the $n$-qubit Pauli group $\mathcal{P}_n$ is the only proper non-trivial normal subgroup of $\mathcal{C}_n$, (3) the matrix representation $\mathcal{M}_{2^n}$ is a faithful representation for $\mathcal{C}_n$. As a byproduct, we give a presentation of the finite symplectic group $Sp(2n,2)$ in terms of generators and relations.

math.RT↗
arXiv2023

Stability for hyperplane covers

An almost $k$-cover of the hypercube $Q^n = \{0,1\}^n$ is a collection of hyperplanes that avoids the origin and covers every other vertex at least $k$ times. When $k$ is large with respect to the dimension $n$, Clifton and Huang asymptotically determined the minimum possible size of an almost $k$-cover. Central to their proof was an extension of the LYM inequality, concerning a weighted count of hyperplanes. In this paper we completely characterise the hyperplanes of maximum weight, showing that there are $\binom{2n-1}{n}$ such planes. We further provide stability, bounding the weight of all hyperplanes that are not of maximum weight. These results allow us to effectively shrink the search space when using integer linear programming to construct small covers, and as a result we are able to determine the exact minimum size of an almost $k$-cover of $Q^6$ for most values of $k$. We further use the stability result to improve the Clifton--Huang lower bound for infinitely many choices of $k$ in every sufficiently large dimension $n$.

math.CO↗
arXiv2023

Semidefinite programming bounds for binary codes from a split Terwilliger algebra

We study the upper bounds for $A(n,d)$, the maximum size of codewords with length $n$ and Hamming distance at least $d$. Schrijver studied the Terwilliger algebra of the Hamming scheme and proposed a semidefinite program to bound $A(n, d)$. We derive more sophisticated matrix inequalities based on a split Terwilliger algebra to improve Schrijver's semidefinite programming bounds on $A(n, d)$. In particular, we improve the semidefinite programming bounds on $A(18,4)$ to $6551$.

cs.IT↗
arXiv2023

Graphlet and Orbit Computation on Heterogeneous Graphs

Many applications, ranging from natural to social sciences, rely on graphlet analysis for the intuitive and meaningful characterization of networks employing micro-level structures as building blocks. However, it has not been thoroughly explored in heterogeneous graphs, which comprise various types of nodes and edges. Finding graphlets and orbits for heterogeneous graphs is difficult because of the heterogeneity and abundance of semantic information. We consider heterogeneous graphs, which can be treated as colored graphs. By applying the canonical label technique, we determine the graph isomorphism problem with multiple states on nodes and edges. With minimal parameters, we build all non-isomorphic graphs and associated orbits. We provide a Python package that can be used to generate orbits for colored directed graphs and determine the frequency of orbit occurrence. Finally, we provide four examples to illustrate the use of the Python package.

cs.SI↗
arXiv2022

On the two-distance embedding in real Euclidean space of coherent configuration of type (2,2;3)

Finding the maximum cardinality of a $2$-distance set in Euclidean space is a classical problem in geometry. Lisoněk in 1997 constructed a maximum $2$-distance set in $\mathbb R^8$ with $45$ points. That $2$-distance set constructed by Lisoněk has a distinguished structure of a coherent configuration of type $(2,2;3)$ and is embedded in two concentric spheres in $\mathbb R^8$. In this paper we study whether there exists any other similar embedding of a coherent configuration of type $(2,2;3)$ as a $2$-distance set in $\mathbb R^n$, without assuming any restriction on the size of the set. We prove that there exists no such example other than that of Lisoněk. The key ideas of our proof are as follows: (i) study the geometry of the embedding of the coherent configuration in Euclidean spaces and to drive diophantine equations coming from this embedding. (ii) solve diophantine equations with certain additional conditions of integrality of some parameters of the combinatorial structure by using the method of auxiliary equations.

math.CO↗
arXiv2022

On the size of maximal binary codes with 2, 3, and 4 distances

We address the maximum size of binary codes and binary constant weight codes with few distances. Previous works established a number of bounds for these quantities as well as the exact values for a range of small code lengths. As our main results, we determine the exact size of maximal binary codes with two distances for all lengths $n\ge 6$ as well as the exact size of maximal binary constant weight codes with 2,3, and 4 distances for several values of the weight and for all but small lengths.

math.CO↗
arXiv2022

Quantum state tomography via non-convex Riemannian gradient descent

The recovery of an unknown density matrix of large size requires huge computational resources. The recent Factored Gradient Descent (FGD) algorithm and its variants achieved state-of-the-art performance since they could mitigate the dimensionality barrier by utilizing some of the underlying structures of the density matrix. Despite their theoretical guarantee of a linear convergence rate, the convergence in practical scenarios is still slow because the contracting factor of the FGD algorithms depends on the condition number $κ$ of the ground truth state. Consequently, the total number of iterations can be as large as $O(\sqrtκ\ln(\frac{1}{\varepsilon}))$ to achieve the estimation error $\varepsilon$. In this work, we derive a quantum state tomography scheme that improves the dependence on $κ$ to the logarithmic scale; namely, our algorithm could achieve the approximation error $\varepsilon$ in $O(\ln(\frac{1}{κ\varepsilon}))$ steps. The improvement comes from the application of the non-convex Riemannian gradient descent (RGD). The contracting factor in our approach is thus a universal constant that is independent of the given state. Our theoretical results of extremely fast convergence and nearly optimal error bounds are corroborated by numerical results.

quant-ph↗
arXiv2022

Semidefinite programming bounds for complex spherical codes

A complex spherical code is a finite subset on the unit sphere in $\mathbb{C}^d$. A fundamental problem on complex spherical codes is to find upper bounds for those with prescribed inner products. In this paper, we determine the irreducible decomposition under the action of the one-point stabilizer of the unitary group $U(d)$ on the polynomial ring $\mathbb{C}[z_1\ldots,z_d,\bar{z}_1,\ldots,\bar{z}_d]$ in order to obtain the semidefinite programming bounds for complex spherical codes.

math.CO↗
arXiv2022

Four-point semidefinite bound for equiangular lines

A set of lines in $\mathbb{R}^d$ passing through the origin is called equiangular if any two lines in the set form the same angle. We proved an alternative version of the three-point semidefinite constraints developed by Bachoc and Vallentin, and the multi-point semidefinite constraints developed by Musin for spherical codes. The alternative semidefinite constraints are simpler when the concerned object is a spherical $s$-distance set. Using the alternative four-point semidefinite constraints, we found the four-point semidefinite bound for equiangular lines. This result improves the upper bounds for infinitely many dimensions $d$ with prescribed angles. As a corollary of the bound, we proved the uniqueness of the maximum construction of equiangular lines in $\mathbb{R}^d$ for $7 \leq d \leq 14$ with inner product $α= 1/3$, and for $23 \leq d \leq 64$ with $α= 1/5$.

math.CO↗