Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Limits and fluctuations of $p$-adic random matrix products
Published in Sel. Math. New Ser. 27, 98 (2021)
• View Publication
• BIB
We show that singular numbers (also known as invariant factors or Smith normal forms) of products and corners of random matrices over $\mathbb{Q}_p$ are governed by the Hall-Littlewood polynomials, in a structurally identical manner to the classical relations between singular values of complex random matrices and Heckman-Opdam hypergeometric functions. This implies that the singular numbers of a product of corners of Haar-distributed elements of $\text{GL}_N(\mathbb{Z}_p)$ form a discrete-time Markov chain distributed as a Hall-Littlewood process, with the number of matrices in the product playing the role of time. We give an exact sampling algorithm for the Hall-Littlewood processes which arise by relating them to an interacting particle system similar to PushTASEP. By analyzing the asymptotic behavior of this particle system, we show that the singular numbers of such products obey a law of large numbers and their fluctuations converge dynamically to independent Brownian motions. In the limit of large matrix size, we also show that the analogues of the Lyapunov exponents for matrix products have universal limits within this class of $\text{GL}_N(\mathbb{Z}_p)$ corners.
Spectral properties of the non-backtracking matrix of a graph
Published
• View Publication
• BIB
We investigate the spectrum of the non-backtracking matrix of a graph. In particular, we show how to obtain eigenvectors of the non-backtracking matrix in terms of eigenvectors of a smaller matrix. Furthermore, we find an expression for the eigenvalues of the non-backtracking matrix in terms of eigenvalues of the adjacency matrix and use this to upper-bound the spectral radius of the non-backtracking matrix and to give a lower bound on the spectrum. We also investigate properties of a graph that can be determined by the spectrum. Specifically, we prove that the number of components, the number of degree 1 vertices, and whether or not the graph is bipartite are all determined by the spectrum of the non-backtracking matrix.
A note on $k$-wise oddtown problems
For integers $2 \leq t \leq k$, we consider a collection of $k$ set families $\mathcal{A}_j: 1 \leq j \leq k$ where $\mathcal{A}_j = \{ A_{j,i} \subseteq [n] : 1 \leq i \leq m \}$ and $|A_{1, i_1} \cap \cdots \cap A_{k,i_k}|$ is even if and only if at least $t$ of the $i_j$ are distinct. In this paper, we prove that $m =O(n^{ 1/ \lfloor k/2 \rfloor})$ when $t=k$ and $m = O( n^{1/(t-1)})$ when $2t-2 \leq k$ and prove that both of these bounds are best possible. Specializing to the case where $\mathcal{A} = \mathcal{A}_1 = \cdots = \mathcal{A}_k$, we recover a variation of the classical oddtown problem.
Exact nuclear norm, completion and decomposition for random overcomplete tensors via degree-4 SOS
In this paper we show that simple semidefinite programs inspired by degree $4$ SOS can exactly solve the tensor nuclear norm, tensor decomposition, and tensor completion problems on tensors with random asymmetric components. More precisely, for tensor nuclear norm and tensor decomposition, we show that w.h.p. these semidefinite programs can exactly find the nuclear norm and components of an $(n\times n\times n)$-tensor $\mathcal{T}$ with $m\leq n^{3/2}/polylog(n)$ random asymmetric components. Unlike most of the previous algorithms, our algorithm provides a certificate for the decomposition, does not require knowledge about the number of components in the decomposition and does not make any assumptions on the sizes of the coefficients in the decomposition. As a byproduct, we show that w.h.p. the nuclear norm decomposition exactly coincides with the minimum rank decomposition for tensors with $m\leq n^{3/2}/polylog(n)$ random asymmetric components.
For tensor completion, we show that w.h.p. the semidefinite program, introduced by Potechin & Steurer (2017) for tensors with orthogonal components, can exactly recover an $(n\times n\times n)$-tensor $\mathcal{T}$ with $m$ random asymmetric components from only $n^{3/2}m polylog(n)$ randomly observed entries. For non-orthogonal tensors, this improves the dependence on $m$ of the number of entries needed for exact recovery over all previously known algorithms and provides the first theoretical guarantees for exact tensor completion in the overcomplete regime.
The $K^{\aleph_0}$ Game: Vertex Colouring
Published
• View Publication
• BIB
We investigate games played between Maker and Breaker on an infinite complete graph whose vertices are coloured with colours from a given set, each colour appearing infinitely often. The players alternately claim edges, Makers aim being to claim all edges of a sufficiently colourful infinite complete subgraph and Breakers aim being to prevent this. We show that if there are only finitely many colours then Maker can obtain a complete subgraph in which all colours appear infinitely often, but that Breaker can prevent this if there are infinitely many colours. Even when there are infinitely many colours, we show that Maker can obtain a complete subgraph in which infinitely many of the colours each appear infinitely often.
Lower bound on the size of a quasirandom forcing set of permutations
Published
• View Publication
• BIB
A set $S$ of permutations is forcing if for any sequence $\{Π_i\}_{i \in \mathbb{N}}$ of permutations where the density $d(π,Π_i)$ converges to $\frac{1}{|π|!}$ for every permutation $π\in S$, it holds that $\{Π_i\}_{i \in \mathbb{N}}$ is quasirandom. Graham asked whether there exists an integer $k$ such that the set of all permutations of order $k$ is forcing; this has been shown to be true for any $k\ge 4$. In particular, the set of all twenty-four permutations of order $4$ is forcing. We provide the first non-trivial lower bound on the size of a forcing set of permutations: every forcing set of permutations (with arbitrary orders) contains at least four permutations.
Kim--Vu's sandwich conjecture is true for $d \gg \log^4 n$
Kim and Vu made the following conjecture (\textit{Advances in Mathematics}, 2004): if $d\gg \log n$, then the random $d$-regular graph $G(n,d)$ can be ``sandwiched'' between $G(n,p_*)$ and $G(n,p^*)$ where $p_*$ and $p^*$ are both asymptotically equal to $d/n$.
This famous conjecture was previously proved for all $d\gg (n\log n)^{3/4}$.
In this paper, we confirm the conjecture when $d \gg \log^4 n$. We also extend this result to near-regular degree sequences.
Prague dimension of random graphs
Published in Combinatorica 43 (2023), 853-884
• View Publication
• BIB
The Prague dimension of graphs was introduced by Nesetril, Pultr and Rodl in the 1970s. Proving a conjecture of Furedi and Kantor, we show that the Prague dimension of the binomial random graph is typically of order n/log n for constant edge-probabilities. The main new proof ingredient is a Pippenger-Spencer type edge-coloring result for random hypergraphs with large uniformities, i.e., edges of size O(log n).
Super-clustering of consecutive numbers in $p$-shifted random permutations
Let $A^{(n)}_{l;k}\subset S_n$ denote the event that the set of $l$ consecutive numbers $\{k,k+1,\cdots, k+l-1\}$ appear in a set of $l$ consecutive positions. Let $p=\{p_j\}_{j=1}^\infty$ be a distribution on $\mathbb{N}$ with $p_j>0$. Let $P_n$ denote the probability measure on $S_n$ corresponding to the $p$-shifted random permutation. Our main result, under the additional assumption that $\{p_j\}_{j=1}^\infty$ is non-increasing, is that $$ \begin{aligned} &\lim_{l\to\infty}\lim_{n\to\infty}P_n(A^{(n )}_{l,k})=\big(\prod_{j=1}^{k-1}\sum_{i=1}^jp_i\big) \big(\prod_{j=1}^\infty\sum_{i=1}^jp_i\big), \end{aligned} $$ and that if $\lim_{n\to\infty}\min(k_n,n-k_n)=\infty$, then $$ \begin{aligned} &\lim_{l\to\infty}\lim_{n\to\infty}P_n(A^{(n )}_{l,k_n})= \big(\prod_{j=1}^\infty\sum_{i=1}^jp_i\big)^2. \end{aligned} $$ In particular these limits are positive if and only if $\sum_{j=1}^\infty jp_j<\infty$. We say that super-clustering occurs when the limits are positive. We also give a new characterization of the class of $p$-shifted probability distributions on $S_\infty$.
Solution to the index conjecture in zero-sum theory
Published
• View Publication
• BIB
A problem in zero-sum theory is to determine all pairs $(k,n)$ for which every minimal zero-sum sequence of length $k$ modulo $n$ has index $1$. While all other cases have been solved more than a decade ago, the case when $k$ equals $4$ and $n$ is coprime to $6$ remains open. Precisely, The Index Conjecture in this subject states that if $n$ is coprime to $6$ then every minimal zero-sum sequence of length $4$ modulo $n$ has index $1$. In this paper, we prove an equivalent version of this conjecture for all $n>N$ for some absolute constant $N$.
Combinatorial proof of the log-convexity for the derangements in the Coxeter groups
We provide the combinatorial proofs of the log-convexity for the derangement numbers in the symmetric group $\mathfrak{S}_n$, hyperoctahedral group $\mathfrak{B}_n$, and the demihyperoctahedral group $\mathfrak{D}_n$. We also show that the sequences of the even and odd derangement numbers in $\mathfrak{S}_n$ and $\mathfrak{B}_n$ are log-convex.
Betti elements and catenary degree of telescopic numerical semigroup families
The catenary degree is an invariant that measures the distance between factorizations of elements within a numerical semigroup. In general, all possible catenary degrees of the elements of the numerical semigroups occur as the catenary degree of one of its Betti elements. In this study, Betti elements of some telescopic numerical semigroup families with embedding dimension three were found and formulated. Then, with the help of these formulas, Frobenius numbers and genus of these families were obtained. Also, the catenary degrees of telescopic numerical semigroups were found with the help of factorizations of Betti elements of these semigroups
Decorated Dyck paths, polyominoes, and the Delta conjecture
Published
• View Publication
• BIB
We discuss the combinatorics of decorated Dyck paths and decorated parallelogram polyominoes, extending to the decorated case the main results of both [Haglund 2004] and [Aval et al. 2014]. This settles in particular the cases $\langle\cdot,e_{n-d}h_d\rangle$ and $\langle\cdot,h_{n-d}h_d\rangle$ of the Delta conjecture of Haglund, Remmel and Wilson (2018). Along the way, we introduce some new statistics, formulate some new conjectures, prove some new identities of symmetric functions, and answer a few open problems in the literature (e.g. from [Haglund et al. 2018], [Zabrocki 2016], [Aval et al. 2015]). The main technical tool is a new identity in the theory of Macdonald polynomials that extends a theorem of Haglund in [Haglund 2004]. This is an edited merge of arXiv:1712.08787 and arXiv:1709.08736
On Integer Balancing of Digraphs
Published
• View Publication
• BIB
A weighted digraph is balanced if the sums of the weights of the incoming and of the outgoing edges are equal at each vertex. We show that if these sums are integers, then the edge weights can be integers as well.
The Crossing Number of Circulant Graph C(3k+1;{1,k}) on the Projective Plane
In this paper, we prove that the crossing number of circulant graph $C(3k+1;\{1,k\})$ on the projective plane is $k$ for $k \geq 3$.
Symmetric functions and Springer representations
Published
• View Publication
• BIB
The characters of the (total) Springer representations are identified with the Green functions by Kazhdan [Israel J. Math. {\bf 28} (1977)], and the latter are identified with Hall-Littlewood's $Q$-functions by Green [Trans. Amer. Math. Soc. (1955)]. In this paper, we present a purely algebraic proof that the (total) Springer representations of $\mathop{GL} ( n )$ are $\mathrm{Ext}$-orthogonal to each other, and show that it is compatible with the natural categorification of the ring of symmetric functions.
Partition-theoretic Frobenius-type limit formulas
Published
• View Publication
• BIB
Using partition generating function techniques, we prove $q$-series analogues of a formula of Frobenius generalizing Abel's convergence theorem for complex power series. Frobenius' result states that for $|q|<1$, $\lim_{q\to 1}(1-q)\sum_{n\geq 1} f(n) q^n $ is equal to the average value $\lim_{N\to \infty}$ $\frac{1}{N}\sum_{k=1}^{N}f(k)$ of the sequence $\{f(n)\}$ as $n\to \infty$, if the average value exists.
A variational characterisation of projective spherical designs over the quaternions
We give an inequality on the packing of vectors/lines in quaternionic Hilbert space $\Hd$, which generalises those of Sidelnikov and Welch for unit vectors in $\Rd$ and $\Cd$. This has a parameter $t$, and depends only on the vectors up to projective unitary equivalence. The sequences of vectors in ${\mathbb{F}}^d={\mathbb{R}}^d,{\mathbb{C}}^d,{\mathbb{H}}^d$ that give equality, which we call spherical $(t,t)$-designs, are seen to satisfy a cubature rule on the unit sphere in ${\mathbb{F}}^d$ for a suitable polynomial space $\Hom_{\Fd}(t,t)$. Using this, we show that the projective spherical $t$-designs on the Delsarte spaces $\FF P^{d-1}$ coincide with the spherical $(t,t)$-designs of unit vectors in ${\mathbb{F}}^d$. We then explore a number of examples in quaternionic space. The unitarily invariant polynomial space ${\mathop{\rm Hom}\nolimits}_{\mathbb{H}^d}(t,t)$ and the inner product that we define on it so the reproducing kernel has a simple form are of independent interest.
Formal self duality
Published in Kölsch, L., Schüler, R. Formal self duality. Cryptogr. Commun. (2021)
• View Publication
• BIB
We study the notion of formal self duality in finite abelian groups. Formal duality in finite abelian groups has been proposed by Cohn, Kumar, Reiher and Schürmann. In this paper we give a precise definition of formally self dual sets and discuss results from the literature in this perspective. Also, we discuss the connection to formally dual codes. We prove that formally self dual sets can be reduced to primitive formally self dual sets similar to a previously known result on general formally dual sets. Furthermore, we describe several properties of formally self dual sets. Also, some new examples of formally self dual sets are presented within this paper. Lastly, we study formally self dual sets of the form $\{(x,F(x)) \ : \ x\in\mathbb{F}_{2^n}\}$ where $F$ is a vectorial Boolean function mapping $\mathbb{F}_{2^n}$ to $\mathbb{F}_{2^n}$.
Associative spectra of graph algebras II. Satisfaction of bracketing identities, spectrum dichotomy
Published in J. Algebraic Combin. 55 (2022) 533-557
• View Publication
• BIB
A necessary and sufficient condition is presented for a graph algebra to satisfy a bracketing identity. The associative spectrum of an arbitrary graph algebra is shown to be either constant or exponentially growing.