Combinatorics
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Tue, 25 Jan 22
 [1] arXiv:2201.08908 [pdf, other]

Title: The 334Triangle Graph of $SL_3({\mathbb Z})$Comments: 9 pages, 3 figuresSubjects: Combinatorics (math.CO); Group Theory (math.GR)
Long, Reid, and Thistlewaite have shown that some groups generated by representations of the $\Delta 334$ triangle group in $SL_3({\mathbb Z})$ are thin, while the status of others is unknown. In this paper we take a new approach: for each group we introduce a new graph that captures information about representations of $\Delta 334$ in the group. We provide examples of our graph for a variety of groups, and we use information about the graph for $SL_3({\mathbb Z}/2{\mathbb Z})$ to show that the chromatic number of the graph for $SL_3({\mathbb Z})$ is at most eight. By generating a portion of the graph for $SL_3({\mathbb Z})$ we show its chromatic number is at least four; we conjecture it is equal to four.
 [2] arXiv:2201.09074 [pdf, ps, other]

Title: Product of some large sets near idempotentSubjects: Combinatorics (math.CO)
We characterize when the finite Cartesian product of central sets near idempotent is central near idempotent. Moreover, we provide a partial characterization for the infinite Cartesian product of the same. Then, we study the abundance of some large sets near idempotent. Also, we investigate the effect of tensor product near idempotent. Finally, as an application we provide the polynomial extension of MillikenTaylor theorem near zero.
 [3] arXiv:2201.09093 [pdf, other]

Title: Strong subgraph 2arcconnectivity of Cartesian product of digraphsComments: arXiv admin note: text overlap with arXiv:1805.01687Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
Let $D=(V,A)$ be a digraph of order $n$, $S$ a subset of $V$ of size $k$ and $2\le k\leq n$. A strong subgraph $H$ of $D$ is called an $S$strong subgraph if $S\subseteq V(H)$. A pair of $S$strong subgraphs $D_1$ and $D_2$ are said to be arcdisjoint if $A(D_1)\cap A(D_2)=\emptyset$. Let $\lambda_S(D)$ be the maximum number of arcdisjoint $S$strong subgraphs in $D$. The strong subgraph $k$arcconnectivity is defined as $$\lambda_k(D)=\min\{\lambda_S(D)\mid S\subseteq V(D), S=k\}.$$ The parameter $\lambda_k(D)$ could be seen as a generalization of classical edgeconnectivity of undirected graphs.
In this paper, we study the strong subgraph 2arcconnectivity of Cartesian product $\lambda_2(G\Box H)$ of two digraphs $G$ and $H$. We prove that $\lambda_2(G\Box H)\ge \lambda_2(G)+\lambda_2(H)1$ but there is no linear upper bound for $\lambda_2(G\Box H)$ in terms of $\lambda_2(G)$ and $\lambda_2(H).$ We also obtain exact values for $\lambda_2(G\Box H)$, where $G$ and $H$ are digraphs from some digraph families.  [4] arXiv:2201.09100 [pdf, other]

Title: On the existence of "Spot It!" decks that are not projective planesComments: 15 pages, 6 figuresSubjects: Combinatorics (math.CO); History and Overview (math.HO)
The game "Spot It!" is played with a deck of cards in which every pair of cards has exactly one matching symbol and the aim is to be the fastest at finding the match. It is known that finite projective planes correspond to decks in which every card contains $n$ symbols and every symbol appears on $n$ cards. In this paper we relax the hypothesis on the number of cards on which a symbol appears: we study symmetric decks in which every symbol appears the same number of times and we introduce the concept of maximal deck, providing a sufficient condition for a deck to have this property. We also produce various examples of interesting decks which do not correspond to projective planes.
 [5] arXiv:2201.09111 [pdf, ps, other]

Title: Counting Power Domination Sets in Complete mary TreesSubjects: Combinatorics (math.CO)
Motivated by the question of computing the probability of successful power domination by placing k monitors uniformly at random, in this paper we give a recursive formula to count the number of power domination sets of size k in a labeled complete mary tree. As a corollary we show that the desired probability can be computed in exponential with linear exponent time.
 [6] arXiv:2201.09115 [pdf, ps, other]

Title: Disproof of a Conjecture by WoodallAuthors: Raphael SteinerComments: 8 pages. arXiv admin note: text overlap with arXiv:2110.09403Subjects: Combinatorics (math.CO)
In 2001, Woodall conjectured that for every pair of integers $s,t \ge 1$, all graphs without a $K_{s,t}$minor are $(s+t1)$choosable. In this note we refute this conjecture in a strong form: We prove that for every choice of constants $\varepsilon>0$ and $C \ge 1$ there exists $N=N(\varepsilon,C) \in \mathbb{N}$ such that for all integers $s,t $ with $N \le s \le t \le Cs$ there exists a graph without a $K_{s,t}$minor and list chromatic number greater than $(1\varepsilon)(2s+t)$.
 [7] arXiv:2201.09171 [pdf, other]

Title: Balanced and SwapRobust Trades for Dynamical Distributed StorageComments: 6 pagesSubjects: Combinatorics (math.CO); Information Theory (cs.IT)
Trades, introduced by Hedayat, are two sets of blocks of elements which may be exchanged (traded) without altering the counts of certain subcollections of elements within their constituent blocks. They are of importance in applications where certain combinations of elements dynamically become prohibited from being placed in the same group of elements, since in this case one can trade the offending blocks with allowed ones. This is particularly the case in distributed storage systems, where due to privacy and other constraints, data of some groups of users cannot be stored together on the same server. We introduce a new class of balanced trades, important for access balancing of servers, and perturbation resilient balanced trades, important for studying the stability of server access frequencies with respect to changes in data popularity. The constructions and bounds on our new trade schemes rely on specialized selections of defining sets in minimal trades and numbertheoretic analyses.
 [8] arXiv:2201.09231 [pdf, ps, other]

Title: Some statistics on generalized Motzkin paths with vertical stepsComments: 37 pages, 3 figuresSubjects: Combinatorics (math.CO)
Recently, several authors have considered lattice paths with various steps, including vertical steps permitted. In this paper, we consider a kind of generalized Motzkin paths, called {\it GMotzkin paths} for short, that is lattice paths from $(0, 0)$ to $(n, 0)$ in the first quadrant of the $XOY$plane that consist of up steps $\mathbf{u}=(1, 1)$, down steps $\mathbf{d}=(1, 1)$, horizontal steps $\mathbf{h}=(1, 0)$ and vertical steps $\mathbf{v}=(0, 1)$. We mainly count the number of GMotzkin paths of length $n$ with given number of $\mathbf{z}$steps for $\mathbf{z}\in \{\mathbf{u}, \mathbf{h}, \mathbf{v}, \mathbf{d}\}$, and enumerate the statistics "number of $\mathbf{z}$steps" at given level in GMotzkin paths for $\mathbf{z}\in \{\mathbf{u}, \mathbf{h}, \mathbf{v}, \mathbf{d}\}$, some explicit formulas and combinatorial identities are given by bijective and algebraic methods, some enumerative results are linked with Riordan arrays according to the structure decompositions of GMotzkin paths. We also discuss the statistics "number of $\mathbf{z}_1\mathbf{z}_2$steps" in GMotzkin paths for $\mathbf{z}_1, \mathbf{z}_2\in \{\mathbf{u}, \mathbf{h}, \mathbf{v}, \mathbf{d}\}$, the exact counting formulas except for $\mathbf{z}_1\mathbf{z}_2=\mathbf{dd}$ are obtained by the Lagrange inversion formula and their generating functions.
 [9] arXiv:2201.09236 [pdf, ps, other]

Title: The $\mathbf{uvu}$avoiding $(a,b,c)$Generalized Motzkin paths with vertical steps: bijections and statistic enumerationsComments: 18 pages, 4 figuresSubjects: Combinatorics (math.CO)
A generalized Motzkin path, called GMotzkin path for short, of length $n$ is a lattice path from $(0, 0)$ to $(n, 0)$ in the first quadrant of the XOYplane that consists of up steps $\mathbf{u}=(1, 1)$, down steps $\mathbf{d}=(1, 1)$, horizontal steps $\mathbf{h}=(1, 0)$ and vertical steps $\mathbf{v}=(0, 1)$. An $(a,b,c)$GMotzkin path is a weighted GMotzkin path such that the $\mathbf{u}$steps, $\mathbf{h}$steps, $\mathbf{v}$steps and $\mathbf{d}$steps are weighted respectively by $1, a, b$ and $c$. In this paper, we first give bijections between the set of $\mathbf{uvu}$avoiding $(a,b,b^2)$GMotzkin paths of length $n$ and the set of $(a,b)$Schr\"{o}der paths as well as the set of $(a+b,b)$Dyck paths of length $2n$, between the set of $\{\mathbf{uvu, uu}\}$avoiding $(a,b,b^2)$GMotzkin paths of length $n$ and the set of $(a+b,ab)$Motzkin paths of length $n$, between the set of $\{\mathbf{uvu,uu}\}$avoiding $(a,b,b^2)$GMotzkin paths of length $n+1$ beginning with an $\mathbf{h}$step weighted by $a$ and the set of $(a,b)$Dyck paths of length $2n+2$. In the last section, we focus on the enumeration of statistics "number of $\mathbf{z}$steps" for $\mathbf{z}\in \{\mathbf{u}, \mathbf{h}, \mathbf{v}, \mathbf{d}\}$ and "number of points" at given level in $\mathbf{uvu}$avoiding GMotzkin paths. These counting results are linked with Riordan arrays.
 [10] arXiv:2201.09269 [pdf, ps, other]

Title: Proximity, remoteness and maximum degree in graphsComments: 20 pagesSubjects: Combinatorics (math.CO)
The average distance of a vertex $v$ of a connected graph $G$ is the arithmetic mean of the distances from $v$ to all other vertices of $G$. The proximity $\pi(G)$ and the remoteness $\rho(G)$ of $G$ are the minimum and the maximum of the average distances of the vertices of $G$, respectively.
In this paper, we give upper bounds on the remoteness and proximity for graphs of given order, minimum degree and maximum degree. Our bounds are sharp apart from an additive constant.  [11] arXiv:2201.09340 [pdf, other]

Title: Bounding generalized coloring numbers of planar graphs using coin modelsComments: 19 pages, 6 figuresSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
We study Koebe orderings of planar graphs: vertex orderings obtained by modelling the graph as the intersection graph of pairwise internallydisjoint discs in the plane, and ordering the vertices by nonincreasing radii of the associated discs. We prove that for every $d\in \mathbb{N}$, any such ordering has $d$admissibility bounded by $O(d/\ln d)$ and weak $d$coloring number bounded by $O(d^4 \ln d)$. This in particular shows that the $d$admissibility of planar graphs is bounded by $O(d/\ln d)$, which asymptotically matches a known lower bound due to Dvo\v{r}\'ak and Siebertz.
 [12] arXiv:2201.09365 [pdf, other]

Title: Homomorphisms Order of Paths and TreesComments: 6 pages, 1 figure. Extended abstract for Eurocomb 2021Journalref: In: Extended Abstracts EuroComb 2021. Trends in Mathematics, vol 14. Birkh\"auser, Cham (2021)Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
A partial order is universal if it contains every countable partial order as a suborder. In 2017, Fiala, Hubi\v{c}ka, Long and Ne\v{s}et\v{r}il showed that every interval in the homomorphism order of graphs is universal, with the only exception being the trivial gap $[K_1,K_2]$. We consider the homomorphism order restricted to the class of oriented paths and trees. We show that every interval between two oriented paths or oriented trees of height at least 4 is universal. The exceptional intervals coincide for oriented paths and trees and are contained in the class of oriented paths of height at most 3, which forms a chain.
 [13] arXiv:2201.09399 [pdf, other]

Title: Faulttolerant LocatingDominating Sets on the Infinite King GridComments: 21 pages, 20 figuresSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
Let $G$ be a graph of a network system with vertices, $V(G)$, representing physical locations and edges, $E(G)$, representing informational connectivity. A \emph{locatingdominating (LD)} set $S$ is a subset of vertices representing detectors capable of sensing an "intruder" at precisely their location or somewhere in their openneighborhood  an LD set must be capable of locating an intruder anywhere in the graph. We explore three types of faulttolerant LD sets: \emph{redundant LD} sets, which allow a detector to be removed, \emph{errordetecting LD} sets, which allow at most one false negative, and \emph{errorcorrecting LD} sets, which allow at most one error (false positive or negative). In particular, we determine lower and upper bounds for the minimum density of faulttolerant locatingdominating sets in the \emph{infinite king grid}; to prove the lower bounds, we introduce a new sharedischarging strategy.
 [14] arXiv:2201.09412 [pdf, other]

Title: Analytic torsion for graphsAuthors: Oliver KnillComments: 30 pages, 17 figuresSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
Analytic torsion is a functional on graphs which only needs linear algebra to be defined. In the continuum it corresponds to the RaySinger analytic torsion. We have formulas for analytic torsion if the graph is contractible or if it is a discrete sphere. A key insight is that analytic torsion is the super determinant of the Dirac operator of the graph.
 [15] arXiv:2201.09452 [pdf, other]

Title: On the support of Grothendieck polynomialsComments: 15 pages, 7 figuresSubjects: Combinatorics (math.CO)
Grothendieck polynomials $\mathfrak{G}_w$ of permutations $w\in S_n$ were introduced by Lascoux and Sch\"utzenberger in 1982 as a set of distinguished representatives for the Ktheoretic classes of Schubert cycles in the Ktheory of the flag variety of $\mathbb{C}^n$. We conjecture that the exponents of nonzero terms of the Grothendieck polynomial $\mathfrak{G}_w$ form a poset under componentwise comparison that is isomorphic to an induced subposet of $\mathbb{Z}^n$. When $w\in S_n$ avoids a certain set of patterns, we conjecturally connect the coefficients of $\mathfrak{G}_w$ with the M\"obius function values of the aforementioned poset with $\hat{0}$ appended. We prove special cases of our conjectures for Grassmannian and fireworks permutations.
 [16] arXiv:2201.09465 [pdf, ps, other]

Title: The crossing number of the complete 4partite graph $K_{1,1,m,n}$Comments: 22 pages, 11 figuresSubjects: Combinatorics (math.CO)
Let $\textrm{cr}(G)$ denote the crossing number of a graph $G$. The wellknown Zarankiewicz's conjecture (ZC) asserted $\textrm{cr}(K_{m,n})$ in 1954. In 1971, Harborth gave a conjecture (HC) on $\textrm{cr}(K_{x_1,...,x_n})$. HC on $K_{1,m,n}$ is verified if ZC is true by Ho et al. in 2021. In this paper, we showed the following results: If both $m$ and $n$ are even, then \[\textrm{cr}(K_{1,1,m,n})\geq \frac{1}{2}(\textrm{cr}(K_{m+1,n+3})+\textrm{cr}(K_{m+3,n+1})mn\frac{1}{4}(m^2+n^2));\] If both $m$ and $n$ are odd, then \[\textrm{cr}(K_{1,1,m,n})\geq \frac{1}{2}(\textrm{cr}(K_{1,m+1,n+1})+\textrm{cr}(K_{2,m,n})\frac{1}{4}(m+1)(n+1)+1);\] If $m$ is even and $n$ is odd, then \begin{equation}\nonumber \begin{split} \textrm{cr}(K_{1,1,m,n})&\geq \frac{1}{4}(\textrm{cr}(K_{m+1,n+2})+\textrm{cr}(K_{m+3,n+2})+2\textrm{cr}(K_{2,m,n}) \\&m(n+1)\frac{1}{4}(n+1)^2). \end{split} \end{equation} The lower bounds in our result imply that if both $m$ and $n$ are even and ZC is true, then HC on $K_{1,1,m,n}$ holds; if at least one of $m$ and $n$ is odd and both ZC and HC on $K_{2,m,n}$ are true, then HC on $K_{1,1,m,n}$ holds.
 [17] arXiv:2201.09556 [pdf, ps, other]

Title: Prefix palindromic length of the Sierpinski wordComments: Submitted to DLT 2022Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL)
The prefix palindromic length $p_{\mathbf{u}}(n)$ of an infinite word $\mathbf{u}$ is the minimal number of concatenated palindromes needed to express the prefix of length $n$ of $\mathbf{u}$. This function is surprisingly difficult to study; in particular, the conjecture that $p_{\mathbf{u}}(n)$ can be bounded only if $\mathbf{u}$ is ultimately periodic is open since 2013. A more recent conjecture concerns the prefix palindromic length of the period doubling word: it seems that it is not $2$regular, and if it is true, this would give a rare if not unique example of a nonregular function of a $2$automatic word.
For some other $k$automatic words, however, the prefix palindromic length is known to be $k$regular. Here we add to the list of those words the Sierpinski word $\mathbf{s}$ and give a complete description of $p_{\mathbf{s}}(n)$.  [18] arXiv:2201.09718 [pdf, ps, other]

Title: Highorder bootstrap percolation in hypergraphsSubjects: Combinatorics (math.CO)
Motivated by the bootstrap percolation process for graphs, we define a new, highorder generalisation to $k$uniform hypergraphs, in which we infect $j$sets of vertices for some integer $1\le j \le k1$. We investigate the smallest possible size of an initially infected set which ultimately percolates and determine the exact size in almost all cases of $k$ and $j$.
 [19] arXiv:2201.09727 [pdf, ps, other]

Title: On the intersection density of the symmetric group acting on uniform subsets of small sizeComments: 31 pagesSubjects: Combinatorics (math.CO)
Given a finite transitive group $G\leq \operatorname{Sym}(\Omega)$, a subset $\mathcal{F}$ of $G$ is \emph{intersecting} if any two elements of $\mathcal{F}$ agree on some element of $\Omega$. The \emph{intersection density} of $G$, denoted by $\rho(G)$, is the maximum of the rational number $\mathcal{F}\left(\frac{G}{\Omega}\right)^{1}$ when $\mathcal{F}$ runs through all intersecting sets in $G$. In this paper, we prove that if $G$ is the group $\operatorname{Sym}(n)$ or $\operatorname{Alt}(n)$ acting on the $k$subsets of $\{1,2,3\ldots,n\}$, for $k\in \{3,4,5\}$, then $\rho(G)=1$. Our proof relies on the representation theory of the symmetric group and the ratio bound.
 [20] arXiv:2201.09794 [pdf, ps, other]

Title: A note on increasing paths in countable hypergraphsAuthors: Valentino VitoComments: 7 pages, 1 figureSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
An old result of M\"uller and R\"odl states that a countable graph $G$ has a subgraph whose vertices all have infinite degree if and only if for any vertex labeling of $G$ by positive integers, an infinite increasing path can be found. They asked whether an analogous equivalence holds for edge labelings, which Reiterman answered in the affirmative. Recently, Arman, Elliott, and R\"odl extended this problem to linear $k$uniform hypergraphs $H$ and generalized the original equivalence for vertex labelings. They asked whether Reiterman's result for edge labelings can similarly be extended. We confirm this for the case where $H$ admits finitely many $\beta$cycles involving any fixed vertex.
 [21] arXiv:2201.09835 [pdf, other]

Title: On the gammavector of symmetric edge polytopesComments: 29 pages, 4 figures. Comments are very welcome!Subjects: Combinatorics (math.CO)
We study $\gamma$vectors associated with $h^*$vectors of symmetric edge polytopes both from a deterministic and a probabilistic point of view. On the deterministic side, we prove nonnegativity of $\gamma_2$ for any graph and completely characterize the case when $\gamma_2 = 0$. The latter also confirms a conjecture by Lutz and Nevo in the realm of symmetric edge polytopes. On the probabilistic side, we show that the $\gamma$vectors of symmetric edge polytopes of most Erd\H{o}sR\'enyi random graphs are asymptotically almost surely nonnegative up to any fixed entry. This proves that Gal's conjecture holds asymptotically almost surely for arbitrary unimodular triangulations in this setting.
 [22] arXiv:2201.09850 [pdf, ps, other]

Title: Growth of bilinear maps III: DecidabilityAuthors: Vuong BuiComments: 8 pagesSubjects: Combinatorics (math.CO)
Given a system of a bilinear map $*:\mathbb R^d\times\mathbb R^d\to\mathbb R^d$ with nonnegative coefficients and a nonnegative vector $s\in\mathbb R^d$, denote by $g(n)$ the largest possible entry of a vector obtained by combining $n$ instances of $s$ using $n1$ applications of $*$. Let $\lambda$ denote the growth rate $\limsup_{n\to\infty} \sqrt[n]{g(n)}$, Rosenfeld showed that the problem of checking $\lambda=1$ is undecidable by reducing the problem of joint spectral radius. We provide a simpler reduction using the fact that matrix multiplication is actually a bilinear map. Suppose there is no restriction on the signs, an application of this reduction is that the problem of checking if the system can produce a zero vector is undecidable by reducing the problem of checking the mortality of a pair of matrices. This answers a question posed by Rosenfeld.
It is known that if the vector $s$ is strictly positive, then the limit superior $\lambda$ is actually a limit. However, we show that when $s$ is only nonnegative, the problem of checking the validity of the limit is undecidable under the assumption that the problem of checking $\rho\ge 1$ for the joint spectral radius $\rho$ is also undecidable. The reduction is done by showing that it is possible to add some extra dimensions to obtain a new system with the same growth rate and the limit ensured. It is verified by extending the formula for the growth rate in the positive setting to the nonnegative setting. This also answers a question asked by Rosenfeld.
Crosslists for Tue, 25 Jan 22
 [23] arXiv:2201.08963 (crosslist from math.CT) [pdf, ps, other]

Title: Causalnet categoryAuthors: Xuexing LuComments: 13 pages, comments welcomeSubjects: Category Theory (math.CT); Mathematical Physics (mathph); Combinatorics (math.CO)
A causalnet is a finite acyclic directed graph. In this paper, we introduce a category, denoted as $\mathbf{Cau}$, whose objects are causalnets and morphisms are functors of path categories of causalnets. It is called causalnet category and in fact the Kleisli category of the "free category on a causalnet" monad. We study several compositionclosed classes of morphisms in $\mathbf{Cau}$, which characterize interesting causalnet relations, such as coarsegraining, immersionminor, topological minor, etc., and prove several useful decomposition theorems. In addition, we show that the minor relation can be understood as a special kind of subquotients in $\mathbf{Cau}$. Base on these results, we conclude that $\mathbf{Cau}$ is a natural setting for studying causalnets, and the theory of $\mathbf{Cau}$ should shed new light on the categorytheoretic understanding of graph theory.
 [24] arXiv:2201.08988 (crosslist from cs.CC) [pdf, ps, other]

Title: Faster ILP Algorithms for Problems with Sparse Matrices and Their Applications to Multipacking and Multicover Problems in Graphs and HypergraphsSubjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
Let $P$ be a polyhedron, defined by a system $A x \leq b$, where $A \in Z^{m \times n}$, $rank(A) = n$, and $b \in Z^{m}$. In the Integer Feasibility Problem, we need to decide whether $P \cap Z^n = \emptyset$ or to find some $x \in P \cap Z^n$ in the opposite case. Currently, its state of the art algorithm, due to \cite{DadushDis,DadushFDim} (see also \cite{Convic,ConvicComp,DConvic} for more general formulations), has the complexity bound $O(n)^n \cdot poly(\phi)$, where $\phi = size(A,b)$. It is a longstanding open problem to break the $O(n)^n$ dimensiondependence in the complexity of ILP algorithms.
We show that if the matrix $A$ has a small $l_1$ or $l_\infty$ norm, or $A$ is sparse and has bounded elements, then the integer feasibility problem can be solved faster. More precisely, we give the following complexity bounds \begin{gather*}
\min\{\A\_{\infty}, \A\_1\}^{5 n} \cdot 2^n \cdot poly(\phi),
\bigl( \A\_{\max} \bigr)^{5 n} \cdot \min\{cs(A),rs(A)\}^{3 n} \cdot 2^n \cdot poly(\phi). \end{gather*} Here $\A\_{\max}$ denotes the maximal absolute value of elements of $A$, $cs(A)$ and $rs(A)$ denote the maximal number of nonzero elements in columns and rows of $A$, respectively. We present similar results for the integer linear counting and optimization problems.
Additionally, we apply the last result for multipacking and multicover problems on graphs and hypergraphs, where we need to choose a minimal/maximal multiset of vertices to cover/pack the edges by a prescribed number of times. For example, we show that the stable multiset and vertex multicover problems on simple graphs admit FPTalgorithms with the complexity bound $2^{O(V)} \cdot poly(\phi)$, where $V$ is the vertex set of a given graph.  [25] arXiv:2201.09085 (crosslist from mathph) [pdf, ps, other]

Title: Networks with complex weights: Green function and power seriesSubjects: Mathematical Physics (mathph); Analysis of PDEs (math.AP); Combinatorics (math.CO)
We introduce a Green function and analogues of other related kernels for finite and infinite networks whose edge weights are complexvalued admittances with positive real part. We provide comparison results with the same kernels associated with corresponding reversible Markov chains, i.e., where the edge weights are positive. Under suitable conditions, these lead to comparison of series of matrix powers which express those kernels. We show that the notions of transience and recurrence extend by analytic continuation to the complexweighted case even when the network is infinite. Thus, a variety of methods known for Markov chains extend to that setting.
 [26] arXiv:2201.09572 (crosslist from math.NT) [pdf, ps, other]

Title: Joint distribution of the cokernels of random $p$adic matricesAuthors: Jungin LeeComments: 17 pagesSubjects: Number Theory (math.NT); Combinatorics (math.CO)
In this paper, we study the joint distribution of the cokernels of random $p$adic matrices. Let $p$ be a prime and $P_1(t), \cdots, P_l(t) \in \mathbb{Z}_p[t]$ be monic polynomials whose reductions modulo $p$ in $\mathbb{F}_p[t]$ are distinct and irreducible. We determine the limit of the joint distribution of the cokernels $\text{cok} (P_1(A)), \cdots, \text{cok}(P_l(A))$ for a random $n \times n$ matrix $A$ over $\mathbb{Z}_p$ with respect to Haar measure as $n \rightarrow \infty$. By applying the linearization of a random matrix model, we also provide a conjecture which generalizes this result. Finally, we provide a sufficient condition that the cokernels $\text{cok}(A)$ and $\text{cok}(A+B_n)$ become independent as $n \rightarrow \infty$, where $B_n$ is a fixed $n \times n$ matrix over $\mathbb{Z}_p$ for each $n$ and $A$ is a random $n \times n$ matrix over $\mathbb{Z}_p$.
 [27] arXiv:2201.09691 (crosslist from cs.MA) [pdf, ps, other]

Title: Multidimensional Manhattan PreferencesSubjects: Multiagent Systems (cs.MA); Theoretical Economics (econ.TH); Combinatorics (math.CO)
A preference profile with $m$ alternatives and $n$ voters is $d$Manhattan (resp. $d$Euclidean) if both the alternatives and the voters can be placed into the $d$dimensional space such that between each pair of alternatives, every voter prefers the one which has a shorter Manhattan (resp. Euclidean) distance to the voter. Following Bogomolnaia and Laslier [Journal of Mathematical Economics, 2007] and Chen and Grottke [Social Choice and Welfare, 2021] who look at $d$Euclidean preference profiles, we study which preference profiles are $d$Manhattan depending on the values $m$ and $n$.
First, we show that each preference profile with $m$ alternatives and $n$ voters is $d$Manhattan whenever $d$ $\geq$ min($n$, $m$$1$). Second, for $d = 2$, we show that the smallest non $d$Manhattan preference profile has either three voters and six alternatives, or four voters and five alternatives, or five voters and four alternatives. This is more complex than the case with $d$Euclidean preferences (see [Bogomolnaia and Laslier, 2007] and [Bulteau and Chen, 2020].  [28] arXiv:2201.09749 (crosslist from cs.DM) [pdf, other]

Title: Bounding twinwidth for boundedtreewidth graphs, planar graphs, and bipartite graphsComments: 13 pages, 2 figuresSubjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
Twinwidth is a newly introduced graph width parameter that aims at generalizing a wide range of "nicely structured" graph classes. In this work, we focus on obtaining good bounds on twinwidth $\text{tww}(G)$ for graphs $G$ from a number of classic graph classes. We prove the following:
 $\text{tww}(G) \leq 3\cdot 2^{\text{tw}(G)1}$, where $\text{tw}(G)$ is the treewidth of $G$,
 $\text{tww}(G) \leq \max(4\text{bw}(G),\frac{9}{2}\text{bw}(G)3)$ for a planar graph $G$ with $\text{bw}(G) \geq 2$, where $\text{bw}(G)$ is the branchwidth of $G$,
 $\text{tww}(G) \leq 183$ for a planar graph $G$,
 the twinwidth of a universal bipartite graph $(X,2^X,E)$ with $X=n$ is $n  \log_2(n) +
\mathcal{O}(1)$ .
An important idea behind the bounds for planar graphs is to use an embedding of the graph and spherecut decompositions to obtain good bounds on neighbourhood complexity.  [29] arXiv:2201.09861 (crosslist from math.PR) [pdf, ps, other]

Title: The sharp form of the KolmogorovRogozin inequality and a conjecture of LeaderRadcliffeAuthors: Tomas JuškevičiusSubjects: Probability (math.PR); Combinatorics (math.CO)
Let $X$ be a random variable and define its concentration function by $$\mathcal{Q}_{h}(X)=\sup_{x\in \mathbb{R}}\mathbb{P}(X\in (x,x+h]).$$ For a sum $S_n=X_1+\cdots+X_n$ of independent realvalued random variables the KolmogorovRogozin inequality states that $$\mathcal{Q}_{h}(S_n)\leq C\left(\sum_{i=1}^{n}(1\mathcal{Q}_{h}(X_i))\right)^{\frac{1}{2}}.$$
In this paper we give an optimal bound for $\mathcal{Q}_{h}(S_n)$ in terms of $\mathcal{Q}_{h}(X_i)$, which settles a question posed by Leader and Radcliffe in 1994. Moreover, we show that the extremal distributions are mixtures of two uniform distributions each lying on an arithmetic progression.
Replacements for Tue, 25 Jan 22
 [30] arXiv:1902.03855 (replaced) [pdf, other]

Title: All those EPPA classes (Strengthenings of the HerwigLascar theorem)Comments: 63 pages, 3 figures. Minor revision addressing comments of the refereeSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Group Theory (math.GR); Logic (math.LO)
 [31] arXiv:1904.06467 (replaced) [pdf, ps, other]

Title: Arctransitive bicirculantsSubjects: Combinatorics (math.CO)
 [32] arXiv:2006.11806 (replaced) [pdf, ps, other]

Title: Tiling generating functions of halved hexagons and quartered hexagonsComments: 30 pages. V2: Fixed typos in Theorem 2.2 and Theorem 2.4Journalref: Annals of Combinatorics, Volume 25, 471493 (2021)Subjects: Combinatorics (math.CO)
 [33] arXiv:2008.12601 (replaced) [pdf, ps, other]

Title: New bounds on domination and independence in graphsJournalref: Discussiones Mathematicae Graph Theory (2021)Subjects: Combinatorics (math.CO)
 [34] arXiv:2011.05921 (replaced) [pdf, other]

Title: Mastermind with a Linear Number of QueriesSubjects: Combinatorics (math.CO); Data Structures and Algorithms (cs.DS)
 [35] arXiv:2102.06956 (replaced) [pdf, ps, other]

Title: Tight factorizations of girth$g$regular graphsAuthors: Italo J. DejterComments: 40 pages, 20 figures, 9 tablesSubjects: Combinatorics (math.CO)
 [36] arXiv:2103.15175 (replaced) [pdf, ps, other]

Title: Multicolor list Ramsey numbers grow exponentiallyComments: 7 pagesSubjects: Combinatorics (math.CO)
 [37] arXiv:2105.02383 (replaced) [pdf, ps, other]

Title: Ramsey numbers of sparse digraphsComments: 28 pages; revised to reflect referee commentsSubjects: Combinatorics (math.CO)
 [38] arXiv:2105.11718 (replaced) [pdf, other]

Title: On the Rank, Kernel, and Core of Sparse Random GraphsComments: This work combines the previous paper "Distances to the Span of Sparse Random Matrices, with Applications to Gradient Coding" with the submission at arXiv:2106.00963Subjects: Combinatorics (math.CO); Probability (math.PR)
 [39] arXiv:2106.00963 (replaced) [src]

Title: Invertibility of the 3core of Erdos Renyi Graphs with Growing DegreeAuthors: Margalit GlasgowComments: This article has been combined with other work, and replaced by the article at arXiv:2105.11718Subjects: Combinatorics (math.CO); Probability (math.PR)
 [40] arXiv:2106.13296 (replaced) [pdf, ps, other]

Title: On Pure ksparse gapsetsSubjects: Combinatorics (math.CO)
 [41] arXiv:2107.05595 (replaced) [pdf, other]

Title: Coloring graphs with forbidden bipartite subgraphsComments: 22 ppSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
 [42] arXiv:2107.09897 (replaced) [pdf, ps, other]

Title: Approximation by Lexicographically Maximal Solutions in Matching and Matroid Intersection ProblemsSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
 [43] arXiv:2109.00045 (replaced) [pdf, ps, other]

Title: Distinguishing threshold for some graph operationsAuthors: Mohammad Hadi Shekarriz, Seyed Alireza Talebpour Shirazi Fard, Bahman Ahmadi, Mohammad Hassan Shirdareh Haghighi, Saeid AlikhaniComments: 19 pages, 5 figuresSubjects: Combinatorics (math.CO)
 [44] arXiv:2111.03585 (replaced) [pdf, other]

Title: Freeness for restriction arrangements of the extended Shi and Catalan arrangementsComments: 18 pages, 8 figuresSubjects: Combinatorics (math.CO)
 [45] arXiv:2111.05720 (replaced) [pdf, ps, other]

Title: Permute, Graph, Map, DerangeAuthors: Steven FinchComments: 17 pages; some problems now solved and clarifications newly providedSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Number Theory (math.NT)
 [46] arXiv:2111.14487 (replaced) [pdf, ps, other]

Title: Rounds, Color, Parity, SquaresAuthors: Steven FinchComments: 13 pages; some typographical errors now fixed and clarifications newly providedSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Number Theory (math.NT)
 [47] arXiv:2111.14771 (replaced) [pdf, ps, other]

Title: A fast algorithm on average for solving the Hamilton Cycle problemAuthors: Michael AnastosSubjects: Combinatorics (math.CO); Data Structures and Algorithms (cs.DS)
 [48] arXiv:2112.00545 (replaced) [pdf, ps, other]

Title: The Automorphism Group of $NU(3,q^2)$Subjects: Combinatorics (math.CO)
 [49] arXiv:2201.04598 (replaced) [pdf, ps, other]

Title: Generalized Turán densities in the hypercubeSubjects: Combinatorics (math.CO)
 [50] arXiv:2201.06689 (replaced) [src]

Title: The exponent of repetition of the characteristic Sturmian word whose slope is a quadratic irrationalAuthors: Takao WatanabeComments: The results of this paper are not newSubjects: Combinatorics (math.CO)
 [51] arXiv:2201.08035 (replaced) [pdf, other]

Title: Ansatz in a Nutshell: A comprehensive stepbystep guide to polynomial, $C$finite, holonomic, and $C^2$finite sequencesComments: 41 pages, 1 figureSubjects: Combinatorics (math.CO)
 [52] arXiv:2011.06952 (replaced) [pdf, ps, other]

Title: Refined universality for critical KCM: lower boundsComments: 56 pages, 3 figures; minor changesSubjects: Probability (math.PR); Statistical Mechanics (condmat.statmech); Combinatorics (math.CO)
 [53] arXiv:2105.00302 (replaced) [pdf, other]

Title: Nonsplitting flags, Iterated Circuits, $\underline{\mathbf σ}$matrices and Cayley configurationsComments: Several small improvements throughout the manuscript. 30 pages, 1 figureSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
 [54] arXiv:2111.13276 (replaced) [pdf, other]

Title: Tantalizing properties of subsequences of the Fibonacci sequence modulo 10Comments: 29 pages, 12 figures. Version 2 is the submitted version. This version added a proof of Lemma 3.2 and improved exposition throughout the paperSubjects: Number Theory (math.NT); Combinatorics (math.CO)
 [55] arXiv:2112.00782 (replaced) [pdf, ps, other]

Title: On torsional rigidity and spectral gap of compact quantum graphsSubjects: Spectral Theory (math.SP); Analysis of PDEs (math.AP); Combinatorics (math.CO)
 [56] arXiv:2201.02957 (replaced) [pdf, ps, other]

Title: Gorenstein on the punctured spectrum and nearly Gorenstein property of the Ehrhart ring of the stable set polytope of an hperfect graphAuthors: Mitsuhiro MiyazakiComments: Correction of typos. arXiv admin note: text overlap with arXiv:2005.03259Subjects: Commutative Algebra (math.AC); 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, 2201, contact, help (Access key information)