Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Construction of symmetric Hadamard matrices
Published in Informatsionno-upravliaiushchie sistemy [Information and Control Systems], 2017, no. 5, pp. 2-11
• View Publication
• BIB
We systematically explore the new method of construction (known as the propus construction) of symmetric Hadamard matrices for small orders, $4v$. In particular we give the first examples of symmetric Hadamard matrices of order $156=4\cdot 39$. The smallest $v$ for which symmetric Hadamard matrices of order $4v$ are not known is now $v=47$.
Enumerations relating braid and commutation classes
Published in European Journal of Combinatorics, Volume 74, December 2018, Pages 11-26
• View Publication
• BIB
We obtain an upper and lower bound for the number of reduced words for a permutation in terms of the number of braid classes and the number of commutation classes of the permutation. We classify the permutations that achieve each of these bounds, and enumerate both cases.
Linking systems of difference sets
Published
• View Publication
• BIB
A linking system of difference sets is a collection of mutually related group difference sets, whose advantageous properties have been used to extend classical constructions of systems of linked symmetric designs. The central problems are to determine which groups contain a linking system of difference sets, and how large such a system can be. All previous constructive results for linking systems of difference sets are restricted to 2-groups. We use an elementary projection argument to show that neither the McFarland/Dillon nor the Spence construction of difference sets can give rise to a linking system of difference sets in non-2-groups. We make a connection to Kerdock and bent sets, which provides large linking systems of difference sets in elementary abelian 2-groups. We give a new construction for linking systems of difference sets in 2-groups, taking advantage of a previously unrecognized connection with group difference matrices. This construction simplifies and extends prior results, producing larger linking systems than before in certain 2-groups, new linking systems in other 2-groups for which no system was previously known, and the first known examples in nonabelian groups.
The square of a planar cubic graph is $7$-colorable
Published
• View Publication
• BIB
We prove the conjecture made by G.Wegner in 1977 that the square of every planar, cubic graph is $7$-colorable. Here, $7$ cannot be replaced by $6$.
Lifting tropical bitangents
Published in Journal of Symbolic Computation 96 (2019) 122-152
• View Publication
• BIB
We study lifts of tropical bitangents to the tropicalization of a given complex algebraic curve together with their lifting multiplicities. Using this characterization, we show that generically all the seven bitangents of a smooth tropical plane quartic lift in sets of four to algebraic bitangents. We do this constructively, i.e. we give solutions for the initial terms of the coefficients of the bitangent lines. This is a step towards a tropical proof that a general smooth quartic admits 28 bitangent lines. The methods are also appropriate to count real bitangents, however the conditions to determine whether a tropical bitangent has real lifts are not purely combinatorial.
Edge-magic labelings for constellations and armies of caterpillars
Let $G=(V,E)$ be an $n$-vertex graph with $m$ edges. A function $f : V \cup E \rightarrow \{1, \ldots, n+m\}$ is an edge-magic labeling of $G$ if $f$ is bijective and, for some integer $k$, we have $f(u)+f(v)+f(uv) = k$ for every edge $uv \in E$. Furthermore, if $f(V) = \{1, \ldots, n\}$, then we say that $f$ is a super edge-magic labeling. A constellation, which is a collection of stars, is symmetric if the number of stars of each size is even except for at most one size. We prove that every symmetric constellation with an odd number of stars admits a super edge-magic labeling. We say that a caterpillar is of type $(r,s)$ if $r$ and $s$ are the sizes of its parts, where $r \leq s$. We also prove that every collection with an odd number of same-type caterpillars admits an edge-magic labeling.
Directed Ramsey number for trees
Published in Journal of Combinatorial Theory, Series B Volume 137, 2019, Pages 145-177
• View Publication
• BIB
In this paper, we study Ramsey-type problems for directed graphs. We first consider the $k$-colour oriented Ramsey number of $H$, denoted by $\overrightarrow{R}(H,k)$, which is the least $n$ for which every $k$-edge-coloured tournament on $n$ vertices contains a monochromatic copy of $H$. We prove that $ \overrightarrow{R}(T,k) \le c_k|T|^k$ for any oriented tree $T$. This is a generalisation of a similar result for directed paths by Chvátal and by Gyárfás and Lehel, and answers a question of Yuster. In general, it is tight up to a constant factor.
We also consider the $k$-colour directed Ramsey number $\overleftrightarrow{R}(H,k)$ of $H$, which is defined as above, but, instead of colouring tournaments, we colour the complete directed graph of order $n$. Here we show that $ \overleftrightarrow{R}(T,k) \le c_k|T|^{k-1}$ for any oriented tree $T$, which is again tight up to a constant factor, and it generalises a result by Williamson and by Gyárfás and Lehel who determined the $2$-colour directed Ramsey number of directed paths.
On Almost Well-Covered Graphs of Girth at Least 6
Published in Discrete Mathematics & Theoretical Computer Science, vol. 20 no. 2, Graph Theory (November 20, 2018) dmtcs:4514
• View Publication
• BIB
We consider a relaxation of the concept of well-covered graphs, which are graphs with all maximal independent sets of the same size. The extent to which a graph fails to be well-covered can be measured by its independence gap, defined as the difference between the maximum and minimum sizes of a maximal independent set in $G$. While the well-covered graphs are exactly the graphs of independence gap zero, we investigate in this paper graphs of independence gap one, which we also call almost well-covered graphs. Previous works due to Finbow et al. (1994) and Barbosa et al. (2013) have implications for the structure of almost well-covered graphs of girth at least $k$ for $k\in \{7,8\}$. We focus on almost well-covered graphs of girth at least $6$. We show that every graph in this class has at most two vertices each of which is adjacent to exactly $2$ leaves. We give efficiently testable characterizations of almost well-covered graphs of girth at least $6$ having exactly one or exactly two such vertices. Building on these results, we develop a polynomial-time recognition algorithm of almost well-covered $\{C_3,C_4,C_5,C_7\}$-free graphs.
Lower bounds for graph bootstrap percolation via properties of polynomials
Published in J. Combin. Theory Ser. A 174 (2020), 105-253
• View Publication
• BIB
We introduce a simple method for proving lower bounds for the size of the smallest percolating set in a certain graph bootstrap process. We apply this method to determine the sizes of the smallest percolating sets in multidimensional tori and multidimensional grids (in particular hypercubes). The former answers a question of Morrison and Noel, and the latter provides an alternative and simpler proof for one of their main results.
A Meyniel-type condition for bipancyclicity in balanced bipartite digraphs
Published
• View Publication
• BIB
We prove that a strongly connected balanced bipartite digraph $D$ of order $2a$, $a\geq3$, satisfying $d(u)+d(v)\geq 3a$ for every pair of vertices $u,v$ with a common in-neighbour or a common out-neighbour, is either bipancyclic or a directed cycle of length $2a$.
One-skeleta of $G$-parking function ideals: resolutions and standard monomials
Given a graph $G$, the $G$-parking function ideal $M_G$ is an artinian monomial ideal in the polynomial ring $S$ with the property that a linear basis for $S/M_G$ is provided by the set of $G$-parking functions. It follows that the dimension of $S/M_G$ is given by the number of spanning trees of $G$, which by the Matrix Tree Theorem is equal to the determinant of the reduced Laplacian of $G$. The ideals $M_G$ and related algebras were introduced by Postnikov and Shapiro where they studied their Hilbert functions and homological properties. The author and Sanyal showed that a minimal resolution of $M_G$ can be constructed from the graphical hyperplane arrangement associated to $G$, providing a combinatorial interpretation of the Betti numbers.
Motivated by constructions in the theory of chip-firing on graphs, we study certain `skeleton' ideals $M_G^{(k)} \subset M_G$ generated by subsets of vertices of $G$ of size at most $k+1$. Here we focus our attention on the case $k=1$, the $1$-skeleton of the $G$-parking functions ideals. We consider standard monomials of $M_G^{(1)}$ and provide a combinatorial interpretation for the dimension of $S/M_G^{(1)}$ in terms of the signless Laplacian for the case $G = K_{n+1}$ is the complete graph. Our main study concerns homological properties of these ideals. We study resolutions of $M_G^{(1)}$ and show that for a certain class of graphs minimal resolution is supported on decompositions of Euclidean space coming from the theory of tropical hyperplane arrangements. This leads to combinatorial interpretations of the Betti numbers of these ideals.
Cubic graphs with small independence ratio
Published
• View Publication
• BIB
Let $i(r,g)$ denote the infimum of the ratio $\frac{α(G)}{|V(G)|}$ over the $r$-regular graphs of girth at least $g$, where $α(G)$ is the independence number of $G$, and let $i(r,\infty) := \lim\limits_{g \to \infty} i(r,g)$. Recently, several new lower bounds of $i(3,\infty)$ were obtained. In particular, Hoppen and Wormald showed in 2015 that $i(3, \infty) \ge 0.4375$, and Csóka improved it to $i(3,\infty) \ge 0.44533$ in 2016. Bollobás proved the upper bound $i(3,\infty) < \frac{6}{13}$ in 1981, and McKay improved it to $i(3,\infty) < 0.45537$ in 1987. There were no improvements since then. In this paper, we improve the upper bound to $i(3,\infty) \le 0.454.$
Solving Hard Stable Matching Problems Involving Groups of Similar Agents
Published
• View Publication
• BIB
Many important stable matching problems are known to be NP-hard, even when strong restrictions are placed on the input. In this paper we seek to identify structural properties of instances of stable matching problems which will allow us to design efficient algorithms using elementary techniques. We focus on the setting in which all agents involved in some matching problem can be partitioned into k different types, where the type of an agent determines his or her preferences, and agents have preferences over types (which may be refined by more detailed preferences within a single type). This situation would arise in practice if agents form preferences solely based on some small collection of agents' attributes. We also consider a generalisation in which each agent may consider some small collection of other agents to be exceptional, and rank these in a way that is not consistent with their types; this could happen in practice if agents have prior contact with a small number of candidates. We show that (for the case without exceptions), several well-studied NP-hard stable matching problems including Max SMTI (that of finding the maximum cardinality stable matching in an instance of stable marriage with ties and incomplete lists) belong to the parameterised complexity class FPT when parameterised by the number of different types of agents needed to describe the instance. For Max SMTI this tractability result can be extended to the setting in which each agent promotes at most one `exceptional' candidate to the top of his/her list (when preferences within types are not refined), but the problem remains NP-hard if preference lists can contain two or more exceptions and the exceptional candidates can be placed anywhere in the preference lists, even if the number of types is bounded by a constant.
Asymptotically Almost Every $2r$-regular Graph has an Internal Partition
Published
• View Publication
• BIB
An internal partition of a graph is a partitioning of the vertex set into two parts such that for every vertex, at least half of its neighbors are on its side. We prove that for every positive integer $r$, asymptotically almost every $2r$-regular graph has an internal partition.
Planarity, duality and Laplacian congruence
Published in Journal of Combinatorial Mathematics and Combinatorial Computing 113 (2020), 299-321
• Search Publication
We discuss the connections tying Laplacian matrices to abstract duality and planarity of graphs.
The minimum color degree and a large rainbow cycle in an edge-colored graph
Let $G$ be an edge-colored graph with $n$ vertices. A subgraph $H$ of $G$ is called a rainbow subgraph of $G$ if the colors of each pair of the edges in $E(H)$ are distinct. We define the minimum color degree of $G$ to be the smallest number of the colors of the edges that are incident to a vertex $v$, for all $v\in V(G)$. Suppose that $G$ contains no rainbow-cycle subgraph of length four. We show that if the minimum color degree of $G$ is at least $\frac{n+3k-2}{2}$, then $G$ contains a rainbow-cycle subgraph of length at least $k$, where $k\geq 5$. Moreover, if the condition of $G$ is restricted to a triangle-free graph that contains a rainbow path of length at least $\frac{3k}{2}$, then the lower bound of the minimum color degree of $G$ that guarantees an existence of a rainbow-cycle subgraph of length to at least $k$ can be reduced to $\frac{2n+3k-1}{4}$.
Random walks on rings and modules
Published in Algebraic Combinatorics, Volume 3 (2020) no. 2, pp. 309-329
• View Publication
• BIB
We consider two natural models of random walks on a module $V$ over a finite commutative ring $R$ driven simultaneously by addition of random elements in $V$, and multiplication by random elements in $R$. In the coin-toss walk, either one of the two operations is performed depending on the flip of a coin. In the affine walk, random elements $a \in R,b \in V$ are sampled independently, and the current state $x$ is taken to $ax+b$. For both models, we obtain the complete spectrum of the transition matrix from the representation theory of the monoid of all affine maps on $V$ under a suitable hypothesis on the measure on $V$ (the measure on $R$ can be arbitrary).
Vanishing of Littlewood-Richardson polynomials is in P
Published in Computational Complexity 28 (2019), no. 2, 241-257
• View Publication
• BIB
J. DeLoera-T. McAllister and K. D. Mulmuley-H. Narayanan-M. Sohoni independently proved that determining the vanishing of Littlewood-Richardson coefficients has strongly polynomial time computational complexity. Viewing these as Schubert calculus numbers, we prove the generalization to the Littlewood-Richardson polynomials that control equivariant cohomology of Grassmannians. We construct a polytope using the edge-labeled tableau rule of H. Thomas-A. Yong. Our proof then combines a saturation theorem of D. Anderson-E. Richmond-A. Yong, a reading order independence property, and E. Tardos' algorithm for combinatorial linear programming.
Z-knotted triangulations of surfaces
Published
• View Publication
• BIB
A zigzag in a map (a $2$-cell embedding of a connected graph in a connected closed $2$-dimensional surface) is a cyclic sequence of edges satisfying the following conditions: 1) any two consecutive edges lie on the same face and have a common vertex, 2) for any three consecutive edges the first and the third edges are disjoint and the face containing the first and the second edges is distinct from the face which contains the second and the third. A map is $z$-knotted if it contains a single zigzag. Such maps are closely connected to Gauss code problem and have nice homological properties. We show that every triangulation of a connected closed $2$-dimensional surface admits a $z$-knotted shredding.
A fast coset-translation algorithm for computing the cycle structure of Comer relation algebras over $\mathbb{Z}/p\mathbb{Z}$
Published
• View Publication
• BIB
Proper relation algebras can be constructed using $\mathbb{Z}/p\mathbb{Z}$ as a base set using a method due to Comer. The cycle structure of such an algebra must, in general, be determined \emph{a posteriori}, normally with the aid of a computer. In this paper, we give an improved algorithm for checking the cycle structure that reduces the time complexity from $\mathcal{O}(p^2)$ to $\mathcal{O}(p)$.