Showing 20 papers (Total: 82505 papers, 47699 authors in database)
On WL-rank and WL-dimension of some Deza circulant graphs
Published
• View Publication
• BIB
The WL-rank of a digraph $Γ$ is defined to be the rank of the coherent configuration of $Γ$. The WL-dimension of $Γ$ is defined to be the smallest positive integer $m$ for which $Γ$ is identified by the $m$-dimensional Weisfeiler-Leman algorithm. We classify the Deza circulant graphs of WL-rank $4$. In additional, it is proved that each of these graphs has WL-dimension at most $3$. Finally, we establish that some families of Deza circulant graphs have WL-rank $5$ or $6$ and WL-dimension at most $3$.
Packing of mixed hyperarborescences with flexible roots via matroid intersection
Given a mixed hypergraph $\mathcal{F}=(V,\mathcal{A}\cup \mathcal{E})$, functions $f,g:V\rightarrow \mathbb{Z}_+$ and an integer $k$, a packing of $k$ spanning mixed hyperarborescences is called $(k,f,g)$-flexible if every $v \in V$ is the root of at least $f(v)$ and at most $g(v)$ of the mixed hyperarborescences. We give a characterization of the mixed hypergraphs admitting such packings. This generalizes results of Frank and, more recently, Gao and Yang. Our approach is based on matroid intersection, generalizing a construction of Edmonds. We also obtain an algorithm for finding a minimum weight solution to the above mentioned problem.
A note on connected greedy edge colouring
Published
• View Publication
• BIB
Following a given ordering of the edges of a graph $G$, the greedy edge colouring procedure assigns to each edge the smallest available colour. The minimum number of colours thus involved is the chromatic index $χ'(G)$, and the maximum is the so-called Grundy chromatic index. Here, we are interested in the restricted case where the ordering of the edges builds the graph in a connected fashion. Let $χ_c'(G)$ be the minimum number of colours involved following such an ordering. We show that it is NP-hard to determine whether $χ_c'(G)>χ'(G)$. We prove that $χ'(G)=χ_c'(G)$ if $G$ is bipartite, and that $χ_c'(G)\leq 4$ if $G$ is subcubic.
Strengthened chain theorems for different versions of 4-connectivity
Published
• View Publication
• BIB
The chain theorem of Tutte states that every 3-connected graph can be constructed from a wheel $W_n$ by repeatedly adding edges and splitting vertices. It is not difficult to prove the following strengthening of this theorem: every non-wheel 3-connected graph can be constructed from $W_4$ by repeatedly adding edges and splitting vertices. In this paper we similarly strengthen several chain theorems for various versions of 4-connectivity.
On the tropical discrete logarithm problem and security of a protocol based on tropical semidirect product
Published in Communications in Algebra 50 (2021) 861-879
• View Publication
• BIB
Tropical linear algebra has been recently put forward by Grigoriev and Shpilrain as a promising platform for implementation of protocols of Diffie-Hellman and Stickel type. Based on the CSR expansion of tropical matrix powers, we suggest a simple algorithm for the following tropical discrete logarithm problem: "Given that $A=V\otimes F^{\otimes t}$ for a unique $t$ and matrices $A$, $V$, $F$ of appropriate dimensions, find this $t$." We then use this algorithm to suggest a simple attack on a protocol based on the tropical semidirect product. The algorithm and the attack are guaranteed to work in some important special cases and are shown to be efficient in our numerical experiments.
On the growth of the wallpaper groups
Published
• View Publication
• BIB
We develop further Cannon's method of cone types for finding the growth function of a group, which can also be used to find the coordination sequences of certain infinite graphs. We then apply this method to compute the growth functions and series of the wallpaper groups (the 2 dimensional crystallographic groups). The paper has a number of illustrating colored figures and tables summarizing the results.
An extension of a supercongruence of Long and Ramakrishna
Published
• View Publication
• BIB
We prove two supercongruences for specific truncated hypergeometric series. These include an uniparametric extension of a supercongruence that was recently established by Long and Ramakrishna. Our proofs involve special instances of various hypergeometric identities including Whipple's transformation and the Karlsson--Minton summation.
Anticodes in the Sum-Rank Metric
Published
• View Publication
• BIB
We study the structure of anticodes in the sum-rank metric for arbitrary fields and matrix blocks of arbitrary sizes. Our main result is a complete classification of optimal linear anticodes. We also compare the cardinality of the ball in the sum-rank metric with that of an optimal linear anticode, showing that the latter is strictly larger over sufficiently large finite fields. Finally, we give examples of parameters for which the largest anticode is neither a ball nor a linear anticode
Inequalities of invariants on Stanley-Reisner rings of Cohen-Macaulay simplicial complexes
Published
• View Publication
• BIB
The goal of the present paper is the study of some algebraic invariants of Stanley-Reisner rings of Cohen-Macaulay simplicial complexes of dimension $d - 1$. We prove that the inequality $d \leq \mathrm{reg}(Δ) \cdot \mathrm{type}(Δ)$ holds for any $(d-1)$-dimensional Cohen-Macaulay simplicial complex $Δ$ satisfying $Δ=\mathrm{core}(Δ)$, where $\mathrm{reg}(Δ)$ (resp. $\mathrm{type}(Δ)$) denotes the Castelnuovo-Mumford regularity (resp. Cohen-Macaulay type) of the Stanley-Reisner ring $\Bbbk[Δ]$. Moreover, for any given integers $d,r,t$ satisfying $r,t \geq 2$ and $r \leq d \leq rt$, we construct a Cohen-Macaulay simplicial complex $Δ(G)$ as an independent complex of a graph $G$ such that $\dim(Δ(G))=d-1$, $\mathrm{reg}(Δ(G))=r$ and $\mathrm{type}(Δ(G))=t$.
On Valency Problems of Saxl Graphs
Published
• View Publication
• BIB
Let $G$ be a permutation group on a set $Ω$ and recall that a base for $G$ is a subset of $Ω$ such that its pointwise stabiliser is trivial. In a recent paper, Burness and Giudici introduced the Saxl graph of $G$, denoted $Σ(G)$, with vertex set $Ω$ and two vertices adjacent if they form a base. If $G$ is transitive, then $Σ(G)$ is vertex-transitive and it is natural to consider its valency (which we refer to as the valency of $G$). In this paper we present a general method for computing the valency of any finite transitive group and we use it to calculate the exact valency of every primitive group with stabiliser a Frobenius group with cyclic kernel. As an application, we calculate the valency of every almost simple primitive group with an alternating socle and soluble stabiliser and we use this to extend results of Burness and Giudici on almost simple primitive groups with prime-power or odd valency.
Efficient computation of the oriented chromatic number of recursively defined digraphs
Published
• View Publication
• BIB
In this paper we consider colorings of oriented graphs, i.e. digraphs without cycles of length 2. Given some oriented graph $G=(V,E)$, an oriented $r$-coloring for $G$ is a partition of the vertex set $V$ into $r$ independent sets, such that all the arcs between two of these sets have the same direction. The oriented chromatic number of $G$ is the smallest integer $r$ such that $G$ permits an oriented $r$-coloring.
In this paper we consider the Oriented Chromatic Number problem on classes of recursively defined oriented graphs. Oriented co-graphs (short for oriented complement reducible graphs) can be recursively defined defined from the single vertex graph by applying the disjoint union and order composition. This recursive structure allows to compute an optimal oriented coloring and the oriented chromatic number in linear time. We generalize this result using the concept of perfect orderable graphs. Therefore, we show that for acyclic transitive digraphs every greedy coloring along a topological ordering leads to an optimal oriented coloring. Msp-digraphs (short for minimal series-parallel digraphs) can be defined from the single vertex graph by applying the parallel composition and series composition. We prove an upper bound of $7$ for the oriented chromatic number for msp-digraphs and we give an example to show that this is bound best possible. We apply this bound and the recursive structure of msp-digraphs to obtain a linear time solution for computing the oriented chromatic number of msp-digraphs.
In order to generalize the results on computing the oriented chromatic number of special graph classes, we consider the parameterized complexity of the Oriented Chromatic Number problem by so-called structural parameters, which are measuring the difficulty of decomposing a graph into a special tree-structure
On the Möbius function of permutations under the pattern containment order
Published
• View Publication
• BIB
We study several aspects of the Möbius function, $μ[σ,π]$, on the poset of permutations under the pattern containment order.
First, we consider cases where the lower bound of the poset is indecomposable. We show that $μ[σ,π]$ can be computed by considering just the indecomposable permutations contained in the upper bound. We apply this to the case where the upper bound is an increasing oscillation, and give a method for computing the value of the Möbius function that only involves evaluating simple inequalities.
We then consider conditions on an interval which guarantee that the value of the Möbius function is zero. In particular, we show that if a permutation $π$ contains two intervals of length 2, which are not order-isomorphic to one another, then $μ[1,π] = 0$. This allows us to prove that the proportion of permutations of length $n$ with principal Möbius function equal to zero is asymptotically bounded below by $(1-1/e)^2 \ge 0.3995$. This is the first result determining the value of $μ[1,π]$ for an asymptotically positive proportion of permutations $π$.
Following this, we use ''2413-balloon'' permutations to show that the growth of the principal Möbius function on the permutation poset is exponential. This improves on previous work, which has shown that the growth is at least polynomial.
We then generalise 2413-balloon permutations, and find a recursion for the value of the principal Möbius function of these generalisations.
Kasteleyn theorem, geometric signatures and KP-II divisors on planar bipartite networks in the disk
Published
• View Publication
• BIB
Maximal minors of Kasteleyn sign matrices on planar bipartite graphs in the disk count dimer configurations with prescribed boundary conditions, and the weighted version of such matrices provides a natural parametrization of the totally non--negative part of real Grassmannians (see Refs. [54,43,44,58,7]). In this paper we provide a geometric interpretation of such variant of Kasteleyn theorem: a signature is Kasteleyn if and only if it is geometric in the sense of Ref. [5]. We apply this geometric characterization to explicitly solve the associated system of relations and provide a new proof that the parametrization of positroid cells induced by Kasteleyn weighted matrices coincides with that of Postnikov boundary measurement map. Finally we use Kasteleyn system of relations to associate algebraic geometric data to KP multi-soliton solutions. Indeed the KP wave function solves such system of relations at the nodes of the spectral curve if the dual graph of the latter represents the soliton data. Therefore the construction of the divisor is automatically invariant, and finally it coincides with that in Refs. [4,6] for the present class of graphs.
Exponential Growth Constants for Spanning Forests on Archimedean Lattices: Values and Comparisons of Upper Bounds
Published in IJMPB (Internat. J. Mod. Phys. B) 35, 2150085 (2021)
• View Publication
• BIB
We compare our upper bounds on the exponential growth constant $φ(Λ)$ characterizing the asymptotic behavior of spanning forests on Archimedean lattices $Λ$ with recently derived upper bounds. Our upper bounds on $φ(Λ)$, which are very close to the respective values of $φ(Λ)$ that we have calculated, are shown to be significantly better for these lattices than the new upper bounds.
On partial information retrieval: the unconstrained 100 prisoner problem
Published
• View Publication
• BIB
We consider a generalization of the classical 100 Prisoner problem and its variant, involving empty boxes, whereby winning probabilities for a team depend on the number of attempts, as well as on the number of winners. We call this the unconstrained 100 prisoner problem. After introducing the 3 main classes of strategies, we define a variety of `hybrid' strategies and quantify their winning-efficiency. Whenever analytic results are not available, we make use of Monte Carlo simulations to estimate with high accuracy the winning-probabilities. Based on the results obtained, we conjecture that all strategies, except for the strategy maximizing the winning probability of the classical (constrained) problem, converge to the random strategy under weak conditions on the number of players or empty boxes. We conclude by commenting on the possible applications of our results in understanding processes of information retrieval, such as ``memory'' in living organisms.
Algebraic Properties of a Hypergraph Lifting Map
Recent work in hypergraph Ramsey theory has involved the introduction of a "lifting map" that associates a certain $3$-uniform hypergraph to a given graph, bounding cliques in a predictable way. In this paper, we interpret the lifting map as a linear transformation. This interpretation allows us to use algebraic techniques to prove several structural properties of the lifting map, culminating in new lower bounds for certain $3$-uniform hypergraph Ramsey numbers.
On the size of Nikodym sets in spaces over rings
A Nikodym set $\mathcal{N}\subseteq(\mathbb{Z}/(N\mathbb{Z}))^n$ is a set containing $L\setminus\{x\}$ for every $x\in(\mathbb{Z}/(N\mathbb{Z}))^n$, where $L$ is a line passing through $x$. We prove that if $N$ is square-free, then the size of every Nikodym set is at least $c_nN^{n-o(1)}$, where $c_n$ only depends on $n$. This result is an extension of the result in the finite field case.
Smaller counterexamples to Hedetniemi's conjecture
Hedetniemi's conjecture~\cite{hedetniemi1966homomorphisms} for $c$-colorings states that the tensor product $G \times H$ is $c$-colorable if and only if $G$ or $H$ is $c$-colorable. El-Zahar and Sauer~\cite{El-ZaharS85} proved it for $c = 3$. In a recent breakthrough, Shitov~\cite{Shitov19} showed counterexamples, for large $c$. While Shitov's proof is already remarkably short, Zhu \cite{Zhu20} simplified the argument and gave a more explicit counterexample for $c=125$. Tardif \cite{Tardif20} showed that a modification of the arguments allows to use ``wide colorings'' to obtain counterexamples for $c=14$, and $c=13$ with a more involved use of lexicographic products. This note presents two more small modifications, resulting in counterexamples for $c=5$ (with $G$ and $H$ having 4686 and 30 vertices, respectively).
Asymptotics and statistics on Fishburn Matrices: dimension distribution and a conjecture of Stoimenow
Published
• View Publication
• BIB
We establish the asymptotic normality of the dimension of large-size random Fishburn matrices by a complex-analytic approach. The corresponding dual problem of size distribution under large dimension is also addressed and follows a quadratic type normal limit law. These results represent the first of their kind and solve two open questions raised in the combinatorial literature. They are presented in a general framework where the entries of the Fishburn matrices are not limited to binary or nonnegative integers. The analytic saddle-point approach we apply, based on a powerful transformation for $q$-series due to Andrews and Jelínek, is also useful in solving a conjecture of Stoimenow in Vassiliev invariants.
The combinatorial equivalence of a computability theoretic question
We show that a question of Miller and Solomon -- that whether there exists a coloring $c:d^{<ω}\rightarrow k$ that does not admit a $c$-computable variable word infinite solution, is equivalent to a natural, nontrivial combinatorial question. The combinatorial question asked whether there is an infinite sequence of integers such that each of its initial segment satisfies a Ramsian type property. This is the first computability theoretic question known to be equivalent to a natural, nontrivial question that does not concern complexity notions. It turns out that the negation of the combinatorial question is a generalization of Hales-Jewett theorem. We solve some special cases of the combinatorial question and obtain a generalization of Hales-Jewett theorem on some particular parameters.