-
A Kudla-Rapoport Formula for Exotic Smooth Models of Odd Dimension
Authors:
Haodong Yao
Abstract:
In this article, we prove a Kudla-Rapoport conjecture for $\mathcal{Y}$-cycles on exotic smooth unitary Rapoport-Zink spaces of odd arithmetic dimension, i.e. the arithmetic intersection numbers for $\mathcal{Y}$-cycles equals the derivatives of local representation density. We also compare $\mathcal{Z}$-cycles and $\mathcal{Y}$-cycles on these RZ spaces. The method is to relate both geometric and…
▽ More
In this article, we prove a Kudla-Rapoport conjecture for $\mathcal{Y}$-cycles on exotic smooth unitary Rapoport-Zink spaces of odd arithmetic dimension, i.e. the arithmetic intersection numbers for $\mathcal{Y}$-cycles equals the derivatives of local representation density. We also compare $\mathcal{Z}$-cycles and $\mathcal{Y}$-cycles on these RZ spaces. The method is to relate both geometric and analytic sides to the even dimensional case and reduce the conjecture to the results in arXiv:2101.09485.
△ Less
Submitted 18 April, 2024;
originally announced April 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.
-
Conformal Prediction for Deep Classifier via Label Ranking
Authors:
Jianguo Huang,
Huajun Xi,
Linjun Zhang,
Huaxiu Yao,
Yue Qiu,
Hongxin Wei
Abstract:
Conformal prediction is a statistical framework that generates prediction sets containing ground-truth labels with a desired coverage guarantee. The predicted probabilities produced by machine learning models are generally miscalibrated, leading to large prediction sets in conformal prediction. To address this issue, we propose a novel algorithm named $\textit{Sorted Adaptive Prediction Sets}$ (SA…
▽ More
Conformal prediction is a statistical framework that generates prediction sets containing ground-truth labels with a desired coverage guarantee. The predicted probabilities produced by machine learning models are generally miscalibrated, leading to large prediction sets in conformal prediction. To address this issue, we propose a novel algorithm named $\textit{Sorted Adaptive Prediction Sets}$ (SAPS), which discards all the probability values except for the maximum softmax probability. The key idea behind SAPS is to minimize the dependence of the non-conformity score on the probability values while retaining the uncertainty information. In this manner, SAPS can produce compact prediction sets and communicate instance-wise uncertainty. Extensive experiments validate that SAPS not only lessens the prediction sets but also broadly enhances the conditional coverage rate of prediction sets.
△ Less
Submitted 6 June, 2024; v1 submitted 10 October, 2023;
originally announced October 2023.
-
One sided a_idempotent, one sided a_equivalent and SEP elements in a ring with involution
Authors:
Hua Yao,
Junchao Wei
Abstract:
In order to study the properties of SEP elements, we propose the concepts of one sided a_idempotent and one sided a_equivalent. Under the condition that an element in a ring is both group invertible and MP_invertible, some equivalent conditions of such an element to be an SEP element are given based on these two concepts, as will as based on projections and the second and the third power of some p…
▽ More
In order to study the properties of SEP elements, we propose the concepts of one sided a_idempotent and one sided a_equivalent. Under the condition that an element in a ring is both group invertible and MP_invertible, some equivalent conditions of such an element to be an SEP element are given based on these two concepts, as will as based on projections and the second and the third power of some products of some elements.
△ Less
Submitted 24 September, 2023;
originally announced September 2023.
-
On Quaternion Higher-Order Singular Value Decomposition: Models and Analysis
Authors:
Hanxin Ya,
Ying Wang,
Yuning Yang
Abstract:
Higher-order singular value decomposition (HOSVD) is one of the most celebrated tensor decompositions that generalizes matrix SVD to higher-order tensors. It was recently extended to the quaternion domain \cite{miao2023quat} (we refer to it as L-QHOSVD in this work). However, due to the non-commutativity of quaternion multiplications, L-QHOSVD is not consistent with matrix SVD when the order of th…
▽ More
Higher-order singular value decomposition (HOSVD) is one of the most celebrated tensor decompositions that generalizes matrix SVD to higher-order tensors. It was recently extended to the quaternion domain \cite{miao2023quat} (we refer to it as L-QHOSVD in this work). However, due to the non-commutativity of quaternion multiplications, L-QHOSVD is not consistent with matrix SVD when the order of the quaternion tensor reduces to 2; moreover, theoretical guaranteed truncated L-QHOSVD was not investigated. To derive a more natural higher-order generalization of the quaternion matrix SVD, we first utilize the feature that left and right multiplications of quaternions are inconsistent to define left and right quaternion tensor unfoldings and left and right mode-k products. Then, by using these basic tools, we propose a two-sided quaternion higher-order singular value decomposition (TS-QHOSVD). TS-QHOSVD has the following two main features: 1) it computes two factor matrices at a time from SVDs of left and right unfoldings, inheriting certain parallel properties of the original HOSVD; 2) it is consistent with matrix SVD when the order of the tensor is 2. In addition, we study truncated TS-QHOSVD and establish its error bound measured by the tail energy; correspondingly, we also present truncated L-QHOSVD and its error bound. Deriving the error bounds is nontrivial, as the proofs are more complicated than their real counterparts, again due to the non-commutativity of quaternion multiplications. Finally, we illustrate the derived properties of TS-QHOSVD and its efficacy via some numerical examples.
△ Less
Submitted 17 October, 2023; v1 submitted 10 September, 2023;
originally announced September 2023.
-
Compactifications of moduli space of (quasi-)trielliptic K3 surfaces
Authors:
Yitao Chen,
Haoyu Wu,
Hanyu Yao
Abstract:
We study the moduli space $\mathcal{F}_{T_1}$ of quasi-trielliptic K3 surfaces of type I, whose general member is a smooth bidegree $(2,3)$-hypersurface of $\mathbb{P}^1\times \mathbb{P}^2$. Such moduli space plays an important role in the study of the Hassett-Keel-Looijenga program of the moduli space of degree $8$ quasi-polarized K3 surfaces.
In this paper, we consider several natural compacti…
▽ More
We study the moduli space $\mathcal{F}_{T_1}$ of quasi-trielliptic K3 surfaces of type I, whose general member is a smooth bidegree $(2,3)$-hypersurface of $\mathbb{P}^1\times \mathbb{P}^2$. Such moduli space plays an important role in the study of the Hassett-Keel-Looijenga program of the moduli space of degree $8$ quasi-polarized K3 surfaces.
In this paper, we consider several natural compactifications of $\mathcal{F}_{T_1}$, such as the GIT compactification and arithmetic compactifications. We give a complete analysis of GIT stability of $(2,3)$-hypersurfaces and provide a concrete description of the boundary of the GIT compactification. For the Baily--Borel compactification of the quasi-trielliptic K3 surfaces, we also compute the configurations of the boundary by classifying certain lattice embeddings. As an application, we show that $(\mathbb{P}^1\times \mathbb{P}^2,εS)$ with small $ε$ is K-stable if $S$ is a K3 surface with at worst ADE singularities. This gives a concrete description of the boundary of the K-stability compactification via the identification of the GIT stability and the K-stability. We also discuss the connection between the GIT, Baily--Borel compactification, and Looijenga's compactifications by studying the projective models of quasi-trielliptic K3 surfaces.
△ Less
Submitted 30 December, 2022;
originally announced December 2022.
-
Extending structures for left-symmetric bialgebras
Authors:
Tao Zhang,
Hui-Jun Yao
Abstract:
We introduce the concept of braided left-symmetric bialgebras and construct cocycle bicrossproduct left-symmetric bialgebras. As an application, we solve the extending problem for left-symmetric bialgebras by using some non-abelian cohomology theory.
We introduce the concept of braided left-symmetric bialgebras and construct cocycle bicrossproduct left-symmetric bialgebras. As an application, we solve the extending problem for left-symmetric bialgebras by using some non-abelian cohomology theory.
△ Less
Submitted 23 November, 2022; v1 submitted 30 October, 2022;
originally announced November 2022.
-
Braided anti-flexible bialgebras
Authors:
Tao Zhang,
Hui-Jun Yao
Abstract:
We introduce the concept of braided anti-flexible bialgebra and construct cocycle bicrossproduct anti-flexible bialgebras. As an application, we solve the extending problem for anti-flexible bialgebras by using some non-abelian cohomology theory.
We introduce the concept of braided anti-flexible bialgebra and construct cocycle bicrossproduct anti-flexible bialgebras. As an application, we solve the extending problem for anti-flexible bialgebras by using some non-abelian cohomology theory.
△ Less
Submitted 6 November, 2022; v1 submitted 27 July, 2022;
originally announced August 2022.
-
Learning to Accelerate by the Methods of Step-size Planning
Authors:
Hengshuai Yao
Abstract:
Gradient descent is slow to converge for ill-conditioned problems and non-convex problems. An important technique for acceleration is step-size adaptation. The first part of this paper contains a detailed review of step-size adaptation methods, including Polyak step-size, L4, LossGrad, Adam, IDBD, and Hypergradient descent, and the relation of step-size adaptation to meta-gradient methods. In the…
▽ More
Gradient descent is slow to converge for ill-conditioned problems and non-convex problems. An important technique for acceleration is step-size adaptation. The first part of this paper contains a detailed review of step-size adaptation methods, including Polyak step-size, L4, LossGrad, Adam, IDBD, and Hypergradient descent, and the relation of step-size adaptation to meta-gradient methods. In the second part of this paper, we propose a new class of methods of accelerating gradient descent that have some distinctiveness from existing techniques. The new methods, which we call {\em step-size planning}, use the {\em update experience} to learn an improved way of updating the parameters. The methods organize the experience into $K$ steps away from each other to facilitate planning. From the past experience, our planning algorithm, Csawg, learns a step-size model which is a form of multi-step machine that predicts future updates. We extends Csawg to applying step-size planning multiple steps, which leads to further speedup. We discuss and highlight the projection power of the diagonal-matrix step-size for future large scale applications. We show for a convex problem, our methods can surpass the convergence rate of Nesterov's accelerated gradient, $1 - \sqrt{μ/L}$, where $μ, L$ are the strongly convex factor of the loss function $F$ and the Lipschitz constant of $F'$, which is the theoretical limit for the convergence rate of first-order methods. On the well-known non-convex Rosenbrock function, our planning methods achieve zero error below 500 gradient evaluations, while gradient descent takes about 10000 gradient evaluations to reach a $10^{-3}$ accuracy. We discuss the connection of step-size planing to planning in reinforcement learning, in particular, Dyna architectures.
(This is a shorter abstract than in the paper because of length requirement)
△ Less
Submitted 25 May, 2022; v1 submitted 1 April, 2022;
originally announced April 2022.
-
Extending structures for BiHom-Frobenius algebras
Authors:
Tao Zhang,
Hui-Jun Yao
Abstract:
We introduce the concept of braided BiHom-Frobenius algebras and give the cocycle bicrossproduct construction for BiHom-Frobenius algebras. We find that the extending problem for BiHom-Frobenius algebras can be classified by non-abelian cohomology theory.
We introduce the concept of braided BiHom-Frobenius algebras and give the cocycle bicrossproduct construction for BiHom-Frobenius algebras. We find that the extending problem for BiHom-Frobenius algebras can be classified by non-abelian cohomology theory.
△ Less
Submitted 29 December, 2022; v1 submitted 20 December, 2021;
originally announced December 2021.
-
Large-time behavior of solutions to the outflow problem for the compressible Navier-Stokes-Maxwell equations
Authors:
Huancheng Yao,
Changjiang Zhu
Abstract:
We investigate the large-time behavior of solutions toward the combination of the boundary layer and 3-rarefaction waves to the outflow problem for the compressible non-isentropic Navier-Stokes equations coupling with the Maxwell equations through the Lorentz force (called the Navier-Stokes-Maxwell equations) on the half line $ \mathbb{R}_+ $. It includes the electrodynamic effects into the dissip…
▽ More
We investigate the large-time behavior of solutions toward the combination of the boundary layer and 3-rarefaction waves to the outflow problem for the compressible non-isentropic Navier-Stokes equations coupling with the Maxwell equations through the Lorentz force (called the Navier-Stokes-Maxwell equations) on the half line $ \mathbb{R}_+ $. It includes the electrodynamic effects into the dissipative structure of the hyperbolic-parabolic system and turns out to be more complicated than that in the simpler compressible Navier-Stokes equations. We prove that this typical composite wave pattern is time-asymptotically stable with the composite boundary condition of the electromagnetic fields, under some smallness conditions and the assumption that the dielectric constant is bounded. This can be viewed as the first result about the nonlinear stability of the combination of two different wave patterns for the IBVP of the non-isentropic Navier-Stokes-Maxwell equations.
△ Less
Submitted 22 August, 2021; v1 submitted 5 August, 2021;
originally announced August 2021.
-
Asymptotic stability of the superposition of viscous contact wave with rarefaction waves for the compressible Navier-Stokes-Maxwell equations
Authors:
Huancheng Yao,
Changjiang Zhu
Abstract:
We study the large-time asymptotic behavior of solutions toward the combination of a viscous contact wave with two rarefaction waves for the compressible non-isentropic Navier-Stokes equations coupling with the Maxwell equations through the Lorentz force (called the Navier-Stokes-Maxwell equations). It includes the electrodynamic effects into the dissipative structure of the hyperbolic-parabolic s…
▽ More
We study the large-time asymptotic behavior of solutions toward the combination of a viscous contact wave with two rarefaction waves for the compressible non-isentropic Navier-Stokes equations coupling with the Maxwell equations through the Lorentz force (called the Navier-Stokes-Maxwell equations). It includes the electrodynamic effects into the dissipative structure of the hyperbolic-parabolic system and turns out to be more complicated than that in the simpler compressible Navier-Stokes equations. Based on a new observation of the specific structure of the Maxwell equations in the Lagrangian coordinates, we prove that this typical composite wave pattern is time-asymptotically stable for the Navier-Stokes-Maxwell equations under some smallness conditions on the initial perturbations and wave strength, and also under the assumption that the dielectric constant is bounded. The main result is proved by using elementary energy methods. This is the first result about the nonlinear stability of the combination of two different wave patterns for the compressible Navier-Stokes-Maxwell equations.
△ Less
Submitted 3 August, 2021;
originally announced August 2021.
-
Computing Permanents on a Trellis
Authors:
Han Mao Kiah,
Alexander Vardy,
Hanwen Yao
Abstract:
The problem of computing the permanent of a matrix has attracted interest since the work of Ryser(1963) and Valiant(1979). On the other hand, trellises were extensively studied in coding theory since the 1960s. In this work, we establish a connection between the two domains. We introduce the canonical trellis $T_n$ that represents all permutations, and show that the permanent of a $n$ by $n$ matri…
▽ More
The problem of computing the permanent of a matrix has attracted interest since the work of Ryser(1963) and Valiant(1979). On the other hand, trellises were extensively studied in coding theory since the 1960s. In this work, we establish a connection between the two domains. We introduce the canonical trellis $T_n$ that represents all permutations, and show that the permanent of a $n$ by $n$ matrix $A$ can be computed as a flow on this trellis. Under certain normalization, the trellis-based method invokes slightly less operations than best known exact methods. Moreover, if $A$ has structure, then $T_n$ becomes amenable to vertex merging, thereby significantly reducing its complexity.
- Repeated rows: Suppose $A$ has only $t<n$ distinct rows. The best known method to compute $per(A)$, due to Clifford and Clifford (2020), has complexity $O(n^{t+1})$. Merging vertices in $T_n$, we obtain a reduced trellis that has complexity $O(n^t)$.
- Order statistics: Using trellises, we compute the joint distribution of $t$ order statistics of $n$ independent, but not identically distributed, random variables in time $O(n^{t+1})$. Previously, polynomial-time methods were known only when the variables are drawn from two non-identical distributions.
- Sparse matrices: Suppose each entry in $A$ is nonzero with probability $d/n$ with $d$ is constant. We show that $T_n$ can be pruned to exponentially fewer vertices, resulting in complexity $O(φ^n)$ with $φ<2$.
- TSP: Intersecting $T_n$ with another trellis that represents walks, we obtain a trellis that represents circular permutations. Using the latter trellis to solve the traveling salesperson problem recovers the well-known Held-Karp algorithm.
Notably, in all cases, the reduced trellis are obtained using known techniques in trellis theory. We expect other trellis-theoretic results to apply to other structured matrices.
△ Less
Submitted 15 July, 2021;
originally announced July 2021.
-
The Analysis from Nonlinear Distance Metric to Kernel-based Drug Prescription Prediction System
Authors:
Der-Chen Chang,
Ophir Frieder,
Chi-Feng Hung,
Hao-Ren Yao
Abstract:
Distance metrics and their nonlinear variant play a crucial role in machine learning based real-world problem solving. We demonstrated how Euclidean and cosine distance measures differ not only theoretically but also in real-world medical application, namely, outcome prediction of drug prescription. Euclidean distance exhibits favorable properties in the local geometry problem. To this regard, Euc…
▽ More
Distance metrics and their nonlinear variant play a crucial role in machine learning based real-world problem solving. We demonstrated how Euclidean and cosine distance measures differ not only theoretically but also in real-world medical application, namely, outcome prediction of drug prescription. Euclidean distance exhibits favorable properties in the local geometry problem. To this regard, Euclidean distance can be applied under short-term disease with low-variation outcome observation. Moreover, when presenting to highly variant chronic disease, it is preferable to use cosine distance. These different geometric properties lead to different submanifolds in the original embedded space, and hence, to different optimizing nonlinear kernel embedding frameworks. We first established the geometric properties that we needed in these frameworks. From these properties interpreted their differences in certain perspectives. Our evaluation on real-world, large-scale electronic health records and embedding space visualization empirically validated our approach.
△ Less
Submitted 23 February, 2021; v1 submitted 4 February, 2021;
originally announced February 2021.
-
Linear Adjusting Programming in Factor Space
Authors:
**g He,
Qi-Wei Kong,
Ho-Chung Lui,
Hai-Tao Liu,
Yi-Mu Ji,
Hai-Chang Yao,
Mo-Zhengfu Liu
Abstract:
The definition of factor space and a unified optimization based classification model were developed for linear programming. Intelligent behaviour appeared in a decision process can be treated as a point y, the dynamic state observed and controlled by the agent, moving in a factor space impelled by the goal factor and blocked by the constraint factors. Suppose that the feasible region is cut by a g…
▽ More
The definition of factor space and a unified optimization based classification model were developed for linear programming. Intelligent behaviour appeared in a decision process can be treated as a point y, the dynamic state observed and controlled by the agent, moving in a factor space impelled by the goal factor and blocked by the constraint factors. Suppose that the feasible region is cut by a group of hyperplanes, when point y reaches the region's wall, a hyperplane will block the moving and the agent needs to adjust the moving direction such that the target is pursued as faithful as possible. Since the wall is not able to be represented to a differentiable function, the gradient method cannot be applied to describe the adjusting process. We, therefore, suggest a new model, named linear adjusting programming (LAP) in this paper. LAP is similar as a kind of relaxed linear programming (LP), and the difference between LP and LAP is: the former aims to find out the ultimate optimal point, while the latter just does a direct action in short period. You may ask: Where will a blocker encounter? How can the moving direction be adjusted? Where further blockers may be encountered next, and how should the direction be adjusted again? We request at least an adjusting should be achieved at the first time. If a hyperplane blocks y going ahead along with the direction d, then we must adjust the new direction d' as the projection of g in the blocking plane. If there is only one blocker at a time, it is straightforward to calculate the projection, but how to calculate the projection when there are more than one blocker encountered simultaneously? We suggest a projection calculation by means of the Hat matrix in this paper. Linear adjusting programming will attract interest in many fields. It might bring a new light to solve the linear programming problem with a strong polynomial solution.
△ Less
Submitted 11 January, 2021; v1 submitted 28 October, 2020;
originally announced October 2020.
-
Two-type linear fractional branching processes in varying environments with asymptotically constant mean matrices
Authors:
Hua-Ming Wang,
Huizi Yao
Abstract:
Consider two-type linear-fractional branching processes in varying environments with asymptotically constant mean matrices. Let $ν$ be the extinction time. Under certain conditions, we show that both $P(ν=n)$ and $P(ν>n)$ are asymptotically the same as some functions of the products of spectral radii of the mean matrices. We also give an example for which $P(ν=n)$ decays with various speeds such a…
▽ More
Consider two-type linear-fractional branching processes in varying environments with asymptotically constant mean matrices. Let $ν$ be the extinction time. Under certain conditions, we show that both $P(ν=n)$ and $P(ν>n)$ are asymptotically the same as some functions of the products of spectral radii of the mean matrices. We also give an example for which $P(ν=n)$ decays with various speeds such as $\frac{c}{n(\log n)^2},$ $\frac{c}{n^β},β>1$ et al. which are very different from the ones of homogeneous multitype Galton-Watson processes.
△ Less
Submitted 1 April, 2021; v1 submitted 14 July, 2020;
originally announced July 2020.
-
Coalescence for supercritical Galton-Watson processes with immigration
Authors:
Hua-Ming Wang,
Lulu Li,
Huizi Yao
Abstract:
In this paper, we consider Galton-Watson processes with immigration. Pick $i(\ge2)$ individuals randomly without replacement from the $n$-th generation and trace their lines of descent back in time till they coalesce into $1$ individual in a certain generation, which we denote by $X_{i,1}^n$ and is called the coalescence time. Firstly, we give the probability distribution of $X_{i,1}^n$ in terms o…
▽ More
In this paper, we consider Galton-Watson processes with immigration. Pick $i(\ge2)$ individuals randomly without replacement from the $n$-th generation and trace their lines of descent back in time till they coalesce into $1$ individual in a certain generation, which we denote by $X_{i,1}^n$ and is called the coalescence time. Firstly, we give the probability distribution of $X_{i,1}^n$ in terms of the probability generating functions of both the offspring distribution and the immigration law. Then by studying the limit behaviors of various functionals of the Galton-Watson process with immigration, we find the limit distribution of $X_{2,1}^n$ as $n\rightarrow\infty.$
△ Less
Submitted 22 December, 2019; v1 submitted 10 June, 2019;
originally announced June 2019.
-
Some enumerative properties of a class of Fibonacci-like cubes
Authors:
Xuxu Zhao,
Xu Wang,
Haiyuan Yao
Abstract:
A filter lattice is a distributive lattice formed by all filters of a poset in the anti-inclusion order. We study the combinatorial properties of the Hasse diagrams of filter lattices of certain posets, so called Fibonacci-like cubes, in this paper. Several enumerative polynomials, e.g.\ rank generating function, cube polynomials and degree sequence polynomials are obtained. Some of these results…
▽ More
A filter lattice is a distributive lattice formed by all filters of a poset in the anti-inclusion order. We study the combinatorial properties of the Hasse diagrams of filter lattices of certain posets, so called Fibonacci-like cubes, in this paper. Several enumerative polynomials, e.g.\ rank generating function, cube polynomials and degree sequence polynomials are obtained. Some of these results relate to Fibonacci sequence and Padovan sequence.
△ Less
Submitted 2 May, 2019;
originally announced May 2019.
-
Optimal cube factors of Fibonacci and matchable Lucas cubes
Authors:
Xu Wang,
Xuxu Zhao,
Haiyuan Yao
Abstract:
The optimal cube factor of a graph, a special kind of component factor, is first introduced. Furthermore, the optimal cube factors of Fibonacci and matchable Lucas cubes are studied; and some results on the Padovan sequence and binomial coefficients are obtained.
The optimal cube factor of a graph, a special kind of component factor, is first introduced. Furthermore, the optimal cube factors of Fibonacci and matchable Lucas cubes are studied; and some results on the Padovan sequence and binomial coefficients are obtained.
△ Less
Submitted 30 March, 2019; v1 submitted 9 December, 2018;
originally announced December 2018.
-
A class of non-matchable distributive lattices
Authors:
Xu Wang,
Xuxu Zhao,
Haiyuan Yao
Abstract:
The set of all perfect matchings of a plane (weakly) elementary bipartite graph equipped with a partial order is a poset, moreover the poset is a finite distributive lattice and its Hasse diagram is isomorphic to $Z$-transformation directed graph of the graph. A finite distributive lattice is matchable if its Hasse diagram is isomorphic to a $Z$-transformation directed graph of a plane weakly elem…
▽ More
The set of all perfect matchings of a plane (weakly) elementary bipartite graph equipped with a partial order is a poset, moreover the poset is a finite distributive lattice and its Hasse diagram is isomorphic to $Z$-transformation directed graph of the graph. A finite distributive lattice is matchable if its Hasse diagram is isomorphic to a $Z$-transformation directed graph of a plane weakly elementary bipartite graph, otherwise non-matchable. We introduce the meet-irreducible cell with respect to a perfect matching of a plane (weakly) elementary bipartite graph and give its equivalent characterizations. Using these, we extend a result on non-matchable distributive lattices, and obtain a class of new non-matchable distributive lattices.
△ Less
Submitted 16 October, 2018;
originally announced October 2018.
-
Structure and enumeration results of matchable Lucas cubes
Authors:
Xu Wang,
Xuxu Zhao,
Haiyuan Yao
Abstract:
A lucasene is a hexagon chain that is similar to a fibonaccene, an $L$-fence is a poset the Hasse diagram of which is isomorphic to the directed inner dual graph of the corresponding lucasene. A new class of cubes, which named after matchable Lucas cubes according to the number of its vertices (or elements), are a series of directed or undirected Hasse diagrams of filter lattices of $L$-fences. Th…
▽ More
A lucasene is a hexagon chain that is similar to a fibonaccene, an $L$-fence is a poset the Hasse diagram of which is isomorphic to the directed inner dual graph of the corresponding lucasene. A new class of cubes, which named after matchable Lucas cubes according to the number of its vertices (or elements), are a series of directed or undirected Hasse diagrams of filter lattices of $L$-fences. The basic properties and several classes of polynomials, e.g.\ rank generating functions, cube polynomials and degree sequence polynomials, of matchable Lucas cubes are obtained. Some special conclusions on binomial coefficients and Lucas triangle are given.
△ Less
Submitted 2 March, 2019; v1 submitted 16 October, 2018;
originally announced October 2018.
-
Convex expansion for finite distributive lattices with applications
Authors:
Xu Wang,
Xuxu Zhao,
Haiyuan Yao
Abstract:
The concept of cutting is first explicitly introduced. By the concept, a convex expansion for finite distributive lattices is considered. Thus, a more general method for drawing the Hasse diagram is given, and the rank generating function of a finite distributive lattice is obtained. In addition, we have several enumerative properties on finite distributive lattices and verify the generalized Eule…
▽ More
The concept of cutting is first explicitly introduced. By the concept, a convex expansion for finite distributive lattices is considered. Thus, a more general method for drawing the Hasse diagram is given, and the rank generating function of a finite distributive lattice is obtained. In addition, we have several enumerative properties on finite distributive lattices and verify the generalized Euler formula for polyhedrons.
△ Less
Submitted 29 August, 2019; v1 submitted 15 October, 2018;
originally announced October 2018.
-
Approximation of Ruin Probabilities via Erlangized Scale Mixtures
Authors:
Oscar Peralta,
Leonardo Rojas-Nandayapa,
Wangyue Xie,
Hui Yao
Abstract:
In this paper, we extend an existing scheme for numerically calculating the probability of ruin of a classical Cramér--Lundberg reserve process having absolutely continuous but otherwise general claim size distributions. We employ a dense class of distributions that we denominate Erlangized scale mixtures (ESM) and correspond to nonnegative and absolutely continuous distributions which can be writ…
▽ More
In this paper, we extend an existing scheme for numerically calculating the probability of ruin of a classical Cramér--Lundberg reserve process having absolutely continuous but otherwise general claim size distributions. We employ a dense class of distributions that we denominate Erlangized scale mixtures (ESM) and correspond to nonnegative and absolutely continuous distributions which can be written as a Mellin--Stieltjes convolution $Π\star G$ of a nonnegative distribution $Π$ with an Erlang distribution $G$. A distinctive feature of such a class is that it contains heavy-tailed distributions.
We suggest a simple methodology for constructing a sequence of distributions having the form $Π\star G$ to approximate the integrated tail distribution of the claim sizes. Then we adapt a recent result which delivers an explicit expression for the probability of ruin in the case that the claim size distribution is modelled as an Erlangized scale mixture. We provide simplified expressions for the approximation of the probability of ruin and construct explicit bounds for the error of approximation. We complement our results with a classical example where the claim sizes are heavy-tailed.
△ Less
Submitted 25 May, 2017;
originally announced May 2017.
-
The Minc-type bound and the eigenvalue inclusion sets of the general product of tensors
Authors:
Chunli Deng,
Hongmei Yao,
Changjiang Bu
Abstract:
In this paper, we give the Minc-type bound for spectral radius of nonnegative tensors. We also present the bounds for the spectral radius and the eigenvalue inclusion sets of the general product of tensors.
In this paper, we give the Minc-type bound for spectral radius of nonnegative tensors. We also present the bounds for the spectral radius and the eigenvalue inclusion sets of the general product of tensors.
△ Less
Submitted 27 May, 2016;
originally announced May 2016.
-
Unique expansion matroids and union minimal matroids
Authors:
Hua Yao,
William Zhu
Abstract:
The expansion axiom of matroids requires only the existence of some kind of independent sets, not the uniqueness of them. This causes that the base families of some matroids can be reduced while the unions of the base families of these matroids remain unchanged. In this paper, we define unique expansion matroids in which the expansion axiom has some extent uniqueness; we define union minimal matro…
▽ More
The expansion axiom of matroids requires only the existence of some kind of independent sets, not the uniqueness of them. This causes that the base families of some matroids can be reduced while the unions of the base families of these matroids remain unchanged. In this paper, we define unique expansion matroids in which the expansion axiom has some extent uniqueness; we define union minimal matroids in which the base families have some extent minimality. Some properties of them and the relationship between them are studied. First, we propose the concepts of secondary base and forming base family. Secondly, we propose the concept of unique expansion matroid, and prove that a matroid is a unique expansion matroid if and only if its forming base family is a partition. Thirdly, we propose the concept of union minimal matroid, and prove that unique expansion matroids are union minimal matroids. Finally, we extend the concept of unique expansion matroid to unique exchange matroid and prove that both unique expansion matroids and their dual matroids are unique exchange matroids.
△ Less
Submitted 10 July, 2013;
originally announced July 2013.
-
Decomposition theorem on matchable distributive lattices
Authors:
He** Zhang,
Dewu Yang,
Haiyuan Yao
Abstract:
A distributive lattice structure ${\mathbf M}(G)$ has been established on the set of perfect matchings of a plane bipartite graph $G$. We call a lattice {\em matchable distributive lattice} (simply MDL) if it is isomorphic to such a distributive lattice. It is natural to ask which lattices are MDLs. We show that if a plane bipartite graph $G$ is elementary, then ${\mathbf M}(G)$ is irreducible. Ba…
▽ More
A distributive lattice structure ${\mathbf M}(G)$ has been established on the set of perfect matchings of a plane bipartite graph $G$. We call a lattice {\em matchable distributive lattice} (simply MDL) if it is isomorphic to such a distributive lattice. It is natural to ask which lattices are MDLs. We show that if a plane bipartite graph $G$ is elementary, then ${\mathbf M}(G)$ is irreducible. Based on this result, a decomposition theorem on MDLs is obtained: a finite distributive lattice $\mathbf{L}$ is an MDL if and only if each factor in any cartesian product decomposition of $\mathbf{L}$ is an MDL. Two types of MDLs are presented: $J(\mathbf{m}\times \mathbf{n})$ and $J(\mathbf{T})$, where $\mathbf{m}\times \mathbf{n}$ denotes the cartesian product between $m$-element chain and $n$-element chain, and $\mathbf{T}$ is a poset implied by any orientation of a tree.
△ Less
Submitted 17 August, 2010;
originally announced August 2010.