Showing 20 papers (Total: 84046 papers, 48445 authors in database)
On a problem of Mező and its generalizations to three classes of rational zeta series
Published
• View Publication
• BIB
We evaluate in closed form three special classes of alternating zeta series with one and two additional parameters. Two classes are expressed as linear combinations of polylogarithms while for the third class we prove an expression involving the incomplete gamma function and the exponential integral. We also present some related series that can be deduced from the main results as well as some series with Fibonacci and Lucas numbers as coefficients. Particular cases of the series presented here will be rediscoveries of identities established by Zhang and Williams, Choi and Srivastava, and Orr, among others. We will also rediscover a series identity published by Mező in 2015 as a problem proposal in the American Mathematical Monthly.
Stabilizer Approximation III: Maximum Cut
We apply the stabilizer formalism to the Maximum Cut problem, and obtain a new greedy construction heuristic. It turns out to be an elegant synthesis of the edge-contraction and differencing edge-contraction approaches. Utilizing the relation between the Maximum Cut problem and the Ising model, the approximation ratio of the heuristic is easily found to be at least $1/2$. Moreover, numerical results show that the heuristic has very nice performance for graphs with about 100 vertices.
Products of multidimensional matrices, stochastic matrices, and permanents
Published
• View Publication
• BIB
In this paper we consider four basic multidimensional matrix operations (outer product, Kronecker product, contraction, and projection) and two derivative operations (dot and circle products). We start with the interrelations between these operations and deduce some of their algebraic properties. Next, we study their action on $k$-stochastic matrices. At last, we prove several relations on the permanents of products of multidimensional matrices. In particular, we obtain that the permanent of the dot product of nonnegative multidimensional matrices is not less than the product of their permanents and show that inequalities on the Kronecker product of nonnegative 2-dimensional matrices cannot be extended to the multidimensional case.
Matching extension and distance spectral radius
Published
• View Publication
• BIB
A graph is called $k$-extendable if each $k$-matching can be extended to a perfect matching. We give spectral conditions for the $k$-extendability of graphs and bipartite graphs using Tutte-type and Hall-type structural characterizations. Concretely, we give a sufficient condition in terms of the spectral radius of the distance matrix for the $k$-extendability of a graph and completely characterize the corresponding extremal graphs. A similar result is obtained for bipartite graphs.
The strongly regular twisted $D_{5,5}(q)$ graph
Published
• View Publication
• BIB
We construct a new family of strongly regular graphs with the same parameters as the strongly regular graphs $D_{5,5}(q)$. The construction can be seen as a variant of the construction of twisted Grassmann graphs by Van Dam and Koolen.
Constructions and equivalence of Sidon spaces
Published
• View Publication
• BIB
Sidon spaces have been introduced by Bachoc, Serra and Zémor in 2017 as the $q$-analogue of Sidon sets. The interest on Sidon spaces has increased quickly, especially after the work of Roth, Raviv and Tamo in 2018, in which they highlighted the correspondence between Sidon spaces and cyclic subspace codes. Up to now, the known constructions of Sidon Spaces may be divided in three families: the ones contained in the sum of two multiplicative cosets of a fixed subfield of $\mathbb{F}_{q^n}$, the ones contained in the sum of more than two multiplicative cosets of a fixed subfield of $\mathbb{F}_{q^n}$ and finally the ones obtained as the kernel of subspace polynomials. In this paper we will mainly focus on the first class of examples, for which we provide characterization results and we will show some new examples, arising also from some well-known combinatorial objects. Moreover, we will give a quite natural definition of equivalence among Sidon spaces, which relies on the notion of equivalence of cyclic subspace codes and we will discuss about the equivalence of the known examples.
Isoperimetric Inequalities and Supercritical Percolation on High-dimensional Graphs
Published
• View Publication
• BIB
It is known that many different types of finite random subgraph models undergo quantitatively similar phase transitions around their percolation thresholds, and the proofs of these results rely on isoperimetric properties of the underlying host graph. Recently, the authors showed that such a phase transition occurs in a large class of regular high-dimensional product graphs, generalising a classic result for the hypercube.
In this paper we give new isoperimetric inequalities for such regular high-dimensional product graphs, which generalise the well-known isoperimetric inequality of Harper for the hypercube, and are asymptotically sharp for a wide range of set sizes. We then use these isoperimetric properties to investigate the structure of the giant component $L_1$ in supercritical percolation on these product graphs, that is, when $p=\frac{1+ε}{d}$, where $d$ is the degree of the product graph and $ε>0$ is a small enough constant.
We show that typically $L_1$ has edge-expansion $Ω\left(\frac{1}{d\ln d}\right)$. Furthermore, we show that $L_1$ likely contains a linear-sized subgraph with vertex-expansion $Ω\left(\frac{1}{d\ln d}\right)$. These results are best possible up to the logarithmic factor in $d$.
Using these likely expansion properties, we determine, up to small polylogarithmic factors in $d$, the likely diameter of $L_1$ as well as the typical mixing time of a lazy random walk on $L_1$. Furthermore, we show the likely existence of a path of length $Ω\left(\frac{n}{d\ln d}\right)$. These results not only generalise, but also improve substantially upon the known bounds in the case of the hypercube, where in particular the likely diameter and typical mixing time of $L_1$ were previously only known to be polynomial in $d$.
Zero loci of nullvectors and skew zero forcing in graphs and hypergraphs
There is interesting internal structure in the nullspaces of graph and hypergraph adjacency matrices, especially for trees, bipartite graphs, and related combinatorial classes. The zero loci of nullvectors, i.e., their zero coordinates' indices, encode information about matchings, coverings, and edges' influence on rank. This set system is the lattice of flats of a ``kernel matroid'', a subsystem of which are the ``stalled'' sets closed under skew zero forcing (SZF), a graph percolation/infection model known to have connections with rank and nullity. For a wide variety of graphs, the lattice of SZF-closed sets is also a matroid, a fact which can be used to obtain a polynomial-time algorithm for computing the skew zero forcing number. This contrasts with the general case, where we show that the corresponding decision problem is NP-hard. We also define skew zero forcing for hypergraphs, and show that, for linear hypertrees, the poset of SZF-closed sets is dual to the lattice of ideals of the hypergraph's nullvariety; while, for complete hypergraphs, the SZF-closed sets and the zero loci of nullvectors are more loosely related.
On Cover-Free Families
Cover-free families were considered from different subjects by numerous researchers. Recently, cover-free families are also found useful in cryptography. In this paper, we use an uniform method to survey known results of cover-free families. Many old results are updated or generalized. Some new results are also given.
Random clique complex process inside the critical window
We consider the random clique complex process - the process of clique complexes induced by the complete graph with i.i.d. Uniform edge weights. We investigate the evolution of the Betti numbers of the clique complex process in the critical window and in particular, show a process-level convergence of the Betti numbers to a Poisson process. Our proof technique gives easily an hitting time result i.e, with high probability, the $k$th cohomology becomes trivial when there are no more isolated $k$-faces. Our results imply that the thresholds for vanishing of cohomology of the clique complex process coincides with that of the threshold for vanishing of `instantaneous' homology determined by \citet{SVT}. We also give a lower bound for the probability of clique complex process to have Kazhdan's property $(T)$. These results show a different behaviour for the clique complex process compared to the Čech complex process investigated in the geometric setting by \citet{B19}.
Pseudorandom Linear Codes are List Decodable to Capacity
We introduce a novel family of expander-based error correcting codes. These codes can be sampled with randomness linear in the block-length, and achieve list-decoding capacity (among other local properties). Our expander-based codes can be made starting from any family of sufficiently low-bias codes, and as a consequence, we give the first construction of a family of algebraic codes that can be sampled with linear randomness and achieve list-decoding capacity. We achieve this by introducing the notion of a pseudorandom puncturing of a code, where we select $n$ indices of a base code $C\subset \mathbb{F}_q^m$ via an expander random walk on a graph on $[m]$. Concretely, whereas a random linear code (i.e. a truly random puncturing of the Hadamard code) requires $O(n^2)$ random bits to sample, we sample a pseudorandom linear code with $O(n)$ random bits. We show that pseudorandom puncturings satisfy several desirable properties exhibited by truly random puncturings. In particular, we extend a result of (Guruswami Mosheiff FOCS 2022) and show that a pseudorandom puncturing of a small-bias code satisfies the same local properties as a random linear code with high probability. As a further application of our techniques, we also show that pseudorandom puncturings of Reed Solomon codes are list-recoverable beyond the Johnson bound, extending a result of (Lund Potukuchi RANDOM 2020). We do this by instead analyzing properties of codes with large distance, and show that pseudorandom puncturings still work well in this regime.
Simplicial complexes in Macaulay2
Published in J. Softw. Alg. Geom. 13 (2023) 53-59
• View Publication
• BIB
We highlight some features of the SimplicialComplexes package in Macaulay2.
Stability from graph symmetrization arguments in generalized Turán problems
Published
• View Publication
• BIB
Given graphs $H$ and $F$, $\mathrm{ex}(n,H,F)$ denotes the largest number of copies of $H$ in $F$-free $n$-vertex graphs. Let $χ(H)<χ(F)=r+1$. We say that $H$ is $F$-Turán-stable if the following holds. For any $\varepsilon>0$ there exists $δ>0$ such that if an $n$-vertex $F$-free graph $G$ contains at least $\mathrm{ex}(n,H,F)-δn^{|V(H)|}$ copies of $H$, then the edit distance of $G$ and the $r$-partite Turán graph is at most $\varepsilon n^2$. We say that $H$ is weakly $F$-Turán-stable if the same holds with the Turán graph replaced by any complete $r$-partite graph $T$. It is known that such stability implies exact results in several cases. We show that complete multipartite graphs with chromatic number at most $r$ are weakly $K_{r+1}$-Turán-stable. Answering a question of Morrison, Nir, Norin, Rzażewski and Wesolek positively, we show that for every graph $H$, if $r$ is large enough, then $H$ is $K_{r+1}$-Turán-stable. Finally, we prove that if $H$ is bipartite, then it is weakly $C_{2k+1}$-Turán-stable for $k$ large enough.
A complex analogue of the Goodman-Pollack-Wenger theorem
A \textit{$k$-transversal} to family of sets in $\mathbb{R}^d$ is a $k$-dimensional affine subspace that intersects each set of the family. In 1957 Hadwiger provided a necessary and sufficient condition for a family of pairwise disjoint, planar convex sets to have a $1$-transversal. After a series of three papers among the authors Goodman, Pollack, and Wenger from 1988 to 1990, Hadwiger's Theorem was extended to necessary and sufficient conditions for $(d-1)$-transversals to finite families of convex sets in $\mathbb{R}^d$ with no disjointness condition on the family of sets. We prove an analogue of the Goodman-Pollack-Wenger theorem in the complex setting.
Spectral pseudorandomness and the road to improved clique number bounds for Paley graphs
Published
• View Publication
• BIB
We study subgraphs of Paley graphs of prime order $p$ induced on the sets of vertices extending a given independent set of size $a$ to a larger independent set. Using a sufficient condition proved in the author's recent companion work, we show that a family of character sum estimates would imply that, as $p \to \infty$, the empirical spectral distributions of the adjacency matrices of any sequence of such subgraphs have the same weak limit (after rescaling) as those of subgraphs induced on a random set including each vertex independently with probability $2^{-a}$, namely, a Kesten-McKay law with parameter $2^a$. We prove the necessary estimates for $a = 1$, obtaining in the process an alternate proof of a character sum equidistribution result of Xi (2022), and provide numerical evidence for this weak convergence for $a \geq 2$. We also conjecture that the minimum eigenvalue of any such sequence converges (after rescaling) to the left edge of the corresponding Kesten-McKay law, and provide numerical evidence for this convergence. Finally, we show that, once $a \geq 3$, this (conjectural) convergence of the minimum eigenvalue would imply bounds on the clique number of the Paley graph improving on the current state of the art due to Hanson and Petridis (2021), and that this convergence for all $a \geq 1$ would imply that the clique number is $o(\sqrt{p})$.
Hook length biases and general linear partition inequalities
Published
• View Publication
• BIB
Motivated in part by hook-content formulas for certain restricted partitions in representation theory, we consider the total number of hooks of fixed length in odd versus distinct partitions. We show that there are more hooks of length $2$, respectively $3$, in all odd partitions of $n$ than in all distinct partitions of $n$, and make the analogous conjecture for arbitrary hook length $t \geq 2$. We also establish additional bias results on the number of gaps of size $1,$ respectively $2$, in all odd versus distinct partitions of $n$. We conjecture similar biases and asymptotics, as well as congruences for the number of hooks of fixed length in odd distinct partitions versus self-conjugate partitions.
An integral component of the proof of our bias result for hooks of length $3$ is a linear inequality involving $q(n)$, the number of distinct partitions of $n$. In this article we also establish effective linear inequalities for $q(n)$ in great generality, a result which is of independent interest.
Our methods are both analytic and combinatorial, and our results and conjectures intersect the areas of representation theory, analytic number theory, partition theory, and $q$-series. In particular, we use a Rademacher-type exact formula for $q(n),$ Wright's circle method, modularity, $q$-series transformations, asymptotic methods, and combinatorial arguments.
Upper bounds on the numbers of binary plateaued and bent functions
Published
• View Publication
• BIB
The logarithm of the number of binary n-variable bent functions is asymptotically less than $11(2^n)/32$ as n tends to infinity.
Keywords: boolean function, Walsh--Hadamard transform, plateaued function, bent function, upper bound
Shi arrangements and low elements in Coxeter groups
Published in Proceedings of the London Mathematical Society Volume 129, Issue 2 (2024)
• View Publication
• BIB
Given an arbitrary Coxeter system $(W,S)$ and a nonnegative integer $m$, the $m$-Shi arrangement of $(W,S)$ is a subarrangement of the Coxeter hyperplane arrangement of $(W,S)$. The classical Shi arrangement ($m=0$) was introduced in the case of affine Weyl groups by Shi to study Kazhdan-Lusztig cells for $W$. As two key results, Shi showed that each region of the Shi arrangement contains exactly one element of minimal length in $W$ and that the union of their inverses form a convex subset of the Coxeter complex. The set of $m$-low elements in $W$ were introduced to study the word problem of the corresponding Artin-Tits (braid) group and they turn out to produce automata to study the combinatorics of reduced words in $W$.
In this article, we generalize and extend Shi's results to any Coxeter system for any $m$: (1) the set of minimal length elements of the regions in a $m$-Shi arrangement is precisely the set of $m$-low elements, settling a conjecture of the first and third authors in this case; (2) the union of the inverses of the ($0$-)low elements form a convex subset in the Coxeter complex, settling a conjecture by the third author, Nadeau and Williams.
Robust Recovery of Robinson Property in $L^p$-Graphons: A Cut-Norm Approach
Published
• View Publication
• BIB
This paper investigates the Robinson graphon completion/recovery problem within the class of $L^p$-graphons, focusing on the range $5<p\leq \infty$. A graphon $w$ is Robinson if it satisfies the Robinson property: if $x\leq y\leq z$, then $w(x,z)\leq \min\{w(x,y),w(y,z)\}$. We demonstrate that if a graphon possesses localized near-Robinson characteristics, it can be effectively approximated by a Robinson graphon in terms of cut-norm. To achieve this recovery result, we introduce a function $Λ$, defined on the space of $L^p$-graphons, which quantifies the degree to which a graphon $w$ adheres to the Robinson property. We prove that $Λ$ is a suitable gauge for measuring the Robinson property when proximity of graphons is understood in terms of cut-norm. Namely, we show that (1) $Λ(w)=0$ precisely when $w$ is Robinson; (2) $Λ$ is cut-norm continuous, in the sense that if two graphons are close in the cut-norm, then their $Λ$ values are close; and (3) for $p > 5$, any $L^p$-graphon $w$ can be approximated by a Robinson graphon, with error of the approximation bounded in terms of $Λ(w)$. When viewing $w$ as a noisy version of a Robinson graphon, our method provides a concrete recipe for recovering a cut-norm approximation of a noiseless $w$. Given that any symmetric matrix is a special type of graphon, our results can be applicable to symmetric matrices of any size. Our work extends and improves previous results, where a similar question for the special case of $L^\infty$-graphons was answered.
On the $α$-spectral radius of hypergraphs
For real $α\in [0,1)$ and a hypergraph $G$, the $α$-spectral radius of $G$ is the largest eigenvalue of the matrix $A_α(G)=αD(G)+(1-α)A(G)$, where $A(G)$ is the adjacency matrix of $G$, which is a symmetric matrix with zero diagonal such that for distinct vertices $u,v$ of $G$, the $(u,v)$-entry of $A(G)$ is exactly the number of edges containing both $u$ and $v$, and $D(G)$ is the diagonal matrix of row sums of $A(G)$. We study the $α$-spectral radius of a hypergraph that is uniform or not necessarily uniform. We propose some local grafting operations that increase or decrease the $α$-spectral radius of a hypergraph. We determine the unique hypergraphs with maximum $α$-spectral radius among $k$-uniform hypertrees, among $k$-uniform unicyclic hypergraphs, and among $k$-uniform hypergraphs with fixed number of pendant edges. We also determine the unique hypertrees with maximum $α$-spectral radius among hypertrees with given number of vertices and edges, the unique hypertrees with the first three largest (two smallest, respectively) $α$-spectral radii among hypertrees with given number of vertices, the unique hypertrees with minimum $α$-spectral radius among the hypertrees that are not $2$-uniform, the unique hypergraphs with the first two largest (smallest, respectively) $α$-spectral radii among unicyclic hypergraphs with given number of vertices, and the unique hypergraphs with maximum $α$-spectral radius among hypergraphs with fixed number of pendant edges.