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


New submissions

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

New submissions for Tue, 25 Jan 22

[1]  arXiv:2201.08908 [pdf, other]
Title: The 334-Triangle Graph of $SL_3({\mathbb Z})$
Comments: 9 pages, 3 figures
Subjects: 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 idempotent
Subjects: 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 Milliken-Taylor theorem near zero.

[3]  arXiv:2201.09093 [pdf, other]
Title: Strong subgraph 2-arc-connectivity of Cartesian product of digraphs
Comments: arXiv admin note: text overlap with arXiv:1805.01687
Subjects: 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 arc-disjoint if $A(D_1)\cap A(D_2)=\emptyset$. Let $\lambda_S(D)$ be the maximum number of arc-disjoint $S$-strong subgraphs in $D$. The strong subgraph $k$-arc-connectivity 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 edge-connectivity of undirected graphs.
In this paper, we study the strong subgraph 2-arc-connectivity 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 planes
Comments: 15 pages, 6 figures
Subjects: 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 m-ary Trees
Subjects: 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 m-ary 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 Woodall
Authors: Raphael Steiner
Comments: 8 pages. arXiv admin note: text overlap with arXiv:2110.09403
Subjects: 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+t-1)$-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 Swap-Robust Trades for Dynamical Distributed Storage
Comments: 6 pages
Subjects: 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 number-theoretic analyses.

[8]  arXiv:2201.09231 [pdf, ps, other]
Title: Some statistics on generalized Motzkin paths with vertical steps
Comments: 37 pages, 3 figures
Subjects: 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 G-Motzkin 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 G-Motzkin 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 G-Motzkin 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 G-Motzkin paths. We also discuss the statistics "number of $\mathbf{z}_1\mathbf{z}_2$-steps" in G-Motzkin 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 enumerations
Comments: 18 pages, 4 figures
Subjects: Combinatorics (math.CO)

A generalized Motzkin path, called G-Motzkin path for short, of length $n$ is a lattice path from $(0, 0)$ to $(n, 0)$ in the first quadrant of the XOY-plane 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)$-G-Motzkin path is a weighted G-Motzkin 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)$-G-Motzkin 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)$-G-Motzkin 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)$-G-Motzkin 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 G-Motzkin paths. These counting results are linked with Riordan arrays.

[10]  arXiv:2201.09269 [pdf, ps, other]
Title: Proximity, remoteness and maximum degree in graphs
Comments: 20 pages
Subjects: 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 models
Comments: 19 pages, 6 figures
Subjects: 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 internally-disjoint discs in the plane, and ordering the vertices by non-increasing 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 Trees
Comments: 6 pages, 1 figure. Extended abstract for Eurocomb 2021
Journal-ref: 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: Fault-tolerant Locating-Dominating Sets on the Infinite King Grid
Authors: Devin Jean, Suk Seo
Comments: 21 pages, 20 figures
Subjects: 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{locating-dominating (LD)} set $S$ is a subset of vertices representing detectors capable of sensing an "intruder" at precisely their location or somewhere in their open-neighborhood -- an LD set must be capable of locating an intruder anywhere in the graph. We explore three types of fault-tolerant LD sets: \emph{redundant LD} sets, which allow a detector to be removed, \emph{error-detecting LD} sets, which allow at most one false negative, and \emph{error-correcting 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 fault-tolerant locating-dominating sets in the \emph{infinite king grid}; to prove the lower bounds, we introduce a new share-discharging strategy.

[14]  arXiv:2201.09412 [pdf, other]
Title: Analytic torsion for graphs
Authors: Oliver Knill
Comments: 30 pages, 17 figures
Subjects: 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 Ray-Singer 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 polynomials
Comments: 15 pages, 7 figures
Subjects: 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 K-theoretic classes of Schubert cycles in the K-theory 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 4-partite graph $K_{1,1,m,n}$
Comments: 22 pages, 11 figures
Subjects: Combinatorics (math.CO)

Let $\textrm{cr}(G)$ denote the crossing number of a graph $G$. The well-known 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 word
Comments: Submitted to DLT 2022
Subjects: 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 non-regular 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: High-order bootstrap percolation in hypergraphs
Subjects: Combinatorics (math.CO)

Motivated by the bootstrap percolation process for graphs, we define a new, high-order generalisation to $k$-uniform hypergraphs, in which we infect $j$-sets of vertices for some integer $1\le j \le k-1$. 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 size
Comments: 31 pages
Subjects: 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 hypergraphs
Authors: Valentino Vito
Comments: 7 pages, 1 figure
Subjects: 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 gamma-vector of symmetric edge polytopes
Comments: 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}s-R\'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: Decidability
Authors: Vuong Bui
Comments: 8 pages
Subjects: 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 $n-1$ 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.

Cross-lists for Tue, 25 Jan 22

[23]  arXiv:2201.08963 (cross-list from math.CT) [pdf, ps, other]
Title: Causal-net category
Authors: Xuexing Lu
Comments: 13 pages, comments welcome
Subjects: Category Theory (math.CT); Mathematical Physics (math-ph); Combinatorics (math.CO)

A causal-net is a finite acyclic directed graph. In this paper, we introduce a category, denoted as $\mathbf{Cau}$, whose objects are causal-nets and morphisms are functors of path categories of causal-nets. It is called causal-net category and in fact the Kleisli category of the "free category on a causal-net" monad. We study several composition-closed classes of morphisms in $\mathbf{Cau}$, which characterize interesting causal-net relations, such as coarse-graining, immersion-minor, 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 sub-quotients in $\mathbf{Cau}$. Base on these results, we conclude that $\mathbf{Cau}$ is a natural setting for studying causal-nets, and the theory of $\mathbf{Cau}$ should shed new light on the category-theoretic understanding of graph theory.

[24]  arXiv:2201.08988 (cross-list 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 Hypergraphs
Subjects: 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 long-standing open problem to break the $O(n)^n$ dimension-dependence 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 FPT-algorithms with the complexity bound $2^{O(|V|)} \cdot poly(\phi)$, where $V$ is the vertex set of a given graph.

[25]  arXiv:2201.09085 (cross-list from math-ph) [pdf, ps, other]
Title: Networks with complex weights: Green function and power series
Subjects: Mathematical Physics (math-ph); 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 complex-valued 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 complex-weighted case even when the network is infinite. Thus, a variety of methods known for Markov chains extend to that setting.

[26]  arXiv:2201.09572 (cross-list from math.NT) [pdf, ps, other]
Title: Joint distribution of the cokernels of random $p$-adic matrices
Authors: Jungin Lee
Comments: 17 pages
Subjects: 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 (cross-list from cs.MA) [pdf, ps, other]
Title: Multidimensional Manhattan Preferences
Subjects: 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 (cross-list from cs.DM) [pdf, other]
Title: Bounding twin-width for bounded-treewidth graphs, planar graphs, and bipartite graphs
Comments: 13 pages, 2 figures
Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)

Twin-width 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 twin-width $\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 twin-width 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 sphere-cut decompositions to obtain good bounds on neighbourhood complexity.

[29]  arXiv:2201.09861 (cross-list from math.PR) [pdf, ps, other]
Title: The sharp form of the Kolmogorov--Rogozin inequality and a conjecture of Leader--Radcliffe
Subjects: 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 real-valued random variables the Kolmogorov-Rogozin 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 Herwig-Lascar theorem)
Comments: 63 pages, 3 figures. Minor revision addressing comments of the referee
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Group Theory (math.GR); Logic (math.LO)
[31]  arXiv:1904.06467 (replaced) [pdf, ps, other]
Title: Arc-transitive bicirculants
Subjects: Combinatorics (math.CO)
[32]  arXiv:2006.11806 (replaced) [pdf, ps, other]
Title: Tiling generating functions of halved hexagons and quartered hexagons
Comments: 30 pages. V2: Fixed typos in Theorem 2.2 and Theorem 2.4
Journal-ref: Annals of Combinatorics, Volume 25, 471-493 (2021)
Subjects: Combinatorics (math.CO)
[33]  arXiv:2008.12601 (replaced) [pdf, ps, other]
Title: New bounds on domination and independence in graphs
Journal-ref: Discussiones Mathematicae Graph Theory (2021)
Subjects: Combinatorics (math.CO)
[34]  arXiv:2011.05921 (replaced) [pdf, other]
Title: Mastermind with a Linear Number of Queries
Subjects: Combinatorics (math.CO); Data Structures and Algorithms (cs.DS)
[35]  arXiv:2102.06956 (replaced) [pdf, ps, other]
Title: Tight factorizations of girth-$g$-regular graphs
Authors: Italo J. Dejter
Comments: 40 pages, 20 figures, 9 tables
Subjects: Combinatorics (math.CO)
[36]  arXiv:2103.15175 (replaced) [pdf, ps, other]
Title: Multicolor list Ramsey numbers grow exponentially
Comments: 7 pages
Subjects: Combinatorics (math.CO)
[37]  arXiv:2105.02383 (replaced) [pdf, ps, other]
Title: Ramsey numbers of sparse digraphs
Comments: 28 pages; revised to reflect referee comments
Subjects: Combinatorics (math.CO)
[38]  arXiv:2105.11718 (replaced) [pdf, other]
Title: On the Rank, Kernel, and Core of Sparse Random Graphs
Comments: 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.00963
Subjects: Combinatorics (math.CO); Probability (math.PR)
[39]  arXiv:2106.00963 (replaced) [src]
Title: Invertibility of the 3-core of Erdos Renyi Graphs with Growing Degree
Authors: Margalit Glasgow
Comments: This article has been combined with other work, and replaced by the article at arXiv:2105.11718
Subjects: Combinatorics (math.CO); Probability (math.PR)
[40]  arXiv:2106.13296 (replaced) [pdf, ps, other]
Title: On Pure k-sparse gapsets
Subjects: Combinatorics (math.CO)
[41]  arXiv:2107.05595 (replaced) [pdf, other]
Title: Coloring graphs with forbidden bipartite subgraphs
Comments: 22 pp
Subjects: 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 Problems
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
[43]  arXiv:2109.00045 (replaced) [pdf, ps, other]
Title: Distinguishing threshold for some graph operations
Comments: 19 pages, 5 figures
Subjects: Combinatorics (math.CO)
[44]  arXiv:2111.03585 (replaced) [pdf, other]
Title: Freeness for restriction arrangements of the extended Shi and Catalan arrangements
Comments: 18 pages, 8 figures
Subjects: Combinatorics (math.CO)
[45]  arXiv:2111.05720 (replaced) [pdf, ps, other]
Title: Permute, Graph, Map, Derange
Authors: Steven Finch
Comments: 17 pages; some problems now solved and clarifications newly provided
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Number Theory (math.NT)
[46]  arXiv:2111.14487 (replaced) [pdf, ps, other]
Title: Rounds, Color, Parity, Squares
Authors: Steven Finch
Comments: 13 pages; some typographical errors now fixed and clarifications newly provided
Subjects: 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 problem
Authors: Michael Anastos
Subjects: 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 hypercube
Subjects: Combinatorics (math.CO)
[50]  arXiv:2201.06689 (replaced) [src]
Title: The exponent of repetition of the characteristic Sturmian word whose slope is a quadratic irrational
Authors: Takao Watanabe
Comments: The results of this paper are not new
Subjects: Combinatorics (math.CO)
[51]  arXiv:2201.08035 (replaced) [pdf, other]
Title: Ansatz in a Nutshell: A comprehensive step-by-step guide to polynomial, $C$-finite, holonomic, and $C^2$-finite sequences
Comments: 41 pages, 1 figure
Subjects: Combinatorics (math.CO)
[52]  arXiv:2011.06952 (replaced) [pdf, ps, other]
Title: Refined universality for critical KCM: lower bounds
Comments: 56 pages, 3 figures; minor changes
Subjects: Probability (math.PR); Statistical Mechanics (cond-mat.stat-mech); Combinatorics (math.CO)
[53]  arXiv:2105.00302 (replaced) [pdf, other]
Title: Non-splitting flags, Iterated Circuits, $\underline{\mathbf σ}$-matrices and Cayley configurations
Comments: Several small improvements throughout the manuscript. 30 pages, 1 figure
Subjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
[54]  arXiv:2111.13276 (replaced) [pdf, other]
Title: Tantalizing properties of subsequences of the Fibonacci sequence modulo 10
Comments: 29 pages, 12 figures. Version 2 is the submitted version. This version added a proof of Lemma 3.2 and improved exposition throughout the paper
Subjects: 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 graphs
Subjects: 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 h-perfect graph
Comments: Correction of typos. arXiv admin note: text overlap with arXiv:2005.03259
Subjects: Commutative Algebra (math.AC); Combinatorics (math.CO)
[ total of 56 entries: 1-56 ]
[ 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)