-
Interface Modes in Honeycomb Topological Photonic Structures with Broken Reflection Symmetry
Authors:
Wei Li,
Junshan Lin,
Jiayu Qiu,
Hai Zhang
Abstract:
In this work, we present a mathematical theory for Dirac points and interface modes in honeycomb topological photonic structures consisting of impenetrable obstacles. Starting from a honeycomb lattice of obstacles attaining $120^\circ$-rotation symmetry and horizontal reflection symmetry, we apply the boundary integral equation method to show the existence of Dirac points for the first two bands a…
▽ More
In this work, we present a mathematical theory for Dirac points and interface modes in honeycomb topological photonic structures consisting of impenetrable obstacles. Starting from a honeycomb lattice of obstacles attaining $120^\circ$-rotation symmetry and horizontal reflection symmetry, we apply the boundary integral equation method to show the existence of Dirac points for the first two bands at the vertices of the Brillouin zone. We then study interface modes in a joint honeycomb photonic structure, which consists of two periodic lattices obtained by perturbing the honeycomb one with Dirac points differently. The perturbations break the reflection symmetry of the system, as a result, they annihilate the Dirac points and generate two structures with different topological phases, which mimics the quantum valley Hall effect in topological insulators. We investigate the interface modes that decay exponentially away from the interface of the joint structure in several configurations with different interface geometries, including the zigzag interface, the armchair interface, and the rational interfaces. Using the layer potential technique and asymptotic analysis, we first characterize the band-gap opening for the two perturbed periodic structures and derive the asymptotic expansions of the Bloch modes near the band gap surfaces. By formulating the eigenvalue problem for each joint honeycomb structure using boundary integral equations over the interface and analyzing the characteristic values of the associated boundary integral operators, we prove the existence of interface modes when the perturbation is small.
△ Less
Submitted 6 May, 2024; v1 submitted 6 May, 2024;
originally announced May 2024.
-
Certain functional identities on division rings of characteristic two
Authors:
Münevver Pınar Eroğlu,
Tsiu-Kwen Lee,
Jheng-Huei Lin
Abstract:
Let $D$ be a noncommutative division ring. In a recent paper, Lee and Lin proved that if $\text{char}\, D\ne 2$, the only solution of additive maps $f, g$ on $D$ satisfying the identity $f(x) = x^n g(x^{-1})$ on $D\setminus \{0\}$ with $n\ne 2$ a positive integer is the trivial case, that is, $f=0$ and $g=0$. Applying Hua's identity and the theory of functional and generalized polynomial identitie…
▽ More
Let $D$ be a noncommutative division ring. In a recent paper, Lee and Lin proved that if $\text{char}\, D\ne 2$, the only solution of additive maps $f, g$ on $D$ satisfying the identity $f(x) = x^n g(x^{-1})$ on $D\setminus \{0\}$ with $n\ne 2$ a positive integer is the trivial case, that is, $f=0$ and $g=0$. Applying Hua's identity and the theory of functional and generalized polynomial identities, we give a complete solution of the same identity for any nonnegative integer $n$ if $\text{char}\, D=2$.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
On the extinction of multiple shocks in scalar viscous conservation laws
Authors:
Jeanne Lin,
Dmitry E. Pelinovsky,
Bjorn de Rijk
Abstract:
We are interested in the dynamics of interfaces, or zeros, of shock waves in general scalar viscous conservation laws with a locally Lipschitz continuous flux function, such as the modular Burgers' equation. We prove that all interfaces coalesce within finite time, leaving behind either a single interface or no interface at all. Our proof relies on mass and energy estimates, regularization of the…
▽ More
We are interested in the dynamics of interfaces, or zeros, of shock waves in general scalar viscous conservation laws with a locally Lipschitz continuous flux function, such as the modular Burgers' equation. We prove that all interfaces coalesce within finite time, leaving behind either a single interface or no interface at all. Our proof relies on mass and energy estimates, regularization of the flux function, and an application of the Sturm theorems on the number of zeros of solutions of parabolic problems. Our analysis yields an explicit upper bound on the time of extinction in terms of the initial condition and the flux function. Moreover, in the case of a smooth flux function, we characterize the generic bifurcations arising at a coalescence event with and without the presence of odd symmetry. We identify associated scaling laws describing the local interface dynamics near collision. Finally, we present an extension of these results to the case of anti-shock waves converging to asymptotic limits of opposite signs. Our analysis is corroborated by numerical simulations in the modular Burgers' equation and its regularizations.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
A finite element contour integral method for computing the resonances of metallic grating structures with subwavelength holes
Authors:
Yingxia Xi,
Junshan Lin,
Jiguang Sun
Abstract:
We consider the numerical computation of resonances for metallic grating structures with dispersive media and small slit holes. The underlying eigenvalue problem is nonlinear and the mathematical model is multiscale due to the existence of several length scales in problem geometry and material contrast. We discretize the partial differential equation model over the truncated domain using the finit…
▽ More
We consider the numerical computation of resonances for metallic grating structures with dispersive media and small slit holes. The underlying eigenvalue problem is nonlinear and the mathematical model is multiscale due to the existence of several length scales in problem geometry and material contrast. We discretize the partial differential equation model over the truncated domain using the finite element method and develop a multi-step contour integral eigensolver to compute the resonances. The eigensolver first locates eigenvalues using a spectral indicator and then computes eigenvalues by a subspace projection scheme. The proposed numerical method is robust and scalable, and does not require initial guess as the iteration methods. Numerical examples are presented to demonstrate its effectiveness.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
Companion matrix, Vandermonde matrix, Jordan form, Interpolating Polynomials, and Linear Transformations
Authors:
Chi-Kwong Li,
Jephian C. -H. Lin
Abstract:
Let $\mathbb{F}$ be a field, and let $C$ be the $n\times n$ companion matrix of the monic polynomial $f(x)\in \mathbb{F}[x]$ such that $f(x) = \det(xI-C) = (x - λ_1)^{n_1} \cdots (x - λ_m)^{n_m}$ for $m$ distinct elements $λ_1, \dots, λ_m \in \mathbb{F}$. It is shown that there is a generalized Vandermonde matrix $V$ associated with $f(x)$ such that $VCV^{-1}$ is in Jordan form, and the columns of…
▽ More
Let $\mathbb{F}$ be a field, and let $C$ be the $n\times n$ companion matrix of the monic polynomial $f(x)\in \mathbb{F}[x]$ such that $f(x) = \det(xI-C) = (x - λ_1)^{n_1} \cdots (x - λ_m)^{n_m}$ for $m$ distinct elements $λ_1, \dots, λ_m \in \mathbb{F}$. It is shown that there is a generalized Vandermonde matrix $V$ associated with $f(x)$ such that $VCV^{-1}$ is in Jordan form, and the columns of $V^{-1}$ are connected to the Hermite interpolating polynomials, whose higher derivatives will have specific values at $λ_1, \dots, λ_m$. If $m = n$ and $n_1 = \cdots = n_m = 1$, then the results reduce to the fact that the (classical) Vandermonde $V$ of $λ_1, \dots, λ_n$ satisfies $VCV^{-1}$ is a diagonal matrix and that the columns of $V^{-1}$ correspond to the Lagrange interpolating polynomials. This shows that the results for real polynomials and matrices also hold for polynomials and matrices over an arbitrary field $\mathbb{F}$. Moreover, interpretations and insights of the results are given in terms of linear transformation between $\mathbb{F}^n$ and the linear space of polynomials in $\mathbb{F}[x]$ with degree less than $n$.
△ Less
Submitted 3 March, 2024;
originally announced March 2024.
-
Revisiting Convergence of AdaGrad with Relaxed Assumptions
Authors:
Yusu Hong,
Junhong Lin
Abstract:
In this study, we revisit the convergence of AdaGrad with momentum (covering AdaGrad as a special case) on non-convex smooth optimization problems. We consider a general noise model where the noise magnitude is controlled by the function value gap together with the gradient magnitude. This model encompasses a broad range of noises including bounded noise, sub-Gaussian noise, affine variance noise…
▽ More
In this study, we revisit the convergence of AdaGrad with momentum (covering AdaGrad as a special case) on non-convex smooth optimization problems. We consider a general noise model where the noise magnitude is controlled by the function value gap together with the gradient magnitude. This model encompasses a broad range of noises including bounded noise, sub-Gaussian noise, affine variance noise and the expected smoothness, and it has been shown to be more realistic in many practical applications. Our analysis yields a probabilistic convergence rate which, under the general noise, could reach at (\tilde{\mathcal{O}}(1/\sqrt{T})). This rate does not rely on prior knowledge of problem-parameters and could accelerate to (\tilde{\mathcal{O}}(1/T)) where (T) denotes the total number iterations, when the noise parameters related to the function value gap and noise level are sufficiently small. The convergence rate thus matches the lower rate for stochastic first-order methods over non-convex smooth landscape up to logarithm terms [Arjevani et al., 2023]. We further derive a convergence bound for AdaGrad with mometum, considering the generalized smoothness where the local smoothness is controlled by a first-order function of the gradient norm.
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
On Convergence of Adam for Stochastic Optimization under Relaxed Assumptions
Authors:
Yusu Hong,
Junhong Lin
Abstract:
The Adaptive Momentum Estimation (Adam) algorithm is highly effective in training various deep learning tasks. Despite this, there's limited theoretical understanding for Adam, especially when focusing on its vanilla form in non-convex smooth scenarios with potential unbounded gradients and affine variance noise. In this paper, we study vanilla Adam under these challenging conditions. We introduce…
▽ More
The Adaptive Momentum Estimation (Adam) algorithm is highly effective in training various deep learning tasks. Despite this, there's limited theoretical understanding for Adam, especially when focusing on its vanilla form in non-convex smooth scenarios with potential unbounded gradients and affine variance noise. In this paper, we study vanilla Adam under these challenging conditions. We introduce a comprehensive noise model which governs affine variance noise, bounded noise and sub-Gaussian noise. We show that Adam can find a stationary point with a $\mathcal{O}(\text{poly}(\log T)/\sqrt{T})$ rate in high probability under this general noise model where $T$ denotes total number iterations, matching the lower rate of stochastic first-order algorithms up to logarithm factors. More importantly, we reveal that Adam is free of tuning step-sizes with any problem-parameters, yielding a better adaptation property than the Stochastic Gradient Descent under the same conditions. We also provide a probabilistic convergence result for Adam under a generalized smooth condition which allows unbounded smoothness parameters and has been illustrated empirically to more accurately capture the smooth property of many practical objective functions.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
A Priori Error Estimation of Physics-Informed Neural Networks Solving Allen--Cahn and Cahn--Hilliard Equations
Authors:
Guangtao Zhang,
Jiani Lin,
Qijia Zhai,
Huiyu Yang,
Xujun Chen,
Xiaoning Zheng,
Ieng Tak Leong
Abstract:
This paper aims to analyze errors in the implementation of the Physics-Informed Neural Network (PINN) for solving the Allen--Cahn (AC) and Cahn--Hilliard (CH) partial differential equations (PDEs). The accuracy of PINN is still challenged when dealing with strongly non-linear and higher-order time-varying PDEs. To address this issue, we introduce a stable and bounded self-adaptive weighting scheme…
▽ More
This paper aims to analyze errors in the implementation of the Physics-Informed Neural Network (PINN) for solving the Allen--Cahn (AC) and Cahn--Hilliard (CH) partial differential equations (PDEs). The accuracy of PINN is still challenged when dealing with strongly non-linear and higher-order time-varying PDEs. To address this issue, we introduce a stable and bounded self-adaptive weighting scheme known as Residuals-RAE, which ensures fair training and effectively captures the solution. By incorporating this new training loss function, we conduct numerical experiments on 1D and 2D AC and CH systems to validate our theoretical findings. Our theoretical analysis demonstrates that feedforward neural networks with two hidden layers and tanh activation function effectively bound the PINN approximation errors for the solution field, temporal derivative, and nonlinear term of the AC and CH equations by the training loss and number of collocation points.
△ Less
Submitted 4 February, 2024;
originally announced February 2024.
-
Explicit evaluation of the Stokes matrices for certain quantum confluent hypergeometric equations
Authors:
**ghong Lin,
Xiaomeng Xu
Abstract:
In this paper, we compute the Stokes matrices of a special quantum confluent hypergeometric system with Poincaré rank one. The sources of the interests in the Stokes phenomenon of such system are from representation theory and the theory of isomonodromy deformation.
In this paper, we compute the Stokes matrices of a special quantum confluent hypergeometric system with Poincaré rank one. The sources of the interests in the Stokes phenomenon of such system are from representation theory and the theory of isomonodromy deformation.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
Upper bound of the lifespan of the solution to the nonlinear fractional wave equations with time-dependent dam**
Authors:
Jiayun Lin,
Masahiro Ikeda
Abstract:
In this paper, we study the Cauchy problem of the nonlinear wave equation with fractional Laplacian and time-dependent dam**. Firstly, we derive the weighted Sobolev estimate of the solution operators for the linear wave equation with the dam** of constant coefficient, and prove the local existence and uniqueness in the weighted Sobolev space for the power-type nonlinearity and…
▽ More
In this paper, we study the Cauchy problem of the nonlinear wave equation with fractional Laplacian and time-dependent dam**. Firstly, we derive the weighted Sobolev estimate of the solution operators for the linear wave equation with the dam** of constant coefficient, and prove the local existence and uniqueness in the weighted Sobolev space for the power-type nonlinearity and $b(t)\in L^\infty$, by the contraction map** principle. Secondly, we consider the case of the source nonlinearity $f(u)\approx |u|^p$. In the subcritical and critical cases $1<p\leq p_c=1+\frac σN$, based on the blow-up result on the ordinary differential inequality, we could prove the blow-up of the solution and obtain the upper bound of the lifespan. And the upper bound of the lifespan in the critical case is independent on the coefficient of the time-dependent dam** and is completely new even if the classical case $b(t)=1$.
△ Less
Submitted 19 January, 2024;
originally announced January 2024.
-
Nonconvex Deterministic Matrix Completion by Projected Gradient Descent Methods
Authors:
Hang Xu,
Song Li,
Junhong Lin
Abstract:
We study deterministic matrix completion problem, i.e., recovering a low-rank matrix from a few observed entries where the sampling set is chosen as the edge set of a Ramanujan graph. We first investigate projected gradient descent (PGD) applied to a Burer-Monteiro least-squares problem and show that it converges linearly to the incoherent ground-truth with respect to the condition number \k{appa}…
▽ More
We study deterministic matrix completion problem, i.e., recovering a low-rank matrix from a few observed entries where the sampling set is chosen as the edge set of a Ramanujan graph. We first investigate projected gradient descent (PGD) applied to a Burer-Monteiro least-squares problem and show that it converges linearly to the incoherent ground-truth with respect to the condition number \k{appa} of ground-truth under a benign initialization and large samples. We next apply the scaled variant of PGD to deal with the ill-conditioned case when \k{appa} is large, and we show the algorithm converges at a linear rate independent of the condition number \k{appa} under similar conditions. Finally, we provide numerical experiments to corroborate our results.
△ Less
Submitted 12 January, 2024;
originally announced January 2024.
-
Certain functional identities on division rings
Authors:
Tsiu-Kwen Lee,
Jheng-Huei Lin
Abstract:
We study the functional identity $G(x)f(x)=H(x)$ on a division ring $D$, where $f \colon D\to D$ is an additive map and $G(X)\ne 0, H(X)$ are generalized polynomials in the variable $X$ with coefficients in $D$. Precisely, it is proved that either $D$ is finite-dimensional over its center or $f$ is an elementary operator. Applying the result and its consequences, we prove that if $D$ is a noncommu…
▽ More
We study the functional identity $G(x)f(x)=H(x)$ on a division ring $D$, where $f \colon D\to D$ is an additive map and $G(X)\ne 0, H(X)$ are generalized polynomials in the variable $X$ with coefficients in $D$. Precisely, it is proved that either $D$ is finite-dimensional over its center or $f$ is an elementary operator. Applying the result and its consequences, we prove that if $D$ is a noncommutative division ring of characteristic not $2$, then the only solution of additive maps $f, g$ on $D$ satisfying the identity $f(x) = x^n g(x^{-1})$ with $n\ne 2$ a positive integer is the trivial case, that is, $f=0$ and $g=0$. This extends Catalano and Merchán's result in 2023 to get a complete solution.
△ Less
Submitted 5 January, 2024;
originally announced January 2024.
-
Spectrally cut-off GFF, regularized $Φ^4$ measure, and reflection positivity
Authors:
Ismael Bailleul,
Nguyen Viet Dang,
Léonard Ferdinand,
Gaëtan Leclerc,
Jiasheng Lin
Abstract:
We argue that the spectrally cut-off Gaussian free field $Φ_Λ$ on a compact Riemannian manifold or on $\mathbb{R}^n$ cannot satisfy the spatial Markov property. Moreover, when the manifold is reflection positive, we show that $Φ_Λ$ fails to be reflection positive. We explain the difficulties one encounters when trying to deduce the reflection positivity property of the measure exp…
▽ More
We argue that the spectrally cut-off Gaussian free field $Φ_Λ$ on a compact Riemannian manifold or on $\mathbb{R}^n$ cannot satisfy the spatial Markov property. Moreover, when the manifold is reflection positive, we show that $Φ_Λ$ fails to be reflection positive. We explain the difficulties one encounters when trying to deduce the reflection positivity property of the measure exp$(-\|ρΦ_Λ\|_{L^4}^4) μ_{\text{GFF}}(dΦ)$ from the reflection positivity property of the Gaussian free field measure $μ_{\text{GFF}}$ in a naive way. These issues are probably well-known to experts of constructive quantum field theory but to our knowledge, no detailed account can be found in the litterature. Our pedagogical note aims to fill this small gap.
△ Less
Submitted 24 December, 2023;
originally announced December 2023.
-
Coordinated Active-Reactive Power Management of ReP2H Systems with Multiple Electrolyzers
Authors:
Yangjun Zeng,
Buxiang Zhou,
Jie Zhu,
Jiarong Li,
Bosen Yang,
** Lin,
Yiwei Qiu
Abstract:
Utility-scale renewable power-to-hydrogen (ReP2H) production typically uses thyristor rectifiers (TRs) to supply power to multiple electrolyzers (ELZs). They exhibit a nonlinear and non-decouplable relation between active and reactive power. The on-off scheduling and load allocation of multiple ELZs simultaneously impact energy conversion efficiency and AC-side active and reactive power flow. Impr…
▽ More
Utility-scale renewable power-to-hydrogen (ReP2H) production typically uses thyristor rectifiers (TRs) to supply power to multiple electrolyzers (ELZs). They exhibit a nonlinear and non-decouplable relation between active and reactive power. The on-off scheduling and load allocation of multiple ELZs simultaneously impact energy conversion efficiency and AC-side active and reactive power flow. Improper scheduling may result in excessive reactive power demand, causing voltage violations and increased network losses, compromising safety and economy. To address these challenges, this paper first explores trade-offs between the efficiency and the reactive load of the electrolyzers. Subsequently, we propose a coordinated approach for scheduling the active and reactive power in the ReP2H system. A mixed-integer second-order cone programming (MISOCP) is established to jointly optimize active and reactive power by coordinating the ELZs, renewable energy sources, energy storage (ES), and var compensations. Case studies demonstrate that the proposed method reduces losses by 3.06% in an off-grid ReP2H system while increasing hydrogen production by 5.27% in average.
△ Less
Submitted 22 December, 2023;
originally announced December 2023.
-
Active flux for triangular meshes for compressible flows problems
Authors:
Rémi Abgrall,
Jianfang Lin,
Yongle Liu
Abstract:
In this article, we show how to construct a numerical method for solving hyperbolic problems, whether linear or nonlinear, using a continuous representation of the variables and their mean value in each triangular element. This type of approach has already been introduced by Roe, and others, in the multidimensional framework under the name of Active flux, see \cite{AF1,AF2,AF3,AF4,AF5}. Here, the…
▽ More
In this article, we show how to construct a numerical method for solving hyperbolic problems, whether linear or nonlinear, using a continuous representation of the variables and their mean value in each triangular element. This type of approach has already been introduced by Roe, and others, in the multidimensional framework under the name of Active flux, see \cite{AF1,AF2,AF3,AF4,AF5}. Here, the presentation is more general and follows \cite{Abgrall_AF,BarzukowAbgrall}. { Various} examples show the good behavior of the method in both linear and nonlinear cases, including non-convex problems. The expected order of precision is obtained in both the linear and nonlinear cases. This work represents a step towards the development of methods in the spirit of virtual finite elements for linear or nonlinear hyperbolic problems, including the case where the solution is not regular.
△ Less
Submitted 18 December, 2023;
originally announced December 2023.
-
Slow Passage through a Saddle-Node Bifurcation in Discrete Dynamical Systems
Authors:
Jay Chu,
Jun-Jie Lin,
Je-Chiang Tsai
Abstract:
We study a discrete non-autonomous system whose autonomous counterpart (with the frozen bifurcation parameter) admits a saddle-node bifurcation, and in which the bifurcation parameter slowly changes in time and is characterized by a sweep rate constant $ε$. The discrete system is more appropriate for modeling realistic systems since only time series data is available. We show that in contrast to i…
▽ More
We study a discrete non-autonomous system whose autonomous counterpart (with the frozen bifurcation parameter) admits a saddle-node bifurcation, and in which the bifurcation parameter slowly changes in time and is characterized by a sweep rate constant $ε$. The discrete system is more appropriate for modeling realistic systems since only time series data is available. We show that in contrast to its autonomous counterpart, when the time mesh size $Δt$ is less than the order $O(ε)$, there is a bifurcation delay as the bifurcation time-varying parameter is varied through the bifurcation point, and the delay is proportional to the two-thirds power of the sweep rate constant $ε$. This bifurcation delay is significant in various realistic systems since it allows one to take necessary action promptly before a sudden collapse or shift to different states. On the other hand, when the time mesh size $Δt$ is larger than the order $o(ε)$, the dynamical behavior of the solution is dramatically changed before the bifurcation point. This behavior is not observed in the autonomous counterpart. Therefore, the dynamical behavior of the system strongly depends on the time mesh size. Finally. due to the very discrete feature of the system, there are no efficient tools for the analytical study of the system. Our approach is elementary and analytical.
△ Less
Submitted 13 November, 2023;
originally announced November 2023.
-
High Probability Convergence of Adam Under Unbounded Gradients and Affine Variance Noise
Authors:
Yusu Hong,
Junhong Lin
Abstract:
In this paper, we study the convergence of the Adaptive Moment Estimation (Adam) algorithm under unconstrained non-convex smooth stochastic optimizations. Despite the widespread usage in machine learning areas, its theoretical properties remain limited. Prior researches primarily investigated Adam's convergence from an expectation view, often necessitating strong assumptions like uniformly stochas…
▽ More
In this paper, we study the convergence of the Adaptive Moment Estimation (Adam) algorithm under unconstrained non-convex smooth stochastic optimizations. Despite the widespread usage in machine learning areas, its theoretical properties remain limited. Prior researches primarily investigated Adam's convergence from an expectation view, often necessitating strong assumptions like uniformly stochastic bounded gradients or problem-dependent knowledge in prior. As a result, the applicability of these findings in practical real-world scenarios has been constrained. To overcome these limitations, we provide a deep analysis and show that Adam could converge to the stationary point in high probability with a rate of $\mathcal{O}\left({\rm poly}(\log T)/\sqrt{T}\right)$ under coordinate-wise "affine" variance noise, not requiring any bounded gradient assumption and any problem-dependent knowledge in prior to tune hyper-parameters. Additionally, it is revealed that Adam confines its gradients' magnitudes within an order of $\mathcal{O}\left({\rm poly}(\log T)\right)$. Finally, we also investigate a simplified version of Adam without one of the corrective terms and obtain a convergence rate that is adaptive to the noise level.
△ Less
Submitted 3 November, 2023;
originally announced November 2023.
-
Configuration space integrals and formal smooth structures
Authors:
Jianfeng Lin,
Yi Xie
Abstract:
Watanabe disproved the 4-dimensional Smale conjecture by constructing topologically trivial $D^{4}$-bundles over spheres and showing that they are smoothly nontrivial using configuration space integrals. In this paper, we define a new version of configuration space integrals that only relies on a formal smooth structure on the $D^{4}$-bundle (i.e., a vector bundle structure on the vertical tangent…
▽ More
Watanabe disproved the 4-dimensional Smale conjecture by constructing topologically trivial $D^{4}$-bundles over spheres and showing that they are smoothly nontrivial using configuration space integrals. In this paper, we define a new version of configuration space integrals that only relies on a formal smooth structure on the $D^{4}$-bundle (i.e., a vector bundle structure on the vertical tangent microbundle). It coincides with Watanabe's definition when the $D^{4}$-bundle is smooth. We obtain several applications. First, we give a lower bound (in terms of the graph homology) on the dimension of the rational homotopy and homology groups of $\textrm{Top}(4)$ and $\textrm{Homeo}(S^4)$ (the homeomorphism group of $\mathbb{R}^4$ and $S^4$). In particular, this implies that $\textrm{Top}(4)$ and $\textrm{Homeo}(S^4)$ are not rationally equivalent to any finite-dimensional CW complexes. Second, we discover a generalized Miller-Morita-Mumford class $κ_θ(π)\in H^{3}(B;\mathbf{Q})$, which is defined for any topological 4-manifold bundle $X\to E\to B$. This class obstructs the existence of a formal smooth structure on the bundle. Third, we show that for any compact, orientable, smooth 4-manifold $X$ (possibly with boundary), the inclusion map from its diffeomorphism group to its homeomorphism group is not rationally $2$-connected (hence not a weak homotopy equivalence). This implies that the space of smooth structures on $X$ has a nontrivial rational homotopy group in dimension 2.
△ Less
Submitted 21 October, 2023;
originally announced October 2023.
-
The inverse nullity pair problem and the strong nullity interlacing property
Authors:
Aida Abiad,
Bryan A. Curtis,
Mary Flagg,
H. Tracy Hall,
Jephian C. -H. Lin,
Bryan Shader
Abstract:
The inverse eigenvalue problem studies the possible spectra among matrices whose off-diagonal entries have their zero-nonzero patterns described by the adjacency of a graph $G$. In this paper, we refer to the $i$-nullity pair of a matrix $A$ as $(\operatorname{null}(A), \operatorname{null}(A(i))$, where $A(i)$ is the matrix obtained from $A$ by removing the $i$-th row and column. The inverse $i$-n…
▽ More
The inverse eigenvalue problem studies the possible spectra among matrices whose off-diagonal entries have their zero-nonzero patterns described by the adjacency of a graph $G$. In this paper, we refer to the $i$-nullity pair of a matrix $A$ as $(\operatorname{null}(A), \operatorname{null}(A(i))$, where $A(i)$ is the matrix obtained from $A$ by removing the $i$-th row and column. The inverse $i$-nullity pair problem is considered for complete graphs, cycles, and trees. The strong nullity interlacing property is introduced, and the corresponding supergraph lemma and decontraction lemma are developed as new tools for constructing matrices with a given nullity pair.
△ Less
Submitted 20 October, 2023;
originally announced October 2023.
-
Parallelisable computation of the gradient in nonlinear stochastic optimal control problems
Authors:
Jie Lin,
Ruairi Moran,
Pantelis Sopasakis
Abstract:
Nonlinear (deterministic and stochastic) optimal control problems are often solved on embedded devices using first-order numerical optimisation methods. The gradient computation accounts for a significant part of the computation cost per iteration; this is often performed with reverse-mode automatic differentiation and software libraries such as CasADi can be used to generate C code for this compu…
▽ More
Nonlinear (deterministic and stochastic) optimal control problems are often solved on embedded devices using first-order numerical optimisation methods. The gradient computation accounts for a significant part of the computation cost per iteration; this is often performed with reverse-mode automatic differentiation and software libraries such as CasADi can be used to generate C code for this computation. In this paper, we propose a simple ad hoc and highly parallelisable algorithm for the computation of the gradient of the total cost for deterministic and stochastic scenario-based optimal control problems. We also present gradgen: an open-source Python package that generates Rust code for the gradient computation. The proposed method leads to a faster performance compared to CasADi and a significant reduction in generated code.
△ Less
Submitted 19 June, 2023;
originally announced June 2023.
-
Mutation, surface graphs, and alternating links in surfaces
Authors:
Hans U. Boden,
Zsuzsanna Dancso,
Damian J. Lin,
Tilda S. Wilkinson-Finch
Abstract:
In this paper, we study alternating links in thickened surfaces in terms of the lattices of integer flows on their Tait graphs. We use this approach to give a short proof of the first two generalised Tait conjectures. We also prove that the flow lattice is an invariant of alternating links in thickened surfaces and is further invariant under disc mutation. For classical links, the flow lattice and…
▽ More
In this paper, we study alternating links in thickened surfaces in terms of the lattices of integer flows on their Tait graphs. We use this approach to give a short proof of the first two generalised Tait conjectures. We also prove that the flow lattice is an invariant of alternating links in thickened surfaces and is further invariant under disc mutation. For classical links, the flow lattice and $d$-invariants are complete invariants of the mutation class of an alternating link. For links in thickened surfaces, we show that this is no longer the case by finding a stronger mutation invariant, namely the Gordon-Litherland linking form. In particular, we find alternating knots in thickened surfaces which have isometric flow lattices but with non-isomorphic linking forms.
△ Less
Submitted 12 August, 2023; v1 submitted 15 June, 2023;
originally announced June 2023.
-
Deciding whether a map** torus is of full rank
Authors:
Juemin Lin,
Jianchun Wu
Abstract:
The map** torus induced by an automorphism $φ$ of the free abelian group $\mathbb{Z}^n$ is a semi-direct product $G=\mathbb{Z}^n\rtimes_φ\mathbb{Z}$. We show that whether the rank of $G$ is equal to $n+1$ is decidable. As a corollary, the rank of $\mathbb{Z}^3\rtimes_φ\mathbb{Z}$ is decidable.
The map** torus induced by an automorphism $φ$ of the free abelian group $\mathbb{Z}^n$ is a semi-direct product $G=\mathbb{Z}^n\rtimes_φ\mathbb{Z}$. We show that whether the rank of $G$ is equal to $n+1$ is decidable. As a corollary, the rank of $\mathbb{Z}^3\rtimes_φ\mathbb{Z}$ is decidable.
△ Less
Submitted 13 June, 2023;
originally announced June 2023.
-
On seeded subgraph-to-subgraph matching: The ssSGM Algorithm and matchability information theory
Authors:
Lingyao Meng,
Mengqi Lou,
Jianyu Lin,
Vince Lyzinski,
Donniell E. Fishkind
Abstract:
The subgraph-subgraph matching problem is, given a pair of graphs and a positive integer $K$, to find $K$ vertices in the first graph, $K$ vertices in the second graph, and a bijection between them, so as to minimize the number of adjacency disagreements across the bijection; it is ``seeded" if some of this bijection is fixed. The problem is intractable, and we present the ssSGM algorithm, which u…
▽ More
The subgraph-subgraph matching problem is, given a pair of graphs and a positive integer $K$, to find $K$ vertices in the first graph, $K$ vertices in the second graph, and a bijection between them, so as to minimize the number of adjacency disagreements across the bijection; it is ``seeded" if some of this bijection is fixed. The problem is intractable, and we present the ssSGM algorithm, which uses Frank-Wolfe methodology to efficiently find an approximate solution. Then, in the context of a generalized correlated random Bernoulli graph model, in which the pair of graphs naturally have a core of $K$ matched pairs of vertices, we provide and prove mild conditions for the subgraph-subgraph matching problem solution to almost always be the correct $K$ matched pairs of vertices.
△ Less
Submitted 6 June, 2023;
originally announced June 2023.
-
Sequential good lattice point sets for computer experiments
Authors:
Xue-Ru Zhang,
Min-Qian Liu,
Dennis K. J. Lin,
Yong-Dao Zhou
Abstract:
Sequential Latin hypercube designs have recently received great attention for computer experiments. Much of the work has been restricted to invariant spaces. The related systematic construction methods are inflexible while algorithmic methods are ineffective for large designs. For such designs in space contraction, systematic construction methods have not been investigated yet. This paper proposes…
▽ More
Sequential Latin hypercube designs have recently received great attention for computer experiments. Much of the work has been restricted to invariant spaces. The related systematic construction methods are inflexible while algorithmic methods are ineffective for large designs. For such designs in space contraction, systematic construction methods have not been investigated yet. This paper proposes a new method for constructing sequential Latin hypercube designs via good lattice point sets in a variety of experimental spaces. These designs are called sequential good lattice point sets. Moreover, we provide fast and efficient approaches for identifying the (nearly) optimal sequential good lattice point sets under a given criterion. Combining with the linear level permutation technique, we obtain a class of asymptotically optimal sequential Latin hypercube designs in invariant spaces where the $L_1$-distance in each stage is either optimal or asymptotically optimal. Numerical results demonstrate that the sequential good lattice point set has a better space-filling property than the existing sequential Latin hypercube designs in the invariant space. It is also shown that the sequential good lattice point sets have less computational complexity and more adaptability.
△ Less
Submitted 16 May, 2023; v1 submitted 11 May, 2023;
originally announced May 2023.
-
New Characterizations and Efficient Local Search for General Integer Linear Programming
Authors:
Peng Lin,
Shaowei Cai,
Mengchuan Zou,
**kun Lin
Abstract:
Integer linear programming (ILP) models a wide range of practical combinatorial optimization problems and significantly impacts industry and management sectors. This work proposes new characterizations of ILP with the concept of boundary solutions. Motivated by the new characterizations, we develop a new local search algorithm Local-ILP, which is efficient for solving general ILP validated on a la…
▽ More
Integer linear programming (ILP) models a wide range of practical combinatorial optimization problems and significantly impacts industry and management sectors. This work proposes new characterizations of ILP with the concept of boundary solutions. Motivated by the new characterizations, we develop a new local search algorithm Local-ILP, which is efficient for solving general ILP validated on a large heterogeneous problem dataset. We propose a new local search framework that switches between three modes, namely Search, Improve, and Restore modes. Two new operators are proposed, namely the tight move and the lift move operators, which are associated with appropriate scoring functions. Different modes apply different operators to realize different search strategies and the algorithm switches between three modes according to the current search state. Putting these together, we develop a local search ILP solver called Local-ILP. Experiments conducted on the MIPLIB dataset show the effectiveness of our algorithm in solving large-scale hard ILP problems. In the aspect of finding a good feasible solution quickly, Local-ILP is competitive and complementary to the state-of-the-art commercial solver Gurobi and significantly outperforms the state-of-the-art non-commercial solver SCIP. Moreover, our algorithm establishes new records for 6 MIPLIB open instances. The theoretical analysis of our algorithm is also presented, which shows our algorithm could avoid visiting unnecessary regions.
△ Less
Submitted 1 March, 2024; v1 submitted 29 April, 2023;
originally announced May 2023.
-
Semi-derived Ringel-Hall algebras and Hall algebras of odd-periodic relative derived categories
Authors:
Ji Lin,
Liangang Peng
Abstract:
Let $t$ be a positive integer and $\mathcal{A}$ a hereditary abelian category satisfying some finiteness conditions. We define the semi-derived Ringel-Hall algebra of $\mathcal{A}$ from the category $\mathcal{C}_{\mathbb{Z}/t}(\mathcal{A})$ of $\mathbb{Z}/t$-graded complexes and obtain a natural basis of the semi-derived Ringel-Hall algebra. Moreover, we describe the semi-derived Ringel-Hall algeb…
▽ More
Let $t$ be a positive integer and $\mathcal{A}$ a hereditary abelian category satisfying some finiteness conditions. We define the semi-derived Ringel-Hall algebra of $\mathcal{A}$ from the category $\mathcal{C}_{\mathbb{Z}/t}(\mathcal{A})$ of $\mathbb{Z}/t$-graded complexes and obtain a natural basis of the semi-derived Ringel-Hall algebra. Moreover, we describe the semi-derived Ringel-Hall algebra by the generators and defining relations. In particular, if $t$ is an odd integer, we show that there is an embedding of derived Hall algebra of the odd-periodic relative derived category in the extended semi-derived Ringel-Hall algebra.
△ Less
Submitted 23 April, 2023;
originally announced April 2023.
-
Mathematical theory for the interface mode in a waveguide bifurcated from a Dirac point
Authors:
Jiayu Qiu,
Junshan Lin,
Peng Xie,
Hai Zhang
Abstract:
In this paper, we prove the existence of a bound state in a waveguide that consists of two semi-infinite periodic structures separated by an interface. The two periodic structures are perturbed from the same periodic medium with a Dirac point and they possess a common band gap enclosing the Dirac point. The bound state, which is called interface mode here, decays exponentially away from the interf…
▽ More
In this paper, we prove the existence of a bound state in a waveguide that consists of two semi-infinite periodic structures separated by an interface. The two periodic structures are perturbed from the same periodic medium with a Dirac point and they possess a common band gap enclosing the Dirac point. The bound state, which is called interface mode here, decays exponentially away from the interface with a frequency located in the common band gap and can be viewed as a bifurcation from the Dirac point. Using the layer potential technique and asymptotic analysis, we first characterize the band gap opening for the two perturbed periodic media and derive the asymptotics of the Bloch modes near the band gap edges. By formulating the eigenvalue problem for the waveguide with two semi-infinite structures using a boundary integral equation over the interface and analyzing the characteristic values of the associated boundary integral operator, we prove the existence of the interface mode for the waveguide when the perturbation of the periodic medium is small.
△ Less
Submitted 21 April, 2023;
originally announced April 2023.
-
Dolbeault Type Cohomology Groups of Infinitesimal Deformations and Their Applications
Authors:
Jiezhu Lin,
Xuanming Ye
Abstract:
In this paper, we establish a kind of Dolbeault type cohomology groups for the purpose of studying the varying of complex structure invariants in infinitesimal deformations of any order. We give a concrete description of the higher order Kodaria-Spencer maps by using these cohomology groups. We reformulate the obstruction formulas within the framework of these cohomology groups and give a new proo…
▽ More
In this paper, we establish a kind of Dolbeault type cohomology groups for the purpose of studying the varying of complex structure invariants in infinitesimal deformations of any order. We give a concrete description of the higher order Kodaria-Spencer maps by using these cohomology groups. We reformulate the obstruction formulas within the framework of these cohomology groups and give a new proof for the formulas.
△ Less
Submitted 20 April, 2023;
originally announced April 2023.
-
A Risk-Sensitive Global Maximum Principle for Controlled Fully Coupled FBSDEs with Applications
Authors:
**gtao Lin,
**gtao Shi
Abstract:
This paper is concerned with a kind of risk-sensitive optimal control problem for fully coupled forward-backward stochastic systems. The control variable enters the diffusion term of the state equation and the control domain is not necessarily convex. A new global maximum principle is obtained without assuming that the value function is smooth. The maximum condition, the first- and second-order ad…
▽ More
This paper is concerned with a kind of risk-sensitive optimal control problem for fully coupled forward-backward stochastic systems. The control variable enters the diffusion term of the state equation and the control domain is not necessarily convex. A new global maximum principle is obtained without assuming that the value function is smooth. The maximum condition, the first- and second-order adjoint equations heavily depend on the risk-sensitive parameter. An optimal control problem with a fully coupled linear forward-backward stochastic system and an exponential-quadratic cost functional is discussed. The optimal feedback control and optimal cost are obtained by using Girsanov's theorem and completion-of-squares approach via risk-sensitive Riccati equations. A local solvability result of coupled risk-sensitive Riccati equations is given by Picard-Lindel$\ddot{o}$f's Theorem.
△ Less
Submitted 8 April, 2023;
originally announced April 2023.
-
Tracial embeddable strategies: Lifting MIP* tricks to MIPco
Authors:
Junqiao Lin
Abstract:
We prove that any two-party correlation in the commuting operator model can be approximated using a tracial embeddable strategy, a class of strategy defined on a finite tracial von Neumann algebra, which we define in this paper. Using this characterization, we show that any approximately synchronous correlation can be approximated to the average of a collection of synchronous correlations in the c…
▽ More
We prove that any two-party correlation in the commuting operator model can be approximated using a tracial embeddable strategy, a class of strategy defined on a finite tracial von Neumann algebra, which we define in this paper. Using this characterization, we show that any approximately synchronous correlation can be approximated to the average of a collection of synchronous correlations in the commuting operator model. This generalizes the result from Vidick [JMP 2022] which only applies to finite-dimensional quantum correlations. As a corollary, we show that the quantum tensor code test from Ji et al. [FOCS 2022] follows the soundness property even under the general commuting operator model.
Furthermore, we extend the state-dependent norm variant of the Gowers-Hatami theorem to finite von Neumann algebras. Combined with the aforementioned characterization, this enables us to lift many known results about robust self-testing for non-local games to the commuting operator model, including a sample efficient finite-dimensional EPR testing for the commuting operator strategies. We believe that, in addition to the contribution from this paper, this class of strategies can be helpful for further understanding non-local games in the infinite-dimensional setting.
△ Less
Submitted 9 January, 2024; v1 submitted 4 April, 2023;
originally announced April 2023.
-
Quantum Borcherds-Bozec algebras via semi-derived Ringel-Hall algebras II: braid group actions
Authors:
Ji Lin,
Ming Lu,
Shiquan Ruan
Abstract:
Based on the realization of quantum Borcherds-Bozec algebra $\widetilde{\mathbf{U}}$ and quantum generalized Kac-Moody algebra ${}^B\widetilde{\mathbf{U}}$ via semi-derived Ringel-Hall algebra of a quiver with loops, we deduce the braid group actions of $\widetilde{\mathbf{U}}$ introduced by Fan and Tong recently and establish braid group actions for ${}^B\widetilde{\mathbf{U}}$ by applying the BG…
▽ More
Based on the realization of quantum Borcherds-Bozec algebra $\widetilde{\mathbf{U}}$ and quantum generalized Kac-Moody algebra ${}^B\widetilde{\mathbf{U}}$ via semi-derived Ringel-Hall algebra of a quiver with loops, we deduce the braid group actions of $\widetilde{\mathbf{U}}$ introduced by Fan and Tong recently and establish braid group actions for ${}^B\widetilde{\mathbf{U}}$ by applying the BGP reflection functors to semi-derived Ringel-Hall algebras.
△ Less
Submitted 23 March, 2023; v1 submitted 9 February, 2023;
originally announced February 2023.
-
The liberation set in the inverse eigenvalue problem of a graph
Authors:
Jephian C. -H. Lin,
Polona Oblak,
Helena Šmigoc
Abstract:
The inverse eigenvalue problem of a graph $G$ is the problem of characterizing all lists of eigenvalues of real symmetric matrices whose off-diagonal pattern is prescribed by the adjacencies of $G$. The strong spectral property is a powerful tool in this problem, which identifies matrices whose entries can be perturbed while controlling the pattern and preserving the eigenvalues. The Matrix Libera…
▽ More
The inverse eigenvalue problem of a graph $G$ is the problem of characterizing all lists of eigenvalues of real symmetric matrices whose off-diagonal pattern is prescribed by the adjacencies of $G$. The strong spectral property is a powerful tool in this problem, which identifies matrices whose entries can be perturbed while controlling the pattern and preserving the eigenvalues. The Matrix Liberation Lemma introduced by Barrett et al.~in 2020 advances the notion to a more general setting. In this paper we revisit the Matrix Liberation Lemma and prove an equivalent statement, that reduces some of the technical difficulties in applying the result.
We test our method on matrices of the form $M=A \oplus B$ and show how this new approach supplements the results that can be obtained from the strong spectral property only. While extending this notion to the direct sums of graphs, we discover a surprising connection with the zero forcing game on Cartesian products of graphs.
Throughout the paper we apply our results to resolve a selection of open cases for the inverse eigenvalue problem of a graph on six vertices.
△ Less
Submitted 6 June, 2023; v1 submitted 3 February, 2023;
originally announced February 2023.
-
Extended Load Flexibility of Utility-Scale P2H Plants: Optimal Production Scheduling Considering Dynamic Thermal and HTO Impurity Effects
Authors:
Yiwei Qiu,
Buxiang Zhou,
Tianlei Zang,
Yi Zhou,
Shi Chen,
Ruomei Qi,
Jiarong Li,
** Lin
Abstract:
In the conversion toward a clear and sustainable energy system, the flexibility of power-to-hydrogen (P2H) production enables the admittance of volatile renewable energies on a utility scale and provides the connected electrical power system with ancillary services. To extend the load flexibility and thus improve the profitability of green hydrogen production, this paper presents an optimal produc…
▽ More
In the conversion toward a clear and sustainable energy system, the flexibility of power-to-hydrogen (P2H) production enables the admittance of volatile renewable energies on a utility scale and provides the connected electrical power system with ancillary services. To extend the load flexibility and thus improve the profitability of green hydrogen production, this paper presents an optimal production scheduling approach for utility-scale P2H plants composed of multiple alkaline electrolyzers. Unlike existing works, this work discards the conservative constant steady-state constraints and first leverages the dynamic thermal and hydrogen-to-oxygen (HTO) impurity crossover processes of electrolyzers. Doing this optimizes their effects on the loading range and energy conversion efficiency, therefore improving the load flexibility of P2H production. The proposed multiphysics-aware scheduling model is formulated as mixed-integer linear programming (MILP). It coordinates the electrolyzers' operation state transitions and load allocation subject to comprehensive thermodynamic and mass transfer constraints. A decomposition-based solution method, SDM-GS-ALM, is followingly adopted to address the scalability issue for scheduling large-scale P2H plants composed of tens of electrolyzers. With an experiment-verified dynamic electrolyzer model, case studies up to 22 electrolyzers show that the proposed method remarkably improves the hydrogen output and profit of P2H production powered by either solar or wind energy compared to the existing scheduling approach.
△ Less
Submitted 28 January, 2023;
originally announced January 2023.
-
The central limit theorem via doubling of variables
Authors:
Louigi Addario-Berry,
Gavin Barill,
Erin Beckman,
Jessica Lin
Abstract:
We give a new, self-contained proof of the multidimensional central limit theorem using the technique of ``doubling variables," which is traditionally used to prove uniqueness of solutions of partial differential equations (PDEs). Our technique also yields quantitative bounds for random variables with finite $2+γ$ moment for some $γ\in (0,1]$; when $γ=1$, this proves a version of the Berry--Esseen…
▽ More
We give a new, self-contained proof of the multidimensional central limit theorem using the technique of ``doubling variables," which is traditionally used to prove uniqueness of solutions of partial differential equations (PDEs). Our technique also yields quantitative bounds for random variables with finite $2+γ$ moment for some $γ\in (0,1]$; when $γ=1$, this proves a version of the Berry--Esseen theorem in $\mathbb{R}^d$.
△ Less
Submitted 22 December, 2022;
originally announced December 2022.
-
Green function and invariant measure estimates for nondivergence form elliptic homogenization
Authors:
Scott Armstrong,
Benjamin Fehrman,
Jessica Lin
Abstract:
We prove quantitative estimates on the the parabolic Green function and the stationary invariant measure in the context of stochasic homogenization of elliptic equations in nondivergence form. We consequently obtain a quenched, local CLT for the corresponding diffusion process and a quantitative ergodicity estimate for the environmental process. Each of these results are characterized by determini…
▽ More
We prove quantitative estimates on the the parabolic Green function and the stationary invariant measure in the context of stochasic homogenization of elliptic equations in nondivergence form. We consequently obtain a quenched, local CLT for the corresponding diffusion process and a quantitative ergodicity estimate for the environmental process. Each of these results are characterized by deterministic (in terms of the environment) estimates which are valid above a random, ``minimal'' length scale, the stochastic moments of which we estimate sharply.
△ Less
Submitted 23 November, 2022;
originally announced November 2022.
-
Homological instability for moduli spaces of smooth 4-manifolds
Authors:
Hokuto Konno,
Jianfeng Lin
Abstract:
We prove that homological stability fails for the moduli space of any simply-connected closed smooth 4-manifold in any degree of homology, unlike what happens in all dimensions $\neq 4$. We detect also the homological discrepancy between various moduli spaces, such as topological and smooth moduli spaces of 4-manifolds, and moduli spaces of 4-manifolds with positive scalar curvature metrics. To pr…
▽ More
We prove that homological stability fails for the moduli space of any simply-connected closed smooth 4-manifold in any degree of homology, unlike what happens in all dimensions $\neq 4$. We detect also the homological discrepancy between various moduli spaces, such as topological and smooth moduli spaces of 4-manifolds, and moduli spaces of 4-manifolds with positive scalar curvature metrics. To prove these results, we use the Seiberg-Witten equations to construct a new characteristic class of families of 4-manifolds, which is unstable and detects the difference between the smooth and topological categories in dimension 4.
△ Less
Submitted 24 October, 2023; v1 submitted 6 November, 2022;
originally announced November 2022.
-
Strong cocomparability graphs and Slash-free orderings of matrices
Authors:
Pavol Hell,
**g Huang,
Jephian C. -H. Lin
Abstract:
We introduce the class of strong cocomparability graphs, as the class of reflexive graphs whose adjacency matrix can be rearranged by a simultaneous row and column permutation to avoid the submatrix with rows 01, 10, which we call Slash.
We provide an ordering characterization, a forbidden structure characterization, and a polynomial-time recognition algorithm, for the class. These results compl…
▽ More
We introduce the class of strong cocomparability graphs, as the class of reflexive graphs whose adjacency matrix can be rearranged by a simultaneous row and column permutation to avoid the submatrix with rows 01, 10, which we call Slash.
We provide an ordering characterization, a forbidden structure characterization, and a polynomial-time recognition algorithm, for the class. These results complete the picture in which in addition to, or instead of, the Slash matrix one forbids the Gamma matrix (which has rows 11, 10). It is well known that in these two cases one obtains the class of interval graphs, and the class of strongly chordal graphs, respectively.
By complementation, we obtain the class of strong comparability graphs, whose adjacency matrix can be rearranged by a simultaneous row and column permutation to avoid the two-by-two identity submatrix. Thus our results give characterizations and algorithms for this class of irreflexive graphs as well. In other words, our results may be interpreted as solving the following problem: given a symmetric 0,1-matrix with 0-diagonal, can the rows and columns of be simultaneously permuted to avoid the two-by-two identity submatrix?
△ Less
Submitted 29 October, 2022;
originally announced October 2022.
-
Integrable Harmonic Higgs Bundles With Vanishing $\mathcal{U}$ And Eigenvalues of $\mathcal{Q}$
Authors:
Jiezhu Lin,
Xuanming Ye
Abstract:
We study the tt*-geometry with vanishing endormorphism $\mathcal{U}$. Given an integrable harmonic Higgs bundle $(E, h, Φ, \mathcal{U},\mathcal{Q})$ on a complex manifold $M$, Firstly we prove that, under the \emph{IS} condition, vanishing $\mathcal{U}$ implies vanishing Higgs field $Φ$ and the Chern connection of the Hermitian Einstein metric $h$ is a holomorphic connection, so the metric $h$ and…
▽ More
We study the tt*-geometry with vanishing endormorphism $\mathcal{U}$. Given an integrable harmonic Higgs bundle $(E, h, Φ, \mathcal{U},\mathcal{Q})$ on a complex manifold $M$, Firstly we prove that, under the \emph{IS} condition, vanishing $\mathcal{U}$ implies vanishing Higgs field $Φ$ and the Chern connection of the Hermitian Einstein metric $h$ is a holomorphic connection, so the metric $h$ and $\mathcal{Q}$ are invariant. Secondly, without the \emph{IS} condition, we show that vanishing $\mathcal{U}$ will imply vanishing Higgs field $Φ$ if we assume that the Chern connection of $h$ is a holomorphic connection. Finally, we add real structure $κ$. Given any \emph{CV}-structure, we prove that super-symmetric operator $\mathcal{Q}$ must have $0$ as an eigenvalue when the underlying bundle has odd rank.
△ Less
Submitted 17 September, 2022;
originally announced September 2022.
-
The Family Seiberg-Witten Invariant and nonsymplectic loops of diffeomorphisms
Authors:
Jianfeng Lin
Abstract:
By extending a result of Kronheimer-Mrowka to the family setting, we prove a gluing formula for the family Seiberg-Witten invariant. This formula allows one to compute the invariant for a smooth family of 4-manifolds by cutting it open along a product family of 3-manifolds and studying the induced maps on monopole Floer (co)homology. When the cutting 3-manifold is an L-space, this formula implies…
▽ More
By extending a result of Kronheimer-Mrowka to the family setting, we prove a gluing formula for the family Seiberg-Witten invariant. This formula allows one to compute the invariant for a smooth family of 4-manifolds by cutting it open along a product family of 3-manifolds and studying the induced maps on monopole Floer (co)homology. When the cutting 3-manifold is an L-space, this formula implies a relation between the family Seiberg-Witten invariant, the Seiberg-Witten invariant of the fiber and the index of the family Dirac operator. We use this relation to calculate the Seiberg-Witten invariant of families of 4-manifolds that arise when resolving an ADE singularity using a hyperkähler family of complex structures near the singularity. Several applications are obtained. First, we establish a large family of simply-connected 4-manifolds $M$ (e.g. all elliptic surfaces) such that $π_{1}(\textrm{Diff}(M))$ has a $\mathbb{Z}^{\infty}$-summand . For such $M$, the product $S^{2}\times M$ smoothly fibers over $S^{2}$ with fiber $M$ in infinitely many distinct ways. Second, we show that on any closed symplectic 4-manifold that contains a smoothly embedded sphere of self-intersection $-1$ or $-2$, there is a loop of diffeomorphisms that is not homotopic to a loop of symplectormorphisms. This generalizes a previous result by Smirnov and confirms a conjecture by McDuff in dimension 4. It also provides many new examples of 4-manifolds whose space of symplectic forms has a nontrivial fundamental group or first homology group.
△ Less
Submitted 25 August, 2022;
originally announced August 2022.
-
Rowmotion on $m$-Tamari and BiCambrian Lattices
Authors:
Colin Defant,
James Lin
Abstract:
Thomas and Williams conjectured that rowmotion acting on the rational $(a,b)$-Tamari lattice has order $a+b-1$. We construct an equivariant bijection that proves this conjecture when $b\equiv 1\pmod a$; in fact, we determine the entire orbit structure of rowmotion in this case, showing that it exhibits the cyclic sieving phenomenon. We additionally show that the down-degree statistic is homomesic…
▽ More
Thomas and Williams conjectured that rowmotion acting on the rational $(a,b)$-Tamari lattice has order $a+b-1$. We construct an equivariant bijection that proves this conjecture when $b\equiv 1\pmod a$; in fact, we determine the entire orbit structure of rowmotion in this case, showing that it exhibits the cyclic sieving phenomenon. We additionally show that the down-degree statistic is homomesic for this action. In a different vein, we consider the action of rowmotion on Barnard and Reading's biCambrian lattices. Settling a different conjecture of Thomas and Williams, we prove that if $c$ is a bipartite Coxeter element of a coincidental-type Coxeter group $W$, then the orbit structure of rowmotion on the $c$-biCambrian lattice is the same as the orbit structure of rowmotion on the lattice of order ideals of the doubled root poset of type $W$.
△ Less
Submitted 4 March, 2024; v1 submitted 22 August, 2022;
originally announced August 2022.
-
Composite Expectile Regression with Gene-environment Interaction
Authors:
**ghang Lin,
Yuan Huang,
Shuangge Ma
Abstract:
If error distribution has heteroscedasticity, it voliates the assumption of linear regression. Expectile regression is a powerful tool for estimating the conditional expectiles of a response variable in this setting. Since multiple levels of expectile regression modelhas been well studied, we propose composite expectile regression by combining different levels of expectile regression to improve th…
▽ More
If error distribution has heteroscedasticity, it voliates the assumption of linear regression. Expectile regression is a powerful tool for estimating the conditional expectiles of a response variable in this setting. Since multiple levels of expectile regression modelhas been well studied, we propose composite expectile regression by combining different levels of expectile regression to improve the efficacy. In this paper, we study the sparse composite expectile regression under high dimensional setting. It is realized by implementing a coordinate descent algorithm. We also prove its selection and estimation consistency. Simulations are conducted to demonstrate its performance, which is comparable to or better than the alternatives. We apply the proposed method to analyze Lung adenocarcinoma(LUAD) real data set, investigating the G-E interaction.
△ Less
Submitted 2 July, 2022;
originally announced August 2022.
-
Solving Graph Laplacians via Multilevel Sparsifiers
Authors:
Xiaozhe Hu,
Junyuan Lin
Abstract:
We consider effective preconditioners for solving Laplacians of general weighted graphs. Theoretically, spectral sparsifiers (SSs) provide preconditioners of optimal computational complexity. However, they are not easy to use for real-world applications due to the implementation complications. Multigrid (MG) methods, on the contrary, are computationally efficient but lack of theoretical justificat…
▽ More
We consider effective preconditioners for solving Laplacians of general weighted graphs. Theoretically, spectral sparsifiers (SSs) provide preconditioners of optimal computational complexity. However, they are not easy to use for real-world applications due to the implementation complications. Multigrid (MG) methods, on the contrary, are computationally efficient but lack of theoretical justifications. To bridge the gap between theory and practice, we adopt ideas of MG and SS methods and proposed preconditioners that can be used in practice with theoretical guarantees. We expand the original graph based on a multilevel structure to obtain an equivalent expanded graph. Although the expanded graph has a low diameter, a favorable property for constructing SSs, it has negatively weighted edges, which is an unfavorable property for the SSs. We design an algorithm to properly eliminate the negatively weighted edges and prove that the resulting expanded graph with positively weighted edges is spectrally equivalent to the expanded graph, thus, the original graph. Due to the low-diameter property of the positively-weighted expanded graph preconditioner (PEGP), existing algorithms for finding SSs can be easily applied. To demonstrate the advantage of working with the PEGP, we propose a type of SS, multilevel sparsifier preconditioner (MSP), that can be constructed in an easy and deterministic manner. We provide some preliminary numerical experiments to verify our theoretical findings and illustrate the practical effectiveness of PEGP and MSP in real-world applications.
△ Less
Submitted 29 August, 2022; v1 submitted 16 July, 2022;
originally announced July 2022.
-
Complementary Vanishing Graphs
Authors:
Craig Erickson,
Luyining Gan,
Jürgen Kritschgau,
Jephian C. -H. Lin,
Sam Spiro
Abstract:
Given a graph $G$ with vertices $\{v_1,\ldots,v_n\}$, we define $\mathcal{S}(G)$ to be the set of symmetric matrices $A=[a_{i,j}]$ such that for $i\ne j$ we have $a_{i,j}\ne 0$ if and only if $v_iv_j\in E(G)$. Motivated by the Graph Complement Conjecture, we say that a graph $G$ is complementary vanishing if there exist matrices $A \in \mathcal{S}(G)$ and $B \in \mathcal{S}(\overline{G})$ such tha…
▽ More
Given a graph $G$ with vertices $\{v_1,\ldots,v_n\}$, we define $\mathcal{S}(G)$ to be the set of symmetric matrices $A=[a_{i,j}]$ such that for $i\ne j$ we have $a_{i,j}\ne 0$ if and only if $v_iv_j\in E(G)$. Motivated by the Graph Complement Conjecture, we say that a graph $G$ is complementary vanishing if there exist matrices $A \in \mathcal{S}(G)$ and $B \in \mathcal{S}(\overline{G})$ such that $AB=O$. We provide combinatorial conditions for when a graph is or is not complementary vanishing, and we characterize which graphs are complementary vanishing in terms of certain minimal complementary vanishing graphs. In addition to this, we determine which graphs on at most $8$ vertices are complementary vanishing.
△ Less
Submitted 15 July, 2022;
originally announced July 2022.
-
Reinforcement Learning for Intra-and-Inter-Bank Borrowing and Lending Mean Field Control Game
Authors:
Andrea Angiuli,
Nils Detering,
Jean-Pierre Fouque,
Mathieu Laurière,
Jimin Lin
Abstract:
We propose a mean field control game model for the intra-and-inter-bank borrowing and lending problem. This framework allows to study the competitive game arising between groups of collaborative banks. The solution is provided in terms of an asymptotic Nash equilibrium between the groups in the infinite horizon. A three-timescale reinforcement learning algorithm is applied to learn the optimal bor…
▽ More
We propose a mean field control game model for the intra-and-inter-bank borrowing and lending problem. This framework allows to study the competitive game arising between groups of collaborative banks. The solution is provided in terms of an asymptotic Nash equilibrium between the groups in the infinite horizon. A three-timescale reinforcement learning algorithm is applied to learn the optimal borrowing and lending strategy in a data driven way when the model is unknown. An empirical numerical analysis shows the importance of the three-timescale, the impact of the exploration strategy when the model is unknown, and the convergence of the algorithm.
△ Less
Submitted 7 July, 2022;
originally announced July 2022.
-
Dirac points for the honeycomb lattice with impenetrable obstacles
Authors:
Wei Li,
Junshan Lin,
Hai Zhang
Abstract:
This work is concerned with the Dirac points for the honeycomb lattice with impenetrable obstacles arranged periodically in a homogeneous medium. We consider both the Dirichlet and Neumann eigenvalue problems and prove the existence of Dirac points for both eigenvalue problems at crossing of the lower band surfaces as well as higher band surfaces. Furthermore, we perform quantitative analysis for…
▽ More
This work is concerned with the Dirac points for the honeycomb lattice with impenetrable obstacles arranged periodically in a homogeneous medium. We consider both the Dirichlet and Neumann eigenvalue problems and prove the existence of Dirac points for both eigenvalue problems at crossing of the lower band surfaces as well as higher band surfaces. Furthermore, we perform quantitative analysis for the eigenvalues and the slopes of two conical dispersion surfaces near each Dirac point based on a combination of the layer potential technique and asymptotic analysis. It is shown that the eigenvalues are in the neighborhood of the singular frequencies associated with the Green's function for the honeycomb lattice, and the slopes of the dispersion surfaces are reciprocal to the eigenvalues.
△ Less
Submitted 24 June, 2022;
originally announced June 2022.
-
Percolation in Random Graphs of Unbounded Rank
Authors:
Nils Detering,
Jimin Lin
Abstract:
Bootstrap percolation in (random) graphs is a contagion dynamics among a set of vertices with certain threshold levels. The process is started by a set of initially infected vertices, and an initially uninfected vertex with threshold $k$ gets infected as soon as the number of its infected neighbors exceeds $k$. This process has been studied extensively in so called \textit{rank one} models. These…
▽ More
Bootstrap percolation in (random) graphs is a contagion dynamics among a set of vertices with certain threshold levels. The process is started by a set of initially infected vertices, and an initially uninfected vertex with threshold $k$ gets infected as soon as the number of its infected neighbors exceeds $k$. This process has been studied extensively in so called \textit{rank one} models. These models can generate random graphs with heavy-tailed degree sequences but they are not capable of clustering. In this paper, we treat a class of random graphs of unbounded rank which allow for extensive clustering. Our main result determines the final fraction of infected vertices as the fixed point of a non-linear operator defined on a suitable function space. We propose an algorithm that facilitates neural networks to calculate this fixed point efficiently. We further derive criteria based on the Fréchet derivative of the operator that allows one to determine whether small infections spread through the entire graph or rather stay local.
△ Less
Submitted 2 November, 2022; v1 submitted 29 May, 2022;
originally announced May 2022.
-
Reinforcement Learning Algorithm for Mixed Mean Field Control Games
Authors:
Andrea Angiuli,
Nils Detering,
Jean-Pierre Fouque,
Mathieu Lauriere,
Jimin Lin
Abstract:
We present a new combined \textit{mean field control game} (MFCG) problem which can be interpreted as a competitive game between collaborating groups and its solution as a Nash equilibrium between groups. Players coordinate their strategies within each group. An example is a modification of the classical trader's problem. Groups of traders maximize their wealth. They face cost for their transactio…
▽ More
We present a new combined \textit{mean field control game} (MFCG) problem which can be interpreted as a competitive game between collaborating groups and its solution as a Nash equilibrium between groups. Players coordinate their strategies within each group. An example is a modification of the classical trader's problem. Groups of traders maximize their wealth. They face cost for their transactions, for their own terminal positions, and for the average holding within their group. The asset price is impacted by the trades of all agents. We propose a three-timescale reinforcement learning algorithm to approximate the solution of such MFCG problems. We test the algorithm on benchmark linear-quadratic specifications for which we provide analytic solutions.
△ Less
Submitted 15 February, 2023; v1 submitted 4 May, 2022;
originally announced May 2022.
-
The Geometry and Combinatorics of Some Hessenberg Varieties Related to the Permutohedral Variety
Authors:
Jan-Li Lin
Abstract:
We construct a concrete isomorphism from the permutohedral variety to the regular semisimple Hessenberg variety associated to the Hessenberg function $h_+(i)=i+1$, $1\le i\le n-1$. In the process of defining the isomorphism, we introduce a sequence of varieties which we call the prepermutohedral varieties. We first determine the toric structure of these varieties and compute the Euler characterist…
▽ More
We construct a concrete isomorphism from the permutohedral variety to the regular semisimple Hessenberg variety associated to the Hessenberg function $h_+(i)=i+1$, $1\le i\le n-1$. In the process of defining the isomorphism, we introduce a sequence of varieties which we call the prepermutohedral varieties. We first determine the toric structure of these varieties and compute the Euler characteristics and the Betti numbers using the theory of toric varieties. Then, we describe the cohomology of these varieties. We also find a natural way to encode the one-dimensional components of the cohomology using the codes defined by Stembridge. Applying the isomorphisms we constructed, we are also able to describe the geometric structure of regular semisimple Hessenberg varieties associated to the Hessenberg function represented by $h_k= (2,3, \cdots, k+1, n,\cdots,n)$, $1\le k\le n-3$. In particular, we are able to write down the cohomology ring of the variety. Finally, we determine the dot representation of the permutation group ${\frak S}_n$ on these Hessenberg varieties.
△ Less
Submitted 11 October, 2022; v1 submitted 28 April, 2022;
originally announced April 2022.
-
Symmetric cooperative motion in one dimension
Authors:
Louigi Addario-Berry,
Erin Beckman,
Jessica Lin
Abstract:
We explore the relationship between recursive distributional equations and convergence results for finite difference schemes of parabolic partial differential equations (PDEs). We focus on a family of random processes called symmetric cooperative motions, which generalize the symmetric simple random walk and the symmetric hipster random walk introduced in [Addario-Berry, Cairns, Devroye, Kerriou a…
▽ More
We explore the relationship between recursive distributional equations and convergence results for finite difference schemes of parabolic partial differential equations (PDEs). We focus on a family of random processes called symmetric cooperative motions, which generalize the symmetric simple random walk and the symmetric hipster random walk introduced in [Addario-Berry, Cairns, Devroye, Kerriou and Mitchell, arXiv:1909.07367]. We obtain a distributional convergence result for symmetric cooperative motions and, along the way, obtain a novel proof of the Bernoulli central limit theorem. In addition, we prove a PDE result relating distributional solutions and viscosity solutions of the porous medium equation and the parabolic $p$-Laplace equation, respectively, in one dimension.
△ Less
Submitted 7 April, 2022;
originally announced April 2022.
-
Preference Exploration for Efficient Bayesian Optimization with Multiple Outcomes
Authors:
Zhiyuan Jerry Lin,
Raul Astudillo,
Peter I. Frazier,
Eytan Bakshy
Abstract:
We consider Bayesian optimization of expensive-to-evaluate experiments that generate vector-valued outcomes over which a decision-maker (DM) has preferences. These preferences are encoded by a utility function that is not known in closed form but can be estimated by asking the DM to express preferences over pairs of outcome vectors. To address this problem, we develop Bayesian optimization with pr…
▽ More
We consider Bayesian optimization of expensive-to-evaluate experiments that generate vector-valued outcomes over which a decision-maker (DM) has preferences. These preferences are encoded by a utility function that is not known in closed form but can be estimated by asking the DM to express preferences over pairs of outcome vectors. To address this problem, we develop Bayesian optimization with preference exploration, a novel framework that alternates between interactive real-time preference learning with the DM via pairwise comparisons between outcomes, and Bayesian optimization with a learned compositional model of DM utility and outcomes. Within this framework, we propose preference exploration strategies specifically designed for this task, and demonstrate their performance via extensive simulation studies.
△ Less
Submitted 21 March, 2022;
originally announced March 2022.