-
BR-MPPI: Barrier Rate guided MPPI for Enforcing Multiple Inequality Constraints with Learned Signed Distance Field
Authors:
Hardik Parwana,
Taekyung Kim,
Kehan Long,
Bardh Hoxha,
Hideki Okamoto,
Georgios Fainekos,
Dimitra Panagou
Abstract:
Model Predictive Path Integral (MPPI) controller is used to solve unconstrained optimal control problems and Control Barrier Function (CBF) is a tool to impose strict inequality constraints, a.k.a, barrier constraints. In this work, we propose an integration of these two methods that employ CBF-like conditions to guide the control sampling procedure of MPPI. CBFs provide an inequality constraint r…
▽ More
Model Predictive Path Integral (MPPI) controller is used to solve unconstrained optimal control problems and Control Barrier Function (CBF) is a tool to impose strict inequality constraints, a.k.a, barrier constraints. In this work, we propose an integration of these two methods that employ CBF-like conditions to guide the control sampling procedure of MPPI. CBFs provide an inequality constraint restricting the rate of change of barrier functions by a classK function of the barrier itself. We instead impose the CBF condition as an equality constraint by choosing a parametric linear classK function and treating this parameter as a state in an augmented system. The time derivative of this parameter acts as an additional control input that is designed by MPPI. A cost function is further designed to reignite Nagumo's theorem at the boundary of the safe set by promoting specific values of classK parameter to enforce safety. Our problem formulation results in an MPPI subject to multiple state and control-dependent equality constraints which are non-trivial to satisfy with randomly sampled control inputs. We therefore also introduce state transformations and control projection operations, inspired by the literature on path planning for manifolds, to resolve the aforementioned issue. We show empirically through simulations and experiments on quadrotor that our proposed algorithm exhibits better sampled efficiency and enhanced capability to operate closer to the safe set boundary over vanilla MPPI.
△ Less
Submitted 8 June, 2025;
originally announced June 2025.
-
Heterogeneous Stirling numbers and heterogeneous Bell polynomials
Authors:
Taekyun Kim,
Dae San Kim
Abstract:
This paper introduces a novel generalization of Stirling and Lah numbers, termed ``heterogeneous Stirling numbers," which smoothly interpolate between these classical combinatorial sequences. Specifically, we define heterogeneous Stirling numbers of the second and first kinds, demonstrating their convergence to standard Stirling numbers for lambda=0 and to (signed) Lah numbers for lambda =1. We de…
▽ More
This paper introduces a novel generalization of Stirling and Lah numbers, termed ``heterogeneous Stirling numbers," which smoothly interpolate between these classical combinatorial sequences. Specifically, we define heterogeneous Stirling numbers of the second and first kinds, demonstrating their convergence to standard Stirling numbers for lambda=0 and to (signed) Lah numbers for lambda =1. We derive fundamental properties, including generating functions, explicit formulas, and recurrence relations. Furthermore, we extend these concepts to heterogeneous Bell polynomials, obtaining analogous results such as generating function, combinatorial identity and Dobinski-like formula. Finally, we introduce and analyse heterogeneous r-Stirling numbers of the second kind and their associated r-Bell polynomials.
△ Less
Submitted 30 March, 2025;
originally announced March 2025.
-
Spivey's type recurrence relation for Lah-Bell polynomials
Authors:
Taekyun Kim,
Dae San Kim
Abstract:
The aim of this paper is to derive Spivey's type recurrence relations for the Lah-Bell polynomials and the r-Lah-Bell polynomials by utilizing operators X and D satisfying the commutation relation DX-XD=1.
Here X is the `multiplication by x' operator and D is the differentiation operator D=d/dx. In addition, we obtain Spivey's type recurrence relation for the lambda analogue of r-Lah-Bell polyno…
▽ More
The aim of this paper is to derive Spivey's type recurrence relations for the Lah-Bell polynomials and the r-Lah-Bell polynomials by utilizing operators X and D satisfying the commutation relation DX-XD=1.
Here X is the `multiplication by x' operator and D is the differentiation operator D=d/dx. In addition, we obtain Spivey's type recurrence relation for the lambda analogue of r-Lah-Bell polynomials by some other method without using the operators X and D.
△ Less
Submitted 13 March, 2025;
originally announced March 2025.
-
Data-Driven Sequential Sampling for Tail Risk Mitigation
Authors:
Dohyun Ahn,
Taeho Kim
Abstract:
Given a finite collection of stochastic alternatives, we study the problem of sequentially allocating a fixed sampling budget to identify the optimal alternative with a high probability, where the optimal alternative is defined as the one with the smallest value of extreme tail risk. We particularly consider a situation where these alternatives generate heavy-tailed losses whose probability distri…
▽ More
Given a finite collection of stochastic alternatives, we study the problem of sequentially allocating a fixed sampling budget to identify the optimal alternative with a high probability, where the optimal alternative is defined as the one with the smallest value of extreme tail risk. We particularly consider a situation where these alternatives generate heavy-tailed losses whose probability distributions are unknown and may not admit any specific parametric representation. In this setup, we propose data-driven sequential sampling policies that maximize the rate at which the likelihood of falsely selecting suboptimal alternatives decays to zero. We rigorously demonstrate the superiority of the proposed methods over existing approaches, which is further validated via numerical studies.
△ Less
Submitted 10 March, 2025;
originally announced March 2025.
-
Probabilistic degenerate poly-Bell polynomials associated with random variables
Authors:
Pengxiang Xue,
Yuankui Ma,
Taekyun Kim,
Dae San Kim,
Wenpeng Zhang
Abstract:
Let Y be a random variable whose moment generating function exists in a neighborhood of the origin. The aim of this paper is to study the probabilistic degenerate poly-Bell polynomials associated with the random variable Y, arising from the degenerate polyexponential functions, which are probabilistic extensions of degenerate versions of the poly-Bell polynomials. We derive several explicit expres…
▽ More
Let Y be a random variable whose moment generating function exists in a neighborhood of the origin. The aim of this paper is to study the probabilistic degenerate poly-Bell polynomials associated with the random variable Y, arising from the degenerate polyexponential functions, which are probabilistic extensions of degenerate versions of the poly-Bell polynomials. We derive several explicit expressions and some related identities for them. In addition, we consider the special cases that Y is the Bernoulli random variable with probability of success p or the gamma random variable with parameters 1,1.
△ Less
Submitted 9 March, 2025;
originally announced March 2025.
-
Recurrence relations for degenerate Bell and Dowling polynomials via Boson operators
Authors:
Taekyun Kim,
Dae San Kim
Abstract:
Spivey found a recurrence relation for the Bell numbers by using combinatorial method. The aim of this paper is to derive Spivey's type recurrence relations for the degenerate Bell polynomials and the degenerate Dowling polynomials by using the boson annihilation and creation operators satisfying the commutation relation aa+-a+a=1.
In addition, we derive a Spivey's type recurrence relation for t…
▽ More
Spivey found a recurrence relation for the Bell numbers by using combinatorial method. The aim of this paper is to derive Spivey's type recurrence relations for the degenerate Bell polynomials and the degenerate Dowling polynomials by using the boson annihilation and creation operators satisfying the commutation relation aa+-a+a=1.
In addition, we derive a Spivey's type recurrence relation for the r-Dowling polynomials.
△ Less
Submitted 4 March, 2025;
originally announced March 2025.
-
Optimizing Input Data Collection for Ranking and Selection
Authors:
Eunhye Song,
Taeho Kim
Abstract:
We study a ranking and selection (R&S) problem when all solutions share common parametric Bayesian input models updated with the data collected from multiple independent data-generating sources. Our objective is to identify the best system by designing a sequential sampling algorithm that collects input and simulation data given a budget. We adopt the most probable best (MPB) as the estimator of t…
▽ More
We study a ranking and selection (R&S) problem when all solutions share common parametric Bayesian input models updated with the data collected from multiple independent data-generating sources. Our objective is to identify the best system by designing a sequential sampling algorithm that collects input and simulation data given a budget. We adopt the most probable best (MPB) as the estimator of the optimum and show that its posterior probability of optimality converges to one at an exponential rate as the sampling budget increases. Assuming that the input parameters belong to a finite set, we characterize the $ε$-optimal static sampling ratios for input and simulation data that maximize the convergence rate. Using these ratios as guidance, we propose the optimal sampling algorithm for R&S (OSAR) that achieves the $ε$-optimal ratios almost surely in the limit. We further extend OSAR by adopting the kernel ridge regression to improve the simulation output mean prediction. This not only improves OSAR's finite-sample performance, but also lets us tackle the case where the input parameters lie in a continuous space with a strong consistency guarantee for finding the optimum. We numerically demonstrate that OSAR outperforms a state-of-the-art competitor.
△ Less
Submitted 23 February, 2025;
originally announced February 2025.
-
Spivey's type recurrence relation for degenerate Bell polynomials
Authors:
Taekyun Kim,
Dae San Kim
Abstract:
The aim of this paper is to derive a recurrence relation for the degenerate Bell polynomials by using the operators X and D satisfying the commutation relation DX-XD=1. Here X is the `multiplication by x' operator and D=d/dx. This recurrence relation is a generalization of Spivey's recurrence relation for the Bell numbers. We also obtain a recurrence relation for the degenerate r--Bell polynomials…
▽ More
The aim of this paper is to derive a recurrence relation for the degenerate Bell polynomials by using the operators X and D satisfying the commutation relation DX-XD=1. Here X is the `multiplication by x' operator and D=d/dx. This recurrence relation is a generalization of Spivey's recurrence relation for the Bell numbers. We also obtain a recurrence relation for the degenerate r--Bell polynomials by using the same operators.
△ Less
Submitted 18 February, 2025;
originally announced February 2025.
-
Combinatorial identities related to degenerate Stirling numbers of the second kind
Authors:
Taekyun Kim,
Dae san Kim
Abstract:
The study of degenerate versions of certain special polynomials and numbers, which was initiated by Carlitz's work on degenerate Euler and degenerate Bernoulli polynomials, has recently seen renewed interest among mathematicians. The aim of this paper is to study some properties, certain identities, recurrence relations and explicit expressions for degenerate Stirling numbers of the second kind, w…
▽ More
The study of degenerate versions of certain special polynomials and numbers, which was initiated by Carlitz's work on degenerate Euler and degenerate Bernoulli polynomials, has recently seen renewed interest among mathematicians. The aim of this paper is to study some properties, certain identities, recurrence relations and explicit expressions for degenerate Stirling numbers of the second kind, which are a degenerate version of the Stirling numbers of the second kind. These numbers appear very frequently when we study various degenerate versions of many special polynomials and numbers. Especially, we consider some closely related polynomials and power series in connection with a degenerate version of Euler's formula for the Stirling numbers of the second kind.
△ Less
Submitted 9 January, 2025;
originally announced January 2025.
-
Can ChatGPT implement finite element models for geotechnical engineering applications?
Authors:
Taegu Kim,
Tae Sup Yun,
Hyoung Suk Suh
Abstract:
This study assesses the capability of ChatGPT to generate finite element code for geotechnical engineering applications from a set of prompts. We tested three different initial boundary value problems using a hydro-mechanically coupled formulation for unsaturated soils, including the dissipation of excess pore water pressure through fluid mass diffusion in one-dimensional space, time-dependent dif…
▽ More
This study assesses the capability of ChatGPT to generate finite element code for geotechnical engineering applications from a set of prompts. We tested three different initial boundary value problems using a hydro-mechanically coupled formulation for unsaturated soils, including the dissipation of excess pore water pressure through fluid mass diffusion in one-dimensional space, time-dependent differential settlement of a strip footing, and gravity-driven seepage. For each case, initial prompting involved providing ChatGPT with necessary information for finite element implementation, such as balance and constitutive equations, problem geometry, initial and boundary conditions, material properties, and spatiotemporal discretization and solution strategies. Any errors and unexpected results were further addressed through prompt augmentation processes until the ChatGPT-generated finite element code passed the verification/validation test. Our results demonstrate that ChatGPT required minimal code revisions when using the FEniCS finite element library, owing to its high-level interfaces that enable efficient programming. In contrast, the MATLAB code generated by ChatGPT necessitated extensive prompt augmentations and/or direct human intervention, as it involves a significant amount of low-level programming required for finite element analysis, such as constructing shape functions or assembling global matrices. Given that prompt engineering for this task requires an understanding of the mathematical formulation and numerical techniques, this study suggests that while a large language model may not yet replace human programmers, it can greatly assist in the implementation of numerical models.
△ Less
Submitted 4 January, 2025;
originally announced January 2025.
-
Quantized blow-up dynamics for Calogero--Moser derivative nonlinear Schrödinger equation
Authors:
Uihyeon Jeong,
Taegyu Kim
Abstract:
We consider the Calogero--Moser derivative nonlinear Schrödinger equation (CM-DNLS), an $L^2$-critical nonlinear Schrödinger type equation enjoying a number of numerous structures, such as nonlocal nonlinearity, self-duality, pseudo-conformal symmetry, and complete integrability.
In this paper, we construct smooth finite-time blow-up solutions to (CM-DNLS) that exhibit a sequence of discrete blo…
▽ More
We consider the Calogero--Moser derivative nonlinear Schrödinger equation (CM-DNLS), an $L^2$-critical nonlinear Schrödinger type equation enjoying a number of numerous structures, such as nonlocal nonlinearity, self-duality, pseudo-conformal symmetry, and complete integrability.
In this paper, we construct smooth finite-time blow-up solutions to (CM-DNLS) that exhibit a sequence of discrete blow-up rates, so-called \emph{quantized blow-up rates}. Our strategy is a forward construction of the blow-up dynamics based on modulation analysis. Our main novelty is to utilize the \emph{nonlinear adapted derivative} suited to the \textit{Lax pair structure} and to rely on the \emph{hierarchy of conservation laws} inherent in this structure to control higher-order energies. This approach replaces a repulsivity-based energy method in the bootstrap argument, which significantly simplifies the analysis compared to earlier works. Our result highlights that the integrable structure remains a powerful tool, even in the presence of blow-up solutions.
In (CM-DNLS), one of the distinctive features is \emph{chirality}. However, our constructed solutions are not chiral, since we assume the radial (even) symmetry in the gauge transformed equation. This radial assumption simplifies the modulation analysis.
△ Less
Submitted 16 December, 2024;
originally announced December 2024.
-
Degenerate Eulerian polynomials and numbers
Authors:
Taekyun Kim,
Dae san Kim
Abstract:
The aim of this paper is to study degenerate Eulerian polynomials and degenerate Eulerian numbers, respectively as degenerate versions of the Eulerian polynomials and the Eulerian numbers, and to derive some of their properties. Specifically, we derive an identity, recursive relations, generating function and degenerate version of Worpitzky's identity for the degenerate Eulerian polynomials and nu…
▽ More
The aim of this paper is to study degenerate Eulerian polynomials and degenerate Eulerian numbers, respectively as degenerate versions of the Eulerian polynomials and the Eulerian numbers, and to derive some of their properties. Specifically, we derive an identity, recursive relations, generating function and degenerate version of Worpitzky's identity for the degenerate Eulerian polynomials and numbers. In addition, we obtain several results involving the degenerate Stirling numbers of the second kind and the degenerate Bernoulli numbers as well as the degenerate Eulerian numbers.
△ Less
Submitted 4 December, 2024;
originally announced December 2024.
-
Auto-tuned Primal-dual Successive Convexification for Hypersonic Reentry Guidance
Authors:
Skye Mceowen,
Daniel J. Calderone,
Aman Tiwary,
Jason S. K. Zhou,
Taewan Kim,
Purnanand Elango,
Behcet Acikmese
Abstract:
This paper presents auto-tuned primal-dual successive convexification (Auto-SCvx), an algorithm designed to reliably achieve dynamically-feasible trajectory solutions for constrained hypersonic reentry optimal control problems across a large mission parameter space. In Auto-SCvx, we solve a sequence of convex subproblems until convergence to a solution of the original nonconvex problem. This metho…
▽ More
This paper presents auto-tuned primal-dual successive convexification (Auto-SCvx), an algorithm designed to reliably achieve dynamically-feasible trajectory solutions for constrained hypersonic reentry optimal control problems across a large mission parameter space. In Auto-SCvx, we solve a sequence of convex subproblems until convergence to a solution of the original nonconvex problem. This method iteratively optimizes dual variables in closed-form in order to update the penalty hyperparameters used in the primal variable updates. A benefit of this method is that it is auto-tuning, and requires no hand-tuning by the user with respect to the constraint penalty weights. Several example hypersonic reentry problems are posed and solved using this method, and comparative studies are conducted against current methods. In these numerical studies, our algorithm demonstrates equal and often improved performance while not requiring hand-tuning of penalty hyperparameters.
△ Less
Submitted 14 November, 2024; v1 submitted 13 November, 2024;
originally announced November 2024.
-
Strict condition for the $L^{2}$-wellposedness of fifth and sixth order dispersive equations
Authors:
Taehun Kim
Abstract:
We provide a set of conditions that is necessary and sufficient for the $L^{2}$-wellposedness of the Cauchy problem for fifth and sixth order variable-coefficient linear dispersive equations. The necessity of these conditions had been presented by Tarama, and we scrutinized their proof to split the conditions into several parts so that an inductive argument is applicable. This inductive argument s…
▽ More
We provide a set of conditions that is necessary and sufficient for the $L^{2}$-wellposedness of the Cauchy problem for fifth and sixth order variable-coefficient linear dispersive equations. The necessity of these conditions had been presented by Tarama, and we scrutinized their proof to split the conditions into several parts so that an inductive argument is applicable. This inductive argument simplifies the engineering process of the appropriate pseudodifferential operator needed for the proof of $L^{2}$-wellposedness.
△ Less
Submitted 19 October, 2024;
originally announced October 2024.
-
Probabilistic degenerate derangement polynomials
Authors:
Taekyun Kim,
Dae San Kim
Abstract:
In combinatorics, a derangement is a permutation of the elements of a set, such that no element appears in its original position. The number of derangement of an n-element set is called the nth derangement number. Recently, the degenerate derangement numbers and polynomials have been studied as degenerate versions. Let Y be a random variable whose moment generating function exists in a neighborhoo…
▽ More
In combinatorics, a derangement is a permutation of the elements of a set, such that no element appears in its original position. The number of derangement of an n-element set is called the nth derangement number. Recently, the degenerate derangement numbers and polynomials have been studied as degenerate versions. Let Y be a random variable whose moment generating function exists in a neighborhood of the origin. In this paper, we study probabilistic extension of the degenerate derangement numbers and polynomials, namely the probabilistic degenerate derangement numbers and polynomials associated with Y. In addition, we consider the probabilistic degenerate r-derangement numbers associated with Y and the probabilistic degenerate derangement polynomila of the second kind associated with Y. We derive some properties, explicit expressions, certain identities and recurrence relations for those polynomials and numbers.
△ Less
Submitted 12 October, 2024;
originally announced October 2024.
-
Probabilistic proof of a summation formula
Authors:
Taekyun Kim,
Dae San Kim
Abstract:
The aim of this paper is to derive a summation formula for the alternating infinite series and an expression for zeta function by using hyperbolic secant random variables. These identities involve Euler numbers and are obtained by computing the moments of the random variable and the moments of the sum of two independent such random variables.
The aim of this paper is to derive a summation formula for the alternating infinite series and an expression for zeta function by using hyperbolic secant random variables. These identities involve Euler numbers and are obtained by computing the moments of the random variable and the moments of the sum of two independent such random variables.
△ Less
Submitted 8 October, 2024;
originally announced October 2024.
-
Probabilistic degenerate Bernstein polynomials
Authors:
Jinyu Wang,
Yuankui Ma,
Taekyun Kim,
Dae San Kim
Abstract:
In recent years, both degenerate versions and probabilistic extensions of many special numbers and polynomials have been explored. For instance, degenerate Bernstein polynomials and probabilistic Bernstein polynomials were investigated earlier. Assume that Y is a random variable whose moment generating function exists in a neighborhood of the origin. The aim of this paper is to study probabilistic…
▽ More
In recent years, both degenerate versions and probabilistic extensions of many special numbers and polynomials have been explored. For instance, degenerate Bernstein polynomials and probabilistic Bernstein polynomials were investigated earlier. Assume that Y is a random variable whose moment generating function exists in a neighborhood of the origin. The aim of this paper is to study probabilistic degenerate Bernstein polynomials associated with Y which are both probabilistic extension of the degenerate Bernstein polynomials and degenerate version of the probabilistic Bernstein polynomials associated with $Y$. We derive several explicit expressions and certain related identities for those polynomials. In addition, we treat the special cases of the Poisson random variable, the Bernoulli random variable and of the binomial random variable.
△ Less
Submitted 6 October, 2024;
originally announced October 2024.
-
Some identities on degenerate trigonometric functions
Authors:
Taekyun Kim,
Dae San kim
Abstract:
In this paper, we study several degenerate trigonometric functions, which are degenerate versions of the ordinary trigonometric functions, and derive some identities among such functions by using elementary methods. Especially, we obtain multiple angle formulas for the degenerate cotangent and degenerate sine functions.
In this paper, we study several degenerate trigonometric functions, which are degenerate versions of the ordinary trigonometric functions, and derive some identities among such functions by using elementary methods. Especially, we obtain multiple angle formulas for the degenerate cotangent and degenerate sine functions.
△ Less
Submitted 1 October, 2024;
originally announced October 2024.
-
A probabilistic proof of a recurrence relation for sums of values of degenerate falling factorials
Authors:
Taekyun Kim,
Dae san Kim
Abstract:
In this paper, we consider sums of values of degenerate falling factorials and give a probabilistic proof of a recurrence relation for them. This may be viewed as a degenerate version of the recent probabilistic proofs on sums of powers of integers.
In this paper, we consider sums of values of degenerate falling factorials and give a probabilistic proof of a recurrence relation for them. This may be viewed as a degenerate version of the recent probabilistic proofs on sums of powers of integers.
△ Less
Submitted 12 September, 2024;
originally announced September 2024.
-
Relative-Hyper GAGA Theorem
Authors:
Eita Haibara,
Taewan Kim
Abstract:
In this paper, we provide a relative hypercohomology version of Serre's GAGA theorem. We prove that the relative hypercohomology of a complex of sheaves on a complex projective variety is isomorphic to the relative hypercohomology of its analytification, with respect to an open or closed subvariety. This result implies Serre's original GAGA theorem.
In this paper, we provide a relative hypercohomology version of Serre's GAGA theorem. We prove that the relative hypercohomology of a complex of sheaves on a complex projective variety is isomorphic to the relative hypercohomology of its analytification, with respect to an open or closed subvariety. This result implies Serre's original GAGA theorem.
△ Less
Submitted 10 September, 2024; v1 submitted 2 September, 2024;
originally announced September 2024.
-
Improved identification of breakpoints in piecewise regression and its applications
Authors:
Taehyeong Kim,
Hyungu Lee,
Hayoung Choi
Abstract:
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…
▽ More
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.
△ Less
Submitted 27 August, 2024; v1 submitted 25 August, 2024;
originally announced August 2024.
-
Soliton resolution for Calogero--Moser derivative nonlinear Schrödinger equation
Authors:
Taegyu Kim,
Soonsik Kwon
Abstract:
We consider soliton resolution for the Calogero--Moser derivative nonlinear Schrödinger equation (CM-DNLS). A rigorous PDE analysis of (CM-DNLS) was recently initiated by Gérard and Lenzmann, who demonstrated its Lax pair structure. Additionally, (CM-DNLS) exhibits several symmetries, such as mass-criticality with pseudo-conformal symmetry and a self-dual Hamiltonian. Despite its integrability, fi…
▽ More
We consider soliton resolution for the Calogero--Moser derivative nonlinear Schrödinger equation (CM-DNLS). A rigorous PDE analysis of (CM-DNLS) was recently initiated by Gérard and Lenzmann, who demonstrated its Lax pair structure. Additionally, (CM-DNLS) exhibits several symmetries, such as mass-criticality with pseudo-conformal symmetry and a self-dual Hamiltonian. Despite its integrability, finite-time blow-up solutions have been constructed.
The purpose of this paper is to establish soliton resolution for both finite-time blow-up solutions and global solutions in a fully general setting, \emph{without imposing radial symmetry or size constraints}. To our knowledge, this is the first non-integrable proof of full soliton resolution for Schrödinger-type equations. A key aspect of our proof is the control of the energy of the outer radiation after extracting a soliton, referred to as the \emph{energy bubbling} estimate. This benefits from two levels of convervation laws, mass and energy, and self-duality. This approach allows us to directly prove continuous-in-time soliton resolution, bypassing time-sequential soliton resolution. Importantly, our proof does not rely on the integrability of the equation, potentially offering insights applicable to other non-integrable models.
△ Less
Submitted 23 August, 2024;
originally announced August 2024.
-
Explicit formulas related to Euler's product expansion for cosine function
Authors:
Taekyun Kim,
Dae San Kim
Abstract:
In this paper, we derive by using elementary methods some continued fractions, certain identities involving derivatives of tanx, several expressions for log coshx and an identity for π2, from a series expansion of tan x, which gives the product expansion of the cosine function.
In this paper, we derive by using elementary methods some continued fractions, certain identities involving derivatives of tanx, several expressions for log coshx and an identity for π2, from a series expansion of tan x, which gives the product expansion of the cosine function.
△ Less
Submitted 29 July, 2024;
originally announced July 2024.
-
Moments of a random variable arising Laplacian random variable
Authors:
Taekyun Kim,
Dae San Kim
Abstract:
Let X be the Laplacian random variable with parameters (a,b)=(0,1), and let X1, X2, X3 , ...be a sequence of mutually independent copies of X$. In this note, we explicitly determine the moments of the Laplacian random variable in terms of the Bernoulli and Euler numbers.
Let X be the Laplacian random variable with parameters (a,b)=(0,1), and let X1, X2, X3 , ...be a sequence of mutually independent copies of X$. In this note, we explicitly determine the moments of the Laplacian random variable in terms of the Bernoulli and Euler numbers.
△ Less
Submitted 18 July, 2024;
originally announced July 2024.
-
Probabilistic multi-Stirling numbers of the second kind and probabilistic multi-Lah numbers
Authors:
Taekyun Kim,
Dae san Kim
Abstract:
Assume that the moment generating function of the random vari able Y exists in a neighborhood of the origin. We introduce the probabilistic
multi-Stirling numbers of the second kind associated with Y and the proba bilistic multi-Lah numbers associated with Y, both of indices (k1,k2,...,kr), by
means of the multiple logarithm. Those numbers are respectively probabilistic
extensions of the mul…
▽ More
Assume that the moment generating function of the random vari able Y exists in a neighborhood of the origin. We introduce the probabilistic
multi-Stirling numbers of the second kind associated with Y and the proba bilistic multi-Lah numbers associated with Y, both of indices (k1,k2,...,kr), by
means of the multiple logarithm. Those numbers are respectively probabilistic
extensions of the multi-Stirling numbers of the second kind and the multi-Lah
numbers which, for (k1,k2,...,kr) = (1,1,...,1), boil down respectively to the
Stirling numbers of the second and the unsigned Lah numbers. The aim of this
paper is to study some properties, related identities, recurrence relations and
explicit expressions of those probabilistic extension numbers in connection with
several other special numbers
△ Less
Submitted 17 June, 2024;
originally announced July 2024.
-
Probabilistic degenerate Stirling numbers of the first kind and their applications
Authors:
Taekyun Kim,
Dae san Kim
Abstract:
Let Y be a random variable whose degenerate moment generating functions exist in some neighborhoods of the origin. The aim of this paper is to study the probabilistic degenerate Stirling numbers of the first kind associated with Y which are constructed from the degenerate cumulant generating function of Y. They are a degenerate version of the probabilistic Stirling numbers of the first kind associ…
▽ More
Let Y be a random variable whose degenerate moment generating functions exist in some neighborhoods of the origin. The aim of this paper is to study the probabilistic degenerate Stirling numbers of the first kind associated with Y which are constructed from the degenerate cumulant generating function of Y. They are a degenerate version of the probabilistic Stirling numbers of the first kind associated with Y, which were recently introduced by Adell-Benyi. We investigate some properties, related identities, recurrence relations and explicit expressions for those numbers. In addition, we apply our results to the special cases of normal and gamma random variables.
△ Less
Submitted 11 June, 2024;
originally announced June 2024.
-
Probabilistic Lah numbers and Lah-Bell polynomials
Authors:
Yuankui Ma,
Taekyun Kim,
Dae San Kim
Abstract:
Let Y be a random variable whose moment generating function exists in some neighborhood of the origin. The aim of this paper is to study the probabilistic Lah numbers associated with Y and the probabilistic Lah-Bell polynomials associated with Y, as probabilistic versions of the Lah numbers and the Lah-Bell polynomials, respectively. We derive some properties, explicit expressions, recurrence rela…
▽ More
Let Y be a random variable whose moment generating function exists in some neighborhood of the origin. The aim of this paper is to study the probabilistic Lah numbers associated with Y and the probabilistic Lah-Bell polynomials associated with Y, as probabilistic versions of the Lah numbers and the Lah-Bell polynomials, respectively. We derive some properties, explicit expressions, recurrence relations and certain identities for those numbers and polynomials. In addition, we treat the special cases that Y is the Poisson random variable with parameter α > 0 and the Bernoulli random variable with probability of success p.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Infinitely badly approximable affine forms
Authors:
Taehyeong Kim
Abstract:
A pair $(A,\mathbf{b})$ of a real $m\times n$ matrix $A$ and $\mathbf{b}\in\mathbb{R}^m$ is said to be $\textit{infinitely badly approximable}$ if \[ \liminf_{\mathbf{q}\in\mathbb{Z}^n, \|\mathbf{q}\|\to\infty} \|\mathbf{q}\|^{\frac{n}{m}}\|A\mathbf{q}-\mathbf{b}\|_{\mathbb{Z}} =\infty, \] where $\|\cdot\|_\mathbb{Z}$ denotes the distance from the nearest integer vector. In this article, we introd…
▽ More
A pair $(A,\mathbf{b})$ of a real $m\times n$ matrix $A$ and $\mathbf{b}\in\mathbb{R}^m$ is said to be $\textit{infinitely badly approximable}$ if \[ \liminf_{\mathbf{q}\in\mathbb{Z}^n, \|\mathbf{q}\|\to\infty} \|\mathbf{q}\|^{\frac{n}{m}}\|A\mathbf{q}-\mathbf{b}\|_{\mathbb{Z}} =\infty, \] where $\|\cdot\|_\mathbb{Z}$ denotes the distance from the nearest integer vector. In this article, we introduce a novel concept of singularity for $(A,\mathbf{b})$ and characterize the infinitely badly approximable property by this singular property. As an application, we compute the Hausdorff dimension of the infinitely badly approximable set. We also discuss dynamical interpretations on the space of grids in $\mathbb{R}^{m+n}$.
△ Less
Submitted 2 June, 2024;
originally announced June 2024.
-
Six-Degree-of-Freedom Aircraft Landing Trajectory Planning with Runway Alignment
Authors:
Taewan Kim,
Abhinav G. Kamath,
Niyousha Rahimi,
Jasper Corleis,
Behçet Açıkmeşe,
Mehran Mesbahi
Abstract:
This paper presents a numerical optimization algorithm for generating approach and landing trajectories for a six-degree-of-freedom (6-DoF) aircraft. We improve on the existing research on aircraft landing trajectory generation by formulating the trajectory optimization problem with additional real-world operational constraints, including 6-DoF aircraft dynamics, runway alignment, constant wind fi…
▽ More
This paper presents a numerical optimization algorithm for generating approach and landing trajectories for a six-degree-of-freedom (6-DoF) aircraft. We improve on the existing research on aircraft landing trajectory generation by formulating the trajectory optimization problem with additional real-world operational constraints, including 6-DoF aircraft dynamics, runway alignment, constant wind field, and obstacle avoidance, to obtain a continuous-time nonconvex optimal control problem. Particularly, the runway alignment constraint enforces the trajectory of the aircraft to be aligned with the runway only during the final approach phase. This is a novel feature that is essential for preventing an approach that is either too steep or too shallow. The proposed method models the runway alignment constraint through a multi-phase trajectory planning scheme, imposing alignment conditions exclusively during the final approach phase. We compare this formulation with the existing state-triggered constraint formulation for runway alignment. To solve the formulated problem, we design a novel sequential convex programming algorithm called xPTR that extends the penalized trust-region (PTR) algorithm by incorporating an extrapolation step to expedite convergence. We validate the proposed method through extensive numerical simulations, including a Monte Carlo study, to evaluate the robustness of the algorithm to varying initial conditions.
△ Less
Submitted 10 June, 2025; v1 submitted 26 May, 2024;
originally announced May 2024.
-
Probabilistic degenerate r-Stirling numbers of the second and probabilistic degenerate r-Bell polynomials
Authors:
Taekyunj Kim,
Dae San Kim
Abstract:
Assume that Y is a random variable whose moment generating function exists in a neighborhood of the origin. We study the probabilistic degenerate r-Stirling numbers of the second kind associated with Y and the probabilistic degenerate r-Bell polynomials associated with Y. They are respectively probabilistic extensions of the degenerate r-Stirling numbers of the second and the degenerate r-Bell pol…
▽ More
Assume that Y is a random variable whose moment generating function exists in a neighborhood of the origin. We study the probabilistic degenerate r-Stirling numbers of the second kind associated with Y and the probabilistic degenerate r-Bell polynomials associated with Y. They are respectively probabilistic extensions of the degenerate r-Stirling numbers of the second and the degenerate r-Bell polynomials which are studied earlier. The aim of this paper is to obtain their properties, explicit expressions and related identities by means of generating functions.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
Hausdorff dimension of singular vectors in function fields
Authors:
Noy Soffer Aranov,
Taehyeong Kim
Abstract:
We compute the Hausdorff dimension of the set of singular vectors in function fields and bound the Hausdorff dimension of the set of $\varepsilon$-Dirichlet improvable vectors in this setting. This is a function field analogue of the results of Cheung and Chevallier [Duke Math. J. 165 (2016), 2273--2329].
We compute the Hausdorff dimension of the set of singular vectors in function fields and bound the Hausdorff dimension of the set of $\varepsilon$-Dirichlet improvable vectors in this setting. This is a function field analogue of the results of Cheung and Chevallier [Duke Math. J. 165 (2016), 2273--2329].
△ Less
Submitted 5 December, 2024; v1 submitted 18 May, 2024;
originally announced May 2024.
-
Successive Convexification for Nonlinear Model Predictive Control with Continuous-Time Constraint Satisfaction
Authors:
Samet Uzun,
Purnanand Elango,
Abhinav G. Kamath,
Taewan Kim,
Behcet Acikmese
Abstract:
We propose a nonlinear model predictive control (NMPC) framework based on a direct optimal control method that ensures continuous-time constraint satisfaction and accurate evaluation of the running cost, without compromising computational efficiency. We leverage the recently proposed successive convexification framework for trajectory optimization, where: (1) the path constraints and running cost…
▽ More
We propose a nonlinear model predictive control (NMPC) framework based on a direct optimal control method that ensures continuous-time constraint satisfaction and accurate evaluation of the running cost, without compromising computational efficiency. We leverage the recently proposed successive convexification framework for trajectory optimization, where: (1) the path constraints and running cost are equivalently reformulated by augmenting the system dynamics, (2) multiple shooting is used for exact discretization, and (3) a convergence-guaranteed sequential convex programming (SCP) algorithm, the prox-linear method, is used to solve the discretized receding-horizon optimal control problems. The resulting NMPC framework is computationally efficient, owing to its support for warm-starting and premature termination of SCP, and its reliance on first-order information only. We demonstrate the effectiveness of the proposed NMPC framework by means of a numerical example with reference-tracking and obstacle avoidance. The implementation is available at https://github.com/UW-ACL/nmpc-ctcs
△ Less
Submitted 26 April, 2024;
originally announced May 2024.
-
Successive Convexification for Trajectory Optimization with Continuous-Time Constraint Satisfaction
Authors:
Purnanand Elango,
Dayou Luo,
Abhinav G. Kamath,
Samet Uzun,
Taewan Kim,
Behçet Açıkmeşe
Abstract:
We present successive convexification, a real-time-capable solution method for nonconvex trajectory optimization, with continuous-time constraint satisfaction and guaranteed convergence, that only requires first-order information. The proposed framework combines several key methods to solve a large class of nonlinear optimal control problems: (i) exterior penalty-based reformulation of the path co…
▽ More
We present successive convexification, a real-time-capable solution method for nonconvex trajectory optimization, with continuous-time constraint satisfaction and guaranteed convergence, that only requires first-order information. The proposed framework combines several key methods to solve a large class of nonlinear optimal control problems: (i) exterior penalty-based reformulation of the path constraints; (ii) generalized time-dilation; (iii) multiple-shooting discretization; (iv) $\ell_1$ exact penalization of the nonconvex constraints; and (v) the prox-linear method, a sequential convex programming (SCP) algorithm for convex-composite minimization. The reformulation of the path constraints enables continuous-time constraint satisfaction even on sparse discretization grids and obviates the need for mesh refinement heuristics. Through the prox-linear method, we guarantee convergence of the solution method to stationary points of the penalized problem and guarantee that the converged solutions that are feasible with respect to the discretized and control-parameterized optimal control problem are also Karush-Kuhn-Tucker (KKT) points. Furthermore, we highlight the specialization of this property to global minimizers of convex optimal control problems, wherein the reformulated path constraints cannot be represented by canonical cones, i.e., in the form required by existing convex optimization solvers. In addition to theoretical analysis, we demonstrate the effectiveness and real-time capability of the proposed framework with numerical examples based on popular optimal control applications: dynamic obstacle avoidance and rocket landing.
△ Less
Submitted 25 April, 2024;
originally announced April 2024.
-
Neural Operators Learn the Local Physics of Magnetohydrodynamics
Authors:
Taeyoung Kim,
Youngsoo Ha,
Myungjoo Kang
Abstract:
Magnetohydrodynamics (MHD) plays a pivotal role in describing the dynamics of plasma and conductive fluids, essential for understanding phenomena such as the structure and evolution of stars and galaxies, and in nuclear fusion for plasma motion through ideal MHD equations. Solving these hyperbolic PDEs requires sophisticated numerical methods, presenting computational challenges due to complex str…
▽ More
Magnetohydrodynamics (MHD) plays a pivotal role in describing the dynamics of plasma and conductive fluids, essential for understanding phenomena such as the structure and evolution of stars and galaxies, and in nuclear fusion for plasma motion through ideal MHD equations. Solving these hyperbolic PDEs requires sophisticated numerical methods, presenting computational challenges due to complex structures and high costs. Recent advances introduce neural operators like the Fourier Neural Operator (FNO) as surrogate models for traditional numerical analyses. This study explores a modified Flux Fourier neural operator model to approximate the numerical flux of ideal MHD, offering a novel approach that outperforms existing neural operator models by enabling continuous inference, generalization outside sampled distributions, and faster computation compared to classical numerical schemes.
△ Less
Submitted 10 October, 2024; v1 submitted 24 April, 2024;
originally announced April 2024.
-
Construction of smooth chiral finite-time blow-up solutions to Calogero--Moser derivative nonlinear Schrödinger equation
Authors:
Kihyun Kim,
Taegyu Kim,
Soonsik Kwon
Abstract:
We consider the Calogero--Moser derivative nonlinear Schrödinger equation (CM-DNLS), which is an $L^{2}$-critical nonlinear Schrödinger equation with explicit solitons, self-duality, and pseudo-conformal symmetry. More importantly, this equation is known to be completely integrable in the Hardy space $L_{+}^{2}$ and the solutions in this class are referred to as \emph{chiral} solutions. A rigorous…
▽ More
We consider the Calogero--Moser derivative nonlinear Schrödinger equation (CM-DNLS), which is an $L^{2}$-critical nonlinear Schrödinger equation with explicit solitons, self-duality, and pseudo-conformal symmetry. More importantly, this equation is known to be completely integrable in the Hardy space $L_{+}^{2}$ and the solutions in this class are referred to as \emph{chiral} solutions. A rigorous PDE analysis of this equation with complete integrability was recently initiated by Gérard and Lenzmann.
Our main result constructs smooth, chiral, and finite energy finite-time blow-up solutions with mass arbitrarily close to that of soliton, answering the global regularity question for chiral solutions raised by Gérard and Lenzmann. The blow-up rate obtained for these solutions is different from the pseudo-conformal rate. Our proof also gives a construction of a codimension one set of smooth finite energy initial data (but without addressing chirality) leading to the same blow-up dynamics. Our blow-up construction in the Hardy space might also be contrasted with the global well-posedness of the derivative nonlinear Schrödinger equation (DNLS), which is another integrable $L^{2}$-critical Schrödinger equation.
The overall scheme of our proof is the forward construction of blow-up dynamics with modulation analysis and is not reliant on complete integrability. We begin with developing a linear theory for the near soliton dynamics. We discover a nontrivial conjugation identity, which unveils a surprising connection from the linearized (CM-DNLS) to the 1D free Schrödinger equation, which is a crucial ingredient for overcoming the difficulties from the non-local nonlinearity. Another principal challenge in this work, the slow decay of soliton, is overcome by introducing a trick of decomposing solutions depending on topologies, which we believe is of independent interest.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
Singular linear forms over global function fields
Authors:
Gukyeong Bang,
Taehyeong Kim,
Seonhee Lim
Abstract:
In this paper, we consider singular linear forms over global function fields of class number one and give an upper bound for the Hausdorff dimension of the set of singular linear forms by constructing an appropriate Margulis function over global function fields.
In this paper, we consider singular linear forms over global function fields of class number one and give an upper bound for the Hausdorff dimension of the set of singular linear forms by constructing an appropriate Margulis function over global function fields.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Generalization of Spivey's recurrence relation
Authors:
Taekyun Kim,
Dae San Kim
Abstract:
In 2008, Spivey found a recurrence relation for the Bell numbers. We consider the probabilistic r-Bell polynomials associated with which are a probabilistic extension of the r-Bell polynomials. Here Y is a random variable whose moment generating function exists in some neighborhood of the origin . The aim of this paper is to generalize the relation for the Bell numbers to that for the probabilisti…
▽ More
In 2008, Spivey found a recurrence relation for the Bell numbers. We consider the probabilistic r-Bell polynomials associated with which are a probabilistic extension of the r-Bell polynomials. Here Y is a random variable whose moment generating function exists in some neighborhood of the origin . The aim of this paper is to generalize the relation for the Bell numbers to that for the probabilistic r-Bell polynomials associated with Y.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
Geometric mean for T-positive definite tensors and associated Riemannian geometry
Authors:
Jeong-Hoon Ju,
Taehyeong Kim,
Yeongrak Kim,
Hayoung Choi
Abstract:
In this paper, we generalize the geometric mean of two positive definite matrices to that of third-order tensors using the notion of T-product. Specifically, we define the geometric mean of two T-positive definite tensors and verify several properties that "mean" should satisfy including the idempotence and the commutative property, and so on. Moreover, it is shown that the geometric mean is a uni…
▽ More
In this paper, we generalize the geometric mean of two positive definite matrices to that of third-order tensors using the notion of T-product. Specifically, we define the geometric mean of two T-positive definite tensors and verify several properties that "mean" should satisfy including the idempotence and the commutative property, and so on. Moreover, it is shown that the geometric mean is a unique T-positive definite solution of an algebraic Riccati tensor equation and can be expressed as solutions of algebraic Riccati matrix equations. In addition, we investigate the Riemannian manifold associated with the geometric mean for T-positive definite tensors, considering it as a totally geodesic embedded submanifold of the Riemannian manifold associated with the case of matrices. It is particularly shown that the geometric mean of two T-positive definite tensors is the midpoint of a unique geodesic joining the tensors, and the manifold is a Cartan-Hadamard-Riemannian manifold.
△ Less
Submitted 30 March, 2024;
originally announced April 2024.
-
High entropy measures on the space of lattices with escape of mass
Authors:
Taehyeong Kim
Abstract:
For any diagonal element $a$ with two eigenvalues, we construct a sequence of $a$-invariant probability measures on the space of unimodular lattices with high entropy but converging to the zero measure. This extends the result of Kadyrov [Ergodic Theory Dynam. Systems, 32(1) (2012)].
For any diagonal element $a$ with two eigenvalues, we construct a sequence of $a$-invariant probability measures on the space of unimodular lattices with high entropy but converging to the zero measure. This extends the result of Kadyrov [Ergodic Theory Dynam. Systems, 32(1) (2012)].
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
Probabilistic bivariate Bell polynomials
Authors:
Taekyun Kim,
Dae san Kim
Abstract:
Let Y be a random variable whose moment generating function exists in some neighborhood of the origin. We consider the probabilistic bivariate Bell polynomials associated with Y and the probabilistic bivariate r-Bell polynomials associated with Y. For those polynomials, we derive the recurrence relations corresponding to the ones found by Zheng and Li for the bivariate Bell polynomials and the biv…
▽ More
Let Y be a random variable whose moment generating function exists in some neighborhood of the origin. We consider the probabilistic bivariate Bell polynomials associated with Y and the probabilistic bivariate r-Bell polynomials associated with Y. For those polynomials, we derive the recurrence relations corresponding to the ones found by Zheng and Li for the bivariate Bell polynomials and the bivariate r-Bell polynomials.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
Probabilistic central Bell polynomials
Authors:
R. Xu,
Y. Ma,
T. Kim,
D. S. Kim,
S. Boulaars
Abstract:
Let Y be a random variable whose moment generating function exists in a neighborhood of the origin. In this paper, we study the probabilistic central Bell polynomials associated with random variable Y, as probabilistic extension of the central Bell polynomials. In addition, we investigate the probabilistic central factorial numbers of the second kind associated with Y and the probabilistic central…
▽ More
Let Y be a random variable whose moment generating function exists in a neighborhood of the origin. In this paper, we study the probabilistic central Bell polynomials associated with random variable Y, as probabilistic extension of the central Bell polynomials. In addition, we investigate the probabilistic central factorial numbers of the second kind associated with Y and the probabilistic central Fubini polynomials associated with Y. The aim of this paper is to derive some properties, explicit expressions, certain identities and recurrence relations for those polynomials and numbers.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Funnel Synthesis via LMI Copositivity Conditions for Nonlinear Systems
Authors:
Taewan Kim,
Behçet Açıkmeşe
Abstract:
Funnel synthesis refers to a procedure for synthesizing a time-varying controlled invariant set and an associated control law around a nominal trajectory. The computation of the funnel involves solving a continuous-time differential equation or inequality, ensuring the invariance of the funnel. Previous approaches often compromise the invariance property of the funnel; for example, they may enforc…
▽ More
Funnel synthesis refers to a procedure for synthesizing a time-varying controlled invariant set and an associated control law around a nominal trajectory. The computation of the funnel involves solving a continuous-time differential equation or inequality, ensuring the invariance of the funnel. Previous approaches often compromise the invariance property of the funnel; for example, they may enforce the equation or the inequality only at discrete temporal nodes and do not have a formal guarantee of invariance at all times. This paper proposes a computational funnel synthesis method that can satisfy the invariance of the funnel without such compromises. We derive a finite number of linear matrix inequalities (LMIs) that imply the satifaction of a continuous-time differential linear matrix inequality guaranteeing the invariance of the funnel at all times from the initial to the final time. To this end, we utilize LMI conditions ensuring matrix copositivity, which then imply continuous-time invariance. The primary contribution of the paper is to prove that the resulting funnel is indeed invariant over a finite time horizon. We validate the proposed method via a three-dimensional trajectory planning and control problem with obstacle avoidance constraints.
△ Less
Submitted 21 October, 2024; v1 submitted 23 February, 2024;
originally announced February 2024.
-
Fluctuations of the free energy of the spherical Sherrington-Kirkpatrick model with heavy-tailed interaction
Authors:
Taegyun Kim,
Ji Oon Lee
Abstract:
We consider the 2-spin spherical Sherrington--Kirkpatrick model without external magnetic field where the interactions between the spins are given as random variables with heavy-tailed distribution. We show that the free energy exhibits a sharp phase transition depending on the location of the largest eigenvalue of the interaction matrix. We also prove the order of the limiting free energy and the…
▽ More
We consider the 2-spin spherical Sherrington--Kirkpatrick model without external magnetic field where the interactions between the spins are given as random variables with heavy-tailed distribution. We show that the free energy exhibits a sharp phase transition depending on the location of the largest eigenvalue of the interaction matrix. We also prove the order of the limiting free energy and the limiting distribution of the fluctuation of the free energy for both regimes.
△ Less
Submitted 31 October, 2024; v1 submitted 22 February, 2024;
originally announced February 2024.
-
Iterated satellite operators on the knot concordance group
Authors:
Jae Choon Cha,
Taehee Kim
Abstract:
We show that for a winding number zero satellite operator $P$ on the knot concordance group, if the axis of $P$ has nontrivial self-pairing under the Blanchfield form of the pattern, then the image of the iteration $P^n$ generates an infinite rank subgroup for each $n$. Furthermore, the graded quotients of the filtration of the knot concordance group associated with $P$ have infinite rank at all l…
▽ More
We show that for a winding number zero satellite operator $P$ on the knot concordance group, if the axis of $P$ has nontrivial self-pairing under the Blanchfield form of the pattern, then the image of the iteration $P^n$ generates an infinite rank subgroup for each $n$. Furthermore, the graded quotients of the filtration of the knot concordance group associated with $P$ have infinite rank at all levels. This gives an affirmative answer to a question of Hedden and Pinzón-Caicedo in many cases. We also show that under the same hypotheses, $P^n$ is not a homomorphism on the knot concordance group for each $n$. We use amenable $L^2$-signatures to prove these results.
△ Less
Submitted 4 March, 2025; v1 submitted 7 February, 2024;
originally announced February 2024.
-
On the rate of convergence of continued fraction statistics of random rationals
Authors:
Ofir David,
Taehyeong Kim,
Ron Mor,
Uri Shapira
Abstract:
We show that the statistics of the continued fraction expansion of a randomly chosen rational in the unit interval, with a fixed large denominator $q$, approaches the Gauss-Kuzmin statistics with polynomial rate in $q$. This improves on previous results giving the convergence without rate. As an application of this effective rate of convergence, we show that the statistics of a randomly chosen rat…
▽ More
We show that the statistics of the continued fraction expansion of a randomly chosen rational in the unit interval, with a fixed large denominator $q$, approaches the Gauss-Kuzmin statistics with polynomial rate in $q$. This improves on previous results giving the convergence without rate. As an application of this effective rate of convergence, we show that the statistics of a randomly chosen rational in the unit interval, with a fixed large denominator $q$ and prime numerator, also approaches the Gauss-Kuzmin statistics. Our results are obtained as applications of improved non-escape of mass and equidistribution statements for the geodesic flow on the space $SL_2(\mathbb{R})/SL_2(\mathbb{Z})$.
△ Less
Submitted 16 November, 2024; v1 submitted 28 January, 2024;
originally announced January 2024.
-
Probabilistic derangement numbers and polynomials
Authors:
Taekyun Kim,
Dae San Kim
Abstract:
Let Y be a random variable such that the moment generating function of Y exists in a neighborhood of the origin. The aim of this paper is to study probabilistic versions of the derangement polynomials, the derangement polynomials of type 2 and the r-derangement numbers, namely the probabilistic derangement polynomials associated with Y, the probabilistic derangement polynomials of type 2 associate…
▽ More
Let Y be a random variable such that the moment generating function of Y exists in a neighborhood of the origin. The aim of this paper is to study probabilistic versions of the derangement polynomials, the derangement polynomials of type 2 and the r-derangement numbers, namely the probabilistic derangement polynomials associated with Y, the probabilistic derangement polynomials of type 2 associated with Y and the probabilistic r-derangement numbers associated Y, respectively. We derive some properties, explicit expressions, certain identities and recurrence relations for those polynomials and numbers. In addition, we consider the special case that Y is the gamma random variable with parameters α,\b{eta} > 0.
△ Less
Submitted 8 January, 2024;
originally announced January 2024.
-
Probabilistic degenerate Fubini polynomials associated with random variables
Authors:
Rongrong Xu,
Taekyun Kim,
Dae San Kim,
Yuankui Ma
Abstract:
Let Y be a random variable such that the moment generating function of Y exists in a neighborhood of the origin. The aim of this paper is to study probabilistic versions of the degenerate Fubini polynomials and the degenerate Fubini polynomials of order $r$, namely the probabilisitc degenerate Fubini polynomials associated with Y and the probabilistic degenerate Fubini polynomials of order r assoc…
▽ More
Let Y be a random variable such that the moment generating function of Y exists in a neighborhood of the origin. The aim of this paper is to study probabilistic versions of the degenerate Fubini polynomials and the degenerate Fubini polynomials of order $r$, namely the probabilisitc degenerate Fubini polynomials associated with Y and the probabilistic degenerate Fubini polynomials of order r associated with Y. We derive some properties, explicit expressions, certain identities and recurrence relations for those polynomials.
△ Less
Submitted 5 January, 2024;
originally announced January 2024.
-
Approximating Numerical Fluxes Using Fourier Neural Operators for Hyperbolic Conservation Laws
Authors:
Taeyoung Kim,
Myungjoo Kang
Abstract:
Traditionally, classical numerical schemes have been employed to solve partial differential equations (PDEs) using computational methods. Recently, neural network-based methods have emerged. Despite these advancements, neural network-based methods, such as physics-informed neural networks (PINNs) and neural operators, exhibit deficiencies in robustness and generalization. To address these issues,…
▽ More
Traditionally, classical numerical schemes have been employed to solve partial differential equations (PDEs) using computational methods. Recently, neural network-based methods have emerged. Despite these advancements, neural network-based methods, such as physics-informed neural networks (PINNs) and neural operators, exhibit deficiencies in robustness and generalization. To address these issues, numerous studies have integrated classical numerical frameworks with machine learning techniques, incorporating neural networks into parts of traditional numerical methods. In this study, we focus on hyperbolic conservation laws by replacing traditional numerical fluxes with neural operators. To this end, we developed loss functions inspired by established numerical schemes related to conservation laws and approximated numerical fluxes using Fourier neural operators (FNOs). Our experiments demonstrated that our approach combines the strengths of both traditional numerical schemes and FNOs, outperforming standard FNO methods in several respects. For instance, we demonstrate that our method is robust, has resolution invariance, and is feasible as a data-driven method. In particular, our method can make continuous predictions over time and exhibits superior generalization capabilities with out-of-distribution (OOD) samples, which are challenges that existing neural operator methods encounter.
△ Less
Submitted 13 May, 2024; v1 submitted 3 January, 2024;
originally announced January 2024.
-
Probabilistic degenerate Dowling polynomials associated with random variables
Authors:
Taekyun Kim,
Dae San Kim
Abstract:
The aim of this paper is to study probabilistic versions of the degenerate Whitney numbers of the second kind and those of the degenerate Dowling polynomials, namely the probabilistic degenerate Whitney numbers of the second kind associated with Y and the probabilistic degenerate Dowling polynomials associated with Y. Here Y is a random variable whose moment generating function exists in some neig…
▽ More
The aim of this paper is to study probabilistic versions of the degenerate Whitney numbers of the second kind and those of the degenerate Dowling polynomials, namely the probabilistic degenerate Whitney numbers of the second kind associated with Y and the probabilistic degenerate Dowling polynomials associated with Y. Here Y is a random variable whose moment generating function exists in some neighborhood of the origin. We derive some properties, explicit expressions, certain identities, recurrence relations and generating functions for those numbers and polynomials. In addition, we investigate their generalizations, namely the probabilistic degenerate r-Whitney numbers of the second kind associated with Y and the probabilistic degenerate r-Dowling polynomials associated with Y, and get similar results to the aforementioned numbers and polynomials.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
Some identities on degenerate harmonic and degenerate higher-order harmonic numbers
Authors:
Taekyun Kim,
Dae San Kim
Abstract:
The harmonic numbers and higher-order harmonic numbers appear frequently in several areas which are related to combinatorial identities, many expressions involving special functions in analytic number theory, and analysis of algorithms. The aim of this paper is to study the degenerate harmonic and degenerate higher-order harmonic numbers, which are respectively degenerate versions of the harmonic…
▽ More
The harmonic numbers and higher-order harmonic numbers appear frequently in several areas which are related to combinatorial identities, many expressions involving special functions in analytic number theory, and analysis of algorithms. The aim of this paper is to study the degenerate harmonic and degenerate higher-order harmonic numbers, which are respectively degenerate versions of the harmonic and higher-order harmonic numbers, in connection with the degenerate zeta and degenerate Hurwitz zeta function. Here the degenerate zeta and degenerate Hurwitz zeta function are respectively degenerate versions of the Riemann zeta and Hurwitz zeta function. We show that several infinite sums involving the degenerate higher-order harmonic numbers can be expressed in terms of the degenerate zeta function. Furthermore, we demonstrate that an infinite sum involving finite sums of products of the degenerate harmonic numbers can be represented by using the degenerate Hurwitz zeta function.
△ Less
Submitted 29 August, 2023;
originally announced August 2023.
