SearcharxivSearch

arXiv subjects

Quanyu Tang

Publications and source records attributed to Quanyu Tang.

At least 19 recordsLinked to original sources

Neumann--Dirichlet eigenvalue comparison at the first Dirichlet threshold in the plane

Let $\Omega\subset\mathbb R^2$ be a bounded connected Lipschitz domain, and let $\{\mu_j(\Omega)\}_{j\geq1}$ and $\{\lambda_j(\Omega)\}_{j\geq1}$ denote the Neumann and Dirichlet Laplacian eigenvalues, respectively, counted with multiplicity. We prove that $$ \mu_3(\Omega)<\lambda_1(\Omega), $$ thereby removing the simple-connectivity assumption from the previously known planar result at the first Dirichlet threshold. We also establish a three-spectrum counting inequality relating the Dirichlet, Neumann, and conductivity spectra.

math.SP

Three omitted values and non-Blaschke point divisors in half-planes

We construct a real meromorphic function $F$ on $\mathbb C$ such that $F^{-1}(\{0,1,\infty\})\subset\mathbb R$, while $F$ is not of bounded type in either half-plane. More strongly, for every $a\in\widehat{\mathbb C}\setminus\{0,1,\infty\}$, the $a$-point divisor in either half-plane fails the Blaschke condition. Thus the construction provides an independent negative answer to a question going back to Nevanlinna's 1925 work that had remained open for over a century. Postcomposition gives the analogous counterexample for any prescribed triple of distinct values in the Riemann sphere. The core construction and proof were generated during an autonomous run of GPT-5.6 Sol Ultra.

math.CV

Tilting Completion and Full-Rank Self-Orthogonal Modules

We give negative answers to two tilting-completion questions for finite-dimensional algebras. We construct two finite-dimensional basic connected quasi-hereditary $\mathbb C$-algebras. The first admits a faithful basic full-rank pretilting module with no tilting completion; the second admits an almost-tilting module with no tilting completion. The full-rank example also yields counterexamples to two conjectures: Enomoto's Self-orthogonal Wakamatsu-tilting Conjecture and the Self-orthogonal Faithful Conjecture of Chen, Li, Zhang, and Zhao. We further show that the Self-orthogonal Wakamatsu-tilting Conjecture holds for all finite-dimensional algebras if and only if the Self-orthogonal Faithful Conjecture holds for all finite-dimensional algebras. The construction ultimately stems from Krah's non-full exceptional collection of maximal length on a rational surface and Kalck's associated full-rank presilting example.

math.RT

The nonseparable case of Kadison's problem on orthonormal bases of unitaries for type $\mathrm{II}_1$ factors

In 1967, Kadison asked ``does every type $\mathrm{II}_1$ factor have an orthonormal (with respect to the trace) basis consisting of unitaries?''In a previous paper \cite{HTZ26}, He, Tang, and Zhang resolved Kadison's problem in the separable case. We prove the complementary nonseparable case and thereby resolve Kadison's problem in full. In fact, the basis may be chosen to consist of self-adjoint unitaries. The proof combines a relative norming lemma under small-density constraints, a finite-layer certification scheme ensuring that the relevant Hilbert-space projections are represented by bounded elements of the ambient factor, and a transfinite extension along the density character of $L^2(M,\tau)$.

math.OA

A Family of Simultaneously Cospectral Trees for Degree-Distance Matrices

Spectral characterization of graphs for various graph matrices constitutes a central topic in spectral graph theory. Let $G$ be a graph with adjacency matrix $A(G)$, diagonal degree matrix $\Deg(G)$, distance matrix $D(G)$, and transmission matrix \(\Trs(G)\), respectively. Recently, Alfaro and Zapata (2024) introduced the degree-distance matrices \(\Ddegp(G)=\Deg(G)+D(G)\) and \(\Ddeg(G)=\Deg(G)-D(G)\), together with the transmission-adjacency matrices \(\Atrsp(G)=\Trs(G)+A(G)\) and \(\Atrs(G)=\Trs(G)-A(G)\). Based on computational evidence for trees on at most \(20\) vertices, they conjectured that all trees are determined by the spectra of \(\Ddegp\) as well as \(\Ddeg\). In this paper, we disprove these conjectures by constructing an infinite family of pairs of non-isomorphic trees. More precisely, for each integer \(r\ge 3\), we construct a pair of trees on \(17r-15\) vertices which are simultaneously cospectral with respect to the following six matrices \[ A,\quad L,\quad Q,\quad D,\quad \Ddegp,\quad \Ddeg . \] The construction is based on an \(r\)-regularized leaf extension and an equitable-partition reduction. We also record a simple sign-switching observation for transmission-adjacency matrices: if \(G\) is bipartite, then \(\Atrs(G)\) and \(\Atrsp(G)\) are similar via a diagonal \(\{\pm1\}\)-matrix and have the same Smith normal form. Consequently, for trees, the spectral and Smith normal form problems for \(\Atrs\) and \(\Atrsp\) are equivalent.

math.CO

Nearly permanental cospectral graphs

Let $G$ be a simple graph of order $n$ with adjacency matrix $A= (a_{ij})$. The \emph{determinant} and the \emph{permanen}t of the matrix $A$ are defined as \[\mathrm{det}A= \sum_{\sigma \in S_n}\mathrm{sgn}(\sigma) \prod_{i=1}^n a_{i\sigma(i)}\quad\text{and}\quad\mathrm{per}A= \sum_{\sigma \in S_n} \prod_{i=1}^n a_{i\sigma(i)},\]respectively. The polynomials $\phi(G;x) =\mathrm{det}(xI-A(G))$ and $\pi(G;x) =\mathrm{per}(xI-A(G))$ are called the \emph{characteristic polynomial} and the \emph{permanental polynomial} of $G$, respectively. Two graphs are said to be \emph{nearly cospectral} with respect to the determinant (resp. permanent) if the difference of their characteristic (resp. permanental) polynomials is a constant. Lv et al. introduced the nearly cospectral graphs problem with respect to the determinant, and provided partial results in the case modulo 4. In this paper, we mainly prove that the corresponding results also hold for the nearly cospectral graphs problem with respect to the permanent. The determinant and permanent are the immanants corresponding to the irreducible characters $(1^n)$ and $(n)$ of the symmetric group $ S_n $, respectively. Here, the \emph{immanant} $d_\lambda(A)$ of $A$ is defined as \[d_\lambda(A) = \sum_{\sigma \in S_n} \chi_\lambda(\sigma) \prod_{i=1}^n a_{i\sigma(i)},\] where $\chi_\lambda$ is the irreducible character of $ S_n $ indexed by the partition $ \lambda $. The immanantal polynomial of $G$ associated with $ \chi_\lambda $ is given by $ \phi_\lambda(G;x)=d_\lambda(xI-A) $. In this paper, we also establish a similar result for nearly immanantal cospectral graphs in $\mathbb{F}_2[x]$ for all irreducible characters $\chi_\lambda$.

math.CO

Strictly Convex Steklov-Isospectral Plane Domains

We construct pairs of noncongruent bounded Euclidean plane domains with identical Steklov spectra, including multiplicities. This gives a negative answer to the planar Steklov analogue of Kac's question ``Can one hear the shape of a drum?'' The domains are simply connected and strictly convex, have real-analytic boundaries, and may be chosen arbitrarily close to a disk in the $C^\infty$ topology.

math.SP

The $\Delta$-Conjecture for CIS $d$-Graphs

We prove the $\Delta$-conjecture, which dates back to Gurvich's 1978 thesis. Specifically, let the edges of a complete graph be colored with colors $1,\ldots,d$, and for each $i$ let $G_i$ be the graph on the same vertex set formed by the edges of color $i$. We prove that if every choice of a maximal stable set $S_i$ of $G_i$, one for each $i\in[d]$, has nonempty intersection, then the coloring contains no rainbow triangle. Together with a result of Andrade, Boros, and Gurvich, this characterizes CIS $d$-graphs as precisely the Gallai $d$-graphs whose chromatic components are ordinary CIS graphs. We also show that every factor in the canonical modular decomposition of a CIS $d$-graph is a CIS $d$-graph whose edge-coloring uses at most two colors.

math.CO

Integral Representations and Asymptotics for a Family of Areal Mahler Measures

We study a problem posed by Matilde Lal\'in concerning the areal Mahler measures of the multivariable polynomial family $$ P_m(x_1,\ldots,x_m,u) = \prod_{j=1}^m(1+x_j) + u\prod_{j=1}^m(1-x_j), \qquad m\geq1. $$ Using a probabilistic reformulation, we derive convolution and one-dimensional Fourier integral representations for $\mathrm m_{\mathbb D}(P_m)$. We prove that, for every fixed $m$, the value $\pi^m\mathrm m_{\mathbb D}(P_m)$ belongs to the algebra of level-$4$ cyclotomic multiple polylogarithm values, and we evaluate the first nontrivial case $m=2$ explicitly in terms of $\operatorname{Li}_4(1/2)$, $\zeta(3)$, Catalan's constant, $\pi$, and $\log2$. We also derive an explicit three-term asymptotic expansion for $\mathrm m_{\mathbb D}(P_m)$ as $m\to\infty$.

math.NT

Graph Eigenvalues and Projection Constants

For an integer $k\ge2$, let $\lambda_k(G)$ denote the $k$th largest adjacency eigenvalue of a graph $G$. For every graph $G$ on $n$ vertices and every $2 \leq k \leq n$, we prove \[ \lambda_k(G) \le \frac{(k-2)\sqrt{k+1}+2}{2k(k-1)}\,n-1. \] Our bound is tight for $k\in\{2,3,4,8,24\}$. We obtain it by reducing the graph-eigenvalue problem to an extremal problem for orthogonal projections and then applying the general upper bound on the absolute projection constant $\gamma(r)$ due to Der\k{e}gowska and Lewandowska. We also give an alternative proof of their bound by repairing the Gegenbauer-polynomial argument of K\"onig and Tomczak-Jaegermann. The resulting slack identity yields a strict improvement in every even dimension $r\ge4$ for which $r+2$ is not a perfect square.

math.CO

Eventually greedy best Egyptian underapproximations of rational numbers via optimal control

We prove that every positive rational number has eventually greedy best Egyptian underapproximations, both when repetitions of the denominators are allowed and when the denominators are required to be distinct. This answers affirmatively a problem originating with Erd\H{o}s and Graham and later revisited by Nathanson, and yields an application concerning the maximal asymptotic growth of denominators in unit fraction series converging to a given rational number. We reformulate the question as an optimal control problem for a dynamical system, construct an appropriate payoff function, and study properties of the associated Bellman function. We also answer another question of Nathanson by constructing an irrational number with unique and greedy best Egyptian underapproximations.

math.NT

Infinitely Many Components in Auslander--Reiten Quivers of Representation-Infinite Algebras over Perfect Fields

Let $k$ be a perfect field and let $A$ be a representation-infinite finite-dimensional $k$-algebra. We prove that the Auslander--Reiten quiver of $A$ has infinitely many connected components. This establishes, for finite-dimensional algebras over perfect fields, a conjecture of Auslander, Reiten, and Smal\o{} concerning Artin algebras. Over an algebraically closed field, the proof combines a localized polynomial representation embedding with semilinear twists induced by field automorphisms. The passage from a perfect field to its algebraic closure is obtained by separable base change: we prove that if the Auslander--Reiten quiver of $A$ has only finitely many components, then the same holds for the scalar extension to the algebraic closure.

math.RT

The positive and negative square-energy conjecture

Let $s^+(G)$ and $s^-(G)$ denote the sums of the squares of the positive and negative adjacency eigenvalues of a graph $G$, respectively. We prove the conjecture of Elphick, Farber, Goldberg, and Wocjan that every connected graph $G$ on $n$ vertices satisfies $$ \min\{s^+(G),s^-(G)\}\ge n-1. $$ The proof introduces a new framework for square-energy estimates, in which the Hadamard squares of positive semidefinite matrices that encode these spectral quantities are relaxed to the full doubly nonnegative cone.

math.CO

A positive square-energy strengthening of Tur\'an's theorem

Let $G$ be an $n$-vertex graph with clique number $\omega(G)$, and let $s^+(G)$ denote the sum of the squared positive adjacency eigenvalues. We prove that $$ \sqrt{s^+(G)}\le\left(1-\frac{1}{\omega(G)}\right)n. $$ This strengthens Wilf's classical spectral Tur\'{a}n theorem and resolves a conjecture of Elphick and Wocjan. Adopting the relaxation of our companion paper on the square-energy conjecture, we reduce the theorem to a Motzkin--Straus inequality for doubly nonnegative matrices, which we prove via a local inverse-probability estimate for the Caro--Wei greedy algorithm on the complement.

math.CO

Supersaturation in Nosal graphs: Triangles and books

In this paper, we use the spectral surplus $\lambda(G) - \sqrt{m}$ to measure how far $G$ lies above the Nosal threshold, and prove the following edge-spectral supersaturation results for triangles and books. (a) Every graph $G$ with $m\ge 3$ edges and $\lambda(G) \ge 1 + \sqrt{m-2}$ contains at least $m-2$ triangles, with equality if and only if $G = K_3 \vee \tfrac{m-3}{3} K_1$. This can be viewed as the third-layer supersaturation in the jump phenomenon, after the first layer $t(G) \ge \lfloor \tfrac{1}{2}(\sqrt{m}-1) \rfloor$ proved by Ning and Zhai, and the second layer $t(G) \ge \tfrac{m-1}{2}$ by Zhang and Zhai. (b) Every $m$-edge graph $G$ satisfies $t(G) \ge m\bigl(\lambda - \sqrt{m}\,\bigr)$, with equality if and only if $G$ is complete bipartite. Consequently, $\lambda(G) \ge \sqrt{m} + q$ forces $t(G) > q m$ for every real $q > 0$. This is an edge-spectral counterpart of the Lov\'asz--Simonovits theorem, and it improves the Bollob\'as--Nikiforov bound $t(G) \ge \tfrac13 \lambda(\lambda^2 - m)$ in the range $\sqrt m \le \lambda(G) \le 1.3\sqrt m $. (c) Every $m$-edge Nosal graph $G$ contains a book of size greater than $\tfrac14 \sqrt{m}$. This improves two recent results on the booksize constant: $\tfrac{1}{24}$ proved by Li, Liu and Zhang, and $\tfrac19$ by Zhai, Li and Lou. This narrows the gap toward the conjectured optimal constant $\tfrac13$. (d) Every $m$-edge Nosal graph $G$ contains at least $\bigl(\tfrac{1}{8} - o(1)\bigr) m$ copies of the kite $C_4^+=B_2$, and the constant $\tfrac18$ is best possible. This determines the sharp asymptotic constant for counting $C_4^+$ and strengthens the $\Omega(m)$ bound of Li, Liu and Zhang.

math.CO

Generalized spectral closedness of $\mathcal{F}$-free graph classes

In this paper, we investigate the generalized spectral closedness of graph classes defined by a family $\mathcal{F}$ of forbidden induced subgraphs. To systematically study this property, we introduce a novel combinatorial concept of patterned closed walks (or $\beta$-closed walks), which naturally interlaces the edges of a graph with those of its complement. By establishing the induced-subgraph expansion of these $\beta$-closed walk counts, we obtain an algebraic sufficient condition for generalized spectral closedness based on the existence of a walk-realizable $\mathcal{F}$-supporter. Crucially, the search for such a walk-realizable supporter is reduced to a linear programming feasibility problem. As primary applications of this computational framework, we prove that the classes of threshold graphs and chain graphs are generalized spectrally closed.

math.CO

Irregular subgraph in a regular graph

A conjecture of Alon and Wei states that, for any $d$-regular graph $G$ with $n$ vertices, there exists a spanning subgraph $H$ such that for all $0\le i\le d$, we have $m(H, i)$, the number of vertices in $H$ with degree $i$, is between $\frac{n}{d+1}-2$ and $\frac{n}{d+1}+2$. We prove the conjecture for all fixed $d$ when $n$ is sufficiently large. More precisely, if $q=(q_0,\ldots,q_d)$ satisfies $$ \sum_{i=0}^d q_i=n,\qquad \sum_{i=0}^d i q_i\equiv 0\pmod 2,\qquad \left|q_i-\frac{n}{d+1}\right|\le 1 \quad (0\le i\le d), $$ then there is a spanning subgraph $H\subseteq G$ such that $$ m(H,i)=q_i \qquad (0\le i\le d). $$

math.CO

Minimum-rank parameters of complements of threshold Kneser graphs

Let $J_{\ge s}(n,k)$ be the graph whose vertices are the $k$-subsets of $[n]$, with two distinct vertices adjacent whenever their intersection has size at least $s$. Equivalently, $J_{\ge s}(n,k)$ is the complement of a threshold Kneser graph. We determine both the symmetric minimum rank over an arbitrary infinite field and the real positive semidefinite minimum rank of this family. Specifically, for $k\ge2$, $1\le s\le k-1$, and $n\ge2k-s$, we prove $$ \operatorname{mr}^{\mathbb F}\left(J_{\ge s}(n,k)\right) = \binom{n-2(k-s)}{s} $$ for every infinite field $\mathbb F$, and $$ \operatorname{mr}_{+}^{\mathbb R}\left(J_{\ge s}(n,k)\right) = \binom{n-2(k-s)}{s}. $$ The lower bound follows from a diagonal submatrix indexed by two carefully chosen families of $k$-subsets. For the upper bound, we construct a symmetric matrix using an exterior power of a bilinear form, a Lagrange interpolation identity, and a generic nonvanishing argument. Over $\mathbb R$, an interlacing choice of parameters makes the bilinear form positive definite and yields a positive semidefinite matrix attaining the required upper bound. As consequences, we answer a question from an American Institute of Mathematics workshop, determine the real faithful orthogonality dimension of all graphs $J_{\ge s}(n,k)$ in the stated range, and recover the known minimum-rank formula for Johnson graphs.

math.CO