Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Large deviations for the largest singular value of sparse non-Hermitian matrices
We prove a large deviation principle for the largest singular value of sparse non-Hermitian random matrices, or directed Erdős-Rényi networks in the constant average degree regime $p =\frac{d}{n}$ where $d$ is fixed. Entries are assumed to have Weibull distributions with tail decaying at rate $e^{-t^α}$ for $α>0$. While the law of large number results agree with the largest eigenvalue of sparse Hermitian matrices given in (Ganguly and Nam, '22) and (Ganguly, Hiesmayr and Nam, '22), large deviation results are surprisingly simpler, exhibiting a single transition at $α=2$. The rate function for undirected networks with $0<α\leq 2$ involved a transition at $α=1$ and a complicated variational formula due to the emergence of cliques with large edge-weights (Ganguly, Hiesmayr and Nam, '22). For directed networks, we introduce a clique reduction technique which reformulates the problem for undirected networks with maximum clique size $2$, and the rate function is greatly simplified. For $α>2$, both the law of large numbers and large deviation results are identical to the sparse Hermitian case. Our results easily generalize to rectangular i.i.d. ensembles.
Linear Recurrence Sequence Automata and the Addition of Abstract Numeration Systems
Published
• View Publication
• BIB
Abstract numeration systems encode natural numbers using radix ordered words of an infinite regular language and linear recurrence sequences play a key role in their valuation. Sequence automata, which are deterministic finite automata with an additional linear recurrence sequence on each transition, are introduced to compute various $\mathbb{Z}$-rational non commutative formal series in abstract numeration systems. Under certain Pisot conditions on the recurrence sequences, the support of these series is regular. This property can be leveraged to derive various synchronized relations including a deterministic finite automaton that computes the addition relation of various Dumont-Thomas numeration systems and deterministic finite automata converting between various numeration systems. A practical implementation for Walnut is provided.
On the local resilience of random geometric graphs with respect to connectivity and long cycles
Given an increasing graph property $\mathcal{P}$, a graph $G$ is $α$-resilient with respect to $\mathcal{P}$ if, for every spanning subgraph $H\subseteq G$ where each vertex keeps more than a $(1-α)$-proportion of its neighbours, $H$ has property $\mathcal{P}$. We study the above notion of local resilience with $G$ being a random geometric graph $G_d(n,r)$ obtained by embedding $n$ vertices independently and uniformly at random in $[0,1]^d$, and connecting two vertices by an edge if the distance between them is at most $r$.
First, we focus on connectivity. We show that, for every $\varepsilon>0$, for $r$ a constant factor above the sharp threshold for connectivity $r_c$ of $G_d(n,r)$, the random geometric graph is $(1/2-\varepsilon)$-resilient for the property of being $k$-connected, with $k$ of the same order as the expected degree. However, contrary to binomial random graphs, for sufficiently small $\varepsilon>0$, connectivity is not born $(1/2-\varepsilon)$-resilient in $2$-dimensional random geometric graphs.
Second, we study local resilience with respect to the property of containing long cycles. We show that, for $r$ a constant factor above $r_c$, $G_d(n,r)$ is $(1/2-\varepsilon)$-resilient with respect to containing cycles of all lengths between constant and $2n/3$. Proving $(1/2-\varepsilon)$-resilience for Hamiltonicity remains elusive with our techniques. Nevertheless, we show that $G_d(n,r)$ is $α$-resilient with respect to Hamiltonicity for a fixed constant $α= α(d)<1/2$.
On automorphism groups of polar codes
Over the past years, Polar codes have arisen as a highly effective class of linear codes, equipped with a decoding algorithm of low computational complexity. This family of codes share a common algebraic formalism with the well-known Reed-Muller codes, which involves monomial evaluations. As useful algebraic codes, more specifically known as decreasing monomial codes, a lot of decoding work has been done on Reed-Muller codes based on their rich code automorphisms. In 2021, a new permutation group decoder, referred to as the automorphism ensemble (AE) decoder, was introduced. This decoder can be applied to Polar codes and has been shown to produce similar decoding effects. However, identifying the right set of code automorphisms that enhance decoding performance for Polar codes remains a challenging task. This paper aims to characterize the full automorphism group of Polar codes. We will prove a reduction theorem that effectively reduces the problem of determining the full automorphism group of arbitrary random Polar codes to that of a specified class of Polar codes. Besides, we give exact classification of the full automorphism groups of families of Polar codes that are constructed using the Reed-Muller codes.
A Continuum Erdős-Beck Theorem
We prove a version of the Erdős--Beck Theorem from discrete geometry for fractal sets in all dimensions. More precisely, let $X\subset \mathbb{R}^n$ Borel and $k \in [0, n-1]$ be an integer. Let $\dim (X \setminus H) = \dim X$ for every $k$-dimensional hyperplane $H \in \mathcal{A}(n,k)$, and let $\mathcal L(X)$ be the set of lines that contain at least two distinct points of $X$. Then, a recent result of Ren shows
$$ \dim \mathcal{L}(X) \geq \min \{2 \dim X, 2k\}.
$$
If we instead have that $X$ is not a subset of any $k$-plane, and
$$
0<\inf_{H \in \mathcal{A}(n,k)} \dim (X \setminus H) = t < \dim X,
$$
we instead obtain the bound
$$ \dim \mathcal{L}(X) \geq \dim X + t.
$$ We then strengthen this lower bound by introducing the notion of the "trapping number" of a set, $T(X)$, and obtain \[ \dim \mathcal L(X) \geq \max\{\dim X + t, \min\{2\dim X, 2(T(X)-1)\}\}, \] as consequence of our main result and of Ren's result in $\mathbb{R}^n$. Finally, we introduce a conjectured equality for the dimension of the line set $\mathcal{L}(X)$, which would in particular imply our results if proven to be true.
Two classes of level Eulerian posets
Published in Discrete Mathematics 347 (2024) 114127
• View Publication
• BIB
We present two classes of level Eulerian posets. Both classes contain intervals of rank k+1 whose cd-index is the sum over all cd-monomials w of degree k and the coefficient of the monomial w is r to the power of the number of d's in w. We also show that the order complexes of every interval in the first class are homeomorphic to spheres.
$B_{n-1}$-orbits on the flag variety and the Bruhat graph of the symmetric group
Published
• View Publication
• BIB
Let $G=G_{n}=GL(n)$ be the $n\times n$ complex general linear group and embed $G_{n-1}=GL(n-1)$ in the top left hand corner of $G$. The standard Borel subgroup of upper triangular matrices $B_{n-1}$ of $G_{n-1}$ acts on the flag variety of $G$ with finitely many orbits. In this paper, we show that each $B_{n-1}$-orbit is the intersection of orbits of two Borel subgroups of $G$ acting on the flag variety of $G$. This allows us to give a new combinatorial description of the $B_{n-1}$-orbits by associating to each orbit a pair of Weyl group elements. The closure relations for the $B_{n-1}$-orbits can then be understood in terms of the Bruhat order on the Weyl group, and the Richardson-Springer monoid action on the orbits can be understood in terms of the classical monoid action of the Weyl group on itself. This approach makes the closure relation more transparent than in earlier work of Magyar and the monoid action significantly more computable than in our earlier papers, and also allows us to obtain new information about the orbits including a simple formula for the dimension of an orbit.
On constrained matchings, stable under random preferences
Published
• View Publication
• BIB
Colloquially, there are two groups, $n$ men and $n$ women, each man (woman) ranking women (men) as potential marriage partners. A complete matching is called stable if no unmatched pair prefer each other to their partners in the matching. If some pairs are not admissible, then such a matching may not exist, but a properly defined partial stable matching exists always, and all such matchings involve the same, equi-numerous, groups of men and women. Earlier we proved that, for the complete, random, preference lists, with high probability (whp) the total number of complete stable matchings is, roughly, of order $n^{1/2}$, at least. Here we consider the case that the preference lists are still complete, but a generic pair (man,woman) is admissible with probability $p$, independently of all other $n^2-1$ pairs. It is shown that the expected number of complete stable matchings tends to $0$ if, roughly, $p<\tfrac{\log^2 n}{n}$ and to infinity if $p>\tfrac{\log^2 n}{n}$. We show that whp: (a) there exists a complete stable matching if $p>(9/4)\tfrac{\log^2 n}{n}$, (b) the number of unmatched men and women is bounded if $p> \tfrac{\log^2n}{n}$, and (c) this number grows as a fractional power of $n$ for $p<\tfrac{\log^2 n}{n}$.
On Graph Odd Edge-Colorings and Odd Edge-Coverings
An odd $k$-edge-coloring of a graph $G$ is a (not necessarily proper) edge-coloring with at most $k$ colors such that each non-empty color class induces a graph in which every vertex is of odd degree; similarly, if more than one color per edge is allowed, we speak of an odd $k$-edge-covering of $G$. In this paper, we fully resolve two major conjectures on odd edge-colorings and odd edge-coverings of graphs, proposed by Petru{š}evski and {Š}krekovski ({\it European Journal of Combinatorics,} 91:103225, 2021). The first conjecture states that, apart from two particular exceptions which are respectively odd $5$- and odd-$6$-edge-colorable, for any other loopless and connected graph $G$ there exists an edge $e$ such that $G\backslash \{e\}$ is odd $3$-edge-colorable. The second conjecture states that any simple graph $G$ admits an odd $3$-edge-covering in which at most one edge receives more than one color. In addition, we strongly confirm the second conjecture by demonstrating that there exists an odd $3$-edge-covering in which at most one edge receives two colors and the rest of the edges receive unique colors.
A comprehensive generalization of the Friendship Paradox to weights and attributes
Published in Sci Rep 14, 13730 (2024)
• View Publication
• BIB
The Friendship Paradox is a simple and powerful statement about node degrees in a graph (Feld 1991). However, it only applies to undirected graphs with no edge weights, and the only node characteristic it concerns is degree. Since many social networks are more complex than that, it is useful to generalize this phenomenon, if possible, and a number of papers have proposed different generalizations. Here, we unify these generalizations in a common framework, retaining the focus on undirected graphs and allowing for weighted edges and for numeric node attributes other than degree to be considered, since this extension allows for a clean characterization and links to the original concepts most naturally. While the original Friendship Paradox and the Weighted Friendship Paradox hold for all graphs, considering non-degree attributes actually makes the extensions fail around 50% of the time, given random attribute assignment. We provide simple correlation-based rules to see whether an attribute-based version of the paradox holds. In addition to theory, our simulation and data results show how all the concepts can be applied to synthetic and real networks. Where applicable, we draw connections to prior work to make this an accessible and comprehensive paper that lets one understand the math behind the Friendship Paradox and its basic extensions.
Lower bounds for the total (distance) $k$-domination number of a graph
Published
• View Publication
• BIB
For $k \geq 1$ and a graph $G$ without isolated vertices, a \emph{total (distance) $k$-dominating set} of $G$ is a set of vertices $S \subseteq V(G)$ such that every vertex in $G$ is within distance $k$ to some vertex of $S$ other than itself. The \emph{total (distance) $k$-domination number} of $G$ is the minimum cardinality of a total $k$-dominating set in $G$, and is denoted by $γ_{k}^t(G)$. When $k=1$, the total $k$-domination number reduces to the \emph{total domination number}, written $γ_t(G)$; that is, $γ_t(G) = γ_{1}^t(G)$. This paper shows that several known lower bounds on the total domination number generalize nicely to lower bounds on total (distance) $k$-domination.
Maximizing the Maximum Degree in Ordered Nearest Neighbor Graphs
Published in Computational Geometry, 2026, Vol. 132, 102229, 7 pp
• View Publication
• BIB
For an ordered point set in a Euclidean space or, more generally, in an abstract metric space, the ordered Nearest Neighbor Graph is obtained by connecting each of the points to its closest predecessor by a directed edge. We show that for every set of $n$ points in $\mathbb{R}^d$, there exists an order such that the corresponding ordered Nearest Neighbor Graph has maximum degree at least $\log{n}/(4d)$. Apart from the $1/(4d)$ factor, this bound is the best possible. As for the abstract setting, we show that for every $n$-element metric space, there exists an order such that the corresponding ordered Nearest Neighbor Graph has maximum degree $Ω(\sqrt{\log{n}/\log\log{n}})$.
Griesmer type bounds for additive codes over finite fields, integral and fractional MDS codes
Published
• View Publication
• BIB
In this article we prove Griesmer type bounds for additive codes over finite fields. These new bounds give upper bounds on the length of maximum distance separable (MDS) codes, codes which attain the Singleton bound. We will also consider codes to be MDS if they attain the fractional Singleton bound, due to Huffman. We prove that this bound in the fractional case can be obtained by codes whose length surpasses the length of the longest known codes in the integral case. For small parameters, we provide exhaustive computational results for additive MDS codes, by classifying the corresponding (fractional) subspace-arcs. This includes a complete classification of fractional additive MDS codes of size 243 over the field of order 9.
Quotient-convergence of Submodular Setfunctions
We introduce the concept of quotient-convergence for sequences of submodular set functions, providing, among others, a new framework for the study of convergence of matroids through their rank functions. Extending the limit theory of bounded degree graphs, which analyzes graph sequences via neighborhood sampling, we address the challenge posed by the absence of a neighborhood concept in matroids. We show that any bounded set function can be approximated by a sequence of finite set functions that quotient-converges to it. In addition, we explicitly construct such sequences for increasing, submodular, and upper continuous set functions, and prove the completeness of the space under quotient-convergence.
Cycle Matroids of Graphings: From Convergence to Duality
A recent line of research has concentrated on exploring the links between analytic and combinatorial theories of submodularity, uncovering several key connections between them. In this context, Lovász initiated the study of matroids from an analytic point of view and introduced the cycle matroid of a graphing. Motivated by the limit theory of graphs, the authors introduced a form of right-convergence, called quotient-convergence, for a sequence of submodular setfunctions, leading to a notion of convergence for matroids through their rank functions. In this paper, we study the connection between local-global convergence of graphs and quotient-convergence of their cycle matroids. We characterize the exposed points of associated convex sets, forming an analytic counterpart of matroid independence- and base-polytopes. Finally, we consider dual planar graphings and show that the cycle matroid of one is the cocycle matroid of its dual if and only if the underlying graphings are hyperfinite.
Distribution of hooks in self-conjugate partitions
Published
• View Publication
• BIB
We confirm the speculation that the distribution of $t$-hooks among unrestricted integer partitions essentially descends to self-conjugate partitions. Namely, we prove that the number of hooks of length $t$ among the size $n$ self-conjugate partitions is asymptotically normally distributed with mean
$μ_t(n) \sim \frac{\sqrt{6n}}π + \frac{3}{π^2} - \frac{t}{2}+\frac{δ_t}{4}$ and variance $σ_t^2(n) \sim \frac{(π^2 - 6) \sqrt{6n}}{π^3},$ where $δ_t:=1$ if $t$ is odd, and is 0 otherwise.
Strong External Difference Families and Classification of $α$-valuations
Published
• View Publication
• BIB
One method of constructing $(a^2+1, 2,a, 1)$-SEDFs (i.e., strong external difference families) in $\mathbb{Z}_{a^2+1}$ makes use of $α$-valuations of complete bipartite graphs $K_{a,a}$. We explore this approach and we provide a classification theorem which shows that all such $α$-valuations can be constructed recursively via a sequence of ``blow-up'' operations. We also enumerate all $(a^2+1, 2,a, 1)$-SEDFs in $\mathbb{Z}_{a^2+1}$ for $a \leq 14$ and we show that all these SEDFs are equivalent to $α$-valuations via affine transformations. Whether this holds for all $a > 14$ as well is an interesting open problem. We also study SEDFs in dihedral groups, where we show that two known constructions are equivalent.
Simple Chopsticks: Playing with any number of hands and fingers
Chopsticks is a game played by two players where they start with one finger raised on each hand. On their turn, each player moves by pointing an attacking hand at one of their opponent's hands. The number of fingers on the pointed hand increases by the number of fingers on the attacking hand. If, after a move, a hand contains more than five fingers, it is removed from play. There are also other rules that allow players to move fingers from one hand to another, but we focus on this simple setup.
We introduce a generalization of Chopsticks, called Simple Chopsticks, in which the players may have any number of $n$-fingered hands. We find that having more hands than your opponent is generally good, and use this fact to fully characterize the outcomes of \octopus/ in the case where the players have 2-fingered hands.
Fractionally Calabi-Yau lattices that tilt to higher Auslander algebras of type A
Published
• View Publication
• BIB
We prove that the bounded derived category of the lattice of order ideals of the product of two ordered chains is fractionally Calabi-Yau. We also show that these lattices are derived equivalent to higher Auslander algebras of type A. The proofs involve the study of intervals of the poset that have resolutions described with antichains having rigid properties. These two results combined corroborate a conjecture by Chapoton linking posets to Fukaya-Seidel Categories.
Davenport constant and its variants for some non-abelian groups
Published
• View Publication
• BIB
We define two variants $e(G)$, $f(G)$ of the Davenport constant $d(G)$ of a finite group $G$, that is not necessarily abelian. These naturally arising constants aid in computing $d(G)$ and are of potential independent interest. We compute the constants $d(G)$, $e(G)$, $f(G)$ for some nonabelian groups G, and demonstrate that, unlike abelian groups where these constants are identical, they can each be distinct. As a byproduct of our results, we also obtain some cases of a conjecture of J. Bass. We compute the $k$-th Davenport constant for several classes of groups as well. We also make a conjecture on $f(G)$ for metacyclic groups and provide evidence towards it.