Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Braided dendriform and tridendriform algebras and braided Hopf algebras of planar trees
Published in J. Algebraic Combin. 53 (2021), 1147-1185
• View Publication
• BIB
This paper introduces the braidings of dendriform algebras and tridendriform algebras. By studying free braided dendriform algebras, we obtain braidings of the Hopf algebras of Loday and Ronco of planar binary rooted trees. We also give a variation of the braiding of Foissy for the noncommutative Connes-Kreimer (a.k.a the Foissy-Holtkamp) Hopf algebra of planar rooted forests so that the well-known isomorphism between this Hopf algebra and the Loday-Ronco Hopf algebra is extended to the braided context. As free braided tridendriform algebras, we also give braided extension of the Hopf algebra of Loday and Ronco on planar rooted trees.
On Gupta's Co-density Conjecture
Let $G=(V,E)$ be a multigraph. The {\em cover index} $ξ(G)$ of $G$ is the greatest integer $k$ for which there is a coloring of $E$ with $k$ colors such that each vertex of $G$ is incident with at least one edge of each color. Let $δ(G)$ be the minimum degree of $G$ and let $Φ(G)$ be the {\em co-density} of $G$, defined by \[Φ(G)=\min \Big\{\frac{2|E^+(U)|}{|U|+1}:\,\, U \subseteq V, \,\, |U|\ge 3 \hskip 2mm {\rm and \hskip 2mm odd} \Big\},\] where $E^+(U)$ is the set of all edges of $G$ with at least one end in $U$. It is easy to see that $ξ(G) \le \min\{δ(G), \lfloor Φ(G) \rfloor\}$. In 1978 Gupta proposed the following co-density conjecture: Every multigraph $G$ satisfies $ξ(G)\ge \min\{δ(G)-1, \, \lfloor Φ(G) \rfloor\}$, which is the dual version of the Goldberg-Seymour conjecture on edge-colorings of multigraphs. In this note we prove that $ξ(G)\ge \min\{δ(G)-1, \, \lfloor Φ(G) \rfloor\}$ if $Φ(G)$ is not integral and $ξ(G)\ge \min\{δ(G)-2, \, \lfloor Φ(G) \rfloor-1\}$ otherwise. We also show that this co-density conjecture implies another conjecture concerning cover index made by Gupta in 1967.
The super-connectivity of Johnson graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 1, Graph Theory (April 14, 2020) dmtcs:5600
• View Publication
• BIB
For positive integers $n,k$ and $t$, the uniform subset graph $G(n, k, t)$ has all $k$-subsets of $\{1,2,\ldots, n\}$ as vertices and two $k$-subsets are joined by an edge if they intersect at exactly $t$ elements. The Johnson graph $J(n,k)$ corresponds to $G(n,k,k-1)$, that is, two vertices of $J(n,k)$ are adjacent if the intersection of the corresponding $k$-subsets has size $k-1$. A super vertex-cut of a connected graph is a set of vertices whose removal disconnects the graph without isolating a vertex and the super-connectivity is the size of a minimum super vertex-cut. In this work, we fully determine the super-connectivity of the family of Johnson graphs $J(n,k)$ for $n\geq k\geq 1$.
On the quantum symmetry of distance-transitive graphs
Published in Advances in Mathematics, 368:107150, 2020
• View Publication
• BIB
In this article, we study quantum automorphism groups of distance-transitive graphs. We show that the odd graphs, the Hamming graphs $H(n,3)$, the Johnson graphs $J(n,2)$ and the Kneser graphs $K(n,2)$ do not have quantum symmetry. We also give a table with the quantum automorphism groups of all cubic distance-transitive graphs. Furthermore, with one graph missing, we can now decide whether or not a distance-regular graph of order $\leq 20$ has quantum symmetry. Moreover, we prove that the Hoffman-Singleton graph has no quantum symmetry. On a final note, we present an example of a pair of graphs with the same intersection array (the Shrikhande graph and the $4 \times 4$ rook's graph), where one of them has quantum symmetry and the other one does not.
Star Coloring of the Cartesian Product of Cycles
A proper vertex coloring of a graph $G$ is called a star coloring if every two color classes induce a forest whose each component is a star, which means there is no bicolored $P_4$ in $G$. In this paper, we show that the Cartesian product of any two cycles, except $C_3 \square C_3$ and $C_3 \square C_5$, has a $5$-star coloring.
A parametrized Poincare-Hopf Theorem and Clique Cardinalities of graphs
Given a locally injective real function g on the vertex set V of a finite simple graph G=(V,E), we prove the Poincare-Hopf formula f_G(t) = 1+t sum_{x in V} f_{S_g(x)}(t), where S_g(x) = { y in S(x), g(y) less than g(x) } and f_G(t)=1+f_0 t + ... + f_{d} t^{d+1} is the f-function encoding the f-vector of a graph G, where f_k counts the number of k-dimensional cliques, complete sub-graphs, in G. The corresponding computation of f reduces the problem recursively to n tasks of graphs of half the size. For t=-1, the parametric Poincare-Hopf formula reduces to the classical Poincare-Hopf result X(G)=sum_x i_g(x), with integer indices i_g(x)=1-X(S_g(x)) and Euler characteristic X. In the new Poincare-Hopf formula, the indices are integer polynomials and the curvatures K_x(t) expressed as index expectations K_x(t) = E[i_x(t)] are polynomials with rational coefficients. Integrating the Poincare-Hopf formula over probability spaces of functions g gives Gauss-Bonnet formulas like f_G(t) = 1+sum_{x} F_{S(x)}(t), where F_G is the anti-derivative of f_G. A similar computation is done for the generating function f_{G,H}(t,s) = sum_{k,l} f_{k,l}(G,H) s^k t^l of the f-intersection matrix f_{k,l}(G,H) counting the number of intersections of k-simplices in G with l-simplices in H. Also here, the computation is reduced to 4 n^2 computations for graphs of half the size: f_{G,H}(t,s) = sum_{v,w} f_{B_g(v),B_g(w)}(t,s) - f_{B_g(v),S_g(w)}(t,s) - f_{S_g(v),B_g(w)}(t,s) + f_{S_g(v),S_g(w)}(t,s), where B_g(v)= S_g(v)+{v} is the unit ball of v.
A characteristic map for the symmetric space of symplectic forms over a finite field
Published
• View Publication
• BIB
The characteristic map for the symmetric group is an isomorphism relating the representation theory of the symmetric group to symmetric functions. An analogous isomorphism is constructed for the symmetric space of symplectic forms over a finite field, with the spherical functions being sent to Macdonald polynomials with parameters $(q,q^2)$. An analogue of parabolic induction is interpreted as a certain multiplication of symmetric functions. Applications are given to Schur-positivity of skew Macdonald polynomials with parameters $(q,q^2)$ as well as combinatorial formulas for spherical function values.
A Fundamental Group for Digital Images
Published
• View Publication
• BIB
We define a fundamental group for digital images. Namely, we construct a functor from digital images to groups, which closely resembles the ordinary fundamental group from algebraic topology. Our construction differs in several basic ways from previously established versions of a fundamental group in the digital setting. Our development gives a prominent role to subdivision of digital images. We show that our fundamental group is preserved by subdivision.
Notes on Biadjoint Amplitudes, ${\rm Trop}\,G(3,7)$ and $X(3,7)$ Scattering Equations
Published
• View Publication
• BIB
In these notes we use the recently found relation between facets of tropical Grassmannians and generalizations of Feynman diagrams to compute all "biadjoint amplitudes" for $n=7$ and $k=3$. We also study scattering equations on $X(3,7)$, the configuration space of seven points on $\mathbb{CP}^2$. We prove that the number of solutions is $1272$ in a two-step process. In the first step we obtain $1162$ explicit solutions to high precision using near-soft kinematics. In the second step we compute the matrix of $360\times 360$ biadjoint amplitudes obtained by using the facets of ${\rm Trop}\, G(3,7)$, subtract the result from using the $1162$ solutions and compute the rank of the resulting matrix. The rank turns out to be $110$, which proves that the number of solutions in addition to the $1162$ explicit ones is exactly $110$.
Linear extension numbers of $n$-element posets
Published
• View Publication
• BIB
We address the following natural but hitherto unstudied question: what are the possible linear extension numbers of an $n$-element poset? Let $\mathbf{LE}(n)$ denote the set of all positive integers that arise as the number of linear extensions of some $n$-element poset. We show that $\mathbf{LE}(n)$ skews towards the "small" end of the interval $[1,n!]$. More specifically, $\mathbf{LE}(n)$ contains all of the positive integers up to $\exp\left(c\frac{n}{\log n}\right)$ for some absolute constant $c$, and $|\mathbf{LE}(n) \cap ((n-1)!,n!]|<(n-3)!$. The proof of the former statement involves some intermediate number-theoretic results about the Stern-Brocot tree that are of independent interest.
Exact Crossing Number Parameterized by Vertex Cover
We prove that the exact crossing number of a graph can be efficiently computed for simple graphs having bounded vertex cover. In more precise words, Crossing Number is in FPT when parameterized by the vertex cover size. This is a notable advance since we know only very few nontrivial examples of graph classes with unbounded and yet efficiently computable crossing number. Our result can be viewed as a strengthening of a previous result of Lokshtanov [arXiv, 2015] that Optimal Linear Arrangement is in FPT when parameterized by the vertex cover size, and we use a similar approach of reducing the problem to a tractable instance of Integer Quadratic Programming as in Lokshtanov's paper.
Optimal $q$-Ary Error Correcting/All Unidirectional Error Detecting Codes
Published in IEEE Trans. Inform. Theory, Vol. 64, No 8, 2018, pp. 5806-5812
• Search Publication
Codes that can correct up to $t$ symmetric errors and detect all unidirectional errors, known as $t$-EC-AUED codes, are studied in this paper. Given positive integers $q$, $a$ and $t$, let $n_q(a,t+1)$ denote the length of the shortest $q$-ary $t$-EC-AUED code of size $a$. We introduce combinatorial constructions for $q$-ary $t$-EC-AUED codes via one-factorizations of complete graphs, and concatenation of MDS codes and codes from resolvable set systems. Consequently, we determine the exact values of $n_q(a,t+1)$ for several new infinite families of $q,a$ and $t$.
Combinatorial generation via permutation languages. I. Fundamentals
Published
• View Publication
• BIB
In this work we present a general and versatile algorithmic framework for exhaustively generating a large variety of different combinatorial objects, based on encoding them as permutations. This approach provides a unified view on many known results and allows us to prove many new ones. In particular, we obtain four classical Gray codes for permutations, bitstrings, binary trees and set partitions as special cases. We present two distinct applications for our new framework: The first main application is the generation of pattern-avoiding permutations, yielding new Gray codes for different families of permutations that are characterized by the avoidance of certain classical patterns, (bi)vincular patterns, barred patterns, boxed patterns, Bruhat-restricted patterns, mesh patterns, monotone and geometric grid classes, and many others. We also obtain new Gray codes for all the combinatorial objects that are in bijection to these permutations, in particular for five different types of geometric rectangulations, also known as floorplans, which are divisions of a square into $n$ rectangles subject to certain restrictions. The second main application of our framework are lattice congruences of the weak order on the symmetric group $S_n$. Recently, Pilaud and Santos realized all those lattice congruences as $(n-1)$-dimensional polytopes, called quotientopes, which generalize hypercubes, associahedra, permutahedra etc. Our algorithm generates the equivalence classes of each of those lattice congruences, by producing a Hamilton path on the skeleton of the corresponding quotientope, yielding a constructive proof that each of these highly symmetric graphs is Hamiltonian. We thus also obtain a provable notion of optimality for the Gray codes obtained from our framework: They translate into walks along the edges of a polytope.
Complexity of Dependencies in Bounded Domains, Armstrong Codes, and Generalizations
Published in IEEE Trans. Inform. Theory, Vol. 61, No 02, 2015, pp. 812--819
• View Publication
• BIB
The study of Armstrong codes is motivated by the problem of understanding complexities of dependencies in relational database systems, where attributes have bounded domains. A $(q,k,n)$-Armstrong code is a $q$-ary code of length $n$ with minimum Hamming distance $n-k+1$, and for any set of $k-1$ coordinates there exist two codewords that agree exactly there. Let $f(q,k)$ be the maximum $n$ for which such a code exists. In this paper, $f(q,3)=3q-1$ is determined for all $q\geq 5$ with three possible exceptions. This disproves a conjecture of Sali. Further, we introduce generalized Armstrong codes for branching, or $(s,t)$-dependencies, construct several classes of optimal Armstrong codes and establish lower bounds for the maximum length $n$ in this more general setting.
On the Djoković-Winkler relation and its closure in subdivisions of fullerenes, triangulations, and chordal graphs
It was recently pointed out that certain SiO$_2$ layer structures and SiO$_2$ nanotubes can be described as full subdivisions aka subdivision graphs of partial cubes. A key tool for analyzing distance-based topological indices in molecular graphs is the Djoković-Winkler relation $Θ$ and its transitive closure $Θ^\ast$. In this paper we study the behavior of $Θ$ and $Θ^\ast$ with respect to full subdivisions. We apply our results to describe $Θ^\ast$ in full subdivisions of fullerenes, plane triangulations, and chordal graphs.
The Application of Tridiagonal Matrices in P-polynomial Table Algebras
Published
• View Publication
• BIB
In this paper, we study the characters of two classes of P-polynomial table algebras using tridiagonal matrices.
To this end, we obtain some results about the eigen-structure of special tridiagonal matrices. We also find a recursive relation for the characteristic polynomial of the first intersection matrix of P-polynomial table algebras by means of LU factorization.
2-systems of arcs on spheres with prescribed endpoints
Published
• View Publication
• BIB
Let $S$ be an $n$-punctured sphere, with $n \geq 3$. We prove that $\binom{n}{3}$ is the maximum size of a family of pairwise non-homotopic simple arcs on $S$ joining a fixed pair of distinct punctures of $S$ and pairwise intersecting at most twice. On the way, we show that a square annular diagram $A$ has a corner on each of its boundary paths if $A$ contains at least one square and the dual curves of $A$ are simple arcs joining the boundary paths of $A$ and pairwise intersecting at most once.
How tree-based is my network? Proximity measures for unrooted phylogenetic networks
Published
• View Publication
• BIB
Tree-based networks are a class of phylogenetic networks that attempt to formally capture what is meant by "tree-like" evolution. A given non-tree-based phylogenetic network, however, might appear to be very close to being tree-based, or very far. In this paper, we formalise the notion of proximity to tree-based for unrooted phylogenetic networks, with a range of proximity measures. These measures also provide characterisations of tree-based networks. One measure in particular, related to the nearest neighbour interchange operation, allows us to define the notion of "tree-based rank". This provides a subclassification within the tree-based networks themselves, identifying those networks that are "very" tree-based. Finally, we prove results relating tree-based networks in the settings of rooted and unrooted phylogenetic networks, showing effectively that an unrooted network is tree-based if and only if it can be made a rooted tree-based network by rooting it and orienting the edges appropriately. This leads to a clarification of the contrasting decision problems for tree-based networks, which are polynomial in the rooted case but NP complete in the unrooted.
Morphisms generating antipalindromic words
We introduce two classes of morphisms over the alphabet $A=\{0,1\}$ whose fixed points contain infinitely many antipalindromic factors. An antipalindrome is a finite word invariant under the action of the antimorphism $\mathrm{E}:\{0,1\}^*\to\{0,1\}^*$, defined by $\mathrm{E}(w_1\cdots w_n)=(1-w_{n})\cdots(1-w_1)$. We conjecture that these two classes contain all morphisms (up to conjugation) which generate infinite words with infinitely many antipalindromes. This is an analogue to the famous HKS conjecture concerning infinite words containing infinitely many palindromes. We prove our conjecture for two special classes of morphisms, namely (i) uniform morphisms and (ii) morphisms with fixed points containing also infinitely many palindromes.
On the Degree Sequences of Multigraphs with Edge Additions and Deletions
The degree sequence of a graph is a numerical method to characterize the properties of graphs. Generalized forms of degree sequences exist for complete graphs and complete graphs. Nikolopolus et al. characterized the number of spanning trees from edge deletions and edge additions. Instead of investigating the number of spanning trees of graphs that arise from edge additions and deletions, we sought to characterize degree sequences of such graphs. We conjecture a characterization for the degree sequence of the addition and edge deletion for many families of graphs including threshold graphs and complete multigraphs.
Keywords: multigraphs, split graphs, degree sequence, threshold graph, Havel-Hakimi, Ruch-Gutman, Edge Deletion