Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Coloring of ($P_5$, $4$-wheel)-free graphs
Published in Discrete Mathematics, 345(5) (2022) Article no:112795
• View Publication
• BIB
For a graph $G$, $χ(G)$ $(ω(G))$ denote its chromatic (clique) number. A $P_5$ is the chordless path on five vertices, and a $4$-$wheel$ is the graph consisting of a chordless cycle on four vertices $C_4$ plus an additional vertex adjacent to all the vertices of the $C_4$. In this paper, we show that every ($P_5$, $4$-wheel)-free graph $G$ satisfies $χ(G)\leq \frac{3}{2}ω(G)$. Moreover, this bound is almost tight. That is, there is a class of ($P_5$, $4$-wheel)-free graphs $\cal L$ such that every graph $H\in \cal L$ satisfies $χ(H)\geq\frac{10}{7}ω(H)$. This generalizes/improves several previously known results in the literature.
Iota energy orderings of bicyclic signed digraphs
Published
• View Publication
• BIB
The concept of energy of a signed digraph is extended to iota energy of a signed digraph. The energy of a signed digraph $S$ is defined by $E(S)=\sum_{k=1}^n|\text{Re}(z_k)|$, where $\text{Re}(z_k)$ is the real part of eigenvalue $z_k$ and $z_k$ is the eigenvalue of the adjacency matrix of $S$ with $n$ vertices, $k=1,2,\ldots,n$. Then the iota energy of $S$ is defined by $E(S)=\sum_{k=1}^n|\text{Im}(z_k)|$, where $\text{Im}(z_k)$ is the imaginary part of eigenvalue $z_k$. In this paper, we consider a special graph class for bicyclic signed digraphs $\mathcal{S}_n$ with $n$ vertices which have two vertex-disjoint signed directed even cycles. We give two iota energy orderings of bicyclic signed digraphs, one is including two positive or two negative directed even cycles, the other is including one positive and one negative directed even cycles.
The critical probability for Voronoi percolation in the hyperbolic plane tends to $1/2$
Published
• View Publication
• BIB
We consider percolation on the Voronoi tessellation generated by a homogeneous Poisson point process on the hyperbolic plane. We show that the critical probability for the existence of an infinite cluster tends to $1/2$ as the intensity of the Poisson process tends to infinity. This confirms a conjecture of Benjamini and Schramm.
A Second Type Of Higher Order Generalised Geometric Polynomials and Higher Order Generalised Euler Polynomials
In this study we introduce a second type of higher order generalised geometric polynomials. This we achieve by examining the generalised stirling numbers $S(n; k;α;β;γ)$ [Hsu & Shiue,1998] for some negative arguments. We study their number theoretic properties, asymptotic properties, and study their combinatorial properties using the notion of barred preferential arrangements. We also proposed a generalisation of the classical Euler polynomials and show how these Euler polynomials are related to the second type of higher order generalised geometric polynomials.
On an inverse problem of the Erdős-Ko-Rado type theorems
A family of subsets $\mathcal{F}\subseteq {[n]\choose k}$ is called intersecting if any two of its members share a common element. Consider an intersecting family, a direct problem is to determine its maximal size and the inverse problem is to characterize its extremal structure and its corresponding stability. The famous Erdős-Ko-Rado theorem answered both direct and inverse problems and led the era of studying intersection problems for finite sets.
In this paper, we consider the following quantitative intersection problem which can be viewed an inverse problem for Erdős-Ko-Rado type theorems: For $\mathcal{F}\subseteq {[n]\choose k}$, define its \emph{total intersection} as $\mathcal{I}(\mathcal{F})=\sum_{F_1,F_2\in \mathcal{F}}|F_1\cap F_2|$. Then, what is the structure of $\mathcal{F}$ when it has the maximal total intersection among all families in ${[n]\choose k}$ with the same family size?
Using a pure combinatorial approach, we provide two structural characterizations of the optimal family of given size that maximizes the total intersection. As a consequence, for $n$ large enough and $\mathcal{F}$ of proper size, these characterizations show that the optimal family $\mathcal{F}$ is indeed $t$-intersecting ($t\geq 1$). To a certain extent, this reveals the relationship between properties of being intersecting and maximizing the total intersection. Also, we provide an upper bound on $\mathcal{I}(\mathcal{F})$ for several ranges of $|\mathcal{F}|$ and determine the unique optimal structure for families with sizes of certain values.
A Completion of the spectrum of 3-way $(v,k,2)$ Steiner trades
Published
• View Publication
• BIB
A 3-way $(v,k,t)$ trade $T$ of volume $m$ consists of three pairwise disjoint collections $T_1$, $T_2$ and $T_3$, each of $m$ blocks of size $k$, such that for every $t$-subset of $v$-set $V$, the number of blocks containing this $t$-subset is the same in each $T_i$ for $1\leq i\leq 3$. If any $t$-subset of found($T$) occurs at most once in each $T_i$ for $1\leq i\leq 3$, then $T$ is called 3-way $(v,k,t)$ Steiner trade. We attempt to complete the spectrum $S_{3s}(v,k)$, the set of all possible volume sizes, for 3-way $(v,k,2)$ Steiner trades, by applying some block designs, such as BIBDs, RBs, GDDs, RGDDs, and $r\times s$ packing grid blocks. Previously, we obtained some results about the existence some 3-way $(v,k,2)$ Steiner trades. In particular, we proved that there exists a 3-way $(v,k,2)$ Steiner trade of volume $m$ when $12(k-1)\leq m$ for $15\leq k$ (Rashidi and Soltankhah, 2016). Now, we show that the claim is correct also for $k\leq 14$.
On the Structure of Stable Tournament Solutions
Published in Economic Theory, 65(2):483-507 (2018)
• View Publication
• BIB
A fundamental property of choice functions is stability, which, loosely speaking, prescribes that choice sets are invariant under adding and removing unchosen alternatives. We provide several structural insights that improve our understanding of stable choice functions. In particular, (i) we show that every stable choice function is generated by a unique simple choice function, which never excludes more than one alternative, (ii) we completely characterize which simple choice functions give rise to stable choice functions, and (iii) we prove a strong relationship between stability and a new property of tournament solutions called local reversal symmetry. Based on these findings, we provide the first concrete tournament---consisting of 24 alternatives---in which the tournament equilibrium set fails to be stable. Furthermore, we prove that there is no more discriminating stable tournament solution than the bipartisan set and that the bipartisan set is the unique most discriminating tournament solution which satisfies standard properties proposed in the literature.
Error Detection and Correction in Communication Networks
Published
• View Publication
• BIB
Let $G$ be a connected graph on $n$ vertices and $C$ be an $(n,k,d)$ code with $d\ge 2$, defined on the alphabet set $\{0,1\}^m$. Suppose that for $1\le i\le n$, the $i$-th vertex of $G$ holds an input symbol $x_i\in\{0,1\}^m$ and let $\vec{x}=(x_1,\ldots,x_n)\in\{0,1\}^{mn}$ be the input vector formed by those symbols. Assume that each vertex of $G$ can communicate with its neighbors by transmitting messages along the edges, and these vertices must decide deterministically, according to a predetermined communication protocol, that whether $\vec{x}\in C$. Then what is the minimum communication cost to solve this problem? Moreover, if $\vec{x}\not\in C$, say, there is less than $\lfloor(d-1)/2\rfloor$ input errors among the $x_i$'s, then what is the minimum communication cost for error correction?
In this paper we initiate the study of the two problems mentioned above. For the error detection problem, we obtain two lower bounds on the communication cost as functions of $n,k,d,m$, and our bounds are tight for several graphs and codes. For the error correction problem, we design a protocol which can efficiently correct a single input error when $G$ is a cycle and $C$ is a repetition code. We also present several interesting problems for further research.
Card shuffling and $P$-partitions
Published
• View Publication
• BIB
In this expository article, we highlight the direct connection between card shuffling and the functions known as $P$-partitions that come from algebraic combinatorics. While many (but not all) of the results we discuss are known, we give a unified treatment. The key idea is this: the probability of obtaining a permutation $π$ from shelf shuffling is the probability that a random $P$-partition is sorted by $π$, and the probability of obtaining $π$ from riffle shuffling is the probability that a random $P$-partition is sorted by $π^{-1}$.
Nearest neighbor representations of Boolean functions
Published
• View Publication
• BIB
A nearest neighbor representation of a Boolean function is a set of positive and negative prototypes in $R^n$ such that the function has value 1 on an input iff the closest prototype is positive. For $k$-nearest neighbor representation the majority classification of the $k$ closest prototypes is considered. The nearest neighbor complexity of a Boolean function is the minimal number of prototypes needed to represent the function. We give several bounds for this measure. Separations are given between the cases when prototypes can be real or are required to be Boolean. The complexity of parity is determined exactly. An exponential lower bound is given for mod 2 inner product, and a linear lower bound is given for its $k$-nearest neighbor complexity. The results are proven using connections to other models such as polynomial threshold functions over $\{1, 2\}$. We also discuss some of the many open problems arising.
The threshold of symmetry in random graphs with specified degree sequences
Published
• View Publication
• BIB
We give sufficient conditions under which a random graph with a specified degree sequence is symmetric or asymmetric. In the case of bounded degree sequences, our characterisation captures the phase transition of the symmetry of the random graphs. This phase transition coincides with that of the graph connectivity. However, when the maximum degree is a growing function as the number of vertices tends to infinity, our results suggest that these two thresholds do not coincide any more
Catalan and Schröder permutations sortable by two restricted stacks
Published
• View Publication
• BIB
Pattern avoiding machines were introduced recently by Claesson, Cerbai and Ferrari as a particular case of the two-stacks in series sorting device. They consist of two restricted stacks in series, ruled by a right-greedy procedure and the stacks avoid some specified patterns. Some of the obtained results have been further generalized to Cayley permutations by Cerbai, specialized to particular patterns by Defant and Zheng, or considered in the context of functions over the symmetric group by Berlow. In this work we study pattern avoiding machines where the first stack avoids a pair of patterns of length 3 and investigate those pairs for which sortable permutations are counted by the (binomial transform of the) Catalan numbers and the Schröder numbers.
Counting Condorcet Domains
A Condorcet domain is a collection of linear orders which satisfy an acyclic majority relation. In this paper we describe domains as collections of directed Hamilton paths. We prove that while Black's single-peaked domains are defined by their extremal paths, Arrow's single-peaked domains are not. We also introduce domain contractions and domain extensions as well as self-paired domains, and describe some properties of these. We give a formula for the number of isomorphism classes of Arrow's single-peaked domains in terms of the number of self-paired domains, and give upper and lower bounds on this number. We also enumerate the distinct maximal Arrow's single-peaked domains for $|A|=5,6,7, 8$. Finally, we show that all of the observations in this paper can be translated to single-dipped domains, that is, Condorcet domains with complete "never-top" conditions.
Harmonic bases for generalized coinvariant algebras
Published
• View Publication
• BIB
Let $k \leq n$ be nonnegative integers and let $λ$ be a partition of $k$. S. Griffin recently introduced a quotient $R_{n,λ}$ of the polynomial ring $\mathbb{Q}[x_1, \dots, x_n]$ in $n$ variables which simultaneously generalizes the Delta Conjecture coinvariant rings of Haglund-Rhoades-Shimozono and the cohomology rings of Springer fibers studied by Tanisaki and Garsia-Procesi. We describe the space $V_{n,λ}$ of harmonics attached to $R_{n,λ}$ and produce a harmonic basis of $R_{n,λ}$ indexed by certain ordered set partitions $\mathcal{OP}_{n,λ}$. The combinatorics of this basis is governed by a new extension of the {\em Lehmer code} of a permutation to $\mathcal{OP}_{n, λ}$.
Butson-Hadamard matrices and Plotkin-optimal p^k-ary codes
Published
• View Publication
• BIB
A Butson-Hadamard matrix H is a square matrix of dimension n whose entries are complex roots of unity such that HH*= nI. In the first part of this work, some new results on generalized Gray map are studied. In the second part, codes obtained from Butson-Hadamard matrices and some bounds on the minimum distance of these codes are proved. In particular, we show that the code obtained from a Butson-Hadamard matrix meets the Plotkin bound under a non-homogeneous weight. We also give the parameters of some code families which are obtained from modified Butson-Hadamard matrices under a (non)homogeneous Gray map.
The Game of Cycles
The Game of Cycles, introduced by Su (2020), is played on a simple connected planar graph together with its bounded cells, and players take turns marking edges with arrows according to a sink-source rule that gives the game a topological flavor. The object of the game is to produce a cycle cell---a cell surrounded by arrows all cycling in one direction---or to make the last possible move. We analyze the two-player game for various classes of graphs and determine who has a winning strategy. We also establish a topological property of the game: that a board with every edge marked must have a cycle cell.
Distance matrix correlation spectrum of graphs
Let $G$ be a simple, connected graph, $\mathcal{D}(G)$ be the distance matrix of $G$, and $Tr(G)$ be the diagonal matrix of vertex transmissions of $G$. The distance Laplacian matrix and distance signless Laplacian matrix of $G$ are defined by $\mathcal{L}(G) = Tr(G)-\mathcal{D}(G)$ and $\mathcal{Q}(G) = Tr(G)+\mathcal{D}(G)$, respectively. The eigenvalues of $\mathcal{D}(G)$, $\mathcal{L}(G)$ and $\mathcal{Q}(G)$ is called the $\mathcal{D}-$spectrum, $\mathcal{L}-$spectrum and $\mathcal{Q}-$spectrum, respectively. The generalized distance matrix of $G$ is defined as $\mathcal{D}_α(G)=αTr(G)+(1-α)\mathcal{D}(G),~0\leqα\leq1$, and the generalized distance spectral radius of $G$ is the largest eigenvalue of $\mathcal{D}_α(G)$. In this paper, we give a complete description of the $\mathcal{D}-$spectrum, $\mathcal{L}-$spectrum and $\mathcal{Q}-$spectrum of some graphs obtained by operations. In addition, we present some new upper and lower bounds on the generalized distance spectral radius of $G$ and of its line graph $L(G)$, based on other graph-theoretic parameters, and characterize the extremal graphs. Finally, we study the generalized distance spectrum of some composite graphs.
Ordered set partitions, Garsia-Procesi modules, and rank varieties
Published in Trans. Amer. Math. Soc., 374 (2021), pp. 2609-2660
• View Publication
• BIB
We introduce a family of ideals $I_{n,λ,s}$ in $\mathbb{Q}[x_1,\dots,x_n]$ for $λ$ a partition of $k\leq n$ and an integer $s \geq \ell(λ)$. This family contains both the Tanisaki ideals $I_λ$ and the ideals $I_{n,k}$ of Haglund-Rhoades-Shimozono as special cases. We study the corresponding quotient rings $R_{n,λ,s}$ as symmetric group modules. When $n=k$ and $s$ is arbitrary, we recover the Garsia-Procesi modules, and when $λ=(1^k)$ and $s=k$, we recover the generalized coinvariant algebras of Haglund-Rhoades-Shimozono. We give a monomial basis for $R_{n,λ,s}$, unifying the monomial bases studied by Garsia-Procesi and Haglund-Rhoades-Shimozono, and realize the $S_n$-module structure of $R_{n,λ,s}$ in terms of an action on $(n,λ,s)$-ordered set partitions. We also prove formulas for the Hilbert series and graded Frobenius characteristic of $R_{n,λ,s}$. We then connect our work with Eisenbud-Saltman rank varieties using results of Weyman. As an application of our work, we give a monomial basis, Hilbert series formula, and graded Frobenius characteristic formula for the coordinate ring of the scheme-theoretic intersection of a rank variety with diagonal matrices.
Gopala-Hemachandra codes revisited
Gopala-Hemachandra codes are a variation of the Fibonacci universal code and have applications in cryptography and data compression. We show that $GH_{a}(n)$ codes always exist for $a=-2,-3$ and $-4$ for any integer $n \geq 1$ and hence are universal codes. We develop two new algorithms to determine whether a GH code exists for a given set of parameters $a$ and $n$. In 2010, Basu and Prasad showed experimentally that in the range $1 \leq n \leq 100$ and $1 \leq k \leq 16$, there are at most $k$ consecutive integers for which $GH_{-(4+k)}(n)$ does not exist. We turn their numerical result into a mathematical theorem and show that it is valid well beyond the limited range considered by them.
Boolean polynomial expression of the discrete average on the space of rhythms
Published
• View Publication
• BIB
An infinite family of Boolean polynomials which correspond to the discrete average maps, defined in [2], is constructed and their algebraic and combinatorial properties are investigated. They turn out to be balanced, and some recurrence formulas among them are derived.