Showing 20 papers (Total: 82374 papers, 47635 authors in database)
$k$-spectrally monomorphic tournaments
A tournament is $k$-spectrally monomorphic if all the $k\times k$ principal submatrices of its adjacency matrix have the same characteristic polynomial. Transitive $n$-tournaments are trivially $k$-spectrally monomorphic. We show that there are no other for $k\in \{3,\ldots,n-3\} $. Furthermore, we prove that for $n\geq 5$, a non-transitive $n$-tournament is $(n-2)$-spectrally monomorphic if and only if it is doubly regular. Finally, we give some results on $(n-1)$-spectrally monomorphic regular tournaments.
Relating the outer-independent total Roman domination number with some classical parameters of graphs
For a given graph $G$ without isolated vertex we consider a function $f: V(G) \rightarrow \{0,1,2\}$. For every $i\in \{0,1,2\}$, let $V_i=\{v\in V(G):\; f(v)=i\}$. The function $f$ is known to be an outer-independent total Roman dominating function for the graph $G$ if it is satisfied that; (i) every vertex in $V_0$ is adjacent to at least one vertex in $V_2$; (ii) $V_0$ is an independent set; and (iii) the subgraph induced by $V_1\cup V_2$ has no isolated vertex. The minimum possible weight $ω(f)=\sum_{v\in V(G)}f(v)$ among all outer-independent total Roman dominating functions for $G$ is called the outer-independent total Roman domination number of $G$. In this article we obtain new tight bounds for this parameter that improve some well-known results. Such bounds can also be seen as relationships between this parameter and several other classical parameters in graph theory like the domination, total domination, Roman domination, independence, and vertex cover numbers. In addition, we compute the outer-independent total Roman domination number of Sierpiński graphs, circulant graphs, and the Cartesian and direct products of complete graphs.
Complexity of Paired Domination in AT-free and Planar Graphs
Published
• View Publication
• BIB
For a graph $G=(V,E)$, a subset $D$ of vertex set $V$, is a dominating set of $G$ if every vertex not in $D$ is adjacent to atleast one vertex of $D$. A dominating set $D$ of a graph $G$ with no isolated vertices is called a paired dominating set (PD-set), if $G[D]$, the subgraph induced by $D$ in $G$ has a perfect matching. The Min-PD problem requires to compute a PD-set of minimum cardinality. The decision version of the Min-PD problem remains NP-complete even when $G$ belongs to restricted graph classes such as bipartite graphs, chordal graphs etc. On the positive side, the problem is efficiently solvable for many graph classes including intervals graphs, strongly chordal graphs, permutation graphs etc. In this paper, we study the complexity of the problem in AT-free graphs and planar graph. The class of AT-free graphs contains cocomparability graphs, permutation graphs, trapezoid graphs, and interval graphs as subclasses. We propose a polynomial-time algorithm to compute a minimum PD-set in AT-free graphs. In addition, we also present a linear-time $2$-approximation algorithm for the problem in AT-free graphs. Further, we prove that the decision version of the problem is NP-complete for planar graphs, which answers an open question asked by Lin et al. (in Theor. Comput. Sci., $591 (2015): 99-105$ and Algorithmica, $ 82 (2020) :2809-2840$).
A Frobenius problem suggested by prime $k$-tuplets (extended version)
Published in Discrete Math. 346(7) (2023), Article No. 113394
• View Publication
• BIB
We study the Frobenius problem for certain k-tuplets, which include prime k-tuplets, in particular prime triplets and prime quadruplets. Moreover, we analyze some properties of the numerical semigroups associated with these tuplets.
Algebraic Properties of Subquasigroups and Construction of Cryptographically Suitable Finite Quasigroups
Published
• View Publication
• BIB
In this paper, we identify many important properties and develop criteria for the existence of subquasigroups in finite quasigroups. Based on these results, we propose an effective method that concludes the nonexistence of subquasigroup of a finite quasigroup, otherwise finds its all possible proper subquasigroups. This has an important application in checking the cryptographic suitability of a finite quasigroup. \par Further, we propose a binary operation using arithmetic of finite fields to construct quasigroups of order $p^r$. We develop the criteria under which these quasigroups have desirable cryptographic properties, viz. polynomially completeness and possessing no proper subquasigroups. Then a practical method is given to construct cryptographically suitable quasigroups. We also illustrate these methods by some academic examples and implement all proposed algorithms in the computer algebra system {\sc{Singular}}.
From Modular Decomposition Trees to Level-1 Networks: Pseudo-Cographs, Polar-Cats and Prime Polar-Cats
Published
• View Publication
• BIB
The modular decomposition of a graph $G$ is a natural construction to capture key features of $G$ in terms of a labeled tree $(T,t)$ whose vertices are labeled as "series" ($1$), "parallel" ($0$) or "prime". However, full information of $G$ is provided by its modular decomposition tree $(T,t)$ only, if $G$ does not contain prime modules. In this case, $(T,t)$ explains $G$, i.e., $\{x,y\}\in E(G)$ if and only if the lowest common ancestor $\mathrm{lca}_T(x,y)$ of $x$ and $y$ has label "$1$". This information, however, gets lost whenever $(T,t)$ contains vertices with label "prime". In this contribution, we aim at replacing "prime" vertices in $(T,t)$ by simple 0/1-labeled cycles, which leads to the concept of rooted labeled level-1 networks $(N,t)$.
We characterize graphs that can be explained by such level-1 networks $(N,t)$, which generalizes the concept of graphs that can be explained by labeled trees, that is, cographs. We provide three novel graph classes: \emph{polar-cats} are a proper subclass of \emph{pseudo-cographs} which forms a proper subclass of \emph{prime polar-cats}. In particular, every cograph is a pseudo-cograph and prime polar-cats are precisely those graphs that can be explained by a labeled level-1 network. The class of prime polar-cats is defined in terms of the modular decomposition of graphs and the property that all prime modules "induce" polar-cats. We provide a plethora of structural results and characterizations for graphs of these new classes. In addition, we show under which conditions there is a unique least-resolved labeled level-1 network that explains a given graph and provide linear-time algorithms to recognize all these types of graphs and to construct level-1 networks to explain them.
Tolerances on posets
Published
• View Publication
• BIB
The concept of a tolerance relation, shortly called tolerance, was studied on various algebras since the seventieth of the twentieth century by B. Zelinka and the first author. Since tolerances need not be transitive, their blocks may overlap and hence in general the set of all blocks of a tolerance cannot be converted into a quotient algebra in the same way as in the case of congruences. However, G. Czédli showed that lattices can be factorized by means of tolerances in a natural way, and J. Grygiel and S. Radelecki proved some variant of an Isomorphism Theorem for tolerances on lattices. The aim of the present paper is to extend the concept of a tolerance on a lattice to posets in such a way that results similar to those obtained for tolerances on lattices can be derived.
Singleton-type bounds for list-decoding and list-recovery, and related results
Published
• View Publication
• BIB
List-decoding and list-recovery are important generalizations of unique decoding that received considerable attention over the years. However, the optimal trade-off among list-decoding (resp. list-recovery) radius, list size, and the code rate are not fully understood in both problems. This paper takes a step towards this direction when the list size is a given constant and the alphabet size is large (as a function of the code length). We prove a new Singleton-type upper bound for list-decodable codes, which improves upon the previously known bound by roughly a factor of $1/L$, where $L$ is the list size. We also prove a Singleton-type upper bound for list-recoverable codes, which is to the best of our knowledge, the first such bound for list-recovery. We apply these results to obtain new lower bounds that are optimal up to a multiplicative constant on the list size for list-decodable and list-recoverable codes with rates approaching capacity.
Moreover, we show that list-decodable \emph{nonlinear} codes can strictly outperform list-decodable linear codes. More precisely, we show that there is a gap for a wide range of parameters, which grows fast with the alphabet size, between the size of the largest list-decodable nonlinear code and the size of the largest list-decodable linear codes. This is achieved by a novel connection between list-decoding and the notion of sparse hypergraphs in extremal combinatorics. We remark that such a gap is not known to exist in the problem of unique decoding.
Lastly, we show that list-decodability or recoverability of codes implies in some sense good unique decodability.
A Schwartz-Zippel Type Estimate for Homogenous Finite Field Polynomials
In this paper, we obtain a Schwartz-Zippel type estimate for homogenous finite field polynomials. Specifically, we use a probabilistic recursion technique to find upper and lower bounds for the number of zeros of a homogenous polynomial and illustrate our result with two examples involving perfect matching in bipartite graphs and common zeros in a collection of polynomials, respectively.
On Ramanujan-type Congruences for Multiplicative Functions
Published
• View Publication
• BIB
The study of Ramanujan-type congruences for functions specific to additive number theory has a long and rich history. Motivated by recent connections between divisor sums and overpartitions via congruences in arithmetic progressions, we investigate the existence and classification of Ramanujan-type congruences for functions in multiplicative number theory.
Counting lattice paths by crossings and major index II: tracking descents via two-rowed arrays
We present refined enumeration formulas for lattice paths in $\mathbb{Z}^2$ with two kinds of steps, by keeping track of the number of descents (i.e., turns in a given direction), the major index (i.e., the sum of the positions of the descents), and the number of crossings. One formula considers crossings between a path and a fixed line; the other considers crossings between two paths. Building on the first paper of the series, which used lattice path bijections to give the enumeration with respect to major index and crossings, we obtain a refinement that keeps track of the number of descents. The proof is based on new bijections which rely on certain two-rowed arrays that were introduced by Krattenthaler.
The height of record-biased trees
Published
• View Publication
• BIB
Given a permutation $σ$, its corresponding binary search tree is obtained by recursively inserting the values $σ(1),\ldots,σ(n)$ into a binary tree so that the label of each node is larger than the labels of its left subtree and smaller than the labels of its right subtree. In 1986, Devroye proved that the height of such trees when $σ$ is a random uniform permutation is of order $(c^*+o_\mathbb{P}(1))\log n$ as $n$ tends to infinity, where $c^*$ is the only solution to $c\log(2e/c)=1$ with $c\geq2$. In this paper, we study the height of binary search trees drawn from the record-biased model of permutations, introduced by Auger, Bouvel, Nicaud, and Pivoteau in 2016. The record-biased distribution is the probability measure on the set of permutations whose weight is proportional to $θ^{\mathrm{record}(σ)}$, where $\mathrm{record}(σ)=|\{i\in[n]:\forall j<i,σ(i)>σ(j)\}|$. We show that the height of a binary search tree built from a record-biased permutation of size $n$ with parameter $θ$ is of order $(1+o_\mathbb{P}(1))\max\{c^*\log n,\,θ\log(1+n/θ)\}$, hence giving a full characterization of the first order asymptotic behaviour of the height of such trees.
Enumeration of three-quadrant walks via invariants: some diagonally symmetric models
Published in Canad. J. Math., 75 (5) 2023
• View Publication
• BIB
In the past 20 years, the enumeration of plane lattice walks confined to a convex cone -- normalized into the first quadrant -- has received a lot of attention, stimulated the development of several original approaches, and led to a rich collection of results. Most of them deal with the nature of the associated generating function: for which models is it algebraic, D-finite, D-algebraic? By model, what we mean is a finite collection of allowed steps.
More recently, similar questions have been raised for non-convex cones, typically the three-quadrant cone $C = \{ (i,j) : i \geq 0 \text{ or } j \geq 0 \}$. They turn out to be more difficult than their quadrant counterparts. In this paper, we investigate a collection of eight models in $C$. This collection consists of diagonally symmetric models in $\{-1, 0,1\}^2\setminus\{(-1,1), (1,-1)\}$. Three of them are known not to be D-algebraic. We show that the remaining five can be solved in a uniform fashion using Tutte's notion of \emph{invariants}, which has already proved useful for some quadrant models. Three models are found to be algebraic, one is (only) D-finite, and the last one is (only) D-algebraic. We also solve in the same fashion the diagonal model $\{ \nearrow, \nwarrow, \swarrow, \searrow\}$, which is D-finite. The three algebraic models are those of the Kreweras trilogy, $S=\{\nearrow, \leftarrow, \downarrow\}$, $S'=\{\rightarrow, \uparrow, \swarrow\}$, and $S\cup S'$.
Our solutions take similar forms for all six models. Roughly speaking, the square of the generating function of three-quadrant walks with steps in $S$ is an explicit rational function in the quadrant generating function with steps in $\{(j-i,j): (i,j) \in S\}$. We derive various corollaries, including an explicit algebraic description of the positive harmonic function in $C$ for the five models that are at least D-finite.
A web basis of invariant polynomials from noncrossing partitions
Published in Advances in Mathematics 408, Paper No. 108603, 2022, 33 pages
• View Publication
• BIB
The irreducible representations of symmetric groups can be realized as certain graded pieces of invariant rings, equivalently as global sections of line bundles on partial flag varieties. There are various ways to choose useful bases of such Specht modules $S^λ$. Particularly powerful are web bases, which make important connections with cluster algebras and quantum link invariants. Unfortunately, web bases are only known in very special cases -- essentially, only the cases $λ=(d,d)$ and $λ=(d,d,d)$. Building on work of B. Rhoades (2017), we construct an apparent web basis of invariant polynomials for the $2$-parameter family of Specht modules with $λ$ of the form $(d,d,1^\ell)$. The planar diagrams that appear are noncrossing set partitions, and we thereby obtain geometric interpretations of earlier enumerative results in combinatorial dynamics.
On Cayley representations of central Cayley graphs over almost simple groups
Published in J. Algebr. Comb .57, 227-237 (2023)
• View Publication
• BIB
A Cayley graph over a group $G$ is said to be central if its connection set is a normal subset of $G$. We prove that every central Cayley graph over a simple group $G$ has at most two pairwise nonequivalent Cayley representations over $G$ associated with the subgroups of $Sym(G)$ induced by left and right multiplications of $G$. We also provide an algorithm which, given a central Cayley graph $Γ$ over an almost simple group $G$ whose socle is of a bounded index, finds the full set of pairwise nonequivalent Cayley representations of $Γ$ over $G$ in time polynomial in size of $G$.
Unimodular triangulations of sufficiently large dilations
An integral polytope is a polytope whose vertices have integer coordinates. A unimodular triangulation of an integral polytope in $\mathbb{R}^d$ is a triangulation in which all simplices are integral with volume $1/d!$. A classic result of Knudsen, Mumford, and Waterman states that for every integral polytope $P$, there exists a positive integer $c$ such that $cP$ has a unimodular triangulation. We strengthen this result by showing that for every integral polytope $P$, there exists $c$ such that for every positive integer $c' \ge c$, $c'P$ admits a unimodular triangulation. This answers a longstanding question in the area.
Mean Hitting Time on Recursive Growth Tree Network
In this paper, we are concerned with mean hitting time $\langle\mathcal{H}\rangle$ for random walks on recursive growth tree networks that are built based on an arbitrary tree as the seed via implementing various primitive graphic operations, and propose a series of combinatorial techniques that are called Mapping Transformation to exactly determine the associated $\langle\mathcal{H}\rangle-$polynomial. Our formulas can be able to completely cover the previously published results in some well-studied and specific cases where a single edge or a star is often chose to serve as seed for creating recursive growth models. The techniques proposed are more convenient than the commonly-used spectral methods mainly because of getting around the operations of matrix inversion and multiplication. Accordingly, our results can be extended for both many other stochastic models including BA-scale-free tree and random uniform tree as well as graphs of great interest consisting of line graph of tree and Vicsek fractal network to derive numerical solutions of related structural parameters. And then, the closed-form solutions of two extensions of Wiener index with respect to multiplicative and additive degrees on an arbitrary tree are conveniently obtained as well. In addition, we discuss some extremal problems of random walks on tree networks and outline the related research directions in the next step.
How to Draw a Correlation Function
Published in SIGMA 17 (2021), 106, 35 pages
• View Publication
• BIB
We discuss connection between the XX0 Heisenberg spin chain and some aspects of enumerative combinatorics. The representation of the Bethe wave functions via the Schur functions allows to apply the theory of symmetric functions to the calculation of the correlation functions. We provide a combinatorial derivation of the dynamical auto-correlation functions and visualise them in terms of nests of self-avoiding lattice paths. Asymptotics of the auto-correlation functions are obtained in the double scaling limit provided that the evolution parameter is large.
Depth of Binomial Edge Ideals in terms of Diameter and Vertex Connectivity
Published
• View Publication
• BIB
Let $G$ be a simple connected non-complete graph and $J_G$ be its binomial edge ideal in a polynomial ring $S$. Using certain invariants associated to graphs, say $U(G)$, Banerjee and Núñez-Betancourt gave an upper bound for the depth of $S/J_G$, and Rouzbahani Malayeri, Saeedi Madani and Kiani obtained a lower bound, say $L(G)$. Hibi and Saeedi Madani gave a structural classification of graphs satisfying $L(G)=U(G)$. In this article, we give structural classification of graphs satisfying $L(G)+1=U(G)$. We also compute the depth of $S/J_G$ for all such graphs $G$.
Sequences of symmetry groups of infinite words
Published
• View Publication
• BIB
In this paper we introduce a new notion of a sequence of symmetry groups of an infinite word. Given a subgroup $G_n$ of the symmetric group $S_n$, it acts on the set of finite words of length $n$ by permutation. We associate to an infinite word $w$ a sequence $(G_n(w))_{n\geq 1}$ of its symmetry groups: For each $n$, a symmetry group of $w$ is a subgroup $G_n(w)$ of the symmetric group $S_n$ such that $g(v)$ is a factor of $w$ for each permutation $g \in G_n(w)$ and each factor $v$ of length $n$ of $w$. We study general properties of the symmetry groups of infinite words and characterize the sequences of symmetry groups of several families of infinite words. We show that for each subgroup $G$ of $S_n$ there exists an infinite word $w$ with $G_n(w)=G$. On the other hand, the structure of possible sequences $(G_n(w))_{n\geq 1}$ is quite restrictive: we show that they cannot contain for each order $n$ certain cycles, transpositions and some other permutations. The sequences of symmetry groups can also characterize a generalized periodicity property. We prove that symmetry groups of Sturmian words and more generally Arnoux-Rauzy words are of order two for large enough $n$; on the other hand, symmetry groups of certain Toeplitz words have exponential growth.