Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Sufficient Conditions for Labelled 0-1 Laws
Published
• View Publication
• BIB
If F(x) = e^G(x), where F(x) = \sum f(n)x^n and $G(x) = \sum g(n)x^n, with 0 \le g(n) = O(n^{theta n}/n!),theta in (0,1), and gcd(n : g(n) > 0)=1, then f(n) = o(f(n-1)).
This gives an answer to Compton's request in Question 8.3 for an ``easily verifiable sufficient condition'' to show that an adequate class of structures has a labelled first-order 0-1 law, namely it suffices to show that the labelled component count function is O(n^{theta n}) for some theta in (0,1). It also provides the means to recursively construct an adequate class of structures with a labelled 0-1 law but not an unlabelled 0-1 law, answering Compton's Question 8.4.
An Introduction to Virtual Spatial Graph Theory
Published in Proceedings of the International Workshop on Knot Theory for Scientific Objects, OCAMI Studies, Vol. 1 (A. Kawauchi, editor), Osaka Municipal Universities Press, 2007
• Search Publication
Two natural generalizations of knot theory are the study of spatial graphs and virtual knots. Our goal is to unify these two approaches into the study of virtual spatial graphs. This paper is a survey, and does not contain any new results. We state the definitions, provide some examples, and survey the known results. We hope that this paper will help lead to rapid development of the area.
Factor-Critical Property in 3-Dominating-Critical Graphs
Published in Discrete Mathematics, 309 (2009) 1079--1083
• View Publication
• BIB
A vertex subset $S$ of a graph $G$ is a dominating set if every vertex of $G$ either belongs to $S$ or is adjacent to a vertex of $S$. The cardinality of a smallest dominating set is called the dominating number of $G$ and is denoted by $γ(G)$. A graph $G$ is said to be $γ$- vertex-critical if $γ(G-v)< γ(G)$, for every vertex $v$ in $G$. Let $G$ be a 2-connected $K_{1,5}$-free 3-vertex-critical graph. For any vertex $v \in V(G)$, we show that $G-v$ has a perfect matching (except two graphs), which is a conjecture posed by Ananchuen and Plummer.
Generalized Ismail's argument and $(f,g)$-expansion formula
As further development of earlier works on the $(f,g)$-inversion, the present paper is devoted to the $(f,g)$-difference operator and the representation problem or an expansion formula of analytic functions.
A recursive formula and the Leibniz formula for the $(f,g)$-difference operator of the product of two functions are established.
The resulting expansion formula not only unifies the $q$-analogue of the Lagrange inversion formula of Gessel and Stanton (thus, a $q$-expansion formula of Liu) for $q$-series but also systematizes the "Ismail's argument". In the meantime, a rigorous analytic proof of the $(1-xy,x-y)$-expansion formula with respect to geometric series, along with a proof of the previously unknown fact that it is equivalent to a $q$-analogue of the Lagrange inversion formula due to Gessel and Stanton, is presented. As applications, new proofs of several well-known summation and transformation formulas are investigated.
Sobolev spaces associated to the harmonic oscillator
Published
• View Publication
• BIB
We define the Hermite--Sobolev spaces naturally associated to the harmonic oscillator $H= -Δ+|x|^2.$ Structural properties, relations with the classical Sobolev spaces, boundedness of operators and almost everywhere convergence of solutions of the Schrödinger equation are also considered.
Distance-regular graphs and the $q$-tetrahedron algebra
Let $Γ$ denote a distance-regular graph with classical parameters $(D,b,α,β)$ and $b\not=1$, $α=b-1$. The condition on $α$ implies that $Γ$ is formally self-dual. For $b=q^2$ we use the adjacency matrix and dual adjacency matrix to obtain an action of the $q$-tetrahedron algebra $\boxtimes_q$ on the standard module of $Γ$. We describe four algebra homomorphisms into $\boxtimes_q$ from the quantum affine algebra $U_q({\hat{\mathfrak{sl}}_2})$; using these we pull back the above $\boxtimes_q$-action to obtain four actions of $U_q({\hat{\mathfrak{sl}}_2})$ on the standard module of $Γ$.
The Quiver of the Semigroup Algebra of a Left Regular Band
Published
• View Publication
• BIB
Recently it has been noticed that many interesting combinatorial objects belong to a class of semigroups called left regular bands, and that random walks on these semigroups encode several well-known random walks. For example, the set of faces of a hyperplane arrangement is endowed with a left regular band structure. This paper studies the module structure of the semigroup algebra of an arbitrary left regular band, extending results for the semigroup algebra of the faces of a hyperplane arrangement. In particular, a description of the quiver of the semigroup algebra is given and the Cartan invariants are computed. These are used to compute the quiver of the face semigroup algebra of a hyperplane arrangement and to show that the semigroup algebra of the free left regular band is isomorphic to the path algebra of its quiver.
Irregularity of hypergeometric systems via slopes along coordinate subspaces
Published in Duke Math. J. 142,3 (2008), 465-509
• View Publication
• BIB
We study the irregularity sheaves attached to the $A$-hypergeometric $D$-module $M_A(β)$ introduced by Gel'fand et al., where $A\in\mathbb{Z}^{d\times n}$ is pointed of full rank and $β\in\mathbb{C}^d$. More precisely, we investigate the slopes of this module along coordinate subspaces.
In the process we describe the associated graded ring to a positive semigroup ring for a filtration defined by an arbitrary weight vector $L$ on torus equivariant generators. To this end we introduce the $(A,L)$-umbrella, a simplicial complex determined by $A$ and $L$, and identify its facets with the components of the associated graded ring.
We then establish a correspondence between the full $(A,L)$-umbrella and the components of the $L$-characteristic variety of $M_A(β)$. We compute in combinatorial terms the multiplicities of these components in the $L$-characteristic cycle of the associated Euler-Koszul complex, identifying them with certain intersection multiplicities.
We deduce from this that slopes of $M_A(β)$ are combinatorial, independent of $β$, and in one-to-one correspondence with jumps of the $(A,L)$-umbrella. This confirms a conjecture of Sturmfels and gives a converse of a theorem of Hotta: $M_A(β)$ is regular if and only if $A$ defines a projective variety.
The sum of the squares of degrees: an overdue assignement
Published
• View Publication
• BIB
Let f(n,m) be the maximum of the sum of the squares of degrees of a graph with n vertices and m edges. Summarizing earlier research, we present a concise, asymptotically sharp upper bound on f(n,m), better than the bound of de Caen for almost all n and m.
The switching element for a Leonard pair
Published
• View Publication
• BIB
Let $V$ denote a vector space with finite positive dimension. We consider a pair of linear transformations $A : V \to V$ and $A^* : V \to V$ that satisfy (i) and (ii) below:
(i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal.
(ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal.
We call such a pair a {\em Leonard pair} on $V$. Let $v_0,v_1,...,v_d$ (resp. $w_0,w_1,...,w_d$) denote a basis for $V$ referred to in (i) (resp. (ii)). We show that there exists a unique linear transformation $S: V \to V$ that sends $v_0$ to a scalar multiple of $v_d$, fixes $w_0$, and sends $w_i$ to a scalar multiple of $w_i$ for $1 \leq i \leq d$. We call $S$ the {\it switching element}. We describe $S$ from many points of view.
Combinatorial modulus and type of graphs
Published in Topology and its Applications Volume 156, Issue 17, 1 November 2009, Pages 2747-2761
• View Publication
• BIB
Let a $A$ be the 1-skeleton of a triangulated topological annulus. We establish bounds on the combinatorial modulus of a refinement $A'$, formed by attaching new vertices and edges to $A$, that depend only on the refinement and not on the structure of $A$ itself. This immediately applies to showing that a disk triangulation graph may be refined without changing its combinatorial type, provided the refinement is not too wild. We also explore the type problem in terms of disk growth, proving a parabolicity condition based on a superlinear growth rate, which we also prove optimal. We prove our results with no degree restrictions in both the EEL and VEL settings and examine type problems for more general complexes and dual graphs.
Eta-series and a Boolean Bercovici-Pata bijection for bounded k-tuples
Published
• View Publication
• BIB
On the space of (non-commutative) distributions of k-tuples of selfadjoint elements in a $C^*$-probability space $D_c(k)$, one has an operation $\freeplus$ of free additive convolution, and one can consider the subspace $D_c^{inf-div}$ of distributions which are infinitely divisible with respect to this operation. The linearizing transform for free additive convolution is the R-transform. Thus, one has $R_{μ\freeplusν}=R_μ+R_ν$. The eta-series $η_μ$ is the counterpart of $R_μ$ in the theory of Boolean convolution. We prove that the space of eta-series of distributions belonging to $D_c(k)$ coincides with the space of R-transforms of distributions which are infinitely divisible with respect to free additive convolution. As a consequence of this fact, one can define a bijection $B : D_c(k) \to D_c^{inf-div}$ via the formula $R_{B(μ)} = η_μ$, for all distributions $μ$ in $D_c(k)$. We show that $B$ is a multi-variable analogue of a bijection studied by Bercovici and Pata for k=1, and we prove a theorem about convergence in moments which parallels the Bercovici-Pata result. On the other hand we prove the formula $B(μ\freetimesν) = B(μ) \freetimes B(ν),$ with $μ,ν$ considered in a space $D^{alg}(k)$ containing $D_c (k)$ where the operation of free multiplicative convolution $\freetimes$ always makes sense. An equivalent reformulation for this equality is that $η_{μ\freetimesν}=η_μ \freestar η_ν,$ for all $μ,ν\in D^{alg}(k)$. This shows that, in a certain sense, eta-series behave in the same way as R-transforms in connection to the operation of multiplication of free k-tuples of non-commutative random variables.
Cubic graphs with most automorphisms
Published
• View Publication
• BIB
We give a sharp bound for the automorphism group of a cubic simple graph with a given number of vertices. For each number of vertices we give an explicit graph attaining the bound, and prove its uniqueness in special cases.
Sequences with constant number of return words
An infinite word has the property $R_m$ if every factor has exactly $m$ return words. Vuillon showed that $R_2$ characterizes Sturmian words. We prove that a word satisfies $R_m$ if its complexity function is $(m-1)n+1$ and if it contains no weak bispecial factor. These conditions are necessary for $m=3$, whereas for $m=4$ the complexity function need not be $3n+1$. New examples of words satisfying $R_m$ are given by words related to digital expansions in real bases.
Words avoiding repetitions in arithmetic progressions
Published
• View Publication
• BIB
Carpi constructed an infinite word over a 4-letter alphabet that avoids squares in all subsequences indexed by arithmetic progressions of odd difference. We show a connection between Carpi's construction and the paperfolding words. We extend Carpi's result by constructing uncountably many words that avoid squares in arithmetic progressions of odd difference. We also construct infinite words avoiding overlaps and infinite words avoiding arbitrarily large squares in arithmetic progressions of odd difference. We use these words to construct labelings of the 2-dimensional integer lattice such that any line through the lattice encounters a squarefree (resp. overlapfree) sequence of labels.
New lower bounds for the number of $(\leq k)$-edges and the rectilinear crossing number of $K_n$
Published in Discrete and Computational Geometry 38:1 (2007), 1-14
• View Publication
• BIB
We provide a new lower bound on the number of $(\leq k)$-edges of a set of $n$ points in the plane in general position. We show that for $0 \leq k \leq\lfloor\frac{n-2}{2}\rfloor$ the number of $(\leq k)$-edges is at least $$ E_k(S) \geq 3\binom{k+2}{2} + \sum_{j=\lfloor\frac{n}{3}\rfloor}^k (3j-n+3), $$ which, for $k\geq \lfloor\tfrac{n}{3}\rfloor$, improves the previous best lower bound in [J. Balogh, G. Salazar, Improved bounds for the number of ($\leq k$)-sets, convex quadrilaterals, and the rectilinear crossing number of $K_n$]. As a main consequence, we obtain a new lower bound on the rectilinear crossing number of the complete graph or, in other words, on the minimum number of convex quadrilaterals determined by $n$ points in the plane in general position. We show that the crossing number is at least $$ \Bigl({41/108}+ε\Bigr) \binom{n}{4} + O(n^3) \geq 0.379631 \binom{n}{4} + O(n^3), $$ which improves the previous bound of $0.37533 \binom{n}{4} + O(n^3)$ in [J. Balogh, G. Salazar, Improved bounds for the number of ($\leq k$)-sets, convex quadrilaterals, and the rectilinear crossing number of $K_n$] and approaches the best known upper bound $0.38058\binom{n}{4}$ in [O. Aichholzer, H. Krasser, Abstract order type extension and new results on the rectilinear crossing number].
Congruences on Stirling numbers and Eulerian numbers
Published
• View Publication
• BIB
In this paper, we establish some Fleck-Weisman type and Davis-Sun type congruences for the Stirling numbers and the Eulerian numbers.
Eigenvalue amplitudes of the Potts model on a torus
Published in Nuclear Physics B 769 (2007) 256-274
• View Publication
• BIB
We consider the Q-state Potts model in the random-cluster formulation, defined on finite two-dimensional lattices of size L x N with toroidal boundary conditions. Due to the non-locality of the clusters, the partition function Z(L,N) cannot be written simply as a trace of the transfer matrix T\_L. Using a combinatorial method, we establish the decomposition Z(L,N) = \sum\_{l,D\_k} b^{l,D\_k} K\_{l,D\_k}, where the characters K\_{l,D\_k} = \sum\_i (λ\_i)^N are simple traces. In this decomposition, the amplitudes b^{l,D\_k} of the eigenvalues λ\_i of T\_L are labelled by the number l=0,1,...,L of clusters which are non-contractible with respect to the transfer (N) direction, and a representation D\_k of the cyclic group C\_l. We obtain rigorously a general expression for b^{l,D\_k} in terms of the characters of C\_l, and, using number theoretic results, show that it coincides with an expression previously obtained in the continuum limit by Read and Saleur.
Extensions of Wilson's lemma and the Ax-Katz theorem
A classical result of A. Fleck states that if p is a prime, and n>0 and r are integers, then $$\sum_{k=r(mod p)}\binom {n}{k}(-1)^k=0 (mod p^{[(n-1)/(p-1)]}).$$ Recently R. M. Wilson used Fleck's congruence and Weisman's extension to present a useful lemma on polynomials modulo prime powers, and applied this lemma to reprove the Ax-Katz theorem on solutions of congruences modulo p and deduce various results on codewords in p-ary linear codes with weights. In light of the recent generalizations of Fleck's congruence given by D. Wan, and D. M. Davis and Z. W. Sun, we obtain new extensions of Wilson's lemma and the Ax-Katz theorem.
Chambers of Arrangements of Hyperplanes and Arrow's Impossibility Theorem
Published in Advances in Math. 214 (2007), 366-378
• View Publication
• BIB
Let ${\mathcal A}$ be a nonempty real central arrangement of hyperplanes and ${\rm \bf Ch}$ be the set of chambers of ${\mathcal A}$. Each hyperplane $H$ defines a half-space $H^{+} $ and the other half-space $H^{-}$. Let $B = \{+, -\}$. For $H\in {\mathcal A}$, define a map $ε_{H}^{+} : {\rm \bf Ch} \to B$ by $ε_{H}^{+} (C)=+ \text{(if} C\subseteq H^{+}) \text{and} ε_{H}^{+} (C)= - \text{(if} C\subseteq H^{-}).$ Define $ε_{H}^{-}=-ε_{H}^{+}.$ Let ${\rm \bf Ch}^{m} = {\rm \bf Ch}\times{\rm \bf Ch}\times...\times{\rm \bf Ch} (m\text{times}).$ Then the maps $ε_{H}^{\pm}$ induce the maps $ε_{H}^{\pm} : {\rm \bf Ch}^{m} \to B^{m} $. We will study the admissible maps $Φ: {\rm \bf Ch}^{m} \to {\rm \bf Ch}$ which are compatible with every $ε_{H}^{\pm}$. Suppose $|{\mathcal A}|\geq 3$ and $m\geq 2$. Then we will show that ${\mathcal A}$ is indecomposable if and only if every admissible map is a projection to a omponent. When ${\mathcal A}$ is a braid arrangement, which is indecomposable, this result is equivalent to Arrow's impossibility theorem in economics. We also determine the set of admissible maps explicitly for every nonempty real central arrangement.