Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Asymptotic energy of graphs
Published
• View Publication
• BIB
The energy of a simple graph $G$ arising in chemical physics, denoted by $\mathcal E(G)$, is defined as the sum of the absolute values of eigenvalues of $G$. We consider the asymptotic energy per vertex (say asymptotic energy) for lattice systems. In general for a type of lattice in statistical physics, to compute the asymptotic energy with toroidal, cylindrical, Mobius-band, Klein-bottle, and free boundary conditions are different tasks with different hardness. In this paper, we show that if $\{G_n\}$ is a sequence of finite simple graphs with bounded average degree and $\{G_n'\}$ a sequence of spanning subgraphs of $\{G_n\}$ such that almost all vertices of $G_n$ and $G_n'$ have the same degrees, then $G_n$ and $G_n'$ have the same asymptotic energy. Thus, for each type of lattices with toroidal, cylindrical, Mobius-band, Klein-bottle, and free boundary conditions, we have the same asymptotic energy. As applications, we obtain the asymptotic formulae of energies per vertex of the triangular, $3^3.4^2$, and hexagonal lattices with toroidal, cylindrical, Mobius-band, Klein-bottle, and free boundary conditions simultaneously.
The structure of the exponent set for finite cyclic groups
We survey properties of the set of possible exponents of subsets of $\Z_n$ (equivalently, exponents of primitive circulant digraphs on $n$ vertices). Let $E_n$ denote this exponent set. We point out that $E_n$ contains the positive integers up to $\sqrt{n}$, the `large' exponents $\lfloor \frac{n}{3} \rfloor +1, \lfloor \frac{n}{2} \rfloor, n-1$, and for even $n \ge 4$, the additional value $\frac{n}{2}-1$. It is easy to see that no exponent in $[\frac{n}{2}+1,n-2]$ is possible, and Wang and Meng have shown that no exponent in $[\lfloor \frac{n}{3}\rfloor +2,\frac{n}{2}-2]$ is possible. Extending this result, we show that the interval $[\lfloor \frac{n}{4} \rfloor +3, \lfloor \frac{n}{3} \rfloor -2]$ is another gap in the exponent set $E_n$. In particular, $11 \not\in E_{35}$ and this gap is nonempty for all $n \ge 57$. A conjecture is made about further gaps in $E_n$ for large $n$.
On nowhere continuous Costas functions and infinite Golomb rulers
We prove the existence of nowhere continuous bijections that satisfy the Costas property, as well as (countably and uncountably) infinite Golomb rulers. We define and prove the existence of real and rational Costas clouds, namely nowhere continuous Costas injections whose graphs are everywhere dense in a region of the real plane, based on nonlinear solutions of Cauchy's functional equation. We also give 2 constructive examples of a nowhere continuous function, that satisfies a constrained form of the Costas property (over rational or algebraic displacements only, that is), based on the indicator function of a dense subset of the reals.
Algebraic Connectivity and Degree Sequences of Trees
We investigate the structure of trees that have minimal algebraic connectivity among all trees with a given degree sequence. We show that such trees are caterpillars and that the vertex degrees are non-decreasing on every path on non-pendant vertices starting at the characteristic set of the Fiedler vector.
Quantum K-theory of Grassmannians
Published in Duke Math. J. 156, no. 3 (2011), 501-538
• View Publication
• BIB
We show that (equivariant) K-theoretic 3-point Gromov-Witten invariants of genus zero on a Grassmann variety are equal to triple intersections computed in the ordinary (equivariant) K-theory of a two-step flag manifold, thus generalizing an earlier result of Buch, Kresch, and Tamvakis. In the process we show that the Gromov-Witten variety of curves passing through 3 general points is irreducible and rational. Our applications include Pieri and Giambelli formulas for the quantum K-theory ring of a Grassmannian, which determine the multiplication in this ring. Our formula for Gromov-Witten invariants can be partially generalized to cominuscule homogeneous spaces by using a construction of Chaput, Manivel, and Perrin.
Lee-Yang Problems and The Geometry of Multivariate Polynomials
Published in Lett. Math. Phys. 86 (2008), 53-61
• View Publication
• BIB
We describe all linear operators on spaces of multivariate polynomials preserving the property of being non-vanishing in open circular domains. This completes the multivariate generalization of the classification program initiated by Pólya-Schur for univariate real polynomials and provides a natural framework for dealing in a uniform way with Lee-Yang type problems in statistical mechanics, combinatorics, and geometric function theory.
This is an announcement with some of the main results in arXiv:0809.0401 and arXiv:0809.3087.
Hyperdeterminantal computation for the Laughlin wave function
Published in Journal of Physics A Mathematical and Theoretical 42 (2009) 145301
• View Publication
• BIB
The decomposition of the Laughlin wave function in the Slater orthogonal basis appears in the discussion on the second-quantized form of the Laughlin states and is straightforwardly equivalent to the decomposition of the even powers of the Vandermonde determinants in the Schur basis. Such a computation is notoriously difficult and the coefficients of the expansion have not yet been interpreted. In our paper, we give an expression of these coefficients in terms of hyperdeterminants of sparse tensors. We use this result to construct an algorithm allowing to compute one coefficient of the development without computing the others. Thanks to a program in {\tt C}, we performed the calculation for the square of the Vandermonde up to an alphabet of eleven lettres.
On a Speculated Relation Between Chvátal-Sankoff Constants of Several Sequences
Published in Combinatorics, Probability and Computing (2009) 18:4, 517-532
• View Publication
• BIB
It is well known that, when normalized by n, the expected length of a longest common subsequence of d sequences of length n over an alphabet of size sigma converges to a constant gamma_{sigma,d}. We disprove a speculation by Steele regarding a possible relation between gamma_{2,d} and gamma_{2,2}. In order to do that we also obtain new lower bounds for gamma_{sigma,d}, when both sigma and d are small integers.
Structural properties of acyclic heaps of pieces with Kazhdan--Lusztig theory
We introduce the notions of boundary vertex, linear equivalence and effective boundary vertex in the context of Viennot's heaps of pieces. We prove that in the heap of a fully commutative element in a star reducible Coxeter group, every boundary vertex is linearly equivalent to an effective boundary vertex. Using this result, we establish Property W (in the sense of math.QA/0509363) for star reducible Coxeter groups; this corrects a mistake in the latter paper.
A Basic Elementary Extension of the Duchet-Meyniel Theorem
Published
• View Publication
• BIB
The Conjecture of Hadwiger implies that the Hadwiger number $h$ times the independence number $α$ of a graph is at least the number of vertices $n$ of the graph. In 1982 Duchet and Meyniel proved a weak version of the inequality, replacing the independence number $α$ by $2α-1$, that is, $$(2α-1)\cdot h \geq n.$$ In 2005 Kawarabayashi, Plummer and the second author published an improvement of the theorem, replacing $2α- 1$ by $2α- 3/2$ when $α$ is at least 3. Since then a further improvement by Kawarabayashi and Song has been obtained, replacing $2α- 1$ by $2α- 2$ when $α$ is at least 3.
In this paper a basic elementary extension of the Theorem of Duchet and Meyniel is presented. This may be of help to avoid dealing with basic cases when looking for more substantial improvements. The main unsolved problem (due to Seymour) is to improve, even just slightly, the theorem of Duchet and Meyniel in the case when the independence number $α$ is equal to 2. The case $α= 2$ of Hadwiger's Conjecture was first pointed out by Mader as an interesting special case.
A note on Elkin's improvement of Behrend's construction
Published
• View Publication
• BIB
We provide a short proof of a recent result of Elkin in which large subsets of the integers 1 up to N free of 3-term progressions are constructed.
On the Combinatorics of the Boros-Moll Polynomials
Published
• View Publication
• BIB
The Boros-Moll polynomials arise in the evaluation of a quartic integral. The original double summation formula does not imply the fact that the coefficients of these polynomials are positive. Boros and Moll proved the positivity by using Ramanujan's Master Theorem to reduce the double sum to a single sum. Based on the structure of reluctant functions introduced by Mullin and Rota along with an extension of Foata's bijection between Meixner endofunctions and bi-colored permutations, we find a combinatorial proof of the positivity. In fact, from our combinatorial argument one sees that it is essentially the binomial theorem that makes it possible to reduce the double sum to a single sum.
On the structure of Goulden-Jackson-Vakil formula
Published in Math. Res. Lett. 16 (2009), no. 4, 703--710
• View Publication
• BIB
We study the structure of the Goulden-Jackson-Vakil formula that relates Hurwitz numbers to some conjectural "intersection numbers" on a conjectural family of varieties $X_{g,n}$ of dimension $4g-3+n$. We give explicit formulas for the properly arranged generating function for these "intersection numbers", and prove that it satisfies Hirota equations. This generalizes and substantially simplifies our earlier results with Zvonkine in arXiv:math/0602457.
Non-cyclic graph associated with a group
Published
• View Publication
• BIB
We associate a graph $\mathcal{C}_G$ to a non locally cyclic group $G$ (called the non-cyclic graph of $G$) as follows: take $G\backslash Cyc(G)$ as vertex set, where $Cyc(G)=\{x\in G | < x,y> \text{is cyclic for all} y\in G\}$ is called the cyclicizer of $G$, and join two vertices if they do not generate a cyclic subgroup.
For a simple graph $Γ$, $w(Γ)$ denotes the clique number of $Γ$, which is the maximum size (if it exists) of a complete subgraph of $Γ$. In this paper we characterize groups whose non-cyclic graphs have clique numbers at most 4. We prove that a non-cyclic group $G$ is solvable whenever $w(\mathcal{C}_G)<31$ and the equality for a non-solvable group $G$ holds if and only if $G/Cyc(G)\cong A_5$ or $S_5$.
On a symmetric space attached to polyzeta values
Quickly convergent series are given to compute polyzeta numbers. The formula involves an intricate combination of (generalized) polylogarithms at 1/2. However, the combinatorics has a very simple geometric interpretation: it corresponds with the square map on some symmetric space P.
Extended Zeilberger's Algorithm for Identities on Bernoulli and Euler Polynomials
Published in J. Number Theory 129 (2009) 2111-2132
• View Publication
• BIB
We present a computer algebra approach to proving identities on Bernoulli polynomials and Euler polynomials by using the extended Zeilberger's algorithm given by Chen, Hou and Mu. The key idea is to use the contour integral definitions of the Bernoulli and Euler numbers to establish recurrence relations on the integrands. Such recurrence relations have certain parameter free properties which lead to the required identities without computing the integrals.
A New Bijection Between Forests and Parking Functions
In 1980, G. Kreweras gave a recursive bijection between forests and parking functions. In this paper we construct a nonrecursive bijection from forests onto parking functions, which answers a question raised by R. Stanley. As a by-product, we obtain a bijective proof of Gessel and Seo's formula for lucky statistic on parking functions.
Linear extension of the Erdos-Heilbronn conjecture
Published in J. Combin. Theory Ser. A 119(2012), 364-381
• View Publication
• BIB
The famous Erdos-Heilbronn conjecture plays an important role in the development of additive combinatorics. In 2007 Z. W. Sun made the following further conjecture (which is the linear extension of the Erdos-Heilbronn conjecture): For any finite subset A of a field F and nonzero elements $a_1,...,a_n$ of F, the set {a_1x_1+...+a_nx_n: x_1,....,x_n are distinct elements of A} has cardinality at least min{p(F)-delta, n(|A|-n)+1}, where the additive order p(F) of the multiplicative identity of F is different from n+1, and delta=0,1 takes the value 1 if and only if n=2 and $a_1+a_2=0$. In this paper we prove this conjecture of Sun when $p(F)\geq n(3n-5)/2$. We also obtain a sharp lower bound for the cardinality of the restricted sumset {x_1+...+x_n: x_1\in A_1,...,x_n\in A_n, and P(x_1,...,x_n)\not=0}, where $A_1,...,A_n$ are finite subsets of a field F and $P(x_1,...,x_n)$ is a general polynomial over F.
Drawing disconnected graphs on the Klein bottle
Published
• View Publication
• BIB
We prove that two disjoint graphs must always be drawn separately on the Klein bottle, in order to minimize the crossing number of the whole drawing.
Coxeter group actions on 4F3(1) hypergeometric series
Published
• View Publication
• BIB
We investigate a certain linear combination $K(\vec{x})=K(a;b,c,d;e,f,g)$ of two Saalschutzian hypergeometric series of type ${_4}F_3(1)$. We first show that $K(a;b,c,d;e,f,g)$ is invariant under the action of a certain matrix group $G_K$, isomorphic to the symmetric group $S_6$, acting on the affine hyperplane $V=\{(a,b,c,d,e,f,g)\in\Bbb C^7\colon e+f+g-a-b-c-d=1\}$. We further develop an algebra of three-term relations for $K(a;b,c,d;e,f,g)$. We show that, for any three elements $μ_1,μ_2,μ_3$ of a certain matrix group $M_K$, isomorphic to the Coxeter group $W(D_6)$ (of order 23040), and containing the above group $G_K$, there is a relation among $K(μ_1\vec{x})$, $K(μ_2\vec{x})$, and $K(μ_3\vec{x})$, provided no two of the $μ_j$'s are in the same right coset of $G_K$ in $M_K$. The coefficients in these three-term relations are seen to be rational combinations of gamma and sine functions in $a,b,c,d,e,f,g$.
The set of $({|M_K|/|G_K|\atop 3})=({32\atop 3})=4960$ resulting three-term relations may further be partitioned into five subsets, according to the Hamming type of the triple $(μ_1,μ_2,μ_3) $ in question. This Hamming type is defined in terms of Hamming distance between the $μ_j$'s, which in turn is defined in terms of the expression of the $μ_j$'s as words in the Coxeter group generators.
Each three-term relation of a given Hamming type may be transformed into any other of the same type by a change of variable. An explicit example of each of the five types of three-term relations is provided.