Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Singularity of discrete random matrices
Published
• View Publication
• BIB
Let $ξ$ be a non-constant real-valued random variable with finite support, and let $M_{n}(ξ)$ denote an $n\times n$ random matrix with entries that are independent copies of $ξ$. For $ξ$ which is not uniform on its support, we show that \begin{align*} \mathbb{P}[M_{n}(ξ)\text{ is singular}] &= \mathbb{P}[\text{zero row or column}] + (1+o_n(1))\mathbb{P}[\text{two equal (up to sign) rows or columns}], \end{align*} thereby confirming a folklore conjecture. As special cases, we obtain:
(1) For $ξ= \text{Bernoulli}(p)$ with fixed $p \in (0,1/2)$, \[\mathbb{P}[M_{n}(ξ)\text{ is singular}] = 2n(1-p)^{n} + (1+o_n(1))n(n-1)(p^2 + (1-p)^2)^{n},\] which determines the singularity probability to two asymptotic terms. Previously, no result of such precision was available in the study of the singularity of random matrices.
(2) For $ξ= \text{Bernoulli}(p)$ with fixed $p \in (1/2,1)$, \[\mathbb{P}[M_{n}(ξ)\text{ is singular}] = (1+o_n(1))n(n-1)(p^2 + (1-p)^2)^{n}.\] Previously, only the much weaker upper bound of $(\sqrt{p} + o_n(1))^{n}$ was known due to the work of Bourgain-Vu-Wood.
For $ξ$ which is uniform on its support:
(1) We show that \begin{align*} \mathbb{P}[M_{n}(ξ)\text{ is singular}] &= (1+o_n(1))^{n}\mathbb{P}[\text{two rows or columns are equal}]. \end{align*} (2) Perhaps more importantly, we provide a sharp analysis of the contribution of the `compressible' part of the unit sphere to the lower tail of the smallest singular value of $M_{n}(ξ)$.
Grassmannian codes from paired difference sets
Published
• View Publication
• BIB
An equiangular tight frame (ETF) is a sequence of vectors in a Hilbert space that achieves equality in the Welch bound and so has minimal coherence. More generally, an equichordal tight fusion frame (ECTFF) is a sequence of equi-dimensional subspaces of a Hilbert space that achieves equality in Conway, Hardin and Sloane's simplex bound. Every ECTFF is a type of optimal Grassmannian code, that is, an optimal packing of equi-dimensional subspaces of a Hilbert space. We construct ECTFFs by exploiting new relationships between known ETFs. Harmonic ETFs equate to difference sets for finite abelian groups. We say that a difference set for such a group is "paired" with a difference set for its Pontryagin dual when the corresponding subsequence of its harmonic ETF happens to be an ETF for its span. We show that every such pair yields an ECTFF. We moreover construct an infinite family of paired difference sets using quadratic forms over the field of two elements. Together this yields two infinite families of real ECTFFs.
Covariance within Random Integer Compositions
Fix a positive integer $N$. Select an additive composition $ξ$ of $N$ uniformly out of $2^{N-1}$ possibilities. The interplay between the number of parts in $ξ$ and the maximum part in $ξ$ is our focus. It is not surprising that correlations $ρ(N)$ between these quantities are negative; we earlier gave inconclusive evidence that $\lim_{N \to \infty} ρ(N)$ is strictly less than zero. A proof of this result would imply asymptotic dependence. We now retract our presumption in such an unforeseen outcome. Similar experimental findings apply when $ξ$ is a 1-free composition, i.e., possessing only parts $\geq 2$.
Primitive Elements of the Hopf Algebras of Tableaux
Published
• View Publication
• BIB
The character theory of symmetric groups, and the theory of symmetric functions, both make use of the combinatorics of Young tableaux, such as the Robinson-Schensted algorithm, Schuetzenberger's "jeu de taquin", and evacuation. In 1995 Poirier and the second author introduced some algebraic structures, different from the plactic monoid, which induce some products and coproducts of tableaux, with homomorphisms. Their starting point are the two dual Hopf algebras of permutations, introduced by the authors in 1995. In 2006 Aguiar and Sottile studied in more detail the Hopf algebra of permutations: among other things, they introduce a new basis, by Moebius inversion in the poset of weak order, that allows them to describe the primitive elements of the Hopf algebra of permutations. In the present note, by a similar method, we determine the primitive elements of the Poirier-Reutenauer algebra of tableaux, using a partial order on tableaux defined by Taskin.
Fibonacci-run graphs I: basic properties
Among the classical models for interconnection networks are hypercubes and Fibonacci cubes. Fibonacci cubes are induced subgraphs of hypercubes obtained by restricting the vertex set to those binary strings which do not contain consecutive 1s, counted by Fibonacci numbers. Another set of binary strings which are counted by Fibonacci numbers are those with a restriction on the runlengths. Induced subgraphs of the hypercube on the latter strings as vertices define Fibonacci-run graphs. They have the same number of vertices as Fibonacci cubes, but fewer edges and different connectivity properties.
We obtain properties of Fibonacci-run graphs including the number of edges, the analogue of the fundamental recursion, the average degree of a vertex, Hamiltonicity, special degree sequences, and the number of hypercubes they contain. A detailed study of the degree sequences of Fibonacci-run graphs is interesting in its own right and is reported in a companion paper.
Fibonacci-run graphs II: Degree sequences
Fibonacci cubes are induced subgraphs of hypercube graphs obtained by restricting the vertex set to those binary strings which do not contain consecutive 1s. This class of graphs has been studied extensively and generalized in many different directions. Induced subgraphs of the hypercube on binary strings with restricted runlengths as vertices define Fibonacci-run graphs. These graphs have the same number of vertices as Fibonacci cubes, but fewer edges and different graph theoretical properties.
Basic properties of Fibonacci-run graphs are presented in a companion paper, while in this paper we consider the nature of the degree sequences of Fibonacci-run graphs. The generating function we obtain is a refinement of the generating function of the degree sequences, and has a number of corollaries, obtained as specializations. We also obtain several properties of Fibonacci-run graphs viewed as a partially ordered set, and discuss its embedding properties.
A symmetric group action on the irreducible components of the Shi variety associated to $W(\widetilde{A}_n)$
Published
• View Publication
• BIB
Let $W_a$ be an affine Weyl group with corresponding finite root system $Φ$. In \cite{JYS1} Jian-Yi Shi characterized each element $w \in W_a$ by a $ Φ^+$-tuple of integers $(k(w,α))_{α\in Φ^+}$ subject to certain conditions. In \cite{NC1} a new interpretation of the coefficients $k(w,α)$ is given. This description led us to define an affine variety $\widehat{X}_{W_a}$, called the Shi variety of $W_a$, whose integral points are in bijection with $W_a$. It turns out that this variety has more than one irreducible component, and the set of these components, denoted $H^0(\widehat{X}_{W_a})$, admits many interesting properties. In particular the group $W_a$ acts on it. In this article we show that the set of irreducible components of $\widehat{X}_{W(\widetilde{A}_n)}$ is in bijection with the conjugacy class of $(1~2~\cdots~n+1) \in W(A_n) = S_{n+1}$. We also compute the action of $W(A_n)$ on $H^0(\widehat{X}_{W(\widetilde{A}_n)})$.
Generalized binomials in fractional calculus
We consider a class of generalized binomials emerging in fractional calculus. After establishing some general properties, we focus on a particular yet relevant case, for which we provide several ready-for-use combinatorial identities, including an adapted version of the Pascal's rule. We then investigate the associated generating functions, for which we establish a recursive, combinatorial and integral formulation. From this, we derive an asymptotic version of the Binomial Theorem. A combinatorial and asymptotic analysis of some finite sums completes the paper.
Strong complete minors in digraphs
Published
• View Publication
• BIB
Kostochka and Thomason independently showed that any graph with average degree $Ω(r\sqrt{\log r})$ contains a $K_r$ minor. In particular, any graph with chromatic number $Ω(r\sqrt{\log r})$ contains a $K_r$ minor, a partial result towards Hadwiger's famous conjecture. In this paper, we investigate analogues of these results in the directed setting. There are several ways to define a minor in a digraph. One natural way is as follows. A strong $\overrightarrow{K}_r$ minor is a digraph whose vertex set is partitioned into $r$ parts such that each part induces a strongly-connected subdigraph, and there is at least one edge in each direction between any two distinct parts. We investigate bounds on the dichromatic number and minimum out-degree of a digraph that force the existence of strong $\overrightarrow{K}_r$ minors as subdigraphs. In particular, we show that any tournament with dichromatic number at least $2r$ contains a strong $\overrightarrow{K}_r$ minor, and any tournament with minimum out-degree $Ω(r\sqrt{\log r})$ also contains a strong $\overrightarrow{K}_r$ minor. The latter result is tight up to the implied constant, and may be viewed as a strong-minor analogue to the classical result of Kostochka and Thomason. Lastly, we show that there is no function $f: \mathbb{N} \rightarrow \mathbb{N}$ such that any digraph with minimum out-degree at least $f(r)$ contains a strong $\overrightarrow{K}_r$ minor, but such a function exists when considering dichromatic number.
The Erdos-Faber-Lovasz conjecture for weakly dense hypergraphs
Published
• View Publication
• BIB
Generalizing the concept of dense hypergraph, we say that a hypergraph is weakly dense, if no k in the half-open interval [2,sqrt(n)) is the degree of more than k^2 vertices. In our main result, we prove the famous Erdos-Faber-Lovasz conjecture when the hypergraph is weakly dense.
A study of unimodality of some combinatorial sequences and polynomials
In this article, we present a short, non-exhaustive study of an important and well-known property of combinatorial sequences - unimodality. We shall have a look at a sample of classical results on unimodality and related properties, and then proceed to understand the unimodality of the Gaussian polynomial in more detail. We will look at an outline of O'Hara's proof of the unimodality of the Gaussian polynomial. In order to grasp the challenge of the problem of obtaining an injective proof of the unimodality of the Gaussian polynomial (which is still an open question), we make several attempts and understand where these attempts fail.
Graph Square Roots of Small Distance from Degree One Graphs
Published
• View Publication
• BIB
Given a graph class $\mathcal{H}$, the task of the $\mathcal{H}$-Square Root problem is to decide, whether an input graph $G$ has a square root $H$ from $\mathcal{H}$. We are interested in the parameterized complexity of the problem for classes $\mathcal{H}$ that are composed by the graphs at vertex deletion distance at most $k$ from graphs of maximum degree at most one, that is, we are looking for a square root $H$ such that there is a modulator $S$ of size $k$ such that $H-S$ is the disjoint union of isolated vertices and disjoint edges. We show that different variants of the problems with constraints on the number of isolated vertices and edges in $H-S$ are FPT when parameterized by $k$ by demonstrating algorithms with running time $2^{2^{O(k)}}\cdot n^{O(1)}$. We further show that the running time of our algorithms is asymptotically optimal and it is unlikely that the double-exponential dependence on $k$ could be avoided. In particular, we prove that the VC-$k$ Root problem, that asks whether an input graph has a square root with vertex cover of size at most $k$, cannot be solved in time $2^{2^{o(k)}}\cdot n^{O(1)}$ unless Exponential Time Hypothesis fails. Moreover, we point out that VC-$k$ Root parameterized by $k$ does not admit a subexponential kernel unless $P=NP$.
Powers of paths in tournaments
In this short note we prove that every tournament contains the $k$-th power of a directed path of linear length. This improves upon recent results of Yuster and of Girão. We also give a complete solution for this problem when $k=2$, showing that there is always a square of a directed path of length $\lceil 2n/3 \rceil-1$, which is best possible.
On lattice point counting in $Δ$-modular polyhedra
Published in Optim Lett 16, 1991-2018 (2022)
• View Publication
• BIB
Let a polyhedron $P$ be defined by one of the following ways:
(i) $P = \{x \in R^n \colon A x \leq b\}$, where $A \in Z^{(n+k) \times n}$, $b \in Z^{(n+k)}$ and $rank\, A = n$;
(ii) $P = \{x \in R_+^n \colon A x = b\}$, where $A \in Z^{k \times n}$, $b \in Z^{k}$ and $rank\, A = k$.
And let all rank order minors of $A$ be bounded by $Δ$ in absolute values. We show that the short rational generating function for the power series $$ \sum\limits_{m \in P \cap Z^n} x^m $$ can be computed with the arithmetic complexity $ O\left(T_{SNF}(d) \cdot d^{k} \cdot d^{\log_2 Δ}\right), $ where $k$ and $Δ$ are fixed, $d = \dim P$, and $T_{SNF}(m)$ is the complexity to compute the Smith Normal Form for $m \times m$ integer matrix. In particular, $d = n$ for the case (i) and $d = n-k$ for the case (ii). The simplest examples of polyhedra that meet conditions (i) or (ii) are the simplicies, the subset sum polytope and the knapsack or multidimensional knapsack polytopes. We apply these results to parametric polytopes, and show that the step polynomial representation of the function $c_P(y) = |P_{y} \cap Z^n|$, where $P_{y}$ is parametric polytope, can be computed by a polynomial time even in varying dimension if $P_{y}$ has a close structure to the cases (i) or (ii). As another consequence, we show that the coefficients $e_i(P,m)$ of the Ehrhart quasi-polynomial $$ \left| mP \cap Z^n\right| = \sum\limits_{j = 0}^n e_i(P,m)m^j $$ can be computed by a polynomial time algorithm for fixed $k$ and $Δ$.
On regular graphs equienergetic with their complements
We give necessary and sufficient conditions on the parameters of a regular graph $Γ$ (with or without loops) such that $E(Γ)=E(\overline Γ)$. We study complementary equienergetic cubic graphs obtaining classifications up to isomorphisms for connected cubic graphs with single loops (5 non-isospectral pairs) and connected integral cubic graphs without loops ($Γ= K_3 \square K_2$ or $Q_3$). Then we show that, up to complements, the only bipartite regular graphs equienergetic and non-isospectral with their complements are the crown graphs $Cr(n)$ or $C_4$. Next, for the family of strongly regular graphs $Γ$ we characterize all possible parameters $srg(n,k,e,d)$ such that $E(Γ) = E(\overline Γ)$. Furthermore, using this, we prove that a strongly regular graph is equienergetic to its complement if and only if it is either a conference graph or else it is a pseudo Latin square graph (i.e. has $OA$ parameters). We also characterize all complementary equienergetic pairs of graphs of type $\mathcal{C}(2)$, $\mathcal{C}(3)$ and $\mathcal{C}(5)$ in Cameron's hierarchy (the cases $\mathcal{C}(1)$ and $\mathcal{C}(4)$ are still open). Finally, we consider unitary Cayley graphs over rings $G_R=X(R,R^*)$. We show that if $R$ is a finite Artinian ring with an even number of local factors, then $G_R$ is complementary equienergetic if and only if $R=\mathbb{F}_q \times \mathbb{F}_{q'}$ is the product of 2 finite fields.
A discrete Morse perspective on knot projections and a generalised clock theorem
Published
• View Publication
• BIB
We obtain a simple and complete characterisation of which matchings on the Tait graph of a knot diagram induce a discrete Morse function (dMf) on $S^2$, extending a construction due to Cohen. We show these dMfs are in bijection with certain rooted spanning forests in the Tait graph. We use this to count the number of such dMfs with a closed formula involving the graph Laplacian. We then simultaneously generalise Kauffman's Clock Theorem and Kenyon-Propp-Wilson's correspondence in two different directions; we first prove that the image of the correspondence induces a bijection on perfect dMfs, then we show that all perfect matchings, subject to an admissibility condition, are related by a finite sequence of click and clock moves. Finally, we study and compare the matching and discrete Morse complexes associated to the Tait graph, in terms of partial Kauffman states, and provide some computations.
A Refined Laser Method and Faster Matrix Multiplication
Published in TheoretiCS, Volume 3 (September 4, 2024) theoretics:11261
• View Publication
• BIB
The complexity of matrix multiplication is measured in terms of $ω$, the smallest real number such that two $n\times n$ matrices can be multiplied using $O(n^{ω+ε})$ field operations for all $ε>0$; the best bound until now is $ω<2.37287$ [Le Gall'14]. All bounds on $ω$ since 1986 have been obtained using the so-called laser method, a way to lower-bound the `value' of a tensor in designing matrix multiplication algorithms. The main result of this paper is a refinement of the laser method that improves the resulting value bound for most sufficiently large tensors. Thus, even before computing any specific values, it is clear that we achieve an improved bound on $ω$, and we indeed obtain the best bound on $ω$ to date: $$ω< 2.37286.$$ The improvement is of the same magnitude as the improvement that [Le Gall'14] obtained over the previous bound [Vassilevska W.'12]. Our improvement to the laser method is quite general, and we believe it will have further applications in arithmetic complexity.
A linear time approach to three-dimensional reconstruction by discrete tomography
Published
• View Publication
• BIB
The goal of discrete tomography is to reconstruct an unknown function $f$ via a given set of line sums. In addition to requiring accurate reconstructions, it is favourable to be able to perform the task in a timely manner. This is complicated by the presence of ghosts, which allow many solutions to exist in general. In this paper we consider the case of a function $f : A \to \mathbb{R}$ where $A$ is a finite grid in $\mathbb{Z}^3$. Previous work has shown that in the two-dimensional case it is possible to determine all solutions in parameterized form in linear time (with respect to the number of directions and the grid size) regardless of whether the solution is unique. In this work, we show that a similar linear method exists in three dimensions under the condition of nonproportionality. We show that the condition of nonproportionality is fulfilled in the case of three-dimensional boundary ghosts.
Motivic classes of degeneracy loci and pointed Brill-Noether varieties
Published
• View Publication
• BIB
Motivic Chern and Hirzebruch classes are polynomials with K-theory and homology classes as coefficients, which specialize to Chern-Schwartz-MacPherson classes, K-theory classes, and Cappell-Shaneson L-classes. We provide formulas to compute the motivic Chern and Hirzebruch classes of Grassmannian and vexillary degeneracy loci. We apply our results to obtain the Hirzebruch $χ_y$-genus of classical and one-pointed Brill-Noether varieties, and therefore their topological Euler characteristic, holomorphic Euler characteristic, and signature.
Cyclic symmetry loci in Grasssmannians
The Grassmannian admits an action by a finite cyclic group via the cyclic shift map. We give a simple description of the points fixed by each element of this cyclic group, extending Karp's description of the points fixed by the cyclic shift itself. We give a cell decomposition of the set of totally nonnegative points in each cyclic symmetry locus and describe efficient total positivity tests, extending results of Postnikov to the cyclically symmetric setting. We describe a conjectural generalized cluster structure on cyclic symmetry loci provided the order of the orbifold point is sufficiently large. The generalized exchange relations we find should be a Higher Teichmüller analogue of the relations Chekhov and Shapiro used to study Teichmüller theory of orbifolds.