Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Uniform mixing on integral abelian Cayley graph
In the past few decades, quantum algorithms have become a popular research area of both mathematicians and engineers. Among them, uniform mixing provides a uniform probability distribution of quantum information over time which attracts a special attention. However, there are only a few known examples of graphs which admit uniform mixing. In this paper, a characterization of abelian Cayley graphs having uniform mixing is presented. Some concrete constructions of such graphs are provided. Specifically, for cubelike graphs, it is shown that the Cayley graph ${\rm Cay}(\mathbb{F}_2^{2k};S)$ has uniform mixing if the characteristic function of $S$ is bent. Moreover, a difference-balanced property of the eigenvalues of an integral abelian Cayley graph having uniform mixing is established. Some nonexistence results of uniform mixing on abelian Cayley graphs are presented also. Notably, for a linear abelian Cayley graph $Γ$ over $\mathbb{Z}_n^r$, it is proved that uniform mixing occurs on this graph only if $n=2,3,4$ which partially confirms a long-standing conjecture. Finally, with some restrictions on the connection set, we show that if a cyclic group $G$ whose order is divisible by an odd prime such that ${\rm Cay}(G,S)$ has uniform mixing at some time $t$ being a rational multiple of $π$, then the graph should be integral. An interesting reduction method on the circulant Cayley graphs having uniform mixing has been established. Using this method, we can answer some related open questions. For example, we can show that the only two cycles having uniform mixing are $C_3$ and $C_4$.
Algebraic entropy of sign-stable mutation loops
Published
• View Publication
• BIB
We introduce a property of mutation loops, called the sign stability, with a focus on an asymptotic behavior of the iteration of the tropical $\mathcal{X}$-transformation. A sign-stable mutation loop has a numerical invariant which we call the cluster stretch factor, in analogy with that of a pseudo-Anosov mapping class on a marked surface. We compute the algebraic entropies of the cluster $\mathcal{A}$- and $\mathcal{X}$-transformations induced by a sign-stable mutation loop, and conclude that these two coincide with the logarithm of the cluster stretch factor.
Two New Identities Involving the Catalan Numbers: A classical approach
Two new identities about Catalan numbers are treated with Zeilberger's algorithm and Watson's hypergeometric series evaluation.
Asymptotic Freeness of Unitary Matrices in Tensor Product Spaces for Invariant States
Published in Random Matrices: Theory and Applications (2023) 12, no. 02: 2250052
• View Publication
• BIB
In this paper, we pursue our study of asymptotic properties of families of random matrices that have a tensor structure. In previous work, the first- and second-named authors provided conditions under which tensor products of unitary random matrices are asymptotically free with respect to the normalized trace. Here, we extend this result by proving that asymptotic freeness of tensor products of Haar unitary matrices holds with respect to a significantly larger class of states. Our result relies on invariance under the symmetric group, and therefore on traffic probability.
As a byproduct, we explore two additional generalisations: (i) we state results of freeness in a context of general sequences of representations of the unitary group -- the fundamental representation being a particular case that corresponds to the classical asymptotic freeness result for Haar unitary matrices, and (ii) we consider actions of the symmetric group and the free group simultaneously and obtain a result of asymptotic freeness in this context as well.
Lattice Points in the Newton Polytopes of Key Polynomials
Published
• View Publication
• BIB
We confirm a conjecture of Monical, Tokcan and Yong on a characterization of the lattice points in the Newton polytopes of key polynomials.
A Gröbner basis for Kazhdan-Lusztig ideals of the flag variety of affine type A
Published
• View Publication
• BIB
A Kazhdan-Lusztig variety is the intersection of a locally-closed Schubert cell with an opposite Schubert variety in a flag variety. We present a linear parametrization of the Schubert cells in the affine type A flag variety via Bott-Samelson maps, and give explicit equations that generate the Kazhdan-Lusztig ideals in these coordinates. Furthermore, our equations form a Gröbner basis for the Kazhdan-Lusztig ideals. Our result generalizes a result of Woo-Yong that gave a Gröbner basis for Kazhdan-Lusztig ideals in the type A flag variety.
Long Cycles, Heavy Cycles and Cycle Decompositions in Digraphs
Published
• View Publication
• BIB
Hajós conjectured in 1968 that every Eulerian \(n\)-vertex graph can be decomposed into at most $\lfloor (n-1)/2\rfloor$ edge-disjoint cycles. This has been confirmed for some special graph classes, but the general case remains open. In a sequence of papers by Bienia and Meyniel (1986), Dean (1986), and Bollobás and Scott (1996) it was analogously conjectured that every \emph{directed} Eulerian graph can be decomposed into $O(n)$ cycles. In this paper, we show that every directed Eulerian graph can be decomposed into $O(n \log Δ)$ disjoint cycles, thus making progress towards the conjecture by Bollobás and Scott. Our approach is based on finding heavy cycles in certain edge-weightings of directed graphs. As a further consequence of our techniques, we prove that for every edge-weighted digraph in which every vertex has out-weight at least $1$, there exists a cycle with weight at least $Ω(\log \log n/{\log n})$, thus resolving a question by Bollobás and Scott.
Hecke insertion and maximal increasing and decreasing sequences in fillings of stack polyominoes
Published
• View Publication
• BIB
We prove that the number of 01-fillings of a given stack polyomino (a polyomino with justified rows whose lengths form a unimodal sequence) with at most one 1 per column which do not contain a fixed-size northeast chain and a fixed-size southeast chain, depends only on the set of row lengths of the polyomino. The proof is via a bijection between fillings of stack polyominoes which differ only in the position of one row and uses the Hecke insertion algorithm by Buch, Kresch, Shimozono, Tamvakis, and Yong and the jeu de taquin for increasing tableaux of Thomas and Yong. Moreover, our bijection gives another proof of the result by Chen, Guo, and Pang that the crossing number and the nesting number have a symmetric joint distribution over linked partitions.
Automorphism groups of homogeneous structures with stationary weak independence relations
We generalise the result of Tent and Ziegler to homogeneous structures that have a stationary independence relation without the symmetry axiom. We apply our result to prove simplicity of the automorphism group of some asymmetric examples due to Cherlin.
Graph Universal Cycles of Combinatorial Objects
Published
• View Publication
• BIB
A connected digraph in which the in-degree of any vertex equals its out-degree is Eulerian; this baseline result is used as the basis of existence proofs for universal cycles (also known as ucycles or generalized deBruijn cycles or U-cycles) of several combinatorial objects. The existence of ucycles is often dependent on the specific representation that we use for the combinatorial objects. For example, should we represent the subset $\{2,5\}$ of $\{1,2,3,4,5\}$ as "25" in a linear string? Is the representation "52" acceptable? Or it it tactically advantageous (and acceptable) to go with $\{0,1,0,0,1\}$? In this paper, we represent combinatorial objects as graphs, as in \cite{bks}, and exhibit the flexibility and power of this representation to produce {\it graph universal cycles}, or {\it Gucycles}, for $k$-subsets of an $n$-set; permutations (and classes of permutations) of $[n]=\{1,2,\ldots,n\}$, and partitions of an $n$-set, thus revisiting the classes first studied in \cite{cdg}. Under this graphical scheme, we will represent $\{2,5\}$ as the subgraph $A$ of $C_5$ with edge set consisting of $\{2,3\}$ and $\{5,1\}$, namely the "second" and "fifth" edges in $C_5$. Permutations are represented via their permutation graphs, and set partitions through disjoint unions of complete graphs.
A hypergraph Turán problem with no stability
Published
• View Publication
• BIB
A fundamental barrier in extremal hypergraph theory is the presence of many near-extremal constructions with very different structures. Indeed, the classical constructions due to Kostochka imply that the notorious extremal problem for the tetrahedron exhibits this phenomenon assuming Turán's conjecture.
Our main result is to construct a finite family of triple systems $\mathcal{M}$, determine its Turán number, and prove that there are two near-extremal $\mathcal{M}$-free constructions that are far from each other in edit-distance. This is the first extremal result for a hypergraph family that fails to have a corresponding stability theorem.
Finding Modular Functions for Ramanujan-Type Identities
Published
• View Publication
• BIB
This paper is concerned with a class of partition functions $a(n)$ introduced by Radu and defined in terms of eta-quotients. By utilizing the transformation laws of Newman, Schoeneberg and Robins, and Radu's algorithms, we present an algorithm to find Ramanujan-type identities for $a(mn+t)$. While this algorithm is not guaranteed to succeed, it applies to many cases. For example, we deduce a witness identity for $p(11n+6)$ with integer coefficients. Our algorithm also leads to Ramanujan-type identities for the overpartition functions $\overline{p}(5n+2)$ and $\overline{p}(5n+3)$ and Andrews--Paule's broken $2$-diamond partition functions $\triangle_{2}(25n+14)$ and $\triangle_{2}(25n+24)$. It can also be extended to derive Ramanujan-type identities on a more general class of partition functions. For example, it yields the Ramanujan-type identities on Andrews' singular overpartition functions $\overline{Q}_{3,1}(9n+3)$ and $ \overline{Q}_{3,1}(9n+6)$ due to Shen, the $2$-dissection formulas of Ramanujan and the $8$-dissection formulas due to Hirschhorn.
Bases for Quotients of Symmetric Polynomials
We create several families of bases for the symmetric polynomials. From these bases we prove that certain Schur symmetric polynomials form a basis for quotients of symmetric polynomials that generalize the cohomology and the quantum cohomology of the Grassmannian. Our work also provides an alternative proof of a result due to Grinberg.
Partitionable sets, almost partitionable sets and their applications
Published
• View Publication
• BIB
This paper introduces almost partitionable sets to generalize the known concept of partitionable sets. These notions provide a unified frame to construct $\mathbb{Z}$-cyclic patterned starter whist tournaments and cyclic balanced sampling plans excluding contiguous units. The existences of partitionable sets and almost partitionable sets are investigated. As an application, a large number of optical orthogonal codes achieving the Johnson bound or the Johnson bound minus one are constructed.
Compatibility degree of cluster complexes
Published
• View Publication
• BIB
We introduce a new function on the set of pairs of cluster variables via $f$-vectors, which we call it the compatibility degree (of cluster complexes). The compatibility degree is a natural generalization of the classical compatibility degree introduced by Fomin and Zelevinsky. In particular, we prove that the compatibility degree has the duality property, the symmetry property, the embedding property and the compatibility property, which the classical one has. We also conjecture that the compatibility degree has the exchangeability property. As pieces of evidence of this conjecture, we establish the exchangeability property for cluster algebras of rank 2, acyclic skew-symmetric cluster algebras, cluster algebras arising from weighted projective lines, and cluster algebras arising from marked surfaces.
Double Affine Bruhat Order
Published
• View Publication
• BIB
We classify cocovers and covers of a given element of the double affine Weyl semigroup W with respect to the Bruhat order, specifically when W is associated to a finite root system that is irreducible and simply laced. We show two approaches: one extending the work of Lam and Shimozono, and its strengthening by Milicevic, where cocovers are characterized in the affine case using the quantum Bruhat graph of the finite Weyl group, and another, which takes a more geometrical approach by using the length difference set defined by Muthiah and Orr.
A Random-Line-Graph Approach to Overlapping Line Segments
Published in J. Complex Netw. 8, cnaa029 (2020)
• View Publication
• BIB
We study graphs that are formed by independently-positioned needles (i.e., line segments) in the unit square. To mathematically characterize the graph structure, we derive the probability that two line segments intersect and determine related quantities such as the distribution of intersections, given a certain number of line segments $N$. We interpret intersections between line segments as nodes and connections between them as edges in a spatial network that we refer to as random-line graph (RLG). Using methods from the study of random-geometric graphs, we show that the probability of RLGs to be connected undergoes a sharp transition if the number of lines exceeds a threshold $N^*$.
Bollobás type theorems for hemi-bundled two families
Published in European Journal of Combinatorics, 2021
• View Publication
• BIB
Let $\{(A_i,B_i)\}_{i=1}^{m}$ be a collection of pairs of sets with $|A_i|=a$ and $|B_i|=b$ for $1\leq i\leq m$. Suppose that $A_i\cap B_j=\emptyset$ if and only if $i=j$, then by the famous Bollobás theorem, we have the size of this collection $m\leq {a+b\choose a}$. In this paper, we consider a variant of this problem by setting $\{A_i\}_{i=1}^{m}$ to be intersecting additionally. Using exterior algebra method, we prove a weighted Bollobás type theorem for finite dimensional real vector spaces under these constraints. As a consequence, we have a similar theorem for finite sets, which settles a recent conjecture of Gerbner et. al \cite{GKMNPTX2019}. Moreover, we also determine the unique extremal structure of $\{(A_i,B_i)\}_{i=1}^{m}$ for the primary case of the theorem for finite sets.
Mixing time trichotomy in regenerating dynamic digraphs
Published
• View Publication
• BIB
We study convergence to stationarity for random walks on dynamic random digraphs with given degree sequences. The digraphs undergo full regeneration at independent geometrically distributed random time intervals with parameter $α$. Relaxation to stationarity is the result of a competition between regeneration and mixing on the static digraph. When the number of vertices $n$ tends to infinity and the parameter $α$ tends to zero, we find three scenarios according to whether $α\log n$ converges to zero, infinity or to some finite positive value: when the limit is zero, relaxation to stationarity occurs in two separate stages, the first due to mixing on the static digraph, and the second due to regeneration; when the limit is infinite, there is not enough time for the static digraph to mix and the relaxation to stationarity is dictated by the regeneration only; finally, when the limit is a finite positive value we find a mixed behaviour interpolating between the two extremes. A crucial ingredient of our analysis is the control of suitable approximations for the unknown stationary distribution.
The Longest $(s, t)$-paths of $O$-shaped Supergrid Graphs
In this paper, we continue the study of the Hamiltonian and longest $(s, t)$-paths of supergrid graphs. The Hamiltonian $(s, t)$-path of a graph is a Hamiltonian path between any two given vertices $s$ and $t$ in the graph, and the longest $(s, t)$-path is a simple path with the maximum number of vertices from $s$ to $t$ in the graph. A graph holds Hamiltonian connected property if it contains a Hamiltonian $(s, t)$-path. These two problems are well-known NP-complete for general supergrid graphs. An $O$-shaped supergrid graph is a special kind of a rectangular grid graph with a rectangular hole. In this paper, we first prove the Hamiltonian connectivity of $O$-shaped supergrid graphs except few conditions. We then show that the longest $(s, t)$-path of an $O$-shaped supergrid graph can be computed in linear time. The Hamiltonian and longest $(s, t)$-paths of $O$-shaped supergrid graphs can be applied to compute the minimum trace of computerized embroidery machine and 3D printer when a hollow object is printed.