Combinatorics
New submissions
[ 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 groupsComments: 9 pagesSubjects: 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 systemsSubjects: 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 nonSidorenko 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 graphAuthors: Yueheng ZhangSubjects: 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: Primevalent Symmetric graphs with a quasisemiregular automorphismComments: 23Subjects: Combinatorics (math.CO); Group Theory (math.GR)
An automorphism of a graph is called quasisemiregular 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 wellknown semiregular automorphism of a graph. Symmetric graphs of valency three or four, admitting a quasisemiregular 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 quasisemiregular 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 fixedpointfree automorphism of order $p$ with $S$ as an orbit of involutions, or $\Gamma$ is a normal $N$cover of a $T$arctransitive graph of valency $p$ admitting a quasisemiregular automorphism, where $T$ is a nonabelian 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 arctransitive subgroup or $\Gamma$ is $T$arctransitive with $T$ a nonabelian simple group. We also construct the first infinite family of symmetric graphs that have a quasisemiregular 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 StarpheneComments: 15 pages, 2 figuresSubjects: 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 pAuthors: Krasimir YordzhevComments: arXiv admin note: text overlap with arXiv:1604.02714Journalref: Notes on Number Theory and Discrete Mathematics, Vol. 24, No. 4, 2018, 133143Subjects: 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 , p1 \}$. In each element of the factorset 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 ntuples of integers.
 [7] arXiv:2107.14713 [pdf, other]

Title: Crowns in linear $3$graphsComments: 10 pages, 5 figures, comments welcomeSubjects: 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 graphsAuthors: Mohammad Hadi Shekarriz, Bahman Ahmadi, Seyed Alireza Talebpoor Shirazi Fard, Mohammad Hasan Shirdareh HaghighiComments: 19 pages, 6 figuresSubjects: Combinatorics (math.CO)
A vertex coloring of a graph $G$ is called distinguishing if no nonidentity 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 AlgebrasComments: 32 pagesSubjects: 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 pqrsAuthors: Dave Witte MorrisComments: 8 pagesSubjects: 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 configurationsComments: 18 pagesSubjects: 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.
Crosslists for Mon, 2 Aug 21
 [12] arXiv:2107.14278 (crosslist from math.NT) [pdf, ps, other]

Title: Series reversion with Jacobi and Thron continued fractionsAuthors: Paul BarryComments: 26 PagesSubjects: 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 (crosslist from math.RA) [pdf, ps, other]

Title: The linear algebra of Riordan matricesComments: 26 pagesSubjects: 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$ pseudoinvolution 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 (crosslist from cs.IT) [pdf, ps, other]

Title: On weight spectrum of linear codesAuthors: Vladimir N. PotapovSubjects: 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 MacWilliamstype 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 graphsComments: 21 pages, 1 figureSubjects: Combinatorics (math.CO); Probability (math.PR)
 [16] arXiv:1905.01685 (replaced) [pdf, ps, other]

Title: Some extremal results on hypergraph Turán problemsComments: To appear in SCIENCE CHINA MathematicsSubjects: Combinatorics (math.CO)
 [17] arXiv:1906.09659 (replaced) [pdf, ps, other]

Title: Pattern Avoidance Over a HypergraphComments: 33 pages. v2, some restructuring and edits made for clarity. Added a discussion about concentration resultsSubjects: Combinatorics (math.CO)
 [18] arXiv:1911.03012 (replaced) [pdf, ps, other]

Title: Counting extensions revisitedComments: 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 graphsSubjects: Combinatorics (math.CO)
 [20] arXiv:2004.07722 (replaced) [pdf, other]

Title: Patterns without a popular differenceComments: Computer code for appendix attached as ancillary filesJournalref: Discrete Analysis, 2021:8, 30 ppSubjects: Combinatorics (math.CO); Number Theory (math.NT)
 [21] arXiv:2006.04879 (replaced) [pdf, ps, other]

Title: Extremal problems and results related to GallaicoloringsComments: 20 pages, 1 figureSubjects: 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 treeSubjects: Combinatorics (math.CO)
 [23] arXiv:2105.06633 (replaced) [pdf, other]

Title: Power series representing PosetsComments: 40 pages. We simplified one main proof and found links to Stirling numbers. Grammar errors correctedSubjects: Combinatorics (math.CO); Algebraic Topology (math.AT)
 [24] arXiv:2107.06145 (replaced) [pdf, ps, other]

Title: The general Albertson irregularity index of graphsComments: 17 pages, 4 figuresSubjects: Combinatorics (math.CO)
 [25] arXiv:2012.14047 (replaced) [pdf, ps, other]

Title: Homological and combinatorial aspects of virtually CohenMacaulay sheavesComments: Accepted to Transactions of the London Mathematical SocietySubjects: 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 CommitmentComments: Updated citations and improved presentationSubjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); 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, 2108, contact, help (Access key information)