Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Maximum average degree and relaxed coloring
Published in Discrete Mathematics, 2017
• View Publication
• BIB
We say a graph is $(d, d, \ldots, d, 0, \ldots, 0)$-colorable with $a$ of $d$'s and $b$ of $0$'s if $V(G)$ may be partitioned into $b$ independent sets $O_1,O_2,\ldots,O_b$ and $a$ sets $D_1, D_2,\ldots, D_a$ whose induced graphs have maximum degree at most $d$. The maximum average degree, $mad(G)$, of a graph $G$ is the maximum average degree over all subgraphs of $G$. In this note, for nonnegative integers $a, b$, we show that if $mad(G)< \frac{4}{3}a + b$, then $G$ is $(1_1, 1_2, \ldots, 1_a, 0_1, \ldots, 0_b)$-colorable.
Complete regular dessins and skew-morphisms of cyclic groups
Published
• View Publication
• BIB
A dessin is a 2-cell embedding of a connected $2$-coloured bipartite graph into an orientable closed surface. A dessin is regular if its group of orientation- and colour-preserving automorphisms acts regularly on the edges. In this paper we study regular dessins whose underlying graph is a complete bipartite graph $K_{m,n}$, called $(m,n)$-complete regular dessins. The purpose is to establish a rather surprising correspondence between $(m,n)$-complete regular dessins and pairs of skew-morphisms of cyclic groups. A skew-morphism of a finite group $A$ is a bijection $\varphi\colon A\to A$ that satisfies the identity $\varphi(xy)=\varphi(x)\varphi^{π(x)}(y)$ for some function $π\colon A\to\mathbb{Z}$ and fixes the neutral element of~$A$. We show that every $(m,n)$-complete regular dessin $\mathcal{D}$ determines a pair of reciprocal skew-morphisms of the cyclic groups $\mathbb{Z}_n$ and $\mathbb{Z}_m$.
Conversely, $\mathcal{D}$ can be reconstructed from such a reciprocal pair.
As a consequence, we prove that complete regular dessins, exact bicyclic groups with a distinguished pair of generators, and pairs of reciprocal skew-morphisms of cyclic groups are all in one-to-one correspondence. Finally, we apply the main result to determining all pairs of integers $m$ and $n$ for which there exists, up to interchange of colours, exactly one $(m,n)$-complete regular dessin. We show that the latter occurs precisely when every group expressible as a product of cyclic groups of order $m$ and $n$ is abelian, which eventually comes down to the condition $\gcd(m,φ(n))=\gcd(φ(m),n)=1$, where $φ$ is Euler's totient function.
Defective and Clustered Choosability of Sparse Graphs
Published in Combinator. Probab. Comp. 28 (2019) 791-810
• View Publication
• BIB
An (improper) graph colouring has "defect" $d$ if each monochromatic subgraph has maximum degree at most $d$, and has "clustering" $c$ if each monochromatic component has at most $c$ vertices. This paper studies defective and clustered list-colourings for graphs with given maximum average degree. We prove that every graph with maximum average degree less than $\frac{2d+2}{d+2} k$ is $k$-choosable with defect $d$. This improves upon a similar result by Havet and Sereni [J. Graph Theory, 2006]. For clustered choosability of graphs with maximum average degree $m$, no $(1-ε)m$ bound on the number of colours was previously known. The above result with $d=1$ solves this problem. It implies that every graph with maximum average degree $m$ is $\lfloor{\frac{3}{4}m+1}\rfloor$-choosable with clustering 2. This extends a result of Kopreski and Yu [Discrete Math., 2017] to the setting of choosability. We then prove two results about clustered choosability that explore the trade-off between the number of colours and the clustering. In particular, we prove that every graph with maximum average degree $m$ is $\lfloor{\frac{7}{10}m+1}\rfloor$-choosable with clustering $9$, and is $\lfloor{\frac{2}{3}m+1}\rfloor$-choosable with clustering $O(m)$. As an example, the later result implies that every biplanar graph is 8-choosable with bounded clustering. This is the best known result for the clustered version of the earth-moon problem. The results extend to the setting where we only consider the maximum average degree of subgraphs with at least some number of vertices. Several applications are presented.
Matrix valued inverse problems on graphs with application to elastodynamic networks
We consider the inverse problem of finding matrix valued edge or nodal quantities in a graph from measurements made at a few boundary nodes. This is a generalization of the problem of finding resistors in a resistor network from voltage and current measurements at a few nodes, but where the voltages and currents are vector valued. The measurements come from solving a series of Dirichlet problems, i.e. finding vector valued voltages at some interior nodes from voltages prescribed at the boundary nodes. We give conditions under which the Dirichlet problem admits a unique solution and study the degenerate case where the edge weights are rank deficient. Under mild conditions, the map that associates the matrix valued parameters to boundary data is analytic. This has practical consequences to iterative methods for solving the inverse problem numerically and to local uniqueness of the inverse problem. Our results allow for complex valued weights and give also explicit formulas for the Jacobian of the parameter to data map in terms of certain products of Dirichlet problem solutions. An application to inverse problems arising in elastodynamic networks (networks of springs, masses and dampers) is presented.
A new distance-regular graph of diameter 3 on 1024 vertices
Published in Des. Codes Cryptogr. 87(9) 2019, 2091--2101
• View Publication
• BIB
The dodecacode is a nonlinear additive quaternary code of length $12$. By puncturing it at any of the twelve coordinates, we obtain a uniformly packed code of distance $5$. In particular, this latter code is completely regular but not completely transitive. Its coset graph is distance-regular of diameter three on $2^{10}$ vertices, with new intersection array $\{33,30,15;1,2,15\}$. The automorphism groups of the code, and of the graph, are determined. Connecting the vertices at distance two gives a strongly regular graph of (previously known) parameters $(2^{10},495,238,240)$. Another strongly regular graph with the same parameters is constructed on the codewords of the dual code. A non trivial completely regular binary code of length $33$ is constructed.
Breaking the 6/5 threshold for sums and products modulo a prime
Let $A \subset \mathbb{F}_p$ of size at most $p^{3/5}$. We show $$|A+A| + |AA| \gtrsim |A|^{6/5 + c},$$ for $c = 4/305$. Our main tools are the cartesian product point--line incidence theorem of Stevens and de Zeeuw and the theory of higher energies developed by the second author.
Nivat's Conjecture and Pattern Complexity in Algebraic Subshifts
Published
• View Publication
• BIB
We study Nivat's conjecture on algebraic subshifts and prove that in some of them every low complexity configuration is periodic. This is the case in the Ledrappier subshift (the 3-dot system) and, more generally, in all two-dimensional algebraic subshifts over $\mathbb{F}_p$ defined by a polynomial without line polynomial factors in more than one direction. We also find an algebraic subshift that is defined by a product of two line polynomials that has this property (the 4-dot system) and another one that does not.
The determinant of the second additive compound of a square matrix: a formula and applications
A formula is presented for the determinant of the second additive compound of a square matrix in terms of coefficients of its characteristic polynomial. This formula can be used to make claims about the eigenvalues of polynomial matrices, with sign patterns as an important special case. A number of corollaries and applications of this formula are given.
Independent graph of the finite group
Let a and b be any two elements in the group Zn of integers modulo n. Then a and b are called independent if O(a) not equal to O(b) . In this paper, we introduce and study independent graph of the group Zn, denoted by IG(Zn), is undirected simple graph whose vertex set is Zn and two distinct vertices a and b are adjacent in IG(Zn) if and only if a and b are independent in Zn.
Degeneracy and Colorings of Squares of Planar Graphs without 4-Cycles
Published in Combinatorica. Vol. 40(5), 2020, pp. 625-653
• View Publication
• BIB
We prove several results on coloring squares of planar graphs without 4-cycles. First, we show that if $G$ is such a graph, then $G^2$ is $(Δ(G)+72)$-degenerate. This implies an upper bound of $Δ(G)+73$ on the chromatic number of $G^2$ as well as on several variants of the chromatic number such as the list-chromatic number, paint number, Alon--Tarsi number, and correspondence chromatic number. We also show that if $Δ(G)$ is sufficiently large, then the upper bounds on each of these parameters of $G^2$ can all be lowered to $Δ(G)+2$ (which is best possible). To complement these results, we show that 4-cycles are unique in having this property. Specifically, let $S$ be a finite list of positive integers, with $4\notin S$. For each constant $C$, we construct a planar graph $G_{S,C}$ with no cycle with length in $S$, but for which $χ(G_{S,C}^2) > Δ(G_{S,C})+C$.
No Threshold graphs are cospectral
Published
• View Publication
• BIB
A threshold graph G on n vertices is defined by binary sequence of length n. In this paper we present an explicit formula for computing the characteristic polynomial of a threshold graph from its binary sequence. Applications include obtaining a formula for the determinant of adjacency matrix of a threshold graph and showing that no two nonisomorphic threshold graphs are cospectral.
Quadratic Approximation of Generalized Tribonacci Sequences
Published in Discussiones Mathematicae, General Algebra and Applications 38 (2018), 227--237
• View Publication
• BIB
In this paper, we give quadratic approximation of generalized Tribonacci sequence $\{V_{n}\}_{n\geq0}$ defined by Eq. (\ref{eq:7}) and use this result to give the matrix form of the $n$-th power of a companion matrix of $\{V_{n}\}_{n\geq0}$. Then we re-prove the cubic identity or Cassini-type formula for $\{V_{n}\}_{n\geq0}$ and the Binet's formula of the generalized Tribonacci quaternions.
Relating the cut distance and the weak* topology for graphons
Published in Journal of Combinatorial Theory, series B, Volume 147, 2021, Pages 252-298
• View Publication
• BIB
The theory of graphons is ultimately connected with the so-called cut norm. In this paper, we approach the cut norm topology via the weak* topology (when considering a predual of $L^{1}$-functions). We prove that a sequence $W_1,W_2,W_3,\ldots$ of graphons converges in the cut distance if and only if we have equality of the sets of weak* accumulation points and of weak* limit points of all sequences of graphons $W_1',W_2',W_3',\ldots$ that are weakly isomorphic to $W_1,W_2,W_3,\ldots$. We further give a short descriptive set theoretic argument that each sequence of graphons contains a subsequence with the property above. This in particular provides an alternative proof of the theorem of Lovász and Szegedy about compactness of the space of graphons. We connect these results to "multiway cut" characterization of cut distance convergence from [Ann. of Math. (2) 176 (2012), no. 1, 151-219].
These results are more naturally phrased in the Vietoris hyperspace $K$ over graphons with the weak* topology. We show that graphons with the cut distance topology are homeomorphic to a closed subset of $K$, and deduce several consequences of this fact.
From these concepts a new order on the space of graphons emerges. This order allows to compare how structured two graphons are. We establish basic properties of this "structurdness order".
Approximating real-rooted and stable polynomials, with combinatorial applications
Published
• View Publication
• BIB
Let $p(x)=a_0 + a_1 x + \ldots + a_n x^n$ be a polynomial with all roots real and satisfying $x \leq -δ$ for some $0<δ<1$. We show that for any $0 < ε<1$, the value of $p(1)$ is determined within relative error $ε$ by the coefficients $a_k$ with $k \leq {c \over \sqrtδ} \ln {n \over ε\sqrt{ δ}}$ for some absolute constant $c > 0$. Consequently, if $m_k(G)$ is the number of matchings with $k$ edges in a graph $G$, then for any $0 < ε< 1$, the total number $M(G)=m_0(G)+m_1(G) + \ldots $ of matchings is determined within relative error $ε$ by the numbers $m_k(G)$ with $k \leq c \sqrtΔ \ln (v /ε)$, where $Δ$ is the largest degree of a vertex, $v$ is the number of vertices of $G$ and $c >0$ is an absolute constant. We prove a similar result for polynomials with complex roots satisfying $\Re\thinspace z \leq -δ$ and apply it to estimate the number of unbranched subgraphs of $G$.
An affine generalization of evacuation
Published in Selecta Math. New Ser. 28, 67 (2022)
• View Publication
• BIB
We establish the existence of an involution on tabloids that is analogous to Schutzenberger's evacuation map on standard Young tableaux. We find that the number of its fixed points is given by evaluating a certain Green's polynomial at $q = -1$, and satisfies a "domino-like" recurrence relation.
Facial unique-maximum colorings of plane graphs with restriction on big vertices
Published in Discrete Math. 342 (2019) 2612-2617
• View Publication
• BIB
A facial unique-maximum coloring of a plane graph is a proper coloring of the vertices using positive integers such that each face has a unique vertex that receives the maximum color in that face. Fabrici and Göring (2016) proposed a strengthening of the Four Color Theorem conjecturing that all plane graphs have a facial unique-maximum coloring using four colors. This conjecture has been disproven for general plane graphs and it was shown that five colors suffice. In this paper we show that plane graphs, where vertices of degree at least four induce a star forest, are facially unique-maximum 4-colorable. This improves a previous result for subcubic plane graphs by Andova, Lidický, Lužar, and Škrekovski (2018). We conclude the paper by proposing some problems.
Transition functions of diffusion processes with the Jack parameter on the Thoma simplex
Published in Functional Analysis and Its Applications, 54(2), 118-134, 2020
• View Publication
• BIB
The paper deals with a three-dimensional family of diffusion processes on an infinite-dimensional simplex. These processes were constructed by Borodin and Olshanski (arXiv:0706.1034; arXiv:0902.3395), and they include, as limit objects, the Ethier-Kurtz's infinitely-many-neutral-allels diffusion model (1981) and its extension found by Petrov (arXiv:0708.1930).
Each process X from our family possesses a symmetrising measure M. Our main result is that the transition function of X has continuous density with respect to M. This is a generalization of earlier results due to Ethier (1992) and to Feng, Sun, Wang, and Xu (2011). Our proof substantially uses a special basis in the algebra of symmetric functions related to Laguerre polynomials.
A unifying method for the design of algorithms canonizing combinatorial objects
Published
• View Publication
• BIB
We devise a unified framework for the design of canonization algorithms. Using hereditarily finite sets, we define a general notion of combinatorial objects that includes graphs, hypergraphs, relational structures, codes, permutation groups, tree decompositions, and so on.
Our approach allows for a systematic transfer of the techniques that have been developed for isomorphism testing to canonization. We use it to design a canonization algorithm for combinatorial objects in general. This result gives new fastest canonization algorithms with an asymptotic running time matching the best known isomorphism algorithm for the following types of objects: hypergraphs, hypergraphs of bounded color class size, permutation groups (up to permutational isomorphism) and codes that are explicitly given (up to code equivalence).
Group divisible designs with block size 4 and type g^u m^1 - II
Published
• View Publication
• BIB
We show that the necessary conditions for the existence of 4-GDDs of type g^u m^1 are sufficient for g congruent to 0 (mod h), h = 39, 51, 57, 69, 87, 93, and for g = 13, 17, 19, 23, 25, 29, 31 and 35. More generally, we show that for all g congruent to 3 (mod 6), the possible exceptions occur only when u = 8 and g is not divisible by any of 9, 15, 21, 33, 39, 51, 57, 69, 87 or 93. Consequently we are able to extend the known spectrum for g congruent to 1 and g congruent to 5 (mod 6). Also we complete the spectrum for 4-GDDs of type (3a)^4 (6a)^1 (3b)^1.
Packing spanning rigid subgraphs with restricted degrees
Let $G$ be a graph and let $l$ be an integer-valued function on subsets of $V(G)$. The graph $G$ is said to be $l$-partition-connected, if for every partition $P$ of $V(G)$, $e_G(P)\ge \sum_{A\in P} l(A)-l(V(G))$, where $e_G(P)$ denotes the number of edges of $G$ joining different parts of $P$. We say that $G$ is $l$-rigid, if it contains a spanning $l$-partition-connected subgraph $H$ with $|E(H)|=\sum_{v\in V(H)} l(v)-l(V(H))$. In this paper, we investigate decomposition of graphs into spanning partition-connected and spanning rigid subgraphs. As a consequence, we improve a recent result due to Gu (2017) by proving that every $(4kp-2p+2m)$-connected graph $G$ with $k\ge 2$ has a spanning subgraph $H$ containing a packing of $m$ spanning trees and $p$ spanning $(2k-1)$-edge-connected subgraphs $H_1,\ldots, H_p$ such that for each vertex $v$, every $H_i-v$ remains $(k-1)$-edge-connected and also $d_H(v)\le \lceil \frac{d_G(v)}{2}\rceil +2kp-p+m$. From this result, we refine a result on arc-connected orientations of graphs.