Showing 20 papers (Total: 84460 papers, 48641 authors in database)
The two higher Stasheff-Tamari orders are equal
Published
• View Publication
• BIB
The set of triangulations of a cyclic polytope possesses two a priori different partial orders, known as the higher Stasheff-Tamari orders. The first of these orders was introduced by Kapranov and Voevodsky, while the second order was introduced by Edelman and Reiner, who also conjectured the two to coincide in 1996. In this paper we prove their conjecture, thereby substantially increasing our understanding of these orders. This result also has ramifications in the representation theory of algebras, as established in previous work of the author. Indeed, it means that the two corresponding orders on tilting modules, cluster-tilting objects and their maximal chains are equal for the higher Auslander algebras of type $A$.
Identities for the Euler polynomials, $p$-adic integrals and Witt's formula
By using Cauchy's formula, it is known that Bernoulli numbers and Euler numbers can be represented by the contour integrals \begin{equation*} \begin{aligned} B_n&=\frac{n!}{2πi}\oint \frac{z}{e^z-1}\frac{d z}{z^{n+1}},\label{condefi}\\[4pt] E_n&=\frac{n!}{2πi}\oint \frac{2e^z}{e^{2z}+1}\frac{d z}{z^{n+1}}, \end{aligned} \end{equation*} while the following Witt's formula represents Euler polynomials through the fermionic $p$-adic integrals
$$E_n(a)=\int_{\mathbb Z_p}(x+a)^ndμ_{-1}(x).$$
Base on the above Witt's identity and the binomial theorem, we prove some new identities for the Euler polynomials briefly. In particular, some symmetry properties of Euler polynomials have been discovered, which implies many interesting identities (known or unknown), including the Kaneko-Momiyama type identities (shown by Wu, Sun, and Pan) and the Alzer-Kwong type identity for Euler polynomials.
Some remarks on even-hole-free graphs
Published
• View Publication
• BIB
A vertex of a graph is bisimplicial if the set of its neighbors is the union of two cliques; a graph is quasi-line if every vertex is bisimplicial. A recent result of Chudnovsky and Seymour asserts that every non-empty even-hole-free graph has a bisimplicial vertex. Both Hadwiger's conjecture and the Erdős-Lovász Tihany conjecture have been shown to be true for quasi-line graphs, but are open for even-hole-free graphs. In this note, we prove that for all $k\ge7$, every even-hole-free graph with no $K_k$ minor is $(2k-5)$-colorable; every even-hole-free graph $G$ with $ω(G)<χ(G)=s+t-1$ satisfies the Erdős-Lovász Tihany conjecture provided that $ t\ge s> χ(G)/3$. Furthermore, we prove that every $9$-chromatic graph $G$ with $ω(G)\le 8$ has a $K_4\cup K_6$ minor. Our proofs rely heavily on the structural result of Chudnovsky and Seymour on even-hole-free graphs.
Counting Lyndon Subsequences
Counting substrings/subsequences that preserve some property (e.g., palindromes, squares) is an important mathematical interest in stringology. Recently, Glen et al. studied the number of Lyndon factors in a string. A string $w = uv$ is called a Lyndon word if it is the lexicographically smallest among all of its conjugates $vu$. In this paper, we consider a more general problem "counting Lyndon subsequences". We show (1) the maximum total number of Lyndon subsequences in a string, (2) the expected total number of Lyndon subsequences in a string, (3) the expected number of distinct Lyndon subsequences in a string.
Decidability of the satisfiability problem for Boolean set theory with the unordered Cartesian product operator
Published
• View Publication
• BIB
The satisfiability problem for multilevel syllogistic extended with the Cartesian product operator (MLSC) is a long-standing open problem in computable set theory. For long, it was not excluded that such a problem were undecidable, due to its remarkable resemblance with the well-celebrated Hilbert's tenth problem, as it was deemed reasonable that union of disjoint sets and Cartesian product might somehow play the roles of integer addition and multiplication.
To dispense with nonessential technical difficulties, we report here about a positive solution to the satisfiability problem for a slight simplified variant of MLSC, yet fully representative of the combinatorial complications due to the presence of the Cartesian product, in which membership is not present and the Cartesian product operator is replaced with its unordered variant.
We are very confident that such decidability result can be generalized to full MLSC, though at the cost of considerable technicalities.
Integral mixed circulant graph
Published
• View Publication
• BIB
A mixed graph is said to be \textit{integral} if all the eigenvalues of its Hermitian adjacency matrix are integer. The \textit{mixed circulant graph} $Circ(\mathbb{Z}_n,\mathcal{C})$ is a mixed graph on the vertex set $\mathbb{Z}_n$ and edge set $\{ (a,b): b-a\in \mathcal{C} \}$, where $0\not\in \mathcal{C}$. If $\mathcal{C}$ is closed under inverse, then $Circ(\mathbb{Z}_n,\mathcal{C})$ is called a \textit{circulant graph}. We express the eigenvalues of $Circ(\mathbb{Z}_n,\mathcal{C})$ in terms of primitive $n$-th roots of unity, and find a sufficient condition for integrality of the eigenvalues of $Circ(\mathbb{Z}_n,\mathcal{C})$. For $n\equiv 0 \Mod 4$, we factorize the cyclotomic polynomial into two irreducible factors over $\mathbb{Q}(i)$. Using this factorization, we characterize integral mixed circulant graphs in terms of its symbol set. We also express the integer eigenvalues of an integral oriented circulant graph in terms of a Ramanujan type sum, and discuss some of their properties.
Enumeration of Switching Non-isomorphic Signed Wheels
Two signed graphs are called switching isomorphic to each other if one is isomorphic to a switching of the other. The wheel $W_n$ is the join of the cycle $C_n$ and a vertex. For $0 \leq p \leq n$, $ψ_{p}(n)$ is defined to be the number of switching non-isomorphic signed $W_n$ with exactly $p$ negative edges on $C_n$. The number of switching non-isomorphic signed $W_n$ is denoted by $ψ(n)$. In this paper, we compute the values of $ψ_{p}(n)$ for $p=0,1,2,3,4,n-4,n-3,n-2,n-1,n$ and of $ψ(n)$ for $n=4,5,...,10$. Our method of obtaining $ψ_{p}(n)$ not only count the switching non-isomorphic signed wheels but also generates them.
Symbol Alphabets from Tensor Diagrams
Published
• View Publication
• BIB
We propose to use tensor diagrams and the Fomin-Pylyavskyy conjectures to explore the connection between symbol alphabets of $n$-particle amplitudes in planar $\mathcal{N}=4$ Yang-Mills theory and certain polytopes associated to the Grassmannian G(4, $n$). We show how to assign a web (a planar tensor diagram) to each facet of these polytopes. Webs with no inner loops are associated to cluster variables (rational symbol letters). For webs with a single inner loop we propose and explicitly evaluate an associated web series that contains information about algebraic symbol letters. In this manner we reproduce the results of previous analyses of $n \le 8$, and find that the polytope $\mathcal{C}^\dagger(4,9)$ encodes all rational letters, and all square roots of the algebraic letters, of known nine-particle amplitudes.
All-orders asymptotics of tensor model observables from symmetries of restricted partitions
Published
• View Publication
• BIB
The counting of the dimension of the space of $U(N) \times U(N) \times U(N)$ polynomial invariants of a complex $3$-index tensor as a function of degree $n$ is known in terms of a sum of squares of Kronecker coefficients. For $n \le N$, the formula can be expressed in terms of a sum of symmetry factors of partitions of $n$ denoted $Z_3(n)$. We derive the large $n$ all-orders asymptotic formula for $ Z_3(n)$ making contact with high order results previously obtained numerically. The derivation relies on the dominance in the sum, of partitions with many parts of length $1$. The dominance of other small parts in restricted partition sums leads to related asymptotic results. The result for the $3$-index tensor observables gives the large $n$ asymptotic expansion for the counting of bipartite ribbon graphs with $n$ edges, and for the dimension of the associated Kronecker permutation centralizer algebra. We explain how the different terms in the asymptotics are associated with probability distributions over ribbon graphs. The large $n$ dominance of small parts also leads to conjectured formulae for the asymptotics of invariants for general $d$-index tensors. The coefficients of $ 1/n$ in these expansions involve Stirling numbers of the second kind along with restricted partition sums.
On the hat guessing number of a planar graph class
Published
• View Publication
• BIB
The hat guessing number is a graph invariant based on a hat guessing game introduced by Winkler. Using a new vertex decomposition argument involving an edge density theorem of Erdős for hypergraphs, we show that the hat guessing number of all outerplanar graphs is less than $2^{125000}$. We also define the class of layered planar graphs, which contains outerplanar graphs, and we show that every layered planar graph has bounded hat guessing number.
On an integral representation of the normalized trace of the $k$-th symmetric tensor power of matrices and some applications
Published
• View Publication
• BIB
Let $A$ be an $n\times n$ matrix and let $\vee^k A$ be its $k$-th symmetric tensor product. We express the normalized trace of $\vee^k A$ as an integral of the $k$-th powers of the numerical values of $A$ over the unit sphere $\mathbb{S}^{n}$ of $\mathbb{C}^{n}$ with respect to the normalized Euclidean surface measure. Equivalently, this expression in turn can be interpreted as an integral representation for the (normalized) complete symmetric polynomials over $\mathbb{C}^n$. As applications, we present a new proof for the MacMahon Master Theorem in enumerative combinatorics. Then, our next application deals with a generalization of the work of Cuttler et al. in \cite{cuttler} concerning the monotonicity of products of complete symmetric polynomials. In the process, we give a solution to an open problem that was raised by I. Rovenţa and L. E. Temereanca in \cite{roventa}.
Planar graphs without short even cycles are near-bipartite
Published in Discrete Applied Mathematics, 284 (2020), 626-630
• View Publication
• BIB
A graph is {\em near-bipartite} if its vertex set can be partitioned into an independent set and a set that induces a forest. It is clear that near-bipartite graphs are $3$-colorable. In this note, we show that planar graphs without cycles of lengths in $\{4, 6, 8\}$ are near-bipartite.
Combinatorial necessary conditions for regular graphs to induce periodic quantum walks
Published in Linear Algebra and its Applications, Volume 673, Pages 259-279 (2023)
• View Publication
• BIB
We derive combinatorial necessary conditions for discrete-time quantum walks defined by regular mixed graphs to be periodic. If the quantum walk is periodic, all the eigenvalues of the time evolution matrices must be algebraic integers. Focusing on this, we explore which ring the coefficients of the characteristic polynomials should belong to. On the other hand, the coefficients of the characteristic polynomials of $η$-Hermitian adjacency matrices have combinatorial implications. From these, we can find combinatorial implications in the coefficients of the characteristic polynomials of the time evolution matrices, and thus derive combinatorial necessary conditions for mixed graphs to be periodic. For example, if a $k$-regular mixed graph with $n$ vertices is periodic, then $2n/k$ must be an integer. As an application of this work, we determine periodicity of mixed complete graphs and mixed graphs with a prime number of vertices.
Construction of simplicial complexes with prescribed degree-size sequences
Published in Phys. Rev. E 104, L042303 (2021)
• View Publication
• BIB
We study the realizability of simplicial complexes with a given pair of integer sequences, representing the node degree distribution and the facet size distribution, respectively. While the $s$-uniform variant of the problem is $\mathsf{NP}$-complete when $s \geq 3$, we identify two populations of input sequences, most of which can be solved in polynomial time using a recursive algorithm that we contribute. Combining with a sampler for the simplicial configuration model [J.-G. Young $\textit{et al.}$, Phys. Rev. E $\textbf{96}$, 032312 (2017)], we facilitate the efficient sampling of simplicial ensembles from arbitrary degree and size distributions. We find that, contrary to expectations based on dyadic networks, increasing the nodes' degrees reduces the number of loops in simplicial complexes. Our work unveils a fundamental constraint on the degree-size sequences and sheds light on further analysis of higher-order phenomena based on local structures.
A note on extremal digraphs containing at most $t$ walks of length $k$ with the same endpoints
Published
• View Publication
• BIB
Let $n,k,t$ be positive integers. What is the maximum number of arcs in a digraph on $n$ vertices in which there are at most $t$ distinct walks of length $k$ with the same endpoints? In this paper, we prove that the maximum number is equal to $n(n-1)/2$ and the extremal digraph are the transitive tournaments when $k\ge n-1\ge \max\{2t+1,2\left\lceil \sqrt{2t+9/4}+1/2\right\rceil+3\}$. Based on this result, we may determine the maximum numbers and the extremal digraphs for $k\ge \max\{2t+1,2\left\lceil \sqrt{2t+9/4}+1/2\right\rceil+3\}$ and $n$ is sufficiently large, which generalises the existing results. A conjecture is also presented.
Maximal perimeter and maximal width of a convex small polygon
A small polygon is a polygon of unit diameter. The maximal perimeter and the maximal width of a convex small polygon with $n=2^s$ sides are unknown when $s \ge 4$. In this paper, we propose an approach to construct convex small $n$-gons of large perimeter and large width when $n=2^s$ with $s\ge 2$. Assuming the existence of an axis of symmetry, a convex small $n$-gon is described as a composition of $n/2$ and both its perimeter and its width are given as functions of a single variable. By selecting the composition that minimizes the violation of a cycle constraint by a particular solution, the $n$-gons constructed outperform the best $n$-gons found in the literature. For example, for $n=64$, the perimeter and the width obtained are within $10^{-22}$ and $10^{-12}$ of the maximal perimeter and the maximal width, respectively. From our results, it appears that Mossinghoff's conjecture on the diameter graph of a convex small $2^s$-gon with maximal perimeter is not true when $s \ge 4$.
Spectral theory of weighted hypergraphs via tensors
Published
• View Publication
• BIB
One way to study an hypergraph is to attach to it a tensor. Tensors are a generalization of matrices, and they are an efficient way to encode information in a compact form. In this paper we study how properties of weighted hypergraphs are reflected on eigenvalues and eigenvectors of their associated tensors. We also show how to efficiently compute eingenvalues with some techniques from numerical algebraic geometry.
Approximate and exact results for the harmonious chromatic number
Published
• View Publication
• BIB
Graph colorings is a fundamental topic in graph theory that require an assignment of labels (or colors) to vertices or edges subject to various constraints. We focus on the harmonious coloring of a graph, which is a proper vertex coloring such that for every two distinct colors i, j at most one pair of adjacent vertices are colored with i and j. This type of coloring is edge-distinguishing and has potential applications in transportation network, computer network, airway network system.
The results presented in this paper fall into two categories: in the first part of the paper we are concerned with the computational aspects of finding a minimum harmonious coloring and in the second part we determine the exact value of the harmonious chromatic number for some particular graphs and classes of graphs. More precisely, in the first part we show that finding a minimum harmonious coloring for arbitrary graphs is APX-hard, the natural greedy algorithm is a $Ω(\sqrt{n})$-approximation, and, moreover, we show a relationship between the vertex cover and the harmonious chromatic number. In the second part we determine the exact value of the harmonious chromatic number for all 3-regular planar graphs of diameter 3, some non-planar regular graphs and cycle-related graphs.
Parallel edges in ribbon graphs and interpolating behavior of partial-duality polynomials
Published
• View Publication
• BIB
Recently, Gross, Mansour and Tucker introduced the partial-twuality polynomials. In this paper, we find that when there are enough parallel edges, any multiple graph is a negative answer to the problem 8.7 in their paper [European J. Combin. 95 (2021), 103329]: Is the restricted-orientable partial-Petrial polynomial of an arbitrary ribbon graph even-interpolating? In addition, we also find a counterexample to the conjecture 8.1 of Gross, Mansour and Tucker: If the partial-dual genus polynomial is neither an odd nor an even polynomial, then it is interpolating.
Suffix-connected languages
Published in Theoretical Computer Science 923 (2022), 126-143
• View Publication
• BIB
Inspired by a series of papers initiated in 2015 by Berthé et al., we introduce a new condition called suffix-connectedness. We show that the groups generated by the return sets of a uniformly recurrent suffix-connected language lie in a single conjugacy class of subgroups of the free group. Moreover, the rank of the subgroups in this conjugacy class only depends on the number of connected components in the extension graph of the empty word. We also show how to explicitly compute a representative of this conjugacy class using the first order Rauzy graph. Finally, we provide an example of suffix-connected, uniformly recurrent language that contains infinitely many disconnected words.