Showing 1–50 of 85 results for author: Tan, J

The complete boundedness of singular integrals on weighted flag and product Hardy space

Authors: Jian Tan

Abstract: It is known that product singular integrals are bounded on product Hardy spaces and that flag singular integrals are bounded on flag Hardy spaces. The purpose of this paper is to obtain the complete boundedness of singular integrals on weighted flag and product Hardy spaces. In particular, we prove the boundedness of one-parameter singular integrals on both weighted flag and product Hardy spaces,… ▽ More It is known that product singular integrals are bounded on product Hardy spaces and that flag singular integrals are bounded on flag Hardy spaces. The purpose of this paper is to obtain the complete boundedness of singular integrals on weighted flag and product Hardy spaces. In particular, we prove the boundedness of one-parameter singular integrals on both weighted flag and product Hardy spaces, as well as the boundedness of flag singular integrals on weighted product Hardy spaces. △ Less

Submitted 29 June, 2025; originally announced June 2025.

Comments: 26 pages

MSC Class: 42B30; 42B25; 46E30

Estimation of Treatment Effects in Extreme and Unobserved Data

Authors: Jiyuan Tan, Jose Blanchet, Vasilis Syrgkanis

Abstract: Causal effect estimation seeks to determine the impact of an intervention from observational data. However, the existing causal inference literature primarily addresses treatment effects on frequently occurring events. But what if we are interested in estimating the effects of a policy intervention whose benefits, while potentially important, can only be observed and measured in rare yet impactful… ▽ More Causal effect estimation seeks to determine the impact of an intervention from observational data. However, the existing causal inference literature primarily addresses treatment effects on frequently occurring events. But what if we are interested in estimating the effects of a policy intervention whose benefits, while potentially important, can only be observed and measured in rare yet impactful events, such as extreme climate events? The standard causal inference methodology is not designed for this type of inference since the events of interest may be scarce in the observed data and some degree of extrapolation is necessary. Extreme Value Theory (EVT) provides methodologies for analyzing statistical phenomena in such extreme regimes. We introduce a novel framework for assessing treatment effects in extreme data to capture the causal effect at the occurrence of rare events of interest. In particular, we employ the theory of multivariate regular variation to model extremities. We develop a consistent estimator for extreme treatment effects and present a rigorous non-asymptotic analysis of its performance. We illustrate the performance of our estimator using both synthetic and semi-synthetic data. △ Less

Submitted 16 June, 2025; originally announced June 2025.

Multilinear operators on Hardy spaces associated with ball quasi-Banach function spaces

Authors: Jian Tan

Abstract: This paper establishes that multilinear Calderón--Zygmund operators and their maximal operators are bounded on Hardy spaces associated with ball quasi-Banach function spaces. Moreover, we also obtain the boundedness of multilinear pseudo-differential operators on local Hardy spaces associated with ball quasi-Banach function spaces. Since these (local) Hardy type spaces encompass a wide range of cl… ▽ More This paper establishes that multilinear Calderón--Zygmund operators and their maximal operators are bounded on Hardy spaces associated with ball quasi-Banach function spaces. Moreover, we also obtain the boundedness of multilinear pseudo-differential operators on local Hardy spaces associated with ball quasi-Banach function spaces. Since these (local) Hardy type spaces encompass a wide range of classical (local) Hardy-type spaces including weighted (local) Hardy spaces, variable (local) Hardy space, (local) Hardy--Morrey space, mixed-norm (local) Hardy space, (local) Hardy--Lorentz space and (local) Hardy--Orlicz spaces, the results presented in this paper are highly general and essentially improve the existing results. △ Less

Submitted 30 March, 2025; originally announced March 2025.

Comments: 30 pages

MSC Class: 42B30; 42B20; 42B25

Hardy type spaces estimates for multilinear fractional integral operators

Authors: Jian Tan

Abstract: In this paper, we prove the boundedness of multilinear fractional integral operators from products of Hardy spaces associated with ball quasi-Banach function spaces into their corresponding ball quasi-Banach function spaces. As applications, we establish the boundedness of these operators on various function spaces, including weighted Hardy spaces, variable Hardy spaces, mixed-norm Hardy spaces, H… ▽ More In this paper, we prove the boundedness of multilinear fractional integral operators from products of Hardy spaces associated with ball quasi-Banach function spaces into their corresponding ball quasi-Banach function spaces. As applications, we establish the boundedness of these operators on various function spaces, including weighted Hardy spaces, variable Hardy spaces, mixed-norm Hardy spaces, Hardy--Lorentz spaces, and Hardy--Orlicz spaces. Notably, several of these results are new, even in special cases, and extend the existing theory of multilinear operators in the context of generalized Hardy spaces. △ Less

Submitted 30 March, 2025; originally announced March 2025.

Comments: 21 pages

MSC Class: 42B30; 42B20; 42B25; 46E30

A local limit theorem for the edge counts of random induced subgraphs of a random graph

Authors: Paul Balister, Emil Powierski, Alex Scott, Jane Tan

Abstract: Consider a `dense' Erdős--Rényi random graph model $G=G_{n,M}$ with $n$ vertices and $M$ edges, where we assume the edge density $M/\binom{n}{2}$ is bounded away from 0 and 1. Fix $k=k(n)$ with $k/n$ bounded away from 0 and~1, and let $S$ be a random subset of size $k$ of the vertices of $G$. We show that with probability $1-\exp(-n^{Ω(1)})$, $G$ satisfies both a central limit theorem and a local… ▽ More Consider a `dense' Erdős--Rényi random graph model $G=G_{n,M}$ with $n$ vertices and $M$ edges, where we assume the edge density $M/\binom{n}{2}$ is bounded away from 0 and 1. Fix $k=k(n)$ with $k/n$ bounded away from 0 and~1, and let $S$ be a random subset of size $k$ of the vertices of $G$. We show that with probability $1-\exp(-n^{Ω(1)})$, $G$ satisfies both a central limit theorem and a local limit theorem for the empirical distribution of the edge count $e(G[S])$ of the subgraph of $G$ induced by $S$, where the distribution is over uniform random choices of the $k$-set $S$. △ Less

Submitted 29 March, 2025; originally announced March 2025.

Comments: 25 pages

Boundedness of a class of multilinear operators and their iterated commutators on Morrey-Banach function spaces

Authors: Jiawei Tan, Jiahui Wang, Qingying Xue

Abstract: This paper investigates the boundedness of a broad class of operators within the framework of generalized Morrey-Banach function spaces. This class includes multilinear operators such as multilinear $ω$-Calderón-Zygmund operators, multilinear maximal singular integral operators, multilinear pseudo-differential operators, and multilinear square functions, as well as linear operators such as rough s… ▽ More This paper investigates the boundedness of a broad class of operators within the framework of generalized Morrey-Banach function spaces. This class includes multilinear operators such as multilinear $ω$-Calderón-Zygmund operators, multilinear maximal singular integral operators, multilinear pseudo-differential operators, and multilinear square functions, as well as linear operators such as rough singular integral operators, nonintegral operators, and Stein's square functions. The boundedness of this class of operators and their commutators on Morrey-Banach spaces is established provided they satisfy either a pointwise sparse domination assumption or the $W_{r}$ property (Lerner, Lorist and Ombrosi, Math. Z. 2024), which significantly generalize the classical theory of Morrey spaces. As an application, the boundedness of iterated commutators of this class of multilinear operators is extended to Morrey-Lorentz spaces and Morrey spaces with variable exponents. △ Less

Submitted 12 February, 2025; originally announced February 2025.

Comments: 32 pages

MSC Class: 42B35

Tight Bounds for Hypercube Minor-Universality

Authors: Emma Hogan, Lukas Michel, Alex Scott, Youri Tamitegama, Jane Tan, Dmitry Tsarev

Abstract: Benjamini, Kalifa and Tzalik recently proved that there is an absolute constant $c>0$ such that any graph with at most $c\cdot2^d/d$ edges and no isolated vertices is a minor of the $d$-dimensional hypercube $Q_d$, while there is an absolute constant $K > 0$ such that $Q_d$ is not $(K\cdot2^d/\sqrt{d})$-minor-universal. We show that $Q_d$ does not contain 3-uniform expander graphs with… ▽ More Benjamini, Kalifa and Tzalik recently proved that there is an absolute constant $c>0$ such that any graph with at most $c\cdot2^d/d$ edges and no isolated vertices is a minor of the $d$-dimensional hypercube $Q_d$, while there is an absolute constant $K > 0$ such that $Q_d$ is not $(K\cdot2^d/\sqrt{d})$-minor-universal. We show that $Q_d$ does not contain 3-uniform expander graphs with $C\cdot2^d/d$ edges as minors. This matches the lower bound up to a constant factor and answers one of their questions. △ Less

Submitted 10 February, 2025; originally announced February 2025.

Comments: 7 pages, 1 figure

MSC Class: 05C83

Two inequalities for commutators of singular integral operators satisfying Hörmander conditions of Young type

Authors: Yuru Li, Jiawei Tan, Qingying Xue

Abstract: In this paper, we systematically study the Fefferman-Stein inequality and Coifman-Fefferman inequality for the general commutators of singular integral operators that satisfy Hörmander conditions of Young type. Specifically, we first establish the pointwise sparse domination for these operators. Then, relying on the dyadic analysis, the Fefferman-Stein inequality with respect to arbitrary weights… ▽ More In this paper, we systematically study the Fefferman-Stein inequality and Coifman-Fefferman inequality for the general commutators of singular integral operators that satisfy Hörmander conditions of Young type. Specifically, we first establish the pointwise sparse domination for these operators. Then, relying on the dyadic analysis, the Fefferman-Stein inequality with respect to arbitrary weights and the quantitative weighted Coifman-Fefferman inequality are demonstrated. We decouple the relationship between the number of commutators and the index $\varepsilon$, which essentially improved the results of Pérez and Rivera-Ríos (Israel J. Math., 2017). As applications, it is shown that all the aforementioned results can be applied to a wide range of operators, such as singular integral operators satisfying the $L^r$-Hörmander operators, $ω$-Calderón-Zygmund operators with $ω$ satisfying a Dini condition, Calderón commutators, homogeneous singular integral operators and Fourier multipliers. △ Less

Submitted 11 January, 2025; originally announced January 2025.

Comments: 42 pages

MSC Class: 42B20; 42B25

Colouring t-perfect graphs

Authors: Maria Chudnovsky, Linda Cook, James Davies, Sang-il Oum, Jane Tan

Abstract: Perfect graphs can be described as the graphs whose stable set polytopes are defined by their non-negativity and clique inequalities (including edge inequalities). In 1975, Chvátal defined an analogous class of t-perfect graphs, which are the graphs whose stable set polytopes are defined by their non-negativity, edge inequalities, and odd circuit inequalities. We show that t-perfect graphs are… ▽ More Perfect graphs can be described as the graphs whose stable set polytopes are defined by their non-negativity and clique inequalities (including edge inequalities). In 1975, Chvátal defined an analogous class of t-perfect graphs, which are the graphs whose stable set polytopes are defined by their non-negativity, edge inequalities, and odd circuit inequalities. We show that t-perfect graphs are $199053$-colourable. This is the first finite bound on the chromatic number of t-perfect graphs and answers a question of Shepherd from 1995. Our proof also shows that every h-perfect graph with clique number $ω$ is $(ω+ 199050)$-colourable. △ Less

Submitted 23 December, 2024; originally announced December 2024.

Comments: 23 pages, 4 figures

On high genus extensions of Negami's conjecture

Authors: Marcin Briański, James Davies, Jane Tan

Abstract: Negami's famous planar cover conjecture is equivalent to the statement that a connected graph can be embedded in the projective plane if and only if it has a projective planar cover. In 1999, Hliněný proposed extending this conjecture to higher genus non-orientable surfaces. In this paper, we put forward a natural extension that encompasses orientable surfaces as well; for every compact surface… ▽ More Negami's famous planar cover conjecture is equivalent to the statement that a connected graph can be embedded in the projective plane if and only if it has a projective planar cover. In 1999, Hliněný proposed extending this conjecture to higher genus non-orientable surfaces. In this paper, we put forward a natural extension that encompasses orientable surfaces as well; for every compact surface $Σ$, a connected graph $G$ has a finite cover embeddable in $Σ$ if and only if $G$ is embeddable in a surface covered by $Σ$. As evidence toward this, we prove that for every surface $Σ$, the connected graphs with a finite cover embeddable in $Σ$ have bounded Euler genus. Moreover, we show that these extensions of Negami's conjecture are decidable for every compact surface of sufficiently large Euler genus, surpassing what is known for Negami's original conjecture. We also prove the natural analogue for countable graphs embeddable into a compact (orientable) surface. More precisely, we prove that a connected countable graph $G$ has a finite ply cover that embeds into a compact (orientable) surface if and only if $G$ embeds into a compact (orientable) surface. Our most general theorem, from which these results are derived, is that there is a constant $c>0$ such that for every surface $Σ$, there exists a decreasing function $p_Σ:\mathbb{N} \to \mathbb{N}$ with $\lim_{g\to \infty}p_Σ(g) =0$ such that every finite cover embeddable in $Σ$ of any connected graph with Euler genus $g\ge c$ has ply at most $p_Σ(g)$. △ Less

Submitted 5 December, 2024; originally announced December 2024.

Comments: 14 pages, 1 figure

Functional Singular Value Decomposition

Authors: Jianbin Tan, Pixu Shi, Anru R. Zhang

Abstract: Heterogeneous functional data commonly arise in time series and longitudinal studies. To uncover the statistical structures of such data, we propose Functional Singular Value Decomposition (FSVD), a unified framework encompassing various tasks for the analysis of functional data with potential heterogeneity. We establish the mathematical foundation of FSVD by proving its existence and providing it… ▽ More Heterogeneous functional data commonly arise in time series and longitudinal studies. To uncover the statistical structures of such data, we propose Functional Singular Value Decomposition (FSVD), a unified framework encompassing various tasks for the analysis of functional data with potential heterogeneity. We establish the mathematical foundation of FSVD by proving its existence and providing its fundamental properties. We then develop an implementation approach for noisy and irregularly observed functional data based on a novel alternating minimization scheme and provide theoretical guarantees for its convergence and estimation accuracy. The FSVD framework also introduces the concepts of intrinsic basis functions and intrinsic basis vectors, representing two fundamental structural aspects of random functions. These concepts enable FSVD to provide new and improved solutions to tasks including functional principal component analysis, factor models, functional clustering, functional linear regression, and functional completion, while effectively handling heterogeneity and irregular temporal sampling. Through extensive simulations, we demonstrate that FSVD-based methods consistently outperform existing methods across these tasks. To showcase the value of FSVD in real-world datasets, we apply it to extract temporal patterns from a COVID-19 case count dataset and perform data completion on an electronic health record dataset. △ Less

Submitted 16 February, 2025; v1 submitted 4 October, 2024; originally announced October 2024.

Clustered Colouring of Graph Products

Authors: Rutger Campbell, J. Pascal Gollin, Kevin Hendrey, Thomas Lesgourgues, Bojan Mohar, Youri Tamitegama, Jane Tan, David R. Wood

Abstract: A colouring of a graph $G$ has clustering $k$ if the maximum number of vertices in a monochromatic component equals $k$. Motivated by recent results showing that many natural graph classes are subgraphs of the strong product of a graph with bounded treewidth and a path, this paper studies clustered colouring of strong products of two bounded treewidth graphs, where none, one, or both graphs have b… ▽ More A colouring of a graph $G$ has clustering $k$ if the maximum number of vertices in a monochromatic component equals $k$. Motivated by recent results showing that many natural graph classes are subgraphs of the strong product of a graph with bounded treewidth and a path, this paper studies clustered colouring of strong products of two bounded treewidth graphs, where none, one, or both graphs have bounded degree. For example, in the case of two colours, if $n$ is the number of vertices in the product, then we show that clustering $Θ(n^{2/3})$ is best possible, even if one of the graphs is a path. However, if both graphs have bounded degree, then clustering $Θ(n^{1/2})$ is best possible. With three colours, if one of the graphs has bounded degree, then we show that clustering $Θ(n^{3/7})$ is best possible. However, if neither graph has bounded degree, then clustering $Ω(n^{1/2})$ is necessary. More general bounds for any given number of colours are also presented. △ Less

Submitted 31 July, 2024; originally announced July 2024.

MSC Class: 05C15

Topology-enhanced machine learning model (Top-ML) for anticancer peptide prediction

Authors: Joshua Zhi En Tan, JunJie Wee, Xue Gong, Kelin Xia

Abstract: Recently, therapeutic peptides have demonstrated great promise for cancer treatment. To explore powerful anticancer peptides, artificial intelligence (AI)-based approaches have been developed to systematically screen potential candidates. However, the lack of efficient featurization of peptides has become a bottleneck for these machine-learning models. In this paper, we propose a topology-enhanced… ▽ More Recently, therapeutic peptides have demonstrated great promise for cancer treatment. To explore powerful anticancer peptides, artificial intelligence (AI)-based approaches have been developed to systematically screen potential candidates. However, the lack of efficient featurization of peptides has become a bottleneck for these machine-learning models. In this paper, we propose a topology-enhanced machine learning model (Top-ML) for anticancer peptides prediction. Our Top-ML employs peptide topological features derived from its sequence "connection" information characterized by vector and spectral descriptors. Our Top-ML model, employing an Extra-Trees classifier, has been validated on the AntiCP 2.0 and mACPpred 2.0 benchmark datasets, achieving state-of-the-art performance or results comparable to existing deep learning models, while providing greater interpretability. Our results highlight the potential of leveraging novel topology-based featurization to accelerate the identification of anticancer peptides. △ Less

Submitted 15 April, 2025; v1 submitted 12 July, 2024; originally announced July 2024.

MSC Class: 62P10; 92C40; 68T07; 55U10 ACM Class: J.3; I.2.6

Decay estimates and Strichartz inequalities for a class of dispersive equations on H-type groups

Authors: Manli Song, Jinggang Tan

Abstract: Let $\mathcal{L}$ be the sub-Laplacian on H-type groups and $φ: \mathbb{R}^+ \to \mathbb{R}$ be a smooth function. The primary objective of the paper is to study the decay estimate for a class of dispersive semigroup given by $e^{itφ(\mathcal{L})}$. Inspired by earlier work of Guo-Peng-Wang \cite{GPW2008} in the Euclidean space and Song-Yang \cite{SY2023} on the Heisenberg group, we overcome the d… ▽ More Let $\mathcal{L}$ be the sub-Laplacian on H-type groups and $φ: \mathbb{R}^+ \to \mathbb{R}$ be a smooth function. The primary objective of the paper is to study the decay estimate for a class of dispersive semigroup given by $e^{itφ(\mathcal{L})}$. Inspired by earlier work of Guo-Peng-Wang \cite{GPW2008} in the Euclidean space and Song-Yang \cite{SY2023} on the Heisenberg group, we overcome the difficulty arising from the non-homogeneousness of $φ$ by frequency localization, which is based on the non-commutative Fourier transform on H-type groups, the properties of the Laguerre functions and Bessel functions, and the stationary phase theorem. Finally, as applications, we derive the new Strichartz inequalities for the solutions of some specific equations, such as the fractional Schrödinger equation, the fourth-order Schrödinger equation, the beam equation and the Klein-Gordon equation, which corresponds to $φ(r)=r^α$, $r^2+r,\sqrt{1+r^2},\sqrt{1+r}$, respectively. Moreover, we also prove that the time decay is sharp in these cases. △ Less

Submitted 9 July, 2024; originally announced July 2024.

Comments: arXiv admin note: text overlap with arXiv:2205.04106

MSC Class: 22E25; 33C45; 35H20; 35B40

When $t$-intersecting hypergraphs admit bounded $c$-strong colourings

Authors: Kevin Hendrey, Freddie Illingworth, Nina Kamčev, Jane Tan

Abstract: The $c$-strong chromatic number of a hypergraph is the smallest number of colours needed to colour its vertices so that every edge sees at least $c$ colours or is rainbow. We show that every $t$-intersecting hypergraph has bounded $(t + 1)$-strong chromatic number, resolving a problem of Blais, Weinstein and Yoshida. In fact, we characterise when a $t$-intersecting hypergraph has large $c$-strong… ▽ More The $c$-strong chromatic number of a hypergraph is the smallest number of colours needed to colour its vertices so that every edge sees at least $c$ colours or is rainbow. We show that every $t$-intersecting hypergraph has bounded $(t + 1)$-strong chromatic number, resolving a problem of Blais, Weinstein and Yoshida. In fact, we characterise when a $t$-intersecting hypergraph has large $c$-strong chromatic number for $c\geq t+2$. Our characterisation also applies to hypergraphs which exclude sunflowers with specified parameters. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Comments: 13 pages

MSC Class: 05C15

Local Hardy spaces associated with ball quasi-Banach function spaces and their dual spaces

Authors: Xinyu Chen, Jian Tan

Abstract: Let $X$ be a ball quasi-Banach function space on $\mathbb R^{n}$ and $h_{X}(\mathbb R^{n})$ the local Hardy space associated with $X$. In this paper, under some reasonable assumptions on $X$, the infinite and finite atomic decompositions for the local Hardy space $h_{X}(\mathbb R^{n})$ are established directly, without relying on the relation between $H_{X}(\mathbb R^{n})$ and… ▽ More Let $X$ be a ball quasi-Banach function space on $\mathbb R^{n}$ and $h_{X}(\mathbb R^{n})$ the local Hardy space associated with $X$. In this paper, under some reasonable assumptions on $X$, the infinite and finite atomic decompositions for the local Hardy space $h_{X}(\mathbb R^{n})$ are established directly, without relying on the relation between $H_{X}(\mathbb R^{n})$ and $h_{X}(\mathbb R^{n})$. Moreover, we apply the finite atomic decomposition to obtain the dual space of the local Hardy space $h_{X}(\mathbb R^{n})$. Especially, the above results can be applied to several specific ball quasi-Banach function spaces, demonstrating their wide range of applications. △ Less

Submitted 16 June, 2024; originally announced June 2024.

Comments: 28 pages. arXiv admin note: text overlap with arXiv:2208.06266, arXiv:2206.06551 by other authors

MSC Class: 42B30; 42B20

Mirror Construction for Nakajima Quiver Varieties

Authors: Jiawei Hu, Siu-Cheong Lau, Ju Tan

Abstract: In this paper, we construct the ADHM quiver representations and the corresponding sheaves as the mirror objects of formal deformations of the framed immersed Lagrangian sphere decorated with flat bundles. More generally, we construct Nakajima quiver varieties as localized mirrors of framed nodal unions of Lagrangian spheres in dimension two. This produces a mirror functor from the Fukaya category… ▽ More In this paper, we construct the ADHM quiver representations and the corresponding sheaves as the mirror objects of formal deformations of the framed immersed Lagrangian sphere decorated with flat bundles. More generally, we construct Nakajima quiver varieties as localized mirrors of framed nodal unions of Lagrangian spheres in dimension two. This produces a mirror functor from the Fukaya category of a framed plumbing of surfaces to the dg category of complexes of bundles over the corresponding Nakajima quiver varieties. For affine ADE quivers in specific multiplicities, the corresponding (unframed) Lagrangian immersions are homological tori, whose moduli of stable deformations are asymptotically locally Euclidean (ALE) spaces. We show that framed stable Lagrangian branes are transformed into monadic complexes of framed torsion-free sheaves over the ALE spaces. A main ingredient is the notion of framed Lagrangian immersions and their Maurer-Cartan deformations. Moreover, using the formalism of quiver algebroid stacks, we find isomorphisms between the moduli of stable Lagrangian immersions and that of special Lagrangian fibers of an SYZ fibration in the affine $A_n$ cases. △ Less

Submitted 19 December, 2024; v1 submitted 24 April, 2024; originally announced April 2024.

Comments: Improved exposition. Comments are welcome!

MSC Class: 14J33; 53D37

On steady solutions of the Hall-MHD system in Besov spaces

Authors: Jin Tan, Hiroyuki Tsurumi, Xin Zhang

Abstract: In this paper, we investigate the well-posedness and ill-posedness issues for the incompressible stationary Hall-magnetohydrodynamic (Hall-MHD) system in $\mathbb{R}^3.$ We first show the existence and uniqueness of solutions provided with the forces in $\dot B^{3/p-3}_{p,r}(\mathbb{R}^3)$ for $1\leq p <3$ and $r=1$. Moreover, this result can be extended to any $1\leq r\leq \infty$ whenever… ▽ More In this paper, we investigate the well-posedness and ill-posedness issues for the incompressible stationary Hall-magnetohydrodynamic (Hall-MHD) system in $\mathbb{R}^3.$ We first show the existence and uniqueness of solutions provided with the forces in $\dot B^{3/p-3}_{p,r}(\mathbb{R}^3)$ for $1\leq p <3$ and $r=1$. Moreover, this result can be extended to any $1\leq r\leq \infty$ whenever $p=2,$ without any additional assumption on the physical parameters. On the other hand, we establish some ill-posedness results for Hall-MHD system by using the discontinuity of the solution mapping of the three-dimensional stationary Navier-Stokes equations in \emph{critical} function spaces $\dot{B}^{3/p-1}_{p,r}(\mathbb{R}^3)$ ($p\geq 3$). △ Less

Submitted 4 April, 2024; originally announced April 2024.

Comments: 22 pages

Multi-Objective Optimization Using Adaptive Distributed Reinforcement Learning

Authors: Jing Tan, Ramin Khalili, Holger Karl

Abstract: The Intelligent Transportation System (ITS) environment is known to be dynamic and distributed, where participants (vehicle users, operators, etc.) have multiple, changing and possibly conflicting objectives. Although Reinforcement Learning (RL) algorithms are commonly applied to optimize ITS applications such as resource management and offloading, most RL algorithms focus on single objectives. In… ▽ More The Intelligent Transportation System (ITS) environment is known to be dynamic and distributed, where participants (vehicle users, operators, etc.) have multiple, changing and possibly conflicting objectives. Although Reinforcement Learning (RL) algorithms are commonly applied to optimize ITS applications such as resource management and offloading, most RL algorithms focus on single objectives. In many situations, converting a multi-objective problem into a single-objective one is impossible, intractable or insufficient, making such RL algorithms inapplicable. We propose a multi-objective, multi-agent reinforcement learning (MARL) algorithm with high learning efficiency and low computational requirements, which automatically triggers adaptive few-shot learning in a dynamic, distributed and noisy environment with sparse and delayed reward. We test our algorithm in an ITS environment with edge cloud computing. Empirical results show that the algorithm is quick to adapt to new environments and performs better in all individual and system metrics compared to the state-of-the-art benchmark. Our algorithm also addresses various practical concerns with its modularized and asynchronous online training method. In addition to the cloud simulation, we test our algorithm on a single-board computer and show that it can make inference in 6 milliseconds. △ Less

Submitted 13 March, 2024; originally announced March 2024.

Composition of rough singular integral operators on rearrangement invariant Banach type spaces

Authors: Jiawei Tan, Qingying Xue

Abstract: Let $Ω$ be a homogeneous function of degree zero and enjoy the vanishing condition on the unit sphere $\mathbb{S}^{n-1}(n\geq 2)$. Let $T_Ω$ be the convolution singular integral operator with kernel ${Ω(x)}{|x|^{-n}}$. In this paper, when $Ω\in L^{\infty}(\mathbb {S}^{n-1})$, we consider the quantitative weighted bounds of the composite operators of $T_Ω$ on rearrangement invariant Banach function… ▽ More Let $Ω$ be a homogeneous function of degree zero and enjoy the vanishing condition on the unit sphere $\mathbb{S}^{n-1}(n\geq 2)$. Let $T_Ω$ be the convolution singular integral operator with kernel ${Ω(x)}{|x|^{-n}}$. In this paper, when $Ω\in L^{\infty}(\mathbb {S}^{n-1})$, we consider the quantitative weighted bounds of the composite operators of $T_Ω$ on rearrangement invariant Banach function spaces. These spaces contain the classical Lorentz spaces and Orlicz spaces as special examples. Weighted boundedness of the composite operators on rearrangement invariant quasi-Banach spaces were also given. △ Less

Submitted 9 March, 2024; originally announced March 2024.

Comments: 21 pages

MSC Class: 42B20

A note on graphs of $k$-colourings

Authors: Emma Hogan, Alex Scott, Youri Tamitegama, Jane Tan

Abstract: For a graph $G$, the $k$-colouring graph of $G$ has vertices corresponding to proper $k$-colourings of $G$ and edges between colourings that differ at a single vertex. The graph supports the Glauber dynamics Markov chain for $k$-colourings, and has been extensively studied from both extremal and probabilistic perspectives. In this note, we show that for every graph $G$, there exists $k$ such that… ▽ More For a graph $G$, the $k$-colouring graph of $G$ has vertices corresponding to proper $k$-colourings of $G$ and edges between colourings that differ at a single vertex. The graph supports the Glauber dynamics Markov chain for $k$-colourings, and has been extensively studied from both extremal and probabilistic perspectives. In this note, we show that for every graph $G$, there exists $k$ such that $G$ is uniquely determined by its $k$-colouring graph, confirming two conjectures of Asgarli, Krehbiel, Levinson and Russell. We further show that no finite family of generalised chromatic polynomials for $G$, which encode induced subgraph counts of its colouring graphs, uniquely determine $G$. △ Less

Submitted 29 February, 2024; v1 submitted 6 February, 2024; originally announced February 2024.

Comments: 10 pages, 3 figures

MSC Class: 05C31 (Primary) 05C15 (Secondary)

Sharp weighted inequalities for iterated commutators of a class of multilinear operators

Authors: Jiawei Tan, Qingying Xue

Abstract: In this paper, the sharp quantitative weighted bounds for the iterated commutators of a class of multilinear operators were systematically studied. This class of operators contains multilinear Calderón-Zygmund operators, multilinear Fourier integral operators, and multilinear Littlewood-Paley square operators as its typical examples. These were done only under two pretty much general assumptions o… ▽ More In this paper, the sharp quantitative weighted bounds for the iterated commutators of a class of multilinear operators were systematically studied. This class of operators contains multilinear Calderón-Zygmund operators, multilinear Fourier integral operators, and multilinear Littlewood-Paley square operators as its typical examples. These were done only under two pretty much general assumptions of pointwise sparse domination estimates. We first established local decay estimates and quantitative weak $A_\infty$ decay estimates for iterated commutators of this class of operators. Then, we considered the corresponding Coifman-Fefferman inequalities and the mixed weak type estimates associated with Sawyer's conjecture. Beyond that, the Fefferman-Stein inequalities with respect to arbitrary weights and weighted modular inequalities were also given. As applications, it was shown that all the conclusions aforementioned can be applied to multilinear $ω$-Calderón-Zygmund operators, multilinear maximal singular integral operators, multilinear pseudo-differential operators, Stein's square functions, and higher order Calderón commutators. △ Less

Submitted 3 January, 2024; originally announced January 2024.

Comments: 43 pages

MSC Class: 42B20; 42B25

Quantitative weighted estimates for the multilinear pseudo-differential operators in function spaces

Authors: Jiawei Tan, Qingying Xue

Abstract: In this paper, the weighted estimates for multilinear pseudo-differential operators were systematically studied in rearrangement invariant Banach and quasi-Banach spaces. These spaces contain the Lebesgue space, the classical Lorentz space and Marcinkiewicz space as typical examples. More precisely, the weighted boundedness and weighted modular estimates, including the weak endpoint case, were est… ▽ More In this paper, the weighted estimates for multilinear pseudo-differential operators were systematically studied in rearrangement invariant Banach and quasi-Banach spaces. These spaces contain the Lebesgue space, the classical Lorentz space and Marcinkiewicz space as typical examples. More precisely, the weighted boundedness and weighted modular estimates, including the weak endpoint case, were established for multilinear pseudo-differential operators and their commutators. As applications, we show that the above results also hold for the multilinear Fourier multipliers, multilinear square functions, and a class of multilinear Calderón-Zygmund operators. △ Less

Submitted 20 December, 2023; v1 submitted 14 December, 2023; originally announced December 2023.

Comments: 31 pages,added one sentence in page 3 and a reference

MSC Class: 42B20; 42B35

Weak solutions of Moffatt's magnetic relaxation equations

Authors: Jin Tan

Abstract: We investigate the global-in-time existence and uniqueness of weak solutions for a family of equations introduced by Moffatt to model magnetic relaxation. These equations are topology-preserving and admit all stationary solutions to the classical incompressible Euler equations as steady states. In the work of Beekie, Friedlander and Vicol, global regularity results have been established for initia… ▽ More We investigate the global-in-time existence and uniqueness of weak solutions for a family of equations introduced by Moffatt to model magnetic relaxation. These equations are topology-preserving and admit all stationary solutions to the classical incompressible Euler equations as steady states. In the work of Beekie, Friedlander and Vicol, global regularity results have been established for initial magnetic field B0 $\in$ Hs(Td)(s > d/2+1) when the regularization parameter $γ$ in the equations satisfies $γ$ > $γ$c := d/2+1. Global regularity for $γ$ $\in$ [0, $γ$c] is left as an open problem, as well as the existence of weak solutions with rough initial data for any $γ$ $\ge$ 0. In this paper, we show that for any solenoidal magnetic field B0 $\in$ L2(Td) there exists a unique global weak solution when $γ$ > $γ$c. Moreover, the solution can propagate higher-order Sobolev regularity. These results hold true for the borderline case $γ$ = $γ$c only if B0 $\in$ L2+(Td). Finally, we discuss Moffatt's magnetic relaxation procedure.To prove the existence and uniqueness of weak solutions, we establish a key compactness result for an active vector equation and provide some estimates for fractional Laplacian after the Lagrangian change of variables, which may have independent interest. △ Less

Submitted 23 January, 2024; v1 submitted 30 November, 2023; originally announced November 2023.

Free boundary regularity of vacuum states for incompressible viscous flows in unbounded domains

Authors: Christophe Prange, Jin Tan

Abstract: In the well-known book of Lions [{\em Mathematical topics in fluid mechanics. Incompressible models}, 1996], global existence results of finite energy weak solutions of the inhomogeneous incompressible Navier-Stokes equations (INS) were proved without assuming positive lower bounds on the initial density, hence allowing for vacuum. Uniqueness, regularity and persistence of boundary re\-gularity of… ▽ More In the well-known book of Lions [{\em Mathematical topics in fluid mechanics. Incompressible models}, 1996], global existence results of finite energy weak solutions of the inhomogeneous incompressible Navier-Stokes equations (INS) were proved without assuming positive lower bounds on the initial density, hence allowing for vacuum. Uniqueness, regularity and persistence of boundary re\-gularity of density patches were listed as open problems. A breakthrough on Lions' problems was recently made by Danchin and Mucha [The incompressible Navier-Stokes equations in vacuum, {\em Comm. Pure Appl. Math.}, 72 (2019), 1351--1385] in the case where the fluid domain is either bounded or the torus. However, the case of unbounded domains was left open because of the lack of Poincaré-type inequalities. In this paper, we obtain regularity and uniqueness of Lions' weak solutions for (INS) with \emph{only bounded and nonnegative initial density} and additional regularity only assumed for the initial velocity, in the whole-space case $\mathbb R^d$, $d=2$ or $3$. In particular, our result allows us to study the evolution of a vacuum bubble embedded in an incompressible fluid, as well as a patch of a homogeneous fluid embedded in the vacuum, which provides an answer to Lions' question in the whole-space case. △ Less

Submitted 28 January, 2024; v1 submitted 13 October, 2023; originally announced October 2023.

Comments: 45 pages, 1 figure

MSC Class: 35A02; 35Q30; 35R35; 76D05; 76D27

Self-morphing of elastic bilayers induced by mismatch strain: deformation simulation and bio-inspired design

Authors: Junjie Song, Yixiong Feng, Zhaoxi Hong, Bingtao Hu, Jianrong Tan, Xiuju Song

Abstract: The process of self-morphing in curved surfaces found in nature, such as with the growth of flowers and leaves, has generated interest in the study of self-morphing bilayers, which has been used in many soft robots or switchers. However, previous research has primarily focused on materials or bilayer fabrication technologies. The self-morphing mechanism and process have been rarely investigated, d… ▽ More The process of self-morphing in curved surfaces found in nature, such as with the growth of flowers and leaves, has generated interest in the study of self-morphing bilayers, which has been used in many soft robots or switchers. However, previous research has primarily focused on materials or bilayer fabrication technologies. The self-morphing mechanism and process have been rarely investigated, despite their importance. This study proposed a new deformation simulation method for self-morphing bilayers based on a checkerboard-based discrete differential geometry approach. This new method achieved higher efficiency than traditional finite element methods while still maintaining accuracy. It was also effective in handling complex finite strain situations. Finally, the simulation model was used to design three self-morphing bilayers inspired by folding flowers, spiral grass, and conical seashells. These designs further prove the effectiveness of the proposed method. The results of this study propose a good method for predicting deformation and designing self-morphing bilayers and provide a useful viewpoint for using geometrical methods to solve mechanical problems. △ Less

Submitted 18 September, 2023; originally announced September 2023.

Boundary rigidity of 3D CAT(0) cube complexes

Authors: John Haslegrave, Alex Scott, Youri Tamitegama, Jane Tan

Abstract: The boundary rigidity problem is a classical question from Riemannian geometry: if $(M, g)$ is a Riemannian manifold with smooth boundary, is the geometry of $M$ determined up to isometry by the metric $d_g$ induced on the boundary $\partial M$? In this paper, we consider a discrete version of this problem: can we determine the combinatorial type of a finite cube complex from its boundary distance… ▽ More The boundary rigidity problem is a classical question from Riemannian geometry: if $(M, g)$ is a Riemannian manifold with smooth boundary, is the geometry of $M$ determined up to isometry by the metric $d_g$ induced on the boundary $\partial M$? In this paper, we consider a discrete version of this problem: can we determine the combinatorial type of a finite cube complex from its boundary distances? As in the continuous case, reconstruction is not possible in general, but one expects a positive answer under suitable contractibility and non-positive curvature conditions. Indeed, in two dimensions Haslegrave gave a positive answer to this question when the complex is a finite quadrangulation of the disc with no internal vertices of degree less than $4$. We prove a $3$-dimensional generalisation of this result: the combinatorial type of a finite CAT(0) cube complex with an embedding in $\mathbb{R}^3$ can be reconstructed from its boundary distances. Additionally, we prove a direct strengthening of Haslegrave's result: the combinatorial type of any finite 2-dimensional CAT(0) cube complex can be reconstructed from its boundary distances. △ Less

Submitted 8 September, 2023; originally announced September 2023.

Comments: 30 pages, 10 figures

MSC Class: 57M15

A Homogenization Approach for Gradient-Dominated Stochastic Optimization

Authors: Jiyuan Tan, Chenyu Xue, Chuwen Zhang, Qi Deng, Dongdong Ge, Yinyu Ye

Abstract: Gradient dominance property is a condition weaker than strong convexity, yet sufficiently ensures global convergence even in non-convex optimization. This property finds wide applications in machine learning, reinforcement learning (RL), and operations management. In this paper, we propose the stochastic homogeneous second-order descent method (SHSODM) for stochastic functions enjoying gradient do… ▽ More Gradient dominance property is a condition weaker than strong convexity, yet sufficiently ensures global convergence even in non-convex optimization. This property finds wide applications in machine learning, reinforcement learning (RL), and operations management. In this paper, we propose the stochastic homogeneous second-order descent method (SHSODM) for stochastic functions enjoying gradient dominance property based on a recently proposed homogenization approach. Theoretically, we provide its sample complexity analysis, and further present an enhanced result by incorporating variance reduction techniques. Our findings show that SHSODM matches the best-known sample complexity achieved by other second-order methods for gradient-dominated stochastic optimization but without cubic regularization. Empirically, since the homogenization approach only relies on solving extremal eigenvector problem at each iteration instead of Newton-type system, our methods gain the advantage of cheaper computational cost and robustness in ill-conditioned problems. Numerical experiments on several RL tasks demonstrate the better performance of SHSODM compared to other off-the-shelf methods. △ Less

Submitted 29 May, 2024; v1 submitted 21 August, 2023; originally announced August 2023.

Comments: Accepted by UAI`24

Weak type estimates for Bochner--Riesz means on Hardy-type spaces associated with ball quasi-Banach function spaces

Authors: Jian Tan, Linjing Zhang

Abstract: Let $X\left(\mathbb{R}^{n}\right)$ be a ball quasi-Banach function space on $\mathbb{R}^{n}$, $WX\left(\mathbb{R}^{n}\right)$ be the weak ball quasi-Banach function space on $\mathbb{R}^{n}$, $H_{X}\left(\mathbb{R}^{n}\right)$ be the Hardy space associated with $X\left(\mathbb{R}^{n}\right)$ and $WH_{X}\left(\mathbb{R}^{n}\right)$ be the weak Hardy space associated with… ▽ More Let $X\left(\mathbb{R}^{n}\right)$ be a ball quasi-Banach function space on $\mathbb{R}^{n}$, $WX\left(\mathbb{R}^{n}\right)$ be the weak ball quasi-Banach function space on $\mathbb{R}^{n}$, $H_{X}\left(\mathbb{R}^{n}\right)$ be the Hardy space associated with $X\left(\mathbb{R}^{n}\right)$ and $WH_{X}\left(\mathbb{R}^{n}\right)$ be the weak Hardy space associated with $X\left(\mathbb{R}^{n}\right)$. In this paper, we obtain the boundedness of the Bochner--Riesz means and the maximal Bochner--Riesz means from $H_{X}\left(\mathbb{R}^{n}\right)$ to $WH_{X}\left(\mathbb{R}^{n}\right)$ or $WX\left(\mathbb{R}^{n}\right)$, which includes the critical case. Moreover, we apply these results to several examples of ball quasi-Banach function spaces, namely, weighted Lebesgue spaces, Herz spaces, Lorentz spaces, variable Lebesgue spaces and Morrey spaces. This shows that all the results obtained in this article are of wide applications, and more applications of these results are predictable. △ Less

Submitted 11 August, 2023; originally announced August 2023.

Comments: 30 pages. arXiv admin note: text overlap with arXiv:1905.02097 by other authors

Characterization of fixed points of infinite-dimensional generating functions

Authors: Jiangrui Tan, Mei Zhang

Abstract: This paper is concerned with the characterizations of fixed points of the generating function of branching processes with countably infinitely many types. We assume each particle of type $i$ can only give offspring of type $j\geq i$, whose number only depends on $j-i$. We prove that, for these processes, there are at least countably infinitely many fixed points of the offspring generating function… ▽ More This paper is concerned with the characterizations of fixed points of the generating function of branching processes with countably infinitely many types. We assume each particle of type $i$ can only give offspring of type $j\geq i$, whose number only depends on $j-i$. We prove that, for these processes, there are at least countably infinitely many fixed points of the offspring generating function, while the extinction probability set of the process has only $2$ elements. This phenomenon contrasts sharply with those of finite-type branching processes. Our result takes one step forward on the related conjecture on the fixed points of infinite-dimensional generating functions in literature. In addition, the asymptotic behavior of the components of fixed point is given. △ Less

Submitted 9 April, 2024; v1 submitted 6 July, 2023; originally announced July 2023.

The Atomic Characterization of Weighted Local Hardy Spaces and Its Applications

Authors: Xinyu Chen, Jian Tan

Abstract: The purpose of this paper is to obtain atomic decomposition characterization of the weighted local Hardy space $h_ω^{p}(\mathbb {R}^{n})$ with $ω\in A_{\infty}(\mathbb {R}^{n})$. We apply the discrete version of Calderón's identity and the weighted Littlewood--Paley--Stein theory to prove that $h_ω^{p}(\mathbb {R}^{n})$ coincides with the weighted$\text{-}(p,q,s)$ atomic local Hardy space… ▽ More The purpose of this paper is to obtain atomic decomposition characterization of the weighted local Hardy space $h_ω^{p}(\mathbb {R}^{n})$ with $ω\in A_{\infty}(\mathbb {R}^{n})$. We apply the discrete version of Calderón's identity and the weighted Littlewood--Paley--Stein theory to prove that $h_ω^{p}(\mathbb {R}^{n})$ coincides with the weighted$\text{-}(p,q,s)$ atomic local Hardy space $h_{ω,atom}^{p,q,s}(\mathbb {R}^{n})$ for $0<p<\infty$. The atomic decomposition theorems in our paper improve the previous atomic decomposition results of local weighted Hardy spaces in the literature. As applications, we derive the boundedness of inhomogeneous Calderón--Zygmund singular integrals and local fractional integrals on weighted local Hardy spaces. △ Less

Submitted 2 June, 2023; originally announced June 2023.

Comments: 30 pages

MSC Class: 42B30

Product Hardy spaces meet ball quasi-Banach function spaces

Authors: Jian Tan

Abstract: The main purpose of this paper is to develop the theory of product Hardy spaces built on Banach lattices on $\mathbb R^n\times\mathbb R^m$. First we introduce new product Hardy spaces ${H}_X(\mathbb R^n\times\mathbb R^m)$ associated with ball quasi-Banach function spaces $X(\mathbb R^n\times\mathbb R^m)$ via applying the Littlewood-Paley-Stein theory. Then we establish a decomposition theorem for… ▽ More The main purpose of this paper is to develop the theory of product Hardy spaces built on Banach lattices on $\mathbb R^n\times\mathbb R^m$. First we introduce new product Hardy spaces ${H}_X(\mathbb R^n\times\mathbb R^m)$ associated with ball quasi-Banach function spaces $X(\mathbb R^n\times\mathbb R^m)$ via applying the Littlewood-Paley-Stein theory. Then we establish a decomposition theorem for ${H}_X(\mathbb R^n\times\mathbb R^m)$ in terms of the discrete Calderón's identity. Moreover, we explore some useful and general extrapolation theorems of Rubio de Francia on $X(\mathbb R^n\times\mathbb R^m)$ and give some applications to boundedness of operators. Finally, we conclude that the two-parameter singular integral operators $\widetilde T$ are bounded from ${H}_X(\mathbb R^n\times\mathbb R^m)$ to itself and bounded from ${H}_X(\mathbb R^n\times\mathbb R^m)$ to $X(\mathbb R^n\times\mathbb R^m)$ via extrapolation. The main results obtained in this paper have a wide range of generality. Especially, we can apply these results to many concrete examples of ball quasi-Banach function spaces, including product Herz spaces, weighted product Morrey spaces and product Musielak--Orlicz--type spaces. △ Less

Submitted 20 May, 2023; originally announced May 2023.

Comments: 27 pages

A Scalable Algorithm for Multi-Material Design of Thermal Insulation Components Under Uncertainty

Authors: Jingye Tan, Danial Faghihi

Abstract: This work presents a scalable computational framework for optimal design under uncertainty with application to multi-material insulation components of building envelopes. The forward model consists of a multi-phase thermo-mechanical model of porous materials governed by coupled partial differential equations (PDEs). The design parameter (material porosity) is an uncertain and space-dependent field… ▽ More This work presents a scalable computational framework for optimal design under uncertainty with application to multi-material insulation components of building envelopes. The forward model consists of a multi-phase thermo-mechanical model of porous materials governed by coupled partial differential equations (PDEs). The design parameter (material porosity) is an uncertain and space-dependent field, resulting in a high-dimensional PDE-constrained optimization under uncertainty problem after finite element discretization. The robust design framework uses a risk-averse formulation consisting of the mean and variance of the design objective to achieve target thermal and mechanical performances and mitigate uncertainty. To ensure the efficiency and scalability of the solution, a second-order Taylor approximation of the mean and variance and the low-rank structure of the preconditioned Hessian of the design objective are leveraged, which uncovers the low effective dimension of the high-dimensional uncertain parameter space. Moreover, a gradient-based optimization method is implemented using the Lagrangian formalism to derive expressions for the gradient and Hessian with respect to the design and uncertain parameters. Finally, approximated $\ell_0$ regularization functions are utilized via a continuation numerical scheme to promote sparsity in the designed porosity. The framework's accuracy, efficiency, and scalability are demonstrated with numerical examples of a building envelope insulation scenario. △ Less

Submitted 3 April, 2023; originally announced April 2023.

Comments: Preprint submitted to MS417 - Student Competition - USNCCM17

Cyclic Finser metrics on homogeneous spaces

Authors: Ju Tan, Ming Xu

Abstract: In this paper, we generalize the notion of cyclic metric to homogeneous Finsler geometry. Firstly, we prove that a homogeneous Finsler space $(G/H, F)$ must be symmetric when it satisfies the naturally reductive and cyclic conditions simultaneously. Then we prove that a Finsler cyclic Lie group which is either flat or nilpotent must have an Abelian Lie algebra. Finally, we show how to induce a cyc… ▽ More In this paper, we generalize the notion of cyclic metric to homogeneous Finsler geometry. Firstly, we prove that a homogeneous Finsler space $(G/H, F)$ must be symmetric when it satisfies the naturally reductive and cyclic conditions simultaneously. Then we prove that a Finsler cyclic Lie group which is either flat or nilpotent must have an Abelian Lie algebra. Finally, we show how to induce a cyclic $(α,β)$ metric from a cyclic Riemannian metric. Using this method, we construct a Randers cyclic Lie group. △ Less

Submitted 3 April, 2023; originally announced April 2023.

On symmetry breaking for the Navier-Stokes equations

Authors: Tobias Barker, Christophe Prange, Jin Tan

Abstract: Inspired by an open question by Chemin and Zhang about the regularity of the 3D Navier-Stokes equations with one initially small component, we investigate symmetry breaking and symmetry preservation. Our results fall in three classes. First we prove strong symmetry breaking. Specifically, we demonstrate third component norm inflation (3rdNI) and Isotropic Norm Inflation (INI) starting from zero th… ▽ More Inspired by an open question by Chemin and Zhang about the regularity of the 3D Navier-Stokes equations with one initially small component, we investigate symmetry breaking and symmetry preservation. Our results fall in three classes. First we prove strong symmetry breaking. Specifically, we demonstrate third component norm inflation (3rdNI) and Isotropic Norm Inflation (INI) starting from zero third component. Second we prove symmetry breaking for initially zero third component, even in the presence of a favorable initial pressure gradient. Third we study certain symmetry preserving solutions with a shear flow structure. Specifically, we give applications to the inviscid limit and exhibit explicit solutions that inviscidly damp to the Kolmogorov flow. △ Less

Submitted 11 August, 2023; v1 submitted 6 February, 2023; originally announced February 2023.

Comments: Theorem added regarding isotropic norm inflation. Updated the introduction and acknowledgements. 33 pages, 2 figures

MSC Class: 35Q30; 35Q31; 35N20; 76F10

Efficient Learning of Voltage Control Strategies via Model-based Deep Reinforcement Learning

Authors: Ramij R. Hossain, Tianzhixi Yin, Yan Du, Renke Huang, Jie Tan, Wenhao Yu, Yuan Liu, Qiuhua Huang

Abstract: This article proposes a model-based deep reinforcement learning (DRL) method to design emergency control strategies for short-term voltage stability problems in power systems. Recent advances show promising results in model-free DRL-based methods for power systems, but model-free methods suffer from poor sample efficiency and training time, both critical for making state-of-the-art DRL algorithms… ▽ More This article proposes a model-based deep reinforcement learning (DRL) method to design emergency control strategies for short-term voltage stability problems in power systems. Recent advances show promising results in model-free DRL-based methods for power systems, but model-free methods suffer from poor sample efficiency and training time, both critical for making state-of-the-art DRL algorithms practically applicable. DRL-agent learns an optimal policy via a trial-and-error method while interacting with the real-world environment. And it is desirable to minimize the direct interaction of the DRL agent with the real-world power grid due to its safety-critical nature. Additionally, state-of-the-art DRL-based policies are mostly trained using a physics-based grid simulator where dynamic simulation is computationally intensive, lowering the training efficiency. We propose a novel model-based-DRL framework where a deep neural network (DNN)-based dynamic surrogate model, instead of a real-world power-grid or physics-based simulation, is utilized with the policy learning framework, making the process faster and sample efficient. However, stabilizing model-based DRL is challenging because of the complex system dynamics of large-scale power systems. We solved these issues by incorporating imitation learning to have a warm start in policy learning, reward-shaping, and multi-step surrogate loss. Finally, we achieved 97.5% sample efficiency and 87.7% training efficiency for an application to the IEEE 300-bus test system. △ Less

Submitted 5 December, 2022; originally announced December 2022.

Random Walks on the Generalized Symmetric Group: Cutoff for the One-sided Transposition Shuffle

Authors: Yongtao Deng, Shi Jie Samuel Tan

Abstract: In this paper, we present a detailed proof for the exhibition of a cutoff for the one-sided transposition (OST) shuffle on the generalized symmetric group $G_{m,n}$. Our work shows that based on techniques for $m \leq 2$ proven by Matheau-Raven, we can prove the cutoff in total variation distance and separation distance for an unbiased OST shuffle on $G_{m,n}$ for any fixed $m \geq 1$ in time… ▽ More In this paper, we present a detailed proof for the exhibition of a cutoff for the one-sided transposition (OST) shuffle on the generalized symmetric group $G_{m,n}$. Our work shows that based on techniques for $m \leq 2$ proven by Matheau-Raven, we can prove the cutoff in total variation distance and separation distance for an unbiased OST shuffle on $G_{m,n}$ for any fixed $m \geq 1$ in time $n \log(n)$. We also prove the branching rules for the simple modules of $G_{m,n}$ and lay down some of the mathematical foundation for proving the conjecture for the cutoff in total variation distance for any general biased OST shuffle on $G_{m,n}$. △ Less

Submitted 26 February, 2024; v1 submitted 18 November, 2022; originally announced November 2022.

Comments: 20 pages

MSC Class: 60J10; 20B05; 20B25

Machine Learned Calabi-Yau Metrics and Curvature

Authors: Per Berglund, Giorgi Butbaia, Tristan Hübsch, Vishnu Jejjala, Damián Mayorga Peña, Challenger Mishra, Justin Tan

Abstract: Finding Ricci-flat (Calabi-Yau) metrics is a long standing problem in geometry with deep implications for string theory and phenomenology. A new attack on this problem uses neural networks to engineer approximations to the Calabi-Yau metric within a given Kähler class. In this paper we investigate numerical Ricci-flat metrics over smooth and singular K3 surfaces and Calabi-Yau threefolds. Using th… ▽ More Finding Ricci-flat (Calabi-Yau) metrics is a long standing problem in geometry with deep implications for string theory and phenomenology. A new attack on this problem uses neural networks to engineer approximations to the Calabi-Yau metric within a given Kähler class. In this paper we investigate numerical Ricci-flat metrics over smooth and singular K3 surfaces and Calabi-Yau threefolds. Using these Ricci-flat metric approximations for the Cefalú family of quartic twofolds and the Dwork family of quintic threefolds, we study characteristic forms on these geometries. We observe that the numerical stability of the numerically computed topological characteristic is heavily influenced by the choice of the neural network model, in particular, we briefly discuss a different neural network model, namely Spectral networks, which correctly approximate the topological characteristic of a Calabi-Yau. Using persistent homology, we show that high curvature regions of the manifolds form clusters near the singular points. For our neural network approximations, we observe a Bogomolov--Yau type inequality $3c_2 \geq c_1^2$ and observe an identity when our geometries have isolated $A_1$ type singularities. We sketch a proof that $χ(X~\smallsetminus~\mathrm{Sing}\,{X}) + 2~|\mathrm{Sing}\,{X}| = 24$ also holds for our numerical approximations. △ Less

Submitted 6 June, 2023; v1 submitted 17 November, 2022; originally announced November 2022.

Comments: Version accepted for publication: 48 pages, 32 figures, 8 tables, 3 appendices

Journal ref: ATMP v.27 no.4 (2023) 1107-1158

Quantitative derivation of a two-phase porous media system from the one-velocity Baer-Nunziato and Kapila systems

Authors: Timothée Crin-Barat, Ling-Yun Shou, Jin Tan

Abstract: In this paper we investigate two types of relaxation processes quantitatively in the context of small data global-in-time solutions for compressible one-velocity multi-fluid models. First, we justify the pressure-relaxation limit from a one-velocity Baer-Nunziato system to a Kapila model as the pressure-relaxation parameter tends to zero, in a uniform manner with respect to the time-relaxation par… ▽ More In this paper we investigate two types of relaxation processes quantitatively in the context of small data global-in-time solutions for compressible one-velocity multi-fluid models. First, we justify the pressure-relaxation limit from a one-velocity Baer-Nunziato system to a Kapila model as the pressure-relaxation parameter tends to zero, in a uniform manner with respect to the time-relaxation parameter associated to the friction forces modeled in the equation of the velocity. This uniformity allows us to further consider the time-relaxation limit for the Kapila model. More precisely, we show that the diffusely time-rescaled solution of the Kapila system converges to the solution of a two-phase porous media type system as the time-relaxation parameter tends to zero. For both relaxation limits, we exhibit explicit convergence rates. Our proof of existence results are based on an elaborate low-frequency and high-frequency analysis via the Littlewood-Paley decomposition and it includes three main ingredients: a refined spectral analysis for the linearized problem to determine the threshold of frequencies explicitly in terms of the time-relaxation parameter, the introduction of an effective flux in the low-frequency region to overcome the loss of parameters due to the overdamping phenomenon, and the renormalized energy estimates in the high-frequency region to cancel higher-order nonlinear terms. To show the convergence rates, we discover several auxiliary unknowns that reveal better structures. In conclusion, our approach may be applied to a class of non-symmetric partially dissipative hyperbolic system with rough coefficients which do not have any time-integrability, in the context of overdamping phenomenon. It extends the latest results of Danchin and the first author [15, 16]. △ Less

Submitted 19 April, 2024; v1 submitted 16 November, 2022; originally announced November 2022.

SOLNP+: A Derivative-Free Solver for Constrained Nonlinear Optimization

Authors: Dongdong Ge, Tianhao Liu, Jinsong Liu, Jiyuan Tan, Yinyu Ye

Abstract: SOLNP+ is a derivative-free solver for constrained nonlinear optimization. It starts from SOLNP proposed in 1989 by Ye Ye with the main idea that uses finite difference to approximate the gradient. We incorporate the techniques of implicit filtering, new restart mechanism and modern quadratic programming solver into this new version with an ANSI C implementation. The algorithm exhibits a great adv… ▽ More SOLNP+ is a derivative-free solver for constrained nonlinear optimization. It starts from SOLNP proposed in 1989 by Ye Ye with the main idea that uses finite difference to approximate the gradient. We incorporate the techniques of implicit filtering, new restart mechanism and modern quadratic programming solver into this new version with an ANSI C implementation. The algorithm exhibits a great advantage in running time and robustness under noise compared with the last version by MATLAB. SOLNP+ is free to download at https://github.com/COPT-Public/SOLNP_plus. △ Less

Submitted 13 October, 2022; originally announced October 2022.

MSC Class: 90C56; 90C30

Symmetric space, strongly isotropy irreducibility and equigeodesic properties

Authors: Ming Xu, Ju Tan

Abstract: A smooth curve on a homogeneous manifold $G/H$ is called a Riemannian equigeo-desic if it is a homogeneous geodesic for any $G$-invariant Riemannian metric. The homogeneous manifold $G/H$ is called Riemannian equigeodesic, if for any $x\in G/H$ and any nonzero $y\in T_x(G/H)$, there exists a Riemannian equigeodesic $c(t)$ with $c(0)=x$ and $\dot{c}(0)=y$. These two notions can be naturally transfe… ▽ More A smooth curve on a homogeneous manifold $G/H$ is called a Riemannian equigeo-desic if it is a homogeneous geodesic for any $G$-invariant Riemannian metric. The homogeneous manifold $G/H$ is called Riemannian equigeodesic, if for any $x\in G/H$ and any nonzero $y\in T_x(G/H)$, there exists a Riemannian equigeodesic $c(t)$ with $c(0)=x$ and $\dot{c}(0)=y$. These two notions can be naturally transferred to the Finsler setting, which provides the definitions for Finsler equigeodesic and Finsler equigeodesic space. We prove two classification theorems for Riemannian equigeodesic spaces and Finsler equigeodesic spaces respectively. Firstly, a homogeneous manifold $G/H$ with connected simply connected quasi compact $G$ and connected $H$ is Riemannian equigeodesic if and only if it can be decomposed as a product of Euclidean factors and compact strongly isotropy irreducible factors. Secondly, a homogeneous manifold $G/H$ with a compact semi simple $G$ is Finsler equigeodesic if and only if it can be locally decomposed as a product, in which each factor is $Spin(7)/G_2$, $G_2/SU(3)$ or a symmetric space of compact type. These results imply that symmetric space and strongly isotropy irreducible space of compact type can be interpreted by equigeodesic properties. As an application, we classify the homogeneous manifold $G/H$ with a compact semi simple $G$, such that all $G$-invariant Finsler metrics on $G/H$ are Berwald. It suggests a new project in homogeneous Finsler geometry, to systematically study the homogeneous manifold $G/H$ on which all $G$-invariant Finsler metrics satisfy certain geometric property. △ Less

Submitted 26 November, 2022; v1 submitted 1 September, 2022; originally announced September 2022.

Comments: In this version, we added a few references and proposed two problems in Section 1

Randers and $(α,β)$ equigeodesics for some compact homogeneous manifolds

Authors: Ju Tan, Ming Xu

Abstract: A smooth curve on $G/H$ is called a Riemannian equigeodesic if it is a homogeneous geodesic for all $G$-invariant Riemannian metrics on $G/H$. With the $G$-invariant Riemannian metric replaced by other classes of $G$-invariant metrics, we can similarly define Finsler equigeodesic, Randers equigeodesic, $(α,β)$ equigeodesic, etc. In this paper, we study Randers and $(α,β)$ equigeodesics. For a comp… ▽ More A smooth curve on $G/H$ is called a Riemannian equigeodesic if it is a homogeneous geodesic for all $G$-invariant Riemannian metrics on $G/H$. With the $G$-invariant Riemannian metric replaced by other classes of $G$-invariant metrics, we can similarly define Finsler equigeodesic, Randers equigeodesic, $(α,β)$ equigeodesic, etc. In this paper, we study Randers and $(α,β)$ equigeodesics. For a compact homogeneous manifold, we prove Randers and $(α,β)$ equigeodesics are equivalent, and find a criterion for them. Using this criterion we can classify the equigeodesics on many compact homogeneous manifolds which permit non-Riemannian homogeneous Randers metrics, including four classes of homogeneous spheres. △ Less

Submitted 1 September, 2022; originally announced September 2022.

A Novel Multi-Agent Scheduling Mechanism for Adaptation of Production Plans in Case of Supply Chain Disruptions

Authors: Jing Tan, Lars Braubach, Kai Jander, Rongjun Xu, Kai Chen

Abstract: Manufacturing companies typically use sophisticated production planning systems optimizing production steps, often delivering near-optimal solutions. As a downside for delivering a near-optimal schedule, planning systems have high computational demands resulting in hours of computation. Under normal circumstances this is not issue if there is enough buffer time before implementation of the schedul… ▽ More Manufacturing companies typically use sophisticated production planning systems optimizing production steps, often delivering near-optimal solutions. As a downside for delivering a near-optimal schedule, planning systems have high computational demands resulting in hours of computation. Under normal circumstances this is not issue if there is enough buffer time before implementation of the schedule (e.g. at night for the next day). However, in case of unexpected disruptions such as delayed part deliveries or defectively manufactured goods, the planned schedule may become invalid and swift replanning becomes necessary. Such immediate replanning is unsuited for existing optimal planners due to the computational requirements. This paper proposes a novel solution that can effectively and efficiently perform replanning in case of different types of disruptions using an existing plan. The approach is based on the idea to adhere to the existing schedule as much as possible, adapting it based on limited local changes. For that purpose an agent-based scheduling mechanism has been devised, in which agents represent materials and production sites and use local optimization techniques and negotiations to generate an adapted (sufficient, but non-optimal) schedule. The approach has been evaluated using real production data from Huawei, showing that efficient schedules are produced in short time. The system has been implemented as proof of concept and is currently reimplemented and transferred to a production system based on the Jadex agent platform. △ Less

Submitted 23 June, 2022; originally announced June 2022.

Mirror Symmetry for Quiver Algebroid Stacks

Authors: Siu-Cheong Lau, Junzheng Nan, Ju Tan

Abstract: In this paper, we construct noncommutative algebroid stacks and the associated mirror functors for a symplectic manifold. First, we formulate a version of stack that is well adapted for gluing quiver algebras with different numbers of vertices. Second, we develop a representation theory of $A_\infty$ categories by quiver stacks. A key step is constructing an extension of the $A_\infty$ category… ▽ More In this paper, we construct noncommutative algebroid stacks and the associated mirror functors for a symplectic manifold. First, we formulate a version of stack that is well adapted for gluing quiver algebras with different numbers of vertices. Second, we develop a representation theory of $A_\infty$ categories by quiver stacks. A key step is constructing an extension of the $A_\infty$ category over a quiver stack of a collection of nc-deformed objects. The extension involves non-trivial gerbe terms, which play an important role in quiver algebroid stacks. Third, we develop a general construction of mirror quiver stacks. As an important example, we apply the constrution to nc local projective plane, whose compact divisor gives rise to interesting monodromy and homotopy terms. This employs a pair-of-pants decomposition of the mirror curve as proposed by Seidel \cite{Sei-spec}. Geometrically, we find a new method of mirror construction by gluing SYZ-type Lagrangians with a Lagrangian that serves as a `middle agent' using Floer theory. The method makes crucial use of the extension of Fukaya category over quiver stacks. △ Less

Submitted 28 March, 2023; v1 submitted 7 June, 2022; originally announced June 2022.

Comments: 69 pages; In the third version, some typos are fixed and Theorem 4.7 is added; In the fourth version, the comparison with related works is added

MSC Class: 14J33; 53D37

Product structure of graph classes with bounded treewidth

Authors: Rutger Campbell, Katie Clinch, Marc Distel, J. Pascal Gollin, Kevin Hendrey, Robert Hickingbotham, Tony Huynh, Freddie Illingworth, Youri Tamitegama, Jane Tan, David R. Wood

Abstract: We show that many graphs with bounded treewidth can be described as subgraphs of the strong product of a graph with smaller treewidth and a bounded-size complete graph. To this end, define the "underlying treewidth" of a graph class $\mathcal{G}$ to be the minimum non-negative integer $c$ such that, for some function $f$, for every graph ${G \in \mathcal{G}}$ there is a graph $H$ with… ▽ More We show that many graphs with bounded treewidth can be described as subgraphs of the strong product of a graph with smaller treewidth and a bounded-size complete graph. To this end, define the "underlying treewidth" of a graph class $\mathcal{G}$ to be the minimum non-negative integer $c$ such that, for some function $f$, for every graph ${G \in \mathcal{G}}$ there is a graph $H$ with ${\text{tw}(H) \leq c}$ such that $G$ is isomorphic to a subgraph of ${H \boxtimes K_{f(\text{tw}(G))}}$. We introduce disjointed coverings of graphs and show they determine the underlying treewidth of any graph class. Using this result, we prove that the class of planar graphs has underlying treewidth 3; the class of $K_{s,t}$-minor-free graphs has underlying treewidth $s$ (for ${t \geq \max\{s,3\}}$); and the class of $K_t$-minor-free graphs has underlying treewidth ${t-2}$. In general, we prove that a monotone class has bounded underlying treewidth if and only if it excludes some fixed topological minor. We also study the underlying treewidth of graph classes defined by an excluded subgraph or excluded induced subgraph. We show that the class of graphs with no $H$ subgraph has bounded underlying treewidth if and only if every component of $H$ is a subdivided star, and that the class of graphs with no induced $H$ subgraph has bounded underlying treewidth if and only if every component of $H$ is a star. △ Less

Submitted 17 July, 2022; v1 submitted 6 June, 2022; originally announced June 2022.

Naturally reductive $(α_1, α_2)$ metrics

Authors: Ju Tan, Ming Xu

Abstract: Let $F$ be a homogeneous $(α_1,α_2)$ metric on the reductive homogeneous manifold $G/H$. Firstly, we characterize the natural reductiveness of $F$ as a local $f$-product between naturally reductive Riemannian metrics. Secondly, we prove the equivalence among several properties of $F$ for its mean Berwald curvature and S-curvature. Finally, we find an explicit flag curvature formula when $F$ is nat… ▽ More Let $F$ be a homogeneous $(α_1,α_2)$ metric on the reductive homogeneous manifold $G/H$. Firstly, we characterize the natural reductiveness of $F$ as a local $f$-product between naturally reductive Riemannian metrics. Secondly, we prove the equivalence among several properties of $F$ for its mean Berwald curvature and S-curvature. Finally, we find an explicit flag curvature formula when $F$ is naturally reductive. △ Less

Submitted 13 April, 2022; originally announced April 2022.

On Comparable Box Dimension

Authors: Zdenek Dvorák, Daniel Goncalves, Abhiruk Lahiri, Jane Tan, Torsten Ueckerdt

Abstract: Two boxes in $\mathbb{R}^d$ are comparable if one of them is a subset of a translation of the other one. The comparable box dimension of a graph $G$ is the minimum integer $d$ such that $G$ can be represented as a touching graph of comparable axis-aligned boxes in $\mathbb{R}^d$. We show that proper minor-closed classes have bounded comparable box dimensions and explore further properties of this… ▽ More Two boxes in $\mathbb{R}^d$ are comparable if one of them is a subset of a translation of the other one. The comparable box dimension of a graph $G$ is the minimum integer $d$ such that $G$ can be represented as a touching graph of comparable axis-aligned boxes in $\mathbb{R}^d$. We show that proper minor-closed classes have bounded comparable box dimensions and explore further properties of this notion. △ Less

Submitted 15 March, 2022; originally announced March 2022.

Comments: 23 pages, 1 figure, accepted for presentation at SoCG 2022

MSC Class: 05C85 ACM Class: F.2.2

Induced subgraphs of induced subgraphs of large chromatic number

Authors: António Girão, Freddie Illingworth, Emil Powierski, Michael Savery, Alex Scott, Youri Tamitegama, Jane Tan

Abstract: We prove that, for every graph $F$ with at least one edge, there is a constant $c_F$ such that there are graphs of arbitrarily large chromatic number and the same clique number as $F$ in which every $F$-free induced subgraph has chromatic number at most $c_F$. This generalises recent theorems of Briański, Davies and Walczak, and Carbonero, Hompe, Moore and Spirkl. Our results imply that for every… ▽ More We prove that, for every graph $F$ with at least one edge, there is a constant $c_F$ such that there are graphs of arbitrarily large chromatic number and the same clique number as $F$ in which every $F$-free induced subgraph has chromatic number at most $c_F$. This generalises recent theorems of Briański, Davies and Walczak, and Carbonero, Hompe, Moore and Spirkl. Our results imply that for every $r\geq 3$ the class of $K_r$-free graphs has a very strong vertex Ramsey-type property, giving a vast generalisation of a result of Folkman from 1970. We also prove related results for tournaments, hypergraphs and infinite families of graphs, and show an analogous statement for graphs where clique number is replaced by odd girth. △ Less

Submitted 18 September, 2023; v1 submitted 7 March, 2022; originally announced March 2022.

Comments: 26 pages; v4: final version incorporating the suggestions of referees and Jarik Nešetřil, including simplified constructions and a new open question

MSC Class: Primary: 05C15; 05C55; Secondary: 05C20; 05C65

An attack on Zarankiewicz's problem through SAT solving

Authors: Jeremy Tan

Abstract: The Zarankiewicz function gives, for a chosen matrix and minor size, the maximum number of ones in a binary matrix not containing an all-one minor. Tables of this function for small arguments have been compiled, but errors are known in them. We both correct the errors and extend these tables in the case of square minors by expressing the problem of finding the value at a specific point as a series… ▽ More The Zarankiewicz function gives, for a chosen matrix and minor size, the maximum number of ones in a binary matrix not containing an all-one minor. Tables of this function for small arguments have been compiled, but errors are known in them. We both correct the errors and extend these tables in the case of square minors by expressing the problem of finding the value at a specific point as a series of Boolean satisfiability problems, exploiting permutation symmetries for a significant reduction in the work needed. When the ambient matrix is also square we also give all non-isomorphic examples of matrices attaining the maximum, up to the aforementioned symmetries; it is found that most maximal matrices have some form of symmetry. △ Less

Submitted 19 April, 2022; v1 submitted 3 March, 2022; originally announced March 2022.

Comments: 24 pages, 2 figures. Added correctness proof of partition-generating algorithm and a new subsection on coverings

MSC Class: 05C35

Decomposing random permutations into order-isomorphic subpermutations

Authors: Carla Groenland, Tom Johnston, Dániel Korándi, Alexander Roberts, Alex Scott, Jane Tan

Abstract: Two permutations $s$ and $t$ are $k$-similar if they can be decomposed into subpermutations $s^1, \ldots, s^k$ and $t^1, \ldots, t^k$ such that $s^i$ is order-isomorphic to $t^i$ for all $i$. Recently, Dudek, Grytczuk and Ruciński posed the problem of determining the minimum $k$ for which two permutations chosen independently and uniformly at random are $k$-similar. We show that two such permutati… ▽ More Two permutations $s$ and $t$ are $k$-similar if they can be decomposed into subpermutations $s^1, \ldots, s^k$ and $t^1, \ldots, t^k$ such that $s^i$ is order-isomorphic to $t^i$ for all $i$. Recently, Dudek, Grytczuk and Ruciński posed the problem of determining the minimum $k$ for which two permutations chosen independently and uniformly at random are $k$-similar. We show that two such permutations are $O(n^{1/3}\log^{11/6}(n))$-similar with high probability, which is tight up to a polylogarithmic factor. Our result also generalises to simultaneous decompositions of multiple permutations. △ Less

Submitted 22 January, 2023; v1 submitted 22 February, 2022; originally announced February 2022.

Comments: 11 pages, 2 figures