Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Type-II Matrices and Combinatorial Structures
Published
• View Publication
• BIB
Type-II matrices are a class of matrices used by Jones in his work on spin models. In this paper we show that type-II matrices arise naturally in connection with some interesting combinatorial and geometric structures.
Jones Pairs
Motivated by Jones' braid group representations constructed from spin models, we define {\sl a Jones pair} to be a pair of $\nbyn$ matrices $(A,B)$ such that the endomorphisms $X_A$ and $\D_B$ form a representation of a braid group. When $A$ and $B$ are type-II matrices, we call $(A,B)$ {\sl an invertible Jones pair}. We develop the theory of Jones pairs in this thesis.
Our aim is to study the connections among association schemes, spin models and four-weight spin models using the viewpoint of Jones pairs. We use Nomura's method to construct a pair of algebras from the matrices $(A,B)$, which we call the Nomura algebras of $(A,B)$. These algebras become the central tool in this thesis. We explore their properties in Chapters \ref{Nomura} and \ref{IINom}.
In Chapter \ref{JP}, we introduce Jones pairs. We prove the equivalence of four-weight spin models and invertible Jones pairs. We extend some existing concepts for four-weight spin models to Jones pairs. In Chapter \ref{SpinModels}, we provide new proofs for some well-known results on the Bose-Mesner algebras associated with spin models.
We document the main results of the thesis in Chapter \ref{InvJP}. We prove that every four-weight spin model comes from a symmetric spin model (up to odd-gauge equivalence). We present four Bose-Mesner algebras associated to each four-weight spin model. We study the relations among these algebras. In particular, we provide a strategy to search for four-weight spin models. This strategy is analogous to the method given by Bannai, Bannai and Jaeger for finding spin models.
A solid angle polynomial with negative coefficients
This article has been replaced by arXiv:0906.4031
k-Ordered Hamilton cycles in digraphs
Given a digraph D, the minimum semi-degree of D is the minimum of its minimum indegree and its minimum outdegree. D is k-ordered Hamiltonian if for every ordered sequence of k distinct vertices there is a directed Hamilton cycle which encounters these vertices in this order. Our main result is that every digraph D of sufficiently large order n with minimum semi-degree at least (n+k)/2 -1 is k-ordered Hamiltonian. The bound on the minimum semi-degree is best possible. An undirected version of this result was proved earlier by Kierstead, Sárközy and Selkow.
The characteristic quasi-polynomials of the arrangements of root systems and mid-hyperplane arrangements
Published in Progress in Math. 283, Arrangements, local systems and singularities, (ed. F. Elzein, A. Suciu, M. Tosun, A. M. Uludag, S. Yuzvinsky) 2010,Birkhauser, 177-190
• View Publication
• BIB
Let $q$ be a positive integer. In our recent paper, we proved that the cardinality of the complement of an integral arrangement, after the modulo $q$ reduction, is a quasi-polynomial of $q$, which we call the characteristic quasi-polynomial. In this paper, we study general properties of the characteristic quasi-polynomial as well as discuss two important examples: the arrangements of reflecting hyperplanes arising from irreducible root systems and the mid-hyperplane arrangements. In the root system case, we present a beautiful formula for the generating function of the characteristic quasi-polynomial which has been essentially obtained by Ch. Athanasiadis and by A. Blass and B. Sagan. On the other hand, it is hard to find the generating function of the characteristic quasi-polynomial in the mid-hyperplane arrangement case. We determine them when the dimension is less than six.
Constructing Simplicial Branched Covers
Published
• View Publication
• BIB
Branched covers are applied frequently in topology - most prominently in the construction of closed oriented PL d-manifolds. In particular, strong bounds for the number of sheets and the topology of the branching set are known for dimension d<=4. On the other hand, Izmestiev and Joswig described how to obtain a simplicial covering space (the partial unfolding) of a given simplicial complex, thus obtaining a simplicial branched cover [Adv. Geom. 3(2):191-255, 2003]. We present a large class of branched covers which can be constructed via the partial unfolding. In particular, for d<=4 every closed oriented PL d-manifold is the partial unfolding of some polytopal d-sphere.
Constructing Combinatorial 4-Manifolds
Every closed oriented PL 4-manifold is a branched cover of the 4-sphere branched over a PL-surface with finitely many singularities by Piergallini [Topology 34(3):497-508, 1995]. This generalizes a long standing result by Hilden and Montesinos to dimension four. Izmestiev and Joswig [Adv. Geom. 3(2):191-225, 2003] gave a combinatorial equivalent of the Hilden and Montesinos result, constructing closed oriented combinatorial 3-manifolds as simplicial branched covers of combinatorial 3-spheres. The construction of Izmestiev and Joswig is generalized and applied to the result of Piergallini, obtaining closed oriented combinatorial 4-manifolds as simplicial branched covers of simplicial 4-spheres.
Subsets of F_p^n without three term arithmetic progressions have several large Fourier coefficients
Suppose that f : F_p^n -> [0,1] has expected value t in [p^(-n/9),1] (so, the density t can be quite low!). Furthermore, suppose that support(f) has no three-term arithmetic progressions. Then, we develop non-trivial lower bounds for f_j, which is the jth largest Fourier coefficient of f.
This result is similar in spirit to that appearing in an earlier paper [1] by the author; however, in that paper the focus was on the ``small'' Fourier coefficients, whereas here the focus is on the ``large'' Fourier coefficients. Furthermore, the proof in the present paper requires much more sophisticated arguments than those of that other paper.
Unit distance graphs with ambiguous chromatic number
Published in Electron. J. Combin. 16 (2009), no. 1, Note 31
• View Publication
• BIB
First Laszlo Szekely and more recently Saharon Shelah and Alexander Soifer have presented examples of infinite graphs whose chromatic numbers depend on the axioms chosen for set theory. The existence of such graphs may be relevant to the Chromatic Number of the Plane problem. In this paper we construct a new class of graphs with ambiguous chromatic number. They are unit distance graphs with vertex set R^n, and hence may be seen as further evidence that the chromatic number of the plane might depend on set theory.
Knotted Polyhedral Tori
For every knot K with stick number k there is a knotted polyhedral torus of knot type K with 3k vertices. We prove that at least 3k-2 vertices are necessary.
Harmonic morphisms and hyperelliptic graphs
Published
• View Publication
• BIB
We study harmonic morphisms of graphs as a natural discrete analogue of holomorphic maps between Riemann surfaces. We formulate a graph-theoretic analogue of the classical Riemann-Hurwitz formula, study the functorial maps on Jacobians and harmonic 1-forms induced by a harmonic morphism, and present a discrete analogue of the canonical map from a Riemann surface to projective space. We also discuss several equivalent formulations of the notion of a hyperelliptic graph, all motivated by the classical theory of Riemann surfaces. As an application of our results, we show that for a 2-edge-connected graph G which is not a cycle, there is at most one involution $ι$ on G for which the quotient $G/ι$ is a tree. We also show that the number of spanning trees in a graph G is even if and only if G admits a non-constant harmonic morphism to the graph B_2 consisting of 2 vertices connected by 2 edges. Finally, we use the Riemann-Hurwitz formula and our results on hyperelliptic graphs to classify all hyperelliptic graphs having no Weierstrass points.
Multiplicity Bounds for Quadratic Monomial Ideals
We prove the multiplicity bounds conjectured by Herzog-Huneke-Srinivasan and Herzog-Srinivasan in the following cases: the strong conjecture for edge ideals of bipartite graphs, and the weaker Taylor bound conjecture for all quadratic monomial ideals. We attach a directed graph to a bipartite graph with perfect matching, and describe operations on the directed graph that would reduce the problem to a Cohen-Macaulay bipartite graph. We determine when equality holds in the conjectured bound for edge ideals of bipartite graphs, and verify that when equality holds, the resolution is pure. We characterize bipartite graphs that have Cohen-Macaulay edge ideals and quasi-pure resolutions.
Theory of dimension for large discrete sets and applications
Published
• View Publication
• BIB
We define two notions of discrete dimension based on the Minkowski and Hausdorff dimensions in the continuous setting. After proving some basic results illustrating these definitions, we apply this machinery to the study of connections between the Erdos and Falconer distance problems in geometric combinatorics and geometric measure theory, respectively.
Norm convergence of multiple ergodic averages for commuting transformations
Published
• View Publication
• BIB
Let $T_1, ..., T_l: X \to X$ be commuting measure-preserving transformations on a probability space $(X, \X, μ)$. We show that the multiple ergodic averages $\frac{1}{N} \sum_{n=0}^{N-1} f_1(T_1^n x) ... f_l(T_l^n x)$ are convergent in $L^2(X,\X,μ)$ as $N \to \infty$ for all $f_1,...,f_l \in L^\infty(X,\X,μ)$; this was previously established for $l=2$ by Conze and Lesigne and for general $l$ assuming some additional ergodicity hypotheses on the maps $T_i$ and $T_i T_j^{-1}$ by Frantzikinakis and Kra (with the $l=3$ case of this result established earlier by Zhang). Our approach is combinatorial and finitary in nature, inspired by recent developments regarding the hypergraph regularity and removal lemmas, although we will not need the full strength of those lemmas. In particular, the $l=2$ case of our arguments are a finitary analogue of those of Conze and Lesigne.
Weyl closure of hypergeometric systems
Published
• View Publication
• BIB
We show that A-hypergeometric systems and Horn hypergeometric systems are Weyl closed for very generic parameters.
Coloring and The Lonely Graph
We improve upper bounds on the chromatic number proven independently in \cite{reedNote} and \cite{ingo}. Our main lemma gives a sufficient condition for two paths in graph to be completely joined. Using this, we prove that if a graph has an optimal coloring with more than $\fracω{2}$ singleton color classes, then it satisfies $χ\leq \frac{ω+ Δ+ 1}{2}$. It follows that a graph satisfying $n - Δ< α+ \frac{ω- 1}{2}$ must also satisfy $χ\leq \frac{ω+ Δ+ 1}{2}$, improving the bounds in \cite{reedNote} and \cite{ingo}. We then give a simple argument showing that if a graph satisfies $χ> \frac{n + 3 - α}{2}$, then it also satisfies $χ(G) \leq \left\lceil\frac{ω(G) + Δ(G) + 1}{2}\right\rceil$. From this it follows that a graph satisfying $n - Δ< α+ ω$ also satisfies $χ(G) \leq \left\lceil\frac{ω(G) + Δ(G) + 1}{2}\right\rceil$ improving the bounds in \cite{reedNote} and \cite{ingo} even further at the cost of a ceiling. In the next sections, we generalize our main lemma to constrained colorings (e.g. r-bounded colorings). We present a generalization of Reed's conjecture to r-bounded colorings and prove the conjecture for graphs with maximal degree close to their order. Finally, we outline some applications (in \cite{BorodinKostochka} and \cite{ColoringWithDoublyCriticalEdge}) of the theory presented here to the Borodin-Kostochka conjecture and coloring graphs containing a doubly critical edge.
Non-abelian free groups admit non-essentially free actions on rooted trees
We show that every countable non-abelian free group $Γ$ admits a spherically transitive action on a rooted tree $T$ such that the action of $Γ$ on the boundary of $T$ is not essentially free. This reproves a result of Bergeron and Gaboriau.
The existence of such an action answers a question of Grigorchuk, Nekrashevich and Sushchanskii.
Compositions inside a rectangle and unimodality
Published
• View Publication
• BIB
Let c^{k,l}(n) be the number of compositions (ordered partitions) of the integer n whose Ferrers diagram fits inside a k-by-l rectangle. The purpose of this note is to give a simple, algebraic proof of a conjecture of Vatter that the sequence c^{k,l}(0), c^{k,l}(1), ..., c^{k,l}(kl) is unimodal. The problem of giving a combinatorial proof of this fact is discussed, but is still open.
A generalization of MacMahon's formula
Published in Trans. Amer. Math. Soc. 361 (2009), 2789-2804
• Search Publication
We generalize the generating formula for plane partitions known as MacMahon's formula as well as its analog for strict plane partitions. We give a 2-parameter generalization of these formulas related to Macdonald's symmetric functions. The formula is especially simple in the Hall-Littlewood case. We also give a bijective proof of the analog of MacMahon's formula for strict plane partitions.
A Magnus- and Fer-type formula in dendriform algebras
Published in Foundations of Computational Mathematics, Volume 9, Issue3 (2009), 295.
• View Publication
• BIB
We provide a refined approach to the classical Magnus and Fer expansion, unveiling a new structure by using the language of dendriform and pre-Lie algebras. The recursive formula for the logarithm of the solutions of the equations X=1+ta<X and Y=1-tY> a in A[[t]] is provided, where (A,<,>) is a dendriform algebra. Then, we present the solutions to these equations as an infinite product expansion of exponentials. Both formulae involve the pre-Lie product naturally associated with the dendriform structure. Several applications are presented.