arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 84285 papers, 48548 authors in database)
2017-11-29
The rank of a complex unit gain graph in terms of the rank of its underlying graph
Published • View Publication • BIB
Let $Φ=(G, \varphi)$ be a complex unit gain graph (or $\mathbb{T}$-gain graph) and $A(Φ)$ be its adjacency matrix, where $G$ is called the underlying graph of $Φ$. The rank of $Φ$, denoted by $r(Φ)$, is the rank of $A(Φ)$. Denote by $θ(G)=|E(G)|-|V(G)|+ω(G)$ the dimension of cycle spaces of $G$, where $|E(G)|$, $|V(G)|$ and $ω(G)$ are the number of edges, the number of vertices and the number of connected components of $G$, respectively. In this paper, we investigate bounds for $r(Φ)$ in terms of $r(G)$, that is, $r(G)-2θ(G)\leq r(Φ)\leq r(G)+2θ(G)$, where $r(G)$ is the rank of $G$. As an application, we also prove that $1-θ(G)\leq\frac{r(Φ)}{r(G)}\leq1+θ(G)$. All corresponding extremal graphs are characterized.
2017-11-29 v2
On sets of points with few odd secants
Published in Combinator. Probab. Comp. 29 (2020) 31-43 • View Publication • BIB
We prove that, for $q$ odd, a set of $q+2$ points in the projective plane over the field with $q$ elements has at least $2q-c$ odd secants, where $c$ is a constant and an odd secant is a line incident with an odd number of points of the set.
2017-11-29
On S-packing edge-colorings of cubic graphs
Given a non-decreasing sequence S = (s 1,s 2,. .. ,s k) of positive integers, an S-packing edge-coloring of a graph G is a partition of the edge set of G into k subsets {X 1 ,X 2,. .. ,X k } such that for each 1 $\le$ i $\le$ k, the distance between two distinct edges e, e ' $\in$ X i is at least s i + 1. This paper studies S-packing edge-colorings of cubic graphs. Among other results, we prove that cubic graphs having a 2-factor are (1,1,1,3,3)-packing edge-colorable, (1,1,1,4,4,4,4,4)-packing edge-colorable and (1,1,2,2,2,2,2)-packing edge-colorable. We determine sharper results for cubic graphs of bounded oddness and 3-edge-colorable cubic graphs and we propose many open problems.
2017-11-29 v2
The first order convergence law fails for random perfect graphs
We consider first order expressible properties of random perfect graphs. That is, we pick a graph $G_n$ uniformly at random from all (labelled) perfect graphs on $n$ vertices and consider the probability that it satisfies some graph property that can be expressed in the first order language of graphs. We show that there exists such a first order expressible property for which the probability that $G_n$ satisfies it does not converge as $n\to\infty$.
2017-11-29
Discrete Morse-Bott theory for CW complexes
We derive a discrete analogue of Morse-Bott theory on CW complexes and use this discrete Morse-Bott function to do some Conley theory analysis. It turns out that our discrete Morse-Bott theory is indeed a generalization of Forman's discrete Morse theory.
2017-11-29
Balanced Spanning Caterpillars
A $p$-caterpillar is a caterpillar such that every non-leaf vertex is adjacent to exactly $p$ leaves. We give a tight minimum degree condition for a graph to have a spanning $p$-caterpillar.
2017-11-29 v3
BPS/CFT correspondence IV: sigma models and defects in gauge theory
Published • View Publication • BIB
Quantum field theory $L_1$ on spacetime $X_{1}$ can be coupled to another quantum field theory $L_2$ on a spacetime $X_{2}$ via the third quantum field theory $L_{12}$ living on $X_{12} = X_{1} \cap X_{2}$. We explore several such constructions with two and four dimensional $X_{1}, X_{2}$'s and zero and two dimensional $X_{12}$'s, in the context of $\mathcal{N}=2$ supersymmetry, non-perturbative Dyson-Schwinger equations, and BPS/CFT correspondence. The companion paper will show that the BPZ and KZ equations of two dimensional conformal field theory are obeyed by the half-BPS surface defects in quiver $\mathcal{N}=2$ gauge theories.
2017-11-29 v3
A robust version of Freiman's $3k-4$ Theorem and applications
Published in Mathematical Proceedings of the Cambridge Philosophical Society. 2019;166(3):567-581 • View Publication • BIB
We prove a robust version of Freiman's $3k - 4$ theorem on the restricted sumset $A+_ΓB$, which applies when the doubling constant is at most $\tfrac{3+\sqrt{5}}{2}$ in general and at most $3$ in the special case when $A = -B$. As applications, we derive robust results with other types of assumptions on popular sums, and structure theorems for sets satisfying almost equalities in discrete and continuous versions of the Riesz-Sobolev inequality.
2017-11-29
Compounding Doubly Affine Matrices
Weighted sums of left and right hand Kronecker products of Integer Sequence Doubly Affine (ISDA) as well as Generalized Arithmetic Progression Doubly Affine (GAPDA) arrays are used to generate larger ISDA arrays of multiplicative order (compound squares) from pairs of smaller ones. In two dimensions we find general expressions for the eigenvalues (EVs) and singular values (SVs) of the larger arrays in terms of the EVs and SVs of their constituent matrices, leading to a simple result for the rank of these highly singular compound matrices. Since the critical property of the smaller constituent matrices involves only identical row and column sums (often called semi-magic), the eigenvalue and singular value results can be applied to both magic squares and Latin squares. Additionally, the compounding process works in arbitrary dimensions due to the generality of the Kronecker product, providing a simple method to generate large order ISDA cubes and hypercubes. The first examples of compound magic squares are found in manuscripts that date back to the 10th century CE, and other representative applications are outlined through judicious examples.
A generative graph model for electrical infrastructure networks
Published • View Publication • BIB
We propose a generative graph model for electrical infrastructure networks that accounts for heterogeneity in both node and edge type. To inform the model design, we analyze the properties of power grid graphs derived from the U.S. Eastern Interconnection, Texas Interconnection, and Poland transmission system power grids. Across these datasets, we find subgraphs induced by nodes of the same voltage level exhibit shared structural properties atypical to small-world networks, including low local clustering, large diameter, and large average distance. On the other hand, we find subgraphs induced by transformer edges linking nodes of different voltage types contain a more limited structure, consisting mainly of small, disjoint star graphs. The goal of our proposed model is to match both these inter and intra-network properties by proceeding in two phases: the first phase adapts the Chung-Lu random graph model, taking desired vertex degrees and desired diameter as inputs, while the second phase of the model is based on a simpler random star graph generation process. We test the model's performance by comparing its output across many runs to the aforementioned real data. In nearly all categories tested, we find our model is more accurate in reproducing the unusual mixture of properties apparent in the data than the Chung-Lu model. We also include graph visualization comparisons, a brief analysis of edge-deletion resiliency, and guidelines for artificially generating the model inputs in the absence of real data.
Optimal $(t,r)$ Broadcasts On the Infinite Grid
Let $G=(V,E)$ be a graph and $t,r$ be positive integers. The signal that a vertex $v$ receives from a tower of signal strength $t$ located at vertex $T$ is defined as $sig(v,T)=max(t-dist(v,T),0)$, where $dist(v,T)$ denotes the distance between the vertices $v$ and $T$. In 2015 Blessing, Insko, Johnson, and Mauretour defined a $(t,r)$ broadcast dominating set, or simply a $(t,r)$ broadcast, on $G$ as a set $\mathbb{T}\subseteq V$ such that the sum of all signal received at each vertex $v \in V$ is at least $r$. We say that $\mathbb{T}$ is optimal if $|\mathbb{T}|$ is minimal among all such sets $\mathbb{T}$. The cardinality of an optimal $(t,r)$ broadcast on a finite graph $G$ is called the $(t,r)$ broadcast domination number of $G$. The concept of $(t,r)$ broadcast domination generalizes the classical problem of domination on graphs. In fact, the $(2,1)$ broadcasts on a graph $G$ are exactly the dominating sets of $G$. In their paper, Blessing et al. considered $(t,r)\in\{(2,2),(3,1),(3,2),(3,3)\}$ and gave optimal $(t,r)$ broadcasts on $G_{m,n}$, the grid graph of dimension $m\times n$, for small values of $m$ and $n$. They also provided upper bounds on the optimal $(t,r)$ broadcast numbers for grid graphs of arbitrary dimensions. In this paper, we define the density of a $(t,r)$ broadcast, which allows us to provide optimal $(t,r)$ broadcasts on the infinite grid graph for all $t\geq2$ and $r=1,2$, and bound the density of the optimal $(t,3)$ broadcast for all $t\geq2$. In addition, we give a family of counterexamples to the conjecture of Blessing et al. that the optimal $(t,r)$ and $(t+1, r+2)$ broadcasts are identical for all $t\geq1$ and $r\geq1$ on the infinite grid.
2017-11-29 v2
A Product Formula for the Normalized Volume of Free Sums of Lattice Polytopes
Published • View Publication • BIB
The free sum is a basic geometric operation among convex polytopes. This note focuses on the relationship between the normalized volume of the free sum and that of the summands. In particular, we show that the normalized volume of the free sum of full dimensional polytopes is precisely the product of the normalized volumes of the summands.
2017-11-28 v6
Asymptotic Chow semistability implies Ding polystability for Gorenstein toric Fano varieties
Published in Mathematics 2023, 11, 4114. Special Issue: New Trends in Algebraic Geometry and Its Applications, 2nd Edition • View Publication • BIB
In this paper, we prove that a Gorenstein toric Fano variety $(X, -K_{X})$ is asymptotically Chow semistable then it is Ding polystable with respect to toric test configurations (Theorem 1.3). This extends the known result obtained by others (Theorem 1.2) to the case where $X$ admits Gorenstein singularity. We also show the additivity of the Mabuchi constant for the product toric Fano varieties in Proposition 1.5 based on the author's recent work (Ono, Sano and Yotsutani in arXiv:2305.05924). Applying this formula to certain toric Fano varieties, we construct infinitely many examples that clarify the difference between relative K-stability and relative Ding stability in a systematic way (Proposition 1.4). Finally, we verify relative Chow stability for Gorenstein toric del Pezzo surfaces using the combinatorial criterion developed in (Yotsutani and Zhou in Tohoku Math. J. 71 (2019), 495-524.) and specifying the symmetry of the associated polytopes as well.
2017-11-28
On a conjecture about the absence of an initial balanced pair for Pisot substitutions
Sellami and Sirvent conjectured that the balanced pair algorithm fails for the following pair of Pisot substitutions: \[ \varphi_0: \begin{array}{l} a \mapsto abc b \mapsto a c \mapsto ac \end{array} \quad \text{ and } \quad \varphi_1: \begin{array}{l} a \mapsto cba b \mapsto a c \mapsto ca \end{array}. \] The conjecture stated the balanced pair algorithm fails because there is no initial balanced pair. In the present note we prove this conjecture using a method based on simultaneous coding of the pair of the fixed points of the morphisms.
2017-11-28 v2
Restricted lonesum matrices
Lonesum matrices are matrices that are uniquely reconstructible from their row and column sum vectors. These matrices are enumerated by the poly-Bernoulli numbers that are related to the multiple zeta values and have a rich literature in number theory. Combinatorially, lonesum matrices are in bijection with many other combinatorial objects: several permutation classes, other matrix classes, acyclic orientations in graphs etc. Motivated of these facts, we study in this paper lonesum matrices with restriction on the number of columns and rows of the same type.
Linear codes from Denniston maximal arcs
Published • View Publication • BIB
In this paper we construct functional codes from Denniston maximal arcs. For $q=2^{4n+2}$ we obtain linear codes with parameters $[(\sqrt{q}-1)(q+1),5,d]_q$ where $\lim_{q \to +\infty} d=(\sqrt{q}-1)q-3\sqrt{q}$. We also find for $q=16,32$ a number of linear codes which appear to have larger minimum distance with respect to the known codes with same length and dimension.
2017-11-28 v2
Stuttering blocks of Ariki-Koike algebras
Published in Algebraic Combinatorics, Volume 2 (2019) no. 1, p. 75-118 • View Publication • BIB
We study a shift action defined on multipartitions and on residue multisets of their Young diagrams. We prove that the minimal orbit cardinality among all multipartitions associated to a given multiset depends only on the orbit cardinality of the multiset. Using abaci, this problem reduces to a convex optimisation problem over the integers with linear constraints. We solve it by proving an existence theorem for binary matrices with prescribed row, column and block sums. Finally, we give some applications to the representation theory of the Hecke algebra of the complex reflection group $G(r,p,n)$.
2017-11-28 v3
When are epsilon-nets small?
Published • View Publication • BIB
In many interesting situations the size of epsilon-nets depends only on $ε$ together with different complexity measures. The aim of this paper is to give a systematic treatment of such complexity measures arising in Discrete and Computational Geometry and Statistical Learning, and to bridge the gap between the results appearing in these two fields. As a byproduct, we obtain several new upper bounds on the sizes of epsilon-nets that generalize/improve the best known general guarantees. In particular, our results work with regimes when small epsilon-nets of size $o(\frac{1}ε)$ exist, which are not usually covered by standard upper bounds. Inspired by results in Statistical Learning we also give a short proof of the Haussler's upper bound on packing numbers.
2017-11-28
Models of Random Knots
Published in J Appl. and Comput. Topology, December 2017, Volume 1, Issue 2, pp 263--296 • View Publication • BIB
The study of knots and links from a probabilistic viewpoint provides insight into the behavior of "typical" knots, and opens avenues for new constructions of knots and other topological objects with interesting properties. The knotting of random curves arises also in applications to the natural sciences, such as in the context of the structure of polymers. We present here several known and new randomized models of knots and links. We review the main known results on the knot distribution in each model. We discuss the nature of these models and the properties of the knots they produce. Of particular interest to us are finite type invariants of random knots, and the recently studied Petaluma model. We report on rigorous results and numerical experiments concerning the asymptotic distribution of such knot invariants. Our approach raises questions of universality and classification of the various random knot models.
2017-11-28 v3
BP-homology of elementary abelian 2-groups: BP-module structure
Published • View Publication • BIB
We determine the BP-module structure, mod higher filtration, of the main part of the BP-homology of elementary abelian 2-groups. The action is related to symmetric polynomials and to Dickson invariants.