arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82736 papers, 47815 authors in database)
2020-09-16 v3
Partition regularity of polynomial systems near zero
Published • View Publication • BIB
Recently, S.~Kanti Patra and Md.~Moid Shaik proved the existence of monochromatic solutions to systems of polynomial equations near zero for particular dense subsemigroups $S$ of $((0,\infty),+)$. We extend their results to a much larger class of systems whilst weakening the requests on $S$, using solely basic results about ultrafilters.
2020-09-16 v3
Characterizing Attitudinal Network Graphs through Frustration Cloud
Published in Data Mining and Knowledge Discovery Journal (2021) • View Publication • BIB
Attitudinal Network Graphs are signed graphs where edges capture an expressed opinion; two vertices connected by an edge can be agreeable (positive) or antagonistic (negative). A signed graph is called balanced if each of its cycles includes an even number of negative edges. Balance is often characterized by the frustration index or by finding a single convergent balanced state of network consensus. In this paper, we propose to expand the measures of consensus from a single balanced state associated with the frustration index to the set of nearest balanced states. We introduce the frustration cloud as a set of all nearest balanced states and use a graph-balancing algorithm to find all nearest balanced states in a deterministic way. Computational concerns are addressed by measuring consensus probabilistically, and we introduce new vertex and edge metrics to quantify status, agreement, and influence. We also introduce a new global measure of controversy for a given signed graph and show that vertex status is a zero-sum game in the signed network. We propose an efficient scalable algorithm for calculating frustration cloud-based measures in social network and survey data of up to 80,000 vertices and half-a-million edges. We also demonstrate the power of the proposed approach to provide discriminant features for community discovery when compared to spectral clustering and to automatically identify dominant vertices and anomalous decisions in the network.
Characters, Weil sums and $c$-differential uniformity with an application to the perturbed Gold function
Building upon the observation that the newly defined~\cite{EFRST20} concept of $c$-differential uniformity is not invariant under EA or CCZ-equivalence~\cite{SPRS20}, we showed in~\cite{SG20} that adding some appropriate linearized monomials increases the $c$-differential uniformity of the inverse function, significantly, for some~$c$. We continue that investigation here. First, by analyzing the involved equations, we find bounds for the uniformity of the Gold function perturbed by a single monomial, exhibiting the discrepancy we previously observed on the inverse function. Secondly, to treat the general case of perturbations via any linearized polynomial, we use characters in the finite field to express all entries in the $c$-Differential Distribution Table (DDT) of an $(n,n)$-function on the finite field $\F_{p^n}$, and further, we use that method to find explicit expressions for all entries of the $c$-DDT of the perturbed Gold function (via an arbitrary linearized polynomial).
Extending CSR Decomposition to Tropical Inhomogeneous Matrix Products
Published • View Publication • BIB
This article presents an attempt to extend the CSR decomposition, previously introduced for tropical matrix powers, to tropical inhomogeneous matrix products. The CSR terms for inhomogeneous matrix products are introduced, then a case is described where an inhomogeneous product admits such CSR decomposition after some length and give a bound on this length. In the last part of the paper a number of counterexamples are presented to show that inhomogeneous products do not admit CSR decomposition under more general conditions.
2020-09-16 v2
Typical and Extremal Aspects of Friends-and-Strangers Graphs
Published • View Publication • BIB
Given graphs $X$ and $Y$ with vertex sets $V(X)$ and $V(Y)$ of the same cardinality, the friends-and-strangers graph $\mathsf{FS}(X,Y)$ is the graph whose vertex set consists of all bijections $σ:V(X)\to V(Y)$, where two bijections $σ$ and $σ'$ are adjacent if they agree everywhere except for two adjacent vertices $a,b \in V(X)$ such that $σ(a)$ and $σ(b)$ are adjacent in $Y$. The most fundamental question that one can ask about these friends-and-strangers graphs is whether or not they are connected; we address this problem from two different perspectives. First, we address the case of "typical" $X$ and $Y$ by proving that if $X$ and $Y$ are independent Erdős-Rényi random graphs with $n$ vertices and edge probability $p$, then the threshold probability guaranteeing the connectedness of $\mathsf{FS}(X,Y)$ with high probability is $p=n^{-1/2+o(1)}$. Second, we address the case of "extremal" $X$ and $Y$ by proving that the smallest minimum degree of the $n$-vertex graphs $X$ and $Y$ that guarantees the connectedness of $\mathsf{FS}(X,Y)$ is between $3n/5+O(1)$ and $9n/14+O(1)$. When $X$ and $Y$ are bipartite, a parity obstruction forces $\mathsf{FS}(X,Y)$ to be disconnected. In this bipartite setting, we prove analogous "typical" and "extremal" results concerning when $\mathsf{FS}(X,Y)$ has exactly $2$ connected components; for the extremal question, we obtain a nearly exact result.
Generalizing Zeckendorf's Theorem to Homogeneous Linear Recurrences, II
Published • View Publication • BIB
Zeckendorf's theorem states that every positive integer can be written uniquely as the sum of non-consecutive shifted Fibonacci numbers $\{F_n\}$, where we take $F_1=1$ and $F_2=2$. This has been generalized for any Positive Linear Recurrence Sequence (PLRS), which informally is a sequence satisfying a homogeneous linear recurrence with a positive leading coefficient and non-negative integer coefficients. In this and the preceding paper we provide two approaches to investigate linear recurrences with leading coefficient zero, followed by non-negative integer coefficients, with differences between indices relatively prime (abbreviated ZLRR), via two different approaches. The first approach involves generalizing the definition of a legal decomposition for a PLRS found in Koloğlu, Kopp, Miller and Wang. We prove that every positive integer $N$ has a legal decomposition for any ZLRR using the greedy algorithm. We also show that a specific family of ZLRRs lost uniqueness of decompositions. The second approach converts a ZLRR to a PLRR that has the same growth rate. We develop the Zeroing Algorithm, a powerful helper tool for analyzing the behavior of linear recurrence sequences. We use it to prove a very general result that guarantees the possibility of conversion between certain recurrences, and develop a method to quickly determine whether a sequence diverges to $+\infty$ or $-\infty$, given any real initial values. This paper investigates the second approach.
Generic spectrum of the weighted Laplacian operator on Cayley graphs
Published in Lett Math Phys 114, 75 (2024) • View Publication • BIB
In this paper, we investigate the spectrum of a class of weighted Laplacians on Cayley graphs and determine under what conditions the corresponding eigenspaces are generically irreducible. Specifically, we analyze the spectrum on left-invariant Cayley graphs endowed with an invariant metric, and we give some criteria for generically irreducible eigenspaces. Additionally, we introduce an operator that is comparable to the Laplacian and show that the same criterion holds.
2020-09-16 v2
Graphical Enumeration and Stained Glass Windows, 1: Rectangular Grids
Published • View Publication • BIB
A survey of enumeration problems arising from the study of graphs formed when the edges of a polygon are marked with evenly spaced points and every pair of points is joined by a line. A few of these problems have been solved, a classical example being the the graph K_n formed when all pairs of vertices of a regular n-gon are joined by chords, which was analyzed by Poonen and Rubinstein in 1998. Most of these problems are unsolved, however, and this two-part article provides data from a number of such problems as well as colored illustrations, which are often reminiscent of stained glass windows. The polygons considered include rectangles, hollow rectangles (or frames), triangles, pentagons, pentagrams, crosses, etc., as well as figures formed by drawing semicircles joining equally-spaced points on a line. %The paper ends with a brief discussion of the problem of how to %design aesthetically pleasing colorings for these graphs. This first part discusses rectangular grids. The 1 X n grids, or equally the graphs K_{n+1,n+1}, were studied by Legendre and Griffiths, and here we investigate the number of cells with a given number of edges and the number of nodes with a given degree. We have only partial results for the m X n rectangles, including upper bounds on the numbers of nodes and cells.
On Weak Flexibility in Planar Graphs
Published in Graphs and Combinatorics 38(6), 180:1-180:33, 2022 • View Publication • BIB
Recently, Dvořák, Norin, and Postle introduced flexibility as an extension of list coloring on graphs [JGT 19']. In this new setting, each vertex $v$ in some subset of $V(G)$ has a request for a certain color $r(v)$ in its list of colors $L(v)$. The goal is to find an $L$ coloring satisfying many, but not necessarily all, of the requests. The main studied question is whether there exists a universal constant $ε>0$ such that any graph $G$ in some graph class $\mathcal{C}$ satisfies at least $ε$ proportion of the requests. More formally, for $k > 0$ the goal is to prove that for any graph $G \in \mathcal{C}$ on vertex set $V$, with any list assignment $L$ of size $k$ for each vertex, and for every $R \subseteq V$ and a request vector $(r(v): v\in R, ~r(v) \in L(v))$, there exists an $L$-coloring of $G$ satisfying at least $ε|R|$ requests. If this is true, then $\mathcal{C}$ is called $ε$-flexible for lists of size $k$. Choi et al. [arXiv 20'] introduced the notion of weak flexibility, where $R = V$. We further develop this direction by introducing a tool to handle weak flexibility. We demonstrate this new tool by showing that for every positive integer $b$ there exists $ε(b)>0$ so that the class of planar graphs without $K_4, C_5 , C_6 , C_7, B_b$ is weakly $ε(b)$-flexible for lists of size $4$ (here $K_n$, $C_n$ and $B_n$ are the complete graph, a cycle, and a book on $n$ vertices, respectively). We also show that the class of planar graphs without $K_4, C_5 , C_6 , C_7, B_5$ is $ε$-flexible for lists of size $4$. The results are tight as these graph classes are not even 3-colorable.
2020-09-16 v2
A new partial geometry pg(5,5,2)
Published in Journal of Combinatorial Theory Series A 183 (2021) 105493 • View Publication • BIB
We construct a new partial geometry with parameters pg(5,5,2), not isomorphic to the partial geometry of van Lint and Schrijver.
2020-09-16 v2
Betti and Hodge numbers of configuration spaces of a punctured elliptic curve from its zeta functions
Published • View Publication • BIB
Given an elliptic curve $E$ defined over $\mathbb{C}$, let $E^{\times}$ be an open subset of $E$ obtained by removing a point. In this paper, we show that the $i$-th Betti number of the unordered configuration space $\mathrm{Conf}^{n}(E^{\times})$ of $n$ points on $E^{\times}$ appears as a coefficient of an explicit rational function in two variables. We also compute its Hodge numbers as coefficients of another explicit rational function in four variables. Our result is interesting because these rational functions resemble the generating function of the $\mathbb{F}_{q}$-point counts of $\mathrm{Conf}^{n}(E^{\times})$, which can be obtained from the zeta function of $E$ over a finite field $\mathbb{F}_{q}$. We show that the mixed Hodge structure of the $i$-th singular cohomology group $H^{i}(\mathrm{Conf}^{n}(E^{\times}))$ with complex coefficients is pure of weight $w(i)$, an explicit integer we provide in this paper. This purity statement implies our main result about the Betti numbers and the Hodge numbers. Our proof uses Totaro's spectral sequence computation that describes the weight filtration of the mixed Hodge structure on $H^{i}(\mathrm{Conf}^{n}(E^{\times}))$.
2020-09-15 v2
A Cartan formula for the cohomology of polyhedral products and its application to the ring structure
We give a geometric method for determining the cohomology groups and the product structure of a polyhedral product, under suitable freeness conditions or with coefficients taken in a field. This is done by considering first a special class of CW pairs for which we derive a decomposition of the polyhedral product resembling a Cartan formula. The result is then generalized to arbitrary CW pairs of finite type. This leads to a direct computation of the Hilbert-Poincaré series and to other applications. The product structure on the cohomology of the polyhedral product is computed in terms of the additive generators, labelled via the Cartan decomposition. The description given suffices to enable explicit calculations.
2020-09-15
Extremal even-cycle-free subgraphs of the complete transposition graphs
Published • View Publication • BIB
Given graphs $G$ and $H$, the generalized Turán number ${\rm ex}(G,H)$ is the maximum number of edges in an $H$-free subgraph of $G$. In this paper, we obtain an asymptotic upper bound on ${\rm ex}(CT_n,C_{2l})$ for any $n \ge 3$ and $l\geq2$, where $C_{2l}$ is the cycle of length $2l$ and $CT_n$ is the complete transposition graph which is defined as the Cayley graph on the symmetric group ${\rm S}_n$ with respect to the set of all transpositions of ${\rm S}_n$.
2020-09-15 v2
Minimizing the number of edges in $K_{s,t}$-saturated bipartite graphs
Published • View Publication • BIB
This paper considers an edge minimization problem in saturated bipartite graphs. An $n$ by $n$ bipartite graph $G$ is $H$-saturated if $G$ does not contain a subgraph isomorphic to $H$ but adding any missing edge to $G$ creates a copy of $H$. More than half a century ago, Wessel and Bollobás independently solved the problem of minimizing the number of edges in $K_{(s,t)}$-saturated graphs, where $K_{(s,t)}$ is the `ordered' complete bipartite graph with $s$ vertices from the first color class and $t$ from the second. However, the very natural `unordered' analogue of this problem was considered only half a decade ago by Moshkovitz and Shapira. When $s=t$, it can be easily checked that the unordered variant is exactly the same as the ordered case. Later, Gan, Korándi, and Sudakov gave an asymptotically tight bound on the minimum number of edges in $K_{s,t}$-saturated $n$ by $n$ bipartite graphs, which is only smaller than the conjecture of Moshkovitz and Shapira by an additive constant. In this paper, we confirm their conjecture for $s=t-1$ with the classification of the extremal graphs. We also improve the estimates of Gan, Korándi, and Sudakov for general $s$ and $t$, and for all sufficiently large $n$.
2020-09-15
Group Connectivity under $3$-Edge-Connectivity
Published • View Publication • BIB
Let $S,T$ be two distinct finite Abelian groups with $|S|=|T|$. A fundamental theorem of Tutte shows that a graph admits a nowhere-zero $S$-flow if and only if it admits a nowhere-zero $T$-flow. Jaeger, Linial, Payan and Tarsi in 1992 introduced group connectivity as an extension of flow theory, and they asked whether such a relation holds for group connectivity analogy. It was negatively answered by Hušek, Mohelníková and Šámal in 2017 for graphs with edge-connectivity 2 for the groups $S=\mathbb{Z}_4$ and $T=\mathbb{Z}_2^2$. In this paper, we extend their results to $3$-edge-connected graphs (including both cubic and general graphs), which answers open problems proposed by Hušek, Mohelníková and Šámal(2017) and Lai, Li, Shao and Zhan(2011). Combining some previous results, this characterizes all the equivalence of group connectivity under $3$-edge-connectivity, showing that every $3$-edge-connected $S$-connected graph is $T$-connected if and only if $\{S,T\}\neq \{\mathbb{Z}_4,\mathbb{Z}_2^2\}$.
Steady and ranging sets in graph persistence
Published • View Publication • BIB
Topological data analysis can provide insight on the structure of weighted graphs and digraphs. However, some properties underlying a given (di)graph are hardly mappable to simplicial complexes. We introduce \textit{steady} and \textit{ranging} sets: two standardized ways of producing persistence diagrams directly from graph-theoretical features. The two constructions are framed in the context of \textit{indexing-aware persistence functions}. Furthermore, we introduce a sufficient condition for stability. Finally, we apply the steady- and ranging-based persistence constructions to toy examples and real-world applications.
2020-09-15 v2
Enumeration of Gelfand-Cetlin type reduced words
Published • View Publication • BIB
The combinatorics of reduced words and commutation classes plays an important role in geometric representation theory. A string polytope is a lattice polytope associated to each reduced word of the longest element $w_0$ in the symmetric group which encodes the character of a certain irreducible representation of a Lie group of type $A$. In this paper, we provide a recursive formula for the number of reduced words of $w_0$ such that the corresponding string polytopes are combinatorially equivalent to a Gelfand-Cetlin polytope. The recursive formula involves the number of standard Young tableaux of shifted shape. We also show that each commutation class is completely determined by a list of quantities called indices.
2020-09-15
Covering of a rectangle by squares
We prove that one can cover the $1 \times b$ rectangle by equal squares on both sides in one layer iff $b = p \pm \sqrt{p^2 - r^2} $, where $p \ge r \ge 0$ and $p,q \in \mathbb{Q}$.
2020-09-15
The achromatic number of $K_6\square K_q$ equals $2q+3$ if $q\ge41$ is odd
Let $G$ be a graph and $C$ a finite set of colours. A vertex colouring $f:V(G)\to C$ is complete provided that for any two distinct colours $c_1,c_2\in C$ there is $v_1v_2\in E(G)$ such that $f(v_i)=c_i$, $i=1,2$. The achromatic number of $G$ is the maximum number $\mathrm{achr}(G)$ of colours in a proper complete vertex colouring of $G$. In the paper it is proved that if $q\ge41$ is an odd integer, then the achromatic number of the Cartesian product of $K_6$ and $K_q$ is $2q+3$.
2020-09-15 v2
Group-theoretical graph categories
Published in Journal of Algebraic Combinatorics Vol. 55, pp. 591-627 (2022) • View Publication • BIB
The semidirect product of a finitely generated group dual with the symmetric group can be described through so-called group-theoretical categories of partitions (covers only a special case; due to Raum--Weber, 2015) and skew categories of partitions (more general; due to Maassen, 2018). We generalize these results to the case of graph categories, which allows to replace the symmetric group by the group of automorphisms of some graph.