-
Randomized algorithms for computing the tensor train approximation and their applications
Authors:
Maolin Che,
Yimin Wei,
Hong Yan
Abstract:
In this paper, we focus on the fixed TT-rank and precision problems of finding an approximation of the tensor train (TT) decomposition of a tensor. Note that the TT-SVD and TT-cross are two well-known algorithms for these two problems. Firstly, by combining the random projection technique with the power scheme, we obtain two types of randomized algorithms for the fixed TT-rank problem. Secondly, b…
▽ More
In this paper, we focus on the fixed TT-rank and precision problems of finding an approximation of the tensor train (TT) decomposition of a tensor. Note that the TT-SVD and TT-cross are two well-known algorithms for these two problems. Firstly, by combining the random projection technique with the power scheme, we obtain two types of randomized algorithms for the fixed TT-rank problem. Secondly, by using the non-asymptotic theory of sub-random Gaussian matrices, we derive the upper bounds of the proposed randomized algorithms. Thirdly, we deduce a new deterministic strategy to estimate the desired TT-rank with a given tolerance and another adaptive randomized algorithm that finds a low TT-rank representation satisfying a given tolerance, and is beneficial when the target TT-rank is not known in advance. We finally illustrate the accuracy of the proposed algorithms via some test tensors from synthetic and real databases. In particular, for the fixed TT-rank problem, the proposed algorithms can be several times faster than the TT-SVD, and the accuracy of the proposed algorithms and the TT-SVD are comparable for several test tensors.
△ Less
Submitted 11 May, 2024;
originally announced May 2024.
-
Lovasz' Conjecture and Other Applications of Topological Methods in Discrete Mathematics
Authors:
**gsi Hou,
Guangyan Huang,
Sammy Suliman,
Haoran Yan
Abstract:
In 20th century mathematics, the field of topology, which concerns the properties of geometric objects under continuous transformation, has proved surprisingly useful in application to the study of discrete mathematics, such as combinatorics, graph theory, and theoretical computer science. In this paper, we seek to provide an introduction to the relevant topological concepts to non-specialists, as…
▽ More
In 20th century mathematics, the field of topology, which concerns the properties of geometric objects under continuous transformation, has proved surprisingly useful in application to the study of discrete mathematics, such as combinatorics, graph theory, and theoretical computer science. In this paper, we seek to provide an introduction to the relevant topological concepts to non-specialists, as well as a selection of some existing applications to theorems in discrete mathematics.
△ Less
Submitted 1 May, 2024;
originally announced May 2024.
-
Minimax rates for latent position estimation in the generalized random dot product graph
Authors:
Hao Yan,
Keith Levin
Abstract:
Latent space models play an important role in the modeling and analysis of network data. Under these models, each node has an associated latent point in some (typically low-dimensional) geometric space, and network formation is driven by this unobserved geometric structure. The random dot product graph (RDPG) and its generalization (GRDPG) are latent space models under which this latent geometry i…
▽ More
Latent space models play an important role in the modeling and analysis of network data. Under these models, each node has an associated latent point in some (typically low-dimensional) geometric space, and network formation is driven by this unobserved geometric structure. The random dot product graph (RDPG) and its generalization (GRDPG) are latent space models under which this latent geometry is taken to be Euclidean. These latent vectors can be efficiently and accurately estimated using well-studied spectral embeddings. In this paper, we develop a minimax lower bound for estimating the latent positions in the RDPG and the GRDPG models under the two-to-infinity norm, and show that a particular spectral embedding method achieves this lower bound. We also derive a minimax lower bound for the related task of subspace estimation under the two-to-infinity norm that holds in general for low-rank plus noise network models, of which the RDPG and GRDPG are special cases. The lower bounds are achieved by a novel construction based on Hadamard matrices.
△ Less
Submitted 4 July, 2023;
originally announced July 2023.
-
Equidistribution of set-valued statistics on standard Young tableaux and transversals
Authors:
Robin D. P. Zhou,
Sherry H. F. Yan
Abstract:
As a natural generalization of permutations, transversals of Young diagrams play an important role in the study of pattern avoiding permutations. Let $\mathcal{T}_λ(τ)$ and $\mathcal{ST}_λ(τ)$ denote the set of $τ$-avoiding transversals and $τ$-avoiding symmetric transversals of a Young diagram $λ$, respectively. In this paper, we are mainly concerned with the distribution of the peak set and the…
▽ More
As a natural generalization of permutations, transversals of Young diagrams play an important role in the study of pattern avoiding permutations. Let $\mathcal{T}_λ(τ)$ and $\mathcal{ST}_λ(τ)$ denote the set of $τ$-avoiding transversals and $τ$-avoiding symmetric transversals of a Young diagram $λ$, respectively. In this paper, we are mainly concerned with the distribution of the peak set and the valley set on standard Young tableaux and pattern avoiding transversals. In particular, by introducing Knuth transformations on standard Young tableaux, we prove that the peak set and the valley set are equidistributed on the standard Young tableaux of shape $λ/μ$ for any skew diagram $λ/μ$. The equidistribution enables us to show that the peak set is equidistributed over $\mathcal{T}_λ(12\cdots kτ)$ (resp. $\mathcal{ST}_λ(12\cdots k τ)$) and $\mathcal{T}_λ(k\cdots 21τ) $ (resp. $\mathcal{ST}_λ(k\cdots 21τ)$) for any Young diagram $λ$ and any permutation $τ$ of $\{k+1, k+2, \ldots, k+m\}$ with $k,m\geq 1$. Our results are refinements of the result of Backelin-West-Xin which states that $|\mathcal{T}_λ(12\cdots kτ)|=|\mathcal{T}_λ(k\cdots 21 τ)|$ and the result of Bousquet-Mélou and Steingrímsson which states that $|\mathcal{ST}_λ(12\cdots k τ)|=|\mathcal{ST}_λ(k\cdots 21 τ)|$.
△ Less
Submitted 7 June, 2023;
originally announced June 2023.
-
Variable T-Product and Zero-Padding Tensor Completion with Applications
Authors:
Liqun Qi,
Rui Yan,
Ziyan Luo,
Hong Yan,
Gaohang Yu
Abstract:
The T-product method based upon Discrete Fourier Transformation (DFT) has found wide applications in engineering, in particular, in image processing. In this paper, we propose variable T-product, and apply the Zero-Padding Discrete Fourier Transformation (ZDFT), to convert third order tensor problems to the variable Fourier domain. An additional positive integer parameter is introduced, which is g…
▽ More
The T-product method based upon Discrete Fourier Transformation (DFT) has found wide applications in engineering, in particular, in image processing. In this paper, we propose variable T-product, and apply the Zero-Padding Discrete Fourier Transformation (ZDFT), to convert third order tensor problems to the variable Fourier domain. An additional positive integer parameter is introduced, which is greater than the tubal dimension of the third order tensor. When the additional parameter is equal to the tubal dimension, the ZDFT reduces to DFT. Then, we propose a new tensor completion method based on ZDFT and TV regularization, called VTCTF-TV. Extensive numerical experiment results on visual data demonstrate that the superior performance of the proposed method. In addition, the zero-padding is near the size of the original tubal dimension, the resulting tensor completion can be performed much better.
△ Less
Submitted 13 May, 2023;
originally announced May 2023.
-
Efficient algorithms for Tucker decomposition via approximate matrix multiplication
Authors:
Maolin Che,
Yimin Wei,
Hong Yan
Abstract:
This paper develops fast and efficient algorithms for computing Tucker decomposition with a given multilinear rank. By combining random projection and the power scheme, we propose two efficient randomized versions for the truncated high-order singular value decomposition (T-HOSVD) and the sequentially T-HOSVD (ST-HOSVD), which are two common algorithms for approximating Tucker decomposition. To re…
▽ More
This paper develops fast and efficient algorithms for computing Tucker decomposition with a given multilinear rank. By combining random projection and the power scheme, we propose two efficient randomized versions for the truncated high-order singular value decomposition (T-HOSVD) and the sequentially T-HOSVD (ST-HOSVD), which are two common algorithms for approximating Tucker decomposition. To reduce the complexities of these two algorithms, fast and efficient algorithms are designed by combining two algorithms and approximate matrix multiplication. The theoretical results are also achieved based on the bounds of singular values of standard Gaussian matrices and the theoretical results for approximate matrix multiplication. Finally, the efficiency of these algorithms are illustrated via some test tensors from synthetic and real datasets.
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
On Refinements of Wilf-Equivalence for Involutions
Authors:
Sherry H. F. Yan,
Lintong Wang,
Robin D. P. Zhou
Abstract:
Let $\mathcal{S}_n(π)$ (resp. $\mathcal{I}_n(π)$ and $\mathcal{AI}_n(π)$) denote the set of permutations (resp. involutions and alternating involutions) of length $n$ which avoid the permutation pattern $π$. For $k,m\geq 1$, Backelin-West-Xin proved that $|\mathcal{S}_n(12\cdots kτ)|= |\mathcal{S}_n(k\cdots 21τ)|$ by establishing a bijection between these two sets, where $τ= τ_1τ_2\cdots τ_m$ is a…
▽ More
Let $\mathcal{S}_n(π)$ (resp. $\mathcal{I}_n(π)$ and $\mathcal{AI}_n(π)$) denote the set of permutations (resp. involutions and alternating involutions) of length $n$ which avoid the permutation pattern $π$. For $k,m\geq 1$, Backelin-West-Xin proved that $|\mathcal{S}_n(12\cdots kτ)|= |\mathcal{S}_n(k\cdots 21τ)|$ by establishing a bijection between these two sets, where $τ= τ_1τ_2\cdots τ_m$ is an arbitrary permutation of $k+1,k+2,\ldots,k+m$. The result has been extended to involutions by Bousquet-Mélou and Steingrímsson and to alternating permutations by the first author. In this paper, we shall establish a peak set preserving bijection between $\mathcal{I}_n(123τ)$ and $\mathcal{I}_n(321τ)$ via transversals, matchings, oscillating tableaux and pairs of noncrossing Dyck paths as intermediate structures. Our result is a refinement of the result of Bousquet-Mélou and Steingrímsson for the case when $k=3$. As an application, we show bijectively that $|\mathcal{AI}_n(123τ)| = |\mathcal{AI}_n(321τ)|$, confirming a recent conjecture of Barnabei-Bonetti-Castronuovo-Silimbani. Furthmore, some conjectured equalities posed by Barnabei-Bonetti-Castronuovo-Silimbani concerning pattern avoiding alternating involutions are also proved.
△ Less
Submitted 4 December, 2022;
originally announced December 2022.
-
Anosov Geodesic Flows on Surfaces
Authors:
Hao-Tong Yan
Abstract:
This paper is an exposition of the major results of P. Eberlein's paper, "When is a geodesic flow of Anosov type? I," in the special case when the manifold $M$ is a surface. We follow Eberlein's coverage closely, adding details when helpful, and taking advantage of simplifications given by the dimension two case. The objective is to give readers a more tractable introduction to the important topic…
▽ More
This paper is an exposition of the major results of P. Eberlein's paper, "When is a geodesic flow of Anosov type? I," in the special case when the manifold $M$ is a surface. We follow Eberlein's coverage closely, adding details when helpful, and taking advantage of simplifications given by the dimension two case. The objective is to give readers a more tractable introduction to the important topic of Anosov geodesic flows, which highlights key concepts and arguments without worrying about generalizations to arbitrary dimension.
△ Less
Submitted 22 November, 2022;
originally announced November 2022.
-
The $c$-differential spectrum of $x\mapsto x^{\frac{p^n+1}{2}}$ in finite fields of odd characteristics
Authors:
Constanza Riera,
Pantelimon Stanica,
Haode Yan
Abstract:
In the paper, we concentrate on the map $x\mapsto x^{\frac{p^n+1}{2}}$ on $\mathbb{F}_{p^n}$ and using combinatorial and number theory techniques, we compute its detailed $c$-differential spectrum for all values of $c\neq 1$ (the spectrum for $c=1$ is known).
In the paper, we concentrate on the map $x\mapsto x^{\frac{p^n+1}{2}}$ on $\mathbb{F}_{p^n}$ and using combinatorial and number theory techniques, we compute its detailed $c$-differential spectrum for all values of $c\neq 1$ (the spectrum for $c=1$ is known).
△ Less
Submitted 21 October, 2022;
originally announced October 2022.
-
A regularization-patching dual quaternion optimization method for solving the hand-eye calibration problem
Authors:
Zhongming Chen,
Chen Ling,
Liqun Qi,
Hong Yan
Abstract:
The hand-eye calibration problem is an important application problem in robot research. Based on the 2-norm of dual quaternion vectors, we propose a new dual quaternion optimization method for the hand-eye calibration problem. The dual quaternion optimization problem is decomposed to two quaternion optimization subproblems. The first quaternion optimization subproblem governs the rotation of the r…
▽ More
The hand-eye calibration problem is an important application problem in robot research. Based on the 2-norm of dual quaternion vectors, we propose a new dual quaternion optimization method for the hand-eye calibration problem. The dual quaternion optimization problem is decomposed to two quaternion optimization subproblems. The first quaternion optimization subproblem governs the rotation of the robot hand. It can be solved efficiently by the eigenvalue decomposition or singular value decomposition. If the optimal value of the first quaternion optimization subproblem is zero, then the system is rotationwise noiseless, i.e., there exists a ``perfect'' robot hand motion which meets all the testing poses rotationwise exactly. In this case, we apply the regularization technique for solving the second subproblem to minimize the distance of the translation. Otherwise we apply the patching technique to solve the second quaternion optimization subproblem. Then solving the second quaternion optimization subproblem turns out to be solving a quadratically constrained quadratic program. In this way, we give a complete description for the solution set of hand-eye calibration problems. This is new in the hand-eye calibration literature. The numerical results are also presented to show the efficiency of the proposed method.
△ Less
Submitted 16 September, 2022;
originally announced September 2022.
-
Combinatorics of Integer Partitions With Prescribed Perimeter
Authors:
Zhicong Lin,
Huan Xiong,
Sherry H. F. Yan
Abstract:
We prove that the number of even parts and the number of times that parts are repeated have the same distribution over integer partitions with a fixed perimeter. This refines Straub's analog of Euler's Odd-Distinct partition theorem. We generalize the two concerned statistics to these of the part-difference less than $d$ and the parts not congruent to $1$ modulo $d+1$ and prove a distribution ineq…
▽ More
We prove that the number of even parts and the number of times that parts are repeated have the same distribution over integer partitions with a fixed perimeter. This refines Straub's analog of Euler's Odd-Distinct partition theorem. We generalize the two concerned statistics to these of the part-difference less than $d$ and the parts not congruent to $1$ modulo $d+1$ and prove a distribution inequality, that has a similar flavor as Alder's ex-conjecture, over partitions with a prescribed perimeter. Both of our results are proved analytically and combinatorially.
△ Less
Submitted 6 April, 2022;
originally announced April 2022.
-
Minimax principle for right eigenvalues of dual quaternion matrices and their generalized inverses
Authors:
Chen Ling,
Liqun Qi,
Hong Yan
Abstract:
Dual quaternions can represent rigid body motion in 3D spaces, and have found wide applications in robotics, 3D motion modelling and control, and computer graphics. In this paper, we introduce three different right linear independency for a set of dual quaternion vectors, and study some related basic properties for the set of dual quaternion vectors and dual quaternion matrices. We present a minim…
▽ More
Dual quaternions can represent rigid body motion in 3D spaces, and have found wide applications in robotics, 3D motion modelling and control, and computer graphics. In this paper, we introduce three different right linear independency for a set of dual quaternion vectors, and study some related basic properties for the set of dual quaternion vectors and dual quaternion matrices. We present a minimax principle for right eigenvalues of dual quaternion Hermitian matrices. Based upon a newly established Cauchy-Schwarz inequality for dual quaternion vectors and singular value decomposition of dual quaternion matrices, we propose an important inequality for singular values of dual quaternion matrices. We finally introduce the concept of generalized inverse of dual quaternion matrices, and present the necessary and sufficient conditions for a dual quaternion matrix to be one of four types of generalized inverses of another dual quaternion matrix.
△ Less
Submitted 4 May, 2023; v1 submitted 7 March, 2022;
originally announced March 2022.
-
On a conjecture concerning the shuffle-compatible permutation statistics
Authors:
Lihong Yang,
Sherry H. F. Yan
Abstract:
The notion of shuffle-compatible permutation statistics was implicit in Stanley's work on P-partitions and was first explicitly studied by Gessel and Zhuang. The aim of this paper is to prove that the triple ${\rm (udr, pk, des)}$ is shuffle-compatible as conjectured by Gessel and Zhuang, where ${\rm udr}$ denotes the number of up-down runs, ${\rm pk}$ denotes the peak number, and ${\rm des}$ deno…
▽ More
The notion of shuffle-compatible permutation statistics was implicit in Stanley's work on P-partitions and was first explicitly studied by Gessel and Zhuang. The aim of this paper is to prove that the triple ${\rm (udr, pk, des)}$ is shuffle-compatible as conjectured by Gessel and Zhuang, where ${\rm udr}$ denotes the number of up-down runs, ${\rm pk}$ denotes the peak number, and ${\rm des}$ denotes the descent number. This is accomplished by establishing an ${\rm (udr, pk, des)}$-preserving bijection in the spirit of Baker-Jarvis and Sagan's bijective proofs of shuffle-compatibility property of permutation statistics. As an application, our bijection also enables us to prove that the pair $({\rm cpk}, {\rm cdes})$ is cyclic shuffle-compatible, where ${\rm cpk}$ denotes the cyclic peak number and ${\rm cdes}$ denotes the cyclic descent number.
△ Less
Submitted 11 May, 2022; v1 submitted 18 January, 2022;
originally announced January 2022.
-
Dual Quaternions and Dual Quaternion Vectors
Authors:
Liqun Qi,
Chen Ling,
Hong Yan
Abstract:
We introduce a total order and the absolute value function for dual numbers. The absolute value function of dual numbers are with dual number values, and have properties similar to the properties of the absolute value function of real numbers. We define the magnitude of a dual quaternion, as a dual number. Based upon these, we extended $1$-norm, $\infty$-norm and $2$-norm to dual quaternion vector…
▽ More
We introduce a total order and the absolute value function for dual numbers. The absolute value function of dual numbers are with dual number values, and have properties similar to the properties of the absolute value function of real numbers. We define the magnitude of a dual quaternion, as a dual number. Based upon these, we extended $1$-norm, $\infty$-norm and $2$-norm to dual quaternion vectors.
△ Less
Submitted 23 November, 2021; v1 submitted 8 November, 2021;
originally announced November 2021.
-
The Gessel Correspondence and the Partial $γ$-Positivity of the Eulerian Polynomials on Multiset Stirling Permutations
Authors:
William Y. C. Chen,
Amy M. Fu,
Sherry H. F. Yan
Abstract:
Pondering upon the grammatical labeling of 0-1-2 increasing plane trees, we come to the realization that the grammatical labels play a role as records of chopped off leaves of
the original increasing binary trees. While such an understanding is purely psychological, it does give rise to an efficient apparatus to tackle the partial $γ$-positivity of the Eulearian polynomials on multiset Stirling…
▽ More
Pondering upon the grammatical labeling of 0-1-2 increasing plane trees, we come to the realization that the grammatical labels play a role as records of chopped off leaves of
the original increasing binary trees. While such an understanding is purely psychological, it does give rise to an efficient apparatus to tackle the partial $γ$-positivity of the Eulearian polynomials on multiset Stirling permutations, as long as we bear in mind the combinatorial meanings of the labels $x$ and $y$ in the Gessel representation of a $k$-Stirling permutation by means of an increasing $(k+1)$-ary tree. More precisely, we introduce a Foata-Strehl action on the Gessel trees resulting in an interpretation of the partial $γ$-coefficients of the aforementioned Eulerian polynomials, different from the ones found by Lin-Ma-Zhang and Yan-Huang-Yang. In particular, our strategy can be adapted to deal with the partial $γ$-coefficients of the second order Eulerian polynomials, which in turn can be readily converted to the combinatorial formulation due to Ma-Ma-Yeh in connection with certain statistics of Stirling permutations.
△ Less
Submitted 14 November, 2022; v1 submitted 7 November, 2021;
originally announced November 2021.
-
Cycles on a multiset with only even-odd drops
Authors:
Zhicong Lin,
Sherry H. F. Yan
Abstract:
For a finite subset $A$ of $\mathbb{Z}_{>0}$, Lazar and Wachs (2019) conjectured that the number of cycles on $A$ with only even-odd drops is equal to the number of D-cycles on $A$. In this note, we introduce cycles on a multiset with only even-odd drops and prove bijectively a multiset version of their conjecture. As a consequence, the number of cycles on $[2n]$ with only even-odd drops equals th…
▽ More
For a finite subset $A$ of $\mathbb{Z}_{>0}$, Lazar and Wachs (2019) conjectured that the number of cycles on $A$ with only even-odd drops is equal to the number of D-cycles on $A$. In this note, we introduce cycles on a multiset with only even-odd drops and prove bijectively a multiset version of their conjecture. As a consequence, the number of cycles on $[2n]$ with only even-odd drops equals the Genocchi number $g_n$. With Laguerre histories as an intermediate structure, we also construct a bijection between a class of permutations of length $2n-1$ known to be counted by $g_n$ invented by Dumont and the cycles on $[2n]$ with only even-odd drops.
△ Less
Submitted 8 August, 2021;
originally announced August 2021.
-
The Differential Spectrum of the Power Map** $x^{p^n-3}$
Authors:
Haode Yan,
Yongbo Xia,
Chunlei Li,
Tor Helleseth,
Maosheng Xiong,
**quan Luo
Abstract:
Let $n$ be a positive integer and $p$ a prime. The power map** $x^{p^n-3}$ over $\mathbb{F}_{p^n}$ has desirable differential properties, and its differential spectra for $p=2,\,3$ have been determined. In this paper, for any odd prime $p$, by investigating certain quadratic character sums and some equations over $\mathbb{F}_{p^n}$, we determine the differential spectrum of $x^{p^n-3}$ with a un…
▽ More
Let $n$ be a positive integer and $p$ a prime. The power map** $x^{p^n-3}$ over $\mathbb{F}_{p^n}$ has desirable differential properties, and its differential spectra for $p=2,\,3$ have been determined. In this paper, for any odd prime $p$, by investigating certain quadratic character sums and some equations over $\mathbb{F}_{p^n}$, we determine the differential spectrum of $x^{p^n-3}$ with a unified approach. The obtained result shows that for any given odd prime $p$, the differential spectrum can be expressed explicitly in terms of $n$. Compared with previous results, a special elliptic curve over $\mathbb{F}_{p}$ plays an important role in our computation for the general case $p \ge 5$.
△ Less
Submitted 6 August, 2021;
originally announced August 2021.
-
Partial $γ$-Positivity for Quasi-Stirling Permutations of Multisets
Authors:
Sherry H. F. Yan,
Yunwei Huang,
Lihong Yang
Abstract:
We prove that the enumerative polynomials of quasi-Stirling permutations of multisets with respect to the statistics of plateaux, descents and ascents are partial $γ$-positive, thereby confirming a recent conjecture posed by Lin, Ma and Zhang. This is accomplished by proving the partial $γ$-positivity of the enumerative polynomials of certain ordered labeled trees, which are in bijection with quas…
▽ More
We prove that the enumerative polynomials of quasi-Stirling permutations of multisets with respect to the statistics of plateaux, descents and ascents are partial $γ$-positive, thereby confirming a recent conjecture posed by Lin, Ma and Zhang. This is accomplished by proving the partial $γ$-positivity of the enumerative polynomials of certain ordered labeled trees, which are in bijection with quasi-Stirling permutations of multisets. As an application, we provide an alternative proof of the partial $γ$-positivity of the enumerative polynomials on Stirling permutations of multisets.
△ Less
Submitted 13 July, 2021; v1 submitted 15 June, 2021;
originally announced June 2021.
-
Quasi-Stirling Permutations on Multisets
Authors:
Sherry H. F. Yan,
Lihong Yang,
Yunwei Huang,
Xue Zhu
Abstract:
A permutation $π$ of a multiset is said to be a {\em quasi-Stirling } permutation if there does not exist four indices $i<j<k<\ell$ such that $π_i=π_k$ and $π_j=π_{\ell}$. Define $$ \overline{Q}_{\mathcal{M}}(t,u,v)=\sum_{π\in \overline{\mathcal{Q}}_{\mathcal{M}}}t^{des(π)}u^{asc(π)}v^{plat(π)},$$ where $\overline{\mathcal{Q}}_{\mathcal{M}}$ denotes the set of quasi-Stirling
permutations on the…
▽ More
A permutation $π$ of a multiset is said to be a {\em quasi-Stirling } permutation if there does not exist four indices $i<j<k<\ell$ such that $π_i=π_k$ and $π_j=π_{\ell}$. Define $$ \overline{Q}_{\mathcal{M}}(t,u,v)=\sum_{π\in \overline{\mathcal{Q}}_{\mathcal{M}}}t^{des(π)}u^{asc(π)}v^{plat(π)},$$ where $\overline{\mathcal{Q}}_{\mathcal{M}}$ denotes the set of quasi-Stirling
permutations on the multiset $\mathcal{M}$, and $asc(π)$ (resp. $des(π)$, $plat(π)$) denotes the number of ascents (resp. descents, plateaux) of $π$. Denote by $\mathcal{M}^σ$ the multiset $\{1^{σ_1}, 2^{σ_2}, \ldots, n^{σ_n}\}$, where $σ=(σ_1, σ_2, \ldots, σ_n)$ is an $n$-composition of $K$ for positive integers $K$ and $n$. In this paper, we show that $\overline{Q}_{\mathcal{M}^σ}(t,u,v)=\overline{Q}_{\mathcal{M}^τ}(t,u,v)$ for any two $n$-compositions $σ$ and $τ$ of $K$. This is accomplished by establishing an $(asc, des, plat)$-preserving bijection
between $\overline{\mathcal{Q}}_{\mathcal{M}^σ}$ and $\overline{\mathcal{Q}}_{\mathcal{M}^τ}$. As applications, we obtain generalizations of several results for quasi-Stirling permutations on $\mathcal{M}=\{1^k,2^k, \ldots, n^k\}$ obtained by Elizalde and solve an open problem posed by Elizalde.
△ Less
Submitted 8 June, 2021;
originally announced June 2021.
-
Quasi-Stirling Polynomials on Multisets
Authors:
Sherry H. F. Yan,
Xue Zhu
Abstract:
A permutation $π$ of a multiset is said to be a {\em quasi-Stirling} permutation if there does not exist four indices $i<j<k<\ell$ such that $π_i=π_k$ and $π_j=π_{\ell}$. For a multiset $\mathcal{M}$, denote by $\overline{\mathcal{Q}}_{\mathcal{M}}$ the set of quasi-Stirling permutations of $\mathcal{M}$. The {\em qusi-Stirling polynomial} on the multiset $\mathcal{M}$ is defined by…
▽ More
A permutation $π$ of a multiset is said to be a {\em quasi-Stirling} permutation if there does not exist four indices $i<j<k<\ell$ such that $π_i=π_k$ and $π_j=π_{\ell}$. For a multiset $\mathcal{M}$, denote by $\overline{\mathcal{Q}}_{\mathcal{M}}$ the set of quasi-Stirling permutations of $\mathcal{M}$. The {\em qusi-Stirling polynomial} on the multiset $\mathcal{M}$ is defined by $ \overline{Q}_{\mathcal{M}}(t)=\sum_{π\in \overline{\mathcal{Q}}_{\mathcal{M}}}t^{des(π)}$, where $des(π)$ denotes the number of descents of $π$. By employing generating function arguments, Elizalde derived an elegant identity involving quasi-Stirling polynomials on the multiset $\{1^2, 2^2, \ldots, n^2\}$, in analogy to the identity on Stirling polynomials. In this paper, we derive an identity involving quasi-Stirling polynomials $\overline{Q}_{\mathcal{M}}(t)$ for any multiset $\mathcal{M}$, which is a generalization of the identity on Eulerian polynomial and Elizalde's identity on quasi-Stirling polynomials on the multiset $\{1^2, 2^2, \ldots, n^2\}$. We provide a combinatorial proof the identity in terms of certain ordered labeled trees. Specializing $\mathcal{M}=\{1^2, 2^2, \ldots, n^2\}$ implies a combinatorial proof of Elizalde's identity in answer to the problem posed by Elizalde. As an application, our identity enables us to show that the quasi-Stirling polynomial $\overline{Q}_{\mathcal{M}}(t)$ has only real roots and the coefficients of $\overline{Q}_{\mathcal{M}}(t)$ are unimodal and log-concave for any multiset $\mathcal{M}$, in analogy to Brenti's result for Stirling polynomials on multisets.
△ Less
Submitted 8 June, 2021;
originally announced June 2021.
-
Investigations on $c$-(almost) perfect nonlinear functions
Authors:
Sihem Mesnager,
Constanza Riera,
Pantelimon Stanica,
Haode Yan,
Zhengchun Zhou
Abstract:
In a prior paper \cite{EFRST20}, two of us, along with P. Ellingsen, P. Felke and A. Tkachenko, 1defined a new (output) multiplicative differential, and the corresponding $c$-differential uniformity, which has the potential of extending differential cryptanalysis. Here, we continue the work, by looking at some APN functions through the mentioned concept and showing that their $c$-differential unif…
▽ More
In a prior paper \cite{EFRST20}, two of us, along with P. Ellingsen, P. Felke and A. Tkachenko, 1defined a new (output) multiplicative differential, and the corresponding $c$-differential uniformity, which has the potential of extending differential cryptanalysis. Here, we continue the work, by looking at some APN functions through the mentioned concept and showing that their $c$-differential uniformity increases significantly, in some cases.
△ Less
Submitted 20 March, 2021; v1 submitted 18 October, 2020;
originally announced October 2020.
-
Normal Approximation and Fourth Moment Theorems for Monochromatic Triangles
Authors:
Bhaswar B. Bhattacharya,
Xiao Fang,
Han Yan
Abstract:
Given a graph sequence $\{G_n\}_{n \geq 1}$ denote by $T_3(G_n)$ the number of monochromatic triangles in a uniformly random coloring of the vertices of $G_n$ with $c \geq 2$ colors. This arises as a generalization of the birthday paradox, where $G_n$ corresponds to a friendship network and $T_3(G_n)$ counts the number of triples of friends with matching birthdays. In this paper we prove a central…
▽ More
Given a graph sequence $\{G_n\}_{n \geq 1}$ denote by $T_3(G_n)$ the number of monochromatic triangles in a uniformly random coloring of the vertices of $G_n$ with $c \geq 2$ colors. This arises as a generalization of the birthday paradox, where $G_n$ corresponds to a friendship network and $T_3(G_n)$ counts the number of triples of friends with matching birthdays. In this paper we prove a central limit theorem (CLT) for $T_3(G_n)$ with explicit error rates. The proof involves constructing a martingale difference sequence by carefully ordering the vertices of $G_n$, based on a certain combinatorial score function, and using a quantitive version of the martingale CLT. We then relate this error term to the well-known fourth moment phenomenon, which, interestingly, holds only when the number of colors $c \geq 5$. We also show that the convergence of the fourth moment is necessary to obtain a Gaussian limit for any $c \geq 2$, which, together with the above result, implies that the fourth-moment condition characterizes the limiting normal distribution of $T_3(G_n)$, whenever $c \geq 5$. Finally, to illustrate the promise of our approach, we include an alternative proof of the CLT for the number of monochromatic edges, which provides quantitative rates for the results obtained in Bhattacharya et al. (2017).
△ Less
Submitted 12 April, 2020;
originally announced April 2020.
-
Proving identities on weight polynomials of tiered trees via Tutte polynomials
Authors:
Fengming Dong,
Sherry H. F. Yan
Abstract:
A {\it tiered graph} $G=(V,E)$ with $m $ tiers is a simple graph with $V\subseteq \brk{n}$, where $\brk{n}=\{1,2,\cdots,n\}$, and with a surjective map $t$ from $V$ to $\brk{m}$ such that if $v$ is a vertex adjacent to $v'$ in $G$ with $v>v'$, then $t(v) >t(v')$. For any ordered partition $p=(p_1,p_2,\cdots,p_m)$ of $n$, let $\sett_p$ denote the set of tiered trees with vertex set $\brk{n}$ and wi…
▽ More
A {\it tiered graph} $G=(V,E)$ with $m $ tiers is a simple graph with $V\subseteq \brk{n}$, where $\brk{n}=\{1,2,\cdots,n\}$, and with a surjective map $t$ from $V$ to $\brk{m}$ such that if $v$ is a vertex adjacent to $v'$ in $G$ with $v>v'$, then $t(v) >t(v')$. For any ordered partition $p=(p_1,p_2,\cdots,p_m)$ of $n$, let $\sett_p$ denote the set of tiered trees with vertex set $\brk{n}$ and with a map $t: \brk{n}\rightarrow \brk{m}$ such that $|t^{-1}(i)|=p_i$ for all $i=1,2,\ldots,m$. For any $T\in \sett_p$, let $K_T$ denote the complete tiered graph whose vertex set and tiering map are the same as those of $T$. If the edges of $K_T$ are ordered lexicographically by their endpoints, then the weight $w(T)$ of $T$ is the external activity of $T$ in $K_T$, i.e., the number of edges $e\in E(K_{T})\setminus E(T)$ such that $e$ is the least element in the unique cycle determined by $T\cup e$. Let $P_p(q)=\sum_{T\in \sett_{p}}q^{w(T)}$. Dugan, Glennon, Gunnells and Steingrímsson [J. Combin. Theory, Ser. A 164 (2019) pp. 24-49] asked for an elementary proof of the identity $P_p(q)=P_{π(p)}(q)$ for any permutation $π$ of $1,2,\cdots,m$, where $π(p)=p_{π(1)},p_{π(2)},\cdots,p_{π(m)})$. In this article, we will prove an extension of this identity by applying Tutte polynomials. Furthermore, we also provide a proof of the identity $P_{(1,p_1,p_2)}(q)=P_{(p_1+1,p_2+1)}(q)$ via Tutte polynomials.
△ Less
Submitted 27 September, 2022; v1 submitted 1 March, 2020;
originally announced March 2020.
-
A new decomposition of ascent sequences and Euler--Stirling statistics
Authors:
Shishuo Fu,
Emma Yu **,
Zhicong Lin,
Sherry H. F. Yan,
Robin D. P. Zhou
Abstract:
As shown by Bousquet-Mélou--Claesson--Dukes--Kitaev (2010), ascent sequences can be used to encode $({\bf2+2})$-free posets. It is known that ascent sequences are enumerated by the Fishburn numbers, which appear as the coefficients of the formal power series $$\sum_{m=1}^{\infty}\prod_{i=1}^m (1-(1-t)^i).$$ In this paper, we present a novel way to recursively decompose ascent sequences, which lead…
▽ More
As shown by Bousquet-Mélou--Claesson--Dukes--Kitaev (2010), ascent sequences can be used to encode $({\bf2+2})$-free posets. It is known that ascent sequences are enumerated by the Fishburn numbers, which appear as the coefficients of the formal power series $$\sum_{m=1}^{\infty}\prod_{i=1}^m (1-(1-t)^i).$$ In this paper, we present a novel way to recursively decompose ascent sequences, which leads to: (i) a calculation of the Euler--Stirling distribution on ascent sequences, including the numbers of ascents ($\asc$), repeated entries $(\rep)$, zeros ($\zero$) and maximal entries ($\max$). In particular, this confirms and extends Dukes and Parviainen's conjecture on the equidistribution of $\zero$ and $\max$. (ii) a far-reaching generalization of the generating function formula for $(\asc,\zero)$ due to Jelínek. This is accomplished via a bijective proof of the quadruple equidistribution of $(\asc,\rep,\zero,\max)$ and $(\rep,\asc,\rmin,\zero)$, where $\rmin$ denotes the right-to-left minima statistic of ascent sequences. (iii) an extension of a conjecture posed by Levande, which asserts that the pair $(\asc,\zero)$ on ascent sequences has the same distribution as the pair $(\rep,\max)$ on $({\bf2-1})$-avoiding inversion sequences. This is achieved via a decomposition of $({\bf2-1})$-avoiding inversion sequences parallel to that of ascent sequences.
This work is motivated by a double Eulerian equidistribution of Foata (1977) and a tempting bi-symmetry conjecture, which asserts that the quadruples $(\asc,\rep,\zero,\max)$ and $(\rep,\asc,\max,\zero)$ are equidistributed on ascent sequences.
△ Less
Submitted 16 September, 2019;
originally announced September 2019.
-
Randomized algorithms for the low multilinear rank approximations of tensors
Authors:
Maolin Che,
Yimin Wei,
Hong Yan
Abstract:
In this paper, we focus on develo** randomized algorithms for the computation of low multilinear rank approximations of tensors based on the random projection and the singular value decomposition. Following the theory of the singular values of sub-Gaussian matrices, we make a probabilistic analysis for the error bounds for the randomized algorithm. We demonstrate the effectiveness of proposed al…
▽ More
In this paper, we focus on develo** randomized algorithms for the computation of low multilinear rank approximations of tensors based on the random projection and the singular value decomposition. Following the theory of the singular values of sub-Gaussian matrices, we make a probabilistic analysis for the error bounds for the randomized algorithm. We demonstrate the effectiveness of proposed algorithms via several numerical examples.
△ Less
Submitted 19 March, 2020; v1 submitted 28 August, 2019;
originally announced August 2019.
-
On self-conjugate $(s, s+1,\ldots, s+k)$-core partitions
Authors:
Sherry H. F. Yan,
Yao Yu,
Hao Zhou
Abstract:
Simultaneous core partitions have been widely studied since Anderson's work on the enumeration of $(s,t)$-core partitions. Amdeberhan and Leven showed that the number of $(s,s+1, \ldots, s+k)$-core partitions is equal to the number of $(s, k)$-Dyck paths. In this paper, we prove that self-conjugate $(s,s+1, \ldots, s+k)$-core partitions are equinumerous with symmetric $(s, k)$-Dyck paths, confirmi…
▽ More
Simultaneous core partitions have been widely studied since Anderson's work on the enumeration of $(s,t)$-core partitions. Amdeberhan and Leven showed that the number of $(s,s+1, \ldots, s+k)$-core partitions is equal to the number of $(s, k)$-Dyck paths. In this paper, we prove that self-conjugate $(s,s+1, \ldots, s+k)$-core partitions are equinumerous with symmetric $(s, k)$-Dyck paths, confirming a conjecture posed by Cho, Huh and Sohn.
△ Less
Submitted 2 May, 2019;
originally announced May 2019.
-
A new encoding of permutations by Laguerre histories
Authors:
Sherry H. F. Yan,
Hao Zhou,
Zhicong Lin
Abstract:
We construct a bijection from permutations to some weighted Motzkin paths known as Laguerre histories. As one application of our bijection, a neat $q$-$γ$-positivity expansion of the $(\inv,\exc)$-$q$-Eulerian polynomials is obtained.
We construct a bijection from permutations to some weighted Motzkin paths known as Laguerre histories. As one application of our bijection, a neat $q$-$γ$-positivity expansion of the $(\inv,\exc)$-$q$-Eulerian polynomials is obtained.
△ Less
Submitted 5 February, 2019;
originally announced February 2019.
-
On an open problem about a class of optimal ternary cyclic codes
Authors:
Dongchun Han,
Haode Yan
Abstract:
Cyclic codes are a subclass of linear codes and have applications in consumer electronics, data storage systems and communication systems as they have efficient encoding and decoding algorithms. In this paper, we settle an open problem about a class of optimal ternary cyclic codes which was proposed by Ding and Helleseth. Let $C_{(1,e)}$ be a cyclic code of length $3^m-1$ over GF(3) with two nonze…
▽ More
Cyclic codes are a subclass of linear codes and have applications in consumer electronics, data storage systems and communication systems as they have efficient encoding and decoding algorithms. In this paper, we settle an open problem about a class of optimal ternary cyclic codes which was proposed by Ding and Helleseth. Let $C_{(1,e)}$ be a cyclic code of length $3^m-1$ over GF(3) with two nonzeros $α$ and $α^e$, where $α$ is a generator of $GF(3^m)^*$ and e is a given integer. It is shown that $C_{(1,e)}$ is optimal with parameters $[3^m-1,3^m-1-2m,4]$ if one of the following conditions is met. 1) $m\equiv0(\mathrm{mod}~ 4)$, $m\geq 4$, and $e=3^\frac{m}{2}+5$. 2) $m\equiv2(\mathrm{mod}~ 4)$, $m\geq 6$, and $e=3^\frac{m+2}{2}+5$.
△ Less
Submitted 23 January, 2019;
originally announced January 2019.
-
On splitting and splittable families
Authors:
Samuel Coskey,
Bryce Frederickson,
Samuel Mathers,
Hao-Tong Yan
Abstract:
A set $A$ is said to split a finite set $B$ if exactly half the elements of $B$ (up to rounding) are contained in $A$. We study the dual notions: (1) splitting family, which is a collection of sets such that any subset of $\{1,\ldots,k\}$ is split by a set in the family, and (2) splittable family, which is a collection of sets such that there is a single set $A$ that splits each set in the family.…
▽ More
A set $A$ is said to split a finite set $B$ if exactly half the elements of $B$ (up to rounding) are contained in $A$. We study the dual notions: (1) splitting family, which is a collection of sets such that any subset of $\{1,\ldots,k\}$ is split by a set in the family, and (2) splittable family, which is a collection of sets such that there is a single set $A$ that splits each set in the family.
We study the minimum size of a splitting family on $\{1,\ldots,k\}$, as well as the structure of splitting families of minimum size. We use a mixture of computational and theoretical techniques. We additionally study the related notions of $\mathord{\leq}4$-splitting families and $4$-splitting families, and we provide lower bounds on the minimum size of such families.
Next we investigate splittable families that are just on the edge of unsplittability in several senses. First, we study splittable families that have the fewest number of splitters. We give a complete characterization in the case of two sets, and computational results in the case of three sets. Second, we define a splitting game, and study splittable families for which a splitter cannot be found under adversarial conditions.
△ Less
Submitted 28 February, 2022; v1 submitted 30 November, 2018;
originally announced November 2018.
-
Equidistributed statistics on Fishburn matrices and permutations
Authors:
Dandan Chen,
Sherry H. F. Yan,
Robin D. P. Zhou
Abstract:
Recently, Jelínek conjectured that there exists a bijection between certain restricted permutations and Fishburn matrices such that the bijection verifies the equidistribution of several statistics. The main objective of this paper is to establish such a bijection.
Recently, Jelínek conjectured that there exists a bijection between certain restricted permutations and Fishburn matrices such that the bijection verifies the equidistribution of several statistics. The main objective of this paper is to establish such a bijection.
△ Less
Submitted 13 August, 2018;
originally announced August 2018.
-
Prime Parking Functions on Rooted Trees
Authors:
Westin King,
Catherine H. Yan
Abstract:
For a labeled, rooted tree with edges oriented towards the root, we consider the vertices as parking spots and the edge orientation as a one-way street. Each driver, starting with her preferred parking spot, searches for and parks in the first unoccupied spot along the directed path to the root. If all $n$ drivers park, the sequence of spot preferences is called a parking function. We consider the…
▽ More
For a labeled, rooted tree with edges oriented towards the root, we consider the vertices as parking spots and the edge orientation as a one-way street. Each driver, starting with her preferred parking spot, searches for and parks in the first unoccupied spot along the directed path to the root. If all $n$ drivers park, the sequence of spot preferences is called a parking function. We consider the sequences, called \emph{prime} parking functions, for which each driver parks and each edge in the tree is traversed by some driver after failing to park at her preferred spot. We prove that the total number of prime parking functions on trees with $n$ vertices is $(2n-2)!$. Additionally, we generalize \emph{increasing} parking functions, those in which the drivers park with a weakly-increasing order of preference, to trees and prove that the total number of increasing prime parking functions on trees with $n$ vertices is $(n-1)!S_{n-1}$, where $\{S_i\}_{i \geq 0}$ are the large Schröder numbers.
△ Less
Submitted 4 April, 2018;
originally announced April 2018.
-
Bijections for inversion sequences, ascent sequences and 3-nonnesting set partitions
Authors:
Sherry H. F. Yan
Abstract:
Set partitions avoiding $k$-crossing and $k$-nesting have been extensively studied from the aspects of both combinatorics and mathematical biology. By using the generating tree technique, the obstinate kernel method and Zeilberger's algorithm, Lin confirmed a conjecture due independently to the author and Martinez-Savage that asserts inversion sequences with no weakly decreasing subsequence of len…
▽ More
Set partitions avoiding $k$-crossing and $k$-nesting have been extensively studied from the aspects of both combinatorics and mathematical biology. By using the generating tree technique, the obstinate kernel method and Zeilberger's algorithm, Lin confirmed a conjecture due independently to the author and Martinez-Savage that asserts inversion sequences with no weakly decreasing subsequence of length 3 and enhanced 3-nonnesting partitions have the same cardinality. In this paper, we provide a bijective proof of this conjecture. Our bijection also enables us to provide a new bijective proof of a conjecture posed by Duncan and Steingrímsson, which was proved by the author via an intermediate structure of growth diagrams for $01$-fillings of Ferrers shapes.
△ Less
Submitted 8 July, 2017;
originally announced July 2017.
-
On Some Sufficient Conditions for Strong Ellipticity
Authors:
Weiyang Ding,
Liqun Qi,
Hong Yan
Abstract:
We establish several sufficient conditions for the strong ellipticity of any fourth-order elasticity tensor in this paper. The first presented sufficient condition is an extension of positive definite matrices, which states that the strong ellipticity holds if the unfolding matrix of this fourth-order elasticity tensor can be modified into a positive definite one by preserving the summations of so…
▽ More
We establish several sufficient conditions for the strong ellipticity of any fourth-order elasticity tensor in this paper. The first presented sufficient condition is an extension of positive definite matrices, which states that the strong ellipticity holds if the unfolding matrix of this fourth-order elasticity tensor can be modified into a positive definite one by preserving the summations of some corresponding entries. An alternating projection algorithm is proposed to verify whether an elasticity tensor satisfies the first condition or not. Conditions for some special cases beyond the first sufficient condition are further investigated, which includes some important cases for the isotropic and some particular anisotropic linearly elastic materials.
△ Less
Submitted 28 May, 2017; v1 submitted 15 May, 2017;
originally announced May 2017.
-
A Quadratic Penalty Method for Hypergraph Matching
Authors:
Chunfeng Cui,
Qingna Li,
Liqun Qi,
Hong Yan
Abstract:
Hypergraph matching is a fundamental problem in computer vision. Mathematically speaking, it maximizes a polynomial objective function, subject to assignment constraints. In this paper, we reformulate the hypergraph matching problem as a sparse constrained tensor optimization problem. The optimality conditions are characterized based on the sparse constrained optimization theory. By drop** the s…
▽ More
Hypergraph matching is a fundamental problem in computer vision. Mathematically speaking, it maximizes a polynomial objective function, subject to assignment constraints. In this paper, we reformulate the hypergraph matching problem as a sparse constrained tensor optimization problem. The optimality conditions are characterized based on the sparse constrained optimization theory. By drop** the sparsity constraint, we show that the resulting relaxation problem can recover the global minimizer of the original problem. The critical step in solving the original problem is to identify the location of nonzero entries (referred as support set) in a global minimizer. Inspired by such observations, we penalize the equality constraints and apply the quadratic penalty method to solve the relaxation problem. Under reasonable assumptions, we show that the support set of the global minimizer in hypergraph matching problem can be correctly identified when the number of iterations is sufficiently large. A projected gradient method is applied as a subsolver to solve the quadratic penalty subproblem. Numerical results demonstrate that the exact recovery of support set indeed happens, and the proposed algorithms are efficient in terms of both accuracy and speed.
△ Less
Submitted 13 November, 2017; v1 submitted 15 April, 2017;
originally announced April 2017.
-
Computing the $p$-Spectral Radii of Uniform Hypergraphs with Applications
Authors:
**gya Chang,
Weiyang Ding,
Liqun Qi,
Hong Yan
Abstract:
The $p$-spectral radius of a uniform hypergraph covers many important concepts, such as Lagrangian and spectral radius of the hypergraph, and is crucial for solving spectral extremal problems of hypergraphs. In this paper, we establish a spherically constrained maximization model and propose a first-order conjugate gradient algorithm to compute the $p$-spectral radius of a uniform hypergraph (CSRH…
▽ More
The $p$-spectral radius of a uniform hypergraph covers many important concepts, such as Lagrangian and spectral radius of the hypergraph, and is crucial for solving spectral extremal problems of hypergraphs. In this paper, we establish a spherically constrained maximization model and propose a first-order conjugate gradient algorithm to compute the $p$-spectral radius of a uniform hypergraph (CSRH). By the semialgebraic nature of the adjacency tensor of a uniform hypergraph, CSRH is globally convergent and obtains the global maximizer with a high probability. When computing the spectral radius of the adjacency tensor of a uniform hypergraph, CSRH stands out among existing approaches. Furthermore, CSRH is competent to calculate the $p$-spectral radius of a hypergraph with millions of vertices and to approximate the Lagrangian of a hypergraph. Finally, we show that the CSRH method is capable of ranking real-world data set based on solutions generated by the $p$-spectral radius model.
△ Less
Submitted 13 March, 2017;
originally announced March 2017.
-
Refined Enumeration of Corners in Tree-like Tableaux
Authors:
Sherry H. F. Yan,
Robin D. P. Zhou
Abstract:
Tree-like tableaux are certain fillings of Ferrers diagrams originally introduced by Aval et al., which are in simple bijections with permutation tableaux coming from Postnikov's study of totally nonnegative Grassmanian and alternative tableaux introduced by Viennot. In this paper, we confirm two conjectures of Gao et al. on the refined enumeration of non-occupied corners in tree-like tableaux and…
▽ More
Tree-like tableaux are certain fillings of Ferrers diagrams originally introduced by Aval et al., which are in simple bijections with permutation tableaux coming from Postnikov's study of totally nonnegative Grassmanian and alternative tableaux introduced by Viennot. In this paper, we confirm two conjectures of Gao et al. on the refined enumeration of non-occupied corners in tree-like tableaux and symmetric tree-like tableaux via intermediate structures of alternative tableaux, linked partitions, type $B$ alternative tableaux and type $B$ linked partitions.
△ Less
Submitted 18 September, 2017; v1 submitted 25 January, 2017;
originally announced January 2017.
-
Computing The Analytic Connectivity of A Uniform Hypergraph
Authors:
Chufeng Cui,
Ziyan Luo,
Liqun Qi,
Hong Yan
Abstract:
The analytic connectivity, proposed as a substitute of the algebraic connectivity in the setting of hypergraphs, is an important quantity in spectral hypergraph theory. The definition of the analytic connectivity for a uniform hypergraph involves a series of optimization problems (POPs) associated with the Laplacian tensor of the hypergraph with nonnegativity constraints and a sphere constraint, w…
▽ More
The analytic connectivity, proposed as a substitute of the algebraic connectivity in the setting of hypergraphs, is an important quantity in spectral hypergraph theory. The definition of the analytic connectivity for a uniform hypergraph involves a series of optimization problems (POPs) associated with the Laplacian tensor of the hypergraph with nonnegativity constraints and a sphere constraint, which poses difficulties in computation. To reduce the involved computation, properties on the algebraic connectivity are further exploited, and several important structured uniform hypergraphs are shown to attain their analytic connectivities at vertices of the minimum degrees, hence admit a relatively less computation by solving a small number of POPs. To efficiently solve each involved POP, we propose a feasible trust region algorithm ({\tt FTR}) by exploiting their special structures. The global convergence of {\tt FTR} to the second-order necessary conditions points is established, and numerical results for both small and large size examples with comparison to other existing algorithms for POPs are reported to demonstrate the efficiency of our proposed algorithm.
△ Less
Submitted 4 November, 2016;
originally announced November 2016.
-
Neumann Cheeger constants on graphs
Authors:
Hua Bobo,
Huang Yan
Abstract:
For any subgraph of a graph, the Laplacian with Neumann boundary condition was introduced by Chung and Yau [CY94]. In this paper, motivated by the Riemannian case, we introduce the Cheeger constants for Neumann problems and prove corresponding Cheeger estimates for first nontrivial eigenvalues.
For any subgraph of a graph, the Laplacian with Neumann boundary condition was introduced by Chung and Yau [CY94]. In this paper, motivated by the Riemannian case, we introduce the Cheeger constants for Neumann problems and prove corresponding Cheeger estimates for first nontrivial eigenvalues.
△ Less
Submitted 5 October, 2016;
originally announced October 2016.
-
Multivariate Delta Goncarov and Abel Polynomials
Authors:
Rudolph Lorentz,
Salvatore Tringali,
Catherine H. Yan
Abstract:
Classical Gončarov polynomials are polynomials which interpolate derivatives. Delta Gončarov polynomials are polynomials which interpolate delta operators, e.g., forward and backward difference operators. We extend fundamental aspects of the theory of classical bivariate Gončarov polynomials and univariate delta Gončarov polynomials to the multivariate setting using umbral calculus. After introduc…
▽ More
Classical Gončarov polynomials are polynomials which interpolate derivatives. Delta Gončarov polynomials are polynomials which interpolate delta operators, e.g., forward and backward difference operators. We extend fundamental aspects of the theory of classical bivariate Gončarov polynomials and univariate delta Gončarov polynomials to the multivariate setting using umbral calculus. After introducing systems of delta operators, we define multivariate delta Gončarov polynomials, show that the associated interpolation problem is always solvable, and derive a generating function (an Appell relation) for them. We show that systems of delta Gončarov polynomials on an interpolation grid $Z \subseteq \mathbb{R}^d$ are of binomial type if and only if $Z = A\mathbb{N}^d$ for some $d\times d$ matrix $A$. This motivates our definition of delta Abel polynomials to be exactly those delta Gončarov polynomials which are based on such a grid. Finally, compact formulas for delta Abel polynomials in all dimensions are given for separable systems of delta operators. This recovers a former result for classical bivariate Abel polynomials and extends previous partial results for classical trivariate Abel polynomials to all dimensions.
△ Less
Submitted 20 August, 2016;
originally announced August 2016.
-
Backward Errors and Small Sample Condition Estimation for $\star$-Sylveter Equations
Authors:
Huai-An Diao,
Hong Yan,
Eric King-wah Chu
Abstract:
In this paper, we adopt a componentwise perturbation analysis for $\star$-Sylvester equations. Based on the small condition estimation (SCE), we devise the algorithms to estimate normwise, mixed and componentwise condition numbers for $\star$-Sylvester equations. We also define a componentwise backward error with a sharp and easily computable bound. Numerical examples illustrate that our algorithm…
▽ More
In this paper, we adopt a componentwise perturbation analysis for $\star$-Sylvester equations. Based on the small condition estimation (SCE), we devise the algorithms to estimate normwise, mixed and componentwise condition numbers for $\star$-Sylvester equations. We also define a componentwise backward error with a sharp and easily computable bound. Numerical examples illustrate that our algorithm under componentwise perturbations produces reliable estimates, and the new derived computable bound for the componentwise backward error is sharp and reliable for well conditioned and moderate ill-conditioned $\star$-Sylvester equations under large or small perturbations.
△ Less
Submitted 14 July, 2016; v1 submitted 4 July, 2016;
originally announced July 2016.
-
On $(2k+1, 2k+3)$-core partitions with distinct parts
Authors:
Sherry H. F. Yan,
Guizhi Qin,
Zemin **,
Robin D. P. Zhou
Abstract:
In this paper, we are mainly concerned with the enumeration of $(2k+1, 2k+3)$-core partitions with distinct parts. We derive the number and the largest size of such partitions, confirming two conjectures posed by Straub.
In this paper, we are mainly concerned with the enumeration of $(2k+1, 2k+3)$-core partitions with distinct parts. We derive the number and the largest size of such partitions, confirming two conjectures posed by Straub.
△ Less
Submitted 13 April, 2016;
originally announced April 2016.
-
Generalized Goncarov polynomials
Authors:
Rudolph Lorentz,
Salvatore Tringali,
Catherine H. Yan
Abstract:
We introduce the sequence of generalized Gončarov polynomials, which is a basis for the solutions to the Gončarov interpolation problem with respect to a delta operator. Explicitly, a generalized Gončarov basis is a sequence $(t_n(x))_{n \ge 0}$ of polynomials defined by the biorthogonality relation $\varepsilon_{z_i}(\mathfrak d^{i}(t_n(x))) = n! \;\! δ_{i,n}$ for all $i,n \in \mathbf N$, where…
▽ More
We introduce the sequence of generalized Gončarov polynomials, which is a basis for the solutions to the Gončarov interpolation problem with respect to a delta operator. Explicitly, a generalized Gončarov basis is a sequence $(t_n(x))_{n \ge 0}$ of polynomials defined by the biorthogonality relation $\varepsilon_{z_i}(\mathfrak d^{i}(t_n(x))) = n! \;\! δ_{i,n}$ for all $i,n \in \mathbf N$, where $\mathfrak d$ is a delta operator, $\mathcal Z = (z_i)_{i \ge 0}$ a sequence of scalars, and $\varepsilon_{z_i}$ the evaluation at $z_i$. We present algebraic and analytic properties of generalized Gončarov polynomials and show that such polynomial sequences provide a natural algebraic tool for enumerating combinatorial structures with a linear constraint on their order statistics.
△ Less
Submitted 12 November, 2015;
originally announced November 2015.
-
On a refinement of Wilf-equivalence for permutations
Authors:
Huiyun Ge,
Sherry H. F. Yan,
Yaqiu Zhang
Abstract:
Recently, Dokos et al. conjectured that for all $k, m\geq 1$, the patterns $ 12\ldots k(k+m+1)\ldots (k+2)(k+1) $ and $(m+1)(m+2)\ldots (k+m+1)m\ldots 21 $ are $maj$-Wilf-equivalent. In this paper, we confirm this conjecture for all $k\geq 1$ and $m=1$. In fact, we construct a descent set preserving bijection between $ 12\ldots k (k-1) $-avoiding permutations and $23\ldots k1$-avoiding permutation…
▽ More
Recently, Dokos et al. conjectured that for all $k, m\geq 1$, the patterns $ 12\ldots k(k+m+1)\ldots (k+2)(k+1) $ and $(m+1)(m+2)\ldots (k+m+1)m\ldots 21 $ are $maj$-Wilf-equivalent. In this paper, we confirm this conjecture for all $k\geq 1$ and $m=1$. In fact, we construct a descent set preserving bijection between $ 12\ldots k (k-1) $-avoiding permutations and $23\ldots k1$-avoiding permutations for all $k\geq 3$. As a corollary, our bijection enables us to settle a conjecture of Gowravaram and Jagadeesan concerning the Wilf-equivalence for permutations with given descent sets.
△ Less
Submitted 10 October, 2014;
originally announced October 2014.
-
A semiparametric spatial dynamic model
Authors:
Yan Sun,
Hongjia Yan,
Wenyang Zhang,
Zudi Lu
Abstract:
Stimulated by the Boston house price data, in this paper, we propose a semiparametric spatial dynamic model, which extends the ordinary spatial autoregressive models to accommodate the effects of some covariates associated with the house price. A profile likelihood based estimation procedure is proposed. The asymptotic normality of the proposed estimators are derived. We also investigate how to id…
▽ More
Stimulated by the Boston house price data, in this paper, we propose a semiparametric spatial dynamic model, which extends the ordinary spatial autoregressive models to accommodate the effects of some covariates associated with the house price. A profile likelihood based estimation procedure is proposed. The asymptotic normality of the proposed estimators are derived. We also investigate how to identify the parametric/nonparametric components in the proposed semiparametric model. We show how many unknown parameters an unknown bivariate function amounts to, and propose an AIC/BIC of nonparametric version for model selection. Simulation studies are conducted to examine the performance of the proposed methods. The simulation results show our methods work very well. We finally apply the proposed methods to analyze the Boston house price data, which leads to some interesting findings.
△ Less
Submitted 23 May, 2014;
originally announced May 2014.
-
Maximal increasing sequences in fillings of almost-moon polyominoes
Authors:
Svetlana Poznanovik,
Catherine H. Yan
Abstract:
It was proved by Rubey that the number of fillings with zeros and ones of a given moon polyomino that do not contain a northeast chain of size $k$ depends only on the set of columns of the polyomino, but not the shape of the polyomino. Rubey's proof is an adaption of jeu de taquin and promotion for arbitrary fillings of moon polyominoes. In this paper we present a bijective proof for this result b…
▽ More
It was proved by Rubey that the number of fillings with zeros and ones of a given moon polyomino that do not contain a northeast chain of size $k$ depends only on the set of columns of the polyomino, but not the shape of the polyomino. Rubey's proof is an adaption of jeu de taquin and promotion for arbitrary fillings of moon polyominoes. In this paper we present a bijective proof for this result by considering fillings of almost-moon polyominoes, which are moon polyominoes after removing one of the rows. Explicitly, we construct a bijection which preserves the size of the largest northeast chains of the fillings when two adjacent rows of the polyomino are exchanged. This bijection also preserves the column sum of the fillings. We also present a bijection that preserves the size of the largest northeast chains, the row sum and the column sum if every row of the fillings has at most one 1.
△ Less
Submitted 24 March, 2014;
originally announced March 2014.
-
A Class of Six-weight Cyclic Codes and Their Weight Distribution
Authors:
Yan Liu,
Haode Yan,
Chunlei Liu
Abstract:
In this paper, a family of six-weight cyclic codes over GF(p) whose duals have two zeros is presented, where p is an odd prime. And the weight distribution of these cyclic codes is determined.
In this paper, a family of six-weight cyclic codes over GF(p) whose duals have two zeros is presented, where p is an odd prime. And the weight distribution of these cyclic codes is determined.
△ Less
Submitted 4 December, 2013; v1 submitted 14 November, 2013;
originally announced November 2013.
-
Incidence Matrices of Polarized Projective Spaces
Authors:
Chunlei Liu,
Haode Yan
Abstract:
In this paper, we first define a non-degenerate symmetric bilinear form on Fq^4. Then we get an incidence matrix G of Fq^4 by the bilinear form. By its corresponding quadratic form Q, the lines of Fq^4 are classified as isotropic and anisotropic lines. Under this classification, we can get two sub-matrices of G and prove their 2-rank. Key words and phrases: finite field, quadratic form, incidence…
▽ More
In this paper, we first define a non-degenerate symmetric bilinear form on Fq^4. Then we get an incidence matrix G of Fq^4 by the bilinear form. By its corresponding quadratic form Q, the lines of Fq^4 are classified as isotropic and anisotropic lines. Under this classification, we can get two sub-matrices of G and prove their 2-rank. Key words and phrases: finite field, quadratic form, incidence matrix.
△ Less
Submitted 23 April, 2013;
originally announced April 2013.
-
Bijective counting of humps and peaks in $(k,a)$-paths
Authors:
Sherry H. F. Yan
Abstract:
Recently, Mansour and Shattuck related the total number of humps in all of the $(k, a)$-paths of order $n$ to the number of super $(k, a)$-paths, which generalized previous results concerning the cases when $k = 1$ and $a = 1$ or $a = \infty$. They also derived a relation on the total number of peaks in all of the $(k, a)$-paths of order $n$ and the number of super $(k, a)$-paths, and asked for bi…
▽ More
Recently, Mansour and Shattuck related the total number of humps in all of the $(k, a)$-paths of order $n$ to the number of super $(k, a)$-paths, which generalized previous results concerning the cases when $k = 1$ and $a = 1$ or $a = \infty$. They also derived a relation on the total number of peaks in all of the $(k, a)$-paths of order $n$ and the number of super $(k, a)$-paths, and asked for bijective proofs. In this paper, we will give bijective proofs of these two relations.
△ Less
Submitted 10 June, 2014; v1 submitted 1 April, 2013;
originally announced April 2013.
-
Ascent sequences and 3-nonnesting set partitions
Authors:
Sherry H. F. Yan
Abstract:
A sequence x=x_1 x_2...x_n $ is said to be an ascent sequence of length $n$ if it satisfies x_1=0 and $0\leq x_i\leq asc(x_1x_2...x_{i-1})+1$ for all $2\leq i\leq n$, where $asc(x_1x_2... x_{i-1})$ is the number of ascents in the sequence $x_1x_2... x_{i-1}$. Recently, Duncan and Steingrímsson proposed the conjecture that 210-avoiding ascent sequences of length $n…
▽ More
A sequence x=x_1 x_2...x_n $ is said to be an ascent sequence of length $n$ if it satisfies x_1=0 and $0\leq x_i\leq asc(x_1x_2...x_{i-1})+1$ for all $2\leq i\leq n$, where $asc(x_1x_2... x_{i-1})$ is the number of ascents in the sequence $x_1x_2... x_{i-1}$. Recently, Duncan and Steingrímsson proposed the conjecture that 210-avoiding ascent sequences of length $n$ are equinumerous with 3-nonnesting set partitions of $\{1,2,..., n\}$. In this paper, we confirm this conjecture by showing that 210-avoiding ascent sequences of length $n$ are in bijection with 3-nonnesting set partitions of $\{1,2,..., n\}$ via an intermediate structure of growth diagrams for 01-fillings of Ferrers shapes.
△ Less
Submitted 21 August, 2012; v1 submitted 9 August, 2012;
originally announced August 2012.
-
Alternating permutations with restrictions and standard Young tableaux
Authors:
Sherry H. F. Yan,
Yuexiao Xu
Abstract:
In this paper, we give bijections between the set of 4123-avoiding down-up alternating permutations of length $2n$ and the set of standard Young tableaux of shape $(n,n,n)$, and between the set of 4123-avoiding down-up alternating permutations of length $2n-1$ and the set of shifted standard Young tableaux of shape $(n+1, n, n-1)$ via an intermediate structure of Yamanouchi words. Moreover, we get…
▽ More
In this paper, we give bijections between the set of 4123-avoiding down-up alternating permutations of length $2n$ and the set of standard Young tableaux of shape $(n,n,n)$, and between the set of 4123-avoiding down-up alternating permutations of length $2n-1$ and the set of shifted standard Young tableaux of shape $(n+1, n, n-1)$ via an intermediate structure of Yamanouchi words. Moreover, we get the enumeration of 4123-avoiding up-down alternating permutations of even and odd length by presenting bijections between 4123-avoiding up-down alternating permutations and standard Young tableaux.
△ Less
Submitted 21 March, 2012;
originally announced March 2012.