Showing 20 papers (Total: 82064 papers, 47505 authors in database)
Some non-existence results on $m$-ovoids in classical polar spaces
Published in European Journal of Combinatorics (2024)
• View Publication
• BIB
In this paper we develop non-existence results for $m$-ovoids in the classical polar spaces $Q^-(2r+1,q), W(2r-1,q)$ and $H(2r,q^2)$ for $r>2$. In [4] a lower bound on $m$ for the existence of $m$-ovoids of $H(4,q^2)$ is found by using the connection between $m$-ovoids, two-character sets, and strongly regular graphs. This approach is generalized in [3] for the polar spaces $Q^-(2r+1,q), W(2r-1,q)$ and $H(2r,q^2)$, $r>2$. In [1] an improvement for the particular case $H(4,q^2)$ is obtained by exploiting the algebraic structure of the collinearity graph, and using the characterization of an $m$-ovoid as an intruiging set. In this paper, we use an approach based on geometrical and combinatorial arguments, inspired by the results from [10], to improve the bounds from [3].
On the surface area of graphs, related connectivity measures and spectral estimates
Published
• View Publication
• BIB
In this note we elaborate on some notions of surface area for discrete graphs which are closely related to the inverse degree. These notions then naturally lead to associated connectivity measures of graphs and to the definition of a special class of large graphs, called social graphs, that might prove interesting for applications. In addition, we derive spectral estimates involving the surface area and, as a main result, present an upper bound on the second eigenvalue for planar graphs which in some cases improves upon existing bounds from D. A. Spielman and S.-H. Teng, Spectral partitioning works: Planar graphs and finite element meshes, and M. Plümer, Upper eigenvalue bounds for the Kirchhoff Laplacian on embedded metric graphs.
On enumeration and entropy of ribbon tilings
Published in Electronic Journal of Combinatorics (2023) vol 30(2) paper 2.15
• View Publication
• BIB
The paper considers ribbon tilings of large regions and their per-tile entropy (the logarithm of the number of tilings divided by the number of tiles). For tilings of general regions by ribbon tiles of length $n$, we give an upper bound on the per-tile entropy as $n - 1$. For growing rectangular regions, we prove the existence of the asymptotic per-tile entropy and show that it is bounded from below by $\log_2 (n/e)$ and from above by $\log_2(en)$. For growing generalized "Aztec Diamond'' regions and for growing "stair'' regions, the asymptotic per-tile entropy is calculated exactly as $1/2$ and $\log_2(n + 1) - 1$, respectively.
On the number of inequivalent monotone Boolean functions of 9 variables
Published
• View Publication
• BIB
We provide the first-ever calculation of the number of inequivalent monotone Boolean functions of 9 variables, which is equal to 789,204,635,842,035,040,527,740,846,300,252,680.
Punctual Quot schemes and Cohen--Lenstra series of the cusp singularity
The Quot scheme of points $\mathrm{Quot}_{d,n}(X)$ on a variety $X$ over a field $k$ parametrizes quotient sheaves of $\mathcal{O}_X^{\oplus d}$ of zero-dimensional support and length $n$. It is a rank-$d$ generalization of the Hilbert scheme of $n$ points. When $X$ is a reduced curve with only the cusp singularity $\{x^2=y^3\}$ and $d\geq 0$ is fixed, the generating series for the motives of $\mathrm{Quot}_{d,n}(X)$ in the Grothendieck ring of varieties is studied via Gröbner bases, and shown to be rational. Moreover, the generating series is computed explicitly when $d\leq 3$. The computational results exhibit surprising patterns (despite the fact that the category of finite length coherent modules over a cusp is wild), which not only enable us to conjecture the exact form of the generating series for all $d$, but also suggest a general functional equation whose $d=1$ case is the classical functional equation of the motivic zeta function known for any Gorenstein curve.
As another side of the story, Quot schemes are related to the Cohen--Lenstra series. The Cohen--Lenstra series encodes the count of "commuting matrix points'' (or equivalently, coherent modules of finite length) of a variety over a finite field, about which Huang formuated a "rationality'' conjecture for singular curves. We prove a general formula that expresses the Cohen--Lenstra series in terms of the motives of the (punctual) Quot schemes, which together with our main rationality theorem, provides positive evidence for Huang's conjecture for the cusp.
Efficient vectors for block perturbed consistent matrices
Published
• View Publication
• BIB
In prioritization schemes, based on pairwise comparisons, such as the Analytical Hierarchy Process, it is important to extract a cardinal ranking vector from a reciprocal matrix that is unlikely to be consistent. It is natural to choose such a vector only from efficient ones. Recently a method to generate inductively all efficient vectors for any reciprocal matrix has been discovered. Here we focus upon the study of efficient vectors for a reciprocal matrix that is a block perturbation of a consistent matrix in the sense that it is obtained from a consistent matrix by modifying entries only in a proper principal submatrix. We determine an explicit class of efficient vectors for such matrices. Based upon this, we give a description of all the efficient vectors in the 3-by-3 block perturbed case. In addition, we give sufficient conditions for the right Perron eigenvector of such matrices to be efficient and provide examples in which efficiency does not occur. Also, we consider a certain type of constant block perturbed consistent matrices, for which we may construct a class of efficient vectors, and demonstrate the efficiency of the Perron eigenvector. Appropriate examples are provided throughout.
The square of every subcubic planar graph of girth at least 6 is 7-choosable
Published
• View Publication
• BIB
The square of a graph $G$, denoted $G^2$, has the same vertex set as $G$ and has an edge between two vertices if the distance between them in $G$ is at most $2$. Thomassen (2018) and Hartke, Jahanbekam and Thomas (2016) proved that $χ(G^2) \leq 7$ if $G$ is a subcubic planar graph. A natural question is whether $χ_{\ell}(G^2) \leq 7$ or not if $G$ is a subcubic planar graph. Cranston and Kim (2008) showed that $χ_{\ell}(G^2) \leq 7$ if $G$ is a subcubic planar graph of girth at least 7. We prove that $χ_{\ell}(G^2) \leq 7$ if $G$ is a subcubic planar graph of girth at least 6.
Saturation for Flagged Skew Littlewood-Richardson Coefficients
Published
• View Publication
• BIB
We define and study a generalization of the Littlewood-Richardson (LR) coefficients, which we call the flagged skew LR coefficients. These subsume several previously studied extensions of the LR coefficients. We establish the saturation property for these coefficients, generalizing work of Knutson-Tao and Kushwaha-Raghavan-Viswanath.
Random processes for generating task-dependency graphs
We investigate random processes for generating task-dependency graphs of order $n$ with $m$ edges and a specified number of initial vertices and terminal vertices. In order to do so, we consider two random processes for generating task-dependency graphs that can be combined to accomplish this task. In the $(x, y)$ edge-removal process, we start with a maximally connected task-dependency graph and remove edges uniformly at random as long as they do not cause the number of initial vertices to exceed $x$ or the number of terminal vertices to exceed $y$. In the $(x, y)$ edge-addition process, we start with an empty task-dependency graph and add edges uniformly at random as long as they do not cause the number of initial vertices to be less than $x$ or the number of terminal vertices to be less than $y$. In the $(x, y)$ edge-addition process, we halt if there are exactly $x$ initial vertices and $y$ terminal vertices. For both processes, we determine the values of $x$ and $y$ for which the resulting task-dependency graph is guaranteed to have exactly $x$ initial vertices and $y$ terminal vertices, and we also find the extremal values for the number of edges in the resulting task-dependency graphs as a function of $x$, $y$, and the number of vertices. Furthermore, we asymptotically bound the expected number of edges in the resulting task-dependency graphs. Finally, we define a random process using only edge-addition and edge-removal, and we show that with high probability this random process generates an $(x, y)$ task-dependency graph of order $n$ with $m$ edges.
Rhombus Criterion and the Chordal Graph Polytope
The purpose of this paper is twofold. We investigate a simple necessary condition, called the rhombus criterion, for two vertices in a polytope not to form an edge and show that in many examples of $0/1$-polytopes it is also sufficient. We explain how also when this is not the case, the criterion can give a good algorithm for determining the edges of high-dimenional polytopes.
In particular we study the Chordal graph polytope, which arises in the theory of causality and is an important example of a characteristic imset polytope. We prove that, asymptotically, for almost all pairs of vertices the rhombus criterion holds. We conjecture it to hold for all pairs of vertices.
The structure and density of $k$-product-free sets in the free semigroup
Published
• View Publication
• BIB
The free semigroup $\mathcal{F}$ over a finite alphabet $\mathcal{A}$ is the set of all finite words with letters from $\mathcal{A}$ equipped with the operation of concatenation. A subset $S$ of $\mathcal{F}$ is $k$-product-free if no element of $S$ can be obtained by concatenating $k$ words from $S$, and strongly $k$-product-free if no element of $S$ is a (non-trivial) concatenation of at most $k$ words from $S$.
We prove that a $k$-product-free subset of $\mathcal{F}$ has upper Banach density at most $1/ρ(k)$, where $ρ(k) = \min\{\ell \colon \ell \nmid k - 1\}$. We also determine the structure of the extremal $k$-product-free subsets for all $k \notin \{3, 5, 7, 13\}$; a special case of this proves a conjecture of Leader, Letzter, Narayanan, and Walters. We further determine the structure of all strongly $k$-product-free sets with maximum density. Finally, we prove that $k$-product-free subsets of the free group have upper Banach density at most $1/ρ(k)$, which confirms a conjecture of Ortega, Rué, and Serra.
The complete set of efficient vectors for a reciprocal matrix
Published
• View Publication
• BIB
Efficient vectors are the natural set from which to choose a cardinal ranking vector for a pairwise comparison matrix. Such vectors are the key to certain business project selection models. Many ways to construct specific efficient vectors have been proposed. Yet, no previous method to produce all efficient vectors was known. Here, using some graph theoretic ideas, as well as a numerical extension technique, we show how to generate inductively all efficient vectors for any given pairwise comparison matrix. We apply this method to give a matricial proof of the fact that the set of efficient vectors and other related sets are piecewise linearly connected. In addition, we determine explicitly all efficient vectors for a 4-by-4 pairwise comparison matrix. Several examples are provided.
On the Minimum Distance of Subspace Codes Generated by Linear Cellular Automata
Published
• View Publication
• BIB
Motivated by applications to noncoherent network coding, we study subspace codes defined by sets of linear cellular automata (CA). As a first remark, we show that a family of linear CA where the local rules have the same diameter -- and thus the associated polynomials have the same degree -- induces a Grassmannian code. Then, we prove that the minimum distance of such a code is determined by the maximum degree occurring among the pairwise greatest common divisors (GCD) of the polynomials in the family. Finally, we consider the setting where all such polynomials have the same GCD, and determine the cardinality of the corresponding Grassmannian code. As a particular case, we show that if all polynomials in the family are pairwise coprime, the resulting Grassmannian code has the highest minimum distance possible.
Sandpile group of infinite graphs
For a finite connected graph $G$ and a non-empty subset $S$ of its vertices thought of sinks, the so-called critical group (or sandpile group) $C(G, S)$ has been studied for a long time. We present a class of graphs where such an extension can be made in a unified way. Similar extension was made by Maes, C. and Redig, F. and Saada, E., but we propose a more algebraic point of view.
Namely, consider a $C$-net $S\subset \mathbb Z^2$. We define a sandpile dynamics on $\mathbb Z^2$ with the set $S$ of sinks. For such a choice of sinks, a relaxation of any bounded state is well defined. This allows us to define a group $C(\mathbb Z^2, S)$ of recurrent states of this model. We show that $C(\mathbb Z^2, S)$ is isomorphic to a group of $S^1$-valued discrete harmonic functions on $\mathbb Z^2\setminus S$.
Examples of $S$, for which $C(\mathbb Z^2, S)$ has no torsion or has all torsions, are provided. Pontryagin dual point of view is investigated. A discussion about perspectives of a sandpile group for $\mathbb Z^2$ as a projective limit concludes this work.
A proof of a Frankl-Kupavskii conjecture on intersecting families
Published
• View Publication
• BIB
A family $\mathcal{F} \subset \mathcal{P}(n)$ is $r$-wise $k$-intersecting if $|A_1 \cap \dots \cap A_r| \geq k$ for any $A_1, \dots, A_r \in \mathcal{F}$. It is easily seen that if $\mathcal{F}$ is $r$-wise $k$-intersecting for $r \geq 2$, $k \geq 1$ then $|\mathcal{F}| \leq 2^{n-1}$. The problem of determining the maximal size of a family $\mathcal{F}$ that is both $r_1$-wise $k_1$-intersecting and $r_2$-wise $k_2$-intersecting was raised in 2019 by Frankl and Kupavskii [1]. They proved the surprising result that, for $(r_1,k_1) = (3,1)$ and $(r_2,k_2) = (2,32)$ then this maximum is at most $2^{n-2}$, and conjectured the same holds if $k_2$ is replaced by $3$. In this paper we shall not only prove this conjecture but we shall also determine the exact maximum for $(r_1,k_1) = (3,1)$ and $(r_2,k_2) = (2,3)$ for all $n$.
Testing versus estimation of graph properties, revisited
Published
• View Publication
• BIB
A distance estimator for a graph property $\mathcal{P}$ is an algorithm that given $G$ and $α, \varepsilon >0$ distinguishes between the case that $G$ is $(α-\varepsilon)$-close to $\mathcal{P}$ and the case that $G$ is $α$-far from $\mathcal{P}$ (in edit distance). We say that $\mathcal{P}$ is estimable if it has a distance estimator whose query complexity depends only on $\varepsilon$.
Every estimable property is also testable, since testing corresponds to estimating with $α=\varepsilon$. A central result in the area of property testing, the Fischer--Newman theorem, gives an inverse statement: every testable property is in fact estimable. The proof of Fischer and Newman was highly ineffective, since it incurred a tower-type loss when transforming a testing algorithm for $\mathcal{P}$ into a distance estimator. This raised the natural problem, studied recently by Fiat--Ron and by Hoppen--Kohayakawa--Lang--Lefmann--Stagni, whether one can find a transformation with a polynomial loss. We obtain the following results.
1. If $\mathcal{P}$ is hereditary, then one can turn a tester for $\mathcal{P}$ into a distance estimator with an exponential loss. This is an exponential improvement over the result of Hoppen et. al., who obtained a transformation with a double exponential loss.
2. For every $\mathcal{P}$, one can turn a testing algorithm for $\mathcal{P}$ into a distance estimator with a double exponential loss. This improves over the transformation of Fischer--Newman that incurred a tower-type loss. Our main conceptual contribution in this work is that we manage to turn the approach of Fischer--Newman, which was inherently ineffective, into an efficient one. On the technical level, our main contribution is in establishing certain properties of Frieze--Kannan Weak Regular partitions that are of independent interest.
Dualizing and canonical complexes on finite posets
Published
• View Publication
• BIB
We develop Grothendieck's theory of dualizing complexes on finite posets, and its subsequent theory of Cohen-Macaulayness.
Avoiding intersections of given size in finite affine spaces AG(n,2)
We study the set of intersection sizes of a k-dimensional affine subspace and a point set of size m \in [0, 2^n] of the n-dimensional binary affine space AG(n,2). Following the theme of Erdős, Füredi, Rothschild and T. Sós, we partially determine which local densities in k-dimensional affine subspaces are unavoidable in all $m$-element point sets in the n-dimensional affine space. We also show constructions of point sets for which the intersection sizes with $k$-dimensional affine subspaces takes values from a set of a small size compared to 2^k. These are built up from affine subspaces and so-called subspace evasive sets. Meanwhile, we improve the best known upper bounds on subspace evasive sets and apply results concerning the canonical signed-digit (CSD) representation of numbers.
On density conditions for transversal trees in multipartite graphs
Published
• View Publication
• BIB
Let $G$ be an $r$-partite graph such that the edge density between any two parts is at least $α$. How large does $α$ need to be to guarantee that $G$ contains a connected transversal, that is, a tree on $r$ vertices meeting each part in one vertex? And what if instead we want to guarantee the existence of a Hamiltonian transversal? In this paper we initiate the study of such extremal multipartite graph problems, obtaining a number of results and providing many new constructions, conjectures and further questions.
Parts in $k$-indivisible Partitions Always Display Biases between Residue Classes
Published
• View Publication
• BIB
Let $k, t$ be coprime integers, and let $1 \leq r \leq t$. We let $D_k^\times(r,t;n)$ denote the total number of parts among all $k$-indivisible partitions (i.e., those partitions where no part is divisible by $k$) of $n$ which are congruent to $r$ modulo $t$. In previous work of the authors, an asymptotic estimate for $D_k^\times(r,t;n)$ was shown to exhibit unpredictable biases between congruence classes. In the present paper, we confirm our earlier conjecture that there are no "ties" (i.e., equalities) in this asymptotic for different congruence classes. To obtain this result, we reframe this question in terms of $L$-functions, and we then employ a nonvanishing result due to Baker, Birch, and Wirsing to conclude that there is always a bias towards one congruence class or another modulo $t$ among all parts in $k$-indivisible partitions of $n$ as $n$ becomes large.