arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82311 papers, 47607 authors in database)
2013-03-14
Six signed Petersen graphs, and their automorphisms
Published in Discrete Mathematics 312 (2012), no. 9, 1558-1583 • View Publication • BIB
Up to switching isomorphism there are six ways to put signs on the edges of the Petersen graph. We prove this by computing switching invariants, especially frustration indices and frustration numbers, switching automorphism groups, chromatic numbers, and numbers of proper 1-colorations, thereby illustrating some of the ideas and methods of signed graph theory. We also calculate automorphism groups and clusterability indices, which are not invariant under switching. In the process we develop new properties of signed graphs, especially of their switching automorphism groups.
2013-03-14 v2
On the partitions with Sturmian-like refinements
Published in Discrete and Continuous Dynamical Systems - Series A, Volume 35, Issue 8, August 2015, 3483-3501 • View Publication • BIB
In the dynamics of a rotation of the unit circle by an irrational angle $α\in(0,1)$, we study the evolution of partitions whose atoms are finite unions of left-closed right-open intervals with endpoints lying on the past trajectory of the point $0$. Unlike the standard framework, we focus on partitions whose atoms are disconnected sets. We show that the refinements of these partitions eventually coincide with the refinements of a preimage of the Sturmian partition, which consists of two intervals $[0,1-α)$ and $[1-α,1)$. In particular, the refinements of the partitions eventually consist of connected sets, i.e., intervals. We reformulate this result in terms of Sturmian subshifts: we show that for every non-trivial factor mapping from a one-sided Sturmian subshift, satisfying a mild technical assumption, the sliding block code of sufficiently large length induced by the mapping is injective.
2013-03-14
Compactifying Exchange Graphs I: Annuli and Tubes
Published • View Publication • BIB
We introduce the notion of an \emph{asymptotic triangulation} of the annulus. We show that asymptotic triangulations can be mutated as the usual triangulations and describe their exchange graph. Viewing asymptotic triangulations as limits of triangulations under the action of the mapping class group, we compactify the exchange graph of the triangulations of the annulus. The cases of tubes are also considered.
2013-03-14 v2
The intersection spectrum of Skolem sequences and its applications to lambda fold cyclic triple systems, together with the Supplement
Published in Discrete Mathematics 312(2012) 1985-1999 • View Publication • BIB
A Skolem sequence of order n is a sequence S_n=(s_{1},s_{2},...,s_{2n}) of 2n integers containing each of the integers 1,2,...,n exactly twice, such that two occurrences of the integer j in {1,2,...,n} are separated by exactly j-1 integers. We prove that the necessary conditions are sufficient for existence of two Skolem sequences of order n with 0,1,2,...,n-3 and n pairs in same positions. Further, we apply this result to the fine structure of cyclic two, three and four-fold triple systems, and also to the fine structure of lambda-fold directed triple systems and lambda-fold Mendelsohn triple systems. For a better understanding of the paper we added more details into a "Supplement".
2013-03-14 v2
Algebraic Cayley Graphs over Finite Fields
Published • View Publication • BIB
A new algebraic Cayley graph is constructed using finite fields. Its connectedness and diameter bound are studied via Weil's estimate for character sums. These graphs provide a new source of expander graphs, extending classical results of Chung.
2013-03-14 v2
On an extremal problem connected with simplices
In this note we investigate the behavior of the volume that the convex hull of two congruent and intersecting simplices in Euclidean $n$-space can have. We prove some useful equalities and inequalities on this volume. For the regular simplex we determine the maximal possible volume for the case when the two simplices are related to each other via reflection at a hyperplane intersecting them.
2013-03-14
Groups whose prime graphs have no triangles
Published in Journal of Algebra 378 (2013), 196-206 • View Publication • BIB
Let G be a finite group and let cd(G) be the set of all complex irreducible character degrees of G Let ρ(G) be the set of all primes which divide some character degree of G. The prime graph Δ(G) attached to G is a graph whose vertex set is ρ(G) and there is an edge between two distinct primes u and v if and only if the product uv divides some character degree of G. In this paper, we show that if G is a finite group whose prime graph Δ(G) has no triangles, then Δ(G) has at most 5 vertices. We also obtain a classification of all finite graphs with 5 vertices and having no triangles which can occur as prime graphs of some finite groups. Finally, we show that the prime graph of a finite group can never be a cycle nor a tree with at least 5 vertices.
2013-03-14 v5
Algebraicity of the zeta function associated to a matrix over a free group algebra
Published in Algebra Number Theory 8-2 (2014), 497--511 • View Publication • BIB
Following and generalizing a construction by Kontsevich, we associate a zeta function to any matrix with entries in a ring of noncommutative Laurent polynomials with integer coefficients. We show that such a zeta function is an algebraic function.
2013-03-14 v2
A basis for the diagonally signed-symmetric polynomials
Let n>0 be an integer and let B_{n} denote the hyperoctahedral group of rank n. The group B_{n} acts on the polynomial ring Q[x_{1},...,x_{n},y_{1},...,y_{n}] by signed permutations simultaneously on both of the sets of variables x_{1},...,x_{n} and y_{1},...,y_{n}. The invariant ring M^{B_{n}}:=Q[x_{1},...,x_{n},y_{1},...,y_{n}]^{B_{n}} is the ring of diagonally signed-symmetric polynomials. In this article we provide an explicit free basis of M^{B_{n}} as a module over the ring of symmetric polynomials on both of the sets of variables x_{1}^{2},..., x^{2}_{n} and y_{1}^{2},..., y^{2}_{n} using signed descent monomials.
2013-03-14 v2
Cores of random graphs are born Hamiltonian
Published • View Publication • BIB
Let $(G_t)_{t \geq 0}$ be the random graph process ($G_0$ is edgeless and $G_t$ is obtained by adding a uniformly distributed new edge to $G_{t-1}$), and let $τ_k$ denote the minimum time $t$ such that the $k$-core of $G_t$ (its unique maximal subgraph with minimum degree at least $k$) is nonempty. For any fixed $k\geq 3$ the $k$-core is known to emerge via a discontinuous phase transition, where at time $t=τ_k$ its size jumps from 0 to linear in the number of vertices with high probability. It is believed that for any $k\geq 3$ the core is Hamiltonian upon creation w.h.p., and Bollobás, Cooper, Fenner and Frieze further conjectured that it in fact admits $\lfloor(k-1)/2\rfloor$ edge-disjoint Hamilton cycles. However, even the asymptotic threshold for Hamiltonicity of the $k$-core in $G(n,p)$ was unknown for any $k$. We show here that for any fixed $k\ge 15$ the $k$-core of $G_t$ is w.h.p. Hamiltonian for all $t \geq τ_k$, i.e., immediately as the $k$-core appears and indefinitely afterwards. Moreover, we prove that for large enough fixed $k$ the $k$-core contains $\lfloor (k-3)/2\rfloor$ edge-disjoint Hamilton cycles w.h.p. for all $t\geq τ_k$.
2013-03-14
A short proof of Kneser's addition theorem for abelian groups
Published • View Publication • BIB
Martin Kneser proved the following addition theorem for every abelian group $G$. If $A,B \subseteq G$ are finite and nonempty, then $|A+B| \ge |A+K| + |B+K| - |K|$ where $K = \{g \in G \mid g+A+B = A+B \}$. Here we give a short proof of this based on a simple intersection union argument.
2013-03-14
Fibonacci numbers and self-dual lattice structures for plane branches
Published • View Publication • BIB
Consider a plane branch, that is, an irreducible germ of curve on a smooth complex analytic surface. We define its blow-up complexity as the number of blow-ups of points necessary to achieve its minimal embedded resolution. We show that there are $F_{2n-4}$ topological types of blow-up complexity $n$, where $F_{n}$ is the $n$-th Fibonacci number. We introduce complexity-preserving operations on topological types which increase the multiplicity and we deduce that the maximal multiplicity for a plane branch of blow-up complexity $n$ is $F_n$. It is achieved by exactly two topological types, one of them being distinguished as the only type which maximizes the Milnor number. We show moreover that there exists a natural partial order relation on the set of topological types of plane branches of blow-up complexity $n$, making this set a distributive lattice, that is, any two of its elements admit an infimum and a supremum, each one of these operations beeing distributive relative to the second one. We prove that this lattice admits a unique order-inverting bijection. As this bijection is involutive, it defines a duality for topological types of plane branches. The type which maximizes the Milnor number is also the maximal element of this lattice and its dual is the unique type with minimal Milnor number. There are $F_{n-2}$ self-dual topological types of blow-up complexity $n$. Our proofs are done by encoding the topological types by the associated Enriques diagrams.
2013-03-14 v3
The Hirsch conjecture holds for normal flag complexes
Published • View Publication • BIB
Using an intuition from metric geometry, we prove that any flag and normal simplicial complex satisfies the non-revisiting path conjecture. As a consequence, the diameter of its facet-ridge graph is smaller than the number of vertices minus the dimension, as in the Hirsch conjecture. This proves the Hirsch conjecture for all flag polytopes, and more generally, for all (connected) flag homology manifolds.
2013-03-14 v2
Hindman's Coloring Theorem in arbitrary semigroups
Published in Journal of Algebra 395 (2013), 111-120 • View Publication • BIB
Hindman's Theorem asserts that, for each finite coloring of the natural numbers, there are distinct natural numbers $a_1,a_2,\dots$ such that all of the sums $a_{i_1}+a_{i_2}+\dots+a_{i_m}$ ($m\ge 1$, $i_1<i_2<\dots<i_m$) have the same color. The celebrated Galvin--Glazer proof of Hindman's Theorem and a classification of semigroups due to Shevrin, imply together that, for each finite coloring of each infinite semigroup $S$, there are distinct elements $a_1,a_2,\dots$ of $S$ such that all but finitely many of the products $a_{i_1}a_{i_2}\cdots a_{i_m}$ ($m\ge 1$, $i_1<i_2<\dots<i_m$) have the same color. Using these methods, we characterize the semigroups $S$ such that, for each finite coloring of $S$, there is an infinite \emph{subsemigroup} $T$ of $S$, such that all but finitely many members of $T$ have the same color. Our characterization connects our study to a classical problem of Milliken, Burnside groups and Tarski Monsters. We also present an application of Ramsey's graph-coloring theorem to Shevrin's theory.
2013-03-14
Row-strict Quasisymmetric Schur Functions, Characterizations of Demazure Atoms, and Permuted Basement Nonsymmetric Macdonald Polynomials
We give a Littlewood-Richardson type rule for expanding the product of a row-strict quasisymmetric Schur function and a symmetric Schur function in terms of row-strict quasisymmetric Schur functions. We then discuss a family of polynomials called Demazure atoms. We review the known characterizations of these polynomials and then present two new characterizations. Finally, we consider a family of polynomials called permuted basement nonsymmetric Macdonald polynomials which are obtained by permuting the basement of the combinatorial formula of Haglund, Haiman, and Loehr for nonsymmetric Macdonald polynomials. We show that these permuted basement nonsymmetric Macdonald polynomials are the simultaneous eigenfunctions of a family of commuting operators in the double affine Hecke algebra.
2013-03-13
On Adjacency Matrices and Descriptors of Signed Cycle Graphs
Published in Journal of Combinatorics, Information and System Sciences, 37 (2012), no. 2-4, 359--372. Zbl 1301.05157 • Search Publication
This paper deals with adjacency matrices of signed cycle graphs and chemical descriptors based on them. The eigenvalues and eigenvectors of the matrices are calculated and their efficacy in classifying different signed cycles is determined. The efficacy of some numerical indices is also examined.
2013-03-13
Matrices in the Theory of Signed Simple Graphs
Published in Advances in Discrete Mathematics and Applications: Mysore, 2008 (Proc. Int. Conf. Discrete Math., ICDM-2008, Mysore, India, 2008), pp. 207-229. Ramanujan Mathematical Soc., Mysore, India, 2010 • Search Publication
I discuss the work of many authors on various matrices used to study signed graphs, concentrating on adjacency and incidence matrices and the closely related topics of Kirchhoff (`Laplacian') matrices, line graphs, and very strong regularity.
Directionally 2-Signed and Bidirected Graphs
Published in Journal of Combinatorics, Information and System Sciences, 37 (2012), no. 2-4, 373--377. Zbl 1301.05161 • Search Publication
An edge uv in a graph Γ is directionally 2-signed (or, (2,d)-signed) by an ordered pair (a,b), a,b in {+,-}, if the label l(uv) = (a,b) from u to v, and l(vu) = (b,a) from v to u. Directionally 2-signed graphs are equivalent to bidirected graphs, where each end of an edge has a sign. A bidirected graph implies a signed graph, where each edge has a sign. We extend a theorem of Sriraj and Sampathkumar by proving that the signed graph is antibalanced (all even cycles and only even cycles have positive edge sign product) if, and only if, in the bidirected graph, after suitable reorientation of edges every vertex is a source or a sink.
2013-03-13 v2
On the maximum induced density of directed stars and related problems
Published • View Publication • BIB
Let k>=3 be an integer, we prove that the maximum induced density of the k-vertex directed star in a directed graph is attained by an iterated blow-up construction. This confirms a conjecture by Falgas-Ravry and Vaughan, who proved this for k=3, 4. This question provides the first known instance of density problem for which one can prove extremality of an iterated blow-up construction. We also study the inducibility of complete bipartite digraphs and discuss other related problems.
2013-03-13 v2
Distance-two coloring of sparse graphs
Published in European J. Combin. 36 (2014), 406-415 • View Publication • BIB
Consider a graph $G = (V, E)$ and, for each vertex $v \in V$, a subset $Σ(v)$ of neighbors of $v$. A $Σ$-coloring is a coloring of the elements of $V$ so that vertices appearing together in some $Σ(v)$ receive pairwise distinct colors. An obvious lower bound for the minimum number of colors in such a coloring is the maximum size of a set $Σ(v)$, denoted by $ρ(Σ)$. In this paper we study graph classes $F$ for which there is a function $f$, such that for any graph $G \in F$ and any $Σ$, there is a $Σ$-coloring using at most $f(ρ(Σ))$ colors. It is proved that if such a function exists for a class $F$, then $f$ can be taken to be a linear function. It is also shown that such classes are precisely the classes having bounded star chromatic number. We also investigate the list version and the clique version of this problem, and relate the existence of functions bounding those parameters to the recently introduced concepts of classes of bounded expansion and nowhere-dense classes.