Showing 20 papers (Total: 82139 papers, 47531 authors in database)
On the c-vectors and g-vectors of the Markov cluster algebra
We describe the c-vectors and g-vectors of the Markov cluster algebra in terms of a special family of triples of rational numbers, which we call the Farey triples.
Solitaire Mancala Games and the Chinese Remainder Theorem
Published
• View Publication
• BIB
Mancala is a generic name for a family of sowing games that are popular all over the world. There are many two-player mancala games in which a player may move again if their move ends in their own store. In this work, we study a simple solitaire mancala game called Tchoukaillon that facilitates the analysis of "sweep" moves, in which all of the stones on a portion of the board can be collected into the store. We include a self-contained account of prior research on Tchoukaillon, as well as a new description of all winning Tchoukaillon boards with a given length. We also prove an analogue of the Chinese Remainder Theorem for Tchoukaillon boards, and give an algorithm to reconstruct a complete winning Tchoukaillon board from partial information. Finally, we propose a graph-theoretic generalization of Tchoukaillon for further study.
The Combinatorial Game Theory of Well-Tempered Scoring Games
Published
• View Publication
• BIB
We consider the class of "well-tempered" integer-valued scoring games, which have the property that the parity of the length of the game is independent of the line of play. We consider disjunctive sums of these games, and develop a theory for them analogous to the standard theory of disjunctive sums of normal-play partizan games. We show that the monoid of well-tempered scoring games modulo indistinguishability is cancellative but not a group, and we describe its structure in terms of the group of normal-play partizan games. We also classify Boolean-valued well-tempered scoring games, showing that there are exactly seventy, up to equivalence.
The Run Transform
Published
• View Publication
• BIB
We consider the transform from sequences to triangular arrays defined in terms of generating functions by f(x) -> (1-x)/(1-xy) f(x(1-x)/(1-xy)). We establish a criterion for the transform of a nonnegative sequence to be nonnegative, and we show that the transform counts certain classes of lattice paths by number of "pyramid ascents", as well as certain classes of ordered partitions by number of blocks that consist of increasing consecutive integers.
Test-space characterizations of some classes of Banach spaces
Published in in: Algebraic Methods in Functional Analysis, The Victor Shulman Anniversary Volume, I.G. Todorov, L. Turowska (Eds.), Operator Theory: Advances and Applications, Vol. 233, Birkhäuser, Basel, 2014, pp. 103-126
• View Publication
• BIB
Let $\mathcal{P}$ be a class of Banach spaces and let $T=\{T_α\}_{α\in A}$ be a set of metric spaces. We say that $T$ is a set of {\it test-spaces} for $\mathcal{P}$ if the following two conditions are equivalent: (1) $X\notin\mathcal{P}$; (2) The spaces $\{T_α\}_{α\in A}$ admit uniformly bilipschitz embeddings into $X$.
The first part of the paper is devoted to a simplification of the proof of the following test-space characterization obtained in M.I. Ostrovskii [Different forms of metric characterizations of classes of Banach spaces, Houston J. Math., to appear]:
For each sequence $\{X_m\}_{m=1}^\infty$ of finite-dimensional Banach spaces there is a sequence $\{H_n\}_{n=1}^\infty$ of finite connected unweighted graphs with maximum degree 3 such that the following conditions on a Banach space $Y$ are equivalent:
(A) $Y$ admits uniformly isomorphic embeddings of $\{X_m\}_{m=1}^\infty$;
(B) $Y$ admits uniformly bilipschitz embeddings of $\{H_n\}_{n=1}^\infty$.
The second part of the paper is devoted to the case when $\{X_m\}_{m=1}^\infty$ is an increasing sequence of spaces. It is shown that in this case the class of spaces given by (A) can be characterized using one test-space, which can be chosen to be an infinite graph with maximum degree 3.
Logarithmic and complex constant term identities
Published in in "Computational and Analytical Mathematics", Springer Proceedings in Mathematics and Statistics 50 (2013), 219--250
• View Publication
• BIB
In recent work on the representation theory of vertex algebras related to the Virasoro minimal models M(2,p), Adamovic and Milas discovered logarithmic analogues of (special cases of) the famous Dyson and Morris constant term identities. In this paper we show how the identities of Adamovic and Milas arise naturally by differentiating as-yet-conjectural complex analogues of the constant term identities of Dyson and Morris. We also discuss the existence of complex and logarithmic constant term identities for arbitrary root systems, and in particular prove complex and logarithmic constant term identities for the root system G_2.
A new proof to complexity of dual basis of a type I optimal normal basis
The complexity of dual basis of a type I optimal normal basis of $\mathbb{F}_{q^n}$ over $\mathbb{F}_{q}$ was determined to be $3n-3$ or $3n-2$ according as $q$ is even or odd, respectively, by Z.-X. Wan and K. Zhou in 2007. We give a new proof to this result by clearly deriving the dual of a type I optimal normal basis with the aid of a lemma on the dual of a polynomial basis.
Making a graph crossing-critical by multiplying its edges
Published
• View Publication
• BIB
A graph is crossing-critical if the removal of any of its edges decreases its crossing number. This work is motivated by the following question: to what extent is crossing- criticality a property that is inherent to the structure of a graph, and to what extent can it be induced on a noncritical graph by multiplying (all or some of) its edges? It is shown that if a nonplanar graph G is obtained by adding an edge to a cubic polyhedral graph, and G is sufficiently connected, then G can be made crossing-critical by a suitable multiplication of edges.
Tree Decomposition By Eigenvectors
Published in Linear Algebra Appl., Vol. 430 (2009), pp. 133-144
• View Publication
• BIB
In this work a composition-decomposition technique is presented that correlates tree eigenvectors with certain eigenvectors of an associated so-called skeleton forest. In particular, the matching properties of a skeleton determine the multiplicity of the corresponding tree eigenvalue. As an application a characterization of trees that admit eigenspace bases with entries only from the set {0, 1,-1} is presented. Moreover, a result due to Nylen concerned with partitioning eigenvectors of tree pattern matrices is generalized.
On the eigenvalues of distance powers of circuits
Published in Linear Algebra Appl., Vol. 432 (2010), pp. 3132-3140
• View Publication
• BIB
Taking the d-th distance power of a graph, one adds edges between all pairs of vertices of that graph whose distance is at most d. It is shown that only the numbers -3, -2, -1, 0, 1, 2d can be integer eigenvalues of a circuit distance power. Moreover, their respective multiplicities are determined and explicit constructions for corresponding eigenspace bases containing only vectors with entries -1, 0, 1 are given.
Integral circulant graphs of prime power order with maximal energy
Published in Linear Algebra Appl., Vol 435 (2011), pp. 3212-3232
• View Publication
• BIB
The energy of a graph is the sum of the moduli of the eigenvalues of its adjacency matrix. We study the energy of integral circulant graphs, also called gcd graphs, which can be characterized by their vertex count n and a set D of divisors of n in such a way that they have vertex set Zn and edge set {{a, b} : a, b in Zn; gcd(a - b, n) in D}. Using tools from convex optimization, we study the maximal energy among all integral circulant graphs of prime power order ps and varying divisor sets D. Our main result states that this maximal energy approximately lies between s(p - 1)p^(s-1) and twice this value. We construct suitable divisor sets for which the energy lies in this interval. We also characterize hyperenergetic integral circulant graphs of prime power order and exhibit an interesting topological property of their divisor sets.
Recognizing [h,2,1] graphs
An (h,s,t)-representation of a graph G consists of a collection of subtrees of a tree T, where each subtree corresponds to a vertex of G such that (i) the maximum degree of T is at most h, (ii) every subtree has maximum degree at mots s, (iii) there is an edge between two vertices in the graph G if and only if the corresponding subtrees have at least t vertices in common in T. The class of graphs that have an (h,s,t)-representation is denoted [h,s,t].
An undirected graph G is called a VPT graph if it is the vertex intersection graph of a family of paths in a tree. In this paper we characterize [h,2,1] graphs using chromatic number. We show that the problem of deciding whether a given VPT graph belongs to [h,2,1] is NP-complete, while the problem of deciding whether the graph belongs to [h,2,1]-[h-1,2,1] is NP-hard. Both problems remain hard even when restricted to $Split \cap VPT$. Additionally, we present a non-trivial subclass of $Split \cap VPT$ in which these problems are polynomial time solvable.
Permutahedra and Associahedra: Generalized associahedra from the geometry of finite reflection groups
Published
• View Publication
• BIB
This is a chapter in an upcoming Tamari Festscrift. Permutahedra are a class of convex polytopes arising naturally from the study of finite reflection groups, while generalized associahedra are a class of polytopes indexed by finite reflection groups. We present the intimate links those two classes of polytopes share.
Model theoretic connected components of finitely generated nilpotent groups
Published
• View Publication
• BIB
We prove that for a finitely generated infinite nilpotent group G with a first order structure (G,*,...), the connected component G*0 of a sufficiently saturated extension G* of G exists and equals $\bigcap_{n\in\N} {g^n : g\in G^*}$. We construct a first order expansion of Z by a predicate (Z,+,P) such that the type-connected component Z*00_{\emptyset} is strictly smaller than Z*0. We generalize this to finitely generated virtually solvable groups. As a corollary of our construction we obtain an optimality result for the van der Waerden theorem.
Degrees in oriented hypergraphs and Ramsey p-chromatic number
Published
• View Publication
• BIB
The family $D(k,m)$ of graphs having an orientation such that for every vertex $v \in V(G)$ either (outdegree) $°^+(v) \le k$ or (indegree) $°^-(v) \le m$ have been investigated recently in several papers because of the role $D(k,m)$ plays in the efforts to estimate the maximum directed cut in digraphs and the minimum cover of digraphs by directed cuts. Results concerning the chromatic number of graphs in the family $D(k,m)$ have been obtained via the notion of $d$-degeneracy of graphs. In this paper we consider a far reaching generalization of the family $D(k,m)$, in a complementary form, into the context of $r$-uniform hypergraphs, using a generalization of Hakimi's theorem to $r$-uniform hypergraphs and by showing some tight connections with the well known Ramsey numbers for hypergraphs.
Supersymmetric lattice fermions on the triangular lattice: superfrustration and criticality
Published in New J. Phys. 14, 073002 (2012)
• View Publication
• BIB
We study a model for itinerant, strongly interacting fermions where a judicious tuning of the interactions leads to a supersymmetric Hamiltonian. On the triangular lattice this model is known to exhibit a property called superfrustration, which is characterized by an extensive ground state entropy. Using a combination of numerical and analytical methods we study various ladder geometries obtained by imposing doubly periodic boundary conditions on the triangular lattice. We compare our results to various bounds on the ground state degeneracy obtained in the literature. For all systems we find that the number of ground states grows exponentially with system size. For two of the models that we study we obtain the exact number of ground states by solving the cohomology problem. For one of these, we find that via a sequence of mappings the entire spectrum can be understood. It exhibits a gapped phase at 1/4 filling and a gapless phase at 1/6 filling and phase separation at intermediate fillings. The gapless phase separates into an exponential number of sectors, where the continuum limit of each sector is described by a superconformal field theory.
Fullerene-like spheres with faces of negative curvature
Given R\subset N, an (R,k)$-sphere is a k-regular map on the sphere whose faces have gonalities i\in R. The most interesting/useful are (geometric) fullerenes, i.e., (\{5,6\},3)$-spheres.
Call κ_i=1 + \frac{i}{k} - \frac{i}{2} the curvature of i-gonal faces. (R,k)-spheres admitting κ_i<0 are much harder to study. We consider the symmetries and construction for three new instances of such spheres: ({a,b},k)-spheres with p_b\le 3 (they are listed), icosahedrites (i.e., ({3,4},5)$-spheres) and, for any c\in N, fullerene c-disks, i.e., ({5,6,c},3)-spheres with p_c=1.
On the bend-number of planar and outerplanar graphs
Published
• View Publication
• BIB
The bend-number b(G) of a graph G is the minimum k such that G may be represented as the edge intersection graph of a set of grid paths with at most k bends. We confirm a conjecture of Biedl and Stern showing that the maximum bend-number of outerplanar graphs is 2. Moreover we improve the formerly known lower and upper bound for the maximum bend-number of planar graphs from 2 and 5 to 3 and 4, respectively.
Kakeya sets over non-archimedean local rings
Published in Mathematika, 59, 257-266, 2013
• View Publication
• BIB
In a recent paper of Ellenberg, Oberlin, and Tao, the authors asked whether there are Besicovitch phenomena in F_q[[t]]^n. In this paper, we answer their question in the affirmative by explicitly constructing a Kakeya set in F_q[[t]]^n of measure 0. Furthermore, we prove that any Kakeya set in F_q[[t]]^2 or Z_p^2 is of Minkowski dimension 2.
Races among products
Published in Journal of Combinatorial Theory, Series A 119 (2012) pp. 1789-1797
• View Publication
• BIB
We will revisit a 1987 question of Rabbi Ehrenpreis. Among many things, we will provide an elementary injective proof that P_1(L,y,n)>=P_2(L,y,n) for any L,n>0 and any odd y>1 . Here, P_1(L,y,n) denotes the number of partitions of n into parts congruent to 1, y+2, or 2y mod 2(y+1) with the largest part not exceeding 2(y+1)L-2 and P_2(L,y,n) denotes the number of partitions of n into parts congruent to 2, y, or 2y+1 mod 2(y+1) with the largest part not exceeding 2(y+1)L-1.