Showing 20 papers (Total: 82505 papers, 47699 authors in database)
On quantitative aspects of a canonisation theorem for edge-orderings
Published in Journal of London Mathematical Society (2) 106 (2022), no.3, 2773-2803
• View Publication
• BIB
For integers $k\ge 2$ and $N\ge 2k+1$ there are $k!2^k$ canonical orderings of the edges of the complete $k$-uniform hypergraph with vertex set $[N] = \{1,2,\dots, N\}$. These are exactly the orderings with the property that any two subsets $A, B\subseteq [N]$ of the same size induce isomorphic suborderings. We study the associated canonisation problem to estimate, given $k$ and $n$, the least integer $N$ such that no matter how the $k$-subsets of $[N]$ are ordered there always exists an $n$-element set $X\subseteq [N]$ whose $k$-subsets are ordered canonically. For fixed $k$ we prove lower and upper bounds on these numbers that are $k$ times iterated exponential in a polynomial of $n$.
Deviation probabilities for arithmetic progressions and irregular discrete structures
Published
• View Publication
• BIB
Let the random variable $X\, :=\, e(\mathcal{H}[B])$ count the number of edges of a hypergraph $\mathcal{H}$ induced by a random $m$-element subset $B$ of its vertex set. Focussing on the case that the degrees of vertices in $\mathcal{H}$ vary significantly we prove bounds on the probability that $X$ is far from its mean. It is possible to apply these results to discrete structures such as the set of $k$-term arithmetic progressions in the $\{1,\dots, N\}$. Furthermore, our main theorem allows us to deduce results for the case $B\sim B_p$ is generated by including each vertex independently with probability $p$. In this setting our result on arithmetic progressions extends a result of Bhattacharya, Ganguly, Shao and Zhao \cite{BGSZ}. We also mention connections to related central limit theorems.
Tropical Normal Functions -- Higher Abel-Jacobi Invariants of Tropical cycles
We consider the variation of tropical Hodge structure (TVHS) associated to families of tropical varieties. The family of the tropical intermediate Jacobians of the associated tropical Hodge structure defines a bundle of tropical Jacobians, whose sections we call the tropical normal functions. We define formal sequential derivatives of these functions on the base with respect to the natural Gauss-Manin connection as the Hodge theoretic invariants detecting tropical cycles in the fibers. The associated invariants which are defined inductively are the higher Abel-Jacobi invariants in the tropical category. They naturally identify the tropical Bloch-Beilinson filtration on the tropical Chow group. We examine this construction on the moduli of tropical curves with marked points, in order to study the tropical tautological classes in the tautological ring of $\mathcal{M}_{g,n}^{\text{trop}}$. The expectation is the nontriviality of these cycles could be examined with less complexity in the tropical category. The construction is compatible with the tropicalization functor on the category of schemes, and the aforementioned procedure will also provide an alternative way to examine the relations in the tautological ring of $\mathcal{M}_{g,n}$ in the schemes category.
$q$-Kreweras numbers for coincidental Coxeter groups attached to limit symbols
For a coincidental Coxeter group, i.e. of type $A_{n-1}, BC_n, H_3,$ or $I_2(m)$, we define the corresponding $q$-Kreweras numbers attached to limit symbols in the sense of Shoji. The construction of these numbers resembles the argument of Reiner and Sommers and these two share similar properties, but our version is slightly different from and combinatorially simpler than theirs. We also study the combinatorial properties of our $q$-Kreweras numbers, i.e. positivity, relation with $q$-Narayana numbers, and cyclic sieving phenomenon.
On the compatibility of the topologies of parallel tasks and computing systems
Published
• View Publication
• BIB
Aspects of compatibility of topologies of parallel computing systems and tasks are investigated. The introduction of appropriate indexes based on the original topological model of parallel computations and on the nontraditional description of a graph by its projections is proposed and elucidated. On the example of hypercubic computing system (CS) and tasks with ring and star information topologies, we demonstrate determining the indexes and their use in a comparative analysis of the applicability of interconnect with a given topology for solving tasks with the same and different types of information topologies.
Ergodicity of the Martin boundary of the Young--Fibonacci graph. II
Among central measures on the path space of the Young--Fibonacci lattice the so-called Plancherel measure has a special role. Its ergodicity was proved by Kerov and Gnedin. The goal of this cycle of two articles is to prove that remaining measures from the Martin boundary of this graph (which were described by Kerov and Goodman) are also ergodic. The measures are parametrized with an infinite word of digits 1 and 2 and the parameter $β\in(0,1]$ (the case $β=0$ corresponds to the Plancherel measure). In this article we finish the proof of their ergodicity using the statements proved in the first paper as a "black box".
Cubature formulas and Sobolev inequalities
We study a problem in the theory of cubature formulas on the sphere: given $θ\in (0, 1)$, determine the infimum of $\|ν\|_θ= \sum_{i = 1}^n ν_i^θ$ over cubature formulas $ν$ of strength $t$, where $ν_i$ are the weights of the formula $ν$. This problem, which generalizes the classical problem of bounding the minimal cardinality of a cubature formula -- the case $θ= 0$ -- was introduced in recent work of Hang and Wang (arXiv:2010.10654), who showed the problem to be related to optimal constants in Sobolev inequalities. Using the elementary theory of reproducing kernel Hilbert spaces on $S^{n - 1}$, we extend the best known upper and lower bounds for the minimal cardinality of strength-$t$ cubature formulas to bounds for the infimum of $\|\cdot\|_θ$ for any $θ\in (0, 1)$. In particular, we completely characterize the cubature measures of strength $3$ minimizing $\|\cdot\|_θ$, showing that these are precisely the tight spherical $3$-designs.
On competition indices and periods of multipartite tournaments
Published
• View Publication
• BIB
In this paper, we compute competition indices and periods of multipartite tournaments. We first show that the competition period of an acyclic digraph $D$ is one and $ζ(D) +1$ is a sharp upper bound of the competition index of $D$ where $ζ(D)$ is the sink elimination index of $D$. Then we prove that, especially, for an acyclic $k$-partite tournament $D$, the competition index of $D$ is $ζ(D)$ or $ζ(D) +1$ for an integer $k \ge 3$. By developing useful tools to create infinitely many directed walks in a certain regular pattern from given directed walks, we show that the competition period of a multipartite tournament with sinks and directed cycles is at most three. We also prove that the competition index of a primitive digraph does not exceed its exponent.
An efficient model for the preemptive single machine scheduling of equal-length jobs
Published
• View Publication
• BIB
We propose a Boolean Linear Programming model for the preemptive single machine scheduling problem with equal processing times, arbitrary release dates and weights(priorities) minimizing the total weighted completion time. Almost always an optimal solution of the Linear Programming relaxation is integral and can be straightforwardly converted into an optimal schedule. To deal with the fractional solutions we present two heuristics. Very often our heuristics find solutions with objective function values equal to the lower bound found by the Linear Programming relaxation. For the cases when upper bound returned by our heuristics differs from the lower bound we embed the bounds into a Branch and Bound algorithm, which solves the problem to optimality. Exhaustive computational study showed that the algorithm substantially surpasses state-of-the-art methods.
Avoiding right angles and certain Hamming distances
Published
• View Publication
• BIB
In this paper we show that the largest possible size of a subset of $\mathbb{F}_q^n$ avoiding right angles, that is, distinct vectors $x,y,z$ such that $x-z$ and $y-z$ are perpendicular to each other is at most $O(n^{q-2})$. This improves on the previously best known bound due to Naslund \cite{Naslund} and refutes a conjecture of Ge and Shangguan \cite{Ge}. A lower bound of $n^{q/3}$ is also presented.
It is also shown that a subset of $\mathbb{F}_q^n$ avoiding triangles with all right angles can have size at most $O(n^{2q-2})$. Furthermore, asymptotically tight bounds are given for the largest possible size of a subset $A\subseteq \mathbb{F}_q^n$ for which $x-y$ is not self-orthogonal for any distinct $x,y\in A$. The exact answer is determined for $q=3$ and $n\equiv 2\pmod {3}$.
Our methods can also be used to bound the maximum possible size of a binary code where no two codewords have Hamming distance divisible by a fixed prime $q$. Our lower- and upper bounds are asymptotically tight and both are sharp in infinitely many cases.
Mahler's method in several variables and finite automata
We develop a theory of linear Mahler systems in several variables from the perspective of transcendence and algebraic independence, which also includes the possibility of dealing with several systems associated with sufficiently independent matrix transformations. Our main results go far beyond the existing literature, also surpassing those of two unpublished preprints the authors made available on the arXiv in 2018. The main new feature is that they apply now without any restriction on the matrices defining the corresponding Mahler systems. As a consequence, we settle several problems concerning expansions of numbers in multiplicatively independent bases. For instance, we prove that no irrational real number can be automatic in two multiplicatively independent integer bases, and we give a new proof and a broad algebraic generalization of Cobham's theorem in automata theory. We also provide a new proof and a multivariate generalization of Nishioka's theorem, a landmark result in Mahler's method.
Determinant of a Sum of Certain Kronecker Products
We compute the determinant of $\sum_{n=1}^{N} \vec{A}^{(n)} \otimes \vec{B}^{(n)}$, where $\vec{A}^{(n)}$ is square and ${\vec{B}^{(n)}=\vec{x}^{(n)}{\vec{y}^{(n)}}^T}$ where $\vec{x}^{(n)}$ and $\vec{y}^{(n)}$ have length $N$.
Switching for Small Strongly Regular Graphs
We provide an abundance of strongly regular graphs (SRGs) for certain parameters $(n, k, λ, μ)$ with $n < 100$. For this we use Godsil-McKay (GM) switching with a partition of type $4,n-4$ and Wang-Qiu-Hu (WQH) switching with a partition of type $3,3,n-6$ or $4,4,n-8$. In most cases, we start with a highly symmetric graph which belongs to a finite geometry. Many of the obtained graphs are new; for instance, we find 16565438 strongly regular graphs with parameters $(81, 30, 9, 12)$ while only 15 seem to be described in the literature.
We provide statistics about the size of the occurring automorphism groups. We also find the recently discovered Krčadinac partial geometry, thus finding a third method of constructing it.
Splitting Subspaces of Linear Operators over Finite Fields
Published
• View Publication
• BIB
Let $V$ be a vector space of dimension $N$ over the finite field $\mathbb{F}_q$ and $T$ be a linear operator on $V$. Given an integer $m$ that divides $N$, an $m$-dimensional subspace $W$ of $V$ is $T$-splitting if $V=W\oplus TW\oplus \cdots \oplus T^{d-1}W$ where $d=N/m$. Let $σ(m,d;T)$ denote the number of $m$-dimensional $T$-splitting subspaces. Determining $σ(m,d;T)$ for an arbitrary operator $T$ is an open problem. We prove that $σ(m,d;T)$ depends only on the similarity class type of $T$ and give an explicit formula in the special case where $T$ is cyclic and nilpotent. Denote by $σ_q(m,d;τ)$ the number of $m$-dimensional splitting subspaces for a linear operator of similarity class type $τ$ over an $\\mathbb{F}_q$-vector space of dimension $md$. For fixed values of $m,d$ and $τ$, we show that $σ_q(m,d;τ)$ is a polynomial in $q$.
Sets avoiding $p$-term arithmetic progressions in ${\mathbb Z}_{q}^n$ are exponentially small
Pach and Palincza proved the following generalization of Ellenberg and Gijswijt's bound for the size of $k$-term arithmetic progression-free subsets, where $k\in \{4,5,6\}$:
Let $m>0$ be an integer such that $6$ divides $m$ and let $k\in \{4,5,6\}$. Then $$ r_k({\mathbb Z}_{m}^n)\leq (0.948m)^n $$ if $n$ is sufficiently large.
Building on the proof technique of Pach and Palincza's upper bound we generalize the Ellenberg and Gijswijt's bound in the following way:
Let $p>2$ be any integer and let $q>2$ be a prime. Suppose that $p\leq q$. Then the there exists an $n_0\in \mathbb N$ integer and a $0<δ(p,q)<1$ real number such that $$ r_p({\mathbb Z}_{q}^n)\leq (δ(p,q)q)^n $$ for each $n>n_0$.
On the Classification of Binary Completely Transitive Codes with Almost-Simple Top-Group
Published
• View Publication
• BIB
A code $C$ in the Hamming metric, that is, is a subset of the vertex set $V\varGamma$ of the Hamming graph $\varGamma=H(m,q)$, gives rise to a natural distance partition $\{C,C_1,\ldots,C_ρ\}$, where $ρ$ is the covering radius of $C$. Such a code $C$ is called completely transitive if the automorphism group $\rm{Aut}(C)$ acts transitively on each of the sets $C$, $C_1$, \ldots, $C_ρ$. A code $C$ is called $2$-neighbour-transitive if $ρ\geq 2$ and $\rm{Aut}(C)$ acts transitively on each of $C$, $C_1$ and $C_2$.
Let $C$ be a completely transitive code in a binary ($q=2$) Hamming graph having full automorphism group $\rm{Aut}(C)$ and minimum distance $δ\geq 5$. Then it is known that $\rm{Aut}(C)$ induces a $2$-homogeneous action on the coordinates of the vertices of the Hamming graph. The main result of this paper classifies those $C$ for which this induced $2$-homogeneous action is not an affine, linear or symplectic group. We find that there are $13$ such codes, $4$ of which are non-linear codes. Though most of the codes are well-known, we obtain several new results. First, a new non-linear completely transitive code is constructed, as well as a related non-linear code that is $2$-neighbour-transitive but not completely transitive. Moreover, new proofs of the complete transitivity of several codes are given. Additionally, we answer the question of the existence of distance-regular graphs related to the completely transitive codes appearing in our main result.
The combinatorial PT-DT correspondence
We resolve an open conjecture from algebraic geometry, which states that two generating functions for plane partition-like objects (the "box-counting" formulae for the Calabi-Yau topological vertices in Donaldson-Thomas theory and Pandharipande-Thomas theory) are equal up to a factor of MacMahon's generating function for plane partitions. The main tools in our proof are a Desnanot-Jacobi-type "condensation" identity, and a novel application of the tripartite double-dimer model of Kenyon-Wilson.
On the Structure of Misère Impartial Games
Published
• View Publication
• BIB
We consider the abstract structure of the monoid M of misère impartial game values. Several new results are presented, including a proof that the group of fractions of M is almost torsion-free; a method of calculating the number of distinct games born by day 7; and some new results on the structure of prime games. Also included are proofs of a few older results due to Conway, such as the Cancellation Theorem, that are essential to the analysis but whose proofs are not readily available in the literature.
Much of the work presented here was done jointly with John Conway and Dan Hoey, and I dedicate this paper to their memory.
Extremal mixed metric dimension with respect to the cyclomatic number
Published
• View Publication
• BIB
In a graph G, the cardinality of the smallest ordered set of vertices that distinguishes every element of V(G)U E(G) is called the mixed metric dimension of G, and it is denoted by mdim(G). In [12] it was conjectured that for a graph G with cyclomatic number c(G) it holds that mdim(G) <= L1(G) + 2c(G) where L1(G) is the number of leaves in G. It is already proven that the equality holds for all trees and more generally for graphs with edge-disjoint cycles in which every cycle has precisely one vertex of degree >= 3. In this paper we determine that for every Theta graph G, the mixed metric dimension mdim(G) equals 3 or 4, with 4 being attained if and only if G is a balanced Theta graph. Thus, for balanced Theta graphs the above inequality is also tight. We conclude the paper by further conjecturing that there are no other graphs, besides the ones mentioned here, for which the equality mdim(G) = L1(G) + 2c(G) holds.
Edge-Minimum Saturated k-Planar Drawings
Published
• View Publication
• BIB
For a class $\mathcal{D}$ of drawings of loopless (multi-)graphs in the plane, a drawing $D \in \mathcal{D}$ is \emph{saturated} when the addition of any edge to $D$ results in $D' \notin \mathcal{D}$ - this is analogous to saturated graphs in a graph class as introduced by Turán (1941) and Erdős, Hajnal, and Moon (1964). We focus on $k$-planar drawings, that is, graphs drawn in the plane where each edge is crossed at most $k$ times, and the classes $\mathcal{D}$ of all $k$-planar drawings obeying a number of restrictions, such as having no crossing incident edges, no pair of edges crossing more than once, or no edge crossing itself. While saturated $k$-planar drawings are the focus of several prior works, tight bounds on how sparse these can be are not well understood. We establish a generic framework to determine the minimum number of edges among all $n$-vertex saturated $k$-planar drawings in many natural classes. For example, when incident crossings, multicrossings and selfcrossings are all allowed, the sparsest $n$-vertex saturated $k$-planar drawings have $\frac{2}{k - (k \bmod 2)} (n-1)$ edges for any $k \geq 4$, while if all that is forbidden, the sparsest such drawings have $\frac{2(k+1)}{k(k-1)}(n-1)$ edges for any $k \geq 6$.