Showing 20 papers (Total: 81378 papers, 47165 authors in database)
The ordering of hypertrees and unicyclic hypergraphs by the traces of $\mathcal{A}_α$-tensor
For a real number $α\in[0,1]$ and a $k$-uniform hypergraph $\mathcal{H}$, $\mathcal{A}_α(\mathcal{H})=α\mathcal{D}(\mathcal{H})+(1-α)\mathcal{A}(\mathcal{H})$ is called the $\mathcal{A}_α$-tensor of $\mathcal{H}$, where $\mathcal{D}(\mathcal{H})$ and $\mathcal{A}(\mathcal{H})$ are the degree tensor and adjacency tensor of $\mathcal{H}$, respectively. The sum of the $d$-th powers of all eigenvalues of $\mathcal{A}_α(\mathcal{H})$ is called the $d$-th order $\mathcal{A}_α$-spectral moment of $\mathcal{H}$, which is equal to the $d$-th order trace of $\mathcal{A}_α(\mathcal{H})$. In this paper, some hypergraphs are ordered lexicographically by their $\mathcal{A}_α$-spectral moments in non-decreasing order. The first, the second, the last and the second last hypergraphs among all $k$-uniform linear unicyclic hypergraphs and hypertrees are characterized, respectively. We give the first and the last hypergraphs among all $k$-uniform linear unicyclic hypergraphs with given grith, and characterize the last hypertree among all $k$-uniform hypertrees with given diameter. Furthermore, we determine some extreme values of the $\mathcal{A}_α$-spectral moments for hypertrees and linear unicyclic hypergraphs, respectively.
The pure condition for incidence geometries
The space of \emph{parallel redrawings} of an incidence geometry $(P,H,I)$ with an assigned set of normals is the set of points and hyperplanes in $\mathbb{R}^d$ satisfying the incidences given by $(P,H,I)$, such that the hyperplanes have the assigned normals.
In 1989, Whiteley characterized the incidence geometries that have d-dimensional realizations with generic hyperplane normals such that all points and hyperplanes are distinct. However, some incidence geometries can be realized as points and hyperplanes in d-dimensional space, with the points and hyperplanes distinct, but only for specific choices of normals. Such incidence geometries are the topic of this article.
In this article, we introduce a pure condition for parallel redrawings of incidence geometries, analogous to the pure condition for bar-and-joint frameworks, introduced by White and Whiteley. The d-dimensional pure condition of an incidence geometry (P,H,I) imposes a condition on the normals assigned to the hyperplanes of (P,H,I) required for d-dimensional realizations of (P,H,I) with distinct points. We use invariant theory to show that is a bracket polynomial. We will also explicitly compute the pure condition as a bracket polynomial for some examples in the plane.
A note on maximal plane subgraphs of the complete twisted graph containing perfect matchings
The twisted graph $T_{n}$ is a drawing of the complete graph with $n$ vertices $v_{1},v_{2},\ldots ,v_{n}$ in which two edges $v_{i}v_{j}$ ($i<j$) and $v_{s}v_{t}$ ($s<t$) cross if and only if $i<s<t<j$ or $s<i<j<t$. We show that for any maximal plane subgraphs $S$ and $R$ of $T_{n}$, each containing at least one perfect matching, there is a sequence $S=F_0, F_1, \ldots, F_m=R$ of maximal plane subgrahs of $T_n$, also containing perfect matchings, such that for $i=0,1, \ldots, m-1$, $F_{i+1}$ can be obtained from $F_{i}$ by a single edge exchange.
An Easy Proof of a Weak Version of Chernoff inequality
We prove an easy but very weak version of Chernoff inequality. Namely, that the probability that in $6M$ throws of a fair coin, one gets at most $M$ heads is $\leq 1/2^M$.
The Local Structure Theorem for Graph Minors with Finite Index
The Local Structure Theorem (LST) for graph minors roughly states that every $H$-minor free graph $G$ that contains a sufficiently large wall $W$, there is a set of few vertices $A$ such that, upon removing $A$, the resulting graph $G':=G - A$ admits an "almost embedding" $δ$ into a surface $Σ$ in which $H$ does not embed. By almost embedding, we mean that there exists a hypergraph $\mathcal{H}$ whose vertex set is a subset of the vertex set of $G$ and an embedding of $\mathcal{H}$ in $Σ$ such that 1) the drawing of each hyperedge of $\mathcal{H}$ corresponds to a cell of $δ$, 2) the boundary of each cell intersects only the vertices of the corresponding hyperedge, and 3) all remaining vertices and edges of $G'$ are drawn in the interior of cells. The cells corresponding to hyperedges of arity at least $4$, called vortices, are few in number and have small "depth", while a "large" part of the wall $W$ is drawn outside the vortices and is "grounded" in the embedding $δ$. Now suppose that the subgraphs drawn inside each of the non-vortex cells are equipped with some finite index, i.e., each such cell is assigned a color from a finite set. We prove a version of the LST in which the set $C$ of colors assigned to the non-vortex cells exhibits "large" bidimensionality: The graph $G'$ contains a minor model of a large grid $Γ$ where each bag corresponding to a vertex $v$ of $Γ$, contains the subgraph drawn within a cell carrying color $α$, for every color $α\in C$. Moreover, the grid $Γ$ can be chosen in a way that is "well-connected" to the original wall $W$.
Metric dimension reduction modulus for superlogarithmic distortion
The metric dimension reduction modulus $k^α_n(\ell_\infty)$ is the smallest $k$ such that every $n$--point metric space can be embedded into some $k$-dimensional normed space, with bi--Lipschitz distortion at most $α$. Determining sharp asymptotics for $k^α_n(\ell_\infty)$ is a fundamental task in metric geometry, with $α=Θ(\log n)$ bearing particular interest. A line of advances over the past decades has led to an upper bound on $k^α_n(\ell_\infty)$ for $α= Ω(\log n)$, but a matching lower bound has remained open. We close this gap, establishing: for every fixed $β> 0$, $$ k^α_n(\ell_\infty) =Θ\bigg(\frac{\log n}{\log(\fracα{\log n}+1)}\bigg)\quad \mbox{for every $α\geq β\log n$}. $$ This resolves a question from Naor's 2018 ICM plenary lecture. Our result is obtained by characterizing the minimum dimension $d$ for which, with high probability, a random regular graph admits an $α$--embedding into some $d$--dimensional normed space.
Proof of a magnificent conjecture
Motivated by super-Yang-Mills theory on a Calabi-Yau 4-fold, Nekrasov and Piazzalunga have assigned weights to $r$-tuples of solid partitions and conjectured a formula for their weighted generating function.
We define $K$-theoretic virtual invariants of Quot schemes of 0-dimensional quotients of $\mathcal{O}_{\mathbb{C}^4}^{\oplus r}$ by realizing them as zero loci of isotropic sections of orthogonal bundles on non-commutative Quot schemes. Via the Oh-Thomas localization formula, we recover Nekrasov-Piazzalunga's weights and derive their sign rule.
Our proof passes through refining the $K$-theoretic invariants to sheaves and describing them via Clifford modules, which lets us show that they arise from a factorizable sequence of sheaves in the sense of Okounkov. Taking limits of the equivariant parameters, we then deduce the Nekrasov-Piazzalunga conjecture from its 3-dimensional analog.
New matrices for the spectral theory of mixed graphs, Part II
The concept of the integrated adjacency matrix for mixed graphs was first introduced in [9], where its spectral properties were analyzed in relation to the structural characteristics of the mixed graph. Building upon this foundation, this paper introduces the integrated Laplacian matrix, the integrated signless Laplacian matrix, and the normalized integrated Laplacian matrix for mixed graphs. We further explore how the spectra of these matrices relate to the structural properties of the mixed graph.
Barvinok's interpolation method meets Weitz's correlation decay approach
In this paper we take inspiration from Weit'z algorithm for approximating the independence polynomial to provide a new algorithm for computing the coefficients of the Taylor series of the logarithm of the independence polynomial. Hereby we provide a clear connections between Barvinok's interpolation method and Weitz's algorithm. Our algorithm easily extends to other graph polynomials and partition functions and we illustrate this by applying it to the chromatic polynomial and to the graph homomorphism partition function. Our approach arguably yields a simpler and more transparent algorithm than the algorithm of Patel and the second author.
As an application of our algorithmic approach we moreover derive, using the interpolation method, a deterministic $O(n(m/\varepsilon)^{7})$-time algorithm that on input of an $n$-vertex and $m$-edge graph of minimum degree at least $3$ and $\varepsilon>0$ approximately computes the number of sink-free orientations of $G$ up to a multiplicative $\exp(\varepsilon)$ factor.
Complexity of learning matchings and half graphs via edge queries
The problem of learning or reconstructing an unknown graph from a known family via partial-information queries arises as a mathematical model in various contexts. The most basic type of access to the graph is via \emph{edge queries}, where an algorithm may query the presence/absence of an edge between a pair of vertices of its choosing, at unit cost.
While more powerful query models have been extensively studied in the context of graph reconstruction, the basic model of edge queries seems to have not attracted as much attention. In this paper we study the edge query complexity of learning a hidden bipartite graph, or equivalently its bipartite adjacency matrix, in the classical as well as quantum settings. We focus on learning matchings and half graphs, which are graphs whose bipartite adjacency matrices are a row/column permutation of the identity matrix and the lower triangular matrix with all entries on and below the principal diagonal being 1, respectively.
\begin{itemize}
\item For matchings of size $n$, we show a tight deterministic bound of $n(n-1)/2$ and an asymptotically tight randomized bound of $Θ(n^2)$. A quantum bound of $Θ(n^{1.5})$ was shown in a recent work of van Apeldoorn et al.~[ICALP'21].
\item For half graphs whose bipartite adjacency matrix is a column-permutation of the $n \times n$ lower triangular matrix,
we give tight $Θ(n \log n)$ bounds in both deterministic and randomized settings, and an $Ω(n)$ quantum lower bound. \item For general half graphs,
we observe that the problem is equivalent to a natural generalization of the famous nuts-and-bolts problem, leading to a tight $Θ(n \log n)$ randomized bound.
We also present a simple quicksort-style method that instantiates to a $O(n \log^2 n)$ randomized algorithm and a tight $O(n \log n)$ quantum algorithm.
\end{itemize}
3-Colouring Planar Graphs
We show that every $n$-vertex planar graph is 3-colourable with monochromatic components of size $O(n^{4/9})$. The best previous bound was $O(n^{1/2})$ due to Linial, Matoušek, Sheffet and Tardos [Combin. Probab. Comput., 2008].
Counting occurrences of a pattern in a binary word
Enumerating the number of times one word occurs in another is a much-studied combinatorial subject. By utilizing a method that we call ``lexicographic extreme referencing'', we provide a formula for computing occurrences of one binary word in another. We then study $B_{n,p}(k)$, the number of binary words of length $n$ containing a given word $p$ exactly $k$ times. For this purpose, we first use lexicographic extreme referencing to provide an algorithm for constructing all words $w$ that contain a given word $p$. Afterward, we give a modified version of this algorithm for constructing the subset of binary words that are ``primitive'' with respect to $p$, and we discuss approaches for finding $B_{n,p}(k)$ via primitive words.
Sharp Threshold for Cliques in Random 0/1 Polytope Graphs
We study graph-theoretic properties of random $0/1$ polytopes. Specifically, let $Q_p^n \subseteq \{0,1\}^n$ be a random subset where each point is included independently with probability $p$, and consider the graph $G_p$ of the polytope conv$(Q_p^n)$. We provide a short and combinatorial proof that $p = 2^{-n/2}$ is a threshold for the edge density of $G_p$, a result originally due to Kaibel and Remshagen. We next resolve an open question from their paper by showing that for $p \leq 2^{-n/2 - o(1)}$, $G_p$ exhibits strong edge expansion. In particular, we prove that, with high probability, every vertex has degree $(1 - o(1))|Q_p^n|$. Lastly, we determine the threshold for $G_p$ being a clique, strengthening a result of Bondarenko and Brodskiy. We show that with high probability, if $p \geq 2^{-δn + o(1)}$, then $G_p$ is not a clique, and if $ p \leq 2^{-δn - o(1)}$, then $G_p$ is a clique, where $δ\approx 0.8295$. Our approach combines a combinatorial characterization of edges in graphs arising from polytopes with the Kim-Vu polynomial concentration inequality.
Spectral extremal problem for the odd prism
The spectral Turán number $\spex(n, F)$ denotes the maximum spectral radius $ρ(G)$ of an $F$-free graph $G$ of order $n$. This paper determines $\spex\left(n, C_{2k+1}^{\square}\right)$ for all sufficiently large $n$, establishing the unique extremal graph. Here, $C_{2k+1}^{\square}$ is the odd prism -- the Cartesian product $C_{2k+1} \square K_2$ -- where the Cartesian product $G \square F$ has vertex set $V(G) \times V(F)$, and edges between $(u_1,v_1)$ and $(u_2,v_2)$ if either $u_1 = u_2$ and $v_1v_2 \in E(F)$, or ($v_1 = v_2$ and $u_1u_2 \in E(G)$).
Crystals and quantum twist automorphisms
Let $η_w$ be the quantum twist automorphism for the quantum unipotent coordinate ring $\mathrm{A}_q(\mathfrak{n}(w))$ introduced by Kimura and Oya. In this paper, we study the quantum twist automorphism $η_w$ in the viewpoint of the crystal bases theory and provide a crystal-theoretic description of $η_w$. In the case of the $*$-twisted minuscule crystals of classical finite types, we provide a combinatorial description of $η_w$ in terms of (shifted) Young diagrams. We further investigate the periodicity of $η_w$ up to a multiple of frozen variables in various setting.
The inverse $Z$-polynomial of a matroid
Motivated by the $Z$-polynomials of matroids, Ferroni, Matherne, Stevens, and Vecchi introduced the inverse $Z$-polynomial of a matroid. In this paper, we prove several fundamental properties of the inverse $Z$-polynomial, including non-negativity and multiplicativity, and show that it is a valuative invariant. We also provide explicit formulas for the inverse $Z$-polynomials of uniform matroids and a broader class of matroids, namely sparse paving matroids, which include uniform matroids as a special case. Furthermore, we establish the unimodality and log-concavity of these polynomials in the case of sparse paving matroids. Based on the properties of the $Z$-polynomial, we conjecture that the coefficients of the inverse $Z$-polynomial are unimodal and log-concave.
Permanental Analog of the Rank-Nullity Theorem for Symmetric Matrices
The rank of an n x n matrix A is equal to the size of its largest square submatrix with a nonzero determinant, and it can be computed in O(n^2.37) time. Analogously, the size of the largest square submatrix with nonzero permanent is defined as the permanental rank. Computing the permanent or the coefficients of the permanental polynomial is #P-complete. The permanental nullity is defined as the multiplicity of zero as a root of the permanental polynomial. We establish a permanental analog of the rank-nullity theorem, showing that the sum of the permanental rank and the permanental nullity equals n for symmetric nonnegative matrices, positive semidefinite matrices, and adjacency matrices of balanced signed graphs. Using this theorem, we can compute the permanental nullity for symmetric nonnegative matrices and adjacency matrices of balanced signed graphs in polynomial time. For symmetric matrices with entries in {0, plus or minus 1}, we also provide a complete characterization of when the permanental rank-nullity identity holds.
Unimodality for Radon partitions of random vectors
Consider the (almost surely) unique Radon partition of a set of $n$ random Gaussian vectors in $\mathbb R^{n-2}$; choose one of the two parts of this partition uniformly at random, and for $0 \le k \le n$, let $p_k$ denote the probability that it has size $k$. In this paper, we prove strong unimodality results for the distribution $(p_0,\dots,p_n)$.
Spherical designs for finite quaternionic unit groups and their applications to modular forms
For a finite subset $X$ of the $d$-dimensional unit sphere, the harmonic strength $T(X)$ of $X$ is the set of $\ell\in \mathbb{N}$ such that $\sum_{x\in X} P(x)=0$ for all harmonic polynomials $P$ of homogeneous degree $\ell$. We will study three exceptional finite groups of unit quaternions, called the binary tetrahedral group $2T$ of order 24, the octahedral group $2O$ of order 48, and the icosahedral group $2I$ of order 120, which can be viewed as a subset of the 3-dimensional unit sphere. For these three groups, we determine the harmonic strength and show the minimality and the uniqueness as spherical designs. In particular, the group $2O$ is unique as a minimal subset $X$ of the 3-dimensional unit sphere with $T(X)=\{22,14,10,6,4,2 \}\cup \mathbb{O}^+$, where $\mathbb{O}^+$ denotes the set of all positive odd integers. This result provides the first characterization of $2O$ from the spherical design viewpoint.
For $G\in \{2T,2O,2I\}$, we consider the lattice $\mathcal{O}_{G}$ generated by $G$ over $R_G$ on which the group $G$ acts on by multiplication, where $R_{2T}=\mathbb{Z},\ R_{2O}=\mathbb{Z}[\sqrt{2}],\ R_{2I}=\mathbb{Z}[(1+\sqrt{5})/2]$ are the ring of integers. We introduce the spherical theta function $θ_{G,P}(z)$ attached to the lattice $\mathcal{O}_G$ and a harmonic polynomial $P$ of degree $\ell$ and prove that they are modular forms. By applying our results on the characterization of $G$ as a spherical design, we determine the cases in which the $\mathbb{C}$-vector space spanned by all $θ_{G,P}(z)$ of harmonic polynomials $P$ of homogeneous degree $\ell$ has dimension zero--without relying on the theory of modular forms.
Inequalities in Fourier analysis on binary cubes
This paper studies two classical inequalities, namely the Hausdorff-Young inequality and equal-exponent Young's convolution inequality, for discrete functions supported in the binary cube $\{0,1\}^d\subset\mathbb{Z}^d$. We characterize the exact ranges of Lebesgue exponents in which sharp versions of these two inequalities hold, and present several immediate consequences. First, if the functions are specialized to be the indicator of some set $A\subseteq\{0,1\}^d$, then we obtain sharp upper bounds on two types of generalized additive energies of $A$, extending the works of Kane-Tao, de Dios Pont-Greenfeld-Ivanisvili-Madrid, and one of the present authors. Second, we obtain a sharp binary variant of the Beckner-Hirschman entropic uncertainty principle, as well as a sharp lower estimate on the entropy of a sum of two independent random variables with values in $\{0,1\}^d$. Finally, the sharp binary Hausdorff-Young inequality also reveals the exact range of dimension-free estimates for the Fourier restriction to the binary cube.