Combinatorics
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Tue, 19 Oct 21
 [1] arXiv:2110.08319 [pdf, ps, other]

Title: Optimal Leapfrogging, A Complete GuideComments: In progress for submissionSubjects: Combinatorics (math.CO)
Suppose we have some checkers placed in the lowerleft corner of a Go board, and wish to move them to the upper right corner in as few moves as possible, where the pieces move as they would in the game of Chinese Checkers. In 1993, Auslander, Benjamin, and Wilkerson generalized this game for integer lattices, defined a measure of speed for a starting configuration of pieces, and proved that a maximum speed exists, which only three configurations, called "speedoflight" configurations can attain. It was conjectured that the maximum speed of a nonspeedoflight configuration has a smaller upper bound, which we prove.
 [2] arXiv:2110.08371 [pdf, ps, other]

Title: Hurwitz equivalence of reflection factorizations in $G_7$Comments: 18 pagesSubjects: Combinatorics (math.CO); Group Theory (math.GR)
We prove that two reflection factorizations of a given element in an exceptional rank2 complex reflection group of tetrahedral type are Hurwitzequivalent if and only if they generate the same subgroup and have the same multiset of conjugacy classes.
 [3] arXiv:2110.08434 [pdf, ps, other]

Title: The excluded minors for lattice path polymatroidsComments: 16 pages, 7 figuresSubjects: Combinatorics (math.CO)
We find the excluded minors for the minorclosed class of lattice path polymatroids as a subclass of the minorclosed class of Boolean polymatroids. Like lattice path matroids and Boolean polymatroids, there are infinitely many excluded minors, but they fall into a small number of easilydescribed types.
 [4] arXiv:2110.08576 [pdf, other]

Title: Closedform formulas and properties of coefficients in Maclaurin's series expansion of Wilf's functionComments: 26 pagesSubjects: Combinatorics (math.CO); Classical Analysis and ODEs (math.CA)
In the paper, with the aid of the Fa\`a di Bruno formula, be virtue of several identities for the Bell polynomials of the second kind, with the help of two combinatorial identities, by means of the (logarithmically) complete monotonicity of generating functions of several integer sequences, and in the light of Wronski's theorem, the authors establish Taylor's series expansions of several functions involving the inverse (hyperbolic) tangent function, find out Maclaurin's series expansion of a complex function posed by Herbert S. Wilf, and analyze some properties, including generating functions, limits, positivity, monotonicity, and logarithmic convexity, of the coefficients in Maclaurin's series expansion of Wilf's function. These coefficients in Maclaurin's series expansion of Wilf's function are closedform expressions in terms of the Stirling numbers of the second kind. The authors also derive a closedform formula for a sequence of special values of Gauss' hypergeometric function, discover a closedform formula for a sequence of special values of the Bell polynomials of the second kind, present several infinite series representations of the circular constant Pi and other sequences, recover an asymptotic rational approximation to the circular constant Pi, and connect several integer sequences by determinants.
 [5] arXiv:2110.08647 [pdf, other]

Title: Tropical fans and normal complexesComments: 38 pages, 12 figures, comments welcomeSubjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)
Associated to any divisor in the Chow ring of a simplicial tropical fan, we construct a family of polytopal complexes, called normal complexes, which we propose as an analogue of the wellstudied notion of normal polytopes from the setting of complete fans. We describe certain closed convex polyhedral cones of divisors for which the "volume" of each divisor in the cone  that is, the degree of its top power  is equal to the volume of the associated normal complexes. For the Bergman fan of any matroid with building set, we prove that there exists an open family of such cones of divisors with nonempty interiors. We view the theory of normal complexes developed in this paper as a polytopal model underlying the combinatorial Hodge theory pioneered by Adiprasito, Huh, and Katz.
 [6] arXiv:2110.08706 [pdf, ps, other]

Title: Cordiality of DigraphsSubjects: Combinatorics (math.CO)
A $(0,1)$labelling of a set is said to be {\em friendly} if approximately one half the elements of the set are labelled 0 and one half labelled 1. Let $g$ be a labelling of the edge set of a graph that is induced by a labelling $f$ of the vertex set. If both $g$ and $f$ are friendly then $g$ is said to be a {\em cordial} labelling of the graph. We extend this concept to directed graphs and investigate the cordiality of sets of directed graphs. We investigate a specific type of cordiality on digraphs, a restriction of quasigroupcordiality called $(2,3)$cordiality. A directed graph is $(2,3)$cordial if there is a friendly labelling $f$ of the vertex set which induces a $(1,1,0)$labelling of the arc set $g$ such that about one third of the arcs are labelled 1, about one third labelled 1 and about one third labelled 0. In particular we determine which tournaments are $(2,3)$cordial, which orientations of the $n$wheel are $(2,3)$cordial, and which orientations of the $n $fan are $(2,3)$cordial.
 [7] arXiv:2110.08724 [pdf, other]

Title: Isolation of the diamond graphAuthors: Jingru YanComments: 14 pages, 6 figuresSubjects: Combinatorics (math.CO)
A graph is $H$free if it does not contain $H$ as a subgraph. The diamond graph is the graph obtained from $K_4$ by deleting one edge. We prove that if $G$ is a connected graph with order $n\geq 10$, then there exists a subset $S\subseteq V(G)$ with $S\leq n/5$ such that the graph induced by $V(G)\setminus N[S]$ is diamondfree, where $N[S]$ is the closed neighborhood of $S$. Furthermore, the bound is sharp.
 [8] arXiv:2110.08738 [pdf, ps, other]

Title: The Game of Arrows on 3Legged Spider GraphsAuthors: Bryant G. MathewsComments: 27 pages, 27 figuresSubjects: Combinatorics (math.CO)
The Game of Cycles is a combinatorial game introduced by Francis Su in 2020 in which players take turns marking arrows on the edges of a simple plane graph. Su and his collaborators found winning strategies for game boards including cycle graphs with chords and graphs with certain types of symmetry. Their paper mentions the possible use of the SpragueGrundy Theorem to analyze the Game of Cycles, but cautions that "this is not a hopeful approach because the size of the game tree generally grows exponentially with the number of edges of the board." In this paper, we employ the SpragueGrundy Theorem to show that player two has a winning strategy for the Game of Cycles on any 3legged spider graph with legs of odd length. Our proof leans heavily on a notion of state isomorphism that allows us to decompose a game state into states of smaller pieces of a graph, leading to nimsum calculations with Grundy values. Because the cycle cell victory condition is extraneous for tree graphs (including spiders), we drop it from the rules and call the result the Game of Arrows.
 [9] arXiv:2110.08751 [pdf, other]

Title: Petals and Books: The largest Laplacian spectral gap from 1Comments: 30 pagesSubjects: Combinatorics (math.CO); Spectral Theory (math.SP)
We prove that, for any graph on $N\geq 3$ vertices, the spectral gap from the value $1$ with respect to the normalized Laplacian is at most $1/2$. Moreover, we show that inequality is achieved if and only if the graph is either a petal graph (for $N$ odd) or a book graph (for $N$ even).
 [10] arXiv:2110.08790 [pdf, ps, other]

Title: A combinatorial model for the transition matrix between the Specht and web basesComments: 22 pages, 7 figures, Comments are welcomeSubjects: Combinatorics (math.CO)
We introduce a new class of permutations, called web permutations. Using these permutations, we provide a combinatorial interpretation for entries of the transition matrix between the Specht and web bases, which answers Rhoades's question. Furthermore, we study enumerative properties of these permutations.
 [11] arXiv:2110.08834 [pdf, ps, other]

Title: On semitransitive orientability of split graphsSubjects: Combinatorics (math.CO)
A directed graph is semitransitive if and only if it is acyclic and for any directed path $u_1\rightarrow u_2\rightarrow \cdots \rightarrow u_t$, $t \geq 2$, either there is no edge from $u_1$ to $u_t$ or all edges $u_i\rightarrow u_j$ exist for $1 \leq i < j \leq t$. Recognizing semitransitive orientability of a graph is an NPcomplete problem.
A split graph is a graph in which the vertices can be partitioned into a clique and an independent set. Semitransitive orientability of spit graphs was recently studied in the literature. The main result in this paper is proving that recognition of semitransitive orientability of split graphs can be done in a polynomial time. We also characterize, in terms of minimal forbidden induced subgraphs, semitransitively orientable split graphs with the size of the independent set at most 3, hence extending the known classification of such graphs with the size of the clique at most 5.  [12] arXiv:2110.08869 [pdf, ps, other]

Title: Stressed hyperplanes and KazhdanLusztig gammapositivity for matroidsComments: 43 pages. Comments are welcome!Subjects: Combinatorics (math.CO)
In this article we make several contributions of independent interest. First, we introduce the notion of stressed hyperplane of a matroid, essentially a type of cyclic flat that permits to transition from a given matroid into another with more bases. Second, we prove that the framework provided by the stressed hyperplanes allows to write very concise closed formulas for the KazhdanLusztig, inverse KazhdanLusztig and $Z$polynomials of all paving matroids, a class which is conjectured to predominate among matroids. Third, noticing the palindromicity of the $Z$polynomial, we address its $\gamma$positivity, a fact that is a midpoint between unimodality and realrootedness; to this end, we introduce the $\gamma$polynomial associated to it, we study some of its basic properties, and we find closed expressions for it in the case of paving matroids; also, we prove that it has positive coefficients in many interesting cases, particularly the also large family of sparse paving matroids, and other smaller classes such as projective geometries, thagomizer matroids and other particular graphs. Our last contribution consists of providing explicit combinatorial interpretations for the coefficients of many of the polynomials addressed in this article by enumerating fillings in certain Young tableaux and skew Young tableaux.
 [13] arXiv:2110.08870 [pdf, ps, other]

Title: Gallai's path decomposition in planar graphsSubjects: Combinatorics (math.CO)
In 1968, Gallai conjectured that the edges of any connected graph with $n$ vertices can be partitioned into $\lceil \frac{n}{2} \rceil$ paths. We show that this conjecture is true for every planar graph. More precisely, we show that every connected planar graph except $K_3$ and $K_5^$ ($K_5$ minus one edge) can be decomposed into $\lfloor \frac{n}{2} \rfloor$ paths.
 [14] arXiv:2110.08876 [pdf, other]

Title: Multitrees in random graphsSubjects: Combinatorics (math.CO)
Let $N=\binom{n}{2}$ and $s\geq 2$. Let $e_{i,j},\,i=1,2,\ldots,N,\,j=1,2,\ldots,s$ be $s$ independent permutations of the edges $E(K_n)$ of the complete graph $K_n$. A {\em MultiTree} is a set $I\subseteq [N]$ such that the edge sets $E_{I,j}$ induce spanning trees for $j=1,2,\ldots,s$. In this paper we study the following question: what is the smallest $m=m(n)$ such that w.h.p. $[m]$ contains a MultiTree. We prove a hitting time result for $s=2$ and an $O(n\log n)$ bound for $s\geq 3$.
 [15] arXiv:2110.08938 [pdf, ps, other]

Title: 2limited broadcast domination on grid graphsSubjects: Combinatorics (math.CO)
We establish upper and lower bounds for the 2limited broadcast domination number of various grid graphs, in particular the Cartesian product of two paths, a path and a cycle, and two cycles. The upper bounds are derived by explicit constructions. The lower bounds are obtained via linear programming duality by finding lower bounds for the fractional 2limited multipacking numbers of these graphs.
 [16] arXiv:2110.08943 [pdf, ps, other]

Title: A method for proving lower bounds for the 2limited broadcast domination number on grid graphsSubjects: Combinatorics (math.CO)
We establish lower bounds for the 2limited broadcast domination number of various grid graphs, in particular the Cartesian product of two paths, a path and a cycle, and two cycles. Our lower bounds are derived by computational techniques. Some of the lower bounds are periodically best possible, and yield exact values.
 [17] arXiv:2110.08953 [pdf, ps, other]

Title: Enumerating threshold graphs and some related graph classesSubjects: Combinatorics (math.CO)
We give combinatorial proofs of some enumeration formulas involving labelled threshold, quasithreshold, loopthreshold and quasiloopthreshold graphs. In each case we count by number of vertices and number of components. For threshold graphs, we also count by number of dominating vertices, and for loopthreshold graphs we count by number of looped dominating vertices.
 [18] arXiv:2110.08972 [pdf, ps, other]

Title: ErdősKoRado results for the general linear group, the special linear group and the affine general linear groupComments: 28 pagesSubjects: Combinatorics (math.CO)
In this paper, we show that both the general linear group $\gl{q}$ and the special linear group $\slg{q}$ have both the EKR property and the EKRmodule property. This is done using an algebraic method; a weighted adjacency matrix for the derangement graph for the group is found and Hoffman's ratio bound is applied to this matrix. We also consider the group $\agl{q}$ and the 2intersecting sets in $\PGL(2,q)$.
 [19] arXiv:2110.09003 [pdf, ps, other]

Title: Application of some techniques in Sperner Theory: Optimal orientations of vertexmultiplications of trees with diameter 4Comments: 79 pagesSubjects: Combinatorics (math.CO)
Koh and Tay proved a fundamental classification of $G$ vertexmultiplications into three classes $\mathscr{C}_0, \mathscr{C}_1$ and $\mathscr{C}_2$. They also showed that any vertexmultiplication of a tree with diameter at least 3 does not belong to the class $\mathscr{C}_2$. Of interest, $G$ vertexmultiplications are extensions of complete $n$partite graphs and Gutin characterised complete bipartite graphs with an ingenious use of Sperner's Theorem. In this paper, we investigate vertexmultiplications of trees with diameter $4$ in $\mathscr{C}_0$ (or $\mathscr{C}_1$) and exhibit its intricate connections with problems in Sperner Theory, thereby extending Gutin's approach. Let $s$ denote the vertexmultiplication of the central vertex. We almost completely characterise the case of even $s$ and give a complete characterisation for the case of odd $s\ge 3$.
 [20] arXiv:2110.09034 [pdf, other]

Title: On the construction of cospectral nonisomorphic bipartite graphsComments: 13 pagesSubjects: Combinatorics (math.CO)
In this article, we construct bipartite graphs which are cospectral for both the adjacency and normalized Laplacian matrices using partitioned tensor product. This extends the construction of Ji, Gong, and Wang \cite{jigongwang}. Our proof of the cospectrality of adjacency matrices simplifies the proof of the bipartite case of Godsil and McKay's construction \cite{godsilmckay1976}, and shows that the corresponding normalized Laplacian matrices are also cospectral. We partially characterize the isomorphism in Godsil and McKay's construction, and generalize Ji et al.'s characterization of the isomorphism to biregular bipartite graphs. The essential idea in characterizing the isomorphism uses Hammack's cancellation law as opposed to Hall's marriage theorem used by Ji et al.
 [21] arXiv:2110.09053 [pdf, ps, other]

Title: Difference sets in $\mathbb{R}^d$Comments: 15 pagesSubjects: Combinatorics (math.CO); Number Theory (math.NT)
Let $d \geq 2$ be a natural number. We show that $$AA \geq \left(2d2 + \frac{1}{d1}\right)A(2d^24d+3)$$ for any sufficiently large finite subset $A$ of $\mathbb{R}^d$ that is not contained in a translate of a hyperplane. By a construction of Stanchescu, this is best possible and thus resolves an old question first raised by Uhrin.
 [22] arXiv:2110.09055 [pdf, ps, other]

Title: On the Largest intersecting set in the general linear group and its subgroupsAuthors: Milad AhanjidehSubjects: Combinatorics (math.CO)
Let $q$ be a power of a prime number and $V$ be the $2$dimensional column vector space over a finite field $\mathbb{F}_{q}$. Assume that $SL_2(V)<G\leq GL_2(V)$. In this paper we prove an Erd{\H{o}}sKoRado theorem for intersecting sets of G. We show that every maximum intersecting set of $G$ is either a coset of the stabilizer of a point or a coset of $H_{\langle w\rangle}$, where $H_{\langle w\rangle}=\{M\in G:\forall v\in V, Mvv\in \langle w\rangle\}.$ Also we get the HiltonMilner type result for $G$, i.e. we obtain a bound on the size of the largest intersecting set of $G$ that is neither a coset of the stabilizer of a point nor a coset of $H_{\langle w\rangle}$.
 [23] arXiv:2110.09190 [pdf, ps, other]

Title: Secure domination number of $k$subdivision of graphsAuthors: Nima GhanbariComments: 10 Pages, 8 FiguresSubjects: Combinatorics (math.CO)
Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $D\subseteq V$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The cardinality of a smallest dominating set of $G$, denoted by $\gamma(G)$, is the domination number of $G$. A dominating set $D$ is called a secure dominating set of $G$, if for every $u\in VD$, there exists a vertex $v\in D$ such that $uv \in E$ and $D\{v\}\cup\{u\}$ is a dominating set of $G$. The cardinality of a smallest secure dominating set of $G$, denoted by $\gamma_s(G)$, is the secure domination number of $G$. For any $k \in \mathbb{N}$, the $k$subdivision of $G$ is a simple graph $G^{\frac{1}{k}}$ which is constructed by replacing each edge of $G$ with a path of length $k$. In this paper, we study the secure domination number of $k$subdivision of $G$.
 [24] arXiv:2110.09200 [pdf, ps, other]

Title: All Graphs with a Failed Zero Forcing Number of TwoSubjects: Combinatorics (math.CO)
Given a graph $G$, the zeroforcing number of $G$, $Z(G)$, is the smallest cardinality of any set $S$ of vertices on which repeated applications of the forcing rule results in all vertices being in $S$. The forcing rule is: if a vertex $v$ is in $S$, and exactly one neighbor $u$ of $v$ is not in $S$, then $u$ is added to $S$ in the next iteration. Zeroforcing numbers have attracted great interest over the past 15 years and have been well studied. In this paper we investigate the largest size of a set $S$ that does not force all of the vertices in a graph to be in $S$. This quantity is known as the failed zeroforcing number of a graphs and will be denoted by $F(G)$, and has received attention in recent years. We present new results involving this parameter. In particular, we completely characterize all graphs $G$ where $F(G)=2$, solving a problem posed in 2015 by Fetcie, Jacob, and Saavedra.
 [25] arXiv:2110.09285 [pdf, ps, other]

Title: Nonstandard proof of combined sum and product structure in IP$^{*}$ setsAuthors: Sayan GoswamiSubjects: Combinatorics (math.CO)
V. Bergelson and N. Hindman proved that $IP^{*}$ sets contain all possible finite sum and product of a sum subsystem of any sequence in $\mathbb{N}$. In this article, we will prove this result using Nonstandard analysis.
 [26] arXiv:2110.09322 [pdf, ps, other]

Title: Inscribed TverbergType Partitions for Orbit PolytopesComments: 14 pagesSubjects: Combinatorics (math.CO); Representation Theory (math.RT)
Tverberg's theorem states that any set of $T(r,d)=(r1)(d+1)+1$ points in $\mathbb{R}^d$ can be partitioned into $r$ subsets whose convex hulls have nonempty $r$fold intersection. Moreover, any generic collection of fewer points cannot be so divided. Extending earlier work of the first author, we show that in many such circumstances one can still guarantee inscribed ``polytopal partitions" with specified symmetry conditions. Namely, for any faithful and fulldimensional $d$dimensional orthogonal $G$representation of a given group $G$ of order $r$, we show that a generic set of $T(r,d)d$ points in $\mathbb{R}^d$ can be partitioned into $r$ subsets so that there are $r$ points, one from each of the resulting convex hulls, which are the vertices of a convex $d$polytope whose isometry group contains $G$ via a free and transitive action afforded by the representation. As with Tverberg's theorem, the number of points is tight for this. At one extreme, this gives polytopal partitions for all regular $r$gons in the plane as well as for three of the six regular 4polytopes in $\mathbb{R}^4$. On the other hand, one has polytopal partitions for $d$polytopes on $r$ vertices with isometry group equal to $G$ whenever $G$ is the isometry group of a vertextransitive $d$polytope.
 [27] arXiv:2110.09330 [pdf, ps, other]

Title: A modular equality for CameronLiebler line classes in projective and affine spaces of odd dimensionSubjects: Combinatorics (math.CO)
In this article we study CameronLiebler line classes in PG$(n,q)$ and AG$(n,q)$, objects also known as boolean degree one functions. A CameronLiebler line class $\mathcal{L}$ is known to have a parameter $x$ that depends on the size of $\mathcal{L}$. One of the main questions on CameronLiebler line classes is the (non)existence of these sets for certain parameters $x$. In particularly it is proven in [12] for $n=3$, that the parameter $x$ should satisfy a modular equality. This equality excludes about half of the possible parameters. We generalize this result to a modular equality for CameronLiebler line classes in PG$(n,q)$, and AG$(n,q)$ respectively. Since it is known that a CameronLiebler line class in AG$(n,q)$ is also a CameronLiebler line class in its projective closure, we end this paper with proving that the modular equality in AG$(n,q)$ is a stronger condition than the condition for the projective case.
 [28] arXiv:2110.09346 [pdf, other]

Title: Planar Median Graphs and CubesquareGraphsSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
Median graphs are connected graphs in which for all three vertices there is a unique vertex that belongs to shortest paths between each pair of these three vertices. In this paper we provide several novel characterizations of planar median graphs. More specifically, we characterize when a planar graph $G$ is a median graph in terms of forbidden subgraphs and the structure of isometric cycles in $G$, and also in terms of subgraphs of $G$ that are contained inside and outside of 4cycles with respect to an arbitrary planar embedding of $G$. These results lead us to a new characterization of planar median graphs in terms of cubesquaregraphs that is, graphs that can be obtained by starting with cubes and square graphs, and iteratively replacing 4cycle boundaries (relative to some embedding) by cubes or squaregraphs. As a corollary we also show that a graph is planar median if and only if it can be obtained from cubes and squaregraphs by a sequence of ``squareboundary'' amalgamations. These considerations also lead to an $\mathcal{O}(n\log n)$time recognition algorithm to compute a decomposition of a planar median graph with $n$ vertices into cubes and squaregraphs.
 [29] arXiv:2110.09373 [pdf, other]

Title: Towards a hypergraph version of the PósaSeymour conjectureComments: 22 pagesSubjects: Combinatorics (math.CO)
We prove that for fixed $r\ge k\ge 2$, every $k$uniform hypergraph on $n$ vertices having minimum codegree at least $(1(\binom{r1}{k1}+\binom{r2}{k2})^{1})n+o(n)$ contains the $(rk+1)$th power of a tight Hamilton cycle. This result may be seen as a step towards a hypergraph version of the P\'osaSeymour conjecture.
Moreover, we prove that the same bound on the codegree suffices for finding a copy of every spanning hypergraph of treewidth less than $r$ which admits a tree decomposition where every vertex is in a bounded number of bags.  [30] arXiv:2110.09403 [pdf, ps, other]

Title: Improved lower bound for the list chromatic number of graphs with no $K_t$ minorAuthors: Raphael SteinerComments: 6 pagesSubjects: Combinatorics (math.CO)
Hadwiger's conjecture asserts that every graph without a $K_t$minor is $(t1)$colorable. It is known that the exact version of Hadwiger's conjecture does not extend to list coloring, but it has been conjectured by Kawarabayashi and Mohar (2007) that there exists a constant $c$ such that every graph with no $K_t$minor has list chromatic number at most $ct$. More specifically, they also conjectured that this holds for $c=\frac{3}{2}$.
Refuting the latter conjecture, we show that the maximum list chromatic number of graphs with no $K_t$minor is at least $(2o(1))t$, and hence $c \ge 2$ in the above conjecture is necessary. This improves the previous best lower bound by Bar\'{a}t, Joret and Wood (2011), who proved that $c \ge \frac{4}{3}$. Our lowerbound examples are obtained via the probabilistic method.  [31] arXiv:2110.09404 [pdf, ps, other]

Title: An improved condition for a graph to be determined by its generalized spectrumComments: 14 pagesSubjects: Combinatorics (math.CO)
A fundamental and challenging problem in spectral graph theory is to characterize which graphs are uniquely determined by their spectra. In Wang [J. Combin. Theory, Ser. B, 122 (2017): 438451], the author proved that an $n$vertex graph $G$ is uniquely determined by its generalized spectrum (DGS) whenever $2^{\lfloor\frac{n}{2}\rfloor}\det W$ is odd and squarefree. Here, $W$ is the walk matrix of $G$, namely, $W=[e,Ae,\ldots,A^{n1}e]$ with $e$ allone vector and $A$ the adjacency matrix of $G$. In this paper, we focus on a larger family of graphs with $d_n$ squarefree, where $d_n$ refers to the last invariant factor of $W$. We introduce a new kind of polynomials for a graph $G$ associated with a prime $p$. Such a polynomial is invariant under generalized cospectrality. Using the newly defined polynomials, we obtain a sufficient condition for a graph in the larger family to be DGS. The main result of this paper improves upon the aforementioned result of Wang while the proof for the main result gives a new way to attack the problem of generalized spectral characterization of graphs.
Crosslists for Tue, 19 Oct 21
 [32] arXiv:2110.08409 (crosslist from math.LO) [pdf, other]

Title: Exact big Ramsey degrees via coding treesAuthors: Martin Balko, David Chodounský, Natasha Dobrinen, Jan Hubička, Matěj Koněcný, Lluis Vena, Andy ZuckerComments: Preliminary version, comments are welcomeSubjects: Logic (math.LO); Combinatorics (math.CO)
We characterize the big Ramsey degrees of free amalgamation classes in finite binary languages defined by finitely many forbidden irreducible substructures, thus refining the recent upper bounds given by Zucker. Using this characterization, we show that the Fra\"iss\'e limit of each such class admits a big Ramsey structure. Consequently, the automorphism group of each such Fra\"iss\'e limit has a metrizable universal completion flow.
 [33] arXiv:2110.08548 (crosslist from math.AG) [pdf, other]

Title: Totally nonnegative critical varietiesAuthors: Pavel GalashinComments: 29 pages, 10 figuresSubjects: Algebraic Geometry (math.AG); Mathematical Physics (mathph); Combinatorics (math.CO)
We study totally nonnegative parts of critical varieties in the Grassmannian. We show that each totally nonnegative critical variety Crit$^{\ge0}_f$ is the image of an affine poset cyclohedron under a continuous map and use this map to define a boundary stratification of Crit$^{\ge0}_f$. For the case of the topdimensional positroid cell, we show that the totally nonnegative critical variety Crit$^{\ge0}_{k,n}$ is homeomorphic to the second hypersimplex $\Delta_{2,n}$.
 [34] arXiv:2110.08780 (crosslist from math.QA) [pdf, other]

Title: Quadratic heptagon cohomologyAuthors: Igor G. KorepanovComments: 15 pages, 2 figuresSubjects: Quantum Algebra (math.QA); Mathematical Physics (mathph); Combinatorics (math.CO)
A cohomology theory is proposed for the recently discovered heptagon relation  an algebraic imitation of a 5dimensional Pachner move 43. In particular, `quadratic cohomology' is introduced, and it is shown that it is quite nontrivial, and even more so if compare heptagon with either its higher analogues, such as enneagon or hendecagon, or its lower analogue, pentagon. Explicit expressions for the nontrivial quadratic heptagon cocycles are found in dimensions 4 and 5.
 [35] arXiv:2110.08808 (crosslist from math.QA) [pdf, ps, other]

Title: Difference operators for wreath Macdonald polynomialsSubjects: Quantum Algebra (math.QA); Combinatorics (math.CO)
We give explicit $q$difference operators acting diagonally on wreath Macdonald $P$polynomials in finitely many variables.
 [36] arXiv:2110.08898 (crosslist from cs.DM) [pdf, ps, other]

Title: Spy game: FPTalgorithm, hardness and graph productsComments: 17 pages, 9 figuresSubjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Combinatorics (math.CO)
In the $(s,d)$spy game over a graph $G$, $k$ guards and one spy occupy some vertices of $G$ and, at each turn, the spy may move with speed $s$ (along at most $s$ edges) and each guard may move along one edge. The spy and the guards may occupy the same vertices. The spy wins if she reaches a vertex at distance more than the surveilling distance $d$ from every guard. This game was introduced by Cohen et al. in 2016 and is related to two wellstudied games: Cops and robber game and Eternal Dominating game. The guard number $gn_{s,d}(G)$ is the minimum number of guards such that the guards have a winning strategy (of controlling the spy) in the graph $G$. In 2018, it was proved that deciding if the spy has a winning strategy is NPhard for every speed $s\geq 2$ and distance $d\geq 0$. In this paper, we initiate the investigation of the guard number in grids and in graph products. We obtain a strict upper bound on the strong product of two general graphs and obtain examples with King grids that match this bound and other examples for which the guard number is smaller. We also obtain the exact value of the guard number in the lexicographical product of two general graphs for any distance $d\geq 2$. From the algorithmic point of view, we prove a positive result: if the number $k$ of guards is fixed, the spy game is solvable in polynomial XP time $O(n^{3k+2})$ for every speed $s\geq 2$ and distance $d\geq 0$. In other words, the spy game is XP when parameterized by the number of guards. This XP algorithm is used to obtain an FPT algorithm on the $P_4$fewness of the graph. As a negative result, we prove that the spy game is W[2]hard even in bipartite graphs when parameterized by the number of guards, for every speed $s\geq 2$ and distance $d\geq 0$, extending the hardness result of Cohen et al. in 2018.
 [37] arXiv:2110.08950 (crosslist from math.OC) [pdf, ps, other]

Title: A Sum of Squares Characterization of Perfect GraphsSubjects: Optimization and Control (math.OC); Algebraic Geometry (math.AG); Combinatorics (math.CO)
We present an algebraic characterization of perfect graphs, i.e., graphs for which the clique number and the chromatic number coincide for every induced subgraph. We show that a graph is perfect if and only if certain nonnegative polynomials associated with the graph are sums of squares. As a byproduct, we obtain several infinite families of nonnegative polynomials that are not sums of squares through graphtheoretic constructions. We also characterize graphs for which the associated polynomials belong to certain structured subsets of sum of squares polynomials. Finally, we reformulate some wellknown results from the theory of perfect graphs as statements about sum of squares proofs of nonnegativity of certain polynomials.
 [38] arXiv:2110.08961 (crosslist from cs.DS) [pdf, ps, other]

Title: Algorithms Using Local Graph Features to Predict EpidemicsSubjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO); Probability (math.PR)
We study a simple model of epidemics where an infected node transmits the infection to its neighbors independently with probability $p$. This is also known as the independent cascade or SusceptibleInfectedRecovered (SIR) model with fixed recovery time. The size of an outbreak in this model is closely related to that of the giant connected component in ``edge percolation'', where each edge of the graph is kept independently with probability $p$, studied for a large class of networks including configuration model \cite{molloy2011critical} and preferential attachment \cite{bollobas2003,Riordan2005}. Even though these models capture the effects of degree inhomogeneity and the role of superspreaders in the spread of an epidemic, they only consider graphs that are locally tree like i.e. have a few or no short cycles. Some generalizations of the configuration model were suggested to capture local communities, known as household models \cite{ball2009threshold}, or hierarchical configuration model \cite{Hofstad2015hierarchical}.
Here, we ask a different question: what information is needed for general networks to predict the size of an outbreak? Is it possible to make predictions by accessing the distribution of small subgraphs (or motifs)? We answer the question in the affirmative for largeset expanders with local weak limits (also known as BenjaminiSchramm limits). In particular, we show that there is an algorithm which gives a $(1\epsilon)$ approximation of the probability and the final size of an outbreak by accessing a constantsize neighborhood of a constant number of nodes chosen uniformly at random. We also present corollaries of the theorem for the preferential attachment model, and study generalizations with household (or motif) structure. The latter was only known for the configuration model.  [39] arXiv:2110.09068 (crosslist from cs.DM) [pdf, ps, other]

Title: Approximate Sampling and Counting of Graphs with NearRegular Degree IntervalsSubjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
The approximate uniform sampling of graphs with a given degree sequence is a wellknown, extensively studied problem in theoretical computer science and has significant applications, e.g., in the analysis of social networks. In this work we study an extension of the problem, where degree intervals are specified rather than a single degree sequence. We are interested in sampling and counting graphs whose degree sequences satisfy the degree interval constraints. A natural scenario where this problem arises is in hypothesis testing on social networks that are only partially observed.
In this work, we provide the first fully polynomial almost uniform sampler (FPAUS) as well as the first fully polynomial randomized approximation scheme (FPRAS) for sampling and counting, respectively, graphs with nearregular degree intervals, in which every node $i$ has a degree from an interval not too far away from a given $d \in \N$. In order to design our FPAUS, we rely on various stateoftheart tools from Markov chain theory and combinatorics. In particular, we provide the first nontrivial algorithmic application of a breakthrough result of Liebenau and Wormald (2017) regarding an asymptotic formula for the number of graphs with a given nearregular degree sequence. Furthermore, we also make use of the recent breakthrough of Anari et al. (2019) on sampling a base of a matroid under a strongly logconcave probability distribution.
As a more direct approach, we also study a natural Markov chain recently introduced by Rechner, Strowick and M\"ullerHannemann (2018), based on three simple local operations: Switches, hinge flips, and additions/deletions of a single edge. We obtain the first theoretical results for this Markov chain by showing it is rapidly mixing for the case of nearregular degree intervals of size at most one.  [40] arXiv:2110.09411 (crosslist from math.CA) [pdf, ps, other]

Title: Parametric kinds of generalized ApostolBernoulli polynomials and their propertiesComments: 16 pagesSubjects: Classical Analysis and ODEs (math.CA); Combinatorics (math.CO)
In the paper, the authors introduce parametric kinds of the generalized ApostolBernoulli polynomials and their generating functions, investigate some properties and relations for these polynomials, and present some relations with other special polynomials.
Replacements for Tue, 19 Oct 21
 [41] arXiv:1709.05753 (replaced) [pdf, other]

Title: A Family of Partially Ordered Sets with Small Balance ConstantAuthors: Evan ChenComments: 11 pages, 4 figures. Latest version fixed a small typo reported by A Gudibanda in July 2017, and is otherwise unchangedSubjects: Combinatorics (math.CO)
 [42] arXiv:2001.00905 (replaced) [pdf, ps, other]

Title: Convergence and limits of finite treesComments: 27 pages, no figuresSubjects: Combinatorics (math.CO)
 [43] arXiv:2007.08057 (replaced) [pdf, ps, other]

Title: A Tight Approximation Algorithm for the Cluster Vertex Deletion ProblemComments: 23 pages, 3 figuresSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
 [44] arXiv:2010.01481 (replaced) [pdf, other]

Title: Counting Hypergraphs with Large GirthComments: Extended Theorem 1.3 to all r and corrected various minor errors and typos. To appear in Journal of Graph TheorySubjects: Combinatorics (math.CO)
 [45] arXiv:2011.07097 (replaced) [pdf, ps, other]

Title: Some remarks on hypergraph matching and the FürediKahnSeymour conjectureSubjects: Combinatorics (math.CO); Data Structures and Algorithms (cs.DS)
 [46] arXiv:2011.10939 (replaced) [pdf, ps, other]

Title: The Betti Number of the Independence Complex of Ternary GraphsSubjects: Combinatorics (math.CO); Algebraic Topology (math.AT)
 [47] arXiv:2101.02541 (replaced) [pdf, ps, other]

Title: Hamiltonicity of doubly semiequivelar maps on the torusComments: 19. arXiv admin note: text overlap with arXiv:2005.00332Subjects: Combinatorics (math.CO); Geometric Topology (math.GT)
 [48] arXiv:2101.03116 (replaced) [pdf, ps, other]

Title: Legendre pairs of lengths $\ell \equiv 0$ (mod $3$)Journalref: Journal of Combinatorial Designs 29(12):870887, 2021Subjects: Combinatorics (math.CO)
 [49] arXiv:2102.04367 (replaced) [pdf, ps, other]

Title: Extremal problems of Erdős, Faudree, Schelp and Simonovits on paths and cyclesComments: 13 pagesSubjects: Combinatorics (math.CO)
 [50] arXiv:2103.07325 (replaced) [pdf, ps, other]

Title: The giant component after percolation of product graphsAuthors: Lyuben LichevComments: 15 pagesSubjects: Combinatorics (math.CO); Probability (math.PR)
 [51] arXiv:2103.11550 (replaced) [pdf, other]

Title: A tight lower bound on the matching number of graphs via Laplacian eigenvaluesComments: The first manuscript was done in May 2020, and the current manuscript was accepted by European Journal of Combinatorics in October 2021Subjects: Combinatorics (math.CO)
 [52] arXiv:2106.06466 (replaced) [pdf, ps, other]

Title: Saturation Numbers for Linear Forests $P_6$ + $tP_2$Authors: Jingru YanComments: 11 pages, 1 figureSubjects: Combinatorics (math.CO)
 [53] arXiv:2109.01154 (replaced) [pdf, other]

Title: Partitioning the projective plane and the dunce hatAuthors: Andrés D. SantamaríaGalvisSubjects: Combinatorics (math.CO)
 [54] arXiv:2109.09773 (replaced) [pdf, ps, other]

Title: A note on fully commutative elements in complex reflection groupsAuthors: Jiayuan WangComments: v1:14 pages, 7 tables. v2: 16 pages, 8 tables. Added reference of prior work and preliminary data in Shephard groupsSubjects: Combinatorics (math.CO)
 [55] arXiv:2109.13376 (replaced) [pdf, other]

Title: Counting colorings of trianglefree graphsComments: 16 ppSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
 [56] arXiv:2110.01838 (replaced) [pdf, ps, other]

Title: Variants of the Domination Number for Flower SnarksComments: 24 pages, 17 figuresSubjects: Combinatorics (math.CO)
 [57] arXiv:1907.10139 (replaced) [pdf, other]

Title: An aperiodic tile with edgetoedge orientational matching rulesComments: To appear in J. Inst. Math. Jussieu (open access)Subjects: Metric Geometry (math.MG); Combinatorics (math.CO); Dynamical Systems (math.DS)
 [58] arXiv:2005.03282 (replaced) [pdf, ps, other]

Title: On the Perron root and eigenvectors associated with a subshift of finite typeComments: Python code addedSubjects: Dynamical Systems (math.DS); Combinatorics (math.CO)
 [59] arXiv:2005.11419 (replaced) [pdf, other]

Title: Cluster Configuration Spaces of Finite TypeJournalref: SIGMA 17 (2021), 092, 41 pagesSubjects: Algebraic Geometry (math.AG); High Energy Physics  Theory (hepth); Combinatorics (math.CO)
 [60] arXiv:2102.11269 (replaced) [pdf, other]

Title: Quantum loop groups and shuffle algebras via Lyndon wordsSubjects: Representation Theory (math.RT); Combinatorics (math.CO); Quantum Algebra (math.QA)
 [61] arXiv:2108.01925 (replaced) [pdf, ps, other]

Title: On support $τ$tilting graphs of gentle algebrasComments: 21 pages. v2: reference added, comments are welcome. v3: fix some typos, reference added, Remark 3.5 is added to discuss the converse of Prop. 3.4Subjects: Representation Theory (math.RT); Combinatorics (math.CO); Rings and Algebras (math.RA)
 [62] arXiv:2110.06054 (replaced) [pdf, ps, other]

Title: Nonvariational eigenvalues of graph $p$LaplaciansAuthors: Dong ZhangSubjects: Spectral Theory (math.SP); Analysis of PDEs (math.AP); 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, 2110, contact, help (Access key information)