Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Placement Delivery Arrays from Combinations of Strong Edge Colorings
Published
• View Publication
• BIB
It has recently been pointed out in both of the works [C. Shanguan, Y. Zhang, and G. Ge, {\em IEEE Trans. Inform. Theory}, 64(8):5755-5766 (2018)] and [Q. Yan, X. Tang, Q. Chen, and M. Cheng, {\em IEEE Commun. Lett.}, 22(2):236-239 (2018)] that placement delivery arrays (PDAs), as coined in [Q. Yan, M. Cheng, X. Tang, and Q. Chen, {\em IEEE Trans. Inform. Theory}, 63(9):5821-5833 (2017)], are equivalent to strong edge colorings of bipartite graphs. In this paper we consider various methods of combining two or more strong edge colorings of bipartite graphs to obtain new ones, and therefore new PDAs. Combining PDAs in certain ways also gives a framework for obtaining PDAs with more robust and flexible parameters. We investigate how the parameters of certain strong edge colorings change after being combined with others and, after comparing the parameters of the resulting PDAs with those of the initial ones, find that subpacketization levels thusly can often be improved.
Graph decompositions in projective geometries
Published
• View Publication
• BIB
Let PG$(\mathbb{F}_q^v)$ be the $(v-1)$-dimensional projective space over $\mathbb{F}_q$ and let $Γ$ be a simple graph of order ${q^k-1\over q-1}$ for some $k$. A 2$-(v,Γ,λ)$ design over $\mathbb{F}_q$ is a collection $\cal B$ of graphs (\textit{blocks}) isomorphic to $Γ$ with the following properties: the vertex set of every block is a subspace of PG$(\mathbb{F}_q^v)$; every two distinct points of PG$(\mathbb{F}_q^v)$ are adjacent in exactly $λ$ blocks. This new definition covers, in particular, the well known concept of a 2$-(v,k,λ)$ design over $\mathbb{F}_q$ corresponding to the case that $Γ$ is complete.
In this work of a foundational nature we illustrate how difference methods allow us to get concrete non-trivial examples of $Γ$-decompositions over $\mathbb{F}_2$ or $\mathbb{F}_3$ for which $Γ$ is a cycle, a path, a prism, a generalized Petersen graph, or a Moebius ladder. In particular, we will discuss in detail the special and very hard case that $Γ$ is complete and $λ=1$, i.e., the Steiner 2-designs over a finite field. Also, we briefly touch the new topic of near resolvable 2-$(v,2,1)$ designs over $\mathbb{F}_q$.
This study has led us to some (probably new) collateral problems concerning difference sets. Supported by multiple examples, we conjecture the existence of infinite families of $Γ$-decompositions over a finite field that can be obtained by suitably labeling the vertices of $Γ$ with the elements of a Singer difference set.
Average Gromov hyperbolicity and the Parisi ansatz
Published
• View Publication
• BIB
Gromov hyperbolicity of a metric space measures the distance of the space from a perfect tree-like structure. The measure has a "worst-case" aspect to it, in the sense that it detects a region in the space which sees the maximum deviation from tree-like structure. In this article we introduce an "average-case" version of Gromov hyperbolicity, which detects whether the "most of the space", with respect to a given probability measure, looks like a tree. The main result of the paper is that if this average hyperbolicity is small, then the space can be approximately embedded in a tree. The proof uses a weighted version of Szemeredi's regularity lemma from graph theory. The result applies to Gromov hyperbolic spaces as well, since average hyperbolicity is bounded above by Gromov hyperbolicity. As an application, we give a construction of hierarchically organized pure states in any model of a spin glass that satisfies the Parisi ultrametricity ansatz.
A characterisation of F_q-conics of PG(2,q^3)
Published
• View Publication
• BIB
This article considers an F_q-conic contained in an F_q-subplane of PG(2,q^3), and shows that it corresponds to a normal rational curve in the Bruck-Bose representation in PG(6,q). This article then characterises which normal rational curves of PG(6,q) correspond via the Bruck-Bose representation to F_q-conics of PG(2,q^3). The normal rational curves of interest are called 3-special, which relates to how the extension of the normal rational curve meets the transversal lines of the regular 2-spread of the Bruck-Bose representation. This article uses geometric arguments that exploit the interaction between the Bruck-Bose representation of PG(2,q^3) in PG(6,q), and the Bose representation of PG(2,q^3) in PG(8,q).
Fair Integral Network Flows
Published
• View Publication
• BIB
A strongly polynomial algorithm is developed for finding an integer-valued feasible $st$-flow of given flow-amount which is decreasingly minimal on a specified subset $F$ of edges in the sense that the largest flow-value on $F$ is as small as possible, within this, the second largest flow-value on $F$ is as small as possible, within this, the third largest flow-value on $F$ is as small as possible, and so on. A characterization of the set of these $st$-flows gives rise to an algorithm to compute a cheapest $F$-decreasingly minimal integer-valued feasible $st$-flow of given flow-amount. Decreasing minimality is a possible formal way to capture the intuitive notion of fairness.
Homogeneous Dual Ramsey Theorem
For positive integers $k < n$ such that $k$ divides $n$, let $(n)^k_{\hom}$ be the set of homogeneous $k$-partitions of $\{1, \dots, n\}$, that is, the set of partitions of $\{1, \dots, n\}$ into $k$ classes of the same cardinality. In the article "Ramsey properties of infinite measure algebras and topological dynamics of the group of measure preserving automorphisms: some results and an open problem" by Kechris, Sokic, and Todorcevic, the following question was asked:
Is it true that given positive integers $k < m$ and $N$ such that $k$ divides $m$, there exists a number $n>m$ such that $m$ divides $n$, satisfying that for every coloring $(n)^k_{\hom}=C_1\cup\dots\cup C_N$ we can choose $u\in (n)^m_{\hom}$ such that $\{t\in (n)^k_{\hom}: t\mbox{ is coarser than } u\}\subseteq C_i$ for some $i$?
In this note we give a positive answer to that question. This result turns out to be a homogeneous version of the finite Dual Ramsey Theorem of Graham-Rothschild. As explained by Kechris, Sokic, and Todorcevic in their article, our result also proves that the class $\mathcal{OMBA}_{\mathbb Q_2}$ of naturally ordered finite measure algebras with measure taking values in the dyadic rationals has the Ramsey property.
On even-cycle-free subgraphs of the doubled Johnson graphs
Published
• View Publication
• BIB
The generalized Turán number ${\rm ex}(G,H)$ is the maximum number of edges in an $H$-free subgraph of a graph $G.$ It is an important extension of the classical Turán number ${\rm ex}(n,H)$, which is the maximum number of edges in a graph with $n$ vertices that does not contain $H$ as a subgraph. In this paper, we consider the maximum number of edges in an even-cycle-free subgraph of the doubled Johnson graphs $J(n;k,k+1)$, which are bipartite subgraphs of hypercube graphs. We give an upper bound for ${\rm ex}(J(n;k,k+1),C_{2r})$ with any fixed $k\in\mathbb{Z}^+$ and any $n\in\mathbb{Z}^+$ with $n\geq 2k+1.$ We also give an upper bound for ${\rm ex}(J(2k+1;k,k+1),C_{2r})$ with any $k\in\mathbb{Z}^+,$ where $J(2k+1;k,k+1)$ is known as doubled Odd graph $\widetilde{O}_{k+1}.$ This bound induces that the number of edges in any $C_{2r}$-free subgraph of $\widetilde{O}_{k+1}$ is $o(e(\widetilde{O}_{k+1}))$ for $r\geq 6,$ which also implies a Ramsey-type result.
Subspaces intersecting in at most a point
Published
• View Publication
• BIB
We improve on the lower bound of the maximum number of planes in $\operatorname{PG}(8,q)\cong\F_q^{9}$ pairwise intersecting in at most a point. In terms of constant dimension codes this leads to $A_q(9,4;3)\ge q^{12}+ 2q^8+2q^7+q^6+2q^5+2q^4-2q^2-2q+1$. This result is obtained via a more general construction strategy, which also yields other improvements.
Regularity of symbolic powers of edge ideals of Cameron-Walker graphs
Published
• View Publication
• BIB
A Cameron-Walker graph is a graph for which the matching number and the induced matching number are the same. Assume that $G$ is a Cameron-Walker graph with edge ideal $I(G)$, and let $\ind-match(G)$ be the induced matching number of $G$. It is shown that for every integer $s\geq 1$, we have the equality ${\rm reg}(I(G)^{(s)})=2s+\ind-match(G)-1$, where $I(G)^{(s)}$ denotes the $s$-th symbolic power of $I(G)$.
On strictly Deza graphs derived from the Berlekamp-van Lint-Seidel graph
Published
• View Publication
• BIB
In this paper, we find strictly Deza graphs that can be obtained from the Berlekamp-van Lint-Seidel graph by applying dual Seidel switching.
Geometric criteria for realizability of tensegrities in higher dimensions
Published
• View Publication
• BIB
In this paper we study a classical Maxwell question on the existence of self-stresses for frameworks, which are called tensegrities. We give a complete answer on geometric conditions of at most $(d+1)$-valent tensegrities in $\mathbb{R}^d$ both in terms of discrete multiplicative 1-forms and in terms of "meet" and "join" operations in the Grassmann-Cayley algebra.
Identifiability of Graphs with Small Color Classes by the Weisfeiler-Leman Algorithm
As it is well known, the isomorphism problem for vertex-colored graphs with color multiplicity at most 3 is solvable by the classical 2-dimensional Weisfeiler-Leman algorithm (2-WL). On the other hand, the prominent Cai-Fürer-Immerman construction shows that even the multidimensional version of the algorithm does not suffice for graphs with color multiplicity 4. We give an efficient decision procedure that, given a graph $G$ of color multiplicity 4, recognizes whether or not $G$ is identifiable by 2-WL, that is, whether or not 2-WL distinguishes $G$ from any non-isomorphic graph. In fact, we solve the much more general problem of recognizing whether or not a given coherent configuration of maximum fiber size 4 is separable. This extends our recognition algorithm to graphs of color multiplicity 4 with directed and colored edges.
Our decision procedure is based on an explicit description of the class of graphs with color multiplicity 4 that are not identifiable by 2-WL. The Cai-Fürer-Immerman graphs of color multiplicity 4 distinctly appear here as a natural subclass, which demonstrates that the Cai-Fürer-Immerman construction is not ad hoc. Our classification reveals also other types of graphs that are hard for 2-WL. One of them arises from patterns known as $(n_3)$-configurations in incidence geometry.
On the Intersection Numbers of Finite Groups
The covering number of a nontrivial finite group $G$, denoted $σ(G)$, is the smallest number of proper subgroups of $G$ whose set-theoretic union equals $G$. In this article, we focus on a dual problem to that of covering numbers of groups, which involves maximal subgroups of finite groups. For a nontrivial finite group $G$, we define the intersection number of $G$, denoted $ι(G)$, to be the minimum number of maximal subgroups whose intersection equals the Frattini subgroup of $G$. We elucidate some basic properties of this invariant, and give an exact formula for $ι(G)$ when $G$ is a nontrivial finite nilpotent group. In addition, we determine the intersection numbers of a few infinite families of non-nilpotent groups. We conclude by discussing a generalization of the intersection number of a nontrivial finite group and pose some open questions about these invariants.
Hitting Topological Minor Models in Planar Graphs is Fixed Parameter Tractable
Published
• View Publication
• BIB
For a finite collection of graphs ${\cal F}$, the \textsc{${\cal F}$-TM-Deletion} problem has as input an $n$-vertex graph $G$ and an integer $k$ and asks whether there exists a set $S \subseteq V(G)$ with $|S| \leq k$ such that $G \setminus S$ does not contain any of the graphs in ${\cal F}$ as a topological minor. We prove that for every such ${\cal F}$, \textsc{${\cal F}$-TM-Deletion} is fixed parameter tractable on planar graphs. Our algorithm runs in a $2^{\mathcal{O}(k^2)}\cdot n^{2}$ time or, alternatively in $2^{\mathcal{O}(k)}\cdot n^{4}$ time. Our techniques can easily be extended to graphs that are embeddable on any fixed surface.
The Game of Poker Chips, Dominoes and Survival
Published
• View Publication
• BIB
The Game of Poker Chips, Dominoes and Survival fosters team building and high level cooperation in large groups, and is a tool applied in management training exercises. Each player, initially given two colored poker chips, is allowed to make exchanges with the game coordinator according to two rules, and must secure a domino before time is called in order to `survive'. Though the rules are simple, it is not evident by their form that the survival of the entire group requires that they cooperate at a high level. From the point of view of the game coordinator, the difficulty of the game for the group can be controlled not only by the time limit, but also by the initial distribution of chips, in a way we make precise by a time complexity type argument. That analysis also provides insight into good strategies for group survival, those taking the least amount of time. In addition, coordinators may also want to be aware of when the game is `solvable', that is, when their initial distribution of chips permits the survival of all group members if given sufficient time to make exchanges. It turns out that the game is solvable if and only if the initial distribution contains seven chips that have one of two particular color distributions. In addition to being a lively game to play in management training or classroom settings, the analysis of the game after play can make for an engaging exercise in any basic discrete mathematics course to give a basic introduction to elements of game theory, logical reasoning, number theory and the computation of algorithmic complexities.
Exact Formulae for the Fractional Partition Functions
Published
• View Publication
• BIB
The partition function $p(n)$ has been a testing ground for applications of analytic number theory to combinatorics. In particular, Hardy and Ramanujan invented the "circle method" to estimate the size of $p(n)$, which was later perfected by Rademacher who obtained an exact formula. Recently, Chan and Wang considered the fractional partition functions, defined by $\sum_{n = 0}^\infty p_α(n)x^n := \prod_{k=1}^\infty (1-x^k)^{-α}$. In this paper we use the Rademacher circle method to find an exact formula for $p_α(n)$ and study its implications, including log-concavity and the higher-order generalizations (i.e., the Turán inequalities) that $p_α(n)$ satisfies.
A Direct Construction of Primitive Formally Dual Pairs Having Subsets with Unequal Sizes
Published
• View Publication
• BIB
The concept of formal duality was proposed by Cohn, Kumar and Schürmann, which reflects a remarkable symmetry among energy-minimizing periodic configurations. This formal duality was later translated into a purely combinatorial property by Cohn, Kumar, Reiher and Schürmann, where the corresponding combinatorial objects were called formally dual pairs. So far, except the results presented in Li and Pott (arXiv:1810.05433v3), we have little information about primitive formally dual pairs having subsets with unequal sizes. In this paper, we propose a direct construction of primitive formally dual pairs having subsets with unequal sizes in $\mathbb{Z}_2 \times \mathbb{Z}_4^{2m}$, where $m \ge 1$. This construction recovers an infinite family obtained in Li and Pott (arXiv:1810.05433v3), which was derived by employing a recursive approach. Although the resulting infinite family was known before, the idea of the direct construction is new and provides more insights which were not known from the recursive approach.
Some graft transformations and their applications on distance (signless) Laplacian spectra of graphs
Suppose that the vertex set of a connected graph $G$ is $V(G)=\{v_1,\cdots,v_n\}$. Then we denote by $Tr_{G}(v_i)$ the sum of distances between $v_i$ and all other vertices of $G$. Let $Tr(G)$ be the $n\times n$ diagonal matrix with its $(i,i)$-entry equal to $Tr_{G}(v_{i})$ and $D(G)$ be the distance matrix of $G$. Then $Q_{D}(G)=Tr(G)+D(G)$ and $L_{D}(G)=Tr(G)-D(G)$ are respectively the distance signless Laplacian matrix and distance Laplacian matrix of $G$. The largest eigenvalues $ρ_{Q}(G)$ and $ρ_{L}(G)$ of $Q_D(G)$ and $L_D(G)$ are respectively called distance signless Laplacian spectral radius and distance Laplacian spectral radius of $G$. In this paper we give some graft transformations and use them to characterize the tree $T$ such that $ρ_{Q}(T)$ and $ρ_{L}(T)$ attain the maximum among all trees of order $n$ with given number of pendant vertices.
The number of rooted forests in circulant graphs
Published
• View Publication
• BIB
In this paper, we develop a new method to produce explicit formulas for the number $f_{G}(n)$ of rooted spanning forests in the circulant graphs $ G=C_{n}(s_1,s_2,\ldots,s_k)$ and $ G=C_{2n}(s_1,s_2,\ldots,s_k,n).$ These formulas are expressed through Chebyshev polynomials. We prove that in both cases the number of rooted spanning forests can be represented in the form $f_{G}(n)=p\,a(n)^2,$ where $a(n)$ is an integer sequence and $p$ is a prescribed natural number depending on the parity of $n$. Finally, we find an asymptotic formula for $f_{G}(n)$ through the Mahler measure of the associated Laurent polynomial $P(z)=2k+1-\sum\limits_{i=1}^k(z^{s_i}+z^{-s_i}).$
Geometric moves relate geometric triangulations
Published
• View Publication
• BIB
A geometric triangulation of a Riemannian manifold is a triangulation where the interior of each simplex is totally geodesic. Bistellar moves are local changes to the triangulation which are higher dimensional versions of the flip operation of triangulations in a plane. We show that geometric triangulations of a compact hyperbolic, spherical or Euclidean manifold are connected by geometric bistellar moves (possibly adding or removing vertices), after taking sufficiently many derived subdivisions. For dimensions 2 and 3, we show that geometric triangulations of such manifolds are directly related by geometric bistellar moves (without having to take derived subdivision).