Showing 20 papers (Total: 81914 papers, 47441 authors in database)
Spectral properties of edge Laplacian matrix
Published in Proceedings of the Jangjeon Mathematical Society, 2023
• Search Publication
Let $N(X)$ be the Laplacian matrix of a directed graph obtained from the edge adjacency matrix of a graph $X.$ In this work, we study the bipartiteness property of the graph with the help of $N(X).$ We computed the spectrum of the edge Laplacian matrix for the regular graphs, the complete bipartite graphs, and the trees. Further, it is proved that given a graph $X,$ the characteristic polynomial of $N(X)$ divides the characteristic polynomial of $N(X^{\prime\prime}),$ where $X^{\prime\prime}$ denote the Kronecker double cover of $X.$
Large dilates of hypercube graphs in the plane
Published in Anal. Math. 50 (2024), 893-915
• View Publication
• BIB
We study a distance graph $Γ_n$ that is isomorphic to the $1$-skeleton of an $n$-dimensional unit hypercube. We show that every measurable set of positive upper Banach density in the plane contains all sufficiently large dilates of $Γ_n$. This provides the first examples of distance graphs other than the trees for which a dimensionally sharp embedding in positive density sets is known.
A note on OEIS sequence A111384
$A111384(n)$ is an upper bound for the number of primes that can be written as a sum of three distinct primes selected from a set of $n$ primes. Is this bound sharp?
Polytopality of simple games
The Bier sphere $Bier(\mathcal{G}) = Bier(K) = K\ast_ΔK^\circ$ and the canonical fan $Fan(Γ) = Fan(K)$ are combinatorial/geometric companions of a simple game $\mathcal{G} = (P,Γ)$ (equivalently the associated simplicial complex $K$), where $P$ is the set of players, $Γ\subseteq 2^P$ is the set of wining coalitions, and $K = 2^P\setminus Γ$ is the simplicial complex of losing coalitions. We characterize roughly weighted majority games as the games $Γ$ such that $Bier(\mathcal{G})$ (respectively $Fan(Γ)$) is canonically polytopal (canonically pseudo-polytopal) and show, by an experimental/theoretical argument, that all simple games with at most five players are polytopal.
Embedding dimension gaps in sparse codes
Published
• View Publication
• BIB
We study the open and closed embedding dimensions of a convex 3-sparse code $\mathcal{FP}$, which records the intersection pattern of lines in the Fano plane. We show that the closed embedding dimension of $\mathcal{FP}$ is three, and the open embedding dimension is between four and six, providing the first example of a 3-sparse code with closed embedding dimension three and differing open and closed embedding dimensions. We also investigate codes whose canonical form is quadratic, i.e. ``degree two" codes. We show that such codes are realizable by axis-parallel boxes, generalizing a recent result of Zhou on inductively pierced codes.
We pose several open questions regarding sparse and low-degree codes. In particular, we conjecture that the open embedding dimension of certain 3-sparse codes derived from Steiner triple systems grows to infinity.
On Dissecting Polygons into Rectangles
What is the smallest number of pieces that you can cut an n-sided regular polygon into so that the pieces can be rearranged to form a rectangle? Call it r(n). The rectangle may have any proportions you wish, as long as it is a rectangle. The rules are the same as for the classical problem where the rearranged pieces must form a square. Let s(n) denote the minimum number of pieces for that problem. For both problems the pieces may be turned over and the cuts must be simple curves. The conjectured values of s(n), 3 <= n <= 12, are 4, 1, 6, 5, 7, 5, 9, 7, 10, 6. However, only s(4)=1 is known for certain. The problem of finding r(n) has received less attention. In this paper we give constructions showing that r(n) for 3 <= n <= 12 is at most 2, 1, 4, 3, 5, 4, 7, 4, 9, 5, improving on the bounds for s(n) in every case except n=4. For the 10-gon our construction uses three fewer pieces than the bound for s(10). Only r(3) and r(4) are known for certain. We also briefly discuss q(n), the minimum number of pieces needed to dissect a regular n-gon into a monotile.
Structure of quasi-crystal graphs and applications to the combinatorics of quasi-symmetric functions
Published
• View Publication
• BIB
Crystal graphs are powerful combinatorial tools for working with the plactic monoid and symmetric functions. Quasi-crystal graphs are an analogous concept for the hypoplactic monoid and quasi-symmetric functions. This paper makes a combinatorial study of these objects. We explain a previously-observed isomorphism of components of the quasi-crystal graph, and provide an explicit description using a new combinatorial structure called a quasi-array. Then two conjectures of Maas-Gariépy on the interaction of fundamental quasi-symmetric functions and Schur functions and on the arrangement of quasi-crystal components within crystal components are answered, the former positively, the latter negatively.
A local characterization of quasi-crystal graphs
Published
• View Publication
• BIB
It is provided a local characterization of quasi-crystal graphs, by presenting a set of local axioms, similar to the ones introduced by Stembridge for crystal graphs of simply-laced root systems. It is also shown that quasi-crystal graphs satisfying these axioms are closed under the tensor product recently introduced by Cain, Guilherme and Malheiro. It is deduced that each connected component of such a graph has a unique highest weight element, whose weight is a composition, and it is isomorphic to a quasi-crystal graph of semistandard quasi-ribbon tableaux.
The Icosidodecahedron
Published in Notices Amer. Math. Soc. 70 (2023), 821-823
• View Publication
• BIB
The icosidodecahedron has 30 vertices, one at the center of each edge of a regular icosahedron -- or equivalently, one at the center of each edge of a regular dodecahedron. It is a beautiful, highly symmetrical shape. But it is just a projection down to 3d space of a more symmetrical 6-dimensional polytope with 60 vertices. It is also a slice of a more symmetrical 4d polytope with 120 vertices, which in turn is the projection down to 4d space of an even more symmetrical 8-dimensional polytope with 240 vertices: the E8 root polytope. Here we explain all these constructions, and their connection to the quaternions and icosians.
Minimum trace norm of real symmetric and Hermitian matrices with zero diagonal
Published
• View Publication
• BIB
We obtain tight lower bounds for the trace norm $\Vert \cdot \Vert_1$ of some matrices with diagonal zero, in terms of the entry-wise $L^1$-norm (denoted by $\Vert \cdot \Vert_{(1)}$). It is shown that on the space of nonzero real symmetric matrices $A$ of order $n$ with diagonal zero, the minimum value of the quantity $\frac{\Vert A\Vert_1}{\Vert A\Vert_{(1)}}$ is equal to $\frac{2}{n}$. The answer of the similar problem in the space of Hermitian matrices, is also obtained to be equal to $\tan(\fracπ{2n})$. The equivalent "dual" form of these results, give some upper bounds for the distance to the nearest diagonal matrix for a given symmetric or Hermitian matrix, when the distance is computed in the spectral norm.
On the subadditivity condition of edge ideal
Published
• View Publication
• BIB
Let $S=K[x_1,\ldots,x_n]$, where $K$ is a field, and $t_i(S/I)$ denotes the maximal shift in the minimal graded free $S$-resolution of the graded algebra $S/I$ at degree $i$, where $I$ is an edge ideal. In this paper, we prove that if $t_b(S/I)\geq \lceil \frac{3b}{2} \rceil$ for some $b\geq 0$, then the subadditivity condition $t_{a+b}(S/I)\leq t_a(S/I)+t_b(S/I)$ holds for all $a\geq 0$. In addition, we prove that $t_{a+4}(S/I)\leq t_a(S/I)+t_4(S/I)$ for all $a\geq 0$ (the case $b=0,1,2,3$ is known). We conclude that if the projective dimension of $S/I$ is at most $9$, then $I$ satisfies the subadditivity condition.
On the Reduced Gröbner Bases of Blockwise Determinantal Ideals
Published
• View Publication
• BIB
Blockwise determinantal ideals are those generated by the union of all the minors of specified sizes in certain blocks of a generic matrix, and they are the natural generalization of many existing determinantal ideals like the Schubert and ladder ones. In this paper we establish several criteria to verify whether the Gröbner bases of blockwise determinantal ideals with respect to (anti-)diagonal term orders are minimal or reduced. In particular, for Schubert determinantal ideals, while all the elusive minors form the reduced Gröbner bases when the defining permutations are vexillary, in the non-vexillary case we derive an explicit formula for computing the reduced Gröbner basis from elusive minors which avoids all algebraic operations. The fundamental properties of being normal and strong for W-characteristic sets and characteristic pairs, which are heavily connected to the reduced Gröbner bases, of Schubert determinantal ideals are also proven.
Alternating Sign Pentagons and Magog Pentagons
Published
• View Publication
• BIB
Alternating sign triangles have been introduced by Ayyer, Behrend and Fischer in 2016 and it was proven that there is the same number of alternating sign triangles with $n$ rows as there is of $n\times n$ alternating sign matrices. Later on Fischer gave a refined enumeration of alternating sign triangles with respect to a statistic $ρ$, having the same distribution as the unique 1 in the top row of an alternating sign matrix, by connecting alternating sign triangles to $(0,n,n)$- Magog trapezoids. We introduce two more statistics counting the all $0$-columns on the left and right in an alternating sign triangle yielding objects we call alternating sign pentagons. We then show the equinumeracy of these alternating sign pentagons with Magog pentagons of a certain shape taking into account the statistic $ρ$. Furthermore we deduce a generating function of these alternating sign pentagons with respect to the statistic $ρ$ in terms of a Pfaffian and consider the implications of our new results on some open conjectures.
Unavoidable flats in matroids representable over prime fields
Published
• View Publication
• BIB
We show that, for any prime $p$ and integer $k \geq 2$, a simple GF($p$)-representable matroid with sufficiently high rank has a rank-$k$ flat which is either independent in $M$, or is a projective or affine geometry. As a corollary we obtain a Ramsey-type theorem for GF($p$)-representable matroids. For any prime $p$ and integer $k\ge 2$, if we $2$-colour the elements in any simple GF($p$)-representable matroid with sufficiently high rank, then there is a monochromatic flat with rank $k$.
Resolvability and convexity properties in the Sierpiński product of graphs
Published
• View Publication
• BIB
Let $G$ and $H$ be graphs and let $f \colon V(G)\rightarrow V(H)$ be a function. The Sierpiński product of $G$ and $H$ with respect to $f$, denoted by $G \otimes _f H$, is defined as the graph on the vertex set $V(G)\times V(H)$, consisting of $|V(G)|$ copies of $H$; for every edge $gg'$ of $G$ there is an edge between copies $gH$ and $g'H$ of $H$ associated with the vertices $g$ and $g'$ of $G$, respectively, of the form $(g,f(g'))(g',f(g))$. The Sierpiński metric dimension and the upper Sierpiński metric dimension of two graphs are determined. Closed formulas are determined for Sierpiński products of trees, and for Sierpiński products of two cycles where the second factor is a triangle. We also prove that the layers with respect to the second factor in a Sierpiński product graph are convex.
Mutual-visibility sets in Cartesian products of paths and cycles
For a given graph $G$, the mutual-visibility problem asks for the largest set of vertices $M \subseteq V(G)$ with the property that for any pair of vertices $u,v \in M$ there exists a shortest $u,v$-path of $G$ that does not pass through any other vertex in $M$.
The mutual-visibility problem for Cartesian products of a cycle and a path, as well as for Cartesian products of two cycles, is considered. Optimal solutions are provided for the majority of Cartesian products of a cycle and a path, while for the other family of graphs, the problem is completely solved.
Logarithmic terms in discrete heat kernel expansions in the quadrant
Published
• View Publication
• BIB
In the context of lattice walk enumeration in cones, we consider the number of walks in the quarter plane with fixed starting and ending points, prescribed step-set and given length. After renormalization, this number may be interpreted as a discrete heat kernel in the quadrant. We propose a new method to compute complete asymptotic expansions of these numbers of walks as their length tends to infinity, based on two main ingredients: explicit expressions for the underlying generating functions in terms of elliptic Jacobi theta functions along with a duality known as Jacobi transformation. This duality allows us to pass from a classical Taylor expansion of the series to an expansion at the critical point of the model. We work through two examples. First, we present our approach on the well-known Kreweras model, which is algebraic, and show how to obtain a complete asymptotic expansion in this case. We then consider a more generic (so-called infinite group) model, and find the associated complete asymptotic expansion. In this second case, we prove the existence of logarithmic terms in the asymptotic expansion, and we relate the coefficients appearing in the expansion to polyharmonic functions. To our knowledge, this is the first time that logarithmic terms have been observed in the asymptotics of a class of lattice walks confined to a quadrant.
On plus-one generated conic-line arrangements with simple singularities
Published in Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. 35(3): 349 - 364 (2024)
• View Publication
• BIB
In this paper we study plus-one generated arrangements of conics and lines in the complex projective plane with simple singularities. We provide several degree-wise classification results that allow us to construct explicit examples of such arrangements.
Asymptotics of Bounded Lecture-Hall Tableaux
We study the asymptotics of bounded lecture hall tableaux. Limit shapes form when the bounds of the lecture hall tableaux go to infinity linearly in the lengths of the partitions describing the large-scale shapes of these tableaux. We prove Conjecture 6.1 in \cite{SKN21}, stating that the slopes of the rescaled height functions in the scaling limit satisfy a complex Burgers equation. We also show that the fluctuations of the unrescaled height functions converge to the Gaussian free field. The proof is based on new construction and analysis of Schur generating functions for the lecture hall tableaux, whose corresponding particle configurations do not form a Gelfand-Tsetlin scheme; and the corresponding dimer models are not doubly periodic.
Minimum-sized generating sets of the direct powers of free distributive lattices
For a finite lattice $L$, let Gm($L$) denote the least $n$ such that $L$ can be generated by $n$ elements. For integers $r>2$ and $k>1$, denote by FD$(r)^k$ the $k$-th direct power of the free distributive lattice FD($r$) on $r$ generators. We determine Gm(FD$(r)^k$) for many pairs $(r,k)$ either exactly or with good accuracy by giving a lower estimate that becomes an upper estimate if we increase it by 1. For example, for $(r,k)=(5,25\,000)$ and $(r,k)=(20,\ 1.489\cdot 10^{1789})$, Gm(FD$(r)^k$) is $300$ and $6000$, respectively. To reach our goal, we give estimates for the maximum number of pairwise unrelated copies of some specific posets (called full segment posets) in the subset lattice of an $n$-element set. In addition to analogous earlier results in lattice theory, a connection with cryptology is also mentioned among the motivations.