Combinatorics
New submissions
[ showing up to 2000 entries per page: fewer | more ]
New submissions for Fri, 19 Apr 24
- [1] arXiv:2404.11704 [pdf, other]
-
Title: Minimal obstructions to $C_5$-coloring in hereditary graph classesComments: 27 pagesSubjects: Combinatorics (math.CO)
For graphs $G$ and $H$, an $H$-coloring of $G$ is an edge-preserving mapping from $V(G)$ to $V(H)$. Note that if $H$ is the triangle, then $H$-colorings are equivalent to $3$-colorings. In this paper we are interested in the case that $H$ is the five-vertex cycle $C_5$.
A minimal obstruction to $C_5$-coloring is a graph that does not have a $C_5$-coloring, but every proper induced subgraph thereof has a $C_5$-coloring. In this paper we are interested in minimal obstructions to $C_5$-coloring in $F$-free graphs, i.e., graphs that exclude some fixed graph $F$ as an induced subgraph. Let $P_t$ denote the path on $t$ vertices, and let $S_{a,b,c}$ denote the graph obtained from paths $P_{a+1},P_{b+1},P_{c+1}$ by identifying one of their endvertices.
We show that there is only a finite number of minimal obstructions to $C_5$-coloring among $F$-free graphs, where $F \in \{ P_8, S_{2,2,1}, S_{3,1,1}\}$ and explicitly determine all such obstructions. This extends the results of Kami\'nski and Pstrucha [Discr. Appl. Math. 261, 2019] who proved that there is only a finite number of $P_7$-free minimal obstructions to $C_5$-coloring, and of D\k{e}bski et al. [ISAAC 2022 Proc.] who showed that the triangle is the unique $S_{2,1,1}$-free minimal obstruction to $C_5$-coloring.
We complement our results with a construction of an infinite family of minimal obstructions to $C_5$-coloring, which are simultaneously $P_{13}$-free and $S_{2,2,2}$-free. We also discuss infinite families of $F$-free minimal obstructions to $H$-coloring for other graphs $H$. - [2] arXiv:2404.11806 [pdf, other]
-
Title: The Number of Spanning Trees in some Special Self-Similar GraphsSubjects: Combinatorics (math.CO)
In this paper, we introduce two families of planar and self-similar graphs which have small-world properties. The constructed models are based on an iterative process where each step of a certain formulation of modules results in a final graph with a self-similar structure. The number of spanning trees of a graph is one of the most graph-theoretical parameters, where its applications range from the theory of networks to theoretical chemistry. Two explicit formulas are introduced for the number of spanning trees for the two models. With explicit formulas for some of their topological parameters as well.
- [3] arXiv:2404.11837 [pdf, other]
-
Title: Mixed volumes of matroidsComments: 29 pages, 1 figureSubjects: Combinatorics (math.CO)
Our aim in this article is to compute the mixed volume of a matroid. We give two computations. The first one is based on the integration formula for complete fans given by Brion. The second computation is a step-by-step method using deletion of elements in the matroid as in Braden-Huh-Matherne-Proudfoot-Wang.
- [4] arXiv:2404.12082 [pdf, ps, other]
-
Title: The Generic Circular Triangle-Free GraphSubjects: Combinatorics (math.CO); Logic (math.LO)
In this paper, we introduce the generic circular triangle-free graph $\mathbb C_3$ and propose a finite axiomatization of its first order theory. In particular, our main results show that a countable graph $G$ embeds into $\mathbb C_3$ if and only if it is a $\{K_3, K_1 + 2K_2, K_1+C_5, C_6\}$-free graph. As a byproduct of this result, we obtain a geometric characterization of finite $\{K_3, K_1 + 2K_2, K_1+C_5, C_6\}$-free graphs, and the (finite) list of minimal obstructions of unit Helly circular-arc graphs with independence number strictly less than three.
The circular chromatic number $\chi_c(G)$ is a refinement of the classical chromatic number $\chi(G)$. We construct $\mathbb C_3$ so that a graph $G$ has circular chromatic number strictly less than three if and only if $G$ maps homomorphically to $\mathbb C_3$. We build on our main results to show that $\chi_c(G) < 3$ if and only if $G$ can be extended to a $\{K_3, K_1 + 2K_2, K_1+C_5, C_6\}$-free graph, and in turn, we use this result to reprove an old characterization of $\chi_c(G) < 3$ due to Brandt (1999). Finally, we answer a question recently asked by Guzm\'an-Pro, Hell, and Hern\'andez-Cruz by showing that the problem of deciding for a given finite graph $G$ whether $\chi_c(G) < 3$ is NP-complete. - [5] arXiv:2404.12204 [pdf, ps, other]
-
Title: Minimum saturated graphs for unions of cliquesComments: 7 pages, 2 figuresSubjects: Combinatorics (math.CO)
Let $H$ be a fixed graph. A graph $G$ is called {\it $H$-saturated} if $H$ is not a subgraph of $G$ but the addition of any missing edge to $G$ results in an $H$-subgraph. The {\it saturation number} of $H$, denoted $sat(n,H)$, is the minimum number of edges over all $H$-saturated graphs of order $n$, and $Sat(n,H)$ denote the family of $H$-saturated graphs with $sat(n,H)$ edges and $n$ vertices. In this paper, we resolve a conjecture of Chen and Yuan in[Discrete Math. 347(2024)113868] by determining $Sat(n,K_p\cup (t-1)K_q)$ for every $2\le p\le q$ and $t\ge 2$.
- [6] arXiv:2404.12326 [pdf, ps, other]
-
Title: Operad structures on the species composition of two operadsAuthors: Imen RjaibaSubjects: Combinatorics (math.CO)
We give an explicit description of three operad structures on the species composition $p \circ q$, where $q$ is any given positive operad, and where $p$ is the NAP operad, or a shuffle version of the magmatic operad Mag. No distributive law between $p$ and $q$ is assumed.
Cross-lists for Fri, 19 Apr 24
- [7] arXiv:2404.11708 (cross-list from math.PR) [pdf, ps, other]
-
Title: Moments of the free Jacobi process: a matrix approachSubjects: Probability (math.PR); Combinatorics (math.CO); Operator Algebras (math.OA)
We compute the large size limit of the moment formula derived in \cite{DHS} for the Hermitian Jacobi process at fixed time. In particular, we identify the terms contributing to the limit and show they satisfy a double recurrence relation. We also determine explicitly some of them and revisit a special case relying on Carlitz summation identity for terminating $1$-balanced ${}_4F_3$ functions taken at unity.
- [8] arXiv:2404.11838 (cross-list from math.AG) [pdf, other]
-
Title: Maximal Mumford Curves from Planar GraphsComments: 22 pagesSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
A curve of genus g is maximal Mumford (MM) if it has g+1 ovals and g tropical cycles. We construct full-dimensional families of MM curves in the Hilbert scheme of canonical curves. This rests on first-order deformations of graph curves whose graph is planar.
- [9] arXiv:2404.12080 (cross-list from cs.DS) [pdf, other]
-
Title: A Mathematical Formalisation of the γ-contraction ProblemAuthors: Elia OnofriSubjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
Networks play an ubiquitous role in computer science and real-world applications, offering multiple kind of information that can be retrieved with adequate methods. With the continuous growing in the amount of data available, networks are becoming larger day by day. Consequently, the tasks that were easily achievable on smaller networks, often becomes impractical on huge amount of data, either due to the high computational cost or due to the impracticality to visualise corresponding data. Using distinctive node features to group large amount of connected data into a limited number of clusters, hence represented by a representative per cluster, proves to be a valuable approach. The resulting contracted graphs are more manageable in size and can reveal previously hidden characteristics of the original networks. Furthermore, in many real-world use cases, a definition of cluster is intrinsic with the data, eventually obtained with the injection of some expert knowledge represent by a categorical function. Clusters then results in set of connected vertices taking the same values in a finite set C. In the recent literature, Lombardi and Onofri proposed a novel, fast, and easily parallelisable approach under the name of $\gamma$-contraction to contract a graph given a categorical function. In this work, we formally define such approach by providing a rigorous mathematical definition of the problem, which, to the best of our knowledge, was missing in the existing literature. Specifically, we explore the variadic nature of the contraction operation and use it to introduce the weaker version of the colour contraction, under the name of $\beta$-contraction, that the algorithmic solution exploits. We finally dive into the details of the algorithm and we provide a full assesment on its convergence complexity relying on two constructive proofs that deeply unveil its mode of operation.
- [10] arXiv:2404.12131 (cross-list from math.CA) [pdf, other]
-
Title: Continued-fraction characterization of Stieltjes moment sequences with support in $[ξ, \infty)$Comments: LaTeX2e, 10 pages. arXiv admin note: text overlap with arXiv:1903.12455Subjects: Classical Analysis and ODEs (math.CA); Combinatorics (math.CO); Complex Variables (math.CV)
We give a continued-fraction characterization of Stieltjes moment sequences for which there exists a representing measure with support in $[\xi, \infty)$. The proof is elementary.
- [11] arXiv:2404.12201 (cross-list from math.DS) [pdf, ps, other]
-
Title: Infinite sumsets of the form $B+B$ in sets with large densitySubjects: Dynamical Systems (math.DS); Combinatorics (math.CO); Number Theory (math.NT)
For a set $A \subset \mathbb{N}$ we characterize in terms of its density when there exists an infinite set $B \subset \mathbb{N}$ and $t \in \{0,1\}$ such that $B+B \subset A-t$, where $B+B : =\{b_1+b_2\colon b_1,b_2 \in B\}$. Specifically, when the lower density $\underline{d}(A) >1/2$ or the upper density $\overline{d}(A)> 3/4$, the existence of such a set $B\subset \mathbb{N}$ and $t\in \{0,1\}$ is assured. Furthermore, whenever $\underline{d}(A) > 3/4$ or $\overline{d}(A)>5/6$, we show that the shift $t$ is unnecessary and we also provide examples to show that these bounds are sharp. Finally, we construct a syndetic three-coloring of the natural numbers that does not contain a monochromatic $B+B+t$ for any infinite set $B \subset \mathbb{N}$ and number $t \in \mathbb{N}$.
- [12] arXiv:2404.12265 (cross-list from math.GT) [pdf, ps, other]
-
Title: A higher-dimensional version of Fáry's theoremSubjects: Geometric Topology (math.GT); Combinatorics (math.CO)
We prove a generalization of Istvan F\'ary's celebrated theorem to higher dimension.
- [13] arXiv:2404.12287 (cross-list from math.GT) [pdf, other]
-
Title: Lifting maps between graphs to embeddingsAuthors: Alexey GorelovComments: 38 pages, 8 figuresSubjects: Geometric Topology (math.GT); Computational Geometry (cs.CG); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
In this paper, we study conditions for the existence of an embedding $\widetilde{f} \colon P \to Q \times \mathbb{R}$ such that $f = \mathrm{pr}_Q \circ \widetilde{f}$, where $f \colon P \to Q$ is a piecewise linear map between polyhedra. Our focus is on non-degenerate maps between graphs, where non-degeneracy means that the preimages of points are finite sets.
We introduce combinatorial techniques and establish necessary and sufficient conditions for the general case. Using these results, we demonstrate that the problem of the existence of a lifting reduces to testing the satisfiability of a 3-CNF formula. Additionally, we construct a counterexample to a result by V. Po\'{e}naru on lifting of smooth immersions to embeddings.
Furthermore, by establishing connections between the stated problem and the approximability by embeddings, we deduce that, in the case of generic maps from a tree to a segment, a weaker condition becomes sufficient for the existence of a lifting.
Replacements for Fri, 19 Apr 24
- [14] arXiv:1703.02147 (replaced) [pdf, ps, other]
-
Title: Zero-sum multisets mod p with an application to surface automorphismsAuthors: Anthony WeaverComments: This paper supersedes and replaces the earlier version titled "Counting topological types of elementary abelian p group actions on surfaces."Subjects: Combinatorics (math.CO)
- [15] arXiv:1907.08776 (replaced) [pdf, other]
-
Title: Moduli Spaces of Pentagonal Subdivision TilingsComments: 39 pages, 22 figuresSubjects: Combinatorics (math.CO)
- [16] arXiv:2202.06582 (replaced) [pdf, ps, other]
-
Title: A characterization of $g_2$-minimal normal 3-pseudomanifolds with at most four singularitiesComments: 10 pages, 2 figures. To appear in Topological Methods in Nonlinear AnalysisSubjects: Combinatorics (math.CO); General Topology (math.GN)
- [17] arXiv:2208.11001 (replaced) [pdf, other]
-
Title: Adjacency and Broadcast Dimension of Grid and Directed GraphsAuthors: Rachana MadhukaraComments: 16 pages, 12 figuresSubjects: Combinatorics (math.CO)
- [18] arXiv:2210.07835 (replaced) [pdf, other]
-
Title: Mutual-visibility in strong products of graphs via total mutual-visibilitySubjects: Combinatorics (math.CO)
- [19] arXiv:2210.15335 (replaced) [pdf, other]
-
Title: Characterization of rings with planar, toroidal or projective planar prime ideal sum graphsComments: 21 Figures, AKCE International Journal of Graphs and Combinatorics (Accepted, 18.4.24)Subjects: Combinatorics (math.CO); Commutative Algebra (math.AC)
- [20] arXiv:2306.09315 (replaced) [pdf, ps, other]
-
Title: Chip-firing and critical groups of signed graphsComments: 29 pages, 10 figures; V2: major revision, Theorem 3.2 subsumes a number of results (and answers an open question) from previous version, example moved to intro, other small corrections, results on critical groups remain unchanged (and now gathered in a single Section 4)Subjects: Combinatorics (math.CO)
- [21] arXiv:2306.11500 (replaced) [pdf, other]
-
Title: A remark on continued fractions for permutations and D-permutations with a weight $-1$ per cycleComments: LaTeX2e, 25 pages, includes 4 figures. Version 2 (34 pages, 6 figures) contains a slightly expanded introduction and a pair of running examples; to appear in the Electronic Journal of Combinatorics. arXiv admin note: text overlap with arXiv:2304.06545, arXiv:2212.07232, arXiv:2003.08192Journal-ref: Electronic Journal of Combinatorics 31(2), #P2.14 (2024)Subjects: Combinatorics (math.CO)
- [22] arXiv:2311.01069 (replaced) [pdf, ps, other]
-
Title: Inverse of the Squared Distance Matrix of a Complete Multipartite GraphComments: arXiv admin note: substantial text overlap with arXiv:2012.04341Subjects: Combinatorics (math.CO)
- [23] arXiv:2311.06033 (replaced) [pdf, other]
-
Title: Posets for $F$-polynomials in cluster algebras from surfacesComments: 43 pages, 41 figures. Version 2: Corrected a minor error in the .tex file. Version 3: Minor changes to improve references to other papers. Version 4: Minor changes to the introductionSubjects: Combinatorics (math.CO); Representation Theory (math.RT)
- [24] arXiv:2402.06618 (replaced) [pdf, other]
-
Title: Polynomial parametrisation of the canonical iterates to the solution of $-γg'= g^{-1}$Authors: Roland MiyamotoComments: 7 pages, 1 figure, 2 tablesSubjects: Combinatorics (math.CO); Classical Analysis and ODEs (math.CA); Numerical Analysis (math.NA)
- [25] arXiv:2404.03100 (replaced) [pdf, ps, other]
-
Title: A construction of directed strongly regular graphs with parameters (63,11,8,1,2)Comments: 3 pagesSubjects: Combinatorics (math.CO)
- [26] arXiv:2302.02355 (replaced) [pdf, ps, other]
-
Title: A structure theorem for homology 4-manifolds with $g_2\leq 5$Comments: 22 pages and 3 figures. To appear in Advances in Applied MathematicsSubjects: Geometric Topology (math.GT); 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, 2404, contact, help (Access key information)