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

Combinatorics

New submissions

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

New submissions for Mon, 2 Aug 21

[1]  arXiv:2107.14279 [pdf, ps, other]
Title: On $n$-partite digraphical representations of finite groups
Comments: 9 pages
Subjects: Combinatorics (math.CO); Group Theory (math.GR)

A group $G$ admits an \textbf{\em $n$-partite digraphical representation} if there exists a regular $n$-partite digraph $\Gamma$ such that the automorphism group $\mathrm{Aut}(\Gamma)$ of $\Gamma$ satisfies the following properties: $\mathrm{Aut}(\Gamma)$ is isomorphic to $G$, $\mathrm{Aut}(\Gamma)$ acts semiregularly on the vertices of $\Gamma$ and the orbits of $\mathrm{Aut}(\Gamma)$ on the vertex set of $\Gamma$ form a partition into $n$ parts giving a structure of $n$-partite digraph to $\Gamma$.
In this paper, for every positive integer $n$, we classify the finite groups admitting an $n$-partite digraphical representation.

[2]  arXiv:2107.14413 [pdf, ps, other]
Title: Towards a characterisation of Sidorenko systems
Subjects: Combinatorics (math.CO); Number Theory (math.NT)

A system of linear forms $L=\{L_1,\ldots,L_m\}$ over $\mathbb{F}_q$ is said to be Sidorenko if the number of solutions to $L=0$ in any $A \subseteq \mathbb{F}_{q}^n$ is asymptotically as $n\to\infty$ at least the expected number of solutions in a random set of the same density. Work of Saad and Wolf and of Fox, Pham and Zhao fully characterises single equations with this property and both sets of authors ask about a characterisation of Sidorenko systems of equations.
In this paper, we make progress towards this goal. Firstly, we find a simple necessary condition for a system to be Sidorenko, thus providing a rich family of non-Sidorenko systems. In the opposite direction, we find a large family of structured Sidorenko systems, by utilizing the entropy method. We also make significant progress towards a full classification of systems of two equations.

[3]  arXiv:2107.14421 [pdf, other]
Title: On the principal eigenvector of a graph
Authors: Yueheng Zhang
Subjects: Combinatorics (math.CO)

The principal ratio of a connected graph $G$, $\gamma(G)$, is the ratio between the largest and smallest coordinates of the principal eigenvector of the adjacency matrix of $G$. Over all connected graphs on $n$ vertices, $\gamma(G)$ ranges from $1$ to $n^{cn}$. Moreover, $\gamma(G)=1$ if and only if $G$ is regular. This indicates that $\gamma(G)$ can be viewed as an irregularity measure of $G$, as first suggested by Tait and Tobin (El. J. Lin. Alg. 2018). We are interested in how stable this measure is. In particular, we ask how $\gamma$ changes when there is a small modification to a regular graph $G$. We show that this ratio is polynomially bounded if we remove an edge belonging to a cycle of bounded length in $G$, while the ratio can jump from $1$ to exponential if we join a pair of vertices at distance $2$. We study the connection between the spectral gap of a regular graph and the stability of its principal ratio. A naive bound shows that given a constant multiplicative spectral gap and bounded degree, the ratio remains polynomially bounded if we add or delete an edge. Using results from matrix perturbation theory, we show that given an additive spectral gap greater than $(2+\epsilon)\sqrt{n}$, the ratio stays bounded after adding or deleting an edge.

[4]  arXiv:2107.14479 [pdf, ps, other]
Title: Prime-valent Symmetric graphs with a quasi-semiregular automorphism
Comments: 23
Subjects: Combinatorics (math.CO); Group Theory (math.GR)

An automorphism of a graph is called quasi-semiregular if it fixes a unique vertex of the graph and its remaining cycles have the same length. This kind of symmetry of graphs was first investigated by Kutnar, Malni\v{c}, Mart\'{i}nez and Maru\v{s}i\v{c} in 2013, as a generalization of the well-known semiregular automorphism of a graph. Symmetric graphs of valency three or four, admitting a quasi-semiregular automorphism, have been classified in recent two papers.
Let $p\geq 5$ be a prime and $\Gamma$ a connected symmetric graph of valency $p$ admitting a quasi-semiregular automorphism. In this paper, we first prove that either $\Gamma$ is a connected Cayley graph $\rm{Cay}(M,S)$ such that $M$ is a $2$-group admitting a fixed-point-free automorphism of order $p$ with $S$ as an orbit of involutions, or $\Gamma$ is a normal $N$-cover of a $T$-arc-transitive graph of valency $p$ admitting a quasi-semiregular automorphism, where $T$ is a non-abelian simple group and $N$ is a nilpotent group. Then in case $p=5$, we give a complete classification of such graphs $\Gamma$ such that either $\rm{Aut}(\Gamma)$ has a solvable arc-transitive subgroup or $\Gamma$ is $T$-arc-transitive with $T$ a non-abelian simple group. We also construct the first infinite family of symmetric graphs that have a quasi-semiregular automorphism and an insolvable full automorphism group.

[5]  arXiv:2107.14484 [pdf, other]
Title: Metric and Edge Metric Dimension of Zigzag Edge Coronoid Fused with Starphene
Comments: 15 pages, 2 figures
Subjects: Combinatorics (math.CO)

Let $\Gamma=(V,E)$ be a simple connected graph. $d(\alpha,\epsilon)=min\{d(\alpha, w), d(\alpha, d\}$ computes the distance between a vertex $\alpha \in V(\Gamma)$ and an edge $\epsilon=wd\in E(\Gamma)$. A single vertex $\alpha$ is said to recognize (resolve) two different edges $\epsilon_{1}$ and $\epsilon_{2}$ from $E(\Gamma)$ if $d(\alpha, \epsilon_{2})\neq d(\alpha, \epsilon_{1}\}$. A subset of distinct ordered vertices $U_{E}\subseteq V(\Gamma)$ is said to be an edge metric generator for $\Gamma$ if every pair of distinct edges from $\Gamma$ are recognized by some element of $U_{E}$. An edge metric generator with a minimum number of elements in it, is called an edge metric basis for $\Gamma$. Then, the cardinality of this edge metric basis of $\Gamma$, is called the edge metric dimension of $\Gamma$, denoted by $edim(\Gamma)$. The concept of studying chemical structures using graph theory terminologies is both appealing and practical. It enables chemical researchers to more precisely and easily examine various chemical topologies and networks. In this article, we investigate a fascinating cluster of organic chemistry as a result of this motivation. We consider a zigzag edge coronoid fused with starphene and find its minimum vertex and edge metric generators.

[6]  arXiv:2107.14602 [pdf, ps, other]
Title: Canonical matrices with entries integers modulo p
Comments: arXiv admin note: text overlap with arXiv:1604.02714
Journal-ref: Notes on Number Theory and Discrete Mathematics, Vol. 24, No. 4, 2018, 133-143
Subjects: Combinatorics (math.CO)

The work considers an equivalence relation in the set of all $n\times m$ matrices with entries in the set $[p]=\{ 0,1,\ldots , p-1 \}$. In each element of the factor-set generated by this relation, we define the concept of canonical matrix, namely the minimal element with respect to the lexicographic order. We have found a necessary and sufficient condition for an arbitrary matrix with entries in the set $[p]$ to be canonical. For this purpose, the matrices are uniquely represented by ordered n-tuples of integers.

[7]  arXiv:2107.14713 [pdf, other]
Title: Crowns in linear $3$-graphs
Comments: 10 pages, 5 figures, comments welcome
Subjects: Combinatorics (math.CO)

A \textit{linear $3$-graph}, $H = (V, E)$, is a set, $V$, of vertices together with a set, $E$, of $3$-element subsets of $V$, called edges, so that any two distinct edges intersect in at most one vertex. The linear Tur\'an number, ${\rm ex}(n,F)$, is the maximum number of edges in a linear $3$-graph $H$ with $n$ vertices containing no copy of $F$.
We focus here on the \textit{crown}, $C$, which consists of three pairwise disjoint edges (jewels) and a fourth edge (base) which intersects all of the jewels. Our main result is that every linear $3$-graph with minimum degree at least $4$ contains a crown. This is not true if $4$ is replaced by $3$. In fact the known bounds of the Tur\'an number are \[ 6 \left\lfloor{\frac{n - 3}{4}}\right\rfloor \leq {\rm ex}(n, C) \leq 2n, \] and in the construction providing the lower bound all but three vertices have degree $3$. We conjecture that ${\rm ex}(n, C) \sim \frac{3n}{2}$ but even if this were known it would not imply our main result.
Our second result is a step towards a possible proof of ${\rm ex}(n,C) \leq \frac{3n}{2}$ (i.e., determining it within a constant error). We show that a minimal counterexample to this statement must contain certain configurations with $9$ edges and we conjecture that all of them lead to contradiction.

[8]  arXiv:2107.14767 [pdf, ps, other]
Title: Distinguishing threshold of graphs
Comments: 19 pages, 6 figures
Subjects: Combinatorics (math.CO)

A vertex coloring of a graph $G$ is called distinguishing if no non-identity automorphisms of $G$ can preserve it. The distinguishing number of $G$, denoted by $D(G)$, is the minimum number of colors required for such coloring. The distinguishing threshold of $G$, denoted by $\theta(G)$, is the minimum number $k$ of colors such that every $k$-coloring of $G$ is distinguishing. In this paper, we study $\theta(G)$, find its relation to the cycle structure of the automorphism group and prove that $\theta(G)=2$ if and only if $G$ is isomorphic to $K_2$ or $\overline{K_2}$. Moreover, we study graphs that have the distinguishing threshold equal to 3 or more and prove that $\theta(G)=D(G)$ if and only if $G$ is asymmetric, $K_n$ or $\overline{K_n}$. Finally, we consider Johnson scheme graphs for their distinguishing number and threshold concludes the paper.

[9]  arXiv:2107.14785 [pdf, ps, other]
Title: Rooted Clusters for Graph LP Algebras
Comments: 32 pages
Subjects: Combinatorics (math.CO)

LP algebras, introduced by Lam and Pylyavskyy, are a generalization of cluster algebras. These algebras are known to have the Laurent phenomenon, but positivity remains conjectural. Graph LP algebras are finite LP algebras encoded by a graph. For the graph LP algebra defined by a tree, we define a family of clusters called rooted clusters. We prove positivity for these clusters by giving explicit formulas for each cluster variable. We also give a combinatorial interpretation for these expansions using a generalization of $T$-paths.

[10]  arXiv:2107.14787 [pdf, ps, other]
Title: On hamiltonian cycles in Cayley graphs of order pqrs
Comments: 8 pages
Subjects: Combinatorics (math.CO)

Let $G$ be a finite group. We show that if $|G| = pqrs$, where $p$, $q$, $r$, and $s$ are distinct odd primes, then every connected Cayley graph on $G$ has a hamiltonian cycle.

[11]  arXiv:2107.14798 [pdf, ps, other]
Title: Counting $r$-graphs without forbidden configurations
Comments: 18 pages
Subjects: Combinatorics (math.CO)

One of the major problems in combinatorics is to determine the number of $r$-uniform hypergraphs ($r$-graphs) on $n$ vertices which are free of certain forbidden structures. This problem dates back to the work of Erd\H{o}s, Kleitman and Rothschild, who showed that the number of $K_r$-free graphs on $n$ vertices is $2^{\text{ex}(n,K_r)+o(n^2)}$. Their work was later extended to forbidding graphs as induced subgraphs by Pr\"omel and Steger.
Here, we consider one of the most basic counting problems for $3$-graphs. Let $E_1$ be the $3$-graph with $4$ vertices and $1$ edge. What is the number of induced $\{K_4^3,E_1\}$-free $3$-graphs on $n$ vertices? We show that the number of such $3$-graphs is of order $n^{\Theta(n^2)}$. More generally, we determine asymptotically the number of induced $\mathcal{F}$-free $3$-graphs on $n$ vertices for all families $\mathcal{F}$ of $3$-graphs on $4$ vertices. We also provide upper bounds on the number of $r$-graphs on $n$ vertices which do not induce $i \in L$ edges on any set of $k$ vertices, where $L \subseteq \big \{0,1,\ldots,\binom{k}{r} \big\}$ is a list which does not contain $3$ consecutive integers in its complement. Our bounds are best possible up to a constant multiplicative factor in the exponent when $k = r+1$. The main tool behind our proof is counting the solutions of a constraint satisfaction problem.

Cross-lists for Mon, 2 Aug 21

[12]  arXiv:2107.14278 (cross-list from math.NT) [pdf, ps, other]
Title: Series reversion with Jacobi and Thron continued fractions
Authors: Paul Barry
Comments: 26 Pages
Subjects: Number Theory (math.NT); Combinatorics (math.CO)

Using ordinary and exponential generating functions, we explore the reversion of power series defined by $2$nd order recurrences. We express the reversions in terms of Jacobi and Thron continued fractions. We find relations with Eulerian expressions using a transformation of continued fractions.

[13]  arXiv:2107.14394 (cross-list from math.RA) [pdf, ps, other]
Title: The linear algebra of Riordan matrices
Comments: 26 pages
Subjects: Rings and Algebras (math.RA); Combinatorics (math.CO)

Riordan matrices are infinite lower triangular matrices determined by a pair of formal power series over the real or complex field. These matrices have been mainly studied as combinatorial objects with an emphasis placed on the algebraic or combinatorial structure. The present paper contributes to the linear algebraic discussion with an analysis of Riordan matrices by means of the interaction of the properties of formal power series with the linear algebra. Specifically, it is shown that if a Riordan matrix $A$ is an $n\times n$ pseudo-involution then the singular values of $A$ must come in reciprocal pairs in $\Sigma$ of a singular value decomposition $A=U\Sigma V^T$. Moreover, we give a complete analysis of the existence and nonexistence of eigenvectors of Riordan matrices. As a result, we obtain a surprising partition of the group of Riordan matrices into three different types of eigenvectors. Finally, given a nonzero vector $v$, we investigate the algebraic structure of Riordan matrices $A$ that stabilize the vector $v$, i.e. $Av=v$.

[14]  arXiv:2107.14576 (cross-list from cs.IT) [pdf, ps, other]
Title: On weight spectrum of linear codes
Subjects: Information Theory (cs.IT); Combinatorics (math.CO)

We study sequences of linear or affine codes with uniform weight spectrum, i.e., a part of codewords with any fixed weight tends to zero. It is proved that a sequence of linear codes has a uniform weight spectrum if the number of vectors from codes with weight $1$ grows to infinity. We find an example of a sequence of linear codes such that the dimension of the code is the half of the codelength but it has not a uniform weight spectrum. This example generates eigenfunctions of the Fourier transform with minimal support and partial covering sets. Moreover, we generalize some MacWilliams-type identity.
Keywords: weight distribution of code, dual code, MacWilliams identity, Fourier transform, partial covering array

Replacements for Mon, 2 Aug 21

[15]  arXiv:1901.06678 (replaced) [pdf, other]
Title: A study on random permutation graphs
Comments: 21 pages, 1 figure
Subjects: Combinatorics (math.CO); Probability (math.PR)
[16]  arXiv:1905.01685 (replaced) [pdf, ps, other]
Title: Some extremal results on hypergraph Turán problems
Comments: To appear in SCIENCE CHINA Mathematics
Subjects: Combinatorics (math.CO)
[17]  arXiv:1906.09659 (replaced) [pdf, ps, other]
Title: Pattern Avoidance Over a Hypergraph
Comments: 33 pages. v2, some restructuring and edits made for clarity. Added a discussion about concentration results
Subjects: Combinatorics (math.CO)
[18]  arXiv:1911.03012 (replaced) [pdf, ps, other]
Title: Counting extensions revisited
Comments: 22 pages, 2 figures. Minor edits, to appear in Random Structures and Algorithms (RSA)
Subjects: Combinatorics (math.CO); Probability (math.PR)
[19]  arXiv:2004.06695 (replaced) [pdf, ps, other]
Title: A proof of the Upper Matching Conjecture for large graphs
Subjects: Combinatorics (math.CO)
[20]  arXiv:2004.07722 (replaced) [pdf, other]
Title: Patterns without a popular difference
Comments: Computer code for appendix attached as ancillary files
Journal-ref: Discrete Analysis, 2021:8, 30 pp
Subjects: Combinatorics (math.CO); Number Theory (math.NT)
[21]  arXiv:2006.04879 (replaced) [pdf, ps, other]
Title: Extremal problems and results related to Gallai-colorings
Comments: 20 pages, 1 figure
Subjects: Combinatorics (math.CO)
[22]  arXiv:2102.12053 (replaced) [pdf, ps, other]
Title: Polynomial time recognition of vertices contained in all (or no) maximum dissociation sets of a tree
Subjects: Combinatorics (math.CO)
[23]  arXiv:2105.06633 (replaced) [pdf, other]
Title: Power series representing Posets
Comments: 40 pages. We simplified one main proof and found links to Stirling numbers. Grammar errors corrected
Subjects: Combinatorics (math.CO); Algebraic Topology (math.AT)
[24]  arXiv:2107.06145 (replaced) [pdf, ps, other]
Title: The general Albertson irregularity index of graphs
Comments: 17 pages, 4 figures
Subjects: Combinatorics (math.CO)
[25]  arXiv:2012.14047 (replaced) [pdf, ps, other]
Title: Homological and combinatorial aspects of virtually Cohen--Macaulay sheaves
Comments: Accepted to Transactions of the London Mathematical Society
Subjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG); Combinatorics (math.CO)
[26]  arXiv:2102.04325 (replaced) [pdf, ps, other]
Title: Prophet Matching Meets Probing with Commitment
Comments: Updated citations and improved presentation
Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
[ total of 26 entries: 1-26 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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