arXiv subjects

Avery Ching

Publications and source records attributed to Avery Ching.

9 recordsLinked to original sources

arXiv2023

Holonomic Bessel modules and generating functions

We have solved a number of holonomic PDEs derived from the Bessel modules which are related to the generating functions of classical Bessel functions and the difference Bessel functions recently discovered by Bohner and Cuchta. This $D$-module approach both unifies and extends generating functions of the classical and the difference Bessel functions. It shows that the algebraic structures of the Bessel modules and related modules determine the possible formats of Bessel's generating functions studied in this article. As a consequence of these $D$-modules structures, a number of new recursion formulae, integral representations and new difference Bessel polynomials have been discovered. The key ingredients of our argument involve new transmutation formulae related to the Bessel modules and the construction of $D$-linear maps between different appropriately constructed submodules. This work can be viewed as $D$-module approach to Truesdell's $F$-equation theory specialised to Bessel functions. The framework presented in this article can be applied to other special functions.

math.CA↗

arXiv2021

Series solutions of linear ODEs by Newton-Raphson method on quotient $D$-modules

We develop a $D-$module approach to various kinds of solutions to several classes of important differential equations by long divisions of different differential operators. The zeros of remainder maps of such long divisions are handled by an analogue of Hensel's lemma established recently from valuation theory. In particular, this explains the common origin of some classically known special function series solutions of Heun equations and usual Frobenius series solutions. Moreover, these remainder maps also generate eigenvalue problems that lead to non-trivial factorizations of certain generalized hypergeometric operators.

math.CA↗

arXiv2021

D-module approach to Liouville's Theorem for difference operators

We establish analogues of Liouville's theorem in the complex function theory, with the differential operator replaced by various difference operators. This is done generally by the extraction of (formal) Taylor coefficients using a residue map which measures the obstruction having local "anti-derivative". The residue map is based on a Weyl algebra or $q$-Weyl algebra structure satisfied by each corresponding operator. This explains the different senses of "boundedness" required by the respective analogues of Liouville's theorem in this article.

math.CV↗

arXiv2020

Resolving singularities and monodromy reduction of Fuchsian connections

We study monodromy reduction of Fuchsian connections from a sheave theoretic viewpoint, focusing on the case when a singularity of a special connection with four singularities has been resolved. The main tool of study is {based on} a bundle modification technique due to Drinfeld and Oblezin. This approach via invariant spaces and eigenvalue problems allows us not only to explain Erd\'elyi's classical infinite hypergeometric expansions of solutions to Heun equations, but also to obtain new expansions not found in his papers. As a consequence, a geometric proof of Takemura's eigenvalues inclusion theorem is obtained. Finally, we observe a precise matching between the monodromy reduction criteria giving those special solutions of Heun equations and that giving classical solutions of the Painlev\'e VI equation.

math.CA↗

arXiv2020

Twins: BFT Systems Made Robust

This paper presents Twins, an automated unit test generator of Byzantine attacks. Twins implements three types of Byzantine behaviors: (i) leader equivocation, (ii) double voting, and (iii) losing internal state such as forgetting 'locks' guarding voted values. To emulate interesting attacks by a Byzantine node, it instantiates twin copies of the node instead of one, giving both twins the same identities and network credentials. To the rest of the system, the twins appear indistinguishable from a single node behaving in a 'questionable' manner. Twins can systematically generate Byzantine attack scenarios at scale, execute them in a controlled manner, and examine their behavior. Twins scenarios iterate over protocol rounds and vary the communication patterns among nodes. Twins runs in a production setting within DiemBFT where it can execute 44M Twins-generated scenarios daily. Whereas the system at hand did not manifest errors, subtle safety bugs that were deliberately injected for the purpose of validating the implementation of Twins itself were exposed within minutes. Twins can prevent developers from regressing correctness when updating the codebase, introducing new features, or performing routine maintenance tasks. Twins only requires a thin wrapper over DiemBFT, we thus envision other systems using it. Building on this idea, one new attack and several known attacks against other BFT protocols were materialized as Twins scenarios. In all cases, the target protocols break within fewer than a dozen protocol rounds, hence it is realistic for the Twins approach to expose the problems.

cs.CR↗

arXiv2019

Solutions of Darboux Equations, its Degeneration and Painlev\'e VI Equations

In this paper, we study the Darboux equations in both classical and system form, which give the elliptic Painlev\'e VI equations by the isomonodromy deformation method. Then we establish the full correspondence between the special Darboux equations and the special Painlev\'e VI equations. Instead of the system form, we especially focus on the Darboux equation in a scalar form, which is the generalization of the classical Lam\'{e} equation. We introduce a new infinite series expansion (in terms of the compositions of hypergeometric functions and Jacobi elliptic functions) %around each of the four regular singular points of the for the solutions of the Darboux equations and regard special solutions of the Darboux equations as those terminating series. The Darboux equations characterized in this manner have an almost (but not completely) full correspondence to the special types of the Painlev\'e VI equations. Finally, we discuss the convergence of these infinite series expansions.

math.CA↗

arXiv2016

Darwini: Generating realistic large-scale social graphs

Synthetic graph generators facilitate research in graph algorithms and processing systems by providing access to data, for instance, graphs resembling social networks, while circumventing privacy and security concerns. Nevertheless, their practical value lies in their ability to capture important metrics of real graphs, such as degree distribution and clustering properties. Graph generators must also be able to produce such graphs at the scale of real-world industry graphs, that is, hundreds of billions or trillions of edges. In this paper, we propose Darwini, a graph generator that captures a number of core characteristics of real graphs. Importantly, given a source graph, it can reproduce the degree distribution and, unlike existing approaches, the local clustering coefficient and joint-degree distributions. Furthermore, Darwini maintains metrics such node PageRank, eigenvalues and the K-core decomposition of a source graph. Comparing Darwini with state-of-the-art generative models, we show that it can reproduce these characteristics more accurately. Finally, we provide an open source implementation of our approach on the vertex-centric Apache Giraph model that allows us to create synthetic graphs with one trillion edges.

cs.SI↗

arXiv2015

Symmetries of the Darboux equation

This paper establishes the symmetries of Darboux's equations (1882) on tori. We extend Ince's work (1940) by developing new infinite series expansions in terms of Jacobi elliptic functions around each of the four regular singular points of the Darboux equation which are located at the four half-periods of the torus. The symmetry group of the Darboux equation is given by the Coxeter group $B_4\cong G_{\mathrm{I}}\rtimes_{\Gamma} G_{\mathrm{II}}$ where the actions of $G_{\mathrm{I}}$ correspond to the sign changes of the parameters in the solutions of the equations, which have no effective changes on the equation itself, while the actions of $G_{\mathrm{II}}$ permute the four half-periods of the torus, which are described by a short-exact sequence. We are able to clarify the symmetries of the equation when ordered bases of the underlying torus change. Our results show that it is much more transparent to consider the symmetries of the Darboux equation on a torus than on the Riemann sphere $\mathbb{CP}^1$ as was usually considered by earlier researchers such as Maier (2007). We list the symmetry tables of the Darboux equation in both the Jacobian form and Weierstrass form. A consolidated list of 192 solutions of the Darboux equation is also given. We then consider the symmetries of several classical equations (e.g. Lam\'e equation) all of which are special cases of the Darboux equation. Those terminating solutions of the Darboux equation generalize the classical Lam\'e polynomials.

math.CA↗

arXiv2002

Noncontiguous I/O through PVFS

With the tremendous advances in processor and memory technology, I/O has risen to become the bottleneck in high-performance computing for many applications. The development of parallel file systems has helped to ease the performance gap, but I/O still remains an area needing significant performance improvement. Research has found that noncontiguous I/O access patterns in scientific applications combined with current file system methods to perform these accesses lead to unacceptable performance for large data sets. To enhance performance of noncontiguous I/O we have created list I/O, a native version of noncontiguous I/O. We have used the Parallel Virtual File System (PVFS) to implement our ideas. Our research and experimentation shows that list I/O outperforms current noncontiguous I/O access methods in most I/O situations and can substantially enhance the performance of real-world scientific applications.

cs.DC↗