Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Counterexamples to Hedetniemi's conjecture
The chromatic number of $G\times H$ can be smaller than the minimum of the chromatic numbers of finite simple graphs $G$ and $H$.
Wall-crossing and recursion formulae for tropical Jucys covers
In recent work, the authors derived a tropical interpretation of monotone and strictly monotone double Hurwitz numbers. In this paper, we apply the technique of tropical flows to this interpretation in order to provide a new proof of the piecewise polynomiality of these enumerative invariants. Moreover, we derive new types of wall-crossing formulae.
Stable multivariate generalizations of matching polynomials
The first part of this note concerns stable averages of multivariate matching polynomials. In proving the existence of infinite families of bipartite Ramanujan $d$-coverings, Hall, Puder and Sawin introduced the $d$-matching polynomial of a graph $G$, defined as the uniform average of matching polynomials over the set of $d$-sheeted covering graphs of $G$. We prove that a natural multivariate version of the $d$-matching polynomial is stable, consequently giving a short direct proof of the real-rootedness of the $d$-matching polynomial. Our theorem also includes graphs with loops, thus answering a question of said authors. Furthermore we define a weaker notion of matchings for hypergraphs and prove that a family of natural polynomials associated to such matchings are stable. In particular this provides a hypergraphic generalization of the classical Heilmann-Lieb theorem.
The Finite Matroid-Based Valuation Conjecture is False
The matroid-based valuation conjecture of Ostrovsky and Paes Leme states that all gross substitutes valuations on $n$ items can be produced from merging and endowments of weighted ranks of matroids defined on at most $m(n)$ items. We show that if $m(n) = n$, then this statement holds for $n \leq 3$ and fails for all $n \geq 4$. In particular, the set of gross substitutes valuations on $n \geq 4$ items is strictly larger than the set of matroid based valuations defined on the ground set $[n]$. Our proof uses matroid theory and discrete convex analysis to explicitly construct a large family of counter-examples. It indicates that merging and endowment by themselves are poor operations to generate gross substitutes valuations. We also connect the general MBV conjecture and related questions to long-standing open problems in matroid theory, and conclude with open questions at the intersection of this field and economics.
Fifth Geometric--Arithmetic Index VS Atom--Bond Connectivity Index and Heat of Formation
The geometric--arithmetic indices are widely considered in the chemical graph theory in the last decade. The reason of introducing new indices is to gain prediction of target properties of considered molecules that is better than the prediction obtained by already known indices. In the case of the fifth geometric--arithmetic index hitherto no ability of prediction of some molecule property has been considered.
In this paper we investigate correlations between the fifth geometric--arithmetic index and some other degree--based topological indices on the family of octane isomers and polyaromatic hydrocarbons. Since a very good correlation is established with the well known atom--bond connectivity index for polyaromatic hydrocarbons and then for the alkane series, the relation between the heat of formation and the fifth geometric--arithmetic index is examined and a good correlation is confirmed in that case as well.
Initial ideals of tangent cones to Richardson varieties in the Symplectic Grassmannian
We give an explicit grobner basis for the ideal of the tangent cone at any T-fixed point of a Richardson variety in the Symplectic Grassmannian, thus generalizing a result of Ghorpade and Raghavan.
Correcting Codes for Asymmetric Single Magnitude Four Error
An error model with asymmetric single magnitude four error is considered. This paper is about constructions of codes correcting single error over $\mathbb{Z}_{2^{a}3^{b}r}$. Firstly, we reduce the construction of a maximal size $B_{1}[4](2^{a}3^{b}r)$ set for $a\geq4$ and $\gcd(r,6)=1$ to the construction of a maximal size $B_{1}[4](2^{a-3}3^{b}r)$ set. Further, we will show that maximal size $B_{1}[4](8\cdot3^{b}r)$ sets can be reduced to maximal size $B_{1}[4](3^{b}r)$ sets. Finally, we give a lower bounds of maximal size $B_{1}[4](2r)$ and $B_{1}[4](2\cdot3^{b}r)$ sets.
Some extremal results on hypergraph Turán problems
For two $r$-graphs $\mathcal{T}$ and $\mathcal{H}$, let $\text{ex}_{r}(n,\mathcal{T},\mathcal{H})$ be the maximum number of copies of $\mathcal{T}$ in an $n$-vertex $\mathcal{H}$-free $r$-graph. The determination of Turán number $\text{ex}_{r}(n,\mathcal{T},\mathcal{H})$ has become the fundamental core problem in extremal graph theory ever since the pioneering work Turán's Theorem was published in $1941$. Although we have some rich results for the simple graph case, only sporadic results have been known for the hypergraph Turán problems. In this paper, we mainly focus on the function $\text{ex}_{r}(n,\mathcal{T},\mathcal{H})$ when $\mathcal{H}$ is one of two different hypergraph extensions of the complete bipartite graph $K_{s,t}$. The first extension is the complete bipartite $r$-graph $K_{s,t}^{(r)}$, which was introduced by Mubayi and Verstraëte~[J. Combin. Theory Ser. A, 106: 237--253, 2004]. Using the powerful random algebraic method, we show that if $s$ is sufficiently larger than $t$, then \[\text{ex}_{r}(n,\mathcal{T},K_{s,t}^{(r)})=Ω(n^{v-\frac{e}{t}}),\] where $\mathcal{T}$ is an $r$-graph with $v$ vertices and $e$ edges. In particular, when $\mathcal{T}$ is an edge or some specified complete bipartite $r$-graph, we can determine their asymptotics.
The second important extension is the complete $r$-partite $r$-graph $K_{s_{1},s_{2},\ldots,s_{r}}^{(r)}$, which has been widely studied. When $r=3$, we provide an explicit construction giving \[\text{ex}_{3}(n,K_{2,2,7}^{(3)})\geqslant\frac{1}{27}n^{\frac{19}{7}}+o(n^{\frac{19}{7}}).\] Our construction is based on the Norm graph, and improves the lower bound $Ω(n^{\frac{73}{27}})$ obtained by probabilistic method.
The sandpile group of a trinity and a canonical definition for the planar Bernardi action
Published in Combinatorica 42 (2022), suppl. 2, 1283--1316
• Search Publication
Baker and Wang define the so-called Bernardi action of the sandpile group of a ribbon graph on the set of its spanning trees. This potentially depends on a fixed vertex of the graph but it is independent of the base vertex if and only if the ribbon structure is planar, moreover, in this case the Bernardi action is compatible with planar duality. Earlier, Chan, Church and Grochow and Chan, Glass, Macauley, Perkinson, Werner and Yang proved analogous results about the rotor-routing action. Baker and Wang moreover showed that the Bernardi and rotor-routing actions coincide for plane graphs.
We clarify this still confounding picture by giving a canonical definition for the planar Bernardi/rotor-routing action, and also a canonical isomorphism between sandpile groups of planar dual graphs. Our canonical definition implies the compatibility with planar duality via an extremely short argument. We also show hidden symmetries of the problem by proving our results in the slightly more general setting of balanced plane digraphs.
Any balanced plane digraph gives rise to a trinity, i.e., a triangulation of the sphere with a three-coloring of the $0$-simplices. Our most important tool is a group associated to trinities, introduced by Cavenagh and Wanless, and a result of a subset of the authors characterizing the Bernardi bijection in terms of a dissection of a root polytope.
On the Wiener complexity and the Wiener index of fullerene graphs
Published
• View Publication
• BIB
Fullerenes are molecules in the form of cage-like polyhedra, consisting solely of carbon atoms. Fullerene graphs are mathematical models of fullerene molecules. The transmission of a vertex $v$ of a graph is the sum of distances from $v$ to all the other vertices. The number of different vertex transmissions is called the Wiener complexity of a graph. Some calculation results on the Wiener complexity and the Wiener index of fullerene graphs of order $n \le 216$ are presented. Structure of graphs with the maximal Wiener complexity or the maximal Wiener index is discussed and formulas for the Wiener index of several families of graphs are obtained.
Maximum $\mathcal H$-free subgraphs
Published
• View Publication
• BIB
Given a family of hypergraphs $\mathcal H$, let $f(m,\mathcal H)$ denote the largest size of an $\mathcal H$-free subgraph that one is guaranteed to find in every hypergraph with $m$ edges. This function was first introduced by Erdős and Komlós in 1969 in the context of union-free families, and various other special cases have been extensively studied since then. In an attempt to develop a general theory for these questions, we consider the following basic issue: which sequences of hypergraph families $\{\mathcal H_m\}$ have bounded $f(m,\mathcal H_m)$ as $m\to\infty$? A variety of bounds for $f(m,\mathcal H_m)$ are obtained which answer this question in some cases. Obtaining a complete description of sequences $\{\mathcal H_m\}$ for which $f(m,\mathcal H_m)$ is bounded seems hopeless.
Measurable versions of Vizing's theorem
We establish two versions of Vizing's theorem for Borel multi-graphs whose vertex degrees and edge multiplicities are uniformly bounded by respectively $Δ$ and $π$. The ``approximate'' version states that, for any Borel probability measure on the edge set and any $ε>0$, we can properly colour all but $ε$-fraction of edges with $Δ+π$ colours in a Borel way. The ``measurable'' version, which is our main result, states that if, additionally, the measure is invariant, then there is a measurable proper edge colouring of the whole edge set with at most $Δ+π$ colours.
Generalized Intransitive Dice II: Partition Constructions
A generalized $N$-sided die is a random variable $D$ on a sample space of $N$ equally likely outcomes taking values in the set of positive integers. We say of independent $N$ sided dice $D_i, D_j$ that $D_i$ beats $D_j$, written $D_i \to D_j$, if $Prob(D_i > D_j) > \frac{1}{2} $. A collection of dice $\{ D_i : i = 1, \dots, n \}$ models a tournament on the set $[n] = \{ 1, 2, \dots, n \}$, i.e. a complete digraph with $n$ vertices, when $D_i \to D_j$ if and only if $i \to j$ in the tournament. By using $n$-fold partitions of the set $[Nn] $ with each set of size $N$ we can model an arbitrary tournament on $[n]$. A bound on the required size of $N$ is obtained by examples with $N = 3^{n-2}$.
Cycles of Sums of Integers
Published in The Fibonacci Quarterly, May 2020, vol. 58 no. 2, 126-139
• View Publication
• BIB
We study the period of the linear map $T:\mathbb{Z}_m^n\rightarrow \mathbb{Z}_m^n:(a_0,\dots,a_{n-1})\mapsto(a_0+a_1,\dots,a_{n-1}+a_0)$ as a function of $m$ and $n$, where $\mathbb{Z}_m$ stands for the ring of integers modulo $m$. Since this map is a variant of the Ducci sequence, several known results are adapted in the context of $T$. The main theorem of this paper states that the period modulo $m$ can be deduced from the prime factorization of $m$ and the periods of its prime factors. We also characterize the tuples that belong to a cycle when $m$ is prime.
On optimal weak algebraic manipulation detection codes and weighted external difference families
This paper provides a combinatorial characterization of weak algebraic manipulation detection (AMD) codes via a kind of generalized external difference families called bounded standard weighted external difference families (BSWEDFs). By means of this characterization, we improve a known lower bound on the maximum probability of successful tampering for the adversary's all possible strategies in weak AMD codes. We clarify the relationship between weak AMD codes and BSWEDFs with various properties. We also propose several explicit constructions for BSWEDFs, some of which can generate new optimal weak AMD codes.
Highest weight vectors in plethysms
Published
• View Publication
• BIB
We realize the $\mathrm{GL}_n(\mathbb{C})$-modules $S^k(S^m(\mathbb{C}^n))$ and $Λ^k(S^m(\mathbb{C}^n))$ as spaces of polynomial functions on $n\times k$ matrices. In the case $k=3$, we describe explicitly all the $\mathrm{GL}_n(\mathbb{C})$-highest weight vectors which occur in $S^3(S^m(\mathbb{C}^n))$ and in $Λ^3(S^m(\mathbb{C}^n))$ respectively.
Projective Equivalence for the Roots of Unity
Published
• View Publication
• BIB
Let $μ_{\infty}\subseteq\mathbb{C}$ be the collection of roots of unity and $\mathcal{C}_{n}:=\{(s_{1},\cdots,s_{n})\inμ_{\infty}^{n}:s_{i}\neq s_{j}\text{ for any }1\leq i<j\leq n\}$. Two elements $(s_{1},\cdots,s_{n})$ and $(t_{1},\cdots,t_{n})$ of $\mathcal{C}_{n}$ are said to be projectively equivalent if there exists $γ\in\text{PGL}(2,\mathbb{C})$ such that $γ(s_{i})=t_{i}$ for any $1\leq i\leq n$. In this article, we will give a complete classification for the projectively equivalent pairs. As a consequence, we will show that the maximal length for the nontrivial projectively equivalent pairs is $14$.
Binomial arrays and generalized Vandermonde identities
In previous work on Clebsch-Gordan coefficients, certain remarkable hexagonal arrays of integers are constructed that display behaviors found in Pascal's Triangle. We explain these behaviors further using the binomial transform and discrete convolution. Here we begin by introducing the notion of a binomial array and develop several "hockey stick" rules. Then we give an algorithm that generalizes the classical Vandermonde Identity; this produces infinite families of summation formulas, which we use to expand and prove certain combinatorial identities for the Catalan numbers. Finally, we recast the theory in terms of the finite-dimensional representation theory of $SL(2, F)$.
Orthonormal representations of $H$-free graphs
Let $x_1, \ldots, x_n \in \mathbb{R}^d$ be unit vectors such that among any three there is an orthogonal pair. How large can $n$ be as a function of $d$, and how large can the length of $x_1 + \ldots + x_n$ be? The answers to these two celebrated questions, asked by Erdős and Lovász, are closely related to orthonormal representations of triangle-free graphs, in particular to their Lovász $\vartheta$-function and minimum semidefinite rank. In this paper, we study these parameters for general $H$-free graphs. In particular, we show that for certain bipartite graphs $H$, there is a connection between the Turán number of $H$ and the maximum of $\vartheta \left( \overline{G} \right)$ over all $H$-free graphs $G$.
Preservation of normality by non-oblivious group selection
We give two different proofs of the fact that non-oblivious selection via regular group sets preserves normality. Non-oblivious here means that whether or not a symbol is selected can depend on the symbol itself. One proof relies on the incompressibility of normal sequences, the other on the use of augmented dynamical systems.