Showing 20 papers (Total: 84285 papers, 48548 authors in database)
Rigged configuration bijection and proof of the $X=M$ conjecture for nonexceptional affine types
Published in J. Algebra, 516 (2018), pp. 1--37
• View Publication
• BIB
We establish a bijection between rigged configurations and highest weight elements of a tensor product of Kirillov-Reshetikhin crystals for all nonexceptional types. A key idea for the proof is to embed both objects into bigger sets for simply-laced types $A_n^{(1)}$ or $D_n^{(1)}$, whose bijections have already been established. As a consequence we settle the $X=M$ conjecture in full generality for nonexceptional types. Furthermore, the bijection extends to a classical crystal isomorphism and sends the combinatorial $R$-matrix to the identity map on rigged configurations.
Partial Domination in Graphs
Published in Iran J Sci Technol Trans Sci (2018)
• View Publication
• BIB
Let $G=(V,E)$ be a graph. For some $α$ with $0<α\leq 1$, a subset $S$ of $V$ is said to be a $α$-partial dominating set if $|N[S]|\geq α|V|$. The size of a smallest such $S$ is called the $α$-partial domination number and is denoted by $\mathsf{pd}_α(G)$. In this paper, we introduce $α$-partial domination number in a graph $G$ and study different bounds on the partial domination number of a graph $G$ with respect to its order, maximum degree, domination number etc., Moreover, $α$-partial domination spectrum is introduced and Nordhaus-Gaddum bounds on the partial domination number are studied.
Some useful theorems for asymptotic formulas and their applications to skew plane partitions and cylindric partitions
Published in Adv. in Appl. Math. 2018
• View Publication
• BIB
Inspired by the works of Dewar, Murty and Kotěšovec, we establish some useful theorems for asymptotic formulas. As an application, we obtain asymptotic formulas for the numbers of skew plane partitions and cylindric partitions. We prove that the order of the asymptotic formula for the skew plane partitions of fixed width depends only on the width of the region, not on the profile (the skew zone) itself, while this is not true for cylindric partitions.
Packing chromatic number versus chromatic and clique number
The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $V_i$, $i\in [k]$, where each $V_i$ is an $i$-packing. In this paper, we investigate for a given triple $(a,b,c)$ of positive integers whether there exists a graph $G$ such that $ω(G) = a$, $χ(G) = b$, and $χ_ρ(G) = c$. If so, we say that $(a, b, c)$ is realizable. It is proved that $b=c\ge 3$ implies $a=b$, and that triples $(2,k,k+1)$ and $(2,k,k+2)$ are not realizable as soon as $k\ge 4$. Some of the obtained results are deduced from the bounds proved on the packing chromatic number of the Mycielskian. Moreover, a formula for the independence number of the Mycielskian is given. A lower bound on $χ_ρ(G)$ in terms of $Δ(G)$ and $α(G)$ is also proved.
A characterization of Fibonacci numbers
The link between the equation $b(b+a)-a^2=0$ concerning the side $b$ and the diagonal $a$ of a regular pentagon and the {\it Cassini identity} $F_{i}F_{i+2}-F_{i+1}^2=(-1)^{i}$, concerning three consecutive Fibonacci numbers, is very strong. In this paper we present our thesis that the two mentioned equations were "almost simultaneously" discovered by the {\it Pythagorean School}.
$Θ_S-$cyclic codes over $A_k$
Published in International Journal of Computer Mathematics: Computer Systems Theory Volume 1, 2016 - Issue 1, pp 14-31
• Search Publication
We study $Θ_S-$cyclic codes over the family of rings $A_k.$ We characterize $Θ_S-$cyclic codes in terms of their binary images. A family of Hermitian inner-products is defined and we prove that if a code is $Θ_S-$cyclic then its Hermitian dual is also $Θ_S-$cyclic. Finally, we give constructions of $Θ_S-$cyclic codes.
More on the Annihilator-Ideal Graph of a Commutative Ring
Published
• View Publication
• BIB
Let $R$ be a commutative ring with identity and $\Bbb A (R)$ be the set of ideals of $R$ with non-zero annihilator. The annihilator-ideal graph of $R$, denoted by $A_{I} (R) $, is a simple graph with the vertex set $\Bbb A(R)^{\ast} := \Bbb A (R) \setminus\lbrace (0) \rbrace $, and two distinct vertices $I$ and $J$ are adjacent if and only if $\mathrm{Ann} _{R} (IJ) \neq \mathrm{Ann} _{R} (I) \cup \mathrm{Ann} _{R} (J)$.
In this paper, we study the affinity between the annihilator-ideal graph and the annihilating-ideal graph $\Bbb A \Bbb G (R)$ (a well-known graph with the same vertices and two distinct vertices $I,J$ are adjacent if and only if $IJ=0$) associated with $R$. All rings whose $A_{I}(R) \neq \Bbb A \Bbb G (R)$ and $\mathrm{gr} (A_{I}(R)) =4$ are characterized. Among other results, we obtain necessary and sufficient conditions under which $A_{I} (R)$ is a star graph.
Reconstructing random jigsaws
Published
• View Publication
• BIB
A colouring of the edges of an $n \times n$ grid is said to be \emph{reconstructible} if the colouring is uniquely determined by the multiset of its $n^2$ \emph{tiles}, where the tile corresponding to a vertex of the grid specifies the colours of the edges incident to that vertex in some fixed order. In 2015, Mossel and Ross asked the following question: if the edges of an $n \times n$ grid are coloured independently and uniformly at random using $q=q(n)$ different colours, then is the resulting colouring reconstructible with high probability? From below, Mossel and Ross showed that such a colouring is not reconstructible when $q = o(n^{2/3})$ and from above, Bordenave, Feige and Mossel and Nenadov, Pfister and Steger independently showed, for any fixed $ε> 0$, that such a colouring is reconstructible when $q \ge n^{1+ε}$. Here, we improve on these results and prove the following: there exist absolute constants $C, c > 0$ such that, as $n \to \infty$, the probability that a random colouring as above is reconstructible tends to $1$ if $q \ge Cn$ and to $0$ if $q \le cn$.
Comparing mixing times on sparse random graphs
Published
• View Publication
• BIB
It is natural to expect that nonbacktracking random walk will mix faster than simple random walks, but so far this has only been proved in regular graphs. To analyze typical irregular graphs, let $G$ be a random graph on $n$ vertices with minimum degree 3 and a degree distribution that has exponential tails. We determine the precise worst-case mixing time for simple random walk on $G$, and show that, with high probability, it exhibits cutoff at time $\mathbf{h}^{-1} \log n$, where $\mathbf{h}$ is the asymptotic entropy for simple random walk on a Galton--Watson tree that approximates $G$ locally. (Previously this was only known for typical starting points.) Furthermore, we show that this asymptotic mixing time is strictly larger than the mixing time of nonbacktracking walk, via a delicate comparison of entropies on the Galton-Watson tree.
The spt-Function of Andrews
Published
• View Publication
• BIB
The spt-function spt($n$) was introduced by Andrews as the weighted counting of partitions of $n$ with respect to the number of occurrences of the smallest part. In this survey, we summarize recent developments in the study of spt($n$), including congruence properties established by Andrews, Bringmann, Folsom, Garvan, Lovejoy and Ono et al., a constructive proof of the Andrews-Dyson-Rhoades conjecture given by Chen, Ji and Zang, generalizations and variations of the spt-function. We also give an overview of asymptotic formulas of spt($n$) obtained by Ahlgren, Andersen and Rhoades et al. We conclude with some conjectures on inequalities on spt($n$), which are reminiscent of those on $p(n)$ due to DeSalvo and Pak, and Bessenrodt and Ono. Furthermore, we observe that, beyond the log-concavity, $p(n)$ and spt($n$) satisfy higher order inequalities based on polynomials arising in the invariant theory of binary forms. In particular, we conjecture that the higher order Turán inequality $4(a_n^2-a_{n-1}a_{n+1})(a_{n+1}^2-a_{n}a_{n+2})-(a_na_{n+1}-a_{n-1}a_{n+2})^2>0$ holds for $p(n)$ when $n\geq 95$ and for spt($n$) when $n\geq 108$.
Isoperimetry in integer lattices
Published in Discrete Analysis 2018:7, 16 pp
• View Publication
• BIB
The edge isoperimetric problem for a graph $G$ is to determine, for each $n$, the minimum number of edges leaving any set of $n$ vertices. In general this problem is NP-hard, but exact solutions are known in some special cases, for example when $G$ is the usual integer lattice. We solve the edge isoperimetric problem asymptotically for every Cayley graph on $\mathbb Z^d$. The near-optimal shapes that we exhibit are zonotopes generated by line segments corresponding to the generators of the Cayley graph.
A note on 2--bisections of claw--free cubic graphs
Published
• View Publication
• BIB
A \emph{$k$--bisection} of a bridgeless cubic graph $G$ is a $2$--colouring of its vertex set such that the colour classes have the same cardinality and all connected components in the two subgraphs induced by the colour classes have order at most $k$. Ban and Linial conjectured that {\em every bridgeless cubic graph admits a $2$--bisection except for the Petersen graph}.
In this note, we prove Ban--Linial's conjecture for claw--free cubic graphs.
The spectra of lifted digraphs
We present a method to derive the complete spectrum of the lift $Γ^α$ of a base digraph $Γ$, with voltage assignments on a (finite) group $G$. The method is based on assigning to $Γ$ a quotient-like matrix whose entries are elements of the group algebra $\mathbb{C}[G]$, which fully represents $Γ^α$. This allows us to derive the eigenvectors and eigenvalues of the lift in terms of those of the base digraph and the irreducible characters of $G$. Thus, our main theorem generalize some previous results of Lováz and Babai concerning the spectra of Cayley digraphs.
Computing the number of induced copies of a fixed graph in a bounded degree graph
Published
• View Publication
• BIB
In this paper we show that for any graph $H$ of order $m$ and any graph $G$ of order $n$ and maximum degree $Δ$ one can compute the number of subsets $S$ of $V(G)$ that induces a graph isomorphic to $H $in time $O(c^m\cdot n)$ for some constant $c = c(Δ) > 0$. This is essentially best possible.
Minimum Coprime Labelings for Operations on Graphs
A prime labeling of a graph of order $n$ is a labeling of the vertices with the integers $1$ to~$n$ in which adjacent vertices have relatively prime labels. A coprime labeling maintains the same criterion on adjacent vertices using any set of distinct positive integers. In this paper, we consider several families of graphs or products of graphs that have been shown to not have prime labelings and answer the natural question of how to label the vertices while minimizing the largest value in its set of labels.
Layout of random circulant graphs
Published
• View Publication
• BIB
A circulant graph H is defined on the set of vertices V=\left\{ 1,\ldots,n\right\} and edges E=\left\{ \left(i,j\right):\left|i-j\right|\equiv s\left(\textrm{mod}n\right),s\in S\right\} , where S\subseteq\left\{ 1,\ldots,\lceil\frac{n-1}{2}\rceil\right\} . A random circulant graph results from deleting edges of H with probability 1-p. We provide a polynomial time algorithm that approximates the solution to the minimum linear arrangement problem for random circulant graphs. We then bound the error of the approximation with high probability.
Coloring cross-intersecting families
Published
• View Publication
• BIB
Intersecting and cross-intersecting families usually appear in extremal combinatorics in the vein of the Erd{\H o}s--Ko--Rado theorem. On the other hand, P.~Erd{\H o}s and L.~Lov{á}sz in the noted paper~\cite{EL} posed problems on coloring intersecting families as a restriction of classical hypergraph coloring problems to a special class of hypergraphs. This note deals with the mentioned coloring problems stated for cross-intersecting families.
$G$-Tutte polynomials and abelian Lie group arrangements
Published in Int. Math. Res. Not. IMRN 2021, no. 1, 152-190
• View Publication
• BIB
We introduce and study the notion of the $G$-Tutte polynomial for a list $\mathcal{A}$ of elements in a finitely generated abelian group $Γ$ and an abelian group $G$, which is defined by counting the number of homomorphisms from associated finite abelian groups to $G$.
The $G$-Tutte polynomial is a common generalization of the (arithmetic) Tutte polynomial for realizable (arithmetic) matroids, the characteristic quasi-polynomial for integral arrangements, Brändén-Moci's arithmetic version of the partition function of an abelian group-valued Potts model, and the modified Tutte-Krushkal-Renhardy polynomial for a finite CW-complex.
As in the classical case, $G$-Tutte polynomials carry topological and enumerative information (e.g., the Euler characteristic, point counting and the Poincaré polynomial) of abelian Lie group arrangements.
We also discuss differences between the arithmetic Tutte and the $G$-Tutte polynomials related to the axioms for arithmetic matroids and the (non-)positivity of coefficients.
Toric h-vectors and Chow Betti Numbers of Dual Hypersimplices
The toric h-numbers of a dual hypersimplex and the Chow Betti numbers of the normal fan of a hypersimplex are the ranks of intersection cohomology and Chow cohomology respectively of the torus orbit closure of a generic point in the Grassmannian. We give explicit formulas for these numbers. We also show that similar formulas hold for the coordinator numbers of type A^* lattices.
Automated Proofs of Many Conjectured Recurrences in the OEIS made by R.J. Mathar
The On-Line Encyclopedia Of Integer Sequences , that wonderful resource that most combinatorialists, and many other mathematicians and scientists, use at least once a day, is a treasure trove of mathematical information, and, one of its charms is that it contains many intriguing conjectures. But one should be on one's guard, because some of the conjectures are either already theorems, or can be routinely proved. In this case study we demonstrate, and actually fully implement (in an accompanying Maple package), how to turn many conjectures made in the OEIS by R.J. Mathar, regarding linear recurrences satisfies by a certain class of sequences, into fully rigorously-proved theorems, but we argue, that one should not emulate us, and while it is nice to have one example, of an algorithm to actually construct proofs (that are known to exist by a priori theoretical reasons), life is too short to do it in all cases, and hence we propose a new category for the OEIS, that of "provable conjecture", as opposed to "proved conjecture" (alias theorem).