Showing 20 papers (Total: 84460 papers, 48641 authors in database)
An extension of the Wilf conjecture to semimodules over a numerical semigroup
The aim of this paper is to propose an extension of the Wilf conjecture to semimodules over a numerical semigroup through a new approach toward the solution of the Wilf conjecture on numerical semigroups. The key point is the introduction of a new invariant that we call Wilf function of a semigroup that can be also defined for a semimodule over the semigroup. We also study the relation of the Wilf function of a semigroup and the Wilf function of certain semimodules associated to a gap of the semigroup. As a consequence, we obtain an alternative conjecture which also implies the Wilf conjecture. Finally, we show that the natural generalization of Wilf conjecture to semimodules over the semigroup does not work unless we used the Wilf function of the semimodule. In this direction, we propose several questions regarding the possible extensions of Wilf-type inequalities for semimodules.
Criterion of unrecognizability of a finite group by its Gruenberg-Kegel graph
Published in Journal of Algebra, Volume 607, Part A, 1 October 2022, Pages 186-213
• View Publication
• BIB
The Gruenberg-Kegel graph $Γ(G)$ associated with a finite group $G$ has as vertices the prime divisors of $|G|$, with an edge from $p$ to $q$ if and only if $G$ contains an element of order $pq$. This graph has been the subject of much recent interest; one of our goals here is to give a survey of some of this material, relating to groups with the same Gruenberg-Kegel graph. However, our main aim is to prove several new results. Among them are the following.
- There are infinitely many finite groups with the same Gruenberg-Kegel graph as the Gruenberg-Kegel of a finite group $G$ if and only if there is a finite group $H$ with non-trivial solvable radical such that $Γ(G)=Γ(H)$.
- There is a function $F$ on the natural numbers with the property that if a finite $n$-vertex graph whose vertices are labelled by pairwise distinct primes is the Gruenberg-Kegel graph of more than $F(n)$ finite groups, then it is the Gruenberg-Kegel graph of infinitely many finite groups. (The function we give satisfies $F(n)=O(n^7)$, but this is probably not best possible.)
- If a finite graph $Γ$ whose vertices are labelled by pairwise distinct primes is the Gruenberg-Kegel graph of only finitely many finite groups, then all such groups are almost simple; moreover, $Γ$ has at least three pairwise non-adjacent vertices, and $2$ is non-adjacent to at least one odd vertex.
- Groups whose power graphs, or commuting graphs, are isomorphic have the same Gruenberg-Kegel graph.
- The groups ${^2}G_2(27)$ and $E_8(2)$ are uniquely determined by the isomorphism types of their Gruenberg-Kegel graphs.
In addition, we consider groups whose Gruenberg-Kegel graph has no edges. These are the groups in which every element has prime power order, and have been studied under the name \emph{EPPO groups}; completing this line of research, we give a complete list of such groups.
Ample simplicial complexes
Published in European Journal of Mathematics, 2022, 8, 1-32
• View Publication
• BIB
Motivated by potential applications in network theory, engineering and computer science, we study $r$-ample simplicial complexes. These complexes can be viewed as finite approximations to the Rado complex which has a remarkable property of {\it indestructibility,} in the sense that removing any finite number of its simplexes leaves a complex isomorphic to itself. We prove that an $r$-ample simplicial complex is simply connected and $2$-connected for $r$ large. The number $n$ of vertexes of an $r$-ample simplicial complex satisfies $\exp(Ω(\frac{2^r}{\sqrt{r}}))$. We use the probabilistic method to establish the existence of $r$-ample simplicial complexes with $n$ vertexes for any $n>r 2^r 2^{2^r}$. Finally, we introduce the iterated Paley simplicial complexes, which are explicitly constructed $r$-ample simplicial complexes with nearly optimal number of vertexes.
Triangles and subgraph probabilities in random regular graphs
Published
• View Publication
• BIB
We improve the estimates of the subgraph probabilities in a random regular graph. Using the improved results, we further improve the limiting distribution of the number of triangles in random regular graphs.
A density bound for triangle-free $4$-critical graphs
Published
• View Publication
• BIB
We prove that every triangle-free $4$-critical graph $G$ satisfies $e(G) \geq \frac{5v(G)+2}{3}$. This result gives a unified proof that triangle-free planar graphs are $3$-colourable, and that graphs of girth at least five which embed in either the projective plane, torus, or Klein Bottle are $3$-colourable, which are results of Grötzsch, Thomassen, and Thomas and Walls. Our result is nearly best possible, as Davies has constructed triangle-free $4$-critical graphs $G$ such that $e(G) = \frac{5v(G) + 4}{3}$. To prove this result, we prove a more general result characterizing sparse $4$-critical graphs with few vertex-disjoint triangles.
Tight Bounds on the Probabilistic Zero Forcing on Hypercubes and Grids
Published
• View Publication
• BIB
Zero forcing is a deterministic iterative graph colouring process in which vertices are coloured either blue or white, and in every round, any blue vertices that have a single white neighbour force these white vertices to become blue. Here we study probabilistic zero forcing, where blue vertices have a non-zero probability of forcing each white neighbour to become blue. We explore the propagation time for probabilistic zero forcing on hypercubes and grids.
Paths of given length in tournaments
Published
• View Publication
• BIB
We prove that every $n$-vertex tournament has at most $n\left(\frac{n-1}{2}\right)^k$ walks of length $k$.
Comb inequalities for typical Euclidean TSP instances
We prove that even in average case, the Euclidean Traveling Salesman Problem exhibits an integrality gap of $(1+ε)$ for $ε>0$ when the Held-Karp Linear Programming relaxation is augmented by all comb inequalities of bounded size. This implies that large classes of branch-and-cut algorithms take exponential time for the Euclidean TSP, even on random inputs.
The Benson-Symonds Invariant for Permutation Modules
Published
• View Publication
• BIB
In a recent paper, Dave Benson and Peter Symonds defined a new invariant $γ_G(M)$ for a finite dimensional module $M$ of a finite group $G$ which attempts to quantify how close a module is to being projective. In this paper, we determine this invariant for permutation modules of the symmetric group corresponding to two-part partitions using tools from representation theory and combinatorics.
A bridge between the minimal doubly resolving set problem in (folded) hypercubes and the coin weighing problem
Published in Discrete Appl. Math. 309 (2022) 147-159
• View Publication
• BIB
In this paper, we consider the minimal doubly resolving set problem in Hamming graphs, hypercubes and folded hypercubes. We prove that the minimal doubly resolving set problem in hypercubes is equivalent to the coin weighing problem. Then we answer an open question on the minimal doubly resolving set problem in hypercubes. We disprove a conjecture on the metric dimension problem in folded hypercubes and give some asymptotic results for the metric dimension and the minimal doubly resolving set problems in Hamming graphs and folded hypercubes by establishing connections between these problems. Using the Lindström's method for the coin weighing problem, we give an efficient algorithm for the minimal doubly resolving set problem in hypercubes and report some new upper bounds. We also prove that the minimal doubly resolving set problem is NP-hard even restrict on split graphs, bipartite graphs and co-bipartite graphs.
A construction of the abstract induced subgraph poset of a graph from its abstract edge subgraph poset
The abstract induced subgraph poset of a graph is the isomorphism class of the induced subgraph poset of the graph, suitably weighted by subgraph counting numbers. The abstract bond lattice and the abstract edge-subgraph poset are defined similarly by considering the lattice of subgraphs induced by connected partitions and the poset of edge-subgraphs, respectively. Continuing our development of graph reconstruction theory on these structures, we show that if a graph has no isolated vertices, then its abstract bond lattice and the abstract induced subgraph poset can be constructed from the abstract edge-subgraph poset except for the families of graphs that we characterise. The construction of the abstract induced subgraph poset from the abstract edge-subgraph poset generalises a well known result in reconstruction theory that states that the vertex deck of a graph with at least 4 edges and without isolated vertices can be constructed from its edge deck.12
A variation on the Rubik's cube
The Rubik's cube is a famous puzzle in which faces can be moved and the corresponding movement operations define a group. We consider here a generalization to any $3$-valent map. We prove an upper bound on the size of the corresponding group which we conjecture to be tight.
Families of finite sets in which no set is covered by the union of the others
Published
• View Publication
• BIB
Let F be a finite nonempty family of finite nonempty sets. We prove the following: (i) F satisfies the condition of the title if and only if for every pair of distinct subfamilies {A_1,...,A_r}, {B_1,...,B_s} of F, the union of the A_i is different from the union of the B_i. (ii) If F satisfies the condition of the title, then the number of subsets of the union of the members of F containing at least one set of F is odd. We give two applications of these results, one to number theory and one to commutative algebra.
A Lie bracket for the momentum kernel
Published
• View Publication
• BIB
We develop new mathematical tools for the study of the double copy and colour-kinematics duality for tree-level scattering amplitudes using the properties of Lie polynomials. We show that the $S$-map that was defined to simplify super-Yang--Mills multiparticle superfields is in fact a new Lie bracket on the dual space of Lie polynomials. We introduce {\it Lie polynomial currents} based on Berends-Giele recursion for biadjoint scalar tree amplitudes that take values in Lie polynomials. Field theory amplitudes are obtained from the Lie polynomial amplitudes by numerators characterized as homomorphisms from the free Lie algebra to kinematic data. Examples are presented for the biadjoint scalar, Yang--Mills theory and the nonlinear sigma model. That these theories satisfy the Bern-Carrasco-Johansson amplitude relations follows from the identities we prove for the Lie polynomial amplitudes and the existence of BCJ numerators.
A KLT map from Lie polynomials to their dual is obtained by nesting the S-map Lie bracket; the matrix elements of this map yield a recently proposed `generalized KLT matrix', and this reduces to the usual KLT matrix when its entries are restricted to a basis. Using this, we give an algebraic proof for the cancellation of double poles in the KLT formula for gravity amplitudes. We finish with some remarks on numerators and colour-kinematics duality from this perspective.
Train Tracks with Gaps: Applying the Probabilistic Method to Trains
Published in Fun With Algorithms, 2020
• View Publication
• BIB
We identify a tradeoff curve between the number of wheels on a train car, and the amount of track that must be installed in order to ensure that the train car is supported by the track at all times. The goal is to build an elevated track that covers some large distance $\ell$, but that consists primarily of gaps, so that the total amount of feet of train track that is actually installed is only a small fraction of $\ell$. In order so that the train track can support the train at all points, the requirement is that as the train drives across the track, at least one set of wheels from the rear quarter and at least one set of wheels from the front quarter of the train must be touching the track at all times.
We show that, if a train car has $n$ sets of wheels evenly spaced apart in its rear and $n$ sets of wheels evenly spaced apart in its front, then it is possible to build a train track that supports the train car but uses only $Θ( \ell / n )$ feet of track. We then consider what happens if the wheels on the train car are not evenly spaced (and may even be configured adversarially). We show that for any configuration of the train car, with $n$ wheels in each of the front and rear quarters of the car, it is possible to build a track that supports the car for distance $\ell$ and uses only $O\left(\frac{\ell \log n}{n}\right)$ feet of track. Additionally, we show that there exist configurations of the train car for which this tradeoff curve is asymptotically optimal. Both the upper and lower bounds are achieved via applications of the probabilistic method.
A bound on the joint spectral radius using the diagonals
Published in Positivity 28, 54 (2024)
• View Publication
• BIB
The primary aim of this paper is to establish bounds on the joint spectral radius for a finite set of nonnegative matrices based on their diagonal elements. The efficacy of this approach is evaluated in comparison to existing and related results in the field. In particular, let $Σ$ be any finite set of $D\times D$ nonnegative matrices with the largest value $U$ and the smallest value $V$ over all positive entries. For each $i=1,\dots,D$, let $m_i$ be any number so that there exist $A_1,\dots,A_{m_i}\inΣ$ satisfying $(A_1\dots A_{m_i})_{i,i} > 0$, or let $m_i=1$ if there are no such matrices. We prove that the joint spectral radius $ρ(Σ)$ is bounded by \[
\max_i \sqrt[m_i]{\max_{A_1,\dots,A_{m_i}\inΣ} (A_1\dots A_{m_i})_{i,i}} \le ρ(Σ) \le \max_i \sqrt[m_i]{\left(\frac{UD}{V}\right)^{3D^2} \max_{A_1,\dots,A_{m_i}\inΣ} (A_1\dots A_{m_i})_{i,i}}. \]
Improved Bounds for $(b,k)$-hashing
Published
• View Publication
• BIB
For fixed integers $b\geq k$, a problem of relevant interest in computer science and combinatorics is that of determining the asymptotic growth, with $n$, of the largest set for which a $(b, k)$-hash family of $n$ functions exists. Equivalently, determining the asymptotic growth of a largest subset of $\{1,2,\ldots,b\}^n$ such that, for any $k$ distinct elements in the set, there is a coordinate where they all differ.
An important asymptotic upper bound for general $b, k$, was derived by Fredman and Komlós in the '80s and improved for certain $b\neq k$ by Körner and Marton and by Arikan. Only very recently better bounds were derived for the general $b,k$ case by Guruswami and Riazanov while stronger results for small values of $b=k$ were obtained by Arikan, by Dalai, Guruswami and Radhakrishnan and by Costa and Dalai. In this paper, we both show how some of the latter results extend to $b\neq k$ and further strengthen the bounds for some specific small values of $b$ and $k$. The method we use, which depends on the reduction of an optimization problem to a finite number of cases, shows that further results might be obtained by refined arguments at the expense of higher complexity which could be reduced by using more sophisticated and optimized algorithmic approaches.
Drinfeld Hecke algebras for symmetric groups in positive characteristic
Published in Communications in Algebra, Vol. 50, Issue 5 (2022), p. 1925--1941
• View Publication
• BIB
We investigate deformations of skew group algebras arising from the action of the symmetric group on polynomial rings over fields of arbitrary characteristic. Over the real or complex numbers, Lusztig's graded affine Hecke algebra and analogs are all isomorphic to Drinfeld Hecke algebras, which include the symplectic reflection algebras and rational Cherednik algebras. Over fields of prime characteristic, new deformations arise that capture both a disruption of the group action and also a disruption of the commutativity relations defining the polynomial ring. We classify deformations for the symmetric group acting in its natural (reducible) reflection representation.
Spectral Analysis of Word Statistics
Given a random text over a finite alphabet, we study the frequencies at which fixed-length words occur as subsequences. As the data size grows, the joint distribution of word counts exhibits a rich asymptotic structure. We investigate all linear combinations of subword statistics, and fully characterize their different orders of magnitude using diverse algebraic tools.
Moreover, we establish the spectral decomposition of the space of word statistics of each order. We provide explicit formulas for the eigenvectors and eigenvalues of the covariance matrix of the multivariate distribution of these statistics. Our techniques include and elaborate on a set of algebraic word operators, recently studied and employed by Dieker and Saliola (Adv Math, 2018).
Subword counts find applications in Combinatorics, Statistics, and Computer Science. We revisit special cases from the combinatorial literature, such as intransitive dice, random core partitions, and questions on random walk. Our structural approach describes in a unified framework several classical statistical tests. We propose further potential applications to data analysis and machine learning.
Some applications of Wagner's weighted subgraph counting polynomial
Published
• View Publication
• BIB
We use Wagner's weighted subgraph counting polynomial to prove that the partition function of the anti-ferromagnetic Ising model on line graphs is real rooted and to prove that roots of the edge cover polynomial have length at most $4$. We moreover discuss how our results relate to efficient algorithms for approximately computing evaluations of these polynomials.