Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Approximate packing of independent transversals in locally sparse graphs
Published
• View Publication
• BIB
Fix $\varepsilon >0$ and consider a multipartite graph $G$ with maximum degree at most $(1-\varepsilon)n$, parts $V_1,\ldots,V_k$ of the same size $n$, and where every vertex has at most $o(n)$ neighbors in any part $V_i$. Loh and Sudakov proved that any such $G$ has an independent transversal. They further conjectured that the vertex set of $G$ can be decomposed into pairwise disjoint independent transversals. In the present paper, we resolve this conjecture approximately by showing that $G$ contains $(1-\varepsilon)n$ pairwise disjoint independent transversals. As applications, we give approximate answers to questions of Yuster, and of Fischer, Kühn, and Osthus.
On the Uniqueness of Kähler-Einstein Polygons in Mutation-Equivalence Classes
We study a subclass of Kähler-Einstein Fano polygons and how they behave under mutation. The polygons of interest are Kähler-Einstein Fano triangles and symmetric Fano polygons. In particular, we find an explicit bound for the number of these polygons in an arbitrary mutation-equivalence class.
An important mutation-invariant of a Fano polygon is its singularity content. We extend the notion of singularity content and prove that it is still a mutation-invariant. We use this to show that if two symmetric Fano polygons are mutation-equivalent, then they are isomorphic. We further show that if two Kähler-Einstein Fano triangles are mutation-equivalent, then they are isomorphic. Finally, we show that if a symmetric Fano polygon is mutation-equivalent to a Kähler-Einstein triangle, then they are isomorphic. Thus, each mutation-equivalence class has at most one Fano polygon which is either a Kähler-Einstein triangle or symmetric.
A recent conjecture states that all Kähler-Einstein Fano polygons are either triangles or are symmetric. We provide a counterexample $P$ to this conjecture and discuss several of its properties. For instance, we compute iterated barycentric transformations of $P$ and find that (a) the Kähler-Einstein property is not preserved by the barycentric transformation, and (b) $P$ is of strict type $B_2$. Finally, we find examples of Kähler-Einstein Fano polygons which are not minimal.
Double Dyck Path Algebra Representations From DAHA
The double Dyck path algebra $\mathbb{A}_{q,t}$ was introduced by Carlsson-Mellit in their proof of the Shuffle Theorem. A variant of this algebra, $\mathbb{B}_{q,t}$, was introduced by Carlsson-Gorsky-Mellit in their study of the parabolic flag Hilbert schemes of points in $\mathbb{C}^2$ showing that $\mathbb{B}_{q,t}$ acts naturally on the equivariant $K$-theory of these spaces. The algebraic relations defining $\mathbb{B}_{q,t}$ appear superficially similar to those of the positive double affine Hecke algebras (DAHA) in type $GL$, $\mathscr{D}_n^{+}$, introduced by Cherednik. In this paper we provide a general method for constructing $\mathbb{B}_{q,t}$ representations from DAHA representations. In particular, every $\mathscr{D}_n^{+}$ module yields a representation of a subalgebra $\mathbb{B}_{q,t}^{(n)}$ of $\mathbb{B}_{q,t}$ and special families of compatible DAHA representations give representations of $\mathbb{B}_{q,t}$. These constructions are functorial. Lastly, we will construct a large family of $\mathbb{B}_{q,t}$ representations indexed by partitions using this method related to the Murnaghan-type representations of the positive elliptic Hall algebra introduced previously by the author.
Code-Based Single-Server Private Information Retrieval: Circumventing the Sub-Query Attack
Published
• View Publication
• BIB
Private information retrieval from a single server is considered, utilizing random linear codes. Presented is a modified version of the first code-based single-server computational PIR scheme proposed by Holzbaur, Hollanti, and Wachter-Zeh in [Holzbaur et al., "Computational Code-Based Single-Server Private Information Retrieval", 2020 IEEE ISIT]. The original scheme was broken in [Bordage et al., "On the privacy of a code-based single-server computational PIR scheme", Cryptogr. Comm., 2021] by an attack arising from highly probable rank differences in sub-matrices of the user's query. Here, this attack is now circumvented by ensuring that the sub-matrices have negligible rank difference. Furthermore, the rank difference cannot be attributed to the desired file index, thereby ensuring the privacy of the scheme. In the case of retrieving multiple files, the rate of the modified scheme is largely unaffected and at par with the original scheme.
Noisy group testing via spatial coupling
Published in Combinator. Probab. Comp. 34 (2025) 210-258
• View Publication
• BIB
We study the problem of identifying a small set $k\sim n^θ$, $0<θ<1$, of infected individuals within a large population of size $n$ by testing groups of individuals simultaneously. All tests are conducted concurrently. The goal is to minimise the total number of tests required. In this paper we make the (realistic) assumption that tests are noisy, i.e.\ that a group that contains an infected individual may return a negative test result or one that does not contain an infected individual may return a positive test results with a certain probability. The noise need not be symmetric. We develop an algorithm called SPARC that correctly identifies the set of infected individuals up to $o(k)$ errors with high probability with the asymptotically minimum number of tests. Additionally, we develop an algorithm called SPEX that exactly identifies the set of infected individuals w.h.p. with a number of tests that matches the information-theoretic lower bound for the constant column design, a powerful and well-studied test design.
On open-separating dominating codes in graphs
Published in Discrete Applied Mathematics, Volume 375, 15 November 2025, Pages 215-238
• View Publication
• BIB
Using dominating sets to separate vertices of graphs is a well-studied problem in the larger domain of identification problems. In such problems, the objective is to choose a suitable dominating set $C$ of a graph $G$ which is also separating in the sense that the neighbourhoods of any two distinct vertices of $G$ have distinct intersections with $C$. Such a dominating and separating set $C$ of a graph is often referred to as a code in the literature. Depending on the types of dominating and separating sets used, various problems arise under various names in the literature. In this paper, we introduce a new problem in the same realm of identification problems whereby the code, called open-separating dominating code, or OD-code for short, is a dominating set and uses open neighbourhoods for separating vertices. The paper studies the fundamental properties concerning the existence, hardness and minimality of OD-codes. Due to the emergence of a close and yet difficult to establish relation of the OD-code with another well-studied code in the literature called open (neighborhood)-locating dominating code (referred to as the open-separating total-dominating code and abbreviated as OTD-code in this paper), we compare the two codes on various graph families. Finally, we also provide an equivalent reformulation of the problem of finding OD-codes of a graph as a covering problem in a suitable hypergraph and discuss the polyhedra associated with OD-codes, again in relation to OTD-codes of some graph families already studied in this context.
On the $D_α$ spectral radius of non-transmission regular graphs
Let $G$ be a connected graph with order $n$ and size $m$. Let $D(G)$ and $Tr(G)$ be the distance matrix and diagonal matrix with vertex transmissions of $G$, respectively. For any real $α\in[0,1]$, the generalized distance matrix $D_α(G)$ of $G$ is defined as $$D_α(G)=αTr(G)+(1-α)D(G).$$ The largest eigenvalue of $D_α(G)$ is called the $D_α$ spectral radius or generalized distance spectral radius of $G$, denoted by $μ_α(G)$. In this paper, we establish a lower bound on the difference between the maximum vertex transmission and the $D_α$ spectral radius of non-transmission regular graphs, and we also characterize the extremal graphs attaining the bound.
Resolution of the Kohayakawa-Kreuter conjecture
Published
• View Publication
• BIB
A graph $G$ is said to be Ramsey for a tuple of graphs $(H_1,\dots,H_r)$ if every $r$-coloring of the edges of $G$ contains a monochromatic copy of $H_i$ in color $i$, for some $i$. A fundamental question at the intersection of Ramsey theory and the theory of random graphs is to determine the threshold at which the binomial random graph $G_{n,p}$ becomes a.a.s. Ramsey for a fixed tuple $(H_1,\dots,H_r)$, and a famous conjecture of Kohayakawa and Kreuter predicts this threshold. Earlier work of Mousset-Nenadov-Samotij, Bowtell-Hancock-Hyde, and Kuperwasser-Samotij-Wigderson has reduced this probabilistic problem to a deterministic graph decomposition conjecture. In this paper, we resolve this deterministic problem, thus proving the Kohayakawa-Kreuter conjecture. Along the way, we prove a number of novel graph decomposition results which may be of independent interest.
Cluster parking functions
Published in Bull. Belg. Math. Soc. Simon Stevin 32(1): 1-44 (April 2025)
• View Publication
• BIB
The cluster complex on one hand, parking functions on the other hand, are two combinatorial (po)sets that can be associated to a finite real reflection group. Cluster parking functions are obtained by taking an appropriate fiber product (over noncrossing partitions). There is a natural structure of simplicial complex on these objects, and our main goal is to show that it has the homotopy type of a (pure) wedge of spheres. The unique nonzero homology group (as a representation of the underlying reflection group) is a sign-twisted parking representation, which is the same as Gordon's quotient of diagonal coinvariants. Along the way, we prove some properties of the poset of parking functions. We also provide a long list of remaining open problems.
Minimal Kinematics on $\mathcal{M}_{0,n}$
Published
• View Publication
• BIB
Minimal kinematics identifies likelihood degenerations where the critical points are given by rational formulas. These rest on the Horn uniformization of Kapranov-Huh. We characterize all choices of minimal kinematics on the moduli space $\mathcal{M}_{0,n}$. These choices are motivated by the CHY model in physics and they are represented combinatorially by 2-trees. We compute 2-tree amplitudes, and we explore extensions to non-planar on-shell diagrams, here identified with the hypertrees of Castravet-Tevelev.
Asynchronous dynamics of isomorphic Boolean networks
Published
• View Publication
• BIB
A Boolean network is a function $f:\{0,1\}^n\to\{0,1\}^n$ from which several dynamics can be derived, depending on the context. The most classical ones are the synchronous and asynchronous dynamics. Both are digraphs on $\{0,1\}^n$, but the synchronous dynamics (which is identified with $f$) has an arc from $x$ to $f(x)$ while the asynchronous dynamics $\mathcal{A}(f)$ has an arc from $x$ to $x+e_i$ whenever $x_i\neq f_i(x)$. Clearly, $f$ and $\mathcal{A}(f)$ share the same information, but what can be said on these objects up to isomorphism? We prove that if $\mathcal{A}(f)$ is only known up to isomorphism then, with high probability, $f$ can be fully reconstructed up to isomorphism. We then show that the converse direction is far from being true. In particular, if $f$ is only known up to isomorphism, very little can be said on the attractors of $\mathcal{A}(f)$. For instance, if $f$ has $p$ fixed points, then $\mathcal{A}(f)$ has at least $\max(1,p)$ attractors, and we prove that this trivial lower bound is tight: there always exists $h\sim f$ such that $\mathcal{A}(h)$ has exactly $\max(1,p)$ attractors. But $\mathcal{A}(f)$ may often have much more attractors since we prove that, with high probability, there exists $h\sim f$ such that $\mathcal{A}(h)$ has $Ω(2^n)$ attractors.
Groups generated by pattern avoiding permutations
Published in Ars Combinatoria 159 (2024), 95-108
• View Publication
• BIB
We study groups generated by sets of pattern avoiding permutations. In the first part of the paper we prove some general results concerning the structure of such groups. In the second part we carry out a case-by-case analysis of groups generated by permutations avoiding few short patterns.
Bad Science Matrices
Inspired by the bad scientist who keeps repeating an experiment 20 times to get a single outcome with $p < 0.05$, we consider matrices $A \in \mathbb{R}^{n \times n}$ whose rows are normalized in $\ell^2$ and for which $2^{-n}\sum_{x \in \left\{-1,1\right\}^n} \|Ax\|_{\ell^{\infty}}$ is large. They correspond to affine transformations of the discrete unit cube to points with, on average, at least one large coordinate. Such matrices can be seen as a collection of fair tests on a fair coin where at least one outcome is typically atypical. We prove that, as $n \rightarrow \infty$, the quantity can scale as
$$ \max_{A \in \mathbb{R}^{n \times n}} \frac{1}{2^{n}}\sum_{x \in \left\{-1,1\right\}^n} \|Ax\|_{\ell^{\infty}} = (1+o(1)) \cdot \sqrt{2\log{n}}.$$ We also present candidate maximizers up to dimension $n \leq 8$ which appear to be highly structured and have nice closed-form solutions.
The change of vertex energy when joining trees
Published
• View Publication
• BIB
In this manuscript we study how the vertex energy of a tree is affected when joined with a bipartite graph. We find an alternating pattern with respect to the coalescence vertex: the energy decreases for vertices located at odd distances and increases for those located at even distances.
Bounding the Weisfeiler-Leman Dimension via a Depth Analysis of I/R-Trees
Published
• View Publication
• BIB
The Weisfeiler-Leman (WL) dimension is an established measure for the inherent descriptive complexity of graphs and relational structures. It corresponds to the number of variables that are needed and sufficient to define the object of interest in a counting version of first-order logic (FO). These bounded-variable counting logics were even candidates to capture graph isomorphism, until a celebrated construction due to Cai, Fürer, and Immerman [Combinatorica 1992] showed that $Ω(n)$ variables are required to distinguish all non-isomorphic $n$-vertex graphs.
Still, very little is known about the precise number of variables required and sufficient to define every $n$-vertex graph. For the bounded-variable (non-counting) FO fragments, Pikhurko, Veith, and Verbitsky [Discret. Appl. Math. 2006] provided an upper bound of $\frac{n+3}{2}$ and showed that it is essentially tight. Our main result yields that, in the presence of counting quantifiers, $\frac{n}{4} + o(n)$ variables suffice. This shows that counting does allow us to save variables when defining graphs. As an application of our techniques, we also show new bounds in terms of the vertex cover number of the graph.
To obtain the results, we introduce a new concept called the WL depth of a graph. We use it to analyze branching trees within the Individualization/Refinement (I/R) paradigm from the domain of isomorphism algorithms. We extend the recursive procedure from the I/R paradigm by the possibility of splitting the graphs into independent parts. Then we bound the depth of the obtained branching trees, which translates into bounds on the WL dimension and thereby on the number of variables that suffice to define the graphs.
An approximation of the Collatz map and a lower bound for the average total stopping time
Define the map $\mathsf{T}$ on the positive integers by $\mathsf{T}(m)=\frac{m}{2}$ if $m$ is even and by $\mathsf{T}(m)=\frac{3m+1}{2}$ if $m$ is odd. Results of Terras and Everett imply that, given any $ε>0$, almost all $m\in\mathbb{Z}^+$ (in the sense of natural density) fulfill $(\frac{\sqrt{3}}{2})^km^{1-ε}\leq \mathsf{T}^k(m)\leq (\frac{\sqrt{3}}{2})^km^{1+ε}$ simultaneously for all $0\leq k\leq α\log m$ with $α=(\log 2)^{-1}\approx 1.443$. We extend this result to $α=2(\log\frac{4}{3})^{-1}\approx 6.952$, which is the maximally possible value. Set $\mathsf{T}_{\min}(m):=\min_{n\in\mathbb{N}}\mathsf{T}^n(m)$. As an immediate consequence, one has $\mathsf{T}_{\min}(m)\leq\mathsf{T}^{\left\lfloor2(\log\frac{4}{3})^{-1}\log m\right\rfloor}(m)\leq m^ε$ for almost all $m\in\mathbb{Z}^+$ for any given $ε>0$. Previously, Korec has shown that $\mathsf{T}_{\min}(m)\leq m^ε$ for almost all $m\in\mathbb{Z}^+$ if $ε>\frac{\log3}{\log4}$, and recently Tao proved that $\mathsf{T}_{\min}(m)\leq f(m)$ for almost all $m\in\mathbb{Z}^+$ (in the sense of logarithmic density) for all functions $f$ diverging to $\infty$. Denote by $τ(m)$ the minimal $n\in\mathbb{N}$ for which $\mathsf{T}^n(m)=1$ if there exists such an $n$ and set $τ(m)=\infty$ otherwise. As another application, we show that $\liminf_{x\rightarrow\infty}\frac{1}{x\log x}\sum_{m=1}^{\lfloor x\rfloor}τ(m)\geq 2(\log\frac{4}{3})^{-1}$, partially answering a question of Crandall and Shanks. Under the assumption that the Collatz Conjecture is true in the strong sense that $τ(m)$ is in $O(\log m)$, we show that $\lim_{x\rightarrow\infty}\frac{1}{x\log x}\sum_{m=1}^{\lfloor x\rfloor}τ(m)= 2(\log\frac{4}{3})^{-1}$.
Associahedra as moment polytopes
Published
• View Publication
• BIB
Generalized associahedra are a well-studied family of polytopes associated to a finite-type cluster algebra and choice of starting cluster. We show that the generalized associahedra constructed by Padrol, Palu, Pilaud, and Plamondon, building on ideas from Arkani-Hamed, Bai, He, and Yan, can be naturally viewed as moment polytopes for an open patch of the quotient of the cluster A-variety with universal coefficients by its maximal natural torus action. We prove our result by showing that the construction of Padrol, Palu, Pilaud, and Plamondon can be understood on the basis of the way that moment polytopes behave under symplectic reduction.
Straightening laws for Chow rings of matroids
Published
• View Publication
• BIB
We give elementary and non-inductive proofs of three fundamental theorems about Chow rings of matroids: the standard monomial basis, Poincare duality, and the dragon-Hall-Rado formula. Our approach, which also works for augmented Chow rings of matroids, is based on a straightening law. This approach also gives a decomposition of the Chow ring of a matroid into pieces indexed by flats.
Approximation Rates and VC-Dimension Bounds for (P)ReLU MLP Mixture of Experts
Mixture-of-Experts (MoEs) can scale up beyond traditional deep learning models by employing a routing strategy in which each input is processed by a single "expert" deep learning model. This strategy allows us to scale up the number of parameters defining the MoE while maintaining sparse activation, i.e., MoEs only load a small number of their total parameters into GPU VRAM for the forward pass depending on the input. In this paper, we provide an approximation and learning-theoretic analysis of mixtures of expert MLPs with (P)ReLU activation functions. We first prove that for every error level $\varepsilon>0$ and every Lipschitz function $f:[0,1]^n\to \mathbb{R}$, one can construct a MoMLP model (a Mixture-of-Experts comprising of (P)ReLU MLPs) which uniformly approximates $f$ to $\varepsilon$ accuracy over $[0,1]^n$, while only requiring networks of $\mathcal{O}(\varepsilon^{-1})$ parameters to be loaded in memory. Additionally, we show that MoMLPs can generalize since the entire MoMLP model has a (finite) VC dimension of $\tilde{O}(L\max\{nL,JW\})$, if there are $L$ experts and each expert has a depth and width of $J$ and $W$, respectively.
Sampling List Packings
We study the problem of approximately counting the number of list packings of a graph. The analogous problem for usual vertex coloring and list coloring has attracted a lot of attention. For list packing the setup is similar but we seek a full decomposition of the lists of colors into pairwise-disjoint proper list colorings. In particular, the existence of a list packing implies the existence of a list coloring. Recent works on list packing have focused on existence or extremal results of on the number of list packings, but here we turn to the algorithmic aspects of counting.
In graphs of maximum degree $Δ$ and when the number of colors is at least $Ω(Δ^2)$, we give an FPRAS based on rapid mixing of a natural Markov chain (the Glauber dynamics) which we analyze with the path coupling technique. Some motivation for our work is the investigation of an atypical spin system, one where the number of spins for each vertex is much larger than the graph degree.