Combinatorics
New submissions
[ showing up to 1000 entries per page: fewer | more ]
New submissions for Thu, 28 Mar 24
- [1] arXiv:2403.18060 [pdf, ps, other]
-
Title: The Cordiality Game and the Game Cordiality NumberComments: 12 pagesSubjects: Combinatorics (math.CO)
The cordiality game is played on a graph $G$ by two players, Admirable (A) and Impish (I), who take turns selecting \track{unlabeled} vertices of $G$. Admirable labels the selected vertices by $0$ and Impish by $1$, and the resulting label on any edge is the sum modulo $2$ of the labels of the vertices incident to that edge. The two players have opposite goals: Admirable attempts to minimize the number of edges with different labels as much as possible while Impish attempts to maximize this number. When both Admirable and Impish play their optimal games, we define the \emph{game cordiality number}, $c_g(G)$, as the absolute difference between the number of edges labeled zero and one. Let $P_n$ be the path on $n$ vertices. We show $c_g(P_n)\le \frac{n-3}{3}$ when $n \equiv 0 \pmod 3$, $c_g(P_n)\le \frac{n-1}{3}$ when $n \equiv 1 \pmod 3$, and $c_g(P_n)\le \frac{n+1}{3}$ when $n \equiv 2\pmod 3$. Furthermore, we show a similar bound, $c_g(T) \leq \frac{|T|}{2}$ holds for any tree $T$.
- [2] arXiv:2403.18335 [pdf, ps, other]
-
Title: Arc-transitive maps with coprime Euler characteristic and edge numberSubjects: Combinatorics (math.CO); Group Theory (math.GR)
This is one of a series of papers which aim towards a classification of edge-transitive maps of which the Euler characteristic and the edge number are coprime. This one carries out the classification work for arc-transitive maps with nonsolvable automorphism groups, which illustrates how the edge number impacts on the Euler characteristic for maps. The classification is involved with the construction of some new and interesting arc-regular maps.
- [3] arXiv:2403.18384 [pdf, other]
-
Title: Small planar hypohamiltonian graphsAuthors: Cheng-Chen TsaiComments: 16 pages, 16 figuresSubjects: Combinatorics (math.CO)
A graph is hypohamiltonian if it is non-Hamiltonian, but the deletion of every single vertex gives a Hamiltonian graph. Until now, the smallest known planar hypohamiltonian graph had 40 vertices, a result due to Jooyandeh, McKay, \"Osterg{\aa}rd, Pettersson, and Zamfirescu. That result is here improved upon by two planar hypohamiltonian graphs on 34 vertices. We exploited a special subgraph contained in two graphs of Jooyandeh et al., and modified it to construct the two 34-vertex graphs and six planar hypohamiltonian graphs on 37 vertices. Each of the 34-vertex graphs has 26 cubic vertices, improving upon the result of Jooyandeh et al. that planar hypohamiltonian graphs have 30 cubic vertices. We use the 34-vertex graphs to construct hypohamiltonian graphs of order 34 with crossing number 1, improving the best-known bound of 36 due to Wiener. Whether there exists a planar hypohamiltonian graph on 41 vertices was an open question. We settled this question by applying an operation introduced by Thomassen to the 37-vertex graphs to obtain several planar hypohamiltonian graphs on 41 vertices. The 25 planar hypohamiltonian graphs on 40 vertices of Jooyandeh et al. have no nontrivial automorphisms. The result is here improved upon by six planar hypohamiltonian graphs on 40 vertices with nontrivial automorphisms. The smallest known cubic planar hypohamiltonian graph has 70 vertices, a graph due to Araya and Wiener. We present another cubic planar hypohamiltonian graph on 70 vertices.
- [4] arXiv:2403.18429 [pdf, other]
-
Title: Reinforcement learning for graph theory, I. Reimplementation of Wagner's approachComments: 16 pages, 1 table, 8 figuresSubjects: Combinatorics (math.CO)
We reimplement here the recent approach of Adam Zsolt Wagner [arXiv:2104.14516], which applies reinforcement learning to construct (counter)examples in graph theory, in order to make it more readable, more stable and much faster. The presented concepts are illustrated by constructing counterexamples for a number of published conjectured bounds for the Laplacian spectral radius of graphs.
- [5] arXiv:2403.18522 [pdf, ps, other]
-
Title: On the $A_α$-index of graphs with given order and dissociation numberComments: 16 pages; 6 figuresSubjects: Combinatorics (math.CO)
Given a graph $G,$ a subset of vertices is called a maximum dissociation set of $G$ if it induces a subgraph with vertex degree at most 1, and the subset has maximum cardinality. The cardinality of a maximum dissociation set is called the dissociation number of $G$. The adjacency matrix and the degree diagonal matrix of $G$ are denoted by $A(G)$ and $D(G),$ respectively. In 2017, Nikiforov proposed the $A_\alpha$-matrix: $A_\alpha(G)=\alpha D(G)+(1-\alpha)A(G),$ where $\alpha\in[0,1].$ The largest eigenvalue of this novel matrix is called the $A_\alpha$-index of $G.$ In this paper, we firstly determine the connected graph (resp. bipartite graph, tree) having the largest $A_\alpha$-index over all connected graphs (resp. bipartite graphs, trees) with fixed order and dissociation number. Secondly, we describe the structure of all the $n$-vertex graphs having the minimum $A_\alpha$-index with dissociation number $\tau$, where $\tau\geqslant\lceil\frac{2}{3}n\rceil.$ Finally, we identify all the connected $n$-vertex graphs with dissociation number $\tau\in\{2,\lceil\frac{2}{3}n\rceil,n-1,n-2\}$ having the minimum $A_\alpha$-index.
- [6] arXiv:2403.18534 [pdf, other]
-
Title: Creating spanning trees in Waiter-Client gamesAuthors: Grzegorz Adamski, Sylwia Antoniuk, Małgorzata Bednarska-Bzdęga, Dennis Clemens, Fabian Hamann, Yannick MoggeSubjects: Combinatorics (math.CO)
For a positive integer $n$ and a tree $T_n$ on $n$ vertices, we consider an unbiased Waiter-Client game $\textrm{WC}(n,T_n)$ played on the complete graph~$K_n$, in which Waiter's goal is to force Client to build a copy of $T_n$. We prove that for every constant $c<1/3$, if $\Delta(T_n)\le cn$ and $n$ is sufficiently large, then Waiter has a winning strategy in $\textrm{WC}(n,T_n)$. On the other hand, we show that there exist a positive constant $c'<1/2$ and a family of trees $T_{n}$ with $\Delta(T_n)\le c'n$ such that Client has a winning strategy in the $\textrm{WC}(n,T_n)$ game for every $n$ sufficiently large. We also consider the corresponding problem in the Client-Waiter version of the game.
- [7] arXiv:2403.18574 [pdf, other]
-
Title: A Proof of the Box Conjecture for Commuting Pairs of MatricesSubjects: Combinatorics (math.CO); Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
We prove the Box Conjecture for pairs of commuting nilpotent matrices, as formulated by Iarrobino et al \cite{IKvSZ}. This describes the Jordan type of the dense orbit in the nilpotent commutator of a given nilpotent matrix. Our main tool is the Burge correspondence between the set of all partitions and a set of binary words \cite{Bur-1, Bur-2}. For connection with the algebraic and geometric setup of matrices and orbits we employ some of Shayman's results on invariant subspaces of a nilpotent matrix \cite{Sha-1,Sha-2}. Our proof is valid over an arbitrary field.
- [8] arXiv:2403.18611 [pdf, ps, other]
-
Title: More on maximal line-free sets in $\mathbb{F}_p^n$Authors: Jakob FührerSubjects: Combinatorics (math.CO)
For a prime $p$ we construct a subset of $\mathbb{F}_p^{(k^2-k)/2}$ of size $p^{(k^2-k)/2-1}$ that does not contain progressions of length $k$. More generally, we show that for any prime power $q$ there is a subset of $\mathbb{F}_q^{(k^2-k)/2}$ of size $q^{(k^2-k)/2-1}$ that does not contain $k$ points on a line. This yields the first asympotic lower bounds $c^n$ for the size of $p$-progression-free sets in $\mathbb{F}_p^{n}$ with $c=p-o(1)$, as $p$ tends to infinity.
- [9] arXiv:2403.18719 [pdf, other]
-
Title: On the scaling of random Tamari intervals and Schnyder woods of random triangulations (with an asymptotic D-finite trick)Authors: Guillaume ChapuyComments: 24 pagesSubjects: Combinatorics (math.CO); Symbolic Computation (cs.SC); Probability (math.PR)
We consider a Tamari interval of size $n$ (i.e., a pair of Dyck paths which are comparable for the Tamari relation) chosen uniformly at random. We show that the height of a uniformly chosen vertex on the upper or lower path scales as $n^{3/4}$, and has an explicit limit law. By the Bernardi-Bonichon bijection, this result also describes the height of points in the canonical Schnyder trees of a uniform random plane triangulation of size $n$.
The exact solution of the model is based on polynomial equations with one and two catalytic variables. To prove the convergence from the exact solution, we use a version of moment pumping based on D-finiteness, which is essentially automatic and should apply to many other models. We are not sure to have seen this simple trick used before.
It would be interesting to study the universality of this convergence for decomposition trees associated to positive Bousquet-M\'elou--Jehanne equations. - [10] arXiv:2403.18800 [pdf, other]
-
Title: On two algebras of token graphsSubjects: Combinatorics (math.CO)
The $k$-token graph $F_k(G)$ of a graph $G$ is the graph whose vertices are the $k$-subsets of vertices from $G$, two of which being adjacent whenever their symmetric difference is a pair of adjacent vertices in $G$.
In this article, we describe some properties of the Laplacian matrix $\L_k$ of $F_k(G)$ and the Laplacian matrix $\overline{\L}_k$ of the $k$-token graph $F_k(\overline{G})$ of its complement $\overline{G}$.
In this context, a result about the commutativity of the matrices $\L_k$ and $\overline{\L}_k$ was given in [C. Dalf\'o, F. Duque, R. Fabila-Monroy, M. A. Fiol, C. Huemer, A. L. Trujillo-Negrete, and F. J. Zaragoza Mart\'{\i}nez,
On the Laplacian spectra of token graphs,
{\em Linear Algebra Appl.} {\bf 625} (2021) 322--348], but the proof was incomplete, and there were some typos. Here, we give the correct proof.
Based on this result, and fixed the pair $(n,k)$ and the graph $G$, we first introduce a `local' algebra ${\cal L}(G)$, generated by the pair $(\L_k, \overline{\L}_k)$, showing its closed relationship with the Bose-Mesner algebra of the Johnson graphs $J(n,k)$.
Finally, fixed only $(n,k)$, we present a `global' algebra ${\cal A}(n,k)$ that contains ${\cal L}(G)$ together with the Laplacian and adjacency matrices of the $k$-token graph of any graph $G$ on $n$ vertices.
Cross-lists for Thu, 28 Mar 24
- [11] arXiv:2403.17969 (cross-list from cs.DM) [pdf, other]
-
Title: Antimagic Labeling of Graphs Using Prime NumbersComments: 11 pages, 15 figuresSubjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
Graph labeling is a technique that assigns unique labels or weights to the vertices or edges of a graph, often used to analyze and solve various graph-related problems. There are few methods with certain limitations conducted by researchers previously on this topic. This research paper focuses on antimagic labeling of different types of graphs and trees. It entails the assignment of distinct prime values to edges in a manner that ensures the cumulative sum of edge labels at each vertex remains unique. This research proposes a conjecture on antimagic labeling of any graphs and proves two theories. Firstly, we tried to give weights to the edges randomly, as some exceptions are faced in particular phases in this way, we followed a whole new way to mitigate this problem. This research paper demonstrates computational and mathematical verification to prove that antimagic labeling of any perfect binary tree and complete graph is possible.
- [12] arXiv:2403.18110 (cross-list from math.PR) [pdf, other]
-
Title: Randomisation in the Josephus ProblemSubjects: Probability (math.PR); Combinatorics (math.CO); Number Theory (math.NT)
The Josephus problem is a well--studied elimination problem consisting in determining the position of the survivor after repeated applications of a deterministic rule removing one person at a time from a given group.
A natural probabilistic variant of this process is introduced in this paper. More precisely, in this variant, the survivor is determined after performing a succession of Bernouilli trials with parameter $p$ designating each time the person to remove. When the number of participants tends to infinity, the main result characterises the limit distribution of the position of the survivor with an increasing degree of precision as the parameter approaches the unbiaised case $p=1/2$. Then, the convergence rate to the position of the survivor is obtained in the form of a Central-Limit Theorem.
A number of other variants of the suggested probabilistic elimination process are also considered. They each admit a specific limit behavior which, in most cases, is stated in the form of an open problem. - [13] arXiv:2403.18141 (cross-list from math-ph) [pdf, ps, other]
-
Title: The 2D Toda lattice hierarchy for multiplicative functionals of Schur measuresAuthors: Pierre LazagSubjects: Mathematical Physics (math-ph); Combinatorics (math.CO); Probability (math.PR)
We prove Fredholm determinants build out from generalizations of Schur measures, or equivalently, arbitrary multiplicative functionals of the original Schur measures are tau-functions of the 2D Toda lattice hierarchy. Our result apply to finite temperature Schur measures, and extends both the result of Okounkov in \cite{okounkovschurmeasures} and of Cafasso-Ruzza in \cite{cafassoruzza} concerning the finite-temperature Plancherel measure. Our proof lies on the semi-infinite wedge formalism and the Boson-Fermion correspondance.
- [14] arXiv:2403.18279 (cross-list from math.GT) [pdf, ps, other]
-
Title: Forbidden complexes for the 3-sphereComments: 17 pages, 14 figuresSubjects: Geometric Topology (math.GT); Combinatorics (math.CO)
A simplicial complex is said to be {\em critical} (or {\em forbidden}) for the 3-sphere $S^3$ if it cannot be embedded in $S^3$ but after removing any one point, it can be embedded.
We show that if a multibranched surface cannot be embedded in $S^3$, it contains a critical complex which is a union of a multibranched surface and a (possibly empty) graph. We exhibit all critical complexes for $S^3$ which are contained in $K_5 \times S^1$ and $K_{3,3} \times S^1$ families. We also classify all critical complexes for $S^3$ which can be decomposed into $G\times S^1$ and $H$, where $G$ and $H$ are graphs.
In spite of the above property, there exist complexes which cannot be embedded in $S^3$, but they do not contain any critical complexes. From the property of those examples, we define an equivalence relation on all simplicial complexes $\mathcal{C}$ and a partially ordered set of complexes $(\mathcal{C}/\mathord\sim; \subseteqq)$, and refine the definition of critical. According to the refined definition of critical, we show that if a complex $X$ cannot be embedded in $S^3$, then there exists $[X']\subseteqq [X]$ such that $[X']$ is critical for $[S^3]$. - [15] arXiv:2403.18450 (cross-list from math.AT) [pdf, other]
-
Title: Loop homology of moment-angle complexes in the flag caseAuthors: Fedor VylegzhaninComments: 32 pages, comments are welcome!Subjects: Algebraic Topology (math.AT); Combinatorics (math.CO); K-Theory and Homology (math.KT); Rings and Algebras (math.RA)
We develop a general homological approach to presentations of connected graded associative algebras, and apply it to loop homology of moment-angle complexes $Z_K$ that correspond to flag simplicial complexes $K$. For arbitrary coefficient ring, we describe generators of the Pontryagin algebra $H_*(\Omega Z_K)$ and defining relations between them. We prove that such moment-angle complexes are coformal over $\mathbb{Q},$ give a necessary condition for rational formality, and compute their homotopy groups in terms of homotopy groups of spheres.
Replacements for Thu, 28 Mar 24
- [16] arXiv:1212.6092 (replaced) [src]
- [17] arXiv:2304.09155 (replaced) [pdf, other]
-
Title: Rainbow Hamiltonicity in uniformly coloured perturbed digraphsComments: Incorporated referee's comments. Accepted for publication in Combinatorics, Probability and ComputingSubjects: Combinatorics (math.CO)
- [18] arXiv:2310.14647 (replaced) [pdf, ps, other]
-
Title: Indicated domination gameComments: 19 pagesSubjects: Combinatorics (math.CO)
- [19] arXiv:2403.15201 (replaced) [pdf, other]
-
Title: Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph ClassesComments: v2: added section "Conclusions and Future Work"Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Logic (math.LO)
- [20] arXiv:2403.15578 (replaced) [pdf, ps, other]
-
Title: Exact distance Kneser graphsSubjects: Combinatorics (math.CO)
- [21] arXiv:2303.16335 (replaced) [pdf, other]
-
Title: Boundary current fluctuations for the half space ASEP and six vertex modelAuthors: Jimmy HeComments: v3: final version. 60 pages, many figures. Comments are welcome!Subjects: Probability (math.PR); Mathematical Physics (math-ph); Combinatorics (math.CO)
- [22] arXiv:2306.07357 (replaced) [pdf, ps, other]
-
Title: Noise Sensitivity of the Minimum Spanning Tree of the Complete GraphSubjects: Probability (math.PR); Combinatorics (math.CO)
- [23] arXiv:2308.11637 (replaced) [pdf, other]
-
Title: Classical values of Zeta, as simple as possible but not simplerAuthors: Olga HoltzComments: 10 page, 1 figureSubjects: History and Overview (math.HO); Combinatorics (math.CO); Complex Variables (math.CV); Number Theory (math.NT)
- [24] arXiv:2309.13771 (replaced) [pdf, ps, other]
-
Title: Matching powers of monomial ideals and edge ideals of weighted oriented graphsComments: New version following the referees suggestionsSubjects: Commutative Algebra (math.AC); Combinatorics (math.CO)
- [25] arXiv:2401.02792 (replaced) [pdf, other]
-
Title: The Origin of Calabi-Yau Crystals in BPS States CountingComments: 53 pages; v3 minor corrections, references addedJournal-ref: J. High Energ. Phys. 2024, 140 (2024)Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Algebraic Geometry (math.AG); Combinatorics (math.CO)
[ showing up to 1000 entries per page: fewer | more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2403, contact, help (Access key information)