Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Kronecker classes, normal coverings and chief factors of groups
Published in Bull. Aust. Math. Soc. 113 (2026) 108-115
• View Publication
• BIB
For a group $G$, a subgroup $U \leq G$ and a group $\mathrm{Inn}(G) \leq A \leq \mathrm{Aut}(G)$, we say that $U$ is an $A$-covering group of $G$ if $G = \bigcup_{a\in A}U^a$. A theorem of Jordan (1872) implies that if $G$ is a finite group, $A = \mathrm{Inn}(G)$ and $U$ is an $A$-covering group of $G$, then $U = G$. Motivated by a question concerning Kronecker classes of field extensions, Neumann and Praeger (1988) conjectured that, more generally, there is an integer function $f$ such that if $G$ is a finite group and $U$ is an $A$-covering subgroup of $G$, then $|G:U| \leq f(|A:\mathrm{Inn}(G)|)$. A key piece of evidence for this conjecture is a theorem of Praeger (1994), which asserts that there is a two-variable integer function $g$ such that if $G$ is a finite group and $U$ is an $A$-covering subgroup of $G$, then $|G:U|\leq g(|A:\mathrm{Inn}(G)|,c)$ where $c$ is the number of $A$-chief factors of~$G$. Unfortunately, the proof of this result contains an error. In this paper, using a different argument, we give a correct proof of this theorem.
Multidimensional central sets theorem near zero
In [B] Beiglböck gave a Multidimension Central sets theorem. Recently, [GP] extended this result for polynomials. They proved the Multidimensional Polynomial Central sets theorem. Earlier, Hindman and Leader introduced the near zero concept and proved the Central sets theorem near 0 in [HL]. In this article, we generalize the Multidimensional Central sets theorem for near 0.
Normal trees of digraphs
In this paper, we investigate normal trees of directed graphs, which extend the fundamental concept of normal trees of undirected graphs. We prove that a directed graph $D$ has a normal spanning tree if and only if the topological space $|D|$ is metrizable, which generalises Diestel's result for undirected graphs. Furthermore, we show that the existence of normal arborescences implies the existence of normal trees in directed graphs, and that the converse is generally not true.
Fractional list packing for layered graphs
Published
• View Publication
• BIB
The fractional list packing number $χ_{\ell}^{\bullet}(G)$ of a graph $G$ is a graph invariant that has recently arisen from the study of disjoint list-colourings. It measures how large the lists of a list-assignment $L:V(G)\rightarrow 2^{\mathbb{N}}$ need to be to ensure the existence of a `perfectly balanced' probability distribution on proper $L$-colourings, i.e., such that at every vertex $v$, every colour appears with equal probability $1/|L(v)|$. In this work we give various bounds on $χ_{\ell}^{\bullet}(G)$, which admit strengthenings for correspondence and local-degree versions. As a corollary, we improve theorems on the related notion of flexible list colouring. In particular we study Cartesian products and $d$-degenerate graphs, and we prove that $χ_{\ell}^{\bullet}(G)$ is bounded from above by the pathwidth of $G$ plus one. The correspondence analogue of the latter is false for treewidth instead of pathwidth.
Identities involving partitions with distinct even parts and $4$-regular partitions
Published
• View Publication
• BIB
It is well known that the number of partitions into distinct even parts equals the number of $4$-regular partitions. In this paper we prove identities relating certain restricted partitions into distinct even parts with restricted $4$-regular partitions.
Conditional Non-Soficity of p-adic Deligne Extensions: on a Theorem of Gohla and Thom
A long standing problem asks whether every group is sofic, i.e., can be separated by almost-homomorphisms to the symmetric group $Sym(n)$. Similar problems have been asked with respect to almost-homomorphisms to the unitary group $U(n)$, equipped with various norms. One of these problems has been solved for the first time in [De Chiffre, Gelbsky, Lubotzky, Thom, 2020]: some central extensions $\widetildeΓ$ of arithmetic lattices $Γ$ of $Sp(2g,\mathbb{Q}_p)$ were shown to be non-Frobenius approximated by almost homomorphisms to $U(n)$. Right after, it was shown that similar results hold with respect to the $p$-Schatten norms in [Lubotzky, Oppenheim, 2020]. It is natural, and has already been suggested in [Chapman, Lubotzky, 2024] and [Gohla, Thom, 2024], to check whether the $\widetildeΓ$ are also non-sofic. In order to show that they are (also) non-sofic, it suffices:
(a) To prove that the permutation Cheeger constant of the simplicial complex underlying $Γ$ is positive, generalizing [Evra, Kaufman, 2016]. This would imply that $Γ$ is stable.
(b) To prove that the (flexible) stability of $Γ$ implies the non-soficity of $\widetildeΓ$.
Clause (b) was proved by Gohla and Thom. Here we offer a more algebraic/combinatorial treatment to their theorem.
A combinatorial proof of an identity involving Eulerian numbers
Published
• View Publication
• BIB
We give a combinatorial proof of an identity that involves Eulerian numbers and was obtained algebraically by Brenti and Welker (2009). To do so, we study alcoved triangulations of dilated hypersimplices. As a byproduct, we describe the dual graph of the triangulation in the case of the standard simplex, conjecture its structure for general hypersimplices, and prove combinatorially that the Eulerian numbers coincide with the normalized volumes of the hypersimplices.
A lower bound on the number of edges in DP-critical graphs. II. Four colors
A graph $G$ is $k$-critical (list $k$-critical, DP $k$-critical) if $χ(G)= k$ ($χ_\ell(G)= k$, $χ_\mathrm{DP}(G)= k$) and for every proper subgraph $G'$ of $G$, $χ(G')<k$ ($χ_\ell(G')< k$, $χ_\mathrm{DP}(G')<k$). Let $f(n, k)$ ($f_\ell(n, k), f_\mathrm{DP}(n,k)$) denote the minimum number of edges in an $n$-vertex $k$-critical (list $k$-critical, DP $k$-critical) graph. The main result of this paper is that if $n\geq 6$ and $n\not\in\{7,10\}$, then $$f_\mathrm{DP}(n,4)>\left(3 + \frac{1}{5} \right) \frac{n}{2}. $$ This is the first bound on $f_\mathrm{DP}(n,4)$ that is asymptotically better than the well-known bound $f(n,4)\geq \left(3 + \frac{1}{13} \right) \frac{n}{2}$ by Gallai from 1963. The result also yields a better bound on $f_{\ell}(n,4)$ than the one known before.
Distributions of Ulam Words up to Length 30
We further explore the notion of Ulam words considered by Bade, Cui, Labelle, and Li, giving some lower bounds on how many there are of a given length. Gaps between words and words of special type also reveal remarkable structure. By substantially increasing the number of computed terms, we are also able to sharpen some of the conjectures made by Bade et al.
Uniform generation of large traces
Published
• View Publication
• BIB
We introduce an algorithm for the uniform generation of infinite traces, i.e., infinite words up to commutation of some letters. The algorithm outputs on-the-fly approximations of a theoretical infinite trace, the latter being distributed according to the exact uniform probability measure. The average size of the approximation grows linearly with the time of execution of the algorithm, hence its output can be effectively used while running.
Two versions of the algorithm are given. A version without rejection has a good production speed, provided that some precomputations have been done, but these may be costly. A version with rejection requires much fewer computations, at the expense of a production speed that can be small.
We also show that, for some particular trace monoids, one or the other version of the algorithm can actually be very good: few computations for a good production speed.
Convergence of distributions on paths
Published in In: Fernau, H., Jansen, K. (eds) Fundamentals of Computation Theory. FCT 2023. Lecture Notes in Computer Science, vol 14292. Springer
• View Publication
• BIB
We study the convergence of distributions on finite paths of weighted digraphs, namely the family of Boltzmann distributions and the sequence of uniform distributions. Targeting applications to the convergence of distributions on paths, we revisit some known results from reducible nonnegative matrix theory and obtain new ones, with a systematic use of tools from analytic combinatorics. In several fields of mathematics, computer science and system theory, including concurreny theory, one frequently faces non strongly connected weighted digraphs encoding the elements of combinatorial structures of interest; this motivates our study.
Isomorphisms of graphs of Hyperbinary Expansions and Efficient Algorithms for Stern's Diatomic Sequence
Published
• View Publication
• BIB
To investigate hyperbinary expansions of a nonnegative integer~$n$, an edge-labeled directed graph $A(n)$ has recently been introduced. After pointing out some new simple facts about its cyclomatic number, we give a relatively simple description of its structure and prove that if $m,n$ are even numbers for which $A(n)$ and $A(m)$ are isomorphic as edge-labeled graphs, then $m=n$. From the structure of $A(n)$ we also derive a formula related to Stern's diatomic sequence, and in the same vein discuss some algorithms that recently appeared in the literature.
Totally ordered pseudo q-factorization graphs and prime factorization
Published in Arkiv for Matematik, Volume 63 (2025) Number 2, pp. 225-252
• View Publication
• BIB
In an earlier publication, the last two authors showed that a finite-dimensional module for a quantum affine algebra of type $A$ whose $q$-factorization graph is totally ordered is prime. In this paper, we continue the investigation of the role of totally ordered pseudo $q$-factorization graphs in the study of the monoidal structure of the underlying abelian category. We introduce the notions of modules with (prime) snake support and of maximal totally ordered subgraphs decompositions. Our main result shows that modules with snake support have unique such decomposition and that it determines the corresponding prime factorization. Along the way, we also prove that prime snake modules (for type $A$) can be characterized as the modules for which every pseudo $q$-factorization graph is totally ordered.
Disproofs of four Gallai-Ramsey-type conjectures
As a significant variation of Ramsey numbers, the Gallai-Ramsey number $GR_k(H)$ refers to the smallest positive integer $r$ such that, by coloring the edges of $K_r$ with at most $k$ colors, there exists either a monochromatic subgraph isomorphic to $H$ or a rainbow triangle. Mao, Wang, Magnant, and Schiermeyer [Discrete Math., 2023], Song, Wei, Zhang, and Zhao [Discrete Math., 2020], and Zhao and Wei [Discrete Appl. Math., 2021] each proposed one conjecture on the Gallai-Ramsey numbers for fans, wheels, and kipases, respectively. We establish new lower bounds that disprove all three conjectures. Su and Liu [Graphs Combin., 2022] studied the Gallai-Ramsey-full property of graphs and conjectured that a graph is Ramsey-full if and only if it is Gallai-Ramsey-full. We present two classes of graphs that are Ramsey-full, but neither is Gallai-Ramsey-full.
Monomial ideals whose all matching powers are Cohen-Macaulay
In the present paper, we aim to classify monomial ideals whose all matching powers are Cohen-Macaulay. We especially focus our attention on edge ideals. The Cohen-Macaulayness of the last matching power of an edge ideal is characterized, providing an algebraic analogue of the famous Tutte theorem regarding graphs having a perfect matching. For chordal graphs, very well-covered graphs and Cameron-Walker graphs, we completely solve our problem.
Large Cuts in Hypergraphs via Energy
Published in Math. Proc. Camb. Phil. Soc. 179 (2025) 45-61
• View Publication
• BIB
A simple probabilistic argument shows that every $r$-uniform hypergraph with $m$ edges contains an $r$-partite subhypergraph with at least $\frac{r!}{r^r}m$ edges. The celebrated result of Edwards states that in the case of graphs, that is $r=2$, the resulting bound $m/2$ can be improved to $m/2+Ω(m^{1/2})$, and this is sharp. We prove that if $r\geq 3$, then there is an $r$-partite subhypergraph with at least $\frac{r!}{r^r} m+m^{3/5-o(1)}$ edges. Moreover, if the hypergraph is linear, this can be improved to $\frac{r!}{r^r} m+m^{3/4-o(1)},$ which is tight up to the $o(1)$ term. These improve results of Conlon, Fox, Kwan, and Sudakov. Our proof is based on a combination of probabilistic, combinatorial, and linear algebraic techniques, and semidefinite programming.
A key part of our argument is relating the energy $\mathcal{E}(G)$ of a graph $G$ (i.e. the sum of absolute values of eigenvalues of the adjacency matrix) to its maximum cut. We prove that every $m$ edge multigraph $G$ has a cut of size at least $m/2+Ω(\frac{\mathcal{E}(G)}{\log m})$, which might be of independent interest.
The Ehrhart $h^*$-polynomials of positroid polytopes
Published
• View Publication
• BIB
A positroid is a matroid realized by a matrix such that all maximal minors are non-negative. Positroid polytopes are matroid polytopes of positroids. In particular, they are lattice polytopes. The Ehrhart polynomial of a lattice polytope counts the number of integer points in the dilation of that polytope. The Ehrhart series is the generating function of the Ehrhart polynomial, a rational function with a numerator called the $h^*$-polynomial. We give explicit formulas for the $h^*$-polynomials of an arbitrary positroid polytope regarding permutation descents. Our result generalizes that of Early, Kim, and Li for hypersimplices.
Efficient $1$-bit tensor approximations
We present a spatially efficient decomposition of matrices and arbitrary-order tensors as linear combinations of tensor products of $\{-1, 1\}$-valued vectors. For any matrix $A \in \mathbb{R}^{m \times n}$, $$A - R_w = S_w C_w T_w^\top = \sum_{j=1}^w c_j \cdot \mathbf{s}_j \mathbf{t}_j^\top$$ is a {\it $w$-width signed cut decomposition of $A$}. Here $C_w = "diag"(\mathbf{c}_w)$ for some $\mathbf{c}_w \in \mathbb{R}^w,$ and $S_w, T_w$, and the vectors $\mathbf{s}_j, \mathbf{t}_j$ are $\{-1, 1\}$-valued. To store $(S_w, T_w, C_w)$, we may pack $w \cdot (m + n)$ bits, and require only $w$ floating point numbers. As a function of $w$, $\|R_w\|_F$ exhibits exponential decay when applied to #f32 matrices with i.i.d. $\mathcal N (0, 1)$ entries. Choosing $w$ so that $(S_w, T_w, C_w)$ has the same memory footprint as a \textit{f16} or \textit{bf16} matrix, the relative error is comparable. Our algorithm yields efficient signed cut decompositions in $20$ lines of pseudocode. It reflects a simple modification from a celebrated 1999 paper [1] of Frieze and Kannan. As a first application, we approximate the weight matrices in the open \textit{Mistral-7B-v0.1} Large Language Model to a $50\%$ spatial compression. Remarkably, all $226$ remainder matrices have a relative error $<6\%$ and the expanded model closely matches \textit{Mistral-7B-v0.1} on the {\it huggingface} leaderboard [2]. Benchmark performance degrades slowly as we reduce the spatial compression from $50\%$ to $25\%$. We optimize our open source \textit{rust} implementation [3] with \textit{simd} instructions on \textit{avx2} and \textit{avx512} architectures. We also extend our algorithm from matrices to tensors of arbitrary order and use it to compress a picture of the first author's cat Angus.
Characterizing and Testing Principal Minor Equivalence of Matrices
Published
• View Publication
• BIB
Two matrices are said to be principal minor equivalent if they have equal corresponding principal minors of all orders. We give a characterization of principal minor equivalence and a deterministic polynomial time algorithm to check if two given matrices are principal minor equivalent. Earlier such results were known for certain special cases like symmetric matrices, skew-symmetric matrices with {0, 1, -1}-entries, and matrices with no cuts (i.e., for any non-trivial partition of the indices, the top right block or the bottom left block must have rank more than 1).
As an immediate application, we get an algorithm to check if the determinantal point processes corresponding to two given kernel matrices (not necessarily symmetric) are the same. As another application, we give a deterministic polynomial-time test to check equality of two multivariate polynomials, each computed by a symbolic determinant with a rank 1 constraint on coefficient matrices.
Equivariant cohomology of Grassmannian spanning lines
Published
• View Publication
• BIB
Given integers $n \geq k \geq d$, let $X_{n,k,d}$ be the moduli space of $n$-tuples of lines $(\ell_1, \dots, \ell_n)$ in $\mathbb{C}^k$ such that $\ell_1 + \cdots + \ell_n$ has dimension $d$. We give a quotient presentation of the torus-equivariant cohomology of $X_{n,k,d}$. The form of this presentation, and in particular the torus parameters appearing therein, will arise from the orbit harmonics method of combinatorial deformation theory.