Showing 20 papers (Total: 83502 papers, 48219 authors in database)
On the ideal of the shortest vectors in the Leech lattice and other lattices
Published
• View Publication
• BIB
Let $X \subset {\mathbb R}^m$ be a spherical code (i.e., a finite subset of the unit sphere) and consider the ideal of all polynomials in $m$ variables which vanish on $X$. Motivated by a study of cometric ($Q$-polynomial) association schemes and spherical designs, we wish to determine certain properties of this ideal. After presenting some background material and preliminary results, we consider the case where $X$ is the set of shortest vectors of one of the exceptional lattices $E_6$, $E_7$, $E_8$, $Λ_{24}$ (the Leech lattice) and determine for each: (i) the smallest degree of a non-trivial polynomial in the ideal, and (ii) the smallest $k$ for which the ideal admits a generating set of polynomials all of degree $k$ or less. As it turns out, in all four cases mentioned above, these two values coincide, as they also do for the icosahedron, our introductory example. The paper concludes with a discussion of these two parameters, two open problems regarding their equality, and a few remarks concerning connections to cometric association schemes.
Infinite strict gammoids
Published
• View Publication
• BIB
Finite strict gammoids, introduced in the early 1970's, are matroids defined via finite digraphs equipped with some set of sinks: a set of vertices is independent if it admits a linkage to these sinks. An independent set is maximal precisely if it admits a linkage onto the sinks.
In the infinite setting, this characterization of the maximal independent sets need not hold. We identify a type of substructure as the unique obstruction to the characterization. We then show that the sets linkable onto the sinks form the bases of a (possibly non-finitary) matroid precisely when the substructure does not occur.
Counting independent sets in hypergraphs
Published in Combinator. Probab. Comp. 23 (2014) 539-550
• View Publication
• BIB
Let $G$ be a triangle-free graph with $n$ vertices and average degree $t$. We show that $G$ contains at least \[ e^{(1-n^{-1/12})\frac{1}{2}\frac{n}{t}\ln t (\frac{1}{2}\ln t-1)} \] independent sets. This improves a recent result of the first and third authors \cite{countingind}. In particular, it implies that as $n \to \infty$, every triangle-free graph on $n$ vertices has at least $e^{(c_1-o(1)) \sqrt{n} \ln n}$ independent sets, where $c_1 = \sqrt{\ln 2}/4 = 0.208138..$. Further, we show that for all $n$, there exists a triangle-free graph with $n$ vertices which has at most $e^{(c_2+o(1))\sqrt{n}\ln n}$ independent sets, where $c_2 = 1+\ln 2 = 1.693147..$. This disproves a conjecture from \cite{countingind}.
Let $H$ be a $(k+1)$-uniform linear hypergraph with $n$ vertices and average degree $t$. We also show that there exists a constant $c_k$ such that the number of independent sets in $H$ is at least \[ e^{c_{k} \frac{n}{t^{1/k}}\ln^{1+1/k}{t}}. \] This is tight apart from the constant $c_k$ and generalizes a result of Duke, Lefmann, and Rödl \cite{uncrowdedrodl}, which guarantees the existence of an independent set of size $Ω(\frac{n}{t^{1/k}} \ln^{1/k}t)$. Both of our lower bounds follow from a more general statement, which applies to hereditary properties of hypergraphs.
Sets of Rich Lines in General Position
Published
• View Publication
• BIB
Given a set of $n$ points in $R^2$, the Szemerédi-Trotter theorem establishes that the number of lines which can be incident to at least $k > 1$ of these points is $O(n^2/k^3 + n/k)$. J.\ Solymosi conjectured that if one requires the points to be in a grid formation and the lines to be in general position---no two parallel, no three meeting at a point---then one can get a much tighter bound. We prove: for every $ε> 0$ there exists some $δ> 0$ such that for sufficiently large values of $n$, every set of lines in general position, each intersecting an $n \times n$ grid of points in at least $n^{1-δ}$ places, has size at most $n^ε$.
Cubic congruences and sums involving $\binom{3k}k$
Published
• View Publication
• BIB
Let $p$ be a prime greater than $3$ and let $a$ be a rational p-adic integer. In this paper we try to determine $\sum_{k=1}^{[p/3]}\binom{3k}ka^k\pmod p$, and real the connection between cubic congruences and the sum $\sum_{k=1}^{[p/3]}\binom{3k}ka^k$, where $[x]$ is the greatest integer not exceeding $x$. Suppose that $a_1,a_2,a_3$ are rational p-adic integers, $P=-2a_1^3+9a_1a_2-27a_3$, $Q=(a_1^2-3a_2)^3$ and $PQ(P^2-Q)(P^2-3Q)(P^2-4Q)\not\equiv 0\pmod p$. In this paper we show that the number of solutions of the congruence $x^3+a_1x^2+a_2x+a_3\equiv 0\pmod p$ depends only on $\sum_{k=1}^{[p/3]}\binom{3k}k(\frac{4Q-P^2}{27Q})^k\pmod p$.
Let $q$ be a prime of the form $3k+1$ and so $4q=L^2+27M^2$ with $L,M\in\Bbb Z$. When $p\not=q$ and $p\nmid L$, we establish congruences for $\sum_{k=1}^{[p/3]}\binom{3k}k(\frac{M^2}q)^k$ and $\sum_{k=1}^{[p/3]}\binom{3k}k(\frac{L^2}{27q})^k$ modulo p. As a consequence, we show that $x^3-qx-qM\equiv 0\pmod p$ has three solutions if and only if $p$ is a cubic residue of $q$.
On the descent polynomial of signed multipermutations
Published
• View Publication
• BIB
Motivated by a conjecture of Savage and Visontai about the equidistribution of the descent statistic on signed permutations of the multiset $\{1,1,2,2,\ldots,n,n\}$ and the ascent statistic on $(1,4,3,8,\ldots,2n-1,4n)$-inversion sequences, we investigate the descent polynomial of the signed permutations of a general multiset. We obtain a factorial generating function formula for a $q$-analog of these descent polynomials and apply it to show that they have only real roots. Two different proofs of the conjecture of Savage and Visontai are provided.
Extremal numbers for odd cycles
Published in Combinator. Probab. Comp. 24 (2014) 641-645
• View Publication
• BIB
We describe the C_{2k+1}-free graphs on n vertices with maximum number of edges. The extremal graphs are unique except for n = 3k-1, 3k, 4k-2, or 4k-1. The value of ex(n,C_{2k+1}) can be read out from the works of Bondy, Woodall, and Bollobas, but here we give a new streamlined proof. The complete determination of the extremal graphs is also new.
We obtain that the bound for n_0(C_{2k+1}) is 4k in the classical theorem of Simonovits, from which the unique extremal graph is the bipartite Turan graph.
Decomposing the cube into paths
Published
• View Publication
• BIB
We consider the question of when the $n$-dimensional hypercube can be decomposed into paths of length $k$. Mollard and Ramras \cite{MR2013} noted that for odd $n$ it is necessary that $k$ divides $n2^{n-1}$ and that $k\leq n$. Later, Anick and Ramras \cite{AR2013} showed that these two conditions are also sufficient for odd $n \leq 2^{32}$ and conjectured that this was true for all odd $n$. In this note we prove the conjecture.
Quantitative equidistribution for certain quadruples in quasi-random groups
Published in Combinator. Probab. Comp. 24 (2015) 376-381
• View Publication
• BIB
In a recent paper (arXiv:1211.6372), Bergelson and Tao proved that if $G$ is a $D$-quasi-random group, and $x$,$g$ are drawn uniformly and independently from $G$, then the quadruple $(g,x,gx,xg)$ is roughly equidistributed in the subset of $G^4$ defined by the constraint that the last two coordinates lie in the same conjugacy class. Their proof gives only a qualitative version of this result. The present notes gives a rather more elementary proof which improves this to an explicit polynomial bound in $D^{-1}$.
Weak Integer Additive Set-Indexers of Certain Graph Operations
arXiv only
• 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, where $f(u)+f(v)$ is the sum set of $f(u)$ and $f(v)$ and $\mathbb{N}_0$ is the set of all non-negative integers. If $g_f(uv)=k \forall uv\in E(G)$, then $f$ is said to be a $k$-uniform integer additive set-indexers. An integer additive set-indexer $f$ is said to be a weak integer additive set-indexer if $|g_f(uv)|=max(|f(u)|,|f(v)|) \forall uv\in E(G)$. A weak integer additive set-indexer $f$ is called a weakly $k$-uniform integer additive set-indexer if $g_f(e)=k \forall e\in E(G)$. We have some characteristics of the graphs which admit weak and weakly uniform integer additive set-indexers. In this paper, we study the admissibility of weak integer additive set-indexer by certain graphs and finite graph operations.
Enumeration of weighted games with minimum and an analysis of voting power for bipartite complete games with minimum
Published
• View Publication
• BIB
This paper is a twofold contribution. First, it contributes to the problem of enumerating some classes of simple games and in particular provides the number of weighted games with minimum and the number of weighted games for the dual class as well. Second, we focus on the special case of bipartite complete games with minimum, and we compare and rank these games according to the behavior of some efficient power indices of players of type 1 (or of type 2). The main result of this second part establishes all allowable rankings of these games when the Shapley-Shubik power index is used on players of type 1.
The regularity of binomial edge ideals of graphs
We prove two recent conjectures on some upper bounds for the Castelnuovo-Mumford regularity of the binomial edge ideals of some different classes of graphs. We prove the conjecture of Matsuda and Murai for graphs which has a cut edge or a simplicial vertex, and hence for chordal graphs. We determine the regularity of the binomial edge ideal of the join of graphs in terms of the regularity of the original graphs, and consequently prove the conjecture of Matsuda and Murai for such a graph, and hence for complete $t$-partite graphs. We also generalize some results of Schenzel and Zafar about complete $t$-partite graphs. We also prove the conjecture due to the authors for a class of chordal graphs.
Distance spectral radius of a tree with given diameter
For a connected graph, the distance spectral radius is the largest eigenvalue of its distance matrix. In this paper, of all trees with both given order and fixed diameter, the trees with the minimal distance spectral radius are completely characterized.
A few remarks on the octopus inequality and Aldous' spectral gap conjecture
Published
• View Publication
• BIB
A conjecture by D. Aldous, which can be formulated as a statement about the first nontrivial eigenvalue of the Laplacian of certain Cayley graphs on the symmetric group generated by transpositions, has been recently proven by Caputo, Liggett and Richthammer. Their proof is a subtle combination of two ingredients: a nonlinear mapping in the group algebra of the symmetric groups which permits a proof by induction, and a quite hard estimate named the octopus inequality. In this paper we present a simpler and more transparent proof of the octopus inequality, which emerges naturally when looking at the Aldous' conjecture from an algebraic perspective. We also show that the analogous of the Aldous' conjecture, where the spectral gap is replaced by the Kazhdan constant, does not hold in general.
Enumeration of one class of plane weighted trees
Published
• View Publication
• BIB
By weighted tree we understand such connected tree,that: a) each its vertex and each edge have a positive integer weight; b) the weight of each vertex is equal to the sum of weights of outgoing edges. Each tree has a binary structure --- we can color its vertices in two colors, black and white so, that adjacent vertices have different colors. A type is a set of pairwise non-isotopic plane weighted trees with a given list of weights of white vertices and a given list of weights of black vertices. In this work we present a method for computing the cardinality of a given type.
Some New Results on Strong Integer Additive Set-Indexers of Graphs
Published in Discrete Mathematics, Algorithms and Applications, Vol.7 No.1, 2015, 11 pages
• View Publication
• BIB
Let $\mathbb{N}_0$ be the set of all non-negative integers. An integer additive set-indexer of a graph $G$ is an injective function $f:V(G)\to 2^{\mathbb{N}_0}$ such that the induced function $g_f:E(G) \rightarrow 2^{\mathbb{N}_0}$ defined by $f^+(uv) = f(u)+ f(v)$ is also injective. An IASI is said to be {\em $k$-uniform} if $|f^+(e)| = k$ for all $e\in E(G)$. In this paper, we introduce the notions of strong integer additive set-indexers and initiate a study of the graphs which admit strong integer additive set-indexers.
Fractal Tiling
A simple, yet unifying method is provided for the construction of tilings by tiles obtained from the attractor of an iterated function system (IFS). Many examples appearing in the literature in ad hoc ways, as well as new examples, can be constructed by this method. These tilings can be used to extend a fractal transformation defined on the attractor of a contractive IFS to a fractal transformation on the entire space upon which the IFS acts.
Some new periodic Golay pairs
Published in Numerical Algorithms (2015) 69, issue 3, 523--530
• View Publication
• BIB
Periodic Golay pairs are a generalization of ordinary Golay pairs. They can be used to construct Hadamard matrices. A positive integer $v$ is a (periodic) Golay number if there exists a (periodic) Golay pair of length $v$. Taking into the account the results obtained in this note and an yet unpublished new result, there are only seven known periodic Golay numbers which are definitely not Golay numbers, namely 34,50,58,68,72,74,82. We construct here periodic Golay pairs of lengths 74,122,164,202,226. It is apparently unknown whether 122,164,202,226 are Golay numbers. The smallest length for which the existence of periodic Golay pairs is undecided is now 90.
A Characterisation of Weak Integer Additive Set-Indexers of Graphs
Published in ISPACS Journal of Fuzzy Set Valued Analysis, Article Id: jfsva-00189, 2014, 7pages
• View Publication
• BIB
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 integer additive set-indexer is said to be $k$-uniform if $|g_f(e)| = k$ for all $e\in E(G)$. An integer additive set-indexer $f$ is said to be a weak integer additive set-indexer if $|g_f(uv)|=max(|f(u)|,|f(v)|)$ for all $u,v\in V(G)$. In this paper, we study the characteristics of certain graphs and graph classes which admit weak integer additive set-indexers.
Forbidden minors for graphs with no first obstruction to parametric Feynman integration
Published
• View Publication
• BIB
We give a characterization of 3-connected graphs which are planar and forbid cube, octahedron, and $H$ minors, where $H$ is the graph which is one $Δ-Y$ away from each of the cube and the octahedron. Next we say a graph is Feynman 5-split if no choice of edge ordering gives an obstruction to parametric Feynman integration at the fifth step. The 3-connected Feynman 5-split graphs turn out to be precisely those characterized above. Finally we derive the full list of forbidden minors for Feynman 5-split graphs of any connectivity.