arXiv subjects

Yutong Zhang

Publications and source records attributed to Yutong Zhang.

At least 55 records · Page 3Linked to original sources

arXiv2026

Intermediate Constacyclic Codes and Scalar-Residue Reed--Muller Layers

A 2024 paper of Sun, Ding and Wang introduced a second class of constacyclic codes over finite fields, denoted $C(q,m,r,\ell)$, with length $(q^m-1)/r$, where $r\mid(q-1)$ and the defining monomials have total $q$-ary degree congruent to $r-1$ modulo $r$. In the non-projective intermediate range $2<r<q-1$ the paper gave a sharp-looking upper bound and a BCH-type lower bound, and left the minimum distance open. We prove that the upper bound is the exact minimum distance for every admissible intermediate parameter. More precisely, if $\ell=(q-1)a+b<(q-1)m-1$, $0\le b\le q-2$, and $b\equiv r-1\pmod r$, then, for every prime power $q$, every divisor $r$ of $q-1$ with $2<r<q-1$, and every $m\ge2$, \[ d(C(q,m,r,\ell))= \begin{cases} \displaystyle \frac{q-1}{r}(q-b+1)q^{m-a-2},&0\le a\le m-2,\\[1mm] \displaystyle \frac{q-b+r-2}{r},&a=m-1. \end{cases} \] The first line settles the open problem of Sun, Ding and Wang; the second line is the terminal case already forced by their BCH bound. We also determine the minimum affine support of every non-terminal scalar-residue layer of a generalized Reed--Muller code. The resulting dichotomy says that the first Reed--Muller weight survives exactly for residue classes $0$ and $1$, while every other residue-matched layer starts at the second Reed--Muller weight. The proof uses the hidden scalar homogeneity of the evaluation model, an orbit-counting obstruction for minimum Reed--Muller supports, and a homogeneous pencil construction that attains the second weight.

cs.IT↗

arXiv2026

Algebraic Resolutions of Seven Open Problems on Cyclic and Negacyclic Codes Supporting Designs

This paper gives a unified algebraic solution to seven open problems of Wang, Tang and Ding on cyclic, negacyclic and constacyclic codes supporting designs. For the cyclic code \[ C\left(\frac{p^s-1}{2},\frac{p^s+1}{2}\right), \] a Cayley parametrization of the unit circle reduces the trace-zero condition to a semilinear equation on $\PG(1,q)$. Its large root sets are exactly the $\F_{p^{\gcd(m,s)}}$-sublines, yielding the complementary design \[ \overline{S(3,q_0+1,q+1)}. \] For the length $q^2+1$ negacyclic code, a quotient transport from $\U_{2(q^2+1)}$ to $\U_{q^2+1}$ and a unit-circle parametrization show that the minimum zero sets are precisely the Baer sublines of $\PG(1,q^2)$. Equivalently, the corresponding support design is the complement of the non-tangent plane sections of an elliptic quadric $\Q^-(3,q)$. For constacyclic ovoid codes of length $q^2+1$ over $\F_q$, the exact existence criterion is \[ λ\in\F_q^*,\qquad \exists\ λ\text{-constacyclic ovoid code} \Longleftrightarrow λ\notin(\F_q^*)^2. \] In particular, negacyclic ovoid codes exist exactly when $q\equiv3\pmod4$. The proof uses the corrected projective-order congruence \[ a=(q+1)c,\qquad c\equiv b\pmod{q-1},\qquad \operatorname{ord}(θ\F_q^*)=\frac{q^2+1}{\gcd(q^2+1,c)}. \] The paper also derives a universal weight enumerator for lifted ovoid codes over extension fields, independent of the chosen ovoid. Finally, consecutive-root negacyclic MDS codes are constructed to give complete simple $5$-designs, including a proper negacyclic $[11,5,7]_{23}$ code whose minimum supports form the complete $5-(11,7,15)$ design.

cs.IT↗

arXiv2026

A Determinant Congruence Conjectured by Sun

We prove a strengthened form of a conjecture of Sun on a determinant attached to a binary quadratic form. Let $n>3$ and let $c,d\in\Z$. If $n$ is composite, then \[ \det\big[(i^2+cij+dj^2)^{n-2}\big]_{0\leq i,j\leq n-1}\equiv 0\pmod {n^2} \] with no condition on $c$ and $d$. If $n=p$ is prime, the same congruence holds whenever the Legendre symbol $\leg{d}{p}$ is $-1$. For composite $n$, a polynomial determinant is divisible by two Vandermonde factors; after specialisation, their product already yields the required square divisor. For prime $n=p$, we estimate the rank of the matrix modulo $p$. The required rank defect follows from a coefficient cancellation obtained from the involution $t\mapsto d/t$ on $\Fp^\times$ and the condition $\leg{d}{p}=-1$.

math.NT↗

arXiv2026

Sun-type determinant and permanent congruences

Sun proposed a list of congruence and quadratic-residue conjectures for determinants and permanents over residue classes modulo a prime. This article gives a uniform treatment of Conjectures 4.6, 4.7, 4.8(ii), 4.9, 4.10(ii), 4.11 and 4.12 from Sun's list, while making explicit the overlap with two earlier contributions. Luo and Xia's Legendre-symbol formula for $D_p(b,1)$ already implies the non-vanishing assertion in Conjecture 4.6 when $p\equiv5\pmod {24}$; our determinant argument gives a root-quotient criterion for irreducible binary quadratic forms over $\Fp$ and also covers the remaining case $p\equiv19\pmod {24}$. For the Cauchy kernel $1/(x-y)$, we prove the derangement determinant and permanent congruences modulo $p^2$ and a polynomial fixed-point permanent congruence modulo $p$. For the Cayley kernel $(x+y)/(x-y)$, She, Sun and Xia's permanent identity supplies the structural input for the fixed-point permanent; combined with our Cauchy permanent congruence and Morley's congruence, it yields the congruence modulo $p^2$. Independent interpolation arguments give the signed fixed-point determinant congruences and the quadratic-residue assertion for the signed derangement determinant. Finally, a local expansion at the unique zero eigenvalue proves the half-size quadratic Cayley determinant divisibility by $p^2$, and by $p^3$ when $p\equiv7\pmod8$.

math.NT↗

arXiv2026

Two determinant evaluations in Sun's conjectures involving Legendre symbols

We prove two determinant evaluations attached to Sun's conjectures on matrices of Legendre symbols. The first one resolves the $p\equiv1\pmod4$ part of Conjecture 4.8(i) by reducing the determinant with four indeterminates to a four-entry inverse package for the adjacent minor $[χ(j-k+1)]_{0\le j,k<(p-1)/2}$. The core evaluation is \[ \det H=\leg{2}{p}(b'_p-a'_p),\qquad U^TH^{-1}U= \begin{pmatrix} \leg{2}{p}\dfrac{pb'_p-a'_p}{b'_p-a'_p}&1\\[2mm] \dfrac{b'_p-a'_p-1}{b'_p-a'_p}&1 \end{pmatrix}, \] where $U=(\mathbf1,η)$ and $η_j=χ(j)$. The proof uses Vsemirnov's factorisation of Chapman's matrix and an adjacent cofactor calculation. The second result gives a uniform exact congruence modulo $p$ for the determinant underlying Sun's Conjecture 4.10(i), valid for any ordered half-system modulo sign and all $u,v\in\mathbb F_p$. Its standard specialization recovers the asserted square class. The square-class assertion itself also follows from Sun's earlier evaluation of $T(d,p)$; the contribution here is an exact and half-system refinement.

math.NT↗

arXiv2026

A Local Valuation Criterion for Quadratic-Permutation Interleaved Zadoff--Chu Sequences

Berggren and Popović introduced quadratic-permutation-polynomial interleaved Zadoff--Chu sequences and, from exhaustive data, conjectured that all normalized QPP-interleaved Zadoff--Chu sequences are inequivalent to ordinary Zadoff--Chu sequences precisely for prime-power lengths $N=p^n$ with $p>3$ and $n>1$. We give an exact local arithmetic criterion. For a normalized QPP $π_{a,b}(k)=ak^2+bk\pmod N$, the interleaved sequence is equivalent, under the standard five CAZAC-preserving operations, to a Zadoff--Chu sequence if and only if, for every prime power $p^α\Vert N$, the valuation of $a$ satisfies \[ ν_p(a)\ge \begin{cases} 0, & p=2,\ α=1,\\ α-1, & p=2,\ α\ge2,\\ α-1, & p=3,\\ α, & p>3. \end{cases} \] The proof is based on a third finite-difference invariant of the lifted Zadoff--Chu phase, namely \[ Δ^3\bigl((ak^2+bk+\varepsilon_N+2q)(ak^2+bk)\bigr) =12a(2ak+3a+b). \] As a consequence, the conjectured prime-power boundary is not correct: the exact non-vacuous condition for all nonzero normalized QPPs to be inequivalent to Zadoff--Chu sequences is that $N$ is odd, $9\nmid N$, and $p^2\mid N$ for at least one prime $p\ge5$. In particular, $N=75=3\cdot5^2$ is the smallest non-prime-power counterexample to the conjectured ``only if'' direction. A second corollary records the corresponding statement for irreducible QPPs.

math.NT↗

arXiv2026

Finite factorization is detected by undermonoids

Let $M$ be a cancellative commutative monoid and call a submonoid $S$ of $M$ an undermonoid if $\G(S)=\G(M)$ inside the Grothendieck group of $M$. Gotti and Li asked whether the finite factorization property is hereditary once it is known on all undermonoids: if every undermonoid of $M$ is a finite factorization monoid, must every submonoid of $M$ be a finite factorization monoid? We give an affirmative answer. Equivalently, for every cancellative commutative monoid $M$, the following two conditions coincide: every submonoid of $M$ is an FFM, and every undermonoid of $M$ is an FFM. The proof isolates a fixed length $\ell$ and an infinite set of length-$\ell$ factorizations of one element $b$. In the non-group case, a divisor-complement ideal $I=\{m\in M:m\nmid_M b\}$ enlarges the bad submonoid to a bad undermonoid while preserving the chosen length-$\ell$ factorizations. In the group case, a maximality argument over submonoids for which these factorizations survive is combined with a two-sided perturbation $S\mapsto S+\Nzero(2b+u)$. The key point is that the perturbation creates no new units and does not split any atom occurring in the fixed factorizations. This yields an undermonoid with infinitely many factorizations of $b$, contradicting the hypothesis.

math.GR↗

arXiv2026

A compensation theorem for the Sylow-integral invariant and counterexamples to an \texorpdfstring{$A_5$}{A5}-characterization conjecture

Let $ν_p(G)$ be the number of Sylow $p$-subgroups of a finite group $G$, let $σ_p(G)$ be their common order, and set \[ γ(G)=\int_0^1\sum_{p\inπ(G)}ν_p(G)x^{σ_p(G)}\,dx =\sum_{p\inπ(G)}\frac{ν_p(G)}{σ_p(G)+1}. \] A recent conjectural extension of the simple-group theorem for this invariant asserted that a nonsolvable finite group has $γ(G)=9/2$ precisely when $G\cong A_5$. We disprove this assertion by a direct and verifiable construction. More generally, we prove an exact direct-product compensation formula for $A_5$ with an arbitrary nilpotent factor. The formula reduces the equality $γ(A_5\times N)=9/2$ to a finite Egyptian-fraction equation in the orders of the Sylow subgroups of $N$. Taking $N=\C_2\times\C_7\times\C_{11}\times\C_{13}\times\C_{17}\times\C_{19}\times\C_{29}\times\C_{71}\times\C_{83}$, the loss in the $2$-Sylow contribution is exactly compensated by the new normal Sylow subgroups. Consequently $G=A_5\times N$ is nonsolvable, is not isomorphic to $A_5$, has solvable radical $N$, and nevertheless satisfies $γ(G)=9/2$. Several further explicit compensation certificates are also recorded.

math.GR↗

arXiv2026

Weighted Uniform Endpoint Majorants for Integrals Involving Modified Bessel Functions

We give an affirmative full-range solution to Gaunt's 2019 Open Problem~2.10. The problem asks whether, for every $ν>-1/2$ and $0<γ<1$, the reciprocal-power integral $\int_0^x e^{-γt}I_ν(t)t^{-ν}\,\dd t$ is bounded by a constant multiple of $e^{-γx}I_{ν+1}(x)x^{-ν}$, uniformly for all $x>0$. Earlier exponential-tilt estimates proved such endpoint majorants only under an additional smallness condition on $γ$. We prove the estimate throughout the natural range $0<γ<1$, with an explicit admissible constant. More generally, if $μ>-1$, $q>-1$, $0<γ<1$, and $w(x)x^{-q}$ is nondecreasing on $(0,\infty)$, then for every $θ\in(γ,1)$, $\int_0^x e^{-γt}w(t)t^{-μ}I_μ(t)\,\dd t$ is controlled by an explicit multiple of $e^{-γx}w(x)x^{-μ}I_{μ+1}(x)$. The case $w\equiv1$, $q=0$, and $μ=ν$ resolves Gaunt's problem. The weighted theorem also yields shifted-order and moment estimates, applies to approximate power weights and monotone regularly varying amplitudes, and provides two-sided estimates under a reversed comparison. We further analyze the sharp power-weighted quotient via endpoint expansions, a stationary equation, and parameter monotonicity.

math.CA↗

arXiv2026

A Uniform Random-Lattice Tail Bound for the SVP Kissing-Profile Parameter

A recent SICOMP paper on classical and quantum algorithms for the shortest vector problem introduced a lattice-dependent parameter $γ(L)$, bounded universally in the exponential sense by $2^{0.402n+o(n)}$, and conjectured that this parameter is $2^{o(n)}$ for most lattices. We prove the Haar--Siegel random-lattice version in a stronger, dimension-uniform form. Let $X_n=\operatorname{SL}_n(\R)/\operatorname{SL}_n(\Z)$, let $μ_n$ be its invariant probability measure, and let $γ(L)=\sup_{r\ge1} N_L(rλ_1(L))/r^n$, where $N_L(R)$ counts nonzero vectors of $L$ of Euclidean norm at most $R$. For every $n\ge3$ and every $T>0$, \[ μ_n\{L\in X_n:γ(L)>T\}\le C T^{-1} \] with an absolute constant $C$. Consequently, for every sequence $a_n\to\infty$, $γ(L_n)\le a_n$ with $μ_n$-probability tending to one; in particular $γ(L_n)=2^{o(n)}$ with high probability. In the product model of independent Haar--Siegel lattices, $γ(L_n)\le \exp(\sqrt n)$ eventually almost surely. The proof uses Rogers's second-moment estimate only through a dyadic self-normalization argument around the random scale $λ_1(L)$.

math.NT↗

arXiv2026

Compositional Consistency-Guided Decoding for Three-Way Logical Question Answering

Three-way logical question answering (QA) assigns one of $\text{True}$, $\text{False}$, or $\text{Unknown}$ to a hypothesis $H$ given a premise set $S$. We study this task as a compact compositional inference problem: predictions for $H$ and for a mechanically negated hypothesis $\neg H$ should agree under a deterministic negation map. Despite this simple structure, large language models (LLMs) can exhibit two practical failure modes: (i) negation inconsistency, where answers to $H$ and $\neg H$ violate the required label mapping, and (ii) epistemic $\text{Unknown}$, where the model abstains even when one side is entailed. We introduce CGD-PD, a lightweight, training-free test-time layer that combines neural 3-way classification, symbolic negation-consistency projection, and targeted binary entailment probes. On one validation split of FOLIO's first-order logic fields, CGD-PD improves accuracy by 4.4 points on GPT-5.2 and 6.8 points on Claude Sonnet 4.5, while reducing $\text{Unknown}$ predictions and epistemic abstention. These results provide a controlled proof of concept that simple logical composition at inference time can help evaluate and improve LLM reasoning reliability; they do not, by themselves, establish robustness beyond this formal benchmark setting.

cs.CL↗

arXiv2026

A Dynamical Model for Spatio-Temporal Processes Motivated by Second-Order Partial Differential Equations

An important class of spatio-temporal models is constructed by leveraging the hierarchical structure of dynamical (or, state-space) models. This paper proposes a new statistical dynamical model for spatio-temporal processes motivated by second-order stochastic partial differential equations (SPDE). In particular, an infinite-dimensional linear state-space representation is obtained where the state transition is governed by a proposed SDE. Then, using the Galerkin's method, a finite-dimensional approximation to the infinite-dimensional SDE is obtained, yielding a dynamical model with finite states that facilitates computation and parameter estimation. The space-time covariance of the approximated dynamical model is obtained, and the error between the approximate and exact covariance matrices is quantified. Comprehensive numerical investigations, including 2D wave equation, seismic wave propagation, advection-diffusion equations and wildfire aerosol propagation processes, are performed to demonstrate the application of the proposed model. Code is available.

stat.ME↗

arXiv2026

Reflections and New Directions for Human-Centered Large Language Models

Large Language Models (LLMs) are increasingly shaping the private and professional lives of users, with numerous applications in business, education, finance, healthcare, law, and science. With this rise in global influence comes greater urgency to build, evaluate, and deploy these systems in a manner that prioritizes not only technical capabilities but also human priorities. This work presents a framework for developing Human-Centered Large Language Models (HCLLMs), which integrates perspectives from Natural Language Processing (NLP), Human-Computer Interaction (HCI), and responsible AI. Considering the ethics, economics, and technical objectives of language modeling, we argue that model developers need to address human concerns, preferences, values, and goals, not only during a cursory post-training stage, but rather with rigor and care at every stage of the pipeline. This paper offers human-centered insights and recommendations for developers at each stage, from system design to data sourcing, model training, evaluation, and responsible deployment. Then we conclude with a case study, applying these insights to understand the future of work with HCLLMs.

cs.CL↗

arXiv2026

The Rise of AI Companions: Interaction with AI Companions and Psychological Well-being

As large language model (LLM)-enhanced chatbots become increasingly expressive and socially responsive, many users begin forming companionship-like bonds with them. This study investigates how using AI companions relates to psychological well-being. We collected self-reported data from 1,131 U.S. adults who use CharacterAI, including survey responses and 4,664 chat sessions (464,687 messages) from 237 participants. By triangulating self-reported usage, relationship descriptions, and real chat histories, we identify patterns of engagement and associated outcomes. Smaller social networks were associated with reporting companionship as the primary chatbot use (beta = -0.03, 95% confidence interval (CI) [-0.05, -0.01]), which in turn was associated with lower well-being (beta = -0.48, 95% CI [-0.70, -0.25]). For self-reported companionship usage, this association was stronger when interactions were intensive (beta = -0.31, 95% CI [-0.56, -0.06]) and highly disclosive (beta = -0.38, 95% CI [-0.63, -0.14]). These results suggest that the association between AI companionship and well-being is not uniform and depends on how chatbots are used and users' offline social environments.

cs.HC↗

arXiv2026

Universal Smoothness via Bernstein Polynomials: A Constructive Approximation Approach for Activation Functions

The efficacy of deep neural networks is heavily reliant on the design of non-linear activation functions, yet existing approaches often struggle to balance optimization stability with computational efficiency. While piecewise linear functions offer inference speed, they suffer from optimization instability due to non-differentiability at the origin, whereas smooth counterparts typically incur significant computational overhead through their reliance on transcendental operations. To address these limitations, this paper proposes a general smoothing framework based on constructive approximation theory and introduces the Bernstein Linear Unit (BerLU). This novel activation function utilizes Bernstein polynomials to construct a differentiable quadratic transition region that effectively eliminates singularities while maintaining a piecewise linear structure. Theoretical analysis demonstrates that the proposed method guarantees strictly continuous differentiability and a non-expansive Lipschitz constant of one, which ensures stable gradient propagation and prevents the gradient explosion problems common in deep architectures. Comprehensive empirical evaluations across representative Vision Transformer and Convolutional Neural Network architectures confirm that this approach consistently outperforms state-of-the-art baselines on standard image classification benchmarks while delivering superior computational and memory efficiency.

cs.AI↗

arXiv2026

Generative Interfaces for Language Models

Large language models (LLMs) are increasingly seen as assistants, copilots, and consultants, capable of supporting a wide range of tasks through natural conversation. However, most systems remain constrained by a linear request-response format that often makes interactions inefficient in multi-turn, information-dense, and exploratory tasks. To address these limitations, we propose Generative Interfaces for Language Models, a paradigm in which LLMs respond to user queries by proactively generating user interfaces (UIs) that enable more adaptive and interactive engagement. Our framework leverages structured interface-specific representations and iterative refinements to translate user queries into task-specific UIs. For systematic evaluation, we introduce a multidimensional assessment framework that compares generative interfaces with traditional chat-based ones across diverse tasks, interaction patterns, and query types, capturing functional, interactive, and emotional aspects of user experience. Results show that generative interfaces consistently outperform conversational ones, with up to a 72% improvement in human preference. These findings clarify when and why users favor generative interfaces, paving the way for future advancements in human-AI interaction. Data and code are available at https://github.com/SALT-NLP/GenUI.

cs.CL↗

arXiv2026

PRISM: Probing Reasoning, Instruction, and Source Memory in LLM Hallucinations

As large language models (LLMs) evolve from conversational assistants into agents capable of handling complex tasks, they are increasingly deployed in high-risk domains. However, existing benchmarks largely rely on mixed queries and posterior evaluation, output-level scoring, which quantifies hallucination severity but offers limited insight into where and why hallucinations arise in the generation pipeline. We therefore reformulate hallucination evaluation as a diagnostic problem and propose PRISM, a controlled benchmark that disentangles hallucinations into four dimensions: knowledge missing, knowledge errors, reasoning errors, and instruction-following errors, grounded in three stages of generation (memory, instruction, and reasoning). PRISM contains 9,448 instances across 65 tasks and supports fine-grained, stage-aware diagnostic evaluation. Evaluating 24 mainstream open-source and proprietary LLMs, we uncover consistent trade-offs across instruction following, memory retrieval, and logical reasoning, showing that mitigation strategies often improve specific dimensions at the expense of others. We hope PRISM provides a framework for understanding the specific mechanisms behind LLMs hallucinations, ultimately accelerating the development of trustworthy large language models.

cs.CL↗

arXiv2026

Memory-Efficient Transfer Learning with Fading Side Networks via Masked Dual Path Distillation

Memory-efficient transfer learning (METL) approaches have recently achieved promising performance in adapting pre-trained models to downstream tasks. They avoid applying gradient backpropagation in large backbones, thus significantly reducing the number of trainable parameters and high memory consumption during fine-tuning. However, since they typically employ a lightweight and learnable side network, these methods inevitably introduce additional memory and time overhead during inference, which contradicts the ultimate goal of efficient transfer learning. To address the above issue, we propose a novel approach dubbed Masked Dual Path Distillation (MDPD) to accelerate inference while retaining parameter and memory efficiency in fine-tuning with fading side networks. Specifically, MDPD develops a framework that enhances the performance by mutually distilling the frozen backbones and learnable side networks in fine-tuning, and discard the side network during inference without sacrificing accuracy. Moreover, we design a novel feature-based knowledge distillation method for the encoder structure with multiple layers. Extensive experiments on distinct backbones across vision/language-only and vision-and-language tasks demonstrate that our method not only accelerates inference by at least 25.2\% while keeping parameter and memory consumption comparable, but also remarkably promotes the accuracy compared to SOTA approaches. The source code is available at https://github.com/Zhang-VKk/MDPD.

cs.CV↗