-
Perfect t-Embeddings of Uniformly Weighted Generalized Tower Graphs
Authors:
David Keating,
Hieu Trung Vu
Abstract:
In this paper, we study sequences of perfect t-embeddings of a uniformly weighted family of graphs we call generalized tower graphs. We show that the embeddings of these graphs satisfy certain technical assumptions, in particular, the rigidity assumption of Berggren-Nicoletti-Russkikh. As a result, we confirm the convergence of the gradients of the height function fluctuations of these graphs to t…
▽ More
In this paper, we study sequences of perfect t-embeddings of a uniformly weighted family of graphs we call generalized tower graphs. We show that the embeddings of these graphs satisfy certain technical assumptions, in particular, the rigidity assumption of Berggren-Nicoletti-Russkikh. As a result, we confirm the convergence of the gradients of the height function fluctuations of these graphs to those of the Gaussian free field.
△ Less
Submitted 23 September, 2025;
originally announced September 2025.
-
Gradient Flows of Interfacial Energies: Curvature Agents and Incompressibility
Authors:
Keith Promislow,
Truong Vu,
Brian Wetton
Abstract:
We present a framework for the gradient flow of sharp-interface surface energies that couple to embedded curvature active agents. We use a penalty method to develop families of locally incompressible gradient flows that couple interface stretching or compression to local flux of interfacial mass. We establish the convergence of the penalty method to an incompressible flow both formally for a broad…
▽ More
We present a framework for the gradient flow of sharp-interface surface energies that couple to embedded curvature active agents. We use a penalty method to develop families of locally incompressible gradient flows that couple interface stretching or compression to local flux of interfacial mass. We establish the convergence of the penalty method to an incompressible flow both formally for a broad family of surface energies and rigorously for a more narrow class of surface energies. We present an analysis, including a $Γ$-limit, of an Allen-Cahn type model for a coupled surface agent curvature energy.
△ Less
Submitted 9 September, 2025;
originally announced September 2025.
-
Neural operators for solving nonlinear inverse problems
Authors:
Otmar Scherzer,
Thi Lan Nhi Vu,
Jikai Yan
Abstract:
We consider solving a probably infinite dimensional operator equation, where the operator is not modeled by physical laws but is specified indirectly via training pairs of the input-output relation of the operator. Neural operators have proven to be efficient to approximate operators with such information. In this paper, we analyze Tikhonov regularization with neural operators as surrogates for so…
▽ More
We consider solving a probably infinite dimensional operator equation, where the operator is not modeled by physical laws but is specified indirectly via training pairs of the input-output relation of the operator. Neural operators have proven to be efficient to approximate operators with such information. In this paper, we analyze Tikhonov regularization with neural operators as surrogates for solving ill-posed operator equations. The analysis is based on balancing approximation errors of neural operators, regularization parameters, and noise. Moreover, we extend the approximation properties of neural operators from sets of continuous functions to Sobolev and Lebesgue spaces, which is crucial for solving inverse problems. Finally, we address the problem of finding an appropriate network structure of neural operators.
△ Less
Submitted 26 August, 2025;
originally announced August 2025.
-
Symbolic Computation with Symmetric Polynomials in Real Algebraic Geometry
Authors:
Cordian Riener,
Thi Xuan Vu
Abstract:
Symmetry plays a central role in accelerating symbolic computation involving polynomials. This chapter surveys recent developments and foundational methods that leverage the inherent symmetries of polynomial systems to reduce complexity, improve algorithmic efficiency, and reveal deeper structural insights. The main focus is on symmetry by the permutation of variables.
Symmetry plays a central role in accelerating symbolic computation involving polynomials. This chapter surveys recent developments and foundational methods that leverage the inherent symmetries of polynomial systems to reduce complexity, improve algorithmic efficiency, and reveal deeper structural insights. The main focus is on symmetry by the permutation of variables.
△ Less
Submitted 31 July, 2025;
originally announced July 2025.
-
On the functor relating Harish-Chandra bimodules and Soergel bimodules
Authors:
Trung Vu
Abstract:
In the 90's Soergel constructed a functor that relates Harish-Chandra bimodules to Soergel bimodules. We revisit this functor and relate it to the restriction functor constructed by Losev between Harish-Chandra bimodules and bimodules over $W$-algebra associated to the regular nilpotent element. We compute the images of certain Harish-Chandra bimodules under the restriction functor and provide alt…
▽ More
In the 90's Soergel constructed a functor that relates Harish-Chandra bimodules to Soergel bimodules. We revisit this functor and relate it to the restriction functor constructed by Losev between Harish-Chandra bimodules and bimodules over $W$-algebra associated to the regular nilpotent element. We compute the images of certain Harish-Chandra bimodules under the restriction functor and provide alternative proofs for many properties of the functor constructed by Soergel. Blocks of Harish-Chandra bimodules with integral central characters were studied in the works of Soergel and Stroppel. We will generalize results of Soergel and Stroppel in the case of integral blocks to general blocks.
△ Less
Submitted 22 July, 2025;
originally announced July 2025.
-
Associated primes of the second power of closed neighborhood ideals of graphs
Authors:
Ha Thi Thu Hien,
Thanh Vu
Abstract:
We study simple graphs for which the maximal homogeneous ideal is an associated prime of the second power of their closed neighborhood ideals. In particular, we show that such graphs must have diameter at most $6$, and that those with diameter $2$ must be vertex diameter-$2$-critical.
We study simple graphs for which the maximal homogeneous ideal is an associated prime of the second power of their closed neighborhood ideals. In particular, we show that such graphs must have diameter at most $6$, and that those with diameter $2$ must be vertex diameter-$2$-critical.
△ Less
Submitted 11 July, 2025;
originally announced July 2025.
-
Dynamics of rotationally invariant polynomial root sets under iterated differentiations
Authors:
André Galligo,
Joseph Najnudel,
Truong Vu
Abstract:
We associate to an $N$-sample of a given rotationally invariant probability measure $μ_0$ with compact support in the complex plane, a polynomial $P_N$ with roots given by the sample. Then, for $t \in (0,1)$, we consider the empirical measure $μ_t^{N}$ associated to the root set of the $\lfloor t N\rfloor$-th derivative of $P_N$. A question posed by O'Rourke and Steinerberger [21], reformulated as…
▽ More
We associate to an $N$-sample of a given rotationally invariant probability measure $μ_0$ with compact support in the complex plane, a polynomial $P_N$ with roots given by the sample. Then, for $t \in (0,1)$, we consider the empirical measure $μ_t^{N}$ associated to the root set of the $\lfloor t N\rfloor$-th derivative of $P_N$. A question posed by O'Rourke and Steinerberger [21], reformulated as a conjecture by Hoskins and Kabluchko [10], and recently reaffirmed by Campbell, O'Rourke and Renfrew [5], states that under suitable conditions of regularity on $μ_0$, for an i.i.d. sample, $μ_t^{N}$ converges to a rotationally invariant probability measure $μ_t$ when $N$ tends to infinity, and that $(1-t)μ_t$ has a radial density $x \mapsto ψ(x,t)$ satisfying the following partial differential equation:
\begin{equation} \label{PDErotational}
\frac{ \partial ψ(x,t) }{\partial t} = \frac{ \partial}{\partial x} \left( \frac{ ψ(x,t) }{ \frac{1}{x} \int_0^x ψ(y,t) dy } \right).
\end{equation} In [10], this equation is reformulated as an equation on the distribution function $Ψ_t$ of the radial part of $(1-t) μ_t$: \begin{equation} \label{equationPsixtabstract} \frac{\partial Ψ_t (x)}{\partial t} = x \frac{\frac{\partial Ψ_t (x)}{\partial x} } {Ψ_t(x)} - 1. \end{equation} Restricting our study to a specific family of $N$-samplings, we are able to prove a variant of the conjecture above. We also emphasize the important differences between the two-dimensional setting and the one-dimensional setting, illustrated in our Theorem 2.1.
△ Less
Submitted 9 June, 2025; v1 submitted 6 June, 2025;
originally announced June 2025.
-
(Near)-Optimal Algorithms for Sparse Separable Convex Integer Programs
Authors:
Christoph Hunkenschröder,
Martin Koutecký,
Asaf Levin,
Tung Anh Vu
Abstract:
We study the general integer programming (IP) problem of optimizing a separable convex function over the integer points of a polytope: $\min \{f(\mathbf{x}) \mid A\mathbf{x} = \mathbf{b}, \, \mathbf{l} \leq \mathbf{x} \leq \mathbf{u}, \, \mathbf{x} \in \mathbb{Z}^n\}$. The number of variables $n$ is a variable part of the input, and we consider the regime where the constraint matrix $A$ has small…
▽ More
We study the general integer programming (IP) problem of optimizing a separable convex function over the integer points of a polytope: $\min \{f(\mathbf{x}) \mid A\mathbf{x} = \mathbf{b}, \, \mathbf{l} \leq \mathbf{x} \leq \mathbf{u}, \, \mathbf{x} \in \mathbb{Z}^n\}$. The number of variables $n$ is a variable part of the input, and we consider the regime where the constraint matrix $A$ has small coefficients $\|A\|_\infty$ and small primal or dual treedepth $\mathrm{td}_P(A)$ or $\mathrm{td}_D(A)$, respectively. Equivalently, we consider block-structured matrices, in particular $n$-fold, tree-fold, $2$-stage and multi-stage matrices.
We ask about the possibility of near-linear time algorithms in the general case of (non-linear) separable convex functions. The techniques of previous works for the linear case are inherently limited to it; in fact, no strongly-polynomial algorithm may exist due to a simple unconditional information-theoretic lower bound of $n \log \|\mathbf{u}-\mathbf{l}\|_\infty$, where $\mathbf{l}, \mathbf{u}$ are the vectors of lower and upper bounds. Our first result is that with parameters $\mathrm{td}_P(A)$ and $\|A\|_\infty$, this lower bound can be matched (up to dependency on the parameters). Second, with parameters $\mathrm{td}_D(A)$ and $\|A\|_\infty$, the situation is more involved, and we design an algorithm with time complexity $g(\mathrm{td}_D(A), \|A\|_\infty) n \log n \log \|\mathbf{u}-\mathbf{l}\|_\infty$ where $g$ is some computable function. We conjecture that a stronger lower bound is possible in this regime, and our algorithm is in fact optimal.
Our algorithms combine ideas from scaling, proximity, and sensitivity of integer programs, together with a new dynamic data structure.
△ Less
Submitted 28 May, 2025;
originally announced May 2025.
-
Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings
Authors:
Thi Xuan Vu
Abstract:
Let $\mathcal{R} = \mathbb{K}[x_1, \dots, x_n]$ be a multivariate polynomial ring over a field $\mathbb{K}$ of characteristic 0. Consider $n$ algebraically independent elements $g_1, \dots, g_n$ in $\mathcal{R}$. Let $\mathcal{S}$ denote the subring of $\mathcal{R}$ generated by $g_1, \dots, g_n$, and let $h$ be an element of $\mathcal{S}$. Then, there exists a unique element…
▽ More
Let $\mathcal{R} = \mathbb{K}[x_1, \dots, x_n]$ be a multivariate polynomial ring over a field $\mathbb{K}$ of characteristic 0. Consider $n$ algebraically independent elements $g_1, \dots, g_n$ in $\mathcal{R}$. Let $\mathcal{S}$ denote the subring of $\mathcal{R}$ generated by $g_1, \dots, g_n$, and let $h$ be an element of $\mathcal{S}$. Then, there exists a unique element ${f} \in \mathbb{K}[u_1, \dots, u_n]$ such that $h = f(g_1, \dots, g_n)$.
In this paper, we provide an algorithm for computing ${f}$, given $h$ and $g_1, \dots, g_n$. The complexity of our algorithm is linear in the size of the input, $h$ and $g_1, \dots, g_n$, and polynomial in $n$ when the degree of $f$ is fixed. Previous works are mostly known when $f$ is a symmetric polynomial and $g_1, \dots, g_n$ are elementary symmetric, homogeneous symmetric, or power symmetric polynomials.
△ Less
Submitted 30 April, 2025;
originally announced April 2025.
-
Expository article: "Bounded orthogonal systems and the $Λ(p)$-set problem'' by Jean Bourgain
Authors:
Hongki Jung,
Bartosz Langowski,
Alexander Ortiz,
Truong Vu
Abstract:
In this paper, we present an exposition of the work \cite{B} by Jean Bourgain, in which he resolved the well known conjecture posed by Rudin regarding the existence of $Λ(p)$-sets.
In this paper, we present an exposition of the work \cite{B} by Jean Bourgain, in which he resolved the well known conjecture posed by Rudin regarding the existence of $Λ(p)$-sets.
△ Less
Submitted 25 April, 2025;
originally announced April 2025.
-
Deciding Connectivity in Symmetric Semi-Algebraic Sets
Authors:
Cordian. Riener,
Robin Schabert,
Thi Xuan Vu
Abstract:
A semi-algebraic set is a subset of $\mathbb{R}^n$ defined by a finite collection of polynomial equations and inequalities. In this paper, we investigate the problem of determining whether two points in such a set belong to the same connected component. We focus on the case where the defining equations and inequalities are invariant under the natural action of the symmetric group and where each po…
▽ More
A semi-algebraic set is a subset of $\mathbb{R}^n$ defined by a finite collection of polynomial equations and inequalities. In this paper, we investigate the problem of determining whether two points in such a set belong to the same connected component. We focus on the case where the defining equations and inequalities are invariant under the natural action of the symmetric group and where each polynomial has degree at most \( d \), with \( d < n \) (where \( n \) denotes the number of variables). Exploiting this symmetry, we develop and analyze algorithms for two key tasks. First, we present an algorithm that determines whether the orbits of two given points are connected. Second, we provide an algorithm that decides connectivity between arbitrary points in the set. Both algorithms run in polynomial time with respect to \( n \).
△ Less
Submitted 15 March, 2025;
originally announced March 2025.
-
Deep unrolling for learning optimal spatially varying regularisation parameters for Total Generalised Variation
Authors:
Thanh Trung Vu,
Andreas Kofler,
Kostas Papafitsoros
Abstract:
We extend a recently introduced deep unrolling framework for learning spatially varying regularisation parameters in inverse imaging problems to the case of Total Generalised Variation (TGV). The framework combines a deep convolutional neural network (CNN) inferring the two spatially varying TGV parameters with an unrolled algorithmic scheme that solves the corresponding variational problem. The t…
▽ More
We extend a recently introduced deep unrolling framework for learning spatially varying regularisation parameters in inverse imaging problems to the case of Total Generalised Variation (TGV). The framework combines a deep convolutional neural network (CNN) inferring the two spatially varying TGV parameters with an unrolled algorithmic scheme that solves the corresponding variational problem. The two subnetworks are jointly trained end-to-end in a supervised fashion and as such the CNN learns to compute those parameters that drive the reconstructed images as close to the ground truth as possible. Numerical results in image denoising and MRI reconstruction show a significant qualitative and quantitative improvement compared to the best TGV scalar parameter case as well as to other approaches employing spatially varying parameters computed by unsupervised methods. We also observe that the inferred spatially varying parameter maps have a consistent structure near the image edges, asking for further theoretical investigations. In particular, the parameter that weighs the first-order TGV term has a triple-edge structure with alternating high-low-high values whereas the one that weighs the second-order term attains small values in a large neighbourhood around the edges.
△ Less
Submitted 6 March, 2025; v1 submitted 23 February, 2025;
originally announced February 2025.
-
The Fourier coefficients of the holomorphic multiplicative chaos in the limit of large frequency
Authors:
Joseph Najnudel,
Elliot Paquette,
Nick Simm,
Truong Vu
Abstract:
The holomorphic multiplicative chaos (HMC) is a holomorphic analogue of the Gaussian multiplicative chaos. It arises naturally as the limit in large matrix size of the characteristic polynomial of Haar unitary, and more generally circular-$β$-ensemble, random matrices.
We consider the Fourier coefficients of the holomorphic multiplicative chaos in the $L^1$-phase, and we show that appropriately…
▽ More
The holomorphic multiplicative chaos (HMC) is a holomorphic analogue of the Gaussian multiplicative chaos. It arises naturally as the limit in large matrix size of the characteristic polynomial of Haar unitary, and more generally circular-$β$-ensemble, random matrices.
We consider the Fourier coefficients of the holomorphic multiplicative chaos in the $L^1$-phase, and we show that appropriately normalized, this converges in distribution to a complex normal random variable, scaled by the total mass of the Gaussian multiplicative chaos measure on the unit circle. We further generalize this to a process convergence, showing the joint convergence of consecutive Fourier coefficients. As a corollary, we derive convergence in law of the secular coefficients of sublinear index of the circular-$β$-ensemble for all $β> 2$.
△ Less
Submitted 20 February, 2025;
originally announced February 2025.
-
Regularity of edge ideals of powers of graphs
Authors:
My Hanh Pham,
Thanh Vu
Abstract:
We prove that the regularity of edge ideals of powers of forests is weakly decreasing. We then compute the regularity of edge ideals of powers of cycles.
We prove that the regularity of edge ideals of powers of forests is weakly decreasing. We then compute the regularity of edge ideals of powers of cycles.
△ Less
Submitted 7 February, 2025;
originally announced February 2025.
-
Cochordal zero divisor graphs and Betti numbers of their edge ideals
Authors:
Le Xuan Dung,
Thanh Vu
Abstract:
We associate a sequence of positive integers, termed the type sequence, with a cochordal graph. Using this type sequence, we compute all graded Betti numbers of its edge ideal. We then classify all positive integer $n$ such that the zero divisor graph of $\mathbb{Z}/n \mathbb{Z}$ is cochordal and determine all the graded Betti numbers of its edge ideal.
We associate a sequence of positive integers, termed the type sequence, with a cochordal graph. Using this type sequence, we compute all graded Betti numbers of its edge ideal. We then classify all positive integer $n$ such that the zero divisor graph of $\mathbb{Z}/n \mathbb{Z}$ is cochordal and determine all the graded Betti numbers of its edge ideal.
△ Less
Submitted 11 November, 2024; v1 submitted 7 November, 2024;
originally announced November 2024.
-
A tamed-adaptive Milstein scheme for stochastic differential equations with low regularity coefficients
Authors:
Thi-Huong Vu,
Hoang-Long Ngo,
Duc-Trong Luong,
Tran Ngoc Khue
Abstract:
We propose a tamed-adaptive Milstein scheme for stochastic differential equations in which the first-order derivatives of the coefficients are locally Hölder continuous of order $α$. We show that the scheme converges in the $L_2$-norm with a rate of $(1+α)/2$ over both finite intervals $[0, T]$ and the infinite interval $(0, +\infty)$, under certain growth conditions on the coefficients.
We propose a tamed-adaptive Milstein scheme for stochastic differential equations in which the first-order derivatives of the coefficients are locally Hölder continuous of order $α$. We show that the scheme converges in the $L_2$-norm with a rate of $(1+α)/2$ over both finite intervals $[0, T]$ and the infinite interval $(0, +\infty)$, under certain growth conditions on the coefficients.
△ Less
Submitted 9 July, 2025; v1 submitted 4 November, 2024;
originally announced November 2024.
-
Multiplicity of powers of squarefree monomial ideals
Authors:
Phan Thi Thuy,
Thanh Vu
Abstract:
Let $I$ be an arbitrary nonzero squarefree monomial ideal of dimension $d$ in a polynomial ring $S = \mathrm{k}[x_1,\ldots,x_n]$. Let $μ$ be the number of associated primes of $S/I$ of dimension $d$. We prove that the multiplicity of powers of $I$ is given by
$$e_0(S/I^s) = μ\binom{n-d+s-1}{s-1},$$
for all $s \ge 1$. Consequently, we compute the multiplicity of all powers of path ideals of cyc…
▽ More
Let $I$ be an arbitrary nonzero squarefree monomial ideal of dimension $d$ in a polynomial ring $S = \mathrm{k}[x_1,\ldots,x_n]$. Let $μ$ be the number of associated primes of $S/I$ of dimension $d$. We prove that the multiplicity of powers of $I$ is given by
$$e_0(S/I^s) = μ\binom{n-d+s-1}{s-1},$$
for all $s \ge 1$. Consequently, we compute the multiplicity of all powers of path ideals of cycles.
△ Less
Submitted 2 November, 2024;
originally announced November 2024.
-
Unmixed and sequentially Cohen-Macaulay skew tableau ideals
Authors:
Do Trong Hoang,
Thanh Vu
Abstract:
We associate a {\it skew tableau ideal} to each filling of a skew Ferrers diagram with positive integers. We classify all unmixed and sequentially Cohen-Macaulay skew tableau ideals. Consequently, we classify all Cohen-Macaulay, Buchsbaum, and generalized Cohen-Macaulay skew tableau ideals.
We associate a {\it skew tableau ideal} to each filling of a skew Ferrers diagram with positive integers. We classify all unmixed and sequentially Cohen-Macaulay skew tableau ideals. Consequently, we classify all Cohen-Macaulay, Buchsbaum, and generalized Cohen-Macaulay skew tableau ideals.
△ Less
Submitted 27 October, 2024;
originally announced October 2024.
-
Regularity of Powers and symbolic powers of edge ideals of cubic circulant graphs
Authors:
Nguyen Thu Hang,
My Hanh Pham,
Thanh Vu
Abstract:
We compute the regularity of powers and symbolic powers of edge ideals of all cubic circulant graphs. In particular, we establish Conjecture of Minh for cubic circulant graphs.
We compute the regularity of powers and symbolic powers of edge ideals of all cubic circulant graphs. In particular, we establish Conjecture of Minh for cubic circulant graphs.
△ Less
Submitted 30 September, 2024;
originally announced September 2024.
-
Normal edge ideals of edge-weighted graphs
Authors:
Thanh Vu,
Guangjun Zhu
Abstract:
We classify all normal edge ideals of edge-weighted graphs.
We classify all normal edge ideals of edge-weighted graphs.
△ Less
Submitted 22 July, 2024;
originally announced July 2024.
-
Regularity of integral closures of edge ideals of weighted oriented graphs
Authors:
Nguyen Cong Minh,
Thanh Vu,
Guangjun Zhu
Abstract:
We prove that the regularity cannot increase when taking the integral closure for edge ideals of arbitrary weighted oriented graphs.
We prove that the regularity cannot increase when taking the integral closure for edge ideals of arbitrary weighted oriented graphs.
△ Less
Submitted 28 June, 2024;
originally announced July 2024.
-
Regularity of linearly presented squarefree monomial ideals
Authors:
Hailong Dao,
Thanh Vu
Abstract:
We prove a sharp bound for the regularity of a squarefree monomial ideal with a linear presentation. This result also answers in positive a question on the cohomological dimension of squarefree monomial ideals satisfying Serre's $S_2$-condition proposed by Dao and Takagi.
We prove a sharp bound for the regularity of a squarefree monomial ideal with a linear presentation. This result also answers in positive a question on the cohomological dimension of squarefree monomial ideals satisfying Serre's $S_2$-condition proposed by Dao and Takagi.
△ Less
Submitted 15 June, 2024;
originally announced June 2024.
-
A Novel Paradigm Shift for Next-Generation: Symbiotic Backscatter Rate-Splitting Multiple Access Systems
Authors:
Thai-Hoc Vu,
Daniel Benevides da Costa,
Bao Vo Nguyen Quoc,
Sunghwan Kim
Abstract:
Next-generation wireless networks are projected to empower a broad range of Internet-of-things (IoT) applications and services with extreme data rates, posing new challenges in delivering large-scale connectivity at a low cost to current communication paradigms. Rate-splitting multiple access (RSMA) is one of the most spotlight nominees, conceived to address spectrum scarcity while reaching massiv…
▽ More
Next-generation wireless networks are projected to empower a broad range of Internet-of-things (IoT) applications and services with extreme data rates, posing new challenges in delivering large-scale connectivity at a low cost to current communication paradigms. Rate-splitting multiple access (RSMA) is one of the most spotlight nominees, conceived to address spectrum scarcity while reaching massive connectivity. Meanwhile, symbiotic communication is said to be an inexpensive way to realize future IoT on a large scale. To reach the goal of spectrum efficiency improvement and low energy consumption, we merge these advances by means of introducing a novel paradigm shift, called symbiotic backscatter RSMA, for the next generation. Specifically, we first establish the way to operate the symbiotic system to assist the readers in apprehending the proposed paradigm, then guide detailed design in beamforming weights with four potential gain-control (GC) strategies for enhancing symbiotic communication, and finally provide an information-theoretic framework using a new metric, called symbiotic outage probability (SOP) to characterize the proposed system performance. Through numerical result experiments, we show that the developed framework can accurately predict the actual SOP and the efficacy of the proposed GC strategies in improving the SOP performance.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Regularity of normal Rees algebras of edge ideals of graphs
Authors:
Cao Huy Linh,
Quang Hoa Tran,
Thanh Vu
Abstract:
We classify all graphs for which the Rees algebras of their edge ideals are normal and have regularity equal to their matching numbers.
We classify all graphs for which the Rees algebras of their edge ideals are normal and have regularity equal to their matching numbers.
△ Less
Submitted 19 May, 2024;
originally announced May 2024.
-
Coherent Risk Measure on $L^0$: NA Condition, Pricing and Dual Representation
Authors:
Emmanuel Lepinette,
Duc Thinh Vu
Abstract:
The NA condition is one of the pillars supporting the classical theory of financial mathematics. We revisit this condition for financial market models where a dynamic risk-measure defined on $L^0$ is fixed to characterize the family of acceptable wealths that play the role of non negative financial positions. We provide in this setting a new version of the fundamental theorem of asset pricing and…
▽ More
The NA condition is one of the pillars supporting the classical theory of financial mathematics. We revisit this condition for financial market models where a dynamic risk-measure defined on $L^0$ is fixed to characterize the family of acceptable wealths that play the role of non negative financial positions. We provide in this setting a new version of the fundamental theorem of asset pricing and we deduce a dual characterization of the super-hedging prices (called risk-hedging prices) of a European option. Moreover, we show that the set of all risk-hedging prices is closed under NA. At last, we provide a dual representation of the risk-measure on $L^0$ under some conditions.
△ Less
Submitted 10 May, 2024;
originally announced May 2024.
-
Dynamic programming principle and computable prices in financial market models with transaction costs
Authors:
Emmanuel Lepinette,
Duc Thinh Vu
Abstract:
How to compute (super) hedging costs in rather general fi- nancial market models with transaction costs in discrete-time ? Despite the huge literature on this topic, most of results are characterizations of the super-hedging prices while it remains difficult to deduce numerical procedure to estimate them. We establish here a dynamic programming principle and we prove that it is possible to impleme…
▽ More
How to compute (super) hedging costs in rather general fi- nancial market models with transaction costs in discrete-time ? Despite the huge literature on this topic, most of results are characterizations of the super-hedging prices while it remains difficult to deduce numerical procedure to estimate them. We establish here a dynamic programming principle and we prove that it is possible to implement it under some conditions on the conditional supports of the price and volume processes for a large class of market models including convex costs such as order books but also non convex costs, e.g. fixed cost models.
△ Less
Submitted 10 May, 2024;
originally announced May 2024.
-
Graded Betti numbers of powers of path ideals of paths
Authors:
Silviu Balanescu,
Mircea Cimpoeas,
Thanh Vu
Abstract:
Let $I_{n,m} = (x_1\cdots x_{m},x_2 \cdots x_{m+1},\ldots,x_{n+1}x_{n+2}\cdots x_{n+m})$ be the $m$-path ideal of a path of length $n + m-1$ over a polynomial ring $S = \mathrm{k}[x_1,\ldots,x_{n+m}]$. We compute all the graded Betti numbers of all powers of $I_{n,m}$.
Let $I_{n,m} = (x_1\cdots x_{m},x_2 \cdots x_{m+1},\ldots,x_{n+1}x_{n+2}\cdots x_{n+m})$ be the $m$-path ideal of a path of length $n + m-1$ over a polynomial ring $S = \mathrm{k}[x_1,\ldots,x_{n+m}]$. We compute all the graded Betti numbers of all powers of $I_{n,m}$.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
Betti numbers of powers of path ideals of cycles
Authors:
Silviu Balanescu,
Mircea Cimpoeas,
Thanh Vu
Abstract:
Let $J_{n,m} = (x_1\cdots x_{m},x_2 \cdots x_{m+1},\ldots,x_{n}x_1\cdots x_{m-1})$ be the $m$-path ideal of a cycle of length $n \ge 5$ over a polynomial ring $S = k[x_1,\ldots,x_n]$. Let $t\geq 1$ be an integer. We show that $J_{n,m}^t$ has a linear free resolution and give a precise formula for all of its Betti numbers when $m = n-1, n-2$.
Let $J_{n,m} = (x_1\cdots x_{m},x_2 \cdots x_{m+1},\ldots,x_{n}x_1\cdots x_{m-1})$ be the $m$-path ideal of a cycle of length $n \ge 5$ over a polynomial ring $S = k[x_1,\ldots,x_n]$. Let $t\geq 1$ be an integer. We show that $J_{n,m}^t$ has a linear free resolution and give a precise formula for all of its Betti numbers when $m = n-1, n-2$.
△ Less
Submitted 27 April, 2024;
originally announced April 2024.
-
Anti-concentration applied to roots of randomized derivatives of polynomials
Authors:
André Galligo,
Joseph Najnudel,
Truong Vu
Abstract:
Let $(Z^{(n)}_k)_{1 \leq k \leq n}$ be a random set of points and let $μ_n$ be its \emph{empirical measure}:
$$μ_n = \frac{1}{n} \sum_{k=1}^n δ_{Z^{(n)}_k}. $$
Let $$P_n(z) := (z - Z^{(n)}_1)\cdots (z - Z^{(n)}_n)\quad \text{and}\quad Q_n (z) := \sum_{k=1}^n γ^{(n)}_k \prod_{1 \leq j \leq n, j \neq k} (z- Z^{(n)}_j), $$ where $(γ^{(n)}_k)_{1 \leq k \leq n}$ are independent, i.i.d. random varia…
▽ More
Let $(Z^{(n)}_k)_{1 \leq k \leq n}$ be a random set of points and let $μ_n$ be its \emph{empirical measure}:
$$μ_n = \frac{1}{n} \sum_{k=1}^n δ_{Z^{(n)}_k}. $$
Let $$P_n(z) := (z - Z^{(n)}_1)\cdots (z - Z^{(n)}_n)\quad \text{and}\quad Q_n (z) := \sum_{k=1}^n γ^{(n)}_k \prod_{1 \leq j \leq n, j \neq k} (z- Z^{(n)}_j), $$ where $(γ^{(n)}_k)_{1 \leq k \leq n}$ are independent, i.i.d. random variables with Gamma distribution of parameter $β/2$, for some fixed $β> 0$. We prove that in the case where $μ_n$ almost surely tends to $μ$ when $n \rightarrow \infty$, the empirical measure of the complex zeros of the \emph{randomized derivative} $Q_n$ also converges almost surely to $μ$ when $n$ tends to infinity. Furthermore, for $k = o(n / \log n)$, we obtain that the zeros of the $k-$th \emph{randomized derivative} of $P_n$ converge to the limiting measure $μ$ in the same sense. We also derive the same conclusion for a variant of the randomized derivative related to the unit circle.
△ Less
Submitted 8 July, 2024; v1 submitted 18 April, 2024;
originally announced April 2024.
-
On the convergence analysis of one-shot inversion methods
Authors:
Marcella Bonazzoli,
Houssem Haddar,
Tuan Anh Vu
Abstract:
When an inverse problem is solved by a gradient-based optimization algorithm, the corresponding forward and adjoint problems, which are introduced to compute the gradient, can be also solved iteratively. The idea of iterating at the same time on the inverse problem unknown and on the forward and adjoint problem solutions yields the concept of one-shot inversion methods. We are especially intereste…
▽ More
When an inverse problem is solved by a gradient-based optimization algorithm, the corresponding forward and adjoint problems, which are introduced to compute the gradient, can be also solved iteratively. The idea of iterating at the same time on the inverse problem unknown and on the forward and adjoint problem solutions yields the concept of one-shot inversion methods. We are especially interested in the case where the inner iterations for the direct and adjoint problems are incomplete, that is, stopped before achieving a high accuracy on their solutions. Here, we focus on general linear inverse problems and generic fixed-point iterations for the associated forward problem. We analyze variants of the so-called multi-step one-shot methods, in particular semi-implicit schemes with a regularization parameter. We establish sufficient conditions on the descent step for convergence, by studying the eigenvalues of the block matrix of the coupled iterations. Several numerical experiments are provided to illustrate the convergence of these methods in comparison with the classical gradient descent, where the forward and adjoint problems are solved exactly by a direct solver instead. We observe that very few inner iterations are enough to guarantee good convergence of the inversion algorithm, even in the presence of noisy data.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
A global approach for the inverse scattering problem using a Carleman contraction map
Authors:
Phuong M. Nguyen,
Loc H. Nguyen,
Huong T. T. Vu
Abstract:
This paper addresses the inverse scattering problem in the domain Omega. The input data, measured outside Omega, involve the waves generated by the interaction of plane waves with various directions and unknown scatterers fully occluded inside Omega. The output of this problem is the spatially dielectric constant of these scatterers. Our approach to solving this problem consists of two primary sta…
▽ More
This paper addresses the inverse scattering problem in the domain Omega. The input data, measured outside Omega, involve the waves generated by the interaction of plane waves with various directions and unknown scatterers fully occluded inside Omega. The output of this problem is the spatially dielectric constant of these scatterers. Our approach to solving this problem consists of two primary stages. Initially, we eliminate the unknown dielectric constant from the governing equation, resulting in a system of partial differential equations. Subsequently, we develop the Carleman contraction mapping method to effectively tackle this system. It is noteworthy to highlight this method's robustness. It does not request a precise initial guess of the true solution, and its computational cost is not expensive. Some numerical examples are presented.
△ Less
Submitted 21 June, 2024; v1 submitted 5 April, 2024;
originally announced April 2024.
-
Arctic curves of the T-system with Slanted Initial Data
Authors:
Philippe Di Francesco,
Hieu Trung Vu
Abstract:
We study the T-system of type $A_\infty$, also known as the octahedron recurrence/equation, viewed as a 2+1-dimensional discrete evolution equation. Generalizing the study of [P. Di Francesco and R. Soto-Garrido. Arctic curves of the octahedron equation. J. Phys. A, 47(28):285204, 34, 2014], we consider initial data along parallel ``slanted" planes perpendicular to an arbitrary admissible directio…
▽ More
We study the T-system of type $A_\infty$, also known as the octahedron recurrence/equation, viewed as a 2+1-dimensional discrete evolution equation. Generalizing the study of [P. Di Francesco and R. Soto-Garrido. Arctic curves of the octahedron equation. J. Phys. A, 47(28):285204, 34, 2014], we consider initial data along parallel ``slanted" planes perpendicular to an arbitrary admissible direction $(r,s,t)\in {\mathbb Z}_+^3$. The solution of the T-system is interpreted as the partition function of a dimer model on some suitable ``pinecone" graph introduced in [M. Bousquet-Mélou, J. Propp, and J. West. Perfect matchings for the three-term Gale-Robinson sequences. Electron. J. Combin., 16(1):Research Paper 125, 37, 2009]. The T-system formulation and some exact solutions in uniform or periodic cases allow us to explore the thermodynamic limit of the corresponding dimer models and to derive exact arctic curves separating the various phases of the system.
△ Less
Submitted 29 July, 2024; v1 submitted 4 March, 2024;
originally announced March 2024.
-
Spectral properties of two-dimensional half-space semi-Dirac semi-metals
Authors:
Tuyen Vu
Abstract:
The paper deals with the semi-Dirac operator in a half-space arising in the description of quasiparticles in quantum mechanics as well as in semi-metals materials and related structures. It completely shows the self-adjointness, computes the square and the spectrum of the operator. We also set up sufficient conditions for the existence of the point and discrete spectrum by including some appropria…
▽ More
The paper deals with the semi-Dirac operator in a half-space arising in the description of quasiparticles in quantum mechanics as well as in semi-metals materials and related structures. It completely shows the self-adjointness, computes the square and the spectrum of the operator. We also set up sufficient conditions for the existence of the point and discrete spectrum by including some appropriate potentials in the problem and study the spectral stability properties for perturbed operators.
△ Less
Submitted 27 June, 2024; v1 submitted 27 February, 2024;
originally announced February 2024.
-
Projective dimension and regularity of 3-path ideals of unicyclic graphs
Authors:
Nguyen Thu Hang,
Thanh Vu
Abstract:
We compute the projective dimension and regularity of $3$-path ideals of arbitrary graphs with at most one cycle.
We compute the projective dimension and regularity of $3$-path ideals of arbitrary graphs with at most one cycle.
△ Less
Submitted 25 February, 2024;
originally announced February 2024.
-
Risk-Constrained Reinforcement Learning for Inverter-Dominated Power System Controls
Authors:
Kyung-bin Kwon,
Sayak Mukherjee,
Thanh Long Vu,
Hao Zhu
Abstract:
This paper develops a risk-aware controller for grid-forming inverters (GFMs) to minimize large frequency oscillations in GFM inverter-dominated power systems. To tackle the high variability from loads/renewables, we incorporate a mean-variance risk constraint into the classical linear quadratic regulator (LQR) formulation for this problem. The risk constraint aims to bound the time-averaged cost…
▽ More
This paper develops a risk-aware controller for grid-forming inverters (GFMs) to minimize large frequency oscillations in GFM inverter-dominated power systems. To tackle the high variability from loads/renewables, we incorporate a mean-variance risk constraint into the classical linear quadratic regulator (LQR) formulation for this problem. The risk constraint aims to bound the time-averaged cost of state variability and thus can improve the worst-case performance for large disturbances. The resulting risk-constrained LQR problem is solved through the dual reformulation to a minimax problem, by using a reinforcement learning (RL) method termed as stochastic gradient-descent with max-oracle (SGDmax). In particular, the zero-order policy gradient (ZOPG) approach is used to simplify the gradient estimation using simulated system trajectories. Numerical tests conducted on the IEEE 68-bus system have validated the convergence of our proposed SGDmax for GFM model and corroborate the effectiveness of the risk constraint in improving the worst-case performance while reducing the variability of the overall control cost.
△ Less
Submitted 17 December, 2023;
originally announced December 2023.
-
Determining initial conditions for nonlinear hyperbolic equations with time dimensional reduction and the Carleman contraction
Authors:
Trong D. Dang,
Loc H. Nguyen,
Huong T. T. Vu
Abstract:
This paper aims to determine the initial conditions for quasi-linear hyperbolic equations that include nonlocal elements. We suggest a method where we approximate the solution of the hyperbolic equation by truncating its Fourier series in the time domain with a polynomial-exponential basis. This truncation effectively removes the time variable, transforming the problem into a system of quasi-linea…
▽ More
This paper aims to determine the initial conditions for quasi-linear hyperbolic equations that include nonlocal elements. We suggest a method where we approximate the solution of the hyperbolic equation by truncating its Fourier series in the time domain with a polynomial-exponential basis. This truncation effectively removes the time variable, transforming the problem into a system of quasi-linear elliptic equations. We refer to this technique as the "time dimensional reduction method." To numerically solve this system comprehensively without the need for an accurate initial estimate, we used the newly developed Carleman contraction principle. We show the efficiency of our method through various numerical examples. The time dimensional reduction method stands out not only for its precise solutions but also for its remarkable speed in computation.
△ Less
Submitted 11 June, 2024; v1 submitted 2 December, 2023;
originally announced December 2023.
-
Depth and regularity of tableau ideals
Authors:
Do Trong Hoang,
Thanh Vu
Abstract:
We compute the depth and regularity of ideals associated with arbitrary fillings of positive integers to a Young diagram, called the tableau ideals.
We compute the depth and regularity of ideals associated with arbitrary fillings of positive integers to a Young diagram, called the tableau ideals.
△ Less
Submitted 13 November, 2023;
originally announced November 2023.
-
An Advanced Fuel Efficiency Optimization Model with Fractional Programming
Authors:
Md Isfakul Anam,
Tuyen Vu
Abstract:
Reducing the fuel consumption within a power network is crucial to enhance the overall system efficiency and minimize operating costs. Fuel consumption minimization can be achieved through different optimization techniques where the output power of the generators is regulated based on their individual efficiency characteristics. Existing studies primarily focus either on maximizing the efficiency…
▽ More
Reducing the fuel consumption within a power network is crucial to enhance the overall system efficiency and minimize operating costs. Fuel consumption minimization can be achieved through different optimization techniques where the output power of the generators is regulated based on their individual efficiency characteristics. Existing studies primarily focus either on maximizing the efficiency function or minimizing the operating cost function of the generators to minimize fuel consumption. However, for practical implementation, it becomes imperative to incorporate a function within the optimization framework to represent the fuel consumption rate directly. This study introduces a novel approach by formulating a minimization problem with a sum-of-ratios objective function representing the fuel consumption rate. However, optimization problems with sum-of-ratios objective functions or constraints are extremely challenging to solve because of their strong nonlinearity. To efficiently solve the formulated problem, a fractional programming (FP) approach is adopted in this study. This reformulation technique significantly reduces the solution time of the optimization problem and provides a better solution than nonlinear programming (NLP). In addition, the reformulated problem can also be applied to large-scale systems where the NLP fails to converge. The proposed methodology of this study is tested on the notional MVAC ship system, modified IEEE 30-bus and IEEE 118-bus systems. The results demonstrate that the model successfully minimizes fuel consumption by effectively scheduling the generator and ESS dispatch.
△ Less
Submitted 27 October, 2023;
originally announced October 2023.
-
On the regularity of Dirac eigenfunctions
Authors:
Tuyen Vu
Abstract:
The article provides proofs for the regularity of Dirac eigenfunctions, subject to MIT boundary conditions employed on various types of open sets ranging from smooth ones to convex polygons in two dimensions, as well as on half-space and smooth bounded domains in three-dimensional space.
The article provides proofs for the regularity of Dirac eigenfunctions, subject to MIT boundary conditions employed on various types of open sets ranging from smooth ones to convex polygons in two dimensions, as well as on half-space and smooth bounded domains in three-dimensional space.
△ Less
Submitted 26 June, 2024; v1 submitted 29 September, 2023;
originally announced September 2023.
-
Depth of powers of edge ideals of Cohen-Macaulay trees
Authors:
Nguyen Thu Hang,
Truong Thi Hien,
Thanh Vu
Abstract:
Let $I$ be the edge ideal of a Cohen-Macaulay tree of dimension $d$ over a polynomial ring $S = \mathrm{k}[x_1,\ldots,x_{d},y_1,\ldots,y_d]$. We prove that for all $t \ge 1$,
$$\operatorname{depth} (S/I^t) = \operatorname{max} \{d -t + 1, 1 \}.$$
Let $I$ be the edge ideal of a Cohen-Macaulay tree of dimension $d$ over a polynomial ring $S = \mathrm{k}[x_1,\ldots,x_{d},y_1,\ldots,y_d]$. We prove that for all $t \ge 1$,
$$\operatorname{depth} (S/I^t) = \operatorname{max} \{d -t + 1, 1 \}.$$
△ Less
Submitted 10 September, 2023;
originally announced September 2023.
-
Stable value of depth of symbolic powers of edge ideals of graphs
Authors:
Nguyen Cong Minh,
Tran Nam Trung,
Thanh Vu
Abstract:
Let $G$ be a simple graph on $n$ vertices. We introduce the notion of bipartite connectivity of $G$, denoted by $\operatorname{bc}(G)$ and prove that
$$\lim_{s \to \infty} \operatorname{depth} (S/I(G)^{(s)}) \le \operatorname{bc}(G),$$
where $I(G)$ denotes the edge ideal of $G$ and $S = \mathrm{k}[x_1, \ldots, x_n]$ is a standard graded polynomial ring over a field $\mathrm{k}$. We further com…
▽ More
Let $G$ be a simple graph on $n$ vertices. We introduce the notion of bipartite connectivity of $G$, denoted by $\operatorname{bc}(G)$ and prove that
$$\lim_{s \to \infty} \operatorname{depth} (S/I(G)^{(s)}) \le \operatorname{bc}(G),$$
where $I(G)$ denotes the edge ideal of $G$ and $S = \mathrm{k}[x_1, \ldots, x_n]$ is a standard graded polynomial ring over a field $\mathrm{k}$. We further compute the depth of symbolic powers of edge ideals of several classes of graphs, including odd cycles and whisker graphs of complete graphs to illustrate the cases where the above inequality becomes equality.
△ Less
Submitted 19 May, 2024; v1 submitted 19 August, 2023;
originally announced August 2023.
-
The sequentially Cohen-Macaulay property of edge ideals of edge-weighted graphs
Authors:
Ly Thi Kieu Diem,
Nguyen Cong Minh,
Thanh Vu
Abstract:
Let $I(G_{\mathbf{w}})$ be the edge ideal of an edge-weighted graph $(G,\mathbf{w})$. We prove that $I(G_{\mathbf{w}})$ is sequentially Cohen-Macaulay for all weight functions $w$ if and only if $G$ is a Woodroofe graph.
Let $I(G_{\mathbf{w}})$ be the edge ideal of an edge-weighted graph $(G,\mathbf{w})$. We prove that $I(G_{\mathbf{w}})$ is sequentially Cohen-Macaulay for all weight functions $w$ if and only if $G$ is a Woodroofe graph.
△ Less
Submitted 9 August, 2023;
originally announced August 2023.
-
Depth of powers of edge ideals of cycles and trees
Authors:
Nguyen Cong Minh,
Tran Nam Trung,
Thanh Vu
Abstract:
Let $I$ be the edge ideal of a cycle of length $n \ge 5$ over a polynomial ring $S = \mathrm{k}[x_1,\ldots,x_n]$. We prove that for $2 \le t < \lceil (n+1)/2 \rceil$,
$$\operatorname{depth} (S/I^t) = \lceil \frac{n -t + 1}{3} \rceil.$$
When $G = T_{\mathbf{a}}$ is a starlike tree which is the join of $k$ paths of length $a_1, \ldots, a_k$ at a common root $1$, we give a formula for the depth o…
▽ More
Let $I$ be the edge ideal of a cycle of length $n \ge 5$ over a polynomial ring $S = \mathrm{k}[x_1,\ldots,x_n]$. We prove that for $2 \le t < \lceil (n+1)/2 \rceil$,
$$\operatorname{depth} (S/I^t) = \lceil \frac{n -t + 1}{3} \rceil.$$
When $G = T_{\mathbf{a}}$ is a starlike tree which is the join of $k$ paths of length $a_1, \ldots, a_k$ at a common root $1$, we give a formula for the depth of powers of $I(T_{\mathbf{a}})$.
△ Less
Submitted 1 August, 2023;
originally announced August 2023.
-
Betti numbers of the tangent cones of monomial space curves
Authors:
Nguyen P. H. Lan,
Nguyen Chanh Tu,
Thanh Vu
Abstract:
Let $H = \langle n_1, n_2, n_3\rangle$ be a numerical semigroup. Let $\tilde H$ be the interval completion of $H$, namely the semigroup generated by the interval $\langle n_1, n_1+1, \ldots, n_3\rangle$. Let $K$ be a field and $K[H]$ the semigroup ring generated by $H$. Let $I_H^*$ be the defining ideal of the tangent cone of $K[H]$. In this paper, we describe the defining equations of $I_H^*$. Fr…
▽ More
Let $H = \langle n_1, n_2, n_3\rangle$ be a numerical semigroup. Let $\tilde H$ be the interval completion of $H$, namely the semigroup generated by the interval $\langle n_1, n_1+1, \ldots, n_3\rangle$. Let $K$ be a field and $K[H]$ the semigroup ring generated by $H$. Let $I_H^*$ be the defining ideal of the tangent cone of $K[H]$. In this paper, we describe the defining equations of $I_H^*$. From that, we establish the Herzog-Stamate conjecture for monomial space curves stating that $β_i(I_H^*) \le β_i(I_{\tilde H}^*)$ for all $i$, where $β_i(I_H^*)$ and $β_i(I_{\tilde H}^*)$ are the $i$th Betti numbers of $I_H^*$ and $I_{\tilde H}^*$ respectively.
△ Less
Submitted 10 July, 2023;
originally announced July 2023.
-
Faster real root decision algorithm for symmetric polynomials
Authors:
George Labahn,
Cordian Riener,
Mohab Safey El Din,
Éric Schost,
Thi Xuan Vu
Abstract:
In this paper, we consider the problem of deciding the existence of real solutions to a system of polynomial equations having real coefficients, and which are invariant under the action of the symmetric group. We construct and analyze a Monte Carlo probabilistic algorithm which solves this problem, under some regularity assumptions on the input, by taking advantage of the symmetry invariance prope…
▽ More
In this paper, we consider the problem of deciding the existence of real solutions to a system of polynomial equations having real coefficients, and which are invariant under the action of the symmetric group. We construct and analyze a Monte Carlo probabilistic algorithm which solves this problem, under some regularity assumptions on the input, by taking advantage of the symmetry invariance property. The complexity of our algorithm is polynomial in $d^s, {{n+d} \choose d}$, and ${{n} \choose {s+1}}$, where $n$ is the number of variables and $d$ is the maximal degree of $s$ input polynomials defining the real algebraic set under study. In particular, this complexity is polynomial in $n$ when $d$ and $s$ are fixed and is equal to $n^{O(1)}2^n$ when $d=n$.
△ Less
Submitted 6 June, 2023;
originally announced June 2023.
-
Spectral inequality for Dirac right triangles
Authors:
Tuyen Vu
Abstract:
We consider the Dirac operator on right triangles, subject to infinite-mass boundary conditions. We conjecture that the lowest positive eigenvalue is minimised by the isosceles right triangle both under the area or perimeter constraints. We prove this conjecture under extra geometric hypotheses relying on a recent approach of Ph. Briet and D. Krej{č}i{ř}{í}k for Dirac rectangles [2].
We consider the Dirac operator on right triangles, subject to infinite-mass boundary conditions. We conjecture that the lowest positive eigenvalue is minimised by the isosceles right triangle both under the area or perimeter constraints. We prove this conjecture under extra geometric hypotheses relying on a recent approach of Ph. Briet and D. Krej{č}i{ř}{í}k for Dirac rectangles [2].
△ Less
Submitted 25 February, 2023;
originally announced February 2023.
-
Bounds on Functionality and Symmetric Difference -- Two Intriguing Graph Parameters
Authors:
Pavel Dvořák,
Lukáš Folwarczný,
Michal Opler,
Pavel Pudlák,
Robert Šámal,
Tung Anh Vu
Abstract:
Functionality ($\mathrm{fun}$) is a graph parameter that generalizes graph degeneracy defined by Alecu et al. [JCTB, 2021]. They research the relation of functionality to many other graphs parameters (tree-width, clique-width, VC-dimension, etc.). Extending their research, we completely characterize the functionality of random graph $G(n,p)$ for all possible $p$. We provide matching (up to a const…
▽ More
Functionality ($\mathrm{fun}$) is a graph parameter that generalizes graph degeneracy defined by Alecu et al. [JCTB, 2021]. They research the relation of functionality to many other graphs parameters (tree-width, clique-width, VC-dimension, etc.). Extending their research, we completely characterize the functionality of random graph $G(n,p)$ for all possible $p$. We provide matching (up to a constant factor) lower and upper bound for a large range of $p$. It follows from our bounds for $G(n,p)$, that the maximum functionality (roughly $\sqrt{n}$) is achieved for $p \approx 1/\sqrt{n}$. We complement this by showing that every graph $G$ on $n$ vertices have $\mathrm{fun}(G) \le O(\sqrt{ n \ln n})$ and we give a nearly matching $Ω(\sqrt{n})$-lower bound provided by incident graphs of projective planes. Previously known lower bounds for functionality were only logarithmic in the number of vertices.
Further, we study a related graph parameter symmetric difference ($\mathrm{sd}$), the minimum of $|N(u) ~Δ~ N(v)|$ over all pairs of vertices of the ``worst possible'' induced subgraph. It was observed by Alecu et al. that $\mathrm{fun}(G) \le \mathrm{sd}(G)+1$ for every graph $G$. They asked whether the functionality of interval graphs is bounded. Recently, Dallard et al. [RiM, 2024] answered this positively and they constructed an interval graph $G$ with $\mathrm{sd}(G) = Θ(\sqrt[4]{n})$ (even though they did not mention the explicit bound), i.e., they separate the functionality and symmetric difference of interval graphs. We show that $\mathrm{sd}$ of interval graphs is at most $O(\sqrt[3]{n})$ and we provide a different example of an interval graph $G$ with $\mathrm{sd}(G) = Θ(\sqrt[4]{n})$. Further, we show that $\mathrm{sd}$ of circular arc graphs is $Θ(\sqrt{n})$.
△ Less
Submitted 30 May, 2025; v1 submitted 23 February, 2023;
originally announced February 2023.
-
Reconstructing a space-dependent source term via the quasi-reversibility method
Authors:
Loc H. Nguyen,
Huong T. Vu
Abstract:
The aim of this paper is to solve an important inverse source problem which arises from the well-known inverse scattering problem. We propose to truncate the Fourier series of the solution to the governing equation with respect to a special basis of L2. By this, we obtain a system of linear elliptic equations. Solutions to this system are the Fourier coefficients of the solution to the governing e…
▽ More
The aim of this paper is to solve an important inverse source problem which arises from the well-known inverse scattering problem. We propose to truncate the Fourier series of the solution to the governing equation with respect to a special basis of L2. By this, we obtain a system of linear elliptic equations. Solutions to this system are the Fourier coefficients of the solution to the governing equation. After computing these Fourier coefficients, we can directly find the desired source function. Numerical examples are presented.
△ Less
Submitted 17 October, 2022;
originally announced October 2022.
-
Reinforcement Learning-based Output Structured Feedback for Distributed Multi-Area Power System Frequency Control
Authors:
Kyung-bin Kwon,
Sayak Mukherjee,
Hao Zhu,
Thanh Long Vu
Abstract:
Load frequency control (LFC) is a key factor to maintain the stable frequency in multi-area power systems. As the modern power systems evolve from centralized to distributed paradigm, LFC needs to consider the peer-to-peer (P2P) based scheme that considers limited information from the information-exchange graph for the generator control of each interconnected area. This paper aims to solve a data-…
▽ More
Load frequency control (LFC) is a key factor to maintain the stable frequency in multi-area power systems. As the modern power systems evolve from centralized to distributed paradigm, LFC needs to consider the peer-to-peer (P2P) based scheme that considers limited information from the information-exchange graph for the generator control of each interconnected area. This paper aims to solve a data-driven constrained LQR problem with mean-variance risk constraints and output structured feedback, and applies this framework to solve the LFC problem in multi-area power systems. By reformulating the constrained optimization problem into a minimax problem, the stochastic gradient descent max-oracle (SGDmax) algorithm with zero-order policy gradient (ZOPG) is adopted to find the optimal feedback gain from the learning, while guaranteeing convergence. In addition, to improve the adaptation of the proposed learning method to new or varying models, we construct an emulator grid that approximates the dynamics of a physical grid and performs training based on this model. Once the feedback gain is obtained from the emulator grid, it is applied to the physical grid with a robustness test to check whether the controller from the approximated emulator applies to the actual system. Numerical tests show that the obtained feedback controller can successfully control the frequency of each area, while mitigating the uncertainty from the loads, with reliable robustness that ensures the adaptability of the obtained feedback gain to the actual physical grid.
△ Less
Submitted 25 September, 2022;
originally announced September 2022.
-
Characterization of graphs whose a small power of their edge ideals has a linear free resolution
Authors:
Nguyen Cong Minh,
Thanh Vu
Abstract:
Let $I(G)$ be the edge ideal of a simple graph $G$. We prove that $I(G)^2$ has a linear free resolution if and only if $G$ is gap-free and reg$I(G) \le 3$. Similarly, we show that $I(G)^3$ has a linear free resolution if and only if $G$ is gap-free and reg$I(G) \le 4$. We deduce these characterizations from a general formula for the regularity of powers of edge ideals of gap-free graphs…
▽ More
Let $I(G)$ be the edge ideal of a simple graph $G$. We prove that $I(G)^2$ has a linear free resolution if and only if $G$ is gap-free and reg$I(G) \le 3$. Similarly, we show that $I(G)^3$ has a linear free resolution if and only if $G$ is gap-free and reg$I(G) \le 4$. We deduce these characterizations from a general formula for the regularity of powers of edge ideals of gap-free graphs $${\rm reg}(I(G)^s) = \max({\rm reg} I(G) + s-1,2s),$$ for $s =2,3$.
△ Less
Submitted 9 October, 2022; v1 submitted 29 August, 2022;
originally announced August 2022.
