arXiv subjects

Taehyeong Kim

Publications and source records attributed to Taehyeong Kim.

At least 19 recordsLinked to original sources

arXiv2026

Twisted Diophantine approximation: asymptotic and uniform results

Fix an $m\times n$ matrix $A$; twisted Diophantine approximation studies how well we can approximate the affine form $A {\bf q}-{\bf b}$ by an integer $m$-vector, depending on the choice of $m$-vector ${\bf b}$. We report on two companion papers in twisted Diophantine approximation, covering two setups: asymptotic and uniform. The asymptotic paper gives an exact Khintchine-type Lebesgue zero--one law, a null--conull criterion for badly approximable shifts, and Hausdorff-measure tests yielding exact power-law dimensions under a critical divergence condition. The uniform paper computes Hausdorff dimensions of sets of uniformly approximable vectors. It also gives Hausdorff zero--full laws, uniform-exponent spectra, and a sharp escape-of-mass bound. In both cases the results are established for arbitrary approximation functions from suitable regularity classes, and the arguments use a homogeneous lattice count involving all successive minima to record clustering in every independent direction.

math.NT↗

arXiv2026

Large deviations and applications in homogeneous dynamics

We consider the left translation action of an element $a$ on a finite-volume semisimple homogeneous space $G/Γ$, where $\operatorname{Ad}(a)$ is diagonalizable over $\mathbb{R}$. Assuming exponential mixing, we prove a sub-Gaussian large-deviation estimate for compactly supported smooth test functions. As an application, we prove effective uniqueness of the measure of maximal entropy. We also obtain quantitative pointwise equidistribution for Haar-almost every point on each full expanding horosphere.

math.DS↗

arXiv2026

Optimized Weight Initialization on the Stiefel Manifold for Deep ReLU Neural Networks

Stable and efficient training of ReLU networks with large depth is highly sensitive to weight initialization. Improper initialization can cause permanent neuron inactivation dying ReLU and exacerbate gradient instability as network depth increases. Methods such as He, Xavier, and orthogonal initialization preserve variance or promote approximate isometry. However, they do not necessarily regulate the pre-activation mean or control activation sparsity, and their effectiveness often diminishes in very deep architectures. This work introduces a semi-orthogonal initialization specifically optimized for ReLU by solving an optimization problem on the Stiefel manifold, thereby preserving scale and calibrating the pre-activation statistics from the outset. A family of closed-form solutions and an efficient sampling scheme are derived. Theoretical analysis at initialization shows that the proposed initialization mitigates dying ReLU, slows the decay of activation variance, and alleviates gradient vanishing, thereby stabilizing signal and gradient flow in deep architectures. Empirically, across MNIST, Fashion-MNIST, multiple tabular datasets, few-shot settings, and ReLU-family activations, the proposed initialization maintains stable performance as network depth increases, with particularly clear advantages in few-shot learning and large-depth settings.

cs.LG↗

arXiv2026

Enabling Tidying Tasks in Robotic Vacuum Cleaners via a Geometry-Induced Self-Locking Deployable Linkage

Robotic vacuum cleaners must extend their functionality within tight limits on size, cost, and durability. Deployable linkages with few actuators meet these limits, but their backdrivability makes it difficult to hold a load-bearing posture without continuous motor torque. We introduce a two-stage deployable linkage that locks through its own geometry. At full deployment, an internal three-link subchain approaches a collinear, near-singular configuration in which the input-output transmission ratio tends to zero; plate loads therefore leave only a small residual back-driving torque, which drive-train friction and a lightweight magnetic detent absorb. A single actuator performs deployment and locking, a passive chassis-mounted trigger releases the lock for retraction, and a second actuator adjusts only the deployment height. We integrate the mechanism into a commercial robotic vacuum cleaner and validate it through a 100-cycle repeatability test, a quasi-static load test in which the locked plate held 50 N with the motor de-energized, and 140 pushing-type tidying trials on seven household objects against a commercial arm-equipped vacuum robot. We derive the analytical holding condition and discuss its limits as an intermediate design point between passive compliance and articulated manipulation.

cs.RO↗

arXiv2026

Improved Upper Bounds for the Rank of the Determinant Tensor via Glynn's Formula

In this paper, we improve the upper bound for the tensor rank of the $n \times n$ determinant tensor to $\mathcal{B}_n-2^{n-1}+n+1$ by finding a new tensor decomposition of the tensor, where $\mathcal{B}_n$ denotes the $n$-th Bell number. The main idea is to replace a part of the tensor decomposition suggested by Houston--Goucher--Johnston with a tensor that is essentially the same as the $n \times n$ permanent tensor, and to use Glynn's formula. This upper bound gives an improved upper bound for the Waring rank of the $n \times n$ determinant polynomial for $n \geq 17$ as well.

math.AC↗

arXiv2026

Blackboard Intelligence Can Surpass Autoregressive on Globally Constrained Problems

Next-token prediction has driven remarkable progress in large language models, yet a growing body of evidence suggests that they can struggle on problems governed by complex global constraints. In this work, we focus on this regime and ask whether some of these limitations arise from the inference interface induced by next-token prediction itself. We study this question through blackboard intelligence: an inference-time perspective in which a model works on a fixed, revisable canvas and searches over candidate solution states rather than committing to a causal, left-to-right trajectory. We instantiate this idea with diffusion language models, whose any-order prediction interface naturally exposes predictions over partially filled solution states. Our key observation is that mean confidence, a simple model-internal quantity available from the standard masked diffusion objective, provides a useful proxy for global coherence and can guide inference-time search and revision. Empirically, across ZebraLogic, Nurse Rostering, and Job-Shop Scheduling, Blackboard consistently improves inference while holding the fine-tuned LLaDA-8B-Instruct checkpoint fixed and substantially outperforms same-scale autoregressive baselines, reaching 90.4% accuracy on ZebraLogic-Hard, 76.4% exact feasibility on Nurse Rostering, and 80.2% optimality on JSSP. Stronger autoregressive search and refinement also fail to close the gap on ZebraLogic-Hard, while Blackboard surpasses tested frontier LLMs there and on JSSP despite their substantially greater scale and strong test-time reasoning. We open-source our codebase at https://github.com/jwoosang1/blackboard-intelligence.

cs.LG↗

arXiv2026

Twisted Diophantine Approximation I: Asymptotic Theory

We establish an exact zero-one law for twisted Diophantine approximation with an arbitrary fixed real matrix and a positive non-increasing approximation function satisfying dyadic regularity. The criterion is the convergence or divergence of a dyadic series whose summands are Khintchine-Groshev block volumes divided by homogeneous lattice-point counts. An equivalent formulation is using all successive minima of the associated diagonal lattice trajectory, capturing homogeneous clustering in every direction. We also obtain an almost-sure zero-infinity law for inhomogeneous $ψ$-Lagrange constants, separate Hausdorff-measure criteria, and dimension results. Within this regularity class, our theorem recovers the Kurzweil and Fuchs-Kim criteria. At the critical exponent, this series determines whether the set of badly approximable shifts has zero or full Lebesgue measure.

math.NT↗

arXiv2026

Twisted Diophantine Approximation II: Uniform Theory

We develop a general method for uniform twisted metric Diophantine approximation with an arbitrary fixed real matrix. Using all successive minima of the associated diagonal lattice trajectory, we estimate lattice-point counts, accounting for clustering in every direction. Ratios of these counts give exact Hausdorff dimensions of sets of twisted $ψ$-Dirichlet vectors for a large class of functions $ψ$, including all except finitely many power functions {$T^{-τ}$, $τ>0$}. We obtain Hausdorff dimension formulae for the endpoint sets obtained by taking the intersection and union of the sets of twisted $cψ$-Dirichlet vectors over $c>0$, and prove that taking the intersections causes no dimension drop. Furthermore, we obtain Hausdorff dimensions of level sets of the uniform Diophantine exponent. In addition, we prove zero-full laws for general Hausdorff measures of $ψ$-Dirichlet sets. Applications recover the one-dimensional Kim-Liao formulae, strengthen Aggarwal's escape-of-mass upper bound, reproduce the metric criteria of Moshchevitin and the second author and give certain extensions of the above statements.

math.NT↗

arXiv2026

Seeing Is Not Addressing: Auditing Linguistic Access to Frozen Visual Geometry

Visual distinctions are often finer than those reflected in linguistic conceptualization. Vision-language models exhibit a similar asymmetry: a distinction can remain discriminable in frozen image geometry while being weakly addressable through the native text interface. We study this gap by separating visual discriminability from linguistic addressability in text-to-image retrieval. Using FactorAtlas, a fully crossed testbed of 23,040 images spanning shape, hue, pattern, and nuisance variation, we compare both readouts on held-out images of the same distinctions. We then derive image-side contrasts that separate each value from its alternatives for matched visual grounding, and test whether this reduces the native-text access gap across factors and models. Direction-specific and visual-absence controls tie these gains to the relevant visual contrast; the gains persist after global alignment and extend to compositional retrieval and natural images. Together, these results show that visual discriminability and linguistic addressability need not coincide, and that matched visual grounding can probe and reduce the resulting access gap.

cs.CV↗

arXiv2026

FRAME: Factored Retrieval via Attribute Readouts for Object-Centric Scene Memory

Language-guided robots need persistent scene memories to follow instructions, revisit objects, and resolve references to objects encountered over time. While much of language-guided scene-memory retrieval has emphasized spatial or relational references, many everyday object references specify objects by multiple persistent attributes, such as category, material, size, or surface appearance. We formalize this problem as attribute-compositional retrieval, where a fixed object-centric scene memory is queried with natural language to retrieve the object satisfying the requested attributes. To investigate this capability directly, we introduce a controlled evaluation protocol with fixed scene memories and attribute-defined targets, separating retrieval from perception and annotation ambiguities. We then propose FRAME, which turns language into query-relevant attribute weights, uses learned readouts to estimate per-attribute evidence from object embeddings, and ranks objects by aggregating this evidence according to the query. Across held-out scenes and object assets, FRAME outperforms representative scene-memory retrieval baselines while reducing post-decomposition object scoring to lightweight matrix-vector computation. These results position attribute-compositional retrieval as a complementary scene-memory capability for language-guided robots, showing that persistent object attributes can be exposed as composable evidence for accurate and efficient multi-attribute retrieval.

cs.CV↗

arXiv2026

Weighted singular vectors in common-base self-similar sets

We prove a lower bound for the Hausdorff dimension of weighted totally irrational singular vectors in affine-spanning common-base integral self-similar sets satisfying the open set condition. For the middle-third Cantor square, the bound improves the previously known explicit lower bound.

math.NT↗

arXiv2026

Structured matrix factorization length

Every (resp. a generic) complex $n \times n$ matrix can be expressed as a product of $2n+5$ (resp. $\lfloor n/2 \rfloor +1$) Toeplitz matrices. Motivated by this result, it is natural to ask the following question: what is the minimum number of Toeplitz matrices required to factor a given matrix? We generalize this question from Toeplitz structure to more general structures. In this paper, we introduce the notion of structured matrix factorization length when the set of matrices with a given structure is an affine variety $X \subseteq \mathbb{C}^{n \times n}$. Then we introduce the $r$-th $X$-factorization variety, defined as the Zariski closure of the set of products of $r$ matrices in $X$, and use it to define the border structured matrix factorization length. In particular, we study the cases in which $X$ is the affine variety of Toeplitz, Hankel, bidiagonal, tridiagonal, skew-symmetric or companion matrices. We calculate the dimension of the $X$-factorization varieties for all these cases, and discuss how numerical algebraic geometry can be used to obtain computational evidence for the degrees of $X$-factorization varieties with an example. In addition, we propose methods for deriving lower and upper bounds for (border) structured matrix factorization length. For lower bounds, we develop a method based on displacement rank, which can also be used to obtain some defining equations of the $r$-th $X$-factorization variety; for upper bounds, we suggest an approach using alternating minimization.

math.AG↗

arXiv2026

Hamiltonian and Symplectic Tensors in the T-product Algebra

We study Hamiltonian and symplectic tensor structures in the T-product algebra. We define T-Hamiltonian and T-symplectic tensors and characterize them through their Fourier-domain slices. For T-Hamiltonian tensors we establish the standard block form and the spectral symmetry of T-eigenvalues, while for T-symplectic tensors we derive the inverse and exponential-map properties. Our main result is a constructive T-Williamson normal form for tensors whose Fourier-domain slices are real symmetric positive-definite matrices. We also show that, under the Hermitian symplectic convention adopted here, this decomposition does not extend directly to arbitrary Hermitian positive-definite Fourier-domain slices, and we derive a real-valued recovery criterion under Fourier conjugate symmetry. Numerical experiments verify the construction, exhibit runtime trends consistent with the slice-wise complexity $O(pn^3)$, and illustrate the framework on a Fourier-domain encoding of covariance-matrix families arising in continuous-variable quantum dynamics.

math.NA↗

arXiv2026

SocraticKG: Knowledge Graph Construction via QA-Driven Fact Extraction

Constructing Knowledge Graphs (KGs) from unstructured text provides a structured framework for knowledge representation and reasoning, yet current LLM-based approaches struggle with a fundamental trade-off: factual coverage often leads to relational fragmentation, while premature consolidation causes information loss. To address this, we propose SocraticKG, an automated KG construction method that introduces question-answer pairs as a structured intermediate representation to systematically unfold document-level semantics prior to triple extraction. By employing 5W1H-guided QA expansion, SocraticKG captures contextual dependencies and implicit relational links typically lost in direct KG extraction pipelines, providing explicit grounding in the source document that helps mitigate implicit reasoning errors. Evaluation on the MINE benchmark and HotpotQA downstream task demonstrates that our approach effectively addresses the coverage-connectivity trade-off, achieving superior factual retention and structural cohesion while supporting complex multi-hop reasoning.

cs.CL↗

arXiv2026

Improved identification of breakpoints in piecewise regression and its applications

Identifying breakpoints in piecewise regression is critical in enhancing the reliability and interpretability of data fitting. In this paper, we propose novel algorithms based on the greedy algorithm to accurately and efficiently identify breakpoints in piecewise polynomial regression. The algorithm updates the breakpoints to minimize the error by exploring the neighborhood of each breakpoint. It has a fast convergence rate and stability to find optimal breakpoints. Moreover, it can determine the optimal number of breakpoints. The computational results for real and synthetic data show that its accuracy is better than any existing methods. The real-world datasets demonstrate that breakpoints through the proposed algorithm provide valuable data information.

stat.ML↗

arXiv2026

Singular systems of linear forms over global function fields

In this paper, we consider singular systems of linear forms over global function fields of class number one and give an upper bound for the Hausdorff dimension of the set of singular systems of linear forms by constructing an appropriate Margulis height function on the space of lattices over global function fields.

math.DS↗

arXiv2026

Low T-Phase Rank Approximation of Third Order Tensors

We study low T-phase-rank approximation of sectorial third-order tensors $\mathscr{A}\in\mathbb{C}^{n\times n\times p}$ under the tensor T-product. We introduce canonical T-phases and T-phase rank, and formulate the approximation task as minimizing a symmetric gauge of the canonical phase vector under a T-phase-rank constraint. Our main tool is a tensor phase-majorization inequality for the geometric mean, obtained by lifting the matrix inequality through the block-circulant representation. In the positive-imaginary regime, this yields an exact optimal-value formula and an explicit optimal half-phase truncation family. We further establish tensor counterparts of classical matrix phase inequalities and derive a tensor small phase theorem for MIMO linear time-invariant systems.

math.NA↗

arXiv2026

Tensor CUR Decomposition under the Linear-Map-Based Tensor-Tensor Multiplication

The factorization of three-dimensional data continues to gain attention due to its relevance in representing and compressing large-scale datasets. The linear-map-based tensor-tensor multiplication is a matrix-mimetic operation that extends the notion of matrix multiplication to higher order tensors, and which is a generalization of the T-product. Under this framework, we introduce the tensor CUR decomposition, show its performance in video foreground-background separation for different linear maps and compare it to a robust matrix CUR decomposition, another tensor approximation and the slice-based singular value decomposition (SS-SVD). We also provide a theoretical analysis of our tensor CUR decomposition, extending classical matrix results to establish exactness conditions and perturbation bounds.

math.NA↗