Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Five interpretations of Faà di Bruno's formula
Published
• View Publication
• BIB
In these lectures we present five interpretations of the Fa' di Bruno formula which computes the n-th derivative of the composition of two functions of one variable: in terms of groups, Lie algebras and Hopf algebras, in combinatorics and within operads.
Quantum Product of Symmetric Functions
Published in International Journal of Mathematics and Mathematical Sciences 476926 (2015) 13 pages
• Search Publication
We provide an explicit description of the quantum product of multi-symmetric functions using the elementary multi-symmetric functions introduced by Vaccarino.
On the spectral radii of bicyclic graphs with fixed independence number
Bicyclic graph is a connected graph in which the number of edges equals the number of vertices plus one. In this paper, we determine the graph which alone maximizes the spectral radii among all the bicyclic graphs on $n$ vertices with fixed independence number.
Solution of Certain Pell Equations
Published
• View Publication
• BIB
Let $a,b,c $ be any positive integers such that $c\mid ab$ and $d_i^\pm$ is a square free positive integer of the form $d_i^\pm=a^{2k} b^{2l}\pm i c^m$ where $k,l \geq m$ and $i=1,2.$ The main focus of this paper to find the fundamental solution of the equation $ x^2-d_i^\pm y^2=1$ with the help of the continued fraction of $\sqrt{d_i^\pm}.$ We also obtain all the positive solutions of the equations $ x^2-d_i^\pm y^2=\pm 1$ and $ x^2-d_i^\pm y^2=\pm 4$ by means of the Fibonacci and Lucas sequences.
Furthermore, in this work, we derive some algebraic relations on the Pell form $ F_{d_i^\pm}(x, y) = x^2-d_i^\pm y^2 $ including cycle, proper cycle, reduction and proper automorphism of it. We also determine the integer solutions of the Pell equation $ F_{Δ_{d_i^\pm}} (x, y) = 1 $ in terms of $d_i^\pm.
We generalized all the results of the papers [2], [9], [26], and [37].
Inversion Polynomials for Permutations Avoiding Consecutive Patterns
Published
• View Publication
• BIB
In 2012, Sagan and Savage introduced the notion of $st$-Wilf equivalence for a statistic $st$ and for sets of permutations that avoid particular permutation patterns which can be extended to generalized permutation patterns. In this paper we consider $inv$-Wilf equivalence on sets of two or more consecutive permutation patterns. We say that two sets of generalized permutation patterns $Π$ and $Π'$ are $inv$-Wilf equivalent if the generating function for the inversion statistic on the permutations that simultaneously avoid all elements of $Π$ is equal to the generating function for the inversion statistic on the permutations that simultaneously avoid all elements of $Π'$.
In 2013, Cameron and Killpatrick gave the inversion generating function for Fibonacci tableaux which are in one-to-one correspondence with the set of permutations that simultaneously avoid the consecutive patterns $321$ and $312.$ In this paper, we use the language of Fibonacci tableaux to study the inversion generating functions for permutations that avoid $Π$ where $Π$ is a set of five or fewer consecutive permutation patterns. In addition, we introduce the more general notion of a strip tableaux which are a useful combinatorial object for studying consecutive pattern avoidance. We go on to give the inversion generating functions for all but one of the cases where $Π$ is a subset of three consecutive permutation patterns and we give several results for $Π$ a subset of two consecutive permutation patterns.
Solution of the Diophantine Equation $ x_{1}x_{2}x_{3}\cdots x_{m-1}=z^n $
This work determine the entire family of positive integer solutions of the diophantine equation. The solution is described in terms of $\frac{(m-1)(m+n-2)}{2} $ or $\frac{(m-1)(m+n-1)}{2}$ positive parameters depending on $n$ even or odd. We find the solution of a diophantine system of equations by using the solution of the diophantine equation. We generalized all the results of the paper [5].
Twisted Permutation Codes
Published
• View Publication
• BIB
We introduce twisted permutation codes, which are frequency permutation arrays analogous to repetition permutation codes, namely, codes obtained from the repetition construction applied to a permutation code. In particular, we show that a lower bound for the minimum distance of a twisted permutation code is the minimum distance of a repetition permutation code. We give examples where this bound is tight, but more importantly, we give examples of twisted permutation codes with minimum distance strictly greater than this lower bound.
Fractional coloring of triangle-free planar graphs
We prove that every planar triangle-free graph on $n$ vertices has fractional chromatic number at most $3-\frac{1}{n+1/3}$.
A combinatorial description of finite O-sequences and aCM genera
Published
• View Publication
• BIB
The goal of this paper is to explicitly detect all the arithmetic genera of arithmetically Cohen-Macaulay projective curves with a given degree $d$. It is well-known that the arithmetic genus $g$ of a curve $C$ can be easily deduced from the $h$-vector of the curve; in the case where $C$ is arithmetically Cohen-Macaulay of degree $d$, $g$ must belong to the range of integers $\big\{0,\ldots,\binom{d-1}{2}\big\}$. We develop an algorithmic procedure that allows one to avoid constructing most of the possible $h$-vectors of $C$. The essential tools are a combinatorial description of the finite O-sequences of multiplicity $d$, and a sort of continuity result regarding the generation of the genera. The efficiency of our method is supported by computational evidence. As a consequence, we single out the minimal possible Castelnuovo-Mumford regularity of a curve with Cohen-Macaulay postulation and given degree and genus.
Connective constant for a weighted self-avoiding walk on $\mathbb{Z}^2$
Published in Electron. Commun. Probab. 20 (2015), no. 86, 1-13
• View Publication
• BIB
We consider a self-avoiding walk on the dual $\mathbb{Z}^2$ lattice. This walk can traverse the same square twice but cannot cross the same edge more than once. The weight of each square visited by the walk depends on the way the walk passes through it and the weight of the whole walk is calculated as a product of these weights. We consider a family of critical weights parametrized by angle $θ\in[\fracπ{3},\frac{2π}{3}]$. For $θ=\fracπ{3}$, this can be mapped to the self-avoiding walk on the honeycomb lattice. The connective constant in this case was proved to be equal to $\sqrt{2+\sqrt{2}}$ by Duminil-Copin and Smirnov in \cite{DS10}. We generalize their result.
Simple containers for simple hypergraphs
Published in Combinator. Probab. Comp. 25 (2016) 448-459
• View Publication
• BIB
We give an easy method for constructing containers for simple hypergraphs. Some applications are given; in particular, a very transparent calculation is offered for the number of H-free hypergraphs, where H is some fixed uniform hypergraph.
Connected Hypergraphs with Small Spectral Radius
Published
• View Publication
• BIB
In 1970 Smith classified all connected graphs with the spectral radius at most $2$. Here the spectral radius of a graph is the largest eigenvalue of its adjacency matrix. Recently, the definition of spectral radius has been extended to $r$-uniform hypergraphs. In this paper, we generalize the Smith's theorem to $r$-uniform hypergraphs. We show that the smallest limit point of the spectral radii of connected $r$-uniform hypergraphs is $ρ_r=(r-1)!\sqrt[r]{4}$. We discovered a novel method for computing the spectral radius of hypergraphs, and classified all connected $r$-uniform hypergraphs with spectral radius at most $ρ_r$.
An Upper Bound on the Number of Circular Transpositions to Sort a Permutation
Published
• View Publication
• BIB
We consider the problem of upper bounding the number of circular transpositions needed to sort a permutation. It is well known that any permutation can be sorted using at most $n(n-1)/2$ adjacent transpositions. We show that, if we allow all adjacent transpositions, as well as the transposition that interchanges the element in position 1 with the element in the last position, then the number of transpositions needed is at most $n^2/4$. This answers an open question posed by Feng, Chitturi and Sudborough (2010).
A Note on the Sparing Number of Graphs
Published in Advances and Applications in Discrete Mathematics, Vol.14 Issue.1, 2014, pp.51-65
• Search Publication
An integer additive set-indexer is defined as an injective function $f:V(G)\rightarrow 2^{\mathbb{N}_0}$ such that the induced function $g_f:E(G) \rightarrow 2^{\mathbb{N}_0}$ defined by $g_f (uv) = f(u)+ f(v)$ is also injective. An IASI $f$ is said to be a weak IASI if $|g_f(uv)|=max(|f(u)|,|f(v)|)$ for all $u,v\in V(G)$. A graph which admits a weak IASI may be called a weak IASI graph. The set-indexing number of an element of a graph $G$, a vertex or an edge, is the cardinality of its set-labels. The sparing number of a graph $G$ is the minimum number of edges with singleton set-labels, required for a graph $G$ to admit a weak IASI. In this paper, we study the sparing number of certain graphs and the relation of sparing number with some other parameters like matching number, chromatic number, covering number, independence number etc.
A $q$-Queens Problem. II. The Square Board
Published in Journal of Algebraic Combinatorics, 41 (2015), no. 3, 619--642. MR 3328174. Zbl 1314.05008
• View Publication
• BIB
We apply to the $n\times n$ chessboard the counting theory from Part I for nonattacking placements of chess pieces with unbounded straight-line moves, such as the queen. Part I showed that the number of ways to place $q$ identical nonattacking pieces is given by a quasipolynomial function of $n$ of degree $2q$, whose coefficients are (essentially) polynomials in $q$ that depend cyclically on $n$.
Here we study the periods of the quasipolynomial and its coefficients, which are bounded by functions, not well understood, of the piece's move directions, and we develop exact formulas for the very highest coefficients. The coefficients of the three highest powers of $n$ do not vary with $n$. On the other hand, we present simple pieces for which the fourth coefficient varies periodically. We develop detailed properties of counting quasipolynomials that will be applied in sequels to partial queens, whose moves are subsets of those of the queen, and the nightrider, whose moves are extended knight's moves.
We conclude with the first, though strange, formula for the classical $n$-Queens Problem and with several conjectures and open problems.
A $q$-Queens Problem. III. Nonattacking Partial Queens
Published in Australasian Journal of Combinatorics, 74 (2019), no. 2, 305-331
• Search Publication
We apply our geometrical theory for counting placements of $q$ nonattacking on an $n\times n$ chessboard, from Parts~I and II, to partial queens: that is, chess pieces with any combination of horizontal, vertical, and $45^\circ$-diagonal moves. Parts~I and II showed that for any rider (a piece with moves of unlimited length) the answer will be a quasipolynomial function of $n$ in which the coefficients are essentially polynomials in $q$. Those general results gave the three highest-order coefficients of the counting quasipolynomial and formulas for counting placements of two nonattacking pieces and the combinatorially distinct types of such placements.
By contrast, the unified framework we present here for partial queens allows us to explicitly compute the four highest-order coefficients of the counting quasipolynomial, show that the five highest-order coefficients are constant (independent of $n$), and find the period of the next coefficient (which depends upon the exact set of moves). Furthermore, for three nonattacking partial queens we are able to prove formulas for the total number of nonattacking placements and for the number of their combinatorially distinct types.
The method of proof, as in the previous parts, is by detailed analysis of the lattice of subspaces of an inside-out polytope.
Balanced simplices
Published in Advances in Applied Mathematics, Elsevier, 2015, 62, pp.74-117
• View Publication
• BIB
An additive cellular automaton is a linear map on the set of infinite multidimensional arrays of elements in a finite cyclic group $\mathbb{Z}/m\mathbb{Z}$. In this paper, we consider simplices appearing in the orbits generated from arithmetic arrays by additive cellular automata. We prove that they are a source of balanced simplices, that are simplices containing all the elements of $\mathbb{Z}/m\mathbb{Z}$ with the same multiplicity. For any additive cellular automaton of dimension $1$ or higher, the existence of infinitely many balanced simplices of $\mathbb{Z}/m\mathbb{Z}$ appearing in such orbits is shown, and this, for an infinite number of values $m$. The special case of the Pascal cellular automata, the cellular automata generating the Pascal simplices, that are a generalization of the Pascal triangle into arbitrary dimension, is studied in detail.
Arc-connectivity and super arc-connectivity of mixed Cayley digraph
A digraph X=(V, E) is max-λ, if λ(X)=δ(X). A digraph X is super-λif every minimum cut of X is either the set of inarcs of some vertex or the set of outarcs of some vertex. In this paper, we will prove that for all but a few exceptions, the strongly connected mixed Cayley digraphs are max-λand super-λ.
Ihara Zeta functions of infinite weighted graphs
Published
• View Publication
• BIB
The theory of Ihara zeta functions is extended to infinite graphs which are weighted and of finite total weight. In this case one gets meromorphic instead of rational functions and the classical determinant formulas of Bass and Ihara hold true with Fredholm determinants.
Structural parameterizations for boxicity
Published
• View Publication
• BIB
The boxicity of a graph $G$ is the least integer $d$ such that $G$ has an intersection model of axis-aligned $d$-dimensional boxes. Boxicity, the problem of deciding whether a given graph $G$ has boxicity at most $d$, is NP-complete for every fixed $d \ge 2$. We show that boxicity is fixed-parameter tractable when parameterized by the cluster vertex deletion number of the input graph. This generalizes the result of Adiga et al., that boxicity is fixed-parameter tractable in the vertex cover number.
Moreover, we show that boxicity admits an additive $1$-approximation when parameterized by the pathwidth of the input graph.
Finally, we provide evidence in favor of a conjecture of Adiga et al. that boxicity remains NP-complete when parameterized by the treewidth.