Showing 20 papers (Total: 82505 papers, 47699 authors in database)
On the asymptotic behavior of unimodal rank generating functions
Published
• View Publication
• BIB
In a recent paper, J. Lovejoy and the second author conjectured that ranks for four types of unimodal like sequences satisfy certain inequalities. In this paper, we prove these conjectures asymptotically. For this, we extend Wright's Circle Method and analyze the asymptotic behavior of certain general partial theta functions.
Homometry and direct-sum decompositions of lattice-convex sets
Published
• View Publication
• BIB
Two sets in $\mathbb{R}^d$ are called homometric if they have the same covariogram, where the covariogram of a finite subset $K$ of $\mathbb{R}^d$ is the function associating to each $u \in \mathbb{R}^d$ the cardinality of $K \cap (K+u)$. Understanding the structure of homometric sets is important for a number of areas of mathematics and applications.
If two sets are homometric but do not coincide up to translations and point reflections, we call them nontrivially homometric. We study nontrivially homometric pairs of lattice-convex sets, where a set $K$ is called lattice-convex with respect to a lattice $\mathbb{M} \subseteq \mathbb{R}^d$ if $K$ is the intersection of $\mathbb{M}$ and a convex subset of $\mathbb{R}^d$. This line of research was initiated in 2005 by Daurat, Gérard and Nivat and, independently, by Gardner, Gronchi and Zong.
All pairs of nontrivially homometric lattice-convex sets that have been known so far can essentially be written as direct sums $S \oplus T$ and $S \oplus (-T)$, where $T$ is lattice-convex, the underlying lattice~$\mathbb{M}$ is the direct sum of $T$ and some sublattice $\mathbb{L}$, and $S$ is a subset of $\mathbb{L}$. We study pairs of nontrivially homometric lattice-convex sets assuming this particular form and establish a necessary and a sufficient condition for the lattice-convexity of $S \oplus T$. This allows us to explicitly describe all nontrivially homometric pairs in dimension two, under the above assumption, and to construct examples of nontrivially homometric pairs of lattice-convex sets for each $d \ge 3$.
The Kazhdan-Lusztig polynomial of a matroid
Published
• View Publication
• BIB
We associate to every matroid M a polynomial with integer coefficients, which we call the Kazhdan-Lusztig polynomial of M, in analogy with Kazhdan-Lusztig polynomials in representation theory. We conjecture that the coefficients are always non-negative, and we prove this conjecture for representable matroids by interpreting our polynomials as intersection cohomology Poincare polynomials. We also introduce a q-deformation of the Mobius algebra of M, and use our polynomials to define a special basis for this deformation, analogous to the canonical basis of the Hecke algebra. We conjecture that the structure coefficients for multiplication in this special basis are non-negative, and we verify this conjecture in numerous examples.
Minimum (maximum) rank of tensors and the sign nonsingular tensors
Published
• View Publication
• BIB
In this paper, we define the minimum (maximum) rank, term rank and the sign nonsingular of tensors. The sufficiency and necessity for the minimum rank of a real tensor to be $1$ is given. And we show that the maximum rank of a tensor is not less than the term rank. We also prove that the minimum rank of a sign nonsingular tensor is not less than the dimension of it. And we get some characterizations of a tensor having sign left or sign right inverses.
Spectral gap for random-to-random shuffling on linear extensions
Published in Experimental Math. 26(1) (2017) 22-30
• View Publication
• BIB
In this paper, we propose a new Markov chain which generalizes random-to-random shuffling on permutations to random-to-random shuffling on linear extensions of a finite poset of size $n$. We conjecture that the second largest eigenvalue of the transition matrix is bounded above by $(1+1/n)(1-2/n)$ with equality when the poset is disconnected. This Markov chain provides a way to sample the linear extensions of the poset with a relaxation time bounded above by $n^2/(n+2)$ and a mixing time of $O(n^2 \log n)$. We conjecture that the mixing time is in fact $O(n \log n)$ as for the usual random-to-random shuffling.
Square-root cancellation for the signs of Latin squares
Published
• View Publication
• BIB
Let $L(n)$ be the number of Latin squares of order $n$, and let $L^{\textrm{even}}(n)$ and $L^{\textrm{odd}}(n)$ be the number of even and odd such squares, so that $L(n) = L^{\textrm{even}}(n) + L^{\textrm{odd}}(n)$. The Alon-Tarsi conjecture states that $L^{\textrm{even}}(n)\neq L^{\textrm{odd}}(n)$ when $n$ is even (when $n$ is odd the two are equal for very simple reasons). In this short note we prove that $|L^{\textrm{even}}(n) - L^{\textrm{odd}}(n)|\leq L(n)^{\frac{1}{2} + o(1)},$ thus establishing the conjecture that the number of even and odd Latin squares, while conjecturally not equal in even dimensions, are equal to leading order asymptotically. Two proofs are given: both proceed by applying a differential operator to an exponential integral over $\mathrm{SU}(n)$. The method is inspired by a recent result of Kumar-Landsberg.
Communicability Angle and the Spatial Efficiency of Networks
Published
• View Publication
• BIB
We introduce the concept of communicability angle between a pair of nodes in a graph. We provide strong analytical and empirical evidence that the average communicability angle for a given network accounts for its spatial efficiency on the basis of the communications among the nodes in a network. We determine characteristics of the spatial efficiency of more than a hundred real-world complex networks that represent complex systems arising in a diverse set of scenarios. In particular, we find that the communicability angle correlates very well with the experimentally measured value of the relative packing efficiency of proteins that are represented as residue networks. We finally show how we can modulate the spatial efficiency of a network by tuning the weights of the edges of the networks. This allows us to predict effects of external stresses on the spatial efficiency of a network as well as to design strategies to improve important parameters in real-world complex systems.
The matching energy of random graphs
Published
• View Publication
• BIB
The matching energy of a graph was introduced by Gutman and Wagner, which is defined as the sum of the absolute values of the roots of the matching polynomial of the graph. For the random graph $G_{n,p}$ of order $n$ with fixed probability $p\in (0,1)$, Gutman and Wagner [I. Gutman, S. Wagner, The matching energy of a graph, Discrete Appl. Math. 160(2012), 2177--2187] proposed a conjecture that the matching energy of $G_{n,p}$ converges to $\frac{8\sqrt{p}}{3π}n^{\frac{3}{2}}$ almost surely. In this paper, using analysis method, we prove that the conjecture is true.
On Lie algebra weight systems for 3-graphs
Published
• View Publication
• BIB
A {\em $3$-graph} is a connected cubic graph such that each vertex is is equipped with a cyclic order of the edges incident with it. A {\em weight system} is a function $f$ on the collection of $3$-graphs which is {\em antisymmetric}: $f(H)=-f(G)$ if $H$ arises from $G$ by reversing the orientation at one of its vertices, and satisfies the IHX-equation. Key instances of weight systems are the functions $\varphi_{\frak{g}}$ obtained from a metric Lie algebra $\frak{g}$ by taking the structure tensor $c$ of $\frak{g}$ with respect to some orthonormal basis, decorating each vertex of the $3$-graph by $c$, and contracting along the edges.
We give equations on values of any complex-valued weight system that characterize it as complex Lie algebra weight system. It also follows that if $f=\varphi_{\frak{g}}$ for some complex metric Lie algebra $\frak{g}$, then $f=\varphi_{\frak{g}'}$ for some unique complex reductive metric Lie algebra $\frak{g}'$. Basic tool throughout is geometric invariant theory.
Connection matrices and Lie algebra weight systems for multiloop chord diagrams
Published
• View Publication
• BIB
We give necessary and sufficient conditions for a weight system on multiloop chord diagrams to be obtainable from a metrized Lie algebra representation, in terms of a bound on the ranks of associated connection matrices.
Here a multiloop chord diagram is a graph with directed and undirected edges so that at each vertex precisely one directed edge is entering and precisely one directed edge is leaving, and each vertex is incident with precisely one undirected edge. Weight systems on multiloop chord diagrams yield the Vassiliev invariants for knots and links.
The $k$-th connection matrix of a function $f$ on the collection of multiloop chord diagrams is the matrix with rows and columns indexed by $k$-labeled chord tangles, and with entries equal to the $f$-value on the join of the tangles.
Biregular graphs with three eigenvalues
Published in European J. Combin. 56 (2016), pp. 57--80
• View Publication
• BIB
We consider nonregular graphs having precisely three distinct eigenvalues. The focus is mainly on the case of graphs having two distinct valencies and our results include constructions of new examples, structure theorems, valency constraints, and a classification of certain special families of such graphs. We also present a new example of a graph with three valencies and three eigenvalues of which there are currently only finitely many known examples.
A New Lower Bound for the Distinct Distance Constant
Published in Journal of Integer Sequences, volume 18 (2015), issue 4, article 8
• Search Publication
The reciprocal sum of Zhang sequence is not equal to the Distinct Distance Constant. This note introduces a $B_2$-sequence with larger reciprocal sum, and provides a more precise estimation of the reciprocal sums of Mian-Chowla sequence and Zhang sequence.
A counterexample to a conjecture of Ghosh
We answer two questions of Shamik Ghosh in the negative. We show that there exists a lobster tree of diameter less than 6 which accepts no alpha-labeling with two central vertices labeled by the critical number and the maximum vertex label. We also show a simple example of a tree of diameter 4, with an even degree central vertex which does not accept a maximum label in any graceful labeling.
Coloring graphs using topology
Higher dimensional graphs can be used to colour two-dimensional geometric graphs. If G the boundary of a three dimensional graph H for example, we can refine the interior until it is colourable with 4 colours. The later goal is achieved if all interior edge degrees are even. Using a refinement process which cuts the interior along surfaces we can adapt the degrees along the boundary of that surface. More efficient is a self-cobordism of G with itself with a host graph discretizing the product of G with an interval. It follows from the fact that Euler curvature is zero everywhere for three dimensional geometric graphs, that the odd degree edge set O is a cycle and so a boundary if H is simply connected. A reduction to minimal colouring would imply the four colour theorem. The method is expected to give a reason "why 4 colours suffice" and suggests that every two dimensional geometric graph of arbitrary degree and orientation can be coloured by 5 colours: since the projective plane can not be a boundary of a 3-dimensional graph and because for higher genus surfaces, the interior H is not simply connected, we need in general to embed a surface into a 4-dimensional simply connected graph in order to colour it. This explains the appearance of the chromatic number 5 for higher degree or non-orientable situations, a number we believe to be the upper limit. For every surface type, we construct examples with chromatic number 3,4 or 5, where the construction of surfaces with chromatic number 5 is based on a method of Fisk. We have implemented and illustrated all the topological aspects described in this paper on a computer. So far we still need human guidance or simulated annealing to do the refinements in the higher dimensional host graph.
Truncated versions of Dwork's lemma for exponentials of power series and $p$-divisibility of arithmetic functiens
Published in Adv. Math. 283 (2015), 489-529
• View Publication
• BIB
(Dieudonné and) Dwork's lemma gives a necessary and sufficient condition for an exponential of a formal power series $S(z)$ with coefficients in $Q_p$ to have coefficients in $Z_p$. We establish theorems on the $p$-adic valuation of the coefficients of the exponential of $S(z)$, assuming weaker conditions on the coefficients of $S(z)$ than in Dwork's lemma. As applications, we provide several results concerning lower bounds on the $p$-adic valuation of the number of permutation representations of finitely generated groups. In particular, we give fairly tight lower bounds in the case of an arbitrary finite Abelian $p$-group, thus generalising numerous results in special cases that had appeared earlier in the literature. Further applications include sufficient conditions for ultimate periodicity of subgroup numbers modulo $p$ for free products of finite Abelian $p$-groups, results on $p$-divisibility of permutation numbers with restrictions on their cycle structure, and a curious "supercongruence" for a certain binomial sum.
On the number of rich lines in high dimensional real vector spaces
Published in Discrete and Computational Geometry, 55(4), 955-962, (2016)
• View Publication
• BIB
In this short note we use the polynomial partitioning lemma to strengthen a recent result of Dvir and Gopi about the number of rich lines in high dimensional Euclidean spaces. Our result shows that if there are sufficiently many rich lines incident to a set of points then large fraction of them must be contained in a hyperplane.
A relation for a class of Racah polynomials
In this paper we derive a relation for a class of Racah polynomials that appear in a conjecture of Kresch and Tamvakis. The relation follows from an inversion formula for a transformation of a discrete sequence of complex numbers $\{ x_n \}_{n=0}^{\infty}$. As a result of our inversion formula, we also obtain other combinatorial identities.
High dimensional analogue of metric distortion for simplicial complexes
We suggest a new possible high dimensional analogue to metric distortion. We then show a possible method for providing lower bounds to this distortion and use this method to prove a "Bourgain-type" distortion theorem for Linial-Meshulam random complexes.
On $3$-uniform hypergraphs without linear cycles
We explore properties of $3$-uniform hypergraphs $H$ without linear cycles. Our main results are that these hypergraphs must contain a vertex of strong degree at most two and must have independent sets of size at least ${2|V(H)|\over 5}$.
Multivariate Hypergeometric Terms
In this 1997 Ph.D. dissertation we prove a piecewise form of the discrete part of Wilf and Zeilberger's 1992 conjecture that a hypergeometric term is proper if and only if it is holonomic. We show that a holonomic hypergeometric term on $Z^n$ is piecewise proper and we show that without such a qualification the conjecture is false. We call a term piecewise proper if $Z^n$ can be expressed as the union of a finite number of polyhedral regions (the "pieces") and a set of measure zero (which we define to be a finite union of hyperplanes) such that the restriction of the term to each polyhedral region is proper.
We prove a similar result for terms that are not holonomic but honest. We call a term $h$ honest if for every vector $v$ in $Z^n$ there exist relatively prime polynomials $A_v$ and $B_v$ such that $A_v(z) h(z) = B_v(z) h(z+v)$ except on a set of measure zero. We also give a naive proof of the Ore--Sato Theorem using Gosper's Lemma.
We solve an unrelated problem of Cameron by showing that there is a sum-free complete subset of $Z/mZ$ that is not symmetric for every sufficiently large modulus $m$, and we show that such a set must have the property that the cardinality of its sum set is greater than the cardinality of its difference set, which makes it a counterexample to a modular version of a conjecture of Conway. A set $S$ is said to be sum-free, complete, and symmetric respectively if $|S+S| \subset S^c$, $|S+S| \supset S^c$, and $S = -S$.