Showing 20 papers (Total: 84460 papers, 48641 authors in database)
On the Hopf algebra of multi-complexes
Published
• View Publication
• BIB
We introduce a general class of combinatorial objects, which we call \emph{multi-complexes}, which simultaneously generalizes graphs, multigraphs, hypergraphs and simplicial and delta complexes. We introduce a natural algebra of multi-complexes which is defined as the algebra which has a formal basis $\mathcal{C}$ of all isomorphism types of multi-complexes, and multiplication is to take the disjoint union. This is a Hopf algebra with an operation encoding the dissasembly information for such objects, and extends the Hopf algebra of graphs. In our main result, we explicitly describe here the structure of this Hopf algebra of multi-complexes $H$. We find an explicit basis $\mathcal{B}$ of the space of primitives, which is of combinatorial relevance: it is such that each multi-complex is a polynomial with non-negative integer coefficients of the elements of $\mathcal{B}$, and each $b\in\mathcal{B}$ is a polynomial with integer coefficients in $\mathcal{C}$. Using this, we find the cancellation and grouping free formula for the antipode. The coefficients appearing in all these polynomials are, up to signs, numbers counting multiplicities of sub-multi-complexes in a multi-complex. We also explicitly illustrate how our results specialize to the graph Hopf algebra, and observe how they specialize to results in all of the above mentioned particular cases. We also investigate applications of these results to the graph reconstruction conjectures, and rederive some results in the literature on these questions.
Constructing infinitely many half-arc-transitive covers of tetravalent graphs
Published
• View Publication
• BIB
We prove that, given a finite graph $Σ$ satisfying some mild conditions, there exist infinitely many tetravalent half-arc-transitive normal covers of $Σ$. Applying this result, we establish the existence of infinite families of finite tetravalent half-arc-transitive graphs with certain vertex stabilizers, and classify the vertex stabilizers up to order $2^8$ of finite connected tetravalent half-arc-transitive graphs. This sheds some new light on the longstanding problem of classifying the vertex stabilizers of finite tetravalent half-arc-transitive graphs.
A Combinatorial Identity for the p-Binomial Coefficient Based on Abelian Groups
Published in Moscow Journal of Combinatorics and Number Theory, Vol. 10 (2021), No. 1, 13-24
• View Publication
• BIB
For non-negative integers $k\leq n$, we prove a combinatorial identity for the $p$-binomial coefficient $\binom{n}{k}_p$ based on abelian p-groups. A purely combinatorial proof of this identity is not known. While proving this identity, for $r\in \mathbb{N}\cup\{0\},s\in \mathbb{N}$ and $p$ a prime, we present a purely combinatorial formula for the number of subgroups of $\mathbb{Z}^s$ of finite index $p^r$ with quotient isomorphic to the finite abelian $p$-group of type $\underlineλ$, which is a partition of $r$ into at most $s$ parts. This purely combinatorial formula is similar to that for the enumeration of subgroups of a certain type in a finite abelian $p$-group obtained by Lynne Marie Butler. As consequences, this combinatorial formula gives rise to many enumeration formulae that involve polynomials in $p$ with non-negative integer coefficients.
Extension of Paley Construction for Hadamard Matrix
We have extended the Paley constructions for Hadamard matrices and obtained some series of Hadamard matrices. Especially Paley construction-II is applicable for odd prime power q is congruent to 1(mod 4) however our method is applicable for any odd prime power. Some of which are non-isomorphic to the matrices obtained by standard Paley constructions, Sylvester construction, Williamson construction or combination of either of these constructions with Sylvester construction. In fact we have used the conference matrix of order prime power q in some different manner which is applicable for any odd prime power q or product of twin primes.
Encryption based on Conference Matrix
Published
• View Publication
• BIB
In this article, an encryption scheme based on (-1, 1) conference matrix has been developed. The decryption key comprising of fixed number of positive integers with prime power yields the high level security of message. Some popular attacks has been discussed in the context of cryptoanalysis and observed that it is robust against the popular cipher attack and the security of the information does not compromise.
On metric regularity of Reed-Muller codes
Published
• View Publication
• BIB
In this work we study metric properties of the well-known family of binary Reed-Muller codes. Let $A$ be an arbitrary subset of the Boolean cube, and $\widehat{A}$ be the metric complement of $A$ -- the set of all vectors of the Boolean cube at the maximal possible distance from $A$. If the metric complement of $\widehat{A}$ coincides with $A$, then the set $A$ is called a {\it metrically regular set}. The problem of investigating metrically regular sets appeared when studying {\it bent functions}, which have important applications in cryptography and coding theory and are also one of the earliest examples of a metrically regular set. In this work we describe metric complements and establish the metric regularity of the codes $\mathcal{RM}(0,m)$ and $\mathcal{RM}(k,m)$ for $k \geqslant m-3$. Additionally, the metric regularity of the codes $\mathcal{RM}(1,5)$ and $\mathcal{RM}(2,6)$ is proved. Combined with previous results by Tokareva N. (2012) concerning duality of affine and bent functions, this establishes the metric regularity of most Reed-Muller codes with known covering radius. It is conjectured that all Reed-Muller codes are metrically regular.
Uniformly most reliable three-terminal graph of dense graphs
Published
• View Publication
• BIB
A graph $G$ with $k$ specified target vertices in vertex set is a $k$-terminal graph. The $k$-terminal reliability is the connection probability of the fixed $k$ target vertices in a $k$-terminal graph when every edge of this graph survives independently with probability $p$. For the class of two-terminal graphs with a large number of edges, Betrand, Goff, Graves and Sun constructed a locally most reliable two-terminal graph for $p$ close to $1$, and illustrated by a counterexample that this locally most reliable graph is not the uniformly most reliable two-terminal graph. At the same time, they also determined that there is a uniformly most reliable two-terminal graph in the class obtained by deleting an edge from the complete graph with two target vertices. This article focuses on the uniformly most reliable three-terminal graph of dense graphs with $n$ vertices and $m$ edges. First, we give the locally most reliable three-terminal graphs of $n$ and $m$ in certain ranges for $p$ close to $0$ and $1$. Then, it is proved that there is no uniformly most reliable three-terminal graph with specific $n$ and $m$, where $n\geq7$ and $\binom{n}{2}-\lfloor\frac{n-3}{2}\rfloor\leq m\leq\binom{n}{2}-2$. Finally, some uniformly most reliable graphs are given for $n$ vertices and $m$ edges, where $4\leq n\leq 6$ and $m=\binom{n}{2}-2$ or $n\geq5$ and $m=\binom{n}{2}-1$.
On the Burning Number of $p$-Caterpillars
Published
• View Publication
• BIB
The burning number is a recently introduced graph parameter indicating the spreading speed of content in a graph through its edges. While the conjectured upper bound on the necessary numbers of time steps until all vertices are reached is proven for some specific graph classes it remains open for trees in general. We present two different proofs for ordinary caterpillars and prove the conjecture for a generalised version of caterpillars and for trees with a sufficient amount of leaves. Furthermore, determining the burning number for spider graphs, trees with maximum degree three and path-forests is known to be $\mathcal{NP}$-complete, however, we show that the complexity is already inherent in caterpillars with maximum degree three.
Multivariable Lucas Polynomials and Lucanomials
Lucas polynomials are polynomials in $s_1$ and $s_2$ defined recursively by $\{0\}=0$, $\{1\}=1$, and $\{m\}=s_1\{m-1\}+s_2\{m-2\}$ for $m \geq 2$. We generalize Lucas polynomials from 2-variable polynomials to multivariable polynomials. This is done by first defining $r$-Lucas polynomials $\{m\}_r$ in the variables $s_1$, $s_r$, and $s_{2r}$. We show that the binomial analogues of the $r$-Lucas polynomials are polynomial and give a combinatorial interpretation for them. We then extend the generalization of Lucas polynomials to an arbitrarily large set of variables. Recursively defined generating functions are given for these multivariable Lucas polynomials. We conclude by giving additional applications and insights.
Graph fractal dimension and structure of fractal networks: a combinatorial perspective
Published
• View Publication
• BIB
In this paper we study self-similar and fractal networks from the combinatorial perspective. We establish analogues of topological (Lebesgue) and fractal (Hausdorff) dimensions for graphs and demonstrate that they are naturally related to known graph-theoretical characteristics: rank dimension and product (or Prague or Nešetřil-Rödl) dimension. Our approach reveals how self-similarity and fractality of a network are defined by a pattern of overlaps between densely connected network communities. It allows us to identify fractal graphs, explore the relations between graph fractality, graph colorings and graph Kolmogorov complexity, and analyze the fractality of several classes of graphs and network models, as well as of a number of real-life networks. We demonstrate the application of our framework to evolutionary studies by revealing the growth of self-organization of heterogeneous viral populations over the course of their intra-host evolution, thus suggesting mechanisms of their gradual adaptation to the host's environment. As far as the authors know, the proposed approach is the first theoretical framework for study of network fractality within the combinatorial paradigm. The obtained results lay a foundation for studying fractal properties of complex networks using combinatorial methods and algorithms.
Cycle lengths in expanding graphs
Published
• View Publication
• BIB
For a positive constant $α$ a graph $G$ on $n$ vertices is called an $α$-expander if every vertex set $U$ of size at most $n/2$ has an external neighborhood whose size is at least $α\left|U\right|$. We study cycle lengths in expanding graphs. We first prove that cycle lengths in $α$-expanders are well distributed. Specifically, we show that for every $0<α\leq1$ there exist positive constants $n_{0}$, $C$ and $A=O(1/α)$ such that for every $α$-expander $G$ on $n\geq n_{0}$ vertices and every integer $\ell\in\left[C\log n,\frac{n}{C}\right]$, $G$ contains a cycle whose length is between $\ell$ and $\ell+A$; the order of dependence of the additive error term $A$ on $α$ is optimal. Secondly, we show that every $α$-expander on $n$ vertices contains $Ω\left(\frac{α^{3}}{\log\left(1/α\right)}\right)n$ different cycle lengths. Finally, we introduce another expansion-type property, guaranteeing the existence of a linearly long interval in the set of cycle lengths. For $β>0$ a graph $G$ on $n$ vertices is called a $β$-graph if every pair of disjoint sets of size at least $βn$ are connected by an edge. We prove that for every $β<1/20$ there exist positive constants $b_{1}=O\left(\frac{1}{\log\left(1/β\right)}\right)$ and $b_{2}=O\left(β\right)$ such that every $β$-graph $G$ on $n$ vertices contains a cycle of length $\ell$ for every integer $\ell\in\left[b_{1}\log n,(1-b_{2})n\right]$; the order of dependence of $b_{1}$ and $b_{2}$ on $β$ is optimal.
Another proof of the $1/N$ expansion of the rank three tensor model with tetrahedral interaction
The rank three tensor model with tetrahedral interaction was shown by Carrozza and Tanasa to admit a $1/N$ expansion, dominated by melonic diagrams, and double tadpoles decorated with melons at next-to-leading order. This model has generated a renewed interest in tensor models because it has the same large $N$ limit as the SYK model. In contrast with matrix models, there is no method which would be able to prove the existence of $1/N$ expansions in arbitrary tensor models. The method used by Carrozza and Tanasa proves the existence of the $1/N$ expansion using two-dimensional topology, before identifying the leading order and next-to-leading graphs. However, another method was required for complex, rank three tensor models with planar interactions, which is based on flips. The latter are moves which cut two propagators of Feynman graphs and reglue them differently. They allow transforming graphs while tracking their orders in the $1/N$ expansion. Here we use this method to re-prove the results of Carrozza and Tanasa, thereby proving the existence of the $1/N$ expansion, the melonic dominance at leading order and the melon-decorated double tadpoles at next-to-leading order, all in one go.
Linear relations for Laurent polynomials and lattice equations
Published
• View Publication
• BIB
A recurrence relation is said to have the Laurent property if all of its iterates are Laurent polynomials in the initial values with integer coefficients. We consider a family of nonlinear recurrences with the Laurent property, which were derived by Alman et al. via a construction of periodic seeds in Laurent phenomenon algebras, and generalize the Heideman-Hogan recurrences. Each member of the family is shown to be linearizable, in the sense that the iterates satisfy linear recurrence relations with constant coefficients. The latter are obtained from linear relations with periodic coefficients, which were found recently by Kamiya et al. from travelling wave reductions of a linearizable lattice equation on a 6-point stencil. We introduce another linearizable lattice equation on the same stencil, and present the corresponding linearization for its travelling wave reductions. Finally, for both of the 6-point lattice equations considered, we use the formalism of van der Kamp to construct a broad class of initial value problems with the Laurent property.
Binary compositions and semi-Pell compositions
Published
• View Publication
• BIB
In analogy with the semi-Fibonacci partitions studied recently by Andrews, we define semi-Pell compositions and semi-$m$-Pell compositions. We find that these are in bijection with certain weakly unimodal $m$-ary compositions. We give generating functions, bijective proofs, and a number of unexpected congruences for these objects.
LinearFold: linear-time approximate RNA folding by 5'-to-3' dynamic programming and beam search
Published in Bioinformatics, Volume 35, Issue 14, July 2019, Pages i295--i304
• View Publication
• BIB
Motivation: Predicting the secondary structure of an RNA sequence is useful in many applications. Existing algorithms (based on dynamic programming) suffer from a major limitation: their runtimes scale cubically with the RNA length, and this slowness limits their use in genome-wide applications.
Results: We present a novel alternative $O(n^3)$-time dynamic programming algorithm for RNA folding that is amenable to heuristics that make it run in $O(n)$ time and $O(n)$ space, while producing a high-quality approximation to the optimal solution. Inspired by incremental parsing for context-free grammars in computational linguistics, our alternative dynamic programming algorithm scans the sequence in a left-to-right (5'-to-3') direction rather than in a bottom-up fashion, which allows us to employ the effective beam pruning heuristic. Our work, though inexact, is the first RNA folding algorithm to achieve linear runtime (and linear space) without imposing constraints on the output structure. Surprisingly, our approximate search results in even higher overall accuracy on a diverse database of sequences with known structures. More interestingly, it leads to significantly more accurate predictions on the longest sequence families in that database (16S and 23S Ribosomal RNAs), as well as improved accuracies for long-range base pairs (500+ nucleotides apart), both of which are well known to be challenging for the current models.
Availability: Our source code is available at https://github.com/LinearFold/LinearFold, and our webserver is at http://linearfold.org (sequence limit: 100,000nt).
Zero Distribution of $v-$adic Multiple Zeta Values over $\mathbb{F}_q(t)$
Published
• View Publication
• BIB
This paper aims to study the zero distribution of $v-$adic multiple zeta values over function fields. We show that the interpolated $v-$adic MZVs at negative integers only vanish at what we call the ''trivial zeros'', for degree one prime over rational function fields. And we conjecture that this result can be generalized to all primes.
On Alphatrion's Conjecture about Hamiltonian paths in hypercubes
Alphatrion conjectured that it is possible to label the vertices of an $n$-dimensional hypercube with distinct positive integers such that for every Hamiltonian path $a_1, \dots, a_{2^n},$ we have $a_i + a_{i+1}$ prime for all $i.$ We prove the conjecture by proving the more general result that a graph $G = (V, E)$ can be labeled with distinct positive integers such that the edge sum for all $e \in E$ is prime if and only if $G$ is bipartite.
Automatic Discovery of Irrationality Proofs and Irrationality Measures
Published in Intern. J. Number Theory 17 (2021), no. 3, 815--825
• View Publication
• BIB
We illustrate the power of Experimental Mathematics and Symbolic Computation to suggest irrationality proofs of natural constants, and the determination of their irrationality measures. Sometimes such proofs can be fully automated, but sometimes there is still need for a human touch.
Johnson Graph Codes
Published
• View Publication
• BIB
We define a Johnson graph code as a subspace of labelings of the vertices in a Johnson graph with the property that labelings are uniquely determined by their restriction to vertex neighborhoods specified by the parameters of the code. We give a construction and main properties for the codes and show their role in the concatenation of layered codes that are used in distributed storage systems. A similar class of codes for the Hamming graph is discussed in an appendix. Codes of the latter type are in general different from affine Reed-Muller codes, but for the special case of the hypercube they agree with binary Reed-Muller codes.
Catalan words avoiding pairs of length three patterns
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 2, Permutation Patterns 2019, Special issues (April 16, 2021) dmtcs:6002
• View Publication
• BIB
Catalan words are particular growth-restricted words counted by the eponymous integer sequence. In this article we consider Catalan words avoiding a pair of patterns of length 3, pursuing the recent initiating work of the first and last authors and of S. Kirgizov where (among other things) the enumeration of Catalan words avoiding a patterns of length 3 is completed. More precisely, we explore systematically the structural properties of the sets of words under consideration and give enumerating results by means of recursive decomposition, constructive bijections or bivariate generating functions with respect to the length and descent number. Some of the obtained enumerating sequences are known, and thus the corresponding results establish new combinatorial interpretations for them.