Showing 20 papers (Total: 82139 papers, 47531 authors in database)
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.
Maximum Flag-Rank Distance Codes
Published
• View Publication
• BIB
In this paper we extend the study of linear spaces of upper triangular matrices endowed with the flag-rank metric. Such metric spaces are isometric to certain spaces of degenerate flags and have been suggested as suitable framework for network coding. In this setting we provide a Singleton-like bound which relates the parameters of a flag-rank-metric code. This allows us to introduce the family of maximum flag-rank distance codes, that are flag-rank-metric codes meeting the Singleton-like bound with equality. Finally, we provide several constructions of maximum flag-rank distance codes.
Signless Laplacian spectral radius for a k-extendable graph
Published
• View Publication
• BIB
Let $k$ and $n$ be two nonnegative integers with $n\equiv0$ (mod 2), and let $G$ be a graph of order $n$ with a 1-factor. Then $G$ is said to be $k$-extendable for $0\leq k\leq\frac{n-2}{2}$ if every matching in $G$ of size $k$ can be extended to a 1-factor. In this paper, we first establish a lower bound on the signless Laplacian spectral radius of $G$ to ensure that $G$ is $k$-extendable. Then we create some extremal graphs to claim that all the bounds derived in this article are sharp.
Disjointness Graphs of segments in $R^2$ are almost all Hamiltonian
Let $P$ be a set of $n\geq 2$ points in general position in $R^2$. The edge disjointness graph $D(P)$ of $P$ is the graph whose vertices are all the closed straight line segments with endpoints in $P$, two of which are adjacent in $D(P)$ if and only if they are disjoint. In this note, we give a full characterization of all those edge disjointness graphs that are hamiltonian. More precisely, we shall show that (up to order type isomorphism) there are exactly 8 instances of P for which $D(P)$ is not hamiltonian. Additionally, from one of these 8 instances, we derive a counterexample to a criterion for the existence of hamiltonian cycles due to A. D. Plotnikov in 1998.
Phylogenetic degrees for claw trees
Published
• View Publication
• BIB
Group-based models appear in algebraic statistics as mathematical models coming from evolutionary biology, respectively the study of mutations of organisms. Both theoretically and in terms of applications, we are interested in determining the algebraic degrees of the phylogenetic varieties coming from these models. These algebraic degrees are called phylogenetic degrees. In this paper, we compute the phylogenetic degree of the variety $X_{G, n}$ with $G\in\{\mathbb{Z}_2,\mathbb{Z}_2\times\mathbb{Z}_2, \mathbb{Z}_3\}$ and any $n$-claw tree. As these varieties are toric, computing their phylogenetic degree relies on computing the volume of their associated polytopes $P_{G,n}$. We apply combinatorial methods and we give concrete formulas for them.
Boltzmann Distribution on "Short" Integer Partitions with Power Parts: Limit Laws and Sampling
Published in Advances in Applied Mathematics, Volume 159, August 2024, 102739
• View Publication
• BIB
The paper is concerned with the asymptotic analysis of a family of Boltzmann (multiplicative) distributions over the set $\check{\varLambda}^{q}$ of strict integer partitions (i.e., with unequal parts) into perfect $q$-th powers. A combinatorial link is provided via a suitable conditioning by fixing the partition weight (the sum of parts) and length (the number of parts), leading to uniform distribution on the corresponding subspaces of partitions. The Boltzmann measure is calibrated through the hyper-parameters $\langle N\rangle$ and $\langle M\rangle$ controlling the expected weight and length, respectively. We study ``short'' partitions, where the parameter $\langle M\rangle$ is either fixed or grows slower than for typical plain (unconstrained) partitions. For this model, we obtain a variety of limit theorems including the asymptotics of the cumulative cardinality in the case of fixed $\langle M\rangle$ and a limit shape result in the case of slow growth of $\langle M\rangle$. In both cases, we also characterize the joint distribution of the weight and length, as well as the growth of the smallest and largest parts. Using these results we construct suitable sampling algorithms and analyse their performance.