Showing 20 papers (Total: 82064 papers, 47505 authors in database)
$n^2 + 1$ unit equilateral triangles cannot cover an equilateral triangle of side $> n$ if all triangles have parallel sides
Published
• View Publication
• BIB
Conway and Soifer showed that an equilateral triangle $T$ of side $n + \varepsilon$ with sufficiently small $\varepsilon > 0$ can be covered by $n^2 + 2$ unit equilateral triangles. They conjectured that it is impossible to cover $T$ with $n^2 + 1$ unit equilateral triangles no matter how small $\varepsilon$ is.
We show that if we require all sides of the unit equilateral triangles to be parallel to the sides of $T$ (e.g. $\bigtriangleup$ and $\bigtriangledown$), then it is impossible to cover $T$ of side $n + \varepsilon$ with $n^2 + 1$ unit equilateral triangles for any $\varepsilon > 0$. As the coverings of $T$ by Conway and Soifer only involve triangles with sides parallel to $T$, our result determines the exact minimum number $n^2+2$ of unit equilateral triangles with all sides parallel to $T$ that cover $T$. We also determine the largest value $\varepsilon = 1/(n + 1)$ (resp. $\varepsilon = 1 / n$) of $\varepsilon$ such that the equilateral triangle $T$ of side $n + \varepsilon$ can be covered by $n^2+2$ (resp. $n^2 + 3$) unit equilateral triangles with sides parallel to $T$, where the first case is achieved by the construction of Conway and Soifer.
Minimizing an Uncrossed Collection of Drawings
Published
• View Publication
• BIB
In this paper, we introduce the following new concept in graph drawing. Our task is to find a small collection of drawings such that they all together satisfy some property that is useful for graph visualization. We propose investigating a property where each edge is not crossed in at least one drawing in the collection. We call such collection uncrossed. This property is motivated by a quintessential problem of the crossing number, where one asks for a drawing where the number of edge crossings is minimum. Indeed, if we are allowed to visualize only one drawing, then the one which minimizes the number of crossings is probably the neatest for the first orientation. However, a collection of drawings where each highlights a different aspect of a graph without any crossings could shed even more light on the graph's structure.
We propose two definitions. First, the uncrossed number, minimizes the number of graph drawings in a collection, satisfying the uncrossed property. Second, the uncrossed crossing number, minimizes the total number of crossings in the collection that satisfy the uncrossed property. For both definitions, we establish initial results. We prove that the uncrossed crossing number is NP-hard, but there is an FPT algorithm parameterized by the solution size.
Maximal Algebraic Connectivity for Paths with Fixed Effective Resistance
We consider the problem on finding the edge weights that maximize the algebraic connectivity of a graph (smallest positive eigenvalue of the Laplacian), subject to the condition that the total effective resistance is kept constant. We propose the conjecture that for every graph the maximum is attained for weights that are invariant under automorphisms. The solution to the problem is given explicitly for the paths $P_3$ y $P_4$, where the conjecture holds.
Partitioning graphs with linear minimum degree
Published
• View Publication
• BIB
We prove that there exists an absolute constant $C>0$ such that, for any positive integer $k$, every graph $G$ with minimum degree at least $Ck$ admits a vertex-partition $V(G)=S\cup T$, where both $G[S]$ and $G[T]$ have minimum degree at least $k$, and every vertex in $S$ has at least $k$ neighbors in $T$. This confirms a question posted by Kühn and Osthus and is tight up to a constant factor. Our proof combines probabilistic methods with structural arguments based on Ore's Theorem on $f$-factors of bipartite graphs.
On the idempotent graph of a ring
Let $R$ be a ring with unity. The \emph{idempotent graph} $G_{\text{Id}}(R)$ of a ring $R$ is an undirected simple graph whose vertices are the set of all the elements of ring $R$ and two vertices $x$ and $y$ are adjacent if and only if $x+y$ is an idempotent element of $R$. In this paper, we obtain a necessary and sufficient condition on the ring $R$ such that $G_{\text{Id}}(R)$ is planar. We prove that $G_{\text{Id}}(R)$ cannot be an outerplanar graph. Moreover, we classify all the finite non-local commutative rings $R$ such that $G_{\text{Id}}(R)$ is a cograph, split graph and threshold graph, respectively. We conclude that latter two graph classes of $G_{\text{Id}}(R)$ are equivalent if and only if $R \cong \mathbb{Z}_2 \times \mathbb{Z}_2 \times \cdots \times \mathbb{Z}_2$.
Strongly regular graphs decomposable into a divisible design graph and a Hoffman coclique
Published
• View Publication
• BIB
In 2022, the second author found a prolific construction of strongly regular graphs, which is based on joining a coclique and a divisible design graph with certain parameters. The construction produces strongly regular graphs with the same parameters as the complement of the symplectic graph $\mathsf{Sp}(2d,q)$.
In this paper, we determine the parameters of strongly regular graphs which admit a decomposition into a divisible design graph and a coclique attaining the Hoffman bound. In particular, it is shown that when the least eigenvalue of such a strongly regular graph is a prime power, its parameters coincide with those of the complement of $\mathsf{Sp}(2d,q)$. Furthermore, a generalization of the construction is discussed.
Durfee rectangle identities as character identities for infinite Fibonacci configurations
We introduce a natural generalization of Maya diagrams -- the space of infinite Fibonacci configurations, which are specified functions on $\mathbb{Z}$ with values $1$ and $0$. Infinite Fibonacci configurations are particularly interesting as soon as they parametrize Feigin-Stoyanovsky type bases in lattice vertex superalgebras $V_{\sqrt{N}\mathbb{Z}}$ and their irreducible modules. We calculate the character of such configurations space by two different ways and obtain series of combinatorial identities. These identities turn out to be Durfee rectangle identities with shifts in base and height.
Ramsey numbers of connected 4-clique matchings
In this paper, we determine the exact value of the $2$-edge-coloring Ramsey number of a connected $4$-clique matching $c(nK_4)$, which is a set of connected graphs containing an $nK_4$ is $13n-3$ for any positive integer $n \geq 3$. This is an extension of the result by Roberts (2017), which is proved only for $n\geq 18$. We also show that the result still holds when $n=2$ provided that $R_2(2K_4) \leq 23$.
Combinatorial generation via permutation languages. VI. Binary trees
Published
• View Publication
• BIB
In this paper we propose a notion of pattern avoidance in binary trees that generalizes the avoidance of contiguous tree patterns studied by Rowland and non-contiguous tree patterns studied by Dairyko, Pudwell, Tyner, and Wynn. Specifically, we propose algorithms for generating different classes of binary trees that are characterized by avoiding one or more of these generalized patterns. This is achieved by applying the recent Hartung-Hoang-Mütze-Williams generation framework, by encoding binary trees via permutations. In particular, we establish a one-to-one correspondence between tree patterns and certain mesh permutation patterns. We also conduct a systematic investigation of all tree patterns on at most 5 vertices, and we establish bijections between pattern-avoiding binary trees and other combinatorial objects, in particular pattern-avoiding lattice paths and set partitions.
Counting solutions to invariant equations in dense sets
We prove a lower bound of exp(-C (log(2/alpha))^7)N^{k-1} to the number of solutions of an invariant equation in k variables, contained in a set of density alpha. Moreover, we give a Behrend-type construction for the same problem with the number of solutions of a convex equation bounded above by exp(-c (log(2/alpha))^2)N^{k-1}. Furthermore, improving the result of Schoen and Sisask, we show that if a set does not contain any non-trivial solutions to an equation of length at least 2(3^{m+1})+2 for some positive integer m, then its size is at most exp(-c(log N)^{1/(6+gamma)})N, where gamma = 2^{1-m}.
M-convexity of Grothendieck polynomials via bubbling
Published
• View Publication
• BIB
We introduce bubbling diagrams and show that they compute the support of the Grothendieck polynomial of any vexillary permutation. Using these diagrams, we show that the support of the top homogeneous component of such a Grothendieck polynomial coincides with the support of the dual character of an explicit flagged Weyl module. We also show that the homogenized Grothendieck polynomial of a vexillary permutation has M-convex support.
On the existence of nef-partitions for smooth well-formed Fano weighted complete intersections
Published in Siberian Electronic Mathematical Reports, 20:2 (2023), 1405-1419
• View Publication
• BIB
A nef-partition for a weighted complete intersection is a combinatorial structure on its weights and degrees which is important for Mirror Symmetry. It is known that nef-partitions exist for smooth well-formed Fano weighted complete intersections of small dimension or codimension, and that in these cases they are strong in the sense that they can be realized as fibers of morphisms of weighted simplicial complexes, i.e., finite abstract simplicial complexes equipped with a weight function.
It was conjectured that this approach can be extended to the case of arbitrary codimension. We show that in the case of any codimension greater than 3 strong nef-partitions may not exist, and provide a sufficient combinatorial condition for existence of a strong nef-partition in terms of weights.
We also show that the combinatorics of smooth well-formed weighted complete intersections can be arbitrarily complicated from the point of view of simplicial geometry.
Some enumerative properties of parking functions
Published
• View Publication
• BIB
A parking function is a sequence $(a_1,\dots, a_n)$ of positive integers such that if $b_1\leq\cdots\leq b_n$ is the increasing rearrangement of $a_1,\dots,a_n$, then $b_i\leq i$ for $1\leq i\leq n$. In this paper we obtain some new results on the enumeration of parking functions. We will consider the joint distribution of several sets of statistics on parking functions. The distribution of most of these individual statistics is known, but the joint distributions are new. Parking functions of length $n$ are in bijection with labelled forests on the vertex set $[n]=\{1,2,\dots,n\}$ (or rooted trees on $[n]_0=\{0,1,\dots,n\}$ with root $0$), so our results can also be applied to labelled forests. Extensions of our techniques are discussed.
Increasing subsequences, matrix loci, and Viennot shadows
Published
• View Publication
• BIB
Let $\mathbf{x}_{n \times n}$ be an $n \times n$ matrix of variables and let $\mathbb{F}[\mathbf{x}_{n \times n}]$ be the polynomial ring in these variables over a field $\mathbb{F}$. We study the ideal $I_n \subseteq \mathbb{F}[\mathbf{x}_{n \times n}]$ generated by all row and column variable sums and all products of two variables drawn from the same row or column. We show that the quotient $\mathbb{F}[\mathbf{x}_{n \times n}]/I_n$ admits a standard monomial basis determined by Viennot's shadow line avatar of the Schensted correspondence. As a corollary, the Hilbert series of $\mathbb{F}[\mathbf{x}_{n \times n}]/I_n$ is the generating function of permutations in $\mathfrak{S}_n$ by the length of their longest increasing subsequence. Along the way, we describe a `shadow junta' basis of the vector space of $k$-local permutation statistics. We also calculate the structure of $\mathbb{F}[\mathbf{x}_{n \times n}]/I_n$ as a graded $\mathfrak{S}_n \times \mathfrak{S}_n$-module.
On the maximum field of linearity of linear sets
Published in Bull. London Math. Soc. 2024;56:3300-3315
• View Publication
• BIB
Let $V$ denote an $r$-dimensional $\mathbb{F}_{q^n}$-vector space. For an $m$-dimensional $\mathbb{F}_q$-subspace $U$ of $V$ assume that $\dim_q \left(\langle {\bf v}\rangle_{\mathbb{F}_{q^n}} \cap U\right) \geq 2$ for each non zero vector ${\bf v}\in U$. If $n\leq q$ then we prove the existence of an integer $1<d \mid n$ such that the set of one-dimensional $\mathbb{F}_{q^n}$-subspaces generated by non-zero vectors of $U$ is the same as the set of one-dimensional $\mathbb{F}_{q^n}$-subspaces generated by non-zero vectors of $\langle U\rangle_{\mathbb{F}_{q^d}}$. If we view $U$ as a point set of $\mathrm{AG}(r,q^n)$, it means that $U$ and $\langle U \rangle_{\mathbb{F}_{q^d}}$ determine the same set of directions. We prove a stronger statement when $n \mid m$.
In terms of linear sets it means that an $\mathbb{F}_q$-linear set of $\mathrm{PG}(r-1,q^n)$ has maximum field of linearity $\mathbb{F}_q$ only if it has a point of weight one. We also present some consequences regarding the size of a linear set.
New Hereditary and Mutation-Invariant Properties Arising from Forks
Published in The Electronic Journal of Combinatorics Volume 31, Issue 1 (2024), Article P1.16
• View Publication
• BIB
A hereditary property of quivers is a property preserved by restriction to any full subquiver. Similarly, a mutation-invariant property of quivers is a property preserved by mutation. Using forks, a class of quivers developed by M. Warkentin, we introduce a new hereditary and mutation-invariant property. We prove that a quiver being mutation-equivalent to a finite number of non-forks -- defined as having a finite forkless part -- is this new property, using only elementary methods. Additionally, we show that a more general property -- having a finite pre-forkless part -- is also a new hereditary and mutation-invariant property in much the same manner.
Chordal matroids arising from generalized parallel connections
Published
• View Publication
• BIB
A graph is chordal if every cycle of length at least four has a chord. In 1961, Dirac characterized chordal graphs as those graphs that can be built from complete graphs by repeated clique-sums. Generalizing this, we consider the class of simple $GF(q)$-representable matroids that can be built from projective geometries over $GF(q)$ by repeated generalized parallel connections across projective geometries. We show that this class of matroids is closed under induced minors. We characterize the class by its forbidden induced minors; the case when $q=2$ is distinctive.
New Explicit Constant-Degree Lossless Expanders
Published
• View Publication
• BIB
We present a new explicit construction of onesided bipartite lossless expanders of constant degree, with arbitrary constant ratio between the sizes of the two vertex sets. Our construction is simpler to state and analyze than the only prior construction of Capalbo, Reingold, Vadhan, and Wigderson (2002), and achieves improvements in some parameters.
We construct our lossless expanders by imposing the structure of a constant-sized lossless expander "gadget" within the neighborhoods of a large bipartite spectral expander; similar constructions were previously used to obtain the weaker notion of unique-neighbor expansion. Our analysis simply consists of elementary counting arguments and an application of the expander mixing lemma.
Stability for hyperplane covers
An almost $k$-cover of the hypercube $Q^n = \{0,1\}^n$ is a collection of hyperplanes that avoids the origin and covers every other vertex at least $k$ times. When $k$ is large with respect to the dimension $n$, Clifton and Huang asymptotically determined the minimum possible size of an almost $k$-cover. Central to their proof was an extension of the LYM inequality, concerning a weighted count of hyperplanes.
In this paper we completely characterise the hyperplanes of maximum weight, showing that there are $\binom{2n-1}{n}$ such planes. We further provide stability, bounding the weight of all hyperplanes that are not of maximum weight. These results allow us to effectively shrink the search space when using integer linear programming to construct small covers, and as a result we are able to determine the exact minimum size of an almost $k$-cover of $Q^6$ for most values of $k$. We further use the stability result to improve the Clifton--Huang lower bound for infinitely many choices of $k$ in every sufficiently large dimension $n$.
Distance Magic Labeling of Generalised Mycielskian Graphs
In this paper, we have studied the distance magic labelling of Generalised Mycielskian of a few families of graphs.