Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Unrestricted Red Size and Sign-Coherence
The unrestricted red size of a quiver is the maximal number of red vertices in its framed quiver after any given mutation sequence. In a 2023 paper by E. Bucher and J. Machacek, it was shown that connected, mutation-finite quivers either have an unrestricted red size of $n-1$ or $n$, where $n$ is the number of vertices in the quiver. We prove here that the same holds for the connected, mutation-infinite case using forks. As such, the unrestricted red size for any quiver equals $n-c$, where $c$ is the number of connected components of the quiver that do not admit a reddening sequence. Additionally, we prove a result on the $c$-vectors of forks that allows us to show that the $c$-vectors of both abundant acyclic quivers on any number of vertices and mutation-cyclic quivers on three vertices are sign-coherent with only elementary methods.
$s$-Stable Kneser Graph are Hamiltonian
Published
• View Publication
• BIB
The Kneser Graph $K(n,k)$ has as vertices all $k$-subsets of $\{1,\ldots,n\}$ and edges connecting two vertices if they are disjoint. The $s$-stable Kneser Graph $K_{s-stab}(n, k)$ is obtained from the Kneser graph by deleting vertices with elements at cyclic distance less than $s$. In this article we show that connected $s$-Stable Kneser graph are Hamiltonian.
Borel Combinatorics of Abelian Group Actions
We study the free part of the Bernoulli action of $\mathbb{Z}^n$ for $n\geq 2$ and the Borel combinatorics of the associated Schreier graphs. We construct orthogonal decompositions of the spaces into marker sets with various additional properties. In general, for Borel graphs $Γ$ admitting weakly orthogonal decompositions, we show that $χ_B(Γ)\leq 2χ(Γ)-1$ under some mild assumptions. As a consequence, we deduce that the Borel chromatic number for $F(2^{\mathbb{Z}^n})$ is $3$ for all $n\geq 2$. Weakly orthogonal decompositions also give rise to Borel unlayered toast structures. We also construct orthogonal decompositions of $F(2^{\mathbb{Z}^2})$ with strong topological regularity, in particular with all atoms homeomorphic to a disk. This allows us to show that there is a Borel perfect matching for $F(2^{\mathbb{Z}^n})$ for all $n\geq 2$ and that there is a Borel lining of $F(2^{\mathbb{Z}^2})$.
Chain-imprimitive, flag-transitive 2-designs
Published
• View Publication
• BIB
We consider $2$-designs which admit a group of automorphisms that is flag-transitive and leaves invariant a chain of nontrivial point-partitions. We build on our recent work on $2$-designs which are block-transitive but not necessarily flag-transitive. In particular we use the concept of the ``array'' of a point subset with respect to the chain of point-partitions; the array describes the distribution of the points in the subset among the classes of each partition. We obtain necessary and sufficient conditions on the array in order for the subset to be a block of such a design. By explicit construction we show that for any $s \geq 2$, there are infinitely many $2$-designs admitting a flag-transitive group that preserves an invariant chain of point-partitions of length $s$. Moreover an exhaustive computer search, using {\sc Magma}, seeking designs with $e_1e_2e_3$ points (where each $e_i\leq 50$) and a partition chain of length $s=3$, produced $57$ such flag-transitive designs, among which only three designs arise from our construction -- so there is still much to learn.
Solutions to the First Order Difference Equations in the Multivariate Difference Field
The bivariate difference field provides an algebraic framework for a sequence satisfying a recurrence of order two. Based on this, we focus on sequences satisfying a recurrence of higher order, and consider the multivariate difference field, in which the summation problem could be transformed into solving the first order difference equations. We then show a criterion for deciding whether the difference equation has a rational solution and present an algorithm for computing one rational solution of such a difference equation, if it exists. Moreover we get the rational solution set of such an equation.
Matching, odd $[1,b]$-factor and distance spectral radius of graphs with given some parameters
Published
• View Publication
• BIB
For a connected graph $G$, let $μ(G)$ denote the distance spectral radius of $G$. A matching in a graph $G$ is a set of disjoint edges of $G$. The maximum size of a matching in $G$ is called the matching number of $G$, denoted by $α(G)$. An odd $[1, b]$-factor of a graph $G$ is a spanning subgraph $G_0$ such that the degree $d_{G_0}(v)$ of $v$ in $G_0$ is odd and $1\le d_{G_0}(v)\le b$ for every vertex $v\in V (G)$. In this paper, we give a sharp upper bound in terms of the distance spectral radius to guarantee $α(G)>\frac{n-k}{2}$ in an $n$-vertex $t$-connected graph $G$, where $2\le k \le n-2$ is an integer. We also present a sharp upper bound in terms of distance spectral radius for the existence of an odd $[1,b]$-factor in a graph with given minimum degree $δ$.
Low-rank matrices, tournaments, and symmetric designs
Published in Linear Algebra Appl. 694 (2024) 136-147
• View Publication
• BIB
Let $\mathbf{a} = (a_{i})_{i \geq 1}$ be a sequence in a field $\mathbb{F}$, and $f \colon \mathbb{F} \times \mathbb{F} \to \mathbb{F}$ be a function such that $f(a_{i},a_{i}) \neq 0$ for all $i \geq 1$. For any tournament $T$ over $[n]$, consider the $n \times n$ symmetric matrix $M_{T}(f, \mathbf{a})$ with zero diagonal whose $(i,j)$th entry (for $i < j$) is $f(a_{i},a_{j})$ if $i \to j$ in $T$, and $f(a_{j},a_{i})$ if $j \to i$ in $T$. It is known (cf. Balachandran et al., Linear Algebra Appl. 658 (2023), 310-318) that if $T$ is a uniformly random tournament over $[n]$, then $\operatorname{rank}(M_{T}(f,\mathbf{a})) \geq (\frac{1}{2}-o(1))n$ with high probability when $\operatorname{char}(\mathbb{F}) \neq 2$ and $f$ is a linear function.
In this paper, we investigate the other extremal question: how low can the ranks of such matrices be? We work with sequences $\mathbf{a}$ that take only two distinct values, so the rank of any such $n \times n$ matrix is at least $n/2$. First, we show that the rank of any such matrix depends on whether an associated bipartite graph has certain eigenvalues of high multiplicity. Using this, we show that if $f$ is linear, then there are $n \times n$ real matrices $M_{T}(f;\mathbf{a})$ of rank at most $\frac{n}{2} + O(1)$. For rational matrices, we show that for each $\varepsilon > 0$ we can find a sequence $\mathbf{a}(\varepsilon)$ for which there are $n \times n$ matrices $M_{T}(f;\mathbf{a}(\varepsilon))$ of rank at most $(\frac{1}{2} + \varepsilon)n + O(1)$. These matrices are constructed from symmetric designs, and we also use them to produce bisection-closed families of size greater than $\lfloor 3n/2 \rfloor - 2$ for $n \leq 15$, which improves the previously best known bound (cf. Balachandran et al., Electron J. Combin. 26 (2019), #P2.40).
Comparison of modularity-based approaches for nodes clustering in hypergraphs
Published
• View Publication
• BIB
Statistical analysis and node clustering in hypergraphs constitute an emerging topic suffering from a lack of standardization. In contrast to the case of graphs, the concept of nodes' community in hypergraphs is not unique and encompasses various distinct situations. In this work, we conducted a comparative analysis of the performance of modularity-based methods for clustering nodes in binary hypergraphs. To address this, we begin by presenting, within a unified framework, the various hypergraph modularity criteria proposed in the literature, emphasizing their differences and respective focuses. Subsequently, we provide an overview of the state-of-the-art codes available to maximize hypergraph modularities for detecting node communities in binary hypergraphs. Through exploration of various simulation settings with controlled ground truth clustering, we offer a comparison of these methods using different quality measures, including true clustering recovery, running time, (local) maximization of the objective, and the number of clusters detected. Our contribution marks the first attempt to clarify the advantages and drawbacks of these newly available methods. This effort lays the foundation for a better understanding of the primary objectives of modularity-based node clustering methods for binary hypergraphs.
On Sparse Covers of Minor Free Graphs, Low Dimensional Metric Embeddings, and other applications
Given a metric space $(X,d_X)$, a $(β,s,Δ)$-sparse cover is a collection of clusters $\mathcal{C}\subseteq P(X)$ with diameter at most $Δ$, such that for every point $x\in X$, the ball $B_X(x,\fracΔβ)$ is fully contained in some cluster $C\in \mathcal{C}$, and $x$ belongs to at most $s$ clusters in $\mathcal{C}$. Our main contribution is to show that the shortest path metric of every $K_r$-minor free graphs admits $(O(r),O(r^2),Δ)$-sparse cover, and for every $ε>0$, $(4+ε,O(\frac1ε)^r,Δ)$-sparse cover (for arbitrary $Δ>0$). We then use this sparse cover to show that every $K_r$-minor free graph embeds into $\ell_\infty^{\tilde{O}(\frac1ε)^{r+1}\cdot\log n}$ with distortion $3+ε$ (resp. into $\ell_\infty^{\tilde{O}(r^2)\cdot\log n}$ with distortion $O(r)$). Further, among other applications, this sparse cover immediately implies an algorithm for the oblivious buy-at-bulk problem in fixed minor free graphs with the tight approximation factor $O(\log n)$ (previously nothing beyond general graphs was known).
Minimal doubling for small subsets in compact Lie groups
We prove a sharp bound for the minimal doubling of a small measurable subset of a compact connected Lie group. Namely, let $G$ be a compact connected Lie group of dimension $d_G$, we show that for for all measurable subsets $A$, we have $$μ_G(A^2) \geq \left(2^{d_G-d_H} - Cμ_G(A)^{\frac{2}{d_G-d_H}}\right)μ_G(A)$$ where $d_H$ is the maximal dimension of a proper closed subgroup $H$ and $C > 0$ is a dimensional constant. This settles a conjecture of Breuillard and Green, and recovers and improves - with completely different methods - a recent result of Jing--Tran--Zhang corresponding to the case $G=SO_3(\mathbb{R})$. As is often the case, the above doubling inequality stems from a special case of general product-set estimates. We prove that for all $ε>0$ and for any pair of sufficiently small measurable subsets $A,B$ a Brunn--Minkowski-type inequality holds:
$$ μ_G(AB)^{\frac{1}{d_G-d_H}} \geq (1-ε)\left( μ_G(A)^{\frac{1}{d_G-d_H}} + μ_G(B)^{\frac{1}{d_G-d_H}}\right).$$
Going beyond the scope of the Breuillard--Green conjecture, we prove a stability result asserting that the only subsets with close to minimal doubling are essentially neighbourhoods of proper subgroups i.e. of the form $$H_δ:=\{g \in G: d(g,H)<δ\}$$ where $H$ denotes a proper closed subgroup of maximal dimension, $d$ denotes a bi-invariant distance on $G$ and $δ>0$.
Our approach relies on a combination of two toolsets: optimal transports and its recent applications to the Brunn--Minkowski inequality, and the structure theory of compact approximate subgroups.
On a Transformation of Triple $q$-Series and Rogers-Hecke Type Series
Published in SIGMA 20 (2024), 086, 37 pages
• View Publication
• BIB
Using the method of the $q$-exponential differential operator, we give an extension of the Sears $_4φ_3$ transformation formula. Based on this extended formula and a $q$-series expansion formula for an analytic function around the origin, we present a transformation formula for triple $q$-series, which includes several interesting special cases, especially a double $q$-series summation formula. Some applications of this transformation formula to Rogers-Hecke type series are discussed. More than 100 Rogers-Hecke type identities including Andrews' identities for the sums of three squares and the sums of three triangular numbers are obtained.
Strongly k-recursive sequences
Published
• View Publication
• BIB
Drawing inspiration from a recent paper of Heuberger, Krenn, and Lipnik, we define the class of strongly k-recursive sequences. We show that every k-automatic sequence is strongly $k$-recursive, therefore k-recursive, and discuss that the converse is not true.
We also show that the class of strongly k-recursive sequences is a proper subclass of the class of k-regular sequences, and we present some explicit examples. We then extend the proof techniques to answer the same question for the class of k-recursive sequences.
Planar binary trees, noncrossing partitions and the operator-valued S-transform
Published
• View Publication
• BIB
We revisit the twisted multiplicativity property of Voiculescu's S-transform in the operator-valued setting, using a specific bijection between planar binary trees and noncrossing partitions.
On the diameter of a super-order-commuting graph
We answer a question about the diameter of an order-super-commuting graph on a symmetric group by studying the number-theoretical concept of $d$-complete sequences of primes in arithmetic progression.
Construction of orientable sequences in $O(1)$-amortized time per bit
An orientable sequence of order $n$ is a cyclic binary sequence such that each length-$n$ substring appears at most once \emph{in either direction}. Maximal length orientable sequences are known only for $n\leq 7$, and a trivial upper bound on their length is $2^{n-1} - 2^{\lfloor(n-1)/2\rfloor}$. This paper presents the first efficient algorithm to construct orientable sequences with asymptotically optimal length; more specifically, our algorithm constructs orientable sequences via cycle-joining and a successor-rule approach requiring $O(n)$ time per bit and $O(n)$ space. This answers a longstanding open question from Dai, Martin, Robshaw, Wild [Cryptography and Coding III (1993)]. Applying a recent concatenation-tree framework, the same sequences can be generated in $O(1)$-amortized time per bit using $O(n^2)$ space. Our sequences are applied to find new longest-known (aperiodic) orientable sequences for $n\leq 20$.
An analytic version of stable arithmetic regularity
We prove a structure theorem for stable functions on amenable groups, which extends the arithmetic regularity lemma for stable subsets of finite groups. Given a group $G$, a function $f\colon G\to [-1,1]$ is called stable if the binary function $f(x\cdot y)$ is stable in the sense of continuous logic. Roughly speaking, our main result says that if $G$ is amenable, then any stable function on $G$ is almost constant on all translates of a unitary Bohr neighborhood in $G$ of bounded complexity. The proof uses ingredients from topological dynamics and continuous model theory. We also prove several applications which generalize results in arithmetic combinatorics to nonabelian groups.
Splines on Cayley Graphs of the Symmetric Group
Published in Forum of Mathematics, Sigma 13 (2025) e96
• View Publication
• BIB
A spline is an assignment of polynomials to the vertices of a graph whose edges are labeled by ideals, where the difference of two polynomials labeling adjacent vertices must belong to the corresponding ideal. The set of splines forms a ring. We consider spline rings where the underlying graph is the Cayley graph of a symmetric group generated by a collection of transpositions. These rings generalize the GKM construction for equivariant cohomology rings of flag, regular semisimple Hessenberg, and permutohedral varieties. These cohomology rings carry two actions of the symmetric group $S_n$ whose graded characters are both of general interest in algebraic combinatorics. In this paper, we generalize the graded $S_n$-representations from the cohomologies of the above varieties to splines on Cayley graphs of $S_n$, then (1) give explicit module and ring generators for whenever the $S_n$-generating set is minimal, (2) give a combinatorial characterization of when graded pieces of one $S_n$-representation is trivial, and (3) compute the first degree piece of both graded characters for all generating sets.
O(1) Insertion for Random Walk d-ary Cuckoo Hashing up to the Load Threshold
Published
• View Publication
• BIB
The random walk $d$-ary cuckoo hashing algorithm was defined by Fotakis, Pagh, Sanders, and Spirakis to generalize and improve upon the standard cuckoo hashing algorithm of Pagh and Rodler. Random walk $d$-ary cuckoo hashing has low space overhead, guaranteed fast access, and fast in practice insertion time. In this paper, we give a theoretical insertion time bound for this algorithm. More precisely, for every $d\ge 3$ random hashes, let $c_d^*$ be the sharp threshold for the load factor at which a valid assignment of $cm$ objects to a hash table of size $m$ exists with high probability. We show that for any $d\ge 3$ hashes and load factor $c<c_d^*$, the expectation of the random walk insertion time is $O(1)$, that is, a constant depending only on $d$ and $c$ but not $m$.
Minimal spanning arborescence
We study the minimal spanning arborescence which is the directed analogue of the minimal spanning tree, with a particular focus on its infinite volume limit and its geometric properties. We prove that in a certain large class of transient trees, the infinite volume limit exists almost surely. We also prove that for nonamenable, unimodular graphs, the limit is almost surely one-ended assuming a certain sufficient condition that guarantees the existence of the limit.
This object cannot be studied using well-known algorithms, such as Kruskal's or Prim's algorithm, to sample the minimal spanning tree which has been instrumental in getting analogous results about them (Lyons, Peres, and Schramm). Instead, we use a recursive algorithm due to Chu, Liu, Edmonds, and Bock, which leads to a novel stochastic process which we call the \emph{loop contracting random walk}. This is similar to the well-known and widely studied loop erased random walk, except instead of erasing loops we contract them. The full algorithm bears similarities with the celebrated Wilson's algorithm to generate uniform spanning trees and can be seen as a certain limit of the original Wilson's algorithm.
Commutative B\_infty -algebras are shuffle algebras
We here construct an explicit isomorphism between any commutative Hopf algebra which underlying coalgebra is the tensor coalgebra of a space $V$ and the shuffle algebra based on the same space. This isomorphism uses the commutative $B_\infty$ structure that governs the product and the eulerian idempotent, as well as the canonical projection on the space $V$. This generalizes Homan's isomorphism between commutative quasi-shuffle and shuffle algebras, which correspond to the case when the $B_\infty$ structure is given by an associative and commutative product. We develop several examples in details, including the Hopf algebra of finite topologies.