-
Randomized Large-Scale Quaternion Matrix Approximation: Practical Rangefinders and One-Pass Algorithm
Authors:
Chao Chang,
Yuning Yang
Abstract:
Recently, randomized algorithms for low-rank approximation of quaternion matrices have received increasing attention. However, for large-scale problems, existing quaternion orthonormalizations are inefficient, leading to slow rangefinders. To address this, by appropriately leveraging efficient scientific computing libraries in the complex arithmetic, this work devises two practical quaternion rang…
▽ More
Recently, randomized algorithms for low-rank approximation of quaternion matrices have received increasing attention. However, for large-scale problems, existing quaternion orthonormalizations are inefficient, leading to slow rangefinders. To address this, by appropriately leveraging efficient scientific computing libraries in the complex arithmetic, this work devises two practical quaternion rangefinders, one of which is non-orthonormal yet well-conditioned. They are then integrated into the quaternion version of a one-pass algorithm, which originally takes orthonormal rangefinders only. We establish the error bounds and demonstrate that the error is proportional to the condition number of the rangefinder. The probabilistic bounds are exhibited for both quaternion Gaussian and sub-Gaussian embeddings. Numerical experiments demonstrate that the one-pass algorithm with the proposed rangefinders significantly outperforms previous techniques in efficiency. Additionally, we tested the algorithm in a 3D Navier-Stokes equation ($5.22$GB) and a 4D Lorenz-type chaotic system ($5.74$GB) data compression, as well as a $31365\times 27125$ image compression to demonstrate its capability for handling large-scale applications.
△ Less
Submitted 18 June, 2024; v1 submitted 23 April, 2024;
originally announced April 2024.
-
Hybrid Statistics of a Random Model of Zeta over Intervals of Varying Length
Authors:
Christine Chang
Abstract:
Arguin, Dubach & Hartung recently conjectured that an intermediate regime exists between IID and log-correlated statistics for extreme values of a random model of the Riemann zeta function. For the same model, we prove a matching upper and lower tail for the distribution of its maximum. This tail interpolates between that of the two aforementioned regimes. We apply the result to yield a new sharp…
▽ More
Arguin, Dubach & Hartung recently conjectured that an intermediate regime exists between IID and log-correlated statistics for extreme values of a random model of the Riemann zeta function. For the same model, we prove a matching upper and lower tail for the distribution of its maximum. This tail interpolates between that of the two aforementioned regimes. We apply the result to yield a new sharp estimate on moments over short intervals, generalizing a result by Harper. In particular, we observe a hybrid regime for moments with a distinctive transition to the IID regime for intervals of length larger than $\exp(\sqrt{\log \log T})$.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
Border subrank via a generalised Hilbert-Mumford criterion
Authors:
Benjamin Biaggi,
Chia-Yu Chang,
Jan Draisma,
Filip Rupniewski
Abstract:
We show that the border subrank of a sufficiently general tensor in $(\mathbb{C}^n)^{\otimes d}$ is $\mathcal{O}(n^{1/(d-1)})$ for $n \to \infty$. Since this matches the growth rate $Θ(n^{1/(d-1)})$ for the generic (non-border) subrank recently established by Derksen-Makam-Zuiddam, we find that the generic border subrank has the same growth rate. In our proof, we use a generalisation of the Hilber…
▽ More
We show that the border subrank of a sufficiently general tensor in $(\mathbb{C}^n)^{\otimes d}$ is $\mathcal{O}(n^{1/(d-1)})$ for $n \to \infty$. Since this matches the growth rate $Θ(n^{1/(d-1)})$ for the generic (non-border) subrank recently established by Derksen-Makam-Zuiddam, we find that the generic border subrank has the same growth rate. In our proof, we use a generalisation of the Hilbert-Mumford criterion that we believe will be of independent interest.
△ Less
Submitted 16 February, 2024;
originally announced February 2024.
-
Gradient-flow adaptive importance sampling for Bayesian leave one out cross-validation for sigmoidal classification models
Authors:
Joshua C Chang,
Xiangting Li,
Shixin Xu,
Hao-Ren Yao,
Julia Porcino,
Carson Chow
Abstract:
We introduce a set of gradient-flow-guided adaptive importance sampling (IS) transformations to stabilize Monte-Carlo approximations of point-wise leave one out cross-validated (LOO) predictions for Bayesian classification models. One can leverage this methodology for assessing model generalizability by for instance computing a LOO analogue to the AIC or computing LOO ROC/PRC curves and derived me…
▽ More
We introduce a set of gradient-flow-guided adaptive importance sampling (IS) transformations to stabilize Monte-Carlo approximations of point-wise leave one out cross-validated (LOO) predictions for Bayesian classification models. One can leverage this methodology for assessing model generalizability by for instance computing a LOO analogue to the AIC or computing LOO ROC/PRC curves and derived metrics like the AUROC and AUPRC. By the calculus of variations and gradient flow, we derive two simple nonlinear single-step transformations that utilize gradient information to shift a model's pre-trained full-data posterior closer to the target LOO posterior predictive distributions. In doing so, the transformations stabilize importance weights. Because the transformations involve the gradient of the likelihood function, the resulting Monte Carlo integral depends on Jacobian determinants with respect to the model Hessian. We derive closed-form exact formulae for these Jacobian determinants in the cases of logistic regression and shallow ReLU-activated artificial neural networks, and provide a simple approximation that sidesteps the need to compute full Hessian matrices and their spectra. We test the methodology on an $n\ll p$ dataset that is known to produce unstable LOO IS weights.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
The Metaplectic Representation is Faithful
Authors:
Christopher Chang,
Simeon Hellsten,
Mario Marcos Losada,
Sergiu Novac
Abstract:
We develop methods to show that infinite-dimensional modules over the Iwasawa algebra $KG$ of a uniform pro-p group are faithful and apply them to show that the metaplectic representation for the symplectic group is faithful.
We develop methods to show that infinite-dimensional modules over the Iwasawa algebra $KG$ of a uniform pro-p group are faithful and apply them to show that the metaplectic representation for the symplectic group is faithful.
△ Less
Submitted 9 January, 2024;
originally announced January 2024.
-
A conservative hybrid physics-informed neural network method for Maxwell-Ampère-Nernst-Planck equations
Authors:
Cheng Chang,
Tieyong Zeng
Abstract:
Maxwell-Ampère-Nernst-Planck (MANP) equations were recently proposed to model the dynamics of charged particles. In this study, we enhance a numerical algorithm of this system with deep learning tools. The proposed hybrid algorithm provides an automated means to determine a proper approximation for the dummy variables, which can otherwise only be obtained through massive numerical tests. In additi…
▽ More
Maxwell-Ampère-Nernst-Planck (MANP) equations were recently proposed to model the dynamics of charged particles. In this study, we enhance a numerical algorithm of this system with deep learning tools. The proposed hybrid algorithm provides an automated means to determine a proper approximation for the dummy variables, which can otherwise only be obtained through massive numerical tests. In addition, the original method is validated for 2-dimensional problems. However, when the spatial dimension is one, the original curl-free relaxation component is inapplicable, and the approximation formula for dummy variables, which works well in a 2-dimensional scenario, fails to provide a reasonable output in the 1-dimensional case. The proposed method can be readily generalised to cases with one spatial dimension. Experiments show numerical stability and good convergence to the steady-state solution obtained from Poisson-Boltzmann type equations in the 1-dimensional case. The experiments conducted in the 2-dimensional case indicate that the proposed method preserves the conservation properties.
△ Less
Submitted 10 December, 2023;
originally announced December 2023.
-
Generalized Nonvanishing Conjecture and Iitaka Conjecture
Authors:
Chi-Kang Chang
Abstract:
In this article, we will prove the Generalized Nonvanishing Conjecture holds for threefolds with either $κ>0$ or $q>0$. As a result, we can prove the Iitaka conjecture $C_{n,m}$ holds for $n=7$ if the source space has non-negative Kodaira dimension, if the general fibre has positive Kodaira dimension, or if the base space is not threefold with $κ=q=0$. In particular, $C^-_{n,m}$ holds if…
▽ More
In this article, we will prove the Generalized Nonvanishing Conjecture holds for threefolds with either $κ>0$ or $q>0$. As a result, we can prove the Iitaka conjecture $C_{n,m}$ holds for $n=7$ if the source space has non-negative Kodaira dimension, if the general fibre has positive Kodaira dimension, or if the base space is not threefold with $κ=q=0$. In particular, $C^-_{n,m}$ holds if $n\leq 7$.
△ Less
Submitted 25 March, 2024; v1 submitted 6 December, 2023;
originally announced December 2023.
-
Superadditivity of anticanonical Iitaka dimension for contractions with F-split fibres
Authors:
Marta Benozzo,
Iacopo Brivio,
Chi-Kang Chang
Abstract:
Given a fibration $f: X \to Y$ with general fibre $X_y$, over a field of positive characteristic, we establish the Iitaka-type inequality $κ(X,-K_X) \leq κ(X_y,-K_{X_y})+κ(Y,-K_Y)$ whenever $X_y$ has good F-singularities.
Given a fibration $f: X \to Y$ with general fibre $X_y$, over a field of positive characteristic, we establish the Iitaka-type inequality $κ(X,-K_X) \leq κ(X_y,-K_{X_y})+κ(Y,-K_Y)$ whenever $X_y$ has good F-singularities.
△ Less
Submitted 9 May, 2024; v1 submitted 28 September, 2023;
originally announced September 2023.
-
On toric foliations
Authors:
Chih-Wei Chang,
Yen-An Chen
Abstract:
In this paper, we provide toric descriptions for the various foliation singularities on toric varieties, especially for non-dicritical sigularities and F-dlt singularities. We then show the toric foliated minimal model program works by demonstrating non-dicritical singularities and F-dlt singularities are preserved, respectively.
In this paper, we provide toric descriptions for the various foliation singularities on toric varieties, especially for non-dicritical sigularities and F-dlt singularities. We then show the toric foliated minimal model program works by demonstrating non-dicritical singularities and F-dlt singularities are preserved, respectively.
△ Less
Submitted 20 September, 2023; v1 submitted 9 August, 2023;
originally announced August 2023.
-
A hybrid neural-network and MAC scheme for Stokes interface problems
Authors:
Che-Chia Chang,
Chen-Yang Dai,
Wei-Fan Hu,
Te-Sheng Lin,
Ming-Chih Lai
Abstract:
In this paper, we present a hybrid neural-network and MAC (Marker-And-Cell) scheme for solving Stokes equations with singular forces on an embedded interface in regular domains. As known, the solution variables (the pressure and velocity) exhibit non-smooth behaviors across the interface so extra discretization efforts must be paid near the interface in order to have small order of local truncatio…
▽ More
In this paper, we present a hybrid neural-network and MAC (Marker-And-Cell) scheme for solving Stokes equations with singular forces on an embedded interface in regular domains. As known, the solution variables (the pressure and velocity) exhibit non-smooth behaviors across the interface so extra discretization efforts must be paid near the interface in order to have small order of local truncation errors in finite difference schemes. The present hybrid approach avoids such additional difficulty. It combines the expressive power of neural networks with the convergence of finite difference schemes to ease the code implementation and to achieve good accuracy at the same time. The key idea is to decompose the solution into singular and regular parts. The neural network learning machinery incorporating the given jump conditions finds the singular part solution, while the standard MAC scheme is used to obtain the regular part solution with associated boundary conditions. The two- and three-dimensional numerical results show that the present hybrid method converges with second-order accuracy for the velocity and first-order accuracy for the pressure, and it is comparable with the traditional immersed interface method in literature.
△ Less
Submitted 3 April, 2024; v1 submitted 9 June, 2023;
originally announced June 2023.
-
Learning in Domain Randomization via Continuous Time Non-Stochastic Control
Authors:
**gwei Li,
**g Dong,
Can Chang,
Baoxiang Wang,
**gzhao Zhang
Abstract:
Domain randomization is a popular method for robustly training agents to adapt to diverse environments and real-world tasks. In this paper, we examine how to train an agent in domain randomization environments from a nonstochastic control perspective. We first theoretically study online control of continuous-time linear systems under nonstochastic noises. We present a novel two-level online algori…
▽ More
Domain randomization is a popular method for robustly training agents to adapt to diverse environments and real-world tasks. In this paper, we examine how to train an agent in domain randomization environments from a nonstochastic control perspective. We first theoretically study online control of continuous-time linear systems under nonstochastic noises. We present a novel two-level online algorithm, by integrating a higher-level learning strategy and a lower-level feedback control strategy. This method offers a practical solution, and for the first time achieves sublinear regret in continuous-time nonstochastic systems. Compared to standard online learning algorithms, our algorithm features a stack and skip procedure. By applying stack and skip to the SAC (Soft Actor-Critic) algorithm, we achieved improved results in multiple reinforcement learning tasks within domain randomization environments. Our work provides new insights into nonasymptotic analyses of controlling continuous-time systems. Further, our work justifies the importance of stacked and skipped in controller learning under nonstochastic environments.
△ Less
Submitted 14 December, 2023; v1 submitted 2 June, 2023;
originally announced June 2023.
-
Integer k-matching preclusion of graphs
Authors:
Caibing Chang,
Yan Liu
Abstract:
As a generalization of matching preclusion number of a graph, we provide the (strong) integer $k$-matching preclusion number, abbreviated as $MP^{k}$ number ($SMP^{k}$ number), which is the minimum number of edges (vertices and edges) whose deletion results in a graph that has neither perfect integer $k$-matching nor almost perfect integer $k$-matching. In this paper, we show that when $k$ is even…
▽ More
As a generalization of matching preclusion number of a graph, we provide the (strong) integer $k$-matching preclusion number, abbreviated as $MP^{k}$ number ($SMP^{k}$ number), which is the minimum number of edges (vertices and edges) whose deletion results in a graph that has neither perfect integer $k$-matching nor almost perfect integer $k$-matching. In this paper, we show that when $k$ is even, the ($SMP^{k}$) $MP^{k}$ number is equal to the (strong) fractional matching preclusion number. We obtain a necessary condition of graphs with an almost-perfect integer $k$-matching and a relational expression between the matching number and the integer $k$-matching number of bipartite graphs. Thus the $MP^{k}$ number and the $SMP^{k}$ number of complete graphs, bipartite graphs and arrangement graphs are obtained, respectively.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
A Privacy Preserving Distributed Model Identification Algorithm for Power Distribution Systems
Authors:
Chin-Yao Chang
Abstract:
Distributed control/optimization is a promising approach for network systems due to its advantages over centralized schemes, such as robustness, cost-effectiveness, and improved privacy. However, distributed methods can have drawbacks, such as slower convergence rates due to limited knowledge of the overall network model. Additionally, ensuring privacy in the communication of sensitive information…
▽ More
Distributed control/optimization is a promising approach for network systems due to its advantages over centralized schemes, such as robustness, cost-effectiveness, and improved privacy. However, distributed methods can have drawbacks, such as slower convergence rates due to limited knowledge of the overall network model. Additionally, ensuring privacy in the communication of sensitive information can pose implementation challenges. To address this issue, we propose a distributed model identification algorithm that enables each agent to identify the sub-model that characterizes the relationship between its local control and the overall system outputs. The proposed algorithm maintains the privacy of local agents by only communicating through dummy variables. We demonstrate the efficacy of our algorithm in the context of power distribution systems by applying it to the voltage regulation of a modified IEEE distribution system. The proposed algorithm is well-suited to the needs of power distribution controls and offers an effective solution to the challenges of distributed model identification in network systems.
△ Less
Submitted 6 April, 2023;
originally announced April 2023.
-
The Seshadri Constants of Tangent Sheaves on Toric Varieties
Authors:
Chih-Wei Chang
Abstract:
In this paper, we investigate the Seshadri constant $\varepsilon(X,T_X;p)$ of the tangent sheaf $T_X$ on a complete $\mathbb Q$-factorial toric variety $X$. We show that $\varepsilon(X,T_X;1)>0$ if and only if the following statement holds true: if $a_1v_1+\cdots +a_kv_k=0$ where $a_i$'s are positive real numbers and $v_i$'s are primitive generators of some rays in the fan $Δ$ that defines $X$, th…
▽ More
In this paper, we investigate the Seshadri constant $\varepsilon(X,T_X;p)$ of the tangent sheaf $T_X$ on a complete $\mathbb Q$-factorial toric variety $X$. We show that $\varepsilon(X,T_X;1)>0$ if and only if the following statement holds true: if $a_1v_1+\cdots +a_kv_k=0$ where $a_i$'s are positive real numbers and $v_i$'s are primitive generators of some rays in the fan $Δ$ that defines $X$, then $k\geq \dim X+1$. Based on the result, we show that a smooth projective toric variety $X$ with $\varepsilon(X,T_X;p)>0$ for some $p\in X$ is isomorphic to the projective space, confirming a special case of the conjecture proposed by M. Fulger and T. Murayama.
△ Less
Submitted 30 November, 2022;
originally announced November 2022.
-
Zero-Knowledge Proof-Based Approach for Verifying the Computational Integrity of Power Grid Controls
Authors:
Chin-Yao Chang,
Richard Macwan,
Sinnott Murphy
Abstract:
The control of future power grids is migrating from a centralized to a distributed/decentralized scheme to enable a massive penetration of distributed energy resources and bring extreme enhancements of autonomous operations in terms of grid resilience, security, and reliability. Most effort has been on the design of distributed/decentralized controllers; however, the guarantees of the proper execu…
▽ More
The control of future power grids is migrating from a centralized to a distributed/decentralized scheme to enable a massive penetration of distributed energy resources and bring extreme enhancements of autonomous operations in terms of grid resilience, security, and reliability. Most effort has been on the design of distributed/decentralized controllers; however, the guarantees of the proper execution of the controls are also essential but relatively less emphasized. A common assumption is that local controllers would fully follow the designated controller dynamics based on the data received from communication channels. Such an assumption could be risky because proper execution of the controller dynamics is then built on trust in secure communication and computation. On the other hand, it is impractical for a verifier to repeat all the computations involved in the controls to verify the computational integrity. In this work, we leverage a type of cryptography technology, known as zero-knowledge scalable transparent arguments of knowledge to verify the computational integrity of control algorithms, such that verifiers can check the computational integrity with much less computational burden. The method presented here converts the challenge of data integrity into a subset of computational integrity. In this proof-of-concept paper, our focus will be on projected linear dynamics that are commonly seen in distributed/decentralized power system controllers. In particular, we have derived polynomial conditions in the context of zk-STARKs for the projected linear dynamics.
△ Less
Submitted 12 November, 2022;
originally announced November 2022.
-
Theta functions and adiabatic curvature on an Abelian variety
Authors:
Ching-Hao Chang,
Jih-Hsin Cheng,
I-Hsun Tsai
Abstract:
For an ample line bundle $L$ on an Abelian variety $M$, we study the theta functions associated with the family of line bundles $L\otimes T$ on $M$ indexed by $T\in \text{Pic}^{0}(M)$. Combined with an appropriate differential geometric setting, this leads to an explicit curvature computation of the direct image bundle $E$ on $\text{Pic}^{0}(M)$, whose fiber $E_{T}$ is the vector space spanned by…
▽ More
For an ample line bundle $L$ on an Abelian variety $M$, we study the theta functions associated with the family of line bundles $L\otimes T$ on $M$ indexed by $T\in \text{Pic}^{0}(M)$. Combined with an appropriate differential geometric setting, this leads to an explicit curvature computation of the direct image bundle $E$ on $\text{Pic}^{0}(M)$, whose fiber $E_{T}$ is the vector space spanned by the theta functions for the line bundle $L\otimes T$ on $M$. Some algebro-geometric properties of $E$ are also remarked.
△ Less
Submitted 10 February, 2024; v1 submitted 24 October, 2022;
originally announced October 2022.
-
Product of sets on varieties in finite fields
Authors:
Che-Jui Chang,
Ali Mohammadi,
Thang Pham,
Chun-Yen Shen
Abstract:
Let $V$ be a variety in $\mathbb{F}_q^d$ and $E\subset V$. It is known that if any line passing through the origin contains a bounded number of points from $E$, then $|\prod(E)|=|\{x\cdot y\colon x, y\in E\}|\gg q$ whenever $|E|\gg q^{\frac{d}{2}}$. In this paper, we show that the barrier $\frac{d}{2}$ can be broken when $V$ is a paraboloid in some specific dimensions. The main novelty in our appr…
▽ More
Let $V$ be a variety in $\mathbb{F}_q^d$ and $E\subset V$. It is known that if any line passing through the origin contains a bounded number of points from $E$, then $|\prod(E)|=|\{x\cdot y\colon x, y\in E\}|\gg q$ whenever $|E|\gg q^{\frac{d}{2}}$. In this paper, we show that the barrier $\frac{d}{2}$ can be broken when $V$ is a paraboloid in some specific dimensions. The main novelty in our approach is to link this question to the distance problem in one lower dimensional vector space, allowing us to use recent developments in this area to obtain improvements.
△ Less
Submitted 9 August, 2022;
originally announced August 2022.
-
Maximal Border Subrank Tensors
Authors:
Chia-Yu Chang
Abstract:
We prove a lower bound on the dimension of the set of maximal border subrank tensors. This is the first such bound of its type.
We prove a lower bound on the dimension of the set of maximal border subrank tensors. This is the first such bound of its type.
△ Less
Submitted 8 August, 2022;
originally announced August 2022.
-
Robust Data-Driven Control for Systems with Noisy Data
Authors:
Chin-Yao Chang,
Andrey Bernstein
Abstract:
This paper presents a robust data-driven controller design based on the noisy input-output data without assumptions on the statistical properties of the noises. We start with the direct data-representation of system models that take elements from behavioral system theory, followed by analyses of the upper bound of the "modeling" error with the data representation with presence of noises. Some pre-…
▽ More
This paper presents a robust data-driven controller design based on the noisy input-output data without assumptions on the statistical properties of the noises. We start with the direct data-representation of system models that take elements from behavioral system theory, followed by analyses of the upper bound of the "modeling" error with the data representation with presence of noises. Some pre-conditioning methods are put into the context based on how the derived bound is structured. We lastly leverage the upper bound to develop robust controllers that ride through the data noises.
△ Less
Submitted 22 February, 2023; v1 submitted 19 July, 2022;
originally announced July 2022.
-
On Thakur's basis conjecture for multiple zeta values in positive characteristic
Authors:
Chieh-Yu Chang,
Yen-Tsung Chen,
Yoshinori Mishiba
Abstract:
In this paper, we study multiple zeta values (abbreviated as MZV's) over function fields in positive characteristic. Our main result is to prove Thakur's basis conjecture, which plays the analogue of Hoffman's basis conjecture for real MZV's. As a consequence, we derive Todd's dimension conjecture, which is the analogue of Zagier's dimension conjecture for classical real MZV's.
In this paper, we study multiple zeta values (abbreviated as MZV's) over function fields in positive characteristic. Our main result is to prove Thakur's basis conjecture, which plays the analogue of Hoffman's basis conjecture for real MZV's. As a consequence, we derive Todd's dimension conjecture, which is the analogue of Zagier's dimension conjecture for classical real MZV's.
△ Less
Submitted 11 July, 2022; v1 submitted 19 May, 2022;
originally announced May 2022.
-
Function Field Analogue of Shimura's Conjecture on Period Symbols
Authors:
W. Dale Brownawell,
Chieh-Yu Chang,
Matthew A. Papanikolas,
Fu-Tsun Wei
Abstract:
In this paper we introduce the notion of Shimura's period symbols over function fields in positive characteristic and establish their fundamental properties. We further formulate and prove a function field analogue of Shimura's conjecture on the algebraic independence of period symbols. Our results enable us to verify the algebraic independence of the coordinates of any nonzero period vector of an…
▽ More
In this paper we introduce the notion of Shimura's period symbols over function fields in positive characteristic and establish their fundamental properties. We further formulate and prove a function field analogue of Shimura's conjecture on the algebraic independence of period symbols. Our results enable us to verify the algebraic independence of the coordinates of any nonzero period vector of an abelian t-module with complex multiplication whose CM type is non-degenerate and defined over an algebraic function field. This is an extension of Yu's work on Hilbert-Blumenthal t-modules.
△ Less
Submitted 18 August, 2022; v1 submitted 17 March, 2022;
originally announced March 2022.
-
Stem and topological entropy on Cayley trees
Authors:
Jung-Chao Ban,
Chih-Hung Chang,
Yu-Liang Wu,
Yu-Ying Wu
Abstract:
We consider the existence of the topological entropy of shift spaces on a finitely generated semigroup whose Cayley graph is a tree. The considered semigroups include free groups. On the other hand, the notion of stem entropy is introduced. For shift spaces on a strict free semigroup, the stem entropy coincides with the topological entropy. We reveal a sufficient condition for the existence of the…
▽ More
We consider the existence of the topological entropy of shift spaces on a finitely generated semigroup whose Cayley graph is a tree. The considered semigroups include free groups. On the other hand, the notion of stem entropy is introduced. For shift spaces on a strict free semigroup, the stem entropy coincides with the topological entropy. We reveal a sufficient condition for the existence of the stem entropy of shift spaces on a semigroup. Furthermore, we demonstrate that the topological entropy exists in many cases and is identical to the stem entropy.
△ Less
Submitted 17 October, 2021;
originally announced October 2021.
-
Characterization and Topological Behavior of Homomorphism Tree-Shifts
Authors:
Jung-Chao Ban,
Chih-Hung Chang,
Wen-Guei Hu,
Guan-Yu Lai,
Yu-Liang Wu
Abstract:
The purpose of this article is twofold. On one hand, we reveal the equivalence of shift of finite type between a one-sided shift $X$ and its associated hom tree-shift $\mathcal{T}_{X}$, as well as the equivalence in the sofic shift. On the other hand, we investigate the interrelationship among the comparable mixing properties on tree-shifts as those on multidimensional shift spaces. They include i…
▽ More
The purpose of this article is twofold. On one hand, we reveal the equivalence of shift of finite type between a one-sided shift $X$ and its associated hom tree-shift $\mathcal{T}_{X}$, as well as the equivalence in the sofic shift. On the other hand, we investigate the interrelationship among the comparable mixing properties on tree-shifts as those on multidimensional shift spaces. They include irreducibility, topologically mixing, block gluing, and strong irreducibility, all of which are defined in the spirit of classical multidimensional shift, complete prefix code (CPC), and uniform CPC. In summary, the mixing properties defined in all three manners coincide for $\mathcal{T}_{X}$. Furthermore, an equivalence between irreducibility on $\mathcal{T}_{A}$ and irreducibility on $X_A$ are seen, and so is one between topologically mixing on $\mathcal{T}_{A}$ and mixing property on $X_A$, where $X_A$ is the one-sided shift space induced by the matrix $A$ and $T_A$ is the associated tree-shift. These equivalences are consistent with the mixing properties on $X$ or $X_A$ when viewed as a degenerate tree-shift.
△ Less
Submitted 30 August, 2021;
originally announced August 2021.
-
A Shallow Ritz Method for Elliptic Problems with Singular Sources
Authors:
Ming-Chih Lai,
Che-Chia Chang,
Wei-Syuan Lin,
Wei-Fan Hu,
Te-Sheng Lin
Abstract:
In this paper, a shallow Ritz-type neural network for solving elliptic equations with delta function singular sources on an interface is developed. There are three novel features in the present work; namely, (i) the delta function singularity is naturally removed, (ii) level set function is introduced as a feature input, (iii) it is completely shallow, comprising only one hidden layer. We first in…
▽ More
In this paper, a shallow Ritz-type neural network for solving elliptic equations with delta function singular sources on an interface is developed. There are three novel features in the present work; namely, (i) the delta function singularity is naturally removed, (ii) level set function is introduced as a feature input, (iii) it is completely shallow, comprising only one hidden layer. We first introduce the energy functional of the problem and then transform the contribution of singular sources to a regular surface integral along the interface. In such a way, the delta function singularity can be naturally removed without introducing a discrete one that is commonly used in traditional regularization methods, such as the well-known immersed boundary method. The original problem is then reformulated as a minimization problem. We propose a shallow Ritz-type neural network with one hidden layer to approximate the global minimizer of the energy functional. As a result, the network is trained by minimizing the loss function that is a discrete version of the energy. In addition, we include the level set function of the interface as a feature input of the network and find that it significantly improves the training efficiency and accuracy. We perform a series of numerical tests to show the accuracy of the present method and its capability for problems in irregular domains and higher dimensions.
△ Less
Submitted 1 July, 2022; v1 submitted 26 July, 2021;
originally announced July 2021.
-
On structure of topological entropy for tree-shift of finite type
Authors:
J. -C. Ban,
C. -H. Chang,
W. -G. Hu,
Y. -L. Wu
Abstract:
This paper deals with the topological entropy for hom Markov shifts $\mathcal{T}_M$ on $d$-tree. If $M$ is a reducible adjacency matrix with $q$ irreducible components $M_1, \cdots, M_q$, we show that $h(\mathcal{T}_{M})=\max_{1\leq i\leq q}h(\mathcal{T}_{M_{i}})$ fails generally, and present a case study with full characterization in terms of the equality. Though that it is likely the sets…
▽ More
This paper deals with the topological entropy for hom Markov shifts $\mathcal{T}_M$ on $d$-tree. If $M$ is a reducible adjacency matrix with $q$ irreducible components $M_1, \cdots, M_q$, we show that $h(\mathcal{T}_{M})=\max_{1\leq i\leq q}h(\mathcal{T}_{M_{i}})$ fails generally, and present a case study with full characterization in terms of the equality. Though that it is likely the sets $\{h(\mathcal{T}_{M}):M\text{ is binary and irreducible}\}$ and $\{h(\mathcal{T}_{X}):X\text{ is a one-sided shift}\}$ are not coincident, we show the two sets share the common closure. Despite the fact that such closure is proved to contain the interval $[d \log 2, \infty)$, numerical experiments suggest its complement contain open intervals.
△ Less
Submitted 11 May, 2021;
originally announced May 2021.
-
Finite Difference Nets: A Deep Recurrent Framework for Solving Evolution PDEs
Authors:
Cheng Chang,
Liu Liu,
Tieyong Zeng
Abstract:
There has been an arising trend of adopting deep learning methods to study partial differential equations (PDEs). In this paper, we introduce a deep recurrent framework for solving time-dependent PDEs without generating large scale data sets. We provide a new perspective, that is, a different type of architecture through exploring the possible connections between traditional numerical methods (suc…
▽ More
There has been an arising trend of adopting deep learning methods to study partial differential equations (PDEs). In this paper, we introduce a deep recurrent framework for solving time-dependent PDEs without generating large scale data sets. We provide a new perspective, that is, a different type of architecture through exploring the possible connections between traditional numerical methods (such as finite difference schemes) and deep neural networks, particularly convolutional and fully-connected neural networks. Our proposed approach will show its effectiveness and efficiency in solving PDE models with an integral form, in particular, we test on one-way wave equations and system of conservation laws.
△ Less
Submitted 16 April, 2021;
originally announced April 2021.
-
Inference of Random Effects for Linear Mixed-Effects Models with a Fixed Number of Clusters
Authors:
Chih-Hao Chang,
Hsin-Cheng Huang,
Ching-Kang Ing
Abstract:
We consider a linear mixed-effects model with a clustered structure, where the parameters are estimated using maximum likelihood (ML) based on possibly unbalanced data. Inference with this model is typically done based on asymptotic theory, assuming that the number of clusters tends to infinity with the sample size. However, when the number of clusters is fixed, classical asymptotic theory develop…
▽ More
We consider a linear mixed-effects model with a clustered structure, where the parameters are estimated using maximum likelihood (ML) based on possibly unbalanced data. Inference with this model is typically done based on asymptotic theory, assuming that the number of clusters tends to infinity with the sample size. However, when the number of clusters is fixed, classical asymptotic theory developed under a divergent number of clusters is no longer valid and can lead to erroneous conclusions. In this paper, we establish the asymptotic properties of the ML estimators of random-effects parameters under a general setting, which can be applied to conduct valid statistical inference with fixed numbers of clusters. Our asymptotic theorems allow both fixed effects and random effects to be misspecified, and the dimensions of both effects to go to infinity with the sample size.
△ Less
Submitted 28 March, 2021;
originally announced March 2021.
-
Positivity of anticanonical divisors in algebraic fibre spaces
Authors:
Chi-Kang Chang
Abstract:
Let $f:X\rightarrow Y$ be an algebraic fibre space between normal projective varieties and $F$ be a general fibre of $f$. We prove an Iitaka-type inequality $κ(X,-K_X)\leq κ(F,-K_F)+κ(Y,-K_Y)$ under some mild conditions. We also obtain some more results relates the positivity of $-K_X$ and $-K_Y$.
Let $f:X\rightarrow Y$ be an algebraic fibre space between normal projective varieties and $F$ be a general fibre of $f$. We prove an Iitaka-type inequality $κ(X,-K_X)\leq κ(F,-K_F)+κ(Y,-K_Y)$ under some mild conditions. We also obtain some more results relates the positivity of $-K_X$ and $-K_Y$.
△ Less
Submitted 2 November, 2023; v1 submitted 23 November, 2020;
originally announced November 2020.
-
On Hybrid Quantum and Classical Computing Algorithms for Mixed-Integer Programming
Authors:
Chin-Yao Chang,
Eric Jones,
Yiyun Yao,
Peter Graf,
Rishabh Jain
Abstract:
Quantum computing is emerging as a new computing resource that could be superior to conventional computing for certain classes of optimization problems. However, in principle, most existing approaches to quantum optimization are intended to solve unconstrained binary programming problems, while mixed-integer linear programming is of most interest in practice. We attempt to bridge the gap between t…
▽ More
Quantum computing is emerging as a new computing resource that could be superior to conventional computing for certain classes of optimization problems. However, in principle, most existing approaches to quantum optimization are intended to solve unconstrained binary programming problems, while mixed-integer linear programming is of most interest in practice. We attempt to bridge the gap between the capability of quantum computing and real-world applications by develo** a new approach for mixed-integer programming. The approach applies Benders decomposition to decompose the mixed-integer programming into binary programming and linear programming sub-problems, which are solved by a noisy intermediate-scale quantum processor and conventional processor, respectively. The algorithm is provably able to reach the optimal solution of the original mixed-integer programming problem. The algorithm is tested on a D-Wave 2000Q quantum processing unit and is shown to be effective for small-scaled test cases. We also test the algorithm on a mixed-integer programming inspired by power system applications. Many insights are drawn from the numerical results for both the capabilities and limitations of the proposed algorithm.
△ Less
Submitted 20 January, 2022; v1 submitted 15 October, 2020;
originally announced October 2020.
-
Economic Dispatch With Distributed Energy Resources: Co-Optimization of Transmission and Distribution Systems
Authors:
Xinyang Zhou,
Chin-Yao Chang,
Andrey Bernstein,
Changhong Zhao,
Lijun Chen
Abstract:
The increasing penetration of distributed energy resources (DERs) in the distribution networks has turned the conventionally passive load buses into active buses that can provide grid services for the transmission system. To take advantage of the DERs in the distribution networks, this letter formulates a transmission-and-distribution (T&D) systems co-optimization problem that achieves economic di…
▽ More
The increasing penetration of distributed energy resources (DERs) in the distribution networks has turned the conventionally passive load buses into active buses that can provide grid services for the transmission system. To take advantage of the DERs in the distribution networks, this letter formulates a transmission-and-distribution (T&D) systems co-optimization problem that achieves economic dispatch at the transmission level and optimal voltage regulation at the distribution level by leveraging large generators and DERs. A primal-dual gradient algorithm is proposed to solve this optimization problem jointly for T&D systems, and a distributed market-based equivalent of the gradient algorithm is used for practical implementation. The results are corroborated by numerical examples with the IEEE 39-Bus system connected with 7 different distribution networks.
△ Less
Submitted 10 December, 2020; v1 submitted 8 October, 2020;
originally announced October 2020.
-
Training neural networks under physical constraints using a stochastic augmented Lagrangian approach
Authors:
Alp Dener,
Marco Andres Miller,
Randy Michael Churchill,
Todd Munson,
Choong-Seock Chang
Abstract:
We investigate the physics-constrained training of an encoder-decoder neural network for approximating the Fokker-Planck-Landau collision operator in the 5-dimensional kinetic fusion simulation in XGC. To train this network, we propose a stochastic augmented Lagrangian approach that utilizes pyTorch's native stochastic gradient descent method to solve the inner unconstrained minimization subproble…
▽ More
We investigate the physics-constrained training of an encoder-decoder neural network for approximating the Fokker-Planck-Landau collision operator in the 5-dimensional kinetic fusion simulation in XGC. To train this network, we propose a stochastic augmented Lagrangian approach that utilizes pyTorch's native stochastic gradient descent method to solve the inner unconstrained minimization subproblem, paired with a heuristic update for the penalty factor and Lagrange multipliers in the outer augmented Lagrangian loop. Our training results for a single ion species case, with self-collisions and collision against electrons, show that the proposed stochastic augmented Lagrangian approach can achieve higher model prediction accuracy than training with a fixed penalty method for our application problem, with the accuracy high enough for practical applications in kinetic simulations.
△ Less
Submitted 15 September, 2020;
originally announced September 2020.
-
Liouville-type theorems and existence of solutions for quasilinear elliptic equations with nonlinear gradient terms
Authors:
Caihong Chang,
Bei Hu,
Zhengce Zhang
Abstract:
This paper is concerned with two properties of positive weak solutions of quasilinear elliptic equations with nonlinear gradient terms. First, we show a Liouville-type theorem for positive weak solutions of the equation involving the $m$-Laplacian operator \begin{equation*} -Δ_{m}u=u^q|\nabla u|^p\ \ \ \mathrm{in}\ \mathbb{R}^N, \end{equation*} where $N\geq1$, $m>1$ and $p,q\geq0$. The technique o…
▽ More
This paper is concerned with two properties of positive weak solutions of quasilinear elliptic equations with nonlinear gradient terms. First, we show a Liouville-type theorem for positive weak solutions of the equation involving the $m$-Laplacian operator \begin{equation*} -Δ_{m}u=u^q|\nabla u|^p\ \ \ \mathrm{in}\ \mathbb{R}^N, \end{equation*} where $N\geq1$, $m>1$ and $p,q\geq0$. The technique of Bernstein gradient estimates is ultilized to study the case $p<m$. Moreover, a Liouville-type theorem for supersolutions under subcritial range of exponents \begin{equation*} q(N-m)+p(N-1)<N(m-1) \end{equation*} is also established. Then, we use a degree argument to obtain the existence of positive weak solutions for a nonlinear Dirichlet problem of the type $-Δ_m u = f(x,u,\nabla u)$, with $f$ satisfying certain structure conditions. Our proof is based on a priori estimates, which will be accomplished by using a blow-up argument together with the Liouville-type theorem in the half-space. As another application, some new Harnack inequalities are proved.
△ Less
Submitted 18 October, 2021; v1 submitted 17 August, 2020;
originally announced August 2020.
-
Algebra structure of multiple zeta values in positive characteristic
Authors:
Chieh-Yu Chang,
Yen-Tsung Chen,
Yoshinori Mishiba
Abstract:
This paper is a culmination of [CM20] on the study of multiple zeta values (MZV's) over function fields in positive characteristic. For any finite place $v$ of the rational function field $k$ over a finite field, we prove that the $v$-adic MZV's satisfy the same $\bar{k}$-algebraic relations that their corresponding $\infty$-adic MZV's satisfy. Equivalently, we show that the $v$-adic MZV's form an…
▽ More
This paper is a culmination of [CM20] on the study of multiple zeta values (MZV's) over function fields in positive characteristic. For any finite place $v$ of the rational function field $k$ over a finite field, we prove that the $v$-adic MZV's satisfy the same $\bar{k}$-algebraic relations that their corresponding $\infty$-adic MZV's satisfy. Equivalently, we show that the $v$-adic MZV's form an algebra with multiplication law given by the $q$-shuffle product which comes from the $\infty$-adic MZV's, and there is a well-defined $\bar{k}$-algebra homomorphism from the $\infty$-adic MZV's to the $v$-adic MZV's.
△ Less
Submitted 16 July, 2020;
originally announced July 2020.
-
Math Course Redesign in a Private Four Year Hispanic Serving Institute to Address Diverse Equitable and Inclusive Issues
Authors:
Cheng Chang,
Zhixiong Chen
Abstract:
We identified three most challenging points related to diverse, equitable, and inclusive (DEI) issues. First, the majority of our students entering the College lack the math skills essential to success in Calculus, as basic as College Algebra, some others have a multi-year gap after graduating high school. Almost all but a few STEM students must start from College Algebra before they can move on t…
▽ More
We identified three most challenging points related to diverse, equitable, and inclusive (DEI) issues. First, the majority of our students entering the College lack the math skills essential to success in Calculus, as basic as College Algebra, some others have a multi-year gap after graduating high school. Almost all but a few STEM students must start from College Algebra before they can move on to Precalculus and then Calculus. Secondly, we noted that many students who planned to pursue STEM dropped out of their majors because they couldn't obtain the required grade in College Algebra to move forward. This is one of the main reasons that the enrollment of calculus classes is consistently low. Lastly, a large portion of basic math classes are taught by adjunct instructors, the turnover ratio among adjunct instructors is not small. One such consequence is that many students don't have equitable learning experiences and some students are still struggling with College Algebra even in the calculus class. In this paper, we describe an illustrative case study of a college-wide initiative to tackle the DEI issues.
△ Less
Submitted 26 June, 2020;
originally announced June 2020.
-
Topological Entropy for Shifts of Finite Type Over $\mathbb{Z}$ and Trees
Authors:
Jung-Chao Ban,
Chih-Hung Chang,
Wen-Guei Hu,
Yu-Liang Wu
Abstract:
We study the topological entropy of hom tree-shifts and show that, although the topological entropy is not a conjugacy invariant for tree-shifts in general, it remains invariant for hom tree higher block shifts. In doi:10.1016/j.tcs.2018.05.034 and doi:10.3934/dcds.2020186, Petersen and Salama demonstrated the existence of topological entropy for tree-shifts and $h(\mathcal{T}_X) \geq h(X)$, where…
▽ More
We study the topological entropy of hom tree-shifts and show that, although the topological entropy is not a conjugacy invariant for tree-shifts in general, it remains invariant for hom tree higher block shifts. In doi:10.1016/j.tcs.2018.05.034 and doi:10.3934/dcds.2020186, Petersen and Salama demonstrated the existence of topological entropy for tree-shifts and $h(\mathcal{T}_X) \geq h(X)$, where $\mathcal{T}_X$ is the hom tree-shift derived from $X$. We characterize a necessary and sufficient condition when the equality holds for the case where $X$ is a shift of finite type. In addition, two novel phenomena have been revealed for tree-shifts. There is a gap in the set of topological entropy of hom tree-shifts of finite type, which makes such a set not dense. Last but not least, the topological entropy of a reducible hom tree-shift of finite type is equal to or larger than that of its maximal irreducible component.
△ Less
Submitted 14 July, 2022; v1 submitted 23 June, 2020;
originally announced June 2020.
-
Online Data-Enabled Predictive Control
Authors:
Stefanos Baros,
Chin-Yao Chang,
Gabriel E. Colon-Reyes,
Andrey Bernstein
Abstract:
We develop an online data-enabled predictive (ODeePC) control method for optimal control of unknown systems, building on the recently proposed DeePC [1]. Our proposed ODeePC method leverages a primal-dual algorithm with real-time measurement feedback to iteratively compute the corresponding real-time optimal control policy as system conditions change. The proposed ODeePC conceptual-wise resembles…
▽ More
We develop an online data-enabled predictive (ODeePC) control method for optimal control of unknown systems, building on the recently proposed DeePC [1]. Our proposed ODeePC method leverages a primal-dual algorithm with real-time measurement feedback to iteratively compute the corresponding real-time optimal control policy as system conditions change. The proposed ODeePC conceptual-wise resembles standard adaptive system identification and model predictive control (MPC), but it provides a new alternative for the standard methods. ODeePC is enabled by computationally efficient methods that exploit the special structure of the Hankel matrices in the context of DeePC with Fast Fourier Transform (FFT) and primal-dual algorithm. We provide theoretical guarantees regarding the asymptotic behavior of ODeePC, and we demonstrate its performance through numerical examples.
△ Less
Submitted 18 November, 2020; v1 submitted 8 March, 2020;
originally announced March 2020.
-
Efficient numerical methods for computing the stationary states of phase field crystal models
Authors:
Kai Jiang,
Wei Si,
Chen Chang,
Chenglong Bao
Abstract:
Finding the stationary states of a free energy functional is an important problem in phase field crystal (PFC) models. Many efforts have been devoted for designing numerical schemes with energy dissipation and mass conservation properties. However, most existing approaches are time-consuming due to the requirement of small effective step sizes. In this paper, we discretize the energy functional an…
▽ More
Finding the stationary states of a free energy functional is an important problem in phase field crystal (PFC) models. Many efforts have been devoted for designing numerical schemes with energy dissipation and mass conservation properties. However, most existing approaches are time-consuming due to the requirement of small effective step sizes. In this paper, we discretize the energy functional and propose efficient numerical algorithms for solving the constrained non-convex minimization problem. A class of gradient based approaches, which is the so-called adaptive accelerated Bregman proximal gradient (AA-BPG) methods, is proposed and the convergence property is established without the global Lipschitz constant requirements. A practical Newton method is also designed to further accelerate the local convergence with convergence guarantee. One key feature of our algorithms is that the energy dissipation and mass conservation properties hold during the iteration process. Moreover, we develop a hybrid acceleration framework to accelerate the AA-BPG methods and most of existing approaches through coupling with the practical Newton method. Extensive numerical experiments, including two three dimensional periodic crystals in Landau-Brazovskii (LB) model and a two dimensional quasicrystal in Lifshitz-Petrich (LP) model, demonstrate that our approaches have adaptive step sizes which lead to a significant acceleration over many existing methods when computing complex structures.
△ Less
Submitted 10 November, 2020; v1 submitted 23 February, 2020;
originally announced February 2020.
-
Development of modeling and control strategies for an approximated Gaussian process
Authors:
Shisheng Cui,
Chia-Jung Chang
Abstract:
The Gaussian process (GP) model, which has been extensively applied as priors of functions, has demonstrated excellent performance. The specification of a large number of parameters affects the computational efficiency and the feasibility of implementation of a control strategy. We propose a linear model to approximate GPs; this model expands the GP model by a series of basis functions. Several ex…
▽ More
The Gaussian process (GP) model, which has been extensively applied as priors of functions, has demonstrated excellent performance. The specification of a large number of parameters affects the computational efficiency and the feasibility of implementation of a control strategy. We propose a linear model to approximate GPs; this model expands the GP model by a series of basis functions. Several examples and simulation studies are presented to demonstrate the advantages of the proposed method. A control strategy is provided with the proposed linear model.
△ Less
Submitted 12 February, 2020;
originally announced February 2020.
-
On the Computational Viability of Quantum Optimization for PMU Placement
Authors:
Eric B. Jones,
Eliot Kapit,
Chin-Yao Chang,
David Biagioni,
Deepthi Vaidhynathan,
Peter Graf,
Wesley Jones
Abstract:
Using optimal phasor measurement unit placement as a prototypical problem, we assess the computational viability of the current generation D-Wave Systems 2000Q quantum annealer for power systems design problems. We reformulate minimum dominating set for the annealer hardware, solve the reformulation for a standard set of IEEE test systems, and benchmark solution quality and time to solution agains…
▽ More
Using optimal phasor measurement unit placement as a prototypical problem, we assess the computational viability of the current generation D-Wave Systems 2000Q quantum annealer for power systems design problems. We reformulate minimum dominating set for the annealer hardware, solve the reformulation for a standard set of IEEE test systems, and benchmark solution quality and time to solution against the CPLEX Optimizer and simulated annealing. For some problem instances the 2000Q outpaces CPLEX. For instances where the 2000Q underperforms with respect to CPLEX and simulated annealing, we suggest hardware improvements for the next generation of quantum annealers.
△ Less
Submitted 13 January, 2020;
originally announced January 2020.
-
Topologically Mixing Properties of Multiplicative Integer System
Authors:
Jung-Chao Ban,
Chih-Hung Chang,
Wen-Guei Hu,
Guan-Yu Lai,
Yu-Liang Wu
Abstract:
Motivated from the study of multiple ergodic average, the investigation of multiplicative shift spaces has drawn much of interest among researchers. This paper focuses on the relation of topologically mixing properties between multiplicative shift spaces and traditional shift spaces. Suppose that $\mathsf{X}_Ω^{(l)}$ is the multiplicative subshift derived from the shift space $Ω$ with given…
▽ More
Motivated from the study of multiple ergodic average, the investigation of multiplicative shift spaces has drawn much of interest among researchers. This paper focuses on the relation of topologically mixing properties between multiplicative shift spaces and traditional shift spaces. Suppose that $\mathsf{X}_Ω^{(l)}$ is the multiplicative subshift derived from the shift space $Ω$ with given $l > 1$. We show that $\mathsf{X}_Ω^{(l)}$ is (topologically) transitive/mixing if and only if $Ω$ is extensible/mixing. After introducing $l$-directional mixing property, we derive the equivalence between $l$-directional mixing property of $\mathsf{X}_Ω^{(l)}$ and weakly mixing property of $Ω$.
△ Less
Submitted 22 November, 2019;
originally announced November 2019.
-
Decidability of irreducible tree shifts of finite type
Authors:
Jung-Chao Ban,
Chih-Hung Chang,
Nai-Zhu Huang,
Yu-Liang Wu
Abstract:
We reveal an algorithm for determining the complete prefix code irreducibility (CPC-irreducibility) of dyadic trees labeled by a finite alphabet. By introducing an extended directed graph representation of tree shift of finite type (TSFT), we show that the CPC-irreducibility of TSFTs is related to the connectivity of its graph representation, which is a similar result to one-dimensional shifts of…
▽ More
We reveal an algorithm for determining the complete prefix code irreducibility (CPC-irreducibility) of dyadic trees labeled by a finite alphabet. By introducing an extended directed graph representation of tree shift of finite type (TSFT), we show that the CPC-irreducibility of TSFTs is related to the connectivity of its graph representation, which is a similar result to one-dimensional shifts of finite type.
△ Less
Submitted 30 October, 2019;
originally announced October 2019.
-
Theta Functions and Adiabatic Curvature on a Torus
Authors:
Ching-Hao Chang,
Jih-Hsin Cheng,
I-Hsun Tsai
Abstract:
Let $M$ be a complex torus, $L_{\hatμ}\to M$ be positive line bundles parametrized by $\hat μ\in {\rm Pic}^0(M)$, and $E\to {\rm Pic}^0(M)$ be a vector bundle with $E|_{\hatμ}\cong H^0(M, L_{\hat μ})$. We endow the total family $\{L_{\hatμ}\}_{\hatμ}$ with a Hermitian metric that induces the $L^2$-metric on $H^0(M, L_{\hat μ})$ hence on $E$. By using theta functions $\{θ_m\}_{m}$ on $M\times M$ as…
▽ More
Let $M$ be a complex torus, $L_{\hatμ}\to M$ be positive line bundles parametrized by $\hat μ\in {\rm Pic}^0(M)$, and $E\to {\rm Pic}^0(M)$ be a vector bundle with $E|_{\hatμ}\cong H^0(M, L_{\hat μ})$. We endow the total family $\{L_{\hatμ}\}_{\hatμ}$ with a Hermitian metric that induces the $L^2$-metric on $H^0(M, L_{\hat μ})$ hence on $E$. By using theta functions $\{θ_m\}_{m}$ on $M\times M$ as a family of functions on the first factor $M$ with parameters in the second factor $M$, our computation of the full curvature tensor $Θ_E$ of $E$ with respect to this $L^2$-metric shows that $Θ_E$ is essentially an identity matrix multiplied by a constant $2$-form, which yields in particular the adiabatic curvature $c_1(E)$. After a natural base change $M\to \hat M$ so that $E\times_{\hat M} M:=E'$, we also obtain that $E'$ splits holomorphically into a direct sum of line bundles each of which is isomorphic to $L_{\hatμ=0}^*$. Physically, the spaces $H^0(M, L_{\hat μ})$ correspond to the lowest eigenvalue with respect to certain family of Hamiltonian operators on $M$ parametrized by $\hatμ$ or in physical notation, by wave vectors $\bf k$.
△ Less
Submitted 16 May, 2019;
originally announced May 2019.
-
The Complexity of the Classification Problems of Finite-Dimensional Continua
Authors:
Cheng Chang,
Su Gao
Abstract:
We consider the homeomorphic classification of finite-dimensional continua as well as several related equivalence relations. We show that, when $n \geq 2$, the classification problem of $n$-dimensional continua is strictly more complex than the isomorphism problem of countable graphs. We also obtain results that compare the relative complexity of various equivalence relations.
We consider the homeomorphic classification of finite-dimensional continua as well as several related equivalence relations. We show that, when $n \geq 2$, the classification problem of $n$-dimensional continua is strictly more complex than the isomorphism problem of countable graphs. We also obtain results that compare the relative complexity of various equivalence relations.
△ Less
Submitted 21 April, 2019;
originally announced April 2019.
-
Asymptotic constructions and invariants of graded linear series
Authors:
Chih-Wei Chang,
Shin-Yao Jow
Abstract:
Let $X$ be a complete variety of dimension $n$ over an algebraically closed field $\mathbf{K}$. Let $V_\bullet$ be a graded linear series associated to a line bundle $L$ on $X$, that is, a collection $\{V_m\}_{m\in\mathbb{N}}$ of vector subspaces $V_m\subseteq H^0(X,L^{\otimes m})$ such that $V_0=\mathbf{K}$ and $V_k\cdot V_\ell\subseteq V_{k+\ell}$ for all $k,\ell\in\mathbb{N}$. For each $m$ in t…
▽ More
Let $X$ be a complete variety of dimension $n$ over an algebraically closed field $\mathbf{K}$. Let $V_\bullet$ be a graded linear series associated to a line bundle $L$ on $X$, that is, a collection $\{V_m\}_{m\in\mathbb{N}}$ of vector subspaces $V_m\subseteq H^0(X,L^{\otimes m})$ such that $V_0=\mathbf{K}$ and $V_k\cdot V_\ell\subseteq V_{k+\ell}$ for all $k,\ell\in\mathbb{N}$. For each $m$ in the semigroup \[
\mathbf{N}(V_\bullet)=\{m\in\mathbb{N}\mid V_m\ne 0\},\] the linear series $V_m$ defines a rational map \[ φ_m\colon X\dashrightarrow Y_m\subseteq\mathbb{P}(V_m), \] where $Y_m$ denotes the closure of the image $φ_m(X)$. We show that for all sufficiently large $m\in \mathbf{N}(V_\bullet)$, these rational maps $φ_m\colon X\dashrightarrow Y_m$ are birationally equivalent, so in particular $Y_m$ are of the same dimension $κ$, and if $κ=n$ then $φ_m\colon X\dashrightarrow Y_m$ are generically finite of the same degree. If $\mathbf{N}(V_\bullet)\ne\{0\}$, we show that the limit \[
\operatorname{vol}_κ(V_\bullet)=\lim_{m\in \mathbf{N}(V_\bullet)}\frac{\dim_\mathbf{K} V_m}{m^κ/κ!}\] exists, and $0<\operatorname{vol}_κ(V_\bullet)<\infty$. Moreover, if $Z\subseteq X$ is a general closed subvariety of dimension $κ$, then the limit \[
(V_\bullet^κ\cdot Z)_\text{mov}=\lim_{m\in \mathbf{N}(V_\bullet)}\frac{\#\bigl((D_{m,1}\cap\cdots\cap D_{m,κ}\cap Z)\setminus \operatorname{Bs}(V_m)\bigr)}{m^κ}\] exists, where $D_{m,1},\ldots,D_{m,κ}\in |V_m|$ are general divisors, and \[ (V_\bullet^κ\cdot Z)_\text{mov}=\operatorname{deg}\bigl(φ_m|_Z\colon Z\dashrightarrow φ_m(Z)\bigr)\operatorname{vol}_κ(V_\bullet) \] for all sufficiently large $m\in\mathbf{N}(V_\bullet)$.
△ Less
Submitted 14 March, 2019;
originally announced March 2019.
-
Taylor coefficients of Anderson-Thakur series and explicit formulae
Authors:
Chieh-Yu Chang,
Nathan Green,
Yoshinori Mishiba
Abstract:
For each positive characteristic multiple zeta value (defined by Thakur), the first and third authors constructed a $t$-module together with an algebraic point such that a specified coordinate of the logarithmic vector of the algebraic point is a rational multiple of that multiple zeta value. The objective of this paper is to use the Taylor coefficients of Anderson-Thakur series and $t$-motivic Ca…
▽ More
For each positive characteristic multiple zeta value (defined by Thakur), the first and third authors constructed a $t$-module together with an algebraic point such that a specified coordinate of the logarithmic vector of the algebraic point is a rational multiple of that multiple zeta value. The objective of this paper is to use the Taylor coefficients of Anderson-Thakur series and $t$-motivic Carlitz multiple star polylogarithms to give explicit formulae for all of the coordinates of this logarithmic vector.
△ Less
Submitted 9 October, 2020; v1 submitted 18 February, 2019;
originally announced February 2019.
-
Complexity of Shift Spaces on Semigroups
Authors:
J. C. Ban,
C. H. Chang,
Y. Z. Huang
Abstract:
Let $G=\left\langle S|R_{A}\right\rangle $ be a semigroup with generating set $ S$ and equivalences $R_{A}$ among $S$ determined by a matrix $A$. This paper investigates the complexity of $G$-shift spaces by yielding the topological entropies. After revealing the existence of topological entropy of $G$-shift of finite type ($G$-SFT), the calculation of topological entropy of $G$-SFT is equivalent…
▽ More
Let $G=\left\langle S|R_{A}\right\rangle $ be a semigroup with generating set $ S$ and equivalences $R_{A}$ among $S$ determined by a matrix $A$. This paper investigates the complexity of $G$-shift spaces by yielding the topological entropies. After revealing the existence of topological entropy of $G$-shift of finite type ($G$-SFT), the calculation of topological entropy of $G$-SFT is equivalent to solving a system of nonlinear recurrence equations. The complete characterization of topological entropies of $G$-SFTs on two symbols is addressed, which extends [Ban and Chang, arXiv:1803.03082] in which $G$ is a free semigroup.
△ Less
Submitted 14 August, 2018;
originally announced August 2018.
-
Distributed Approximate Newton Algorithms and Weight Design for Constrained Optimization
Authors:
Tor Anderson,
Chin-Yao Chang,
Sonia Martinez
Abstract:
Motivated by economic dispatch and linearly-constrained resource allocation problems, this paper proposes a class of novel Distributed-Approx Newton algorithms that approximate the standard Newton optimization method. We first develop the notion of an optimal edge weighting for the communication graph over which agents implement the second-order algorithm, and propose a convex approximation for th…
▽ More
Motivated by economic dispatch and linearly-constrained resource allocation problems, this paper proposes a class of novel Distributed-Approx Newton algorithms that approximate the standard Newton optimization method. We first develop the notion of an optimal edge weighting for the communication graph over which agents implement the second-order algorithm, and propose a convex approximation for the nonconvex weight design problem. We next build on the optimal weight design to develop a discrete Distributed Approx-Newton algorithm which converges linearly to the optimal solution for economic dispatch problems with unknown cost functions and relaxed local box constraints. For the full box-constrained problem, we develop a continuous Distributed Approx-Newton algorithm which is inspired by first-order saddle-point methods and rigorously prove its convergence to the primal and dual optimizers. A main property of each of these distributed algorithms is that they only require agents to exchange constant-size communication messages, which lends itself to scalable implementations. Simulations demonstrate that the Distributed Approx-Newton algorithms with our weight design have superior convergence properties compared to existing weighting strategies for first-order saddle-point and gradient descent methods.
△ Less
Submitted 19 November, 2019; v1 submitted 13 April, 2018;
originally announced April 2018.
-
Topological Degree of Shift Spaces on Monoids
Authors:
Jung-Chao Ban,
Chih-Hung Chang,
Nai-Zhu Huang
Abstract:
This paper considers the topological degree of $G$-shifts of finite type for the case where $G$ is a nonabelian monoid. Whenever the Cayley graph of $G$ has a finite representation and the relationships among the generators of $G$ are determined by a matrix $A$, the coefficients of the characteristic polynomial of $A$ are revealed as the number of children of the graph. After introducing an algori…
▽ More
This paper considers the topological degree of $G$-shifts of finite type for the case where $G$ is a nonabelian monoid. Whenever the Cayley graph of $G$ has a finite representation and the relationships among the generators of $G$ are determined by a matrix $A$, the coefficients of the characteristic polynomial of $A$ are revealed as the number of children of the graph. After introducing an algorithm for the computation of the degree, the degree spectrum, which is finite, relates to a collection of matrices in which the sum of each row of every matrix is bounded by the number of children of the graph. Furthermore, the algorithm extends to $G$ of finite free-followers.
△ Less
Submitted 24 August, 2018; v1 submitted 8 March, 2018;
originally announced March 2018.
-
On the topological entropy of subshifts of finite type on free semigroups
Authors:
Jung-Chao Ban,
Chih-Hung Chang
Abstract:
In this paper, we provide an effective method to compute the topological entropies of $G$-subshifts of finite type ($G$-SFTs) with $G=F_{d}$ and $S_{d}$, the free group and free semigroup with $d$ generators respectively. We develop the entropy formula by analyzing the corresponding systems of nonlinear recursive equations (SNREs). Four types of SNREs of $S_{2}$-SFTs, namely the types…
▽ More
In this paper, we provide an effective method to compute the topological entropies of $G$-subshifts of finite type ($G$-SFTs) with $G=F_{d}$ and $S_{d}$, the free group and free semigroup with $d$ generators respectively. We develop the entropy formula by analyzing the corresponding systems of nonlinear recursive equations (SNREs). Four types of SNREs of $S_{2}$-SFTs, namely the types $\mathbf{E},\mathbf{D},\mathbf{C}$ and $\mathbf{O}$, are introduced and we could compute their entropies explicitly. This enables us to give the complete characterization of $S_{2}$-SFTs on two symbols. That is, the set of entropies of $S_{2}$-SFTs on two symbols is equal to $\mathbf{E}\cup \mathbf{D}\cup \mathbf{C}\cup \mathbf{O}$. The methods developed in $S_{d}$-SFTs will also be applied to the study of the entropy theory of $F_{d}$-SFTs. The entropy formulae of $S_{d}$-, $F_{d}$-golden mean shifts and $k$-colored chessboards are also presented herein.
△ Less
Submitted 27 March, 2018; v1 submitted 8 March, 2018;
originally announced March 2018.
-
Existence and Instability of Traveling Pulses of Keller-Segel System with Nonlinear Chemical Gradients and Small Diffusions
Authors:
Chueh-Hsin Chang,
Yu-Shuo Chen,
John M. Hong,
Bo-Chih Huang
Abstract:
In this paper, we consider a generalized model of $2\times 2$ Keller-Segel system with nonlinear chemical gradient and small cell diffusion. The existence of the traveling pulses for such equations is established by the methods of geometric singular perturbation (GSP in short) and trap** regions from dynamical systems theory. By the technique of GSP, we show that the necessary condition for the…
▽ More
In this paper, we consider a generalized model of $2\times 2$ Keller-Segel system with nonlinear chemical gradient and small cell diffusion. The existence of the traveling pulses for such equations is established by the methods of geometric singular perturbation (GSP in short) and trap** regions from dynamical systems theory. By the technique of GSP, we show that the necessary condition for the existence of traveling pulses is that their limiting profiles with vanishing diffusion can only consist of the slow flows on the critical manifold of the corresponding algebraic-differential system. We also consider the linear instability of these pulses by the spectral analysis of the linearized operators.
△ Less
Submitted 22 December, 2017;
originally announced December 2017.