arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83502 papers, 48219 authors in database)
2013-06-18
alpha-Kuramoto partitions: graph partitions from the frustrated Kuramoto model generalise equitable partitions
Published • View Publication • BIB
The Kuramoto model describes the collective dynamics of a system of coupled oscillators. An alpha-Kuramoto partition is a graph partition induced by the Kuramoto model, when the oscillators include a phase frustration parameter. We prove that every equitable partition is an alpha-Kuramoto partition, but that the converse does necessarily not hold. We give an exact characterisation of alpha-Kuramoto bipartitions.
2013-06-17 v2
Cayley graphs on abelian groups
Published • View Publication • BIB
Let $A$ be an abelian group and let $ι$ be the automorphism of $A$ defined by $i:a\mapsto a^{-1}$. A Cayley graph $Γ=\mathrm{Cay}(A,S)$ is said to have an automorphism group \emph{as small as possible} if $\mathrm{Aut}(Γ)= A\rtimes\langle i\rangle$. In this paper, we show that almost all Cayley graphs on abelian groups have automorphism group as small as possible, proving a conjecture of Babai and Godsil.
2013-06-17
Greedy algorithms and poset matroids
Published • View Publication • BIB
We generalize the matroid-theoretic approach to greedy algorithms to the setting of poset matroids, in the sense of Barnabei, Nicoletti and Pezzoli (1998) [BNP]. We illustrate our result by providing a generalization of Kruskal algorithm (which finds a minimum spanning subtree of a weighted graph) to abstract simplicial complexes.
Computing Tree-depth Faster Than $2^{n}$
Published • View Publication • BIB
A connected graph has tree-depth at most $k$ if it is a subgraph of the closure of a rooted tree whose height is at most $k$. We give an algorithm which for a given $n$-vertex graph $G$, in time $\mathcal{O}(1.9602^n)$ computes the tree-depth of $G$. Our algorithm is based on combinatorial results revealing the structure of minimal rooted trees whose closures contain $G$.
2013-06-17 v2
Diameter graphs in $\mathbb R^4$
Published • View Publication • BIB
A \textit{diameter graph in $\mathbb R^d$} is a graph, whose set of vertices is a finite subset of $\mathbb R^d$ and whose set of edges is formed by pairs of vertices that are at diameter apart. This paper is devoted to the study of different extremal properties of diameter graphs in $\mathbb R^4$ and on a three-dimensional sphere. We prove an analogue of Vázsonyi's and Borsuk's conjecture for diameter graphs on a three-dimensional sphere with radius greater than $1/\sqrt 2$. We prove Schur's conjecture for diameter graphs in $\mathbb R^4.$ We also establish the maximum number of triangles a diameter graph in $\mathbb R^4$ can have, showing that the extremum is attained only on specific Lenz configurations.
2013-06-17 v2
Discrete Homology Theory for Metric Spaces
Published • View Publication • BIB
In this paper we define and study a notion of discrete homology theory for metric spaces. Instead of working with simplicial homology, our chain complexes are given by Lipschitz maps from an $n$-dimensional cube to a fixed metric space. We prove that the resulting homology theory verifies a discrete analogue of the Eilenberg-Steenrod axioms, and prove a discrete analogue of the Mayer-Vietoris exact sequence. Moreover, this discrete homology theory is related to the discrete homotopy theory of a metric space through a discrete analogue of the Hurewicz theorem. We study the class of groups that can arise as discrete homology groups and, in this setting, we prove that the fundamental group of a smooth, connected, metrizable, compact manifold is isomorphic to the discrete fundamental group of a `fine enough' rectangulation of the manifold. Finally, we show that this discrete homology theory can be coarsened, leading to a new non-trivial coarse invariant of a metric space.
2013-06-17 v3
Two notions of unit distance graphs
Published • View Publication • BIB
A {\em faithful (unit) distance graph} in $\mathbb{R}^d$ is a graph whose set of vertices is a finite subset of the $d$-dimensional Euclidean space, where two vertices are adjacent if and only if the Euclidean distance between them is exactly $1$. A {\em (unit) distance graph} in $\mathbb{R}^d$ is any subgraph of such a graph. In the first part of the paper we focus on the differences between these two classes of graphs. In particular, we show that for any fixed $d$ the number of faithful distance graphs in $\mathbb{R}^d$ on $n$ labelled vertices is $2^{(1+o(1)) d n \log_2 n}$, and give a short proof of the known fact that the number of distance graphs in $\mathbb{R}^d$ on $n$ labelled vertices is $2^{(1-1/\lfloor d/2 \rfloor +o(1))n^2/2}$. We also study the behavior of several Ramsey-type quantities involving these graphs. % and high-girth graphs from these classes. In the second part of the paper we discuss the problem of determining the minimum possible number of edges of a graph which is not isomorphic to a faithful distance graph in $\mathbb R^d$.
2013-06-17 v2
Holomorphic projections and Ramanujan's mock theta functions
Published • View Publication • BIB
We employ spectral methods of automorphic forms to establish a holomorphic projection operator for tensor products of vector-valued harmonic weak Maass forms and vector-valued modular forms. We apply this operator to discover simple recursions for Fourier series coefficients of Ramanujan's mock theta functions.
2013-06-17
Distance graphs with large chromatic number and arbitrary girth
Published in Moscow Journal of Combinatorics and Number Theory, Vol. 2, Iss. 2, 2012, 52-62 • Search Publication
In this article we consider a problem related to two famous combinatorial topics. One of them concerns the chromatic number of the space. The other deals with graphs having big girth (the length of the shortest cycle) and large chromatic number. Namely, we prove that for any $l\in \mathbb{N}$ there exists a sequence of distance graphs in $\mathbb{R}^n$ with girth at least $l$ and the chromatic number equal to $(c+\bar{o}(1))^n$ with $c>1$.
2013-06-17 v4
Interlacing Families II: Mixed Characteristic Polynomials and the Kadison-Singer Problem
Published • View Publication • BIB
We use the method of interlacing families of polynomials introduced to prove two theorems known to imply a positive solution to the Kadison--Singer problem. The first is Weaver's conjecture $KS_{2}$ \cite{weaver}, which is known to imply Kadison--Singer via a projection paving conjecture of Akemann and Anderson. The second is a formulation due to Casazza, et al., of Anderson's original paving conjecture(s), for which we are able to compute explicit paving bounds. The proof involves an analysis of the largest roots of a family of polynomials that we call the "mixed characteristic polynomials" of a collection of matrices.
2013-06-16 v2
Lengths of Monotone Subsequences in a Mallows Permutation
Published in Probability Theory and Related Fields 161, no. 3-4 (2015): 719-780 • View Publication • BIB
We study the length of the longest increasing and longest decreasing subsequences of random permutations drawn from the Mallows measure. Under this measure, the probability of a permutation pi in S_n is proportional to q^{inv(pi)} where q is a real parameter and inv(pi) is the number of inversions in pi. The case q=1 corresponds to uniformly random permutations. The Mallows measure was introduced by Mallows in connection with ranking problems in statistics. We determine the typical order of magnitude of the lengths of the longest increasing and decreasing subsequences, as well as large deviation bounds for them. We also provide a simple bound on the variance of these lengths, and prove a law of large numbers for the length of the longest increasing subsequence. Assuming without loss of generality that q<1, our results apply when q is a function of n satisfying n(1-q) -> infty. The case that n(1-q)=O(1) was considered previously by Mueller and Starr. In our parameter range, the typical length of the longest increasing subsequence is of order n(1-q)^(1/2), whereas the typical length of the longest decreasing subsequence has four possible behaviors according to the precise dependence of n and q. We show also that in the graphical representation of a Mallows-distributed permutation, most points are found in a symmetric strip around the diagonal whose width is of order 1/(1-q). This suggests a connection between the longest increasing subsequence in the Mallows model and the model of last passage percolation in a strip.
Irreducible triangulations of the Möbius band
Published in Buletinul Academiei de Ştiinţe a Republicii Moldova (Matematica), No. 2(75) (2014), 44-50 • Search Publication
A complete list of irreducible triangulations is identified on the Möbius band.
2013-06-15 v3
A group-theoretic viewpoint on Erdos-Falconer problems and the Mattila integral
Published in Revista Mat. Iberoamer, 31 (2015), no. 3, 799-810 • View Publication • BIB
We obtain nontrivial exponents for Erd\H os-Falconer type problems. Let $T_k(E)$ denote the set of distinct congruent $k$-dimensional simplexes determined by $(k+1)$-tuples of points from $E$. We prove that there exists $s_0(d)<d$ such that, if $E \subset {\Bbb R}^d,\, d \ge 2$, with $dim_{\mathcal H}(E)>s_0(d)$, then the ${k+1 \choose 2}$-dimensional Lebesgue measure of $T_k(E)$ is positive. Results were previously obtained for triangles in the plane \cite{GI12} and in higher dimensions \cite{GGIP12}. In this paper, we improve upon those exponents, using a group-theoretic method that sheds new light on the classical approach to these problems. The key to our approach is a group action perspective which leads to natural and effective formulae related to the classical Mattila integral.
2013-06-15 v4
Geodesics in a Graph of Perfect Matchings
Published in Séminaire Lotharingien de Combinatoire 74 (2017): B74e • Search Publication
Let $\mathscr{P}_{m}$ be the graph on the set of perfect matchings in the complete graph $K_{2m}$, where two perfect matchings are connected by an edge if their symmetric difference is a cycle of length four. This paper studies geodesics in $\mathscr{P}_{m}$. The diameter of $\mathscr{P}_{m}$, as well as the eccentricity of each vertex, are shown to be $m-1$. Two proof are given to show that the number of geodesics between any two antipodes is $m^{m-2}$. The first is a direct proof via a recursive formula, and the second is via reduction to the number of minimal factorizations of a given $m$-cycle in the symmetric group $S_m$. An explicit formula for the number of geodesics between any two matchings in $\mathscr{P}_{m}$ is also given. Let $\mathscr{M}_m$ be the graph on the set of non-crossing perfect matchings of $2m$ labeled points on a circle with the same adjacency condition as in $\mathscr{P}_m$. $\mathscr{M}_m$ is an induced subgraph of $\mathscr{P}_m$, and it is shown that $\mathscr{M}_m$ has exactly one pair of antipodes having the maximal number ($m^{m-2}$) of geodesics between them.
2013-06-14
Graver degrees are not polynomially bounded by true circuit degrees
Published in Journal of Pure and Applied Algebra, Volume 219, Issue 7, July 2015, Pages 2658-2665 • View Publication • BIB
Let $I_A$ be a toric ideal. We prove that the degrees of the elements of the Graver basis of $I_A$ are not polynomially bounded by the true degrees of the circuits of $I_A$.
Recurrence relations for patterns of type $(2,1)$ in flattened permutations
Published • View Publication • BIB
We consider the problem of counting the occurrences of patterns of the form $xy-z$ within flattened permutations of a given length. Using symmetric functions, we find recurrence relations satisfied by the distributions on $\mathcal{S}_n$ for the patterns 12-3, 21-3, 23-1 and 32-1, and develop a unified approach to obtain explicit formulas. By these recurrences, we are able to determine simple closed form expressions for the number of permutations that, when flattened, avoid one of these patterns as well as expressions for the average number of occurrences. In particular, we find that the average number of 23-1 patterns and the average number of 32-1 patterns in $\text{Flatten}(π)$, taken over all permutations $π$ of the same length, are equal, as are the number of permutations avoiding either of these patterns. We also find that the average number of 21-3 patterns in $\text{Flatten}(π)$ over all $π$ is the same as it is for 31-2 patterns.
2013-06-14
An inequality for adjoint rational surfaces
We generalize an inequality for convex lattice polygons -- aka toric surfaces -- to general rational surfaces.
2013-06-14 v4
Algebraic Birkhoff Factorization and the Euler-Maclaurin Formula on Cones
Published in Duke Math. J. 166, no. 3 (2017), 537-571 • View Publication • BIB
We equip the space of lattice cones with a coproduct which makes it a connected cograded colagebra. The exponential sum and exponential integral on lattice cones can be viewed as linear maps on this space with values in the space of meromorphic germs with linear poles at zero. We investigate the subdivision properties-- reminiscent of the inclusion-exclusion principle for the cardinal on finite sets-- of such linear maps and establish a compatibility of these properties with respect to the convolution quotient of the coalgebra. Implementing the Algebraic Birkhoff Factorization procedure on the linear maps under consideration, we factorize the exponential sum as a convolution quotient of two maps, with each of the maps in the factorization satisfying a subdivision property. Consequently, the Algebraic Birkhoff Factorization specializes to the Euler-Maclaurin formula on lattice cones and provides a simple formula for the interpolating factor by means of a projection map.
2013-06-14
Growth rates of cocompact hyperbolic Coxeter groups and 2-Salem numbers
Published in Algebr. Geom. Topol. 14 (2014) 2721-2746 • View Publication • BIB
By the results of Cannon, Wagreich and Parry, it is known that the growth rate of a cocompact Coxeter group in 2-dimensional hyperbolic space $H^2$ and 3-dimensional hyperbolic space $H^3$ is a Salem number. Kerada defined a j-Salem number, which is a generalization of a Salem number. In this paper, we realize infinitely many 2-Salem numbers as the growth rates of cocompact Coxeter groups in 4-dimensional hyperbolic space $H ^4$. Our Coxeter polytopes are constructed by successive gluing of Coxeter polytopes which we call Coxeter dominoes.
2013-06-14 v2
Vulnerability of robust preferential attachment networks
Published • View Publication • BIB
Scale-free networks with small power law exponent are known to be robust, meaning that their qualitative topological structure cannot be altered by random removal of even a large proportion of nodes. By contrast, it has been argued in the science literature that such networks are highly vulnerable to a targeted attack, and removing a small number of key nodes in the network will dramatically change the topological structure. Here we analyse a class of preferential attachment networks in the robust regime and prove four main results supporting this claim: After removal of an arbitrarily small proportion epsilon>0 of the oldest nodes (1) the asymptotic degree distribution has exponential instead of power law tails; (2) the largest degree in the network drops from being of the order of a power of the network size n to being just logarithmic in n; (3) the typical distances in the network increase from order log log n to order log n; and (4) the network becomes vulnerable to random removal of nodes. Importantly, all our results explicitly quantify the dependence on the proportion epsilon of removed vertices. For example, we show that the critical proportion of nodes that have to be retained for survival of the giant component undergoes a steep increase as epsilon moves away from zero, and a comparison of this result with similar ones for other networks reveals the existence of two different universality classes of robust network models. The key technique in our proofs is a local approximation of the network by a branching random walk with two killing boundaries, and an understanding of the particle genealogies in this process, which enters into estimates for the spectral radius of an associated operator.