We gratefully acknowledge support from
the Simons Foundation and member institutions.

Combinatorics

New submissions

[ total of 28 entries: 1-28 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Wed, 1 Feb 23

[1]  arXiv:2301.13305 [pdf, ps, other]
Title: Graph-codes
Authors: Noga Alon
Subjects: Combinatorics (math.CO)

The symmetric difference of two graphs $G_1,G_2$ on the same set of vertices $[n]=\{1,2, \ldots ,n\}$ is the graph on $[n]$ whose set of edges are all edges that belong to exactly one of the two graphs $G_1,G_2$. Let $H$ be a fixed graph with an even (positive) number of edges, and let $D_H(n)$ denote the maximum possible cardinality of a family of graphs on $[n]$ containing no two members whose symmetric difference is a copy of $H$. Is it true that $D_H(n)=o(2^{n \choose 2})$ for any such $H$? We discuss this problem, compute the value of $D_H(n)$ up to a constant factor for stars and matchings, and discuss several variants of the problem including ones that have been considered in earlier work.

[2]  arXiv:2301.13557 [pdf, ps, other]
Title: New bounds and constructions for neighbor-locating colorings of graphs
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

A proper $k$-coloring of a graph $G$ is a \emph{neighbor-locating $k$-coloring} if for each pair of vertices in the same color class, the sets of colors found in their neighborhoods are different. The neighbor-locating chromatic number $\chi_{NL}(G)$ is the minimum $k$ for which $G$ admits a neighbor-locating $k$-coloring. A proper $k$-coloring of a graph $G$ is a \emph{locating $k$-coloring} if for each pair of vertices $x$ and $y$ in the same color-class, there exists a color class $S_i$ such that $d(x,S_i)\neq d(y,S_i)$. The locating chromatic number $\chi_{L}(G)$ is the minimum $k$ for which $G$ admits a locating $k$-coloring. It follows that $\chi(G)\leq\chi_L(G)\leq\chi_{NL}(G)$ for any graph $G$, where $\chi(G)$ is the usual chromatic number of $G$.
We show that for any three integers $p,q,r$ with $2\leq p\leq q\leq r$ (except when $2=p=q<r$), there exists a connected graph $G_{p,q,r}$ with $\chi(G_{p,q,r})=p$, $\chi_L(G_{p,q,r})=q$ and $\chi_{NL}(G_{p,q,r})=r$. We also show that the locating chromatic number (resp., neighbor-locating chromatic number) of an induced subgraph of a graph $G$ can be arbitrarily larger than that of $G$.
Alcon \textit{et al.} showed that the number $n$ of vertices of $G$ is bounded above by $k(2^{k-1}-1)$, where $\chi_{NL}(G)=k$ and $G$ is connected (this bound is tight). When $G$ has maximum degree $\Delta$, they also showed that a smaller upper-bound on $n$ of order $k^{\Delta+1}$ holds. We generalize the latter by proving that if $G$ has order $n$ and at most $an+b$ edges, then $n$ is upper-bounded by a bound of the order of $k^{2a+1}+2b$. Moreover, we describe constructions of such graphs which are close to reaching the bound.

[3]  arXiv:2301.13563 [pdf, ps, other]
Title: The Thue-Morse sequence in base 3/2
Authors: Michel Dekking
Subjects: Combinatorics (math.CO)

We discuss the base 3/2 representation of the natural numbers. We prove that the sum of digits function of the representation is a fixed point of a 2-block substitution on an infinite alphabet, and that this implies that sum of digits function modulo 2 of the representation is a fixed point $x_{3/2}$ of a 2-block substitution on $\{0,1\}$. We prove that $x_{3/2}$ is mirror invariant, and present a list of conjectured properties of $x_{3/2}$, which we think will be hard to prove. Finally, we make a comparison with a variant of the base 3/2 representation, and give a general result on $p$-$q$-block substitutions.

[4]  arXiv:2301.13566 [pdf, ps, other]
Title: Factorizations of Cyclic Groups and Bayonet Codes
Subjects: Combinatorics (math.CO)

We study the (variable-length) codes of the form X u {a^n}, where X c a*wa* and |X| = n. We extend various notions and results from factorizations of cyclic groups theory to this type of codes. In particular, when n is the product of at most three primes or has the form pq^k (with p and q prime), we prove that they are composed of prefix and suffix codes. We provide counterexamples for other n. It implies that the long-standing triangle conjecture is true for this type of n. We also prove a conjecture about the size of a potential counterexample to the conjecture.

[5]  arXiv:2301.13632 [pdf, other]
Title: There are 2-tough 4-regular graphs with claws
Authors: Wayne Goddard
Subjects: Combinatorics (math.CO)

We show that there are 2-tough 4-regular graphs with claws

[6]  arXiv:2301.13695 [pdf, other]
Title: Note on the chromatic number of Minkowski planes: the regular polygon case
Authors: Panna Gehér
Comments: 15 pages, 12 figures
Subjects: Combinatorics (math.CO); Metric Geometry (math.MG)

The famous Hadwiger-Nelson problem asks for the minimum number of colors needed to color the points of the Euclidean plane so that no two points unit distance apart are assigned the same color. In this note we consider a variant of the problem in Minkowski metric planes, where the unit circle is a regular polygon of even and at most 22 vertices. We present a simple lattice-sublattice coloring scheme that uses 6 colors, proving that the chromatic number of the Minkowski planes above are at most 6. This result is new for regular polygons having more than 8 vertices.

[7]  arXiv:2301.13718 [pdf, ps, other]
Title: Naturally emerging maps for derangements and nonderangements
Authors: Melanie Ferreri
Comments: 17 pages
Subjects: Combinatorics (math.CO)

A derangement is a permutation with no fixed point. We denote by $D_n$ the set of derangements of $[n]$ contained in the symmetric group $\mathfrak{S}_n$. Similarly, we denote the set of nonderangements, or permutations with at least one fixed point, by $\overline{D}_n$. We denote by $E_n$ the set of permutations with exactly one fixed point, and we use $\overline{E}_n$ to denote the complement of $E_n$ in $\mathfrak{S}_n$, i.e. the set of permutations that do not have exactly one fixed point. We describe a recursive map that gives a bijection between $D_n$ and $E_n$ excluding one element. We then show the combinatorial description of this map and how it compares with other known bijections, and present an involution on $\mathfrak{S}_n$ which exchanges elements of $D_n$ and $E_n$ excluding one element. This map can be used to obtain a map from $\overline{D}_n$ to $\overline{E}_n$ excluding one element, and can be combined with a bijection from $\overline{E}_n$ to $[n] \times \overline{D}_{n-1}$ to give a bijective proof of the one-term identity for nonderangements.

[8]  arXiv:2301.13747 [pdf, ps, other]
Title: Algebraic identities on q-harmonic numbers and q-binomial coefficients
Comments: 8 pages
Subjects: Combinatorics (math.CO)

The aim of this paper is to present a general algebraic identity. Applying this identity, we provide several formulas involving the q-binomial coefficients and the q-harmonic numbers. We also recover some known identities including an algebraic identity of D. Y. Zheng on q-Ap\'{e}ry numbers and we establish the q-analog of Euler's formula. The proposed results may have important applications in the theory of q-supercongruences.

[9]  arXiv:2301.13789 [pdf, ps, other]
Title: The Minimum Degree Removal Lemma Thresholds
Subjects: Combinatorics (math.CO)

The graph removal lemma is a fundamental result in extremal graph theory which says that for every fixed graph $H$ and $\varepsilon > 0$, if an $n$-vertex graph $G$ contains $\varepsilon n^2$ edge-disjoint copies of $H$ then $G$ contains $\delta n^{v(H)}$ copies of $H$ for some $\delta = \delta(\varepsilon,H) > 0$. The current proofs of the removal lemma give only very weak bounds on $\delta(\varepsilon,H)$, and it is also known that $\delta(\varepsilon,H)$ is not polynomial in $\varepsilon$ unless $H$ is bipartite. Recently, Fox and Wigderson initiated the study of minimum degree conditions guaranteeing that $\delta(\varepsilon,H)$ depends polynomially or linearly on $\varepsilon$. In this paper we answer several questions of Fox and Wigderson on this topic.

[10]  arXiv:2301.13829 [pdf, ps, other]
Title: The Deepest Cycle of a Random Mapping: a Problem Proposed by Steven Finch
Comments: 8 pages
Subjects: Combinatorics (math.CO); Probability (math.PR)

Let $\mathcal{T}_n$ be the set of all mappings $T:\{1,2,\ldots,n\}\to\{1,2,\ldots,n\}$. The corresponding graph of $T$ is aunion of disjoint connected unicyclic components. We assume that each $T\in\mathcal{T}_n$ is chosen uniformly at random (i.e., with probability $n^{-n}$). The deepest cycle of $T$ is contained within its largest component. Let $\nu_n=\nu_n(T)$ denote the length of the deepest cycle in $T\in\mathcal{T}_n$. In this paper, we find the limits of the expectation and variance of $\nu_n/\sqrt{n}$ as $n\to\infty$. For $n$ large enough, we also show that nearly $55\%$ of all cyclic vertices of a random mapping $T\in\mathcal{T}_n$ lie in the deepest cycle and that a vertex from the longest cycle of $T$ does not belong to its largest component with approximate probability $0.075$.

Cross-lists for Wed, 1 Feb 23

[11]  arXiv:2301.13245 (cross-list from cs.DS) [pdf, other]
Title: A Safety Framework for Flow Decomposition Problems via Integer Linear Programming
Subjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO); Genomics (q-bio.GN)

Many important problems in Bioinformatics (e.g., assembly or multi-assembly) admit multiple solutions, while the final objective is to report only one. A common approach to deal with this uncertainty is finding safe partial solutions (e.g., contigs) which are common to all solutions. Previous research on safety has focused on polynomially-time solvable problems, whereas many successful and natural models are NP-hard to solve, leaving a lack of "safety tools" for such problems. We propose the first method for computing all safe solutions for an NP-hard problem, minimum flow decomposition. We obtain our results by developing a "safety test" for paths based on a general Integer Linear Programming (ILP) formulation. Moreover, we provide implementations with practical optimizations aimed to reduce the total ILP time, the most efficient of these being based on a recursive group-testing procedure.
Results: Experimental results on the transcriptome datasets of Shao and Kingsford (TCBB, 2017) show that all safe paths for minimum flow decompositions correctly recover up to 90% of the full RNA transcripts, which is at least 25% more than previously known safe paths, such as (Caceres et al. TCBB, 2021), (Zheng et al., RECOMB 2021), (Khan et al., RECOMB 2022, ESA 2022). Moreover, despite the NP-hardness of the problem, we can report all safe paths for 99.8% of the over 27,000 non-trivial graphs of this dataset in only 1.5 hours. Our results suggest that, on perfect data, there is less ambiguity than thought in the notoriously hard RNA assembly problem.
Availability: https://github.com/algbio/mfd-safety

[12]  arXiv:2301.13377 (cross-list from math.AC) [pdf, ps, other]
Title: Symmetric group fixed quotients of polynomial rings
Comments: 16 pages, comments welcome
Subjects: Commutative Algebra (math.AC); Combinatorics (math.CO)

Given a representation of a finite group $G$ over some commutative base ring $\mathbf{k}$, the cofixed space is the largest quotient of the representation on which the group acts trivially. If $G$ acts by $\mathbf{k}$-algebra automorphisms, then the cofixed space is a module over the ring of $G$-invariants. When the order of $G$ is not invertible in the base ring, little is known about this module structure. We study the cofixed space in the case that $G$ is the symmetric group on $n$ letters acting on a polynomial ring by permuting its variables. When $\mathbf{k}$ has characteristic 0, the cofixed space is isomorphic to an ideal of the ring of symmetric polynomials. Localizing $\mathbf{k}$ at a prime integer $p$ while letting $n$ vary reveals striking behavior in these ideals. As $n$ grows, the ideals stay stable in a sense, then jump in complexity each time $n$ reaches a multiple of $p$.

[13]  arXiv:2301.13555 (cross-list from math.PR) [pdf, other]
Title: Random matrices associated to Young diagrams
Comments: 16 pages
Subjects: Probability (math.PR); Mathematical Physics (math-ph); Combinatorics (math.CO)

We consider the singular values of certain Young diagram shaped random matrices. For block-shaped random matrices, the empirical distribution of the squares of the singular eigenvalues converges almost surely to a distribution whose moments are a generalisation of the Catalan numbers. The limiting distribution is the density of a product of rescaled independent Beta random variables and its Stieltjes-Cauchy transform has a hypergeometric representation. In special cases we recover the Marchenko-Pastur and Dykema-Haagerup measures of square and triangular random matrices, respectively. We find a further factorisation of the moments in terms of two complex-valued random variables that generalises the factorisation of the Marcenko-Pastur law as product of independent uniform and arcsine random variables.

[14]  arXiv:2301.13587 (cross-list from math.AT) [pdf, ps, other]
Title: Study of Cofibration Category structures on finite Graphs
Comments: 9 pages, 2 figures; Comments are welcome
Subjects: Algebraic Topology (math.AT); Combinatorics (math.CO); Category Theory (math.CT)

In this article, we show that there is no cofibration category on the category of finite graphs with $\times$-homotopy equivalences as the class of weak equivalences. Further, we show that there is no cofibration structure possible on the category of finite graphs if the weak equivalences are a subclass of graph maps between graphs with isomorphic stiff subgraphs.

[15]  arXiv:2301.13735 (cross-list from cs.LO) [pdf, other]
Title: Flipper games for monadically stable graph classes
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO); Logic (math.LO)

A class of graphs $\mathscr{C}$ is monadically stable if for any unary expansion $\widehat{\mathscr{C}}$ of $\mathscr{C}$, one cannot interpret, in first-order logic, arbitrarily long linear orders in graphs from $\widehat{\mathscr{C}}$. It is known that nowhere dense graph classes are monadically stable; these encompass most of the studied concepts of sparsity in graphs, including graph classes that exclude a fixed topological minor. On the other hand, monadic stability is a property expressed in purely model-theoretic terms and hence it is also suited for capturing structure in dense graphs.
For several years, it has been suspected that one can create a structure theory for monadically stable graph classes that mirrors the theory of nowhere dense graph classes in the dense setting. In this work we provide a step in this direction by giving a characterization of monadic stability through the Flipper game: a game on a graph played by Flipper, who in each round can complement the edge relation between any pair of vertex subsets, and Connector, who in each round localizes the game to a ball of bounded radius. This is an analog of the Splitter game, which characterizes nowhere dense classes of graphs (Grohe, Kreutzer, and Siebertz, J.ACM'17).
We give two different proofs of our main result. The first proof uses tools from model theory, and it exposes an additional property of monadically stable graph classes that is close in spirit to definability of types. Also, as a byproduct, we give an alternative proof of the recent result of Braunfeld and Laskowski (arXiv 2209.05120) that monadic stability for graph classes coincides with existential monadic stability. The second proof relies on the recently introduced notion of flip-wideness (Dreier, M\"ahlmann, Siebertz, and Toru\'nczyk, arXiv 2206.13765) and provides an efficient algorithm to compute Flipper's moves in a winning strategy.

Replacements for Wed, 1 Feb 23

[16]  arXiv:2103.04917 (replaced) [src]
Title: Algebraic curves in their Jacobian are Sidon sets
Comments: This paper is superseded by the more recent work arXiv:2301.12878 (joint with J. Fres\'an)
Subjects: Combinatorics (math.CO); Algebraic Geometry (math.AG); Number Theory (math.NT)
[17]  arXiv:2104.04330 (replaced) [pdf, ps, other]
Title: Equiangular lines in Euclidean spaces: dimensions 17 and 18
Comments: 39 pages. Contains tables referenced in the journal version. arXiv admin note: text overlap with arXiv:2002.08085
Subjects: Combinatorics (math.CO)
[18]  arXiv:2106.10049 (replaced) [pdf, other]
Title: Graphs with at most two moplexes
Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)
[19]  arXiv:2202.03810 (replaced) [pdf, ps, other]
Title: Perfect state transfer on bi-Cayley graphs over abelian groups
Authors: Shixin Wang, Tao Feng
Subjects: Combinatorics (math.CO)
[20]  arXiv:2204.02353 (replaced) [pdf, ps, other]
Title: The Cyclic Flats of a $q$-Matroid
Subjects: Combinatorics (math.CO); Information Theory (cs.IT)
[21]  arXiv:2206.09295 (replaced) [pdf, ps, other]
Title: Extensions on spectral extrema of $C_5/C_6$-free graphs with given size
Comments: 34 pages
Subjects: Combinatorics (math.CO)
[22]  arXiv:2206.12087 (replaced) [pdf, ps, other]
Title: Knight's paths towards Catalan numbers
Subjects: Combinatorics (math.CO)
[23]  arXiv:2207.04855 (replaced) [pdf, other]
Title: Canonical graph decompositions via coverings
Comments: This is the extended version of this paper, which is available only on the ArXiv. The shorter journal version corresponding to this ArXiv version v.3 will be v.4. This extended version differs from v.1 by some minor editing and corrections of misprints
Subjects: Combinatorics (math.CO); Group Theory (math.GR)
[24]  arXiv:2210.03711 (replaced) [pdf, ps, other]
Title: Matrix tree theorem for the net Laplacian matrix of a signed graph
Authors: Sudipta Mallik
Comments: 16 pages, accepted in Linear and Multilinear Algebra
Subjects: Combinatorics (math.CO)
[25]  arXiv:2301.09979 (replaced) [pdf, ps, other]
Title: General sharp upper bounds on the total coalition number
Comments: This updated version contains an almost complete answer for Problem 4.7 of the previous version
Subjects: Combinatorics (math.CO)
[26]  arXiv:2012.01482 (replaced) [pdf, ps, other]
Title: Criterion of unrecognizability of a finite group by its Gruenberg-Kegel graph
Comments: 32 pages
Journal-ref: Journal of Algebra, Volume 607, Part A, 1 October 2022, Pages 186-213
Subjects: Group Theory (math.GR); Combinatorics (math.CO)
[27]  arXiv:2201.01440 (replaced) [pdf, ps, other]
Title: Recurrence formula, positivity and polytope basis in cluster algebras via Newton polytopes
Authors: Fang Li, Jie Pan
Comments: 68 pages
Subjects: Representation Theory (math.RT); Commutative Algebra (math.AC); Combinatorics (math.CO); Rings and Algebras (math.RA)
[28]  arXiv:2211.16471 (replaced) [pdf, other]
Title: The Lasserre hierarchy for equiangular lines with a fixed angle
Comments: 25 pages, 2 figures. Submitted version
Subjects: Metric Geometry (math.MG); Combinatorics (math.CO); Optimization and Control (math.OC); Representation Theory (math.RT)
[ total of 28 entries: 1-28 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 2301, contact, help  (Access key information)