Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Wilf classes of non-symmetric operads
Published in ISSAC '21: Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation, July 2021, pp. 91--98
• View Publication
• BIB
Two operads are said to belong to the same Wilf class if they have the same generating series. We discuss possible Wilf classifications of non-symmetric operads with monomial relations. As a corollary, this would give the same classification for the operads with a finite Groebner basis.
Generally, there is no algorithm to decide whether two finitely presented operads belong to the same Wilf class. Still, we show that if an operad has a finite Groebner basis, then the monomial basis of the operad forms an unambiguous context-free language. Moreover, we discuss the deterministic grammar which defines the language. The generating series of the operad can be obtained as a result of an algorithmic elimination of variables from the algebraic system of equations defined by the Chomsky--Schutzenberger enumeration theorem. We then focus on the case of binary operads with a single relation. The approach is based on the results by Rowland on pattern avoidance in binary trees. We improve and refine Rowland's calculations and empirically confirm his conjecture. Here we use both the algebraic elimination and the direct calculation of formal power series from algebraic systems of equations. Finally, we discuss the connection of Wilf classes with algorithms for the Quillen homology of operads calculation.
The spectral radius of graphs with no intersecting odd cycles
Published in Discrete Mathematics 345 (2022) 112907
• View Publication
• BIB
Let $H_{s,t_1,\ldots ,t_k}$ be the graph with $s$ triangles and $k$ odd cycles of lengths $t_1,\ldots ,t_k\ge 5$ intersecting in exactly one common vertex. Recently, Hou, Qiu and Liu [Discrete Math. 341 (2018) 126--137], and Yuan [J. Graph Theory 89 (1) (2018) 26--39] determined independently the maximum number of edges in an $n$-vertex graph that does not contain $H_{s,t_1,\ldots ,t_k}$ as a subgraph. In this paper, we determine the graphs of order $n$ that attain the maximum spectral radius among all graphs containing no $H_{s,t_1,\ldots ,t_k}$ for $n$ large enough.
Pseudo-Hadamard matrices of the first generation and an algorithm for producing them
Hadamard matrices in $\{0,1\}$ presentation are square $m\times m$ matrices whose entries are zeros and ones and whose rows considered as vectors in $\Bbb R^m$ produce the Gram matrix of a special form with respect to the standard scalar product in $\Bbb R^m$. The concept of Hadamard matrices is extended in the present paper. As a result pseudo-Hadamard matrices of the first generation are defined and investigated. An algorithm for generating these pseudo-Hadamard matrices is designed and is used for testing some conjectures.
Continuants with equal values, a combinatorial approach
Published
• View Publication
• BIB
A regular continuant is the denominator $K$ of a terminating regular continued fraction, interpreted as a function of the partial quotients. We regard $K$ as a function defined on the set of all finite words on the alphabet $1<2<3<\dots$ with values in the positive integers. Given a word $w=w_1\cdots w_n$ with $w_i\in\mathbb{N}$ we define its multiplicity $μ(w)$ as the number of times the value $K(w)$ is assumed in the Abelian class $\mathcal{X}(w)$ of all permutations of the word $w.$ We prove that there is an infinity of different lacunary alphabets of the form $\{b_1<\dots <b_t<l+1<l+2<\dots <s\}$ with $b_j, t, l, s\in\mathbb{N}$ and $s$ sufficiently large such that $μ$ takes arbitrarily large values for words on these alphabets. The method of proof relies in part on a combinatorial characterisation of the word $w_{max}$ in the class $\mathcal{X}(w)$ where $K$ assumes its maximum.
Estimating noncommutative distances on graphs
We report on some findings concerning Connes' noncommutative distance $d$ on a weighted undirected graph $G$. Our main result is the lower bound $\ell/Δ(G)\le d$ where $\ell$ is the geodesic distance and $Δ(G)$ the degree of $G$. It is obtained thanks to an auxiliary spectral triple on the collection of the edges of $G$.
Unit gain graphs with two distinct eigenvalue and systems of lines in complex space
Published
• View Publication
• BIB
Since the introduction of the Hermitian adjacency matrix for digraphs, interest in so-called complex unit gain graphs has surged. In this work, we consider gain graphs whose spectra contain the minimum number of two distinct eigenvalues. Analogously to graphs with few distinct eigenvalues, a great deal of structural symmetry is required for a gain graph to attain this minimum. This allows us to draw a surprising parallel to well-studied systems of lines in complex space, through a natural correspondence to unit-norm tight frames. We offer a full classification of two-eigenvalue gain graphs with degree at most $4$, or with multiplicity at most $3$. Intermediate results include an extensive review of various relevant concepts related to lines in complex space, including SIC-POVMs, MUBs and geometries such as the Coxeter-Todd lattice, and many examples obtained as induced subgraphs by employing a technique parallel to the dismantling of association schemes. Finally, we touch on an innovative application of simulated annealing to find examples by computer.
Effective results on the size and structure of sumsets
Published
• View Publication
• BIB
Let $A \subset \mathbb{Z}^d$ be a finite set. It is known that $NA$ has a particular size ($\vert NA\vert = P_A(N)$ for some $P_A(X) \in \mathbb{Q}[X]$) and structure (all of the lattice points in a cone other than certain exceptional sets), once $N$ is larger than some threshold. In this article we give the first effective upper bounds for this threshold for arbitrary $A$. Such explicit results were only previously known in the special cases when $d=1$, when the convex hull of $A$ is a simplex or when $\vert A\vert = d+2$, results which we improve.
Minimum degree and the graph removal lemma
Published
• View Publication
• BIB
The clique removal lemma says that for every $r \geq 3$ and $\varepsilon>0$, there exists some $δ>0$ so that every $n$-vertex graph $G$ with fewer than $δn^r$ copies of $K_r$ can be made $K_r$-free by removing at most $\varepsilon n^2$ edges. The dependence of $δ$ on $\varepsilon$ in this result is notoriously difficult to determine: it is known that $δ^{-1}$ must be at least super-polynomial in $\varepsilon^{-1}$, and that it is at most of tower type in $\log \varepsilon^{-1}$.
We prove that if one imposes an appropriate minimum degree condition on $G$, then one can actually take $δ$ to be a linear function of $\varepsilon$ in the clique removal lemma. Moreover, we determine the threshold for such a minimum degree requirement, showing that above this threshold we have linear bounds, whereas below the threshold the bounds are once again super-polynomial, as in the unrestricted removal lemma.
We also investigate this question for other graphs besides cliques, and prove some general results about how minimum degree conditions affect the bounds in the graph removal lemma.
Uniform Embeddings for Robinson Similarity Matrices
Published
• View Publication
• BIB
A Robinson similarity matrix is a symmetric matrix where the entry values on all rows and columns increase toward the diagonal. Decompose the Robinson matrix into the sum of k {0, 1}-matrices, then these k {0, 1}-matrices are the adjacency matrices of a set of nested unit interval graphs. Previous studies show that unit interval graphs coincide with indifference graphs. An indifference graph has an embedding that maps each vertex to a real number, where two vertices are adjacent if their embedding is within a fixed threshold distance. In this thesis, consider k different threshold distances, we study the problem of finding an embedding that, simultaneously and with respect to each threshold distance, embeds the k indifference graphs corresponding to the k adjacency matrices. This is called a uniform embedding of a Robinson matrix with respect to the k threshold distances. We give a sufficient and necessary condition on Robinson matrices that have a uniform embedding, which is derived from paths in an associated graph. We also give an efficient combinatorial algorithm to find a uniform embedding or give proof that it does not exist, for the case where k = 2.
Quantum partial automorphisms of finite graphs
The partial automorphisms of a graph $X$ having $N$ vertices are the bijections $σ:I\to J$ with $I,J\subset\{1,\ldots,N\}$ which leave invariant the edges. These bijections form a semigroup $\widetilde{G}(X)$, which contains the automorphism group $G(X)$. We discuss here the quantum analogue of this construction, with a definition and basic theory for the quantum semigroup of quantum partial automorphisms $\widetilde{G}^+(X)$, which contains both $G(X)$, and the quantum automorphism group $G^+(X)$. We comment as well on the case $N=\infty$, which is of particular interest, due to the fact that $\widetilde{G}^+(X)$ is well-defined, while its subgroup $G^+(X)$, not necessarily, at least with the currently known methods.
Linear series on general curves with prescribed incidence conditions
Published
• View Publication
• BIB
Using degeneration and Schubert calculus, we consider the problem of computing the number of linear series of given degree $d$ and dimension $r$ on a general curve of genus $g$ satisfying prescribed incidence conditions at $n$ points. We determine these numbers completely for linear series of arbitrary dimension when $d$ is sufficiently large, and for all $d$ when either $r=1$ or $n=r+2$. Our formulas generalize and give new proofs of recent results of Tevelev and of Cela-Pandharipande-Schmitt.
Improved Product-Based High-Dimensional Expanders
High-dimensional expanders generalize the notion of expander graphs to higher-dimensional simplicial complexes. In contrast to expander graphs, only a handful of high-dimensional expander constructions have been proposed, and no elementary combinatorial construction with near-optimal expansion is known. In this paper, we introduce an improved combinatorial high-dimensional expander construction, by modifying a previous construction of Liu, Mohanty, and Yang (ITCS 2020), which is based on a high-dimensional variant of a tensor product. Our construction achieves a spectral gap of $Ω(\frac{1}{k^2})$ for random walks on the $k$-dimensional faces, which is only quadratically worse than the optimal bound of $Θ(\frac{1}{k})$. Previous combinatorial constructions, including that of Liu, Mohanty, and Yang, only achieved a spectral gap that is exponentially small in $k$. We also present reasoning that suggests our construction is optimal among similar product-based constructions.
On free semigroups of affine maps on the real line
Published
• View Publication
• BIB
In this note we generalise some of the work of Klarner on free semigroups of affine maps acting on the real line by using a classical approach from geometric group theory (the Ping-Pong lemma). We also investigate the boundaries within which Klarner's necessary condition for a semigroup to be related is applicable.
On $r$-dynamic coloring on lexicographic product of star graphs
In this research, the exact results on $r$-dynamic coloring of lexicographic product of path with star graph, path with double star graph, path with triple star graph and finally complete graph with path are obtained.
Equivalence of the Descents Statistic on Some (4,4)-Avoidance Classes of Permutations
Published
• View Publication
• BIB
In this paper, we compute and demonstrate the equivalence of the joint distribution of the first letter and descent statistics on six avoidance classes of permutations corresponding to two patterns of length four. This distribution is in turn shown to be equivalent to the distribution on a restricted class of inversion sequences for the statistics that record the last letter and number of distinct positive letters, affirming a recent conjecture of Lin and Kim. Members of each avoidance class of permutations and also of the class of inversion sequences are enumerated by the $n$-th large Schröder number and thus one obtains a new bivariate refinement of these numbers as a consequence. We make use of auxiliary combinatorial statistics, special generating functions (specific to each class) and the kernel method to establish our results. In some cases, we utilize the conjecture itself in a creative way to aid in solving the system of functional equations satisfied by the associated generating functions.
Weighted Sylvester sums on the Frobenius set
Published
• View Publication
• BIB
Let $a$ and $b$ be relatively prime positive integers. In this paper the weighted sum $\sum_{n\in{\rm NR}(a,b)}λ^{n-1}n^m$ is given explicitly or in terms of the Apostol-Bernoulli numbers, where $m$ is a nonnegative integer, and ${\rm NR}(a,b)$ denotes the set of positive integers nonrepresentable in terms of $a$ and $b$.
Asymmetric Circular Graph with Hosoya Index and Negative Continued Fractions
Published in Carpathian Math. Publ. 10 (2021), No.3, 608--618
• View Publication
• BIB
It has been known that the Hosoya index of caterpillar graph can be calculated as the numerator of the simple continued fraction. Recently, the author \cite{Komatsu2020} introduces a more general graph called caterpillar-bond graph and shows that its Hosoya index can be calculated as the numerator of the general continued fraction.
In this paper, we show how the Hosoya index of the graph with non-uniform ring structure can be calculated from the negative continued fraction. We also give the relation between some radial graphs and multidimensional continued fractions in the sense of the Hosoya index.
A Classification of Hyperfocused 12-Arcs
Published
• View Publication
• BIB
A $k$-arc in PG($2,q$) is a set of $k$ points no three of which are collinear. A hyperfocused $k$-arc is a $k$-arc in which the $k \choose 2$ secants meet some external line in exactly $k-1$ points. Hyperfocused $k$-arcs can be viewed as 1-factorizations of the complete graph $K_k$ that embed in PG($2,q$). We study the 526,915,620 1-factorizations of $K_{12}$, determine which are embeddable in PG($2,q$), and classify hyperfocused $12$-arcs. Specifically we show if a $12$-arc $\mathcal{K}$ is a hyperfocused arc in PG($2,q$) then $q = 2^{5k}$ and $\mathcal{K}$ is a subset of a hyperconic including the nucleus.
On Oriented Diameter of $(n, k)$-Star Graphs
Assignment of one of the two possible directions to every edge of an undirected graph $G=(V,E)$ is called an orientation of $G$. The resulting directed graph is denoted by $\overrightarrow{G}$. A strong orientation is one in which every vertex is reachable from every other vertex via a directed path. The diameter of $\overrightarrow{G}$, i.e., the maximum distance from one vertex to another, depends on the particular orientation. The minimum diameter among all possible orientations is called the oriented diameter $\overrightarrow{\text{diam}}(G)$ of $G$. Let $n,k$ be two integers with $1 \leq k < n$. In the realm of interconnection networks of processing elements, an $(n,k)$-star graph $S_{n,k}$ offers a topology that circumvents the lack of scalability of $n$-star graphs $S_n$. In this paper, we present a strong orientation for $S_{n,k}$ that combines approaches suggested by Cheng and Lipman [Journal of Interconnection Networks (2002)] for $S_{n,k}$ with the one proposed by Fujita [The First International Symposium on Computing and Networking (CANDAR 2013)] for $S_n$. Next, we propose a distributed routing algorithm for $\overrightarrow{S_{n,k}}$ inspired by an algorithm proposed by Kumar, Rajendraprasad and Sudeep [Discrete Applied Mathematics (2021)] for $\overrightarrow{S_n}$. With the aid of both the orientation scheme and the routing algorithm, we show that $\overrightarrow{\text{diam}}(S_{n,k}) \leq \lfloor \frac{n+k}{2} \rfloor + 2k + 6 - δ(n,k)$ where $δ(n,k)$ is a non-negative function. The function $δ(n,k)$ takes on values $2k-n$, $0$, and $\left\lfloor \frac{n-3k}{2} \right\rfloor$ respectively for three disjoint intervals $k>\frac{n}{2}$, $\frac{n}{3} < k \leq \frac{n}{2}$ and $k\leq \frac{n}{3}$. For every value of $n$, $k$, our upper bound performs better than all known bounds in literature.
Rainbow trees in uniformly edge-coloured graphs
Published
• View Publication
• BIB
We obtain sufficient conditions for the emergence of spanning and almost-spanning bounded-degree {\sl rainbow} trees in various host graphs, having their edges coloured independently and uniformly at random, using a predetermined palette. Our first result asserts that a uniform colouring of $\mathbb{G}(n,ω(1)/n)$, using a palette of size $n$, a.a.s. admits a rainbow copy of any given bounded-degree tree on at most $(1-\varepsilon)n$ vertices, where $\varepsilon > 0$ is arbitrarily small yet fixed. This serves as a rainbow variant of a classical result by Alon, Krivelevich, and Sudakov pertaining to the embedding of bounded-degree almost-spanning prescribed trees in $\mathbb{G}(n,C/n)$, where $C > 0$ is independent of $n$.
Given an $n$-vertex graph $G$ with minimum degree at least $δn$, where $δ> 0$ is fixed, we use our aforementioned result in order to prove that a uniform colouring of the randomly perturbed graph $G \cup \mathbb{G}(n,ω(1)/n)$, using $(1+α)n$ colours, where $α> 0$ is arbitrarily small yet fixed, a.a.s. admits a rainbow copy of any given bounded-degree {\sl spanning} tree. This can be viewed as a rainbow variant of a result by Krivelevich, Kwan, and Sudakov who proved that $G \cup \mathbb{G}(n,C/n)$, where $C > 0$ is independent of $n$, a.a.s. admits a copy of any given bounded-degree spanning tree.
Finally, and with $G$ as above, we prove that a uniform colouring of $G \cup \mathbb{G}(n,ω(n^{-2}))$ using $n-1$ colours a.a.s. admits a rainbow spanning tree. Put another way, the trivial lower bound on the size of the palette required for supporting a rainbow spanning tree is also sufficient, essentially as soon as the random perturbation a.a.s. has edges.