Combinatorics
New submissions
[ showing up to 2000 entries per page: fewer | more ]
New submissions for Wed, 14 Aug 19
- [1] arXiv:1908.04395 [pdf, ps, other]
-
Title: Chip-Firing Games and Critical GroupsSubjects: Combinatorics (math.CO)
In this expository article intended to be accessible to undergraduate students we introduce a finite abelian group that can be associated to any finite connected graph. This group can be defined in an elementary combinatorial way in terms of chip-firing operations, and has been an object of interest in combinatorics, algebraic geometry, statistical physics, and several other areas of mathematics. We will begin with basic definitions and examples and develop a number of properties that can be derived by looking at this group from different angles. Throughout, we will give exercises, some of which are straightforward and some of which are open questions. We will also attempt to highlight some of the many contributions to this area made by undergraduate students
- [2] arXiv:1908.04438 [pdf, other]
-
Title: Quantitative combinatorial geometry for concave functionsComments: 23 pages, 2 figuresSubjects: Combinatorics (math.CO); Functional Analysis (math.FA); Metric Geometry (math.MG)
We prove several exact quantitative versions of Helly's and Tverberg's theorems, which guarantee that a finite family of convex sets in $R^d$ has a large intersection. Our results characterize conditions that are sufficient for the intersection of a family of convex sets to contain a "witness set" which is large under some concave or log-concave measure. The possible witness sets include ellipsoids, zonotopes, and $H$-convex sets. Our results also bound the complexity of finding the best approximation of a family of convex sets by a single zonotope or by a single $H$-convex set. We obtain colorful and fractional variants of all our Helly-type theorems.
- [3] arXiv:1908.04524 [pdf, other]
-
Title: 4-Connected Triangulations on Few LinesAuthors: Stefan FelsnerComments: Appears in the Proceedings of the 27th International Symposium on Graph Drawing and Network Visualization (GD 2019)Subjects: Combinatorics (math.CO)
We show that 4-connected plane triangulations can be redrawn such that edges are represented by straight segments and the vertices are covered by a set of at most $\sqrt{2n}$ lines each of them horizontal or vertical. The same holds for all subgraphs of such triangulations. The proof is based on a corresponding result for diagrams of planar lattices which makes use of orthogonal chain and antichain families.
- [4] arXiv:1908.04551 [pdf, ps, other]
-
Title: Existence of non-Cayley Haar graphsSubjects: Combinatorics (math.CO)
A Cayley graph of a group $H$ is a finite simple graph $\Gamma$ such that its automorphism group ${\rm Aut}(\Gamma)$ contains a subgroup isomorphic to $H$ acting regularly on $V(\Gamma)$, while a Haar graph of $H$ is a finite simple bipartite graph $\Sigma$ such that ${\rm Aut}(\Sigma)$ contains a subgroup isomorphic to $H$ acting semiregularly on $V(\Sigma)$ and the $H$-orbits are equal to the partite sets of $\Sigma$. It is well-known that every Haar graph of finite abelian groups is a Cayley graph. In this paper, we prove that every finite non-abelian group admits a non-Cayley Haar graph except the dihedral groups $D_6$, $D_8$, $D_{10}$, the quaternion group $Q_8$ and the group $Q_8\times\mathbb{Z}_2$. This answers an open problem proposed by Est\'elyi and Pisanski in 2016.
- [5] arXiv:1908.04618 [pdf, ps, other]
-
Title: Bisector energy and pinned distances in positive characteristicComments: 23 pagesSubjects: Combinatorics (math.CO)
We prove a new lower bound for the number of pinned distances over finite fields: if $A$ is a sufficiently small subset of $\mathbb{F}_q^2$, then there is an element in $A$ that determines $\gg |A|^{5/8}$ distinct distances to other elements of $A$. If $-1$ is not a square in $\mathbb{F}_q$, we obtain a further improvement of $\gg |A|^{13/20}$ such distances. Combined with results for large subsets $A\subseteq\mathbb{F}_q^2$, these results improve all previously known lower bounds for the number of pinned distinct distances over finite fields.
These improvements are based on the point line incidence bounds of Koll\'ar and of de Zeeuw and the third author. To apply these bounds, we embed the group of rigid motions of $\mathbb{F}_q^2$ into projective three space and into the group of affine transformations of a quadratic extension of $\mathbb{F}_q$, respectively.
The proofs of our main theorem and our improvements utilise the "equivariance" of the embedding of the group of rigid motions of the plane into projective space; in fact, $\mathbb{PF}^3$ contains an open subset that is a group. This has long been known in kinematics and geometric algebra; we give a proof for arbitrary fields using Clifford algebras.
We also present a new Fourier-analytic proof of the known result that any set $A \subseteq \mathbb{F}_q^2$ with $|A|\geq q^{4/3}$ yields $\gg q$ pinned distances, with close to optimal values of the implicit constant, in view of a recent counterexample by Petridis and the first author. - [6] arXiv:1908.04654 [pdf, other]
-
Title: Maximum Rectilinear Crossing Number of Uniform HypergraphsComments: 23 pages, 3 figures. The paper also contains computer aided proof. To view the results obtained by computers, please mail the authorsSubjects: Combinatorics (math.CO)
In this paper, we study the maximum $d$-dimensional rectilinear crossing number problem of $d$-uniform hypergraphs. In \cite{AGS}, Anshu et al. conjectured that among all $d$-dimensional rectilinear drawings of a complete $d$-uniform hypergraph having $n$ vertices, the number of crossing pairs of hyperedges is maximized if all of its vertices are placed on the $d$-dimensional moment curve, and proved it for $d=3$; with it being trivially true for $d = 2$, since any convex drawing of the complete graph $K_n$ produces $n \choose 4$ pairs of crossing edges. In this paper, we prove that their conjecture is valid for $d=4$ by using Gale transform. We also prove that the maximum $d$-dimensional rectilinear crossing number of a complete $d$-partite $d$-uniform balanced hypergraph is $(2^{d-1}-1){n \choose 2}^d$, where $n$ denotes the number of vertices in each part. We then prove that finding the maximum $d$-dimensional rectilinear crossing number of an arbitrary $d$-uniform hypergraph is NP-hard. For a $d$-uniform hypergraph $H$, we also give a randomized scheme to create a $d$-dimensional rectilinear drawing of $H$ which produces the number of crossing pair of hyperedges up to a constant factor of the maximum $d$-dimensional rectilinear crossing number of $H$.
- [7] arXiv:1908.04707 [pdf, ps, other]
-
Title: Two-row $W$-graphs in affine type $A$Comments: comments welcome!Subjects: Combinatorics (math.CO); Representation Theory (math.RT)
For affine symmetric groups we construct finite $W$-graphs corresponding to two-row shapes, and prove their uniqueness. This gives the first non-trivial family of examples of finite $W$-graphs in an affine type. We compare our construction with quotients of periodic $W$-graphs defined by Lusztig. Under certain positivity assumption on the latter the two are shown to be isomorphic.
- [8] arXiv:1908.04708 [pdf, other]
-
Title: Superpermutation matricesAuthors: Guillaume DumasComments: 18 pagesSubjects: Combinatorics (math.CO)
Superpermutations are words over a finite alphabet containing every permutation as a factor. Finding the minimal length of a superpermutation is still an open problem. In this article, we introduce superpermutations matrices. We establish a link between the minimal size of such a matrix and the minimal length of a universal word for the quotient of the symmetric group $S_n$ by an equivalence relation. We will then give non-trivial bounds on the minimal length of such a word and prove that the limit of their ratio when $n$ approaches infinity is 2.
- [9] arXiv:1908.04732 [pdf, other]
-
Title: Schedules and the Delta ConjectureSubjects: Combinatorics (math.CO); Representation Theory (math.RT)
In a recent preprint, Carlsson and Oblomkov (2018) obtain a long sought after monomial basis for the ring $\operatorname{DR}_n$ of diagonal coinvariants. Their basis is closely related to the "schedules" formula for the Hilbert series of $\operatorname{DR}_n$ which was conjectured by the first author and Loehr (2005) and first proved by Carlsson and Mellit (2018), as a consequence of their proof of the famous Shuffle Conjecture. In this article we obtain a schedules formula for the combinatorial side of the Delta Conjecture, a conjecture introduced by the first author, Remmel and Wilson (2018) which contains the Shuffle Conjecture as a special case. Motivated by the Carlsson-Oblomkov basis for $\operatorname{DR}_n$ and our Delta schedules formula, we introduce a (conjectural) basis for the module $\operatorname{SDR}_n$ of super-diagonal coinvariants, an $S_n$ module generalizing $\operatorname{DR}_n$ introduced recently by Zabrocki (2019) which conjecturally corresponds to the Delta Conjecture.
Cross-lists for Wed, 14 Aug 19
- [10] arXiv:1908.03875 (cross-list from cs.SI) [pdf, other]
-
Title: Edge Correlations in Multilayer NetworksComments: 19 pages, 7 figures, 3 tablesSubjects: Social and Information Networks (cs.SI); Combinatorics (math.CO); Data Analysis, Statistics and Probability (physics.data-an); Physics and Society (physics.soc-ph); Machine Learning (stat.ML)
Many recent developments in network analysis have focused on multilayer networks, which one can use to encode time-dependent interactions, multiple types of interactions, and other complications that arise in complex systems. Like their monolayer counterparts, multilayer networks in applications often have mesoscale features, such as community structure. A prominent type of method for inferring such structures is the employment of multilayer stochastic block models (SBMs). A common (but inadequate) assumption of these models is the sampling of edges in different layers independently, conditioned on community labels of the nodes. In this paper, we relax this assumption of independence by incorporating edge correlations into an SBM-like model. We derive maximum-likelihood estimates of the key parameters of our model, and we propose a measure of layer correlation that reflects the similarity between connectivity patterns in different layers. Finally, we explain how to use correlated models for edge prediction in multilayer networks. By taking into account edge correlations, prediction accuracy improves both in synthetic networks and in a temporal network of shoppers who are connected to previously-purchased grocery products.
- [11] arXiv:1908.04320 (cross-list from math.AG) [pdf, other]
-
Title: Tropically planar graphsComments: 28 pages, 29 figuresSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
We study tropically planar graphs, which are the graphs that appear in smooth tropical plane curves. We develop necessary conditions for graphs to be tropically planar, and compute the number of tropically planar graphs up to genus $7$. We provide non-trivial upper and lower bounds on the number of tropically planar graphs, and prove that asymptotically $0\%$ of connected trivalent planar graphs are tropically planar.
- [12] arXiv:1908.04329 (cross-list from cs.DM) [pdf, ps, other]
-
Title: Nonleaf Patterns in Trees: Protected Nodes and Fine NumbersAuthors: Nachum DershowitzSubjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
A closed-form formula is derived for the number of occurrences of matches of a multiset of patterns among all ordered (plane-planted) trees with a given number of edges. A pattern looks like a tree, with internal nodes and leaves, but also contain components that match subtrees or sequences of subtrees. This result extends previous versatile tree-pattern enumeration formulae to incorporate components that are only allowed to match nonleaf subtrees and provides enumerations of trees by the number of protected (shortest outgoing path has two or more edges) or unprotected nodes.
- [13] arXiv:1908.04358 (cross-list from physics.soc-ph) [pdf, other]
-
Title: Generalised trophic levels and graph hierarchySubjects: Physics and Society (physics.soc-ph); Combinatorics (math.CO)
So far trophic analysis of networks has been restricted to the ecological domain and networks with clear sources because of the restricted definition of trophic level and hence trophic coherence. Trophic coherence, a measure of a network's hierarchical organisation, has been shown to be linked to a network's structural and dynamical aspects. In this paper we generalise the previous definition to incorporate all possible simple graphs, we give new meaning to the trophic levels as a network influence metric and to the mean of trophic differences as a topological metric. We show how our generalised trophic level compares to the previous definition and what new insights our generalisation gives on the topological and dynamical aspects of networks. We then model an epidemiological dynamics, we show how the generalised trophic coherence relates to the incidence rate and how it affects the spreading process in a SIS model.
- [14] arXiv:1908.04403 (cross-list from math.PR) [pdf, other]
-
Title: On breadth-first constructions of scaling limits of random graphs and random unicellular mapsComments: 37 pages, 7 figuresSubjects: Probability (math.PR); Combinatorics (math.CO)
We give alternate constructions of (i) the scaling limit of the uniform connected graphs with given fixed surplus, and (ii) the continuum random unicellular map (CRUM) of a given genus that start with a suitably tilted Brownian continuum random tree and make `horizontal' point identifications, at random heights, using the local time measures. Consequently, this can be seen as a continuum analogue of the breadth-first construction of a finite connected graph. In particular, this yields a breadth-first construction of the scaling limit of the critical Erd\H{o}s-R\'enyi random graph which answers a question posed in [2]. As a consequence of this breadth-first construction we obtain descriptions of the radii, the distance profiles, and the two point functions of these spaces in terms of functionals of tilted Brownian excursions.
- [15] arXiv:1908.04500 (cross-list from math.AT) [pdf, ps, other]
-
Title: Sheaf homology of hyperplane arrangements, Boolean covers and exterior powersSubjects: Algebraic Topology (math.AT); Combinatorics (math.CO); Group Theory (math.GR)
We compute the sheaf homology of the intersection lattice of a hyperplane arrangement with coefficients in the graded exterior sheaf of the natural sheaf. This builds on the results of our previous paper, where this homology was computed for the natural sheaf, itself a generalisation of an old result of Lusztig. The computational machinery we develop in this paper is quite different though: sheaf homology is lifted to what we call Boolean covers, where we instead compute homology cellularly. A number of tools are given for the cellular homology of these Boolean covers, including a deletion-restriction long exact sequence.
- [16] arXiv:1908.04614 (cross-list from math.AC) [pdf, ps, other]
-
Title: The automorphism group of the zero-divisor digraph of matrices over an antiringSubjects: Commutative Algebra (math.AC); Combinatorics (math.CO); Rings and Algebras (math.RA)
We determine the automorphism group of the zero-divisor digraph of the semiring of matrices over an antinegative commutative semiring with a finite number of zero-divisors.
- [17] arXiv:1908.04642 (cross-list from q-bio.MN) [pdf, other]
-
Title: Semigroup Models for Biochemical Reaction NetworksComments: 25 pages, 6 figuresSubjects: Molecular Networks (q-bio.MN); Combinatorics (math.CO); Rings and Algebras (math.RA); Biological Physics (physics.bio-ph)
The CRS (chemical reaction system) formalism by Hordijk and Steel is a versatile method to model self-sustaining biochemical reaction networks. Its distinguishing feature is the explicit assignment of catalytic function to chemicals that are part of the network. In this work, we show the introduction of subsequent and simultaneous catalytic functions gives rise to an algebraic structure of a semigroup with additional compatible data of idempotent addition and a partial order. The aim of this paper is to demonstrate that such semigroup models are a natural setup to treat the emergence of autocatalytic biochemical reaction networks. We establish the basic algebraic properties of the algebraic models and show that it is natural to define the function of any subnetwork on the whole reaction network in a mathematically correct way. This leads to a natural discrete dynamics on the network, which results from iteratively considering the self-action on a subnetwork by its own function. Finally, we demonstrate that the identification of the maximal self-sustaining subnetwork of any reaction network is very straightforward in our setup. This leads to an algebraic characterization of the lattice of self-sustaining subsets for any CRS. Moreover, we show that algebraic models for reaction networks with a self-sustaining subnetwork cannot be nilpotent, thus establishing a link to the combinatorial theory of finite semigroups.
- [18] arXiv:1908.04673 (cross-list from cs.DS) [pdf, other]
-
Title: Finding and counting permutations via CSPsComments: supersedes arXiv:1902.08809, with possible text overlapSubjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
Permutation patterns and pattern avoidance have been intensively studied in combinatorics and computer science, going back at least to the seminal work of Knuth on stack-sorting (1968). Perhaps the most natural algorithmic question in this area is deciding whether a given permutation of length $n$ contains a given pattern of length $k$.
In this work we give two new algorithms for this well-studied problem, one whose running time is $n^{k/4 + o(k)}$, and a polynomial-space algorithm whose running time is the better of $O(1.6181^n)$ and $O(n^{k/2 + 1})$. These results improve the earlier best bounds of $n^{0.47k + o(k)}$ and $O(1.79^n)$ due to Ahal and Rabinovich (2000) resp. Bruner and Lackner (2012) and are the fastest algorithms for the problem when $k \in \Omega(\log{n})$. We show that both our new algorithms and the previous exponential-time algorithms in the literature can be viewed through the unifying lens of constraint-satisfaction.
Our algorithms can also count, within the same running time, the number of occurrences of a pattern. We show that this result is close to optimal: solving the counting problem in time $f(k) \cdot n^{o(k/\log{k})}$ would contradict the exponential-time hypothesis (ETH). For some special classes of patterns we obtain improved running times. We further prove that $3$-increasing and $3$-decreasing permutations can, in some sense, embed arbitrary permutations of almost linear length, which indicates that an algorithm with sub-exponential running time is unlikely, even for patterns from these restricted classes. - [19] arXiv:1908.04727 (cross-list from math.CA) [pdf, ps, other]
-
Title: On $k$-antichains in the unit $n$-cubeComments: 9 pagesSubjects: Classical Analysis and ODEs (math.CA); Combinatorics (math.CO)
A \emph{chain} in the unit $n$-cube is a set $C\subset [0,1]^n$ such that for every $\mathbf{x}=(x_1,\ldots,x_n)$ and $\mathbf{y}=(y_1,\ldots,y_n)$ in $C$ we either have $x_i\le y_i$ for all $i\in [n]$, or $x_i\ge y_i$ for all $i\in [n]$. We consider subsets, $A$, of the unit $n$-cube $[0,1]^n$ that satisfy \[ \text{card}(A \cap C) \le k, \, \text{ for all chains } \, C \subset [0,1]^n \, , \] where $k$ is a fixed positive integer. We refer to such a set $A$ as a $k$-antichain. We show that the $(n-1)$-dimensional Hausdorff measure of a $k$-antichain in $[0,1]^n$ is at most $kn$ and that the bound is asymptotically sharp. Moreover, we conjecture that there exist $k$-antichains in $[0,1]^n$ whose $(n-1)$-dimensional Hausdorff measure equals $kn$ and we verify the validity of this conjecture when $n=2$.
- [20] arXiv:1908.04768 (cross-list from math.AG) [pdf, ps, other]
-
Title: Parabolic subgroups and Automorphism groups of Schubert varietiesComments: 10 pagesJournal-ref: Comptes Rendus Mathematique, Volume 356, Issue 5, May 2018, Pages 542-549Subjects: Algebraic Geometry (math.AG); Combinatorics (math.CO); Group Theory (math.GR)
Let $G$ be a simple algebraic group of adjoint type over the field $\mathbb{C}$ of complex numbers, $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G.$ Let $w$ be an element of the Weyl group $W$ and $X(w)$ be the Schubert variety in $G/B$ corresponding to $w$. In this article we show that given any parabolic subgroup $P$ of $G$ containing $B$ properly, there is an element $w\in W$ such that $P$ is the connected component, containing the identity element of the group of all algebraic automorphisms of $X(w).$
Replacements for Wed, 14 Aug 19
- [21] arXiv:1802.09334 (replaced) [pdf, other]
-
Title: On the centroid of increasing treesSubjects: Combinatorics (math.CO)
- [22] arXiv:1804.04351 (replaced) [pdf, ps, other]
-
Title: Counting Matchings via Capacity Preserving OperatorsSubjects: Combinatorics (math.CO); Classical Analysis and ODEs (math.CA)
- [23] arXiv:1902.01158 (replaced) [pdf, ps, other]
-
Title: Small 4-regular planar graphs that are not circle representableAuthors: Jane TanComments: This version has changes to exposition and cleaner argumentsSubjects: Combinatorics (math.CO)
- [24] arXiv:1908.02384 (replaced) [pdf, ps, other]
-
Title: On the automaticity of sequences defined by continued fractionsSubjects: Combinatorics (math.CO); Number Theory (math.NT)
- [25] arXiv:1908.03208 (replaced) [pdf, other]
-
Title: Dragging the roots of a polynomial to the unit circleComments: 61 pages, 4 figures, Changed some remarksSubjects: Combinatorics (math.CO); Complex Variables (math.CV)
- [26] arXiv:1908.03954 (replaced) [pdf, ps, other]
-
Title: The role of the anti-regular graph in the spectral analysis of threshold graphsSubjects: Combinatorics (math.CO)
- [27] arXiv:1908.03586 (replaced) [pdf, other]
-
Title: On the Edge-Length Ratio of Planar GraphsComments: Appears in the Proceedings of the 27th International Symposium on Graph Drawing and Network Visualization (GD 2019)Subjects: Data Structures and Algorithms (cs.DS); Computational Geometry (cs.CG); Combinatorics (math.CO)
[ showing up to 2000 entries per page: fewer | more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 1908, contact, help (Access key information)