Source author record

Hoon Hong

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG Symbolic Computation math.NA math.NT math.RA math.AC Methodology Numerical Analysis

Catalog footprint

Research overview

12works

8topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Certificate for Orthogonal Equivalence of Real Polynomials by Polynomial-Weighted Principal Component Analysis

Suppose that $f(x) \in \mathbb{R}[x_1,\dots, x_n]$ and $g(x) \in \mathbb{R}[x_1,\dots, x_n]$ are two real polynomials of degree $d$ in $n$ variables. If the polynomials $f$ and $g$ are the same up to orthogonal symmetry a natural question is then what element of the orthogonal group induces the orthogonal symmetry; i.e. to find the element $R\in O(n)$ such that $f(Rx)=g(x)$ . One may directly solve this problem by constructing a nonlinear system of equations induced by the relation $f(Rx)=g(x)$ along with the identities of the orthogonal group however this approach becomes quite computationally expensive for larger values of $n$ and $d$ . To give an alternative and significantly more scalable solution to this problem, we introduce the concept of Polynomial-Weighted Principal Component Analysis (PW-PCA). We in particular show how PW-PCA can be effectively computed and how these techniques can be used to obtain a certificate of orthogonal equivalence, that is we find the $R\in O(n)$ such that $f(Rx)=g(x)$ .

preprint2026arXiv

Conditions for eigenvalue configurations of two real symmetric matrices (symmetric polynomial approach)

Given two real symmetric matrices, their eigenvalue configuration is the relative arrangement of their eigenvalues on the real line. In this paper, we consider the following problem: given two parametric real symmetric matrices and an eigenvalue configuration, find a simple condition on the parameters such that their eigenvalues have the given configuration. In this paper, we consider the problem under a mild condition that the two matrices do not share any eigenvalues. We give an algorithm which expresses the eigenvalue configuration problem as a real root counting problem of certain symmetric polynomials, whose roots can be counted using the Fundamental Theorem of Symmetric Polynomials and Descartes' rule of signs.

preprint2025arXiv

Conditions for eigenvalue configurations of two real symmetric matrices (signature approach)

For two real symmetric matrices, their eigenvalue configuration is therelative arrangement of their eigenvalues on the real line. We consider the following problem: given two parametric real symmetric matrices and an eigenvalue configuration, find a simple condition on the parameters such that the two matrices have the given eigenvalue configuration. In this paper, we develop theory and give an algorithm for this problem. The output of the algorithm is a condition written in terms of the signatures of certain related symmetric matrices.

preprint2023arXiv

Optimality of Curtiss Bound on Poincare Multiplier for Positive Univariate Polynomials

Let $f$ be a monic univariate polynomial with non-zero constant term. We say that $f$ is positive if $f(x)$ is positive over all $x\geq0$ . If all the coefficients of $f$ are non-negative, then $f$ is trivially positive. In 1883, Poincaré proved that $f$ is positive if and only if there exists a monic polynomial $g$ such that all the coefficients of $gf$ are non-negative. Such polynomial $g$ is called a Poincaré multiplier for the positive polynomial $f$ . Of course one hopes to find a multiplier with smallest degree. This naturally raised a challenge: find an upper bound on the smallest degree of multipliers. In 1918, Curtiss provided such a bound. Curtiss also showed that the bound is optimal (smallest) when degree of $f$ is 1 or 2. It is easy to show that the bound is not optimal when degree of $f$ is higher. The Curtiss bound is a simple expression that depends only on the angle (argument) of non-real roots of $f$ . In this paper, we show that the Curtiss bound is optimal among all the bounds that depends only on the angles.

preprint2020arXiv

A Condition for Multiplicity Structure of Univariate Polynomials

We consider the problem of finding a condition for a univariate polynomial having a given multiplicity structure when the number of distinct roots is given. It is well known that such conditions can be written as conjunctions of several polynomial equations and one inequation in the coefficients, by using repeated parametric gcd's. In this paper, we give a novel condition which is not based on repeated gcd's. Furthermore, it is shown that the number of polynomials in the condition is optimal and the degree of polynomials is smaller than that in the previous condition based on repeated gcd's.

preprint2020arXiv

Maximum gap in cyclotomic polynomials

Cyclotomic polynomials play fundamental roles in number theory, combinatorics, algebra and their applications. Hence their properties have been extensively investigated. In this paper, we study the maximum gap $g$ (maximum of the differences between any two consecutive exponents). In 2012, it was shown that $g\left( Φ_{p_{1}p_{2}}\right) =p_{1} -1$ for primes $p_{2}>p_{1}$ . In 2017, based on numerous calculations, the following generalization was conjectured: $g\left( Φ_{mp}\right) =φ(m)$ for square free odd $m$ and prime $p>m$ . The main contribution of this paper is a proof of this conjecture.

preprint2015arXiv

On Lazard's Valuation and CAD Construction

In 1990 Lazard proposed an improved projection operation for cylindrical algebraic decomposition (CAD). For the proof he introduced a certain notion of valuation of a multivariate Puiseux series at a point. However a gap in one of the key supporting results for the improved projection was subsequently noticed. In this report we study a more limited but rigorous concept of Lazard's valuation: namely, we study Lazard's valuation of a multivariate polynomial at a point. We prove some basic properties of the limited Lazard valuation and identify some relationships between valuation-invariance and order-invariance.

preprint2015arXiv

Resultants over Commutative Idempotent Semirings

The resultant plays a crucial role in (computational) algebra and algebraic geometry. One of the most important and well known properties of the resultant is that it is equal to the determinant of the Sylvester matrix. In 2008, Odagiri proved that a similar property holds over the tropical semiring if one replaces subtraction with addition. The tropical semiring belongs to a large family of algebraic structures called commutative idempotent semiring. In this paper, we prove that the same property (with subtraction replaced with addition) holds over an \emph{arbitrary\/} commutative idempotent semiring.

preprint2014arXiv

An algebraic method for constructing stable and consistent autoregressive filters

In this paper, we introduce an algebraic method to construct stable and consistent univariate autoregressive (AR) models of low order for filtering and predicting nonlinear turbulent signals with memory depth. By stable, we refer to the classical stability condition for the AR model. By consistent, we refer to the classical consistency constraints of Adams-Bashforth methods of order-two. One attractive feature of this algebraic method is that the model parameters can be obtained without directly knowing any training data set as opposed to many standard, regression-based parameterization methods. It takes only long-time average statistics as inputs. The proposed method provides a discretization time step interval which guarantees the existence of stable and consistent AR model and simultaneously produces the parameters for the AR models. In our numerical examples with two chaotic time series with different characteristics of decaying time scales, we find that the proposed AR models produce significantly more accurate short-term predictive skill and comparable filtering skill relative to the linear regression-based AR models. These encouraging results are robust across wide ranges of discretization times, observation times, and observation noise variances. Finally, we also find that the proposed model produces an improved short-time prediction relative to the linear regression-based AR-models in forecasting a data set that characterizes the variability of the Madden-Julian Oscillation, a dominant tropical atmospheric wave pattern.

preprint2014arXiv

The Secant-Newton Map is Optimal Among Contracting $n^{th}$ Degree Maps for $n^{th}$ Root Computation

Consider the problem: given a real number $x$ and an error bound $ε$ , find an interval such that it contains the $\sqrt[n]{x}$ and its width is less than $ε$ . One way to solve the problem is to start with an initial interval and to repeatedly update it by applying an interval refinement map on it until it becomes narrow enough. In this paper, we prove that the well known Secant-Newton map is optimal among a certain family of natural generalizations.

preprint2013arXiv

Special Algorithm for Stability Analysis of Multistable Biological Regulatory Systems

We consider the problem of counting (stable) equilibriums of an important family of algebraic differential equations modeling multistable biological regulatory systems. The problem can be solved, in principle, using real quantifier elimination algorithms, in particular real root classification algorithms. However, it is well known that they can handle only very small cases due to the enormous computing time requirements. In this paper, we present a special algorithm which is much more efficient than the general methods. Its efficiency comes from the exploitation of certain interesting structures of the family of differential equations.

preprint2011arXiv

Maximum Gap in (Inverse) Cyclotomic Polynomial

Let $g(f)$ denote the maximum of the differences (gaps) between two consecutive exponents occurring in a polynomial $f$ . Let $Φ_n$ denote the $n$ -th cyclotomic polynomial and let $Ψ_n$ denote the $n$ -th inverse cyclotomic polynomial. In this note, we study $g(Φ_n)$ and $g(Ψ_n)$ where $n$ is a product of odd primes, say $p_1 < p_2 < p_3$ , etc. It is trivial to determine $g(Φ_{p_1})$ , $g(Ψ_{p_1})$ and $g(Ψ_{p_1p_2})$ . Hence the simplest non-trivial cases are $g(Φ_{p_1p_2})$ and $g(Ψ_{p_1p_2p_3})$ . We provide an exact expression for $g(Φ_{p_1p_2}).$ We also provide an exact expression for $g(Ψ_{p_1p_2p_3})$ under a mild condition. The condition is almost always satisfied (only finite exceptions for each $p_1$ ). We also provide a lower bound and an upper bound for $g(Ψ_{p_1p_2p_3})$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Hoon Hong

Research overview

Is this your work?

12 publications

Certificate for Orthogonal Equivalence of Real Polynomials by Polynomial-Weighted Principal Component Analysis

Conditions for eigenvalue configurations of two real symmetric matrices (symmetric polynomial approach)

Conditions for eigenvalue configurations of two real symmetric matrices (signature approach)

Optimality of Curtiss Bound on Poincare Multiplier for Positive Univariate Polynomials

A Condition for Multiplicity Structure of Univariate Polynomials

Maximum gap in cyclotomic polynomials

On Lazard's Valuation and CAD Construction

Resultants over Commutative Idempotent Semirings

An algebraic method for constructing stable and consistent autoregressive filters

The Secant-Newton Map is Optimal Among Contracting $n^{th}$ Degree Maps for $n^{th}$ Root Computation

Special Algorithm for Stability Analysis of Multistable Biological Regulatory Systems

Maximum Gap in (Inverse) Cyclotomic Polynomial

See the researcher in context

Building this map preview

Hoon Hong

Research overview

Is this your work?

12 publications

Certificate for Orthogonal Equivalence of Real Polynomials by Polynomial-Weighted Principal Component Analysis

Conditions for eigenvalue configurations of two real symmetric matrices (symmetric polynomial approach)

Conditions for eigenvalue configurations of two real symmetric matrices (signature approach)

Optimality of Curtiss Bound on Poincare Multiplier for Positive Univariate Polynomials

A Condition for Multiplicity Structure of Univariate Polynomials

Maximum gap in cyclotomic polynomials

On Lazard's Valuation and CAD Construction

Resultants over Commutative Idempotent Semirings

An algebraic method for constructing stable and consistent autoregressive filters

The Secant-Newton Map is Optimal Among Contracting nthn^{th}nth Degree Maps for nthn^{th}nth Root Computation

Special Algorithm for Stability Analysis of Multistable Biological Regulatory Systems

Maximum Gap in (Inverse) Cyclotomic Polynomial

See the researcher in context

Building this map preview

The Secant-Newton Map is Optimal Among Contracting $n^{th}$ Degree Maps for $n^{th}$ Root Computation