Showing 20 papers (Total: 82139 papers, 47531 authors in database)
On non-isomorphic biminimal pots realizing the cube
In this paper, we disprove a conjecture recently proposed in [L. Almodovar et al., arXiv:2108.00035] on the non-existence of biminimal pots realizing the cube, namely pots with the minimum number of tiles and the minimum number of bond-edge types. In particular, we present two biminimal pots realizing the cube and show that these two pots are unique up to isomorphisms.
A conditional approach for monochromatic unit distance in a plane for four and five coloring
A measure theoretic approach of the problem that there exits a finite unit-distance graphs in the plane that are not five (or four) colorable.
Geodesic packing in graphs
Published
• View Publication
• BIB
Given a graph $G$, a geodesic packing in $G$ is a set of vertex-disjoint maximal geodesics, and the geodesic packing number of $G$, ${\gpack}(G)$, is the maximum cardinality of a geodesic packing in $G$. It is proved that the decision version of the geodesic packing number is NP-complete. We also consider the geodesic transversal number, ${\gt}(G)$, which is the minimum cardinality of a set of vertices that hit all maximal geodesics in $G$. While $\gt(G)\ge \gpack(G)$ in every graph $G$, the quotient ${\rm gt}(G)/{\rm gpack}(G)$ is investigated. By using the rook's graph, it is proved that there does not exist a constant $C < 3$ such that $\frac{{\rm gt}(G)}{{\rm gpack}(G)}\le C$ would hold for all graphs $G$. If $T$ is a tree, then it is proved that ${\rm gpack}(T) = {\rm gt}(T)$, and a linear algorithm for determining ${\rm gpack}(T)$ is derived. The geodesic packing number is also determined for the strong product of paths.
Characterization of rings with planar, toroidal or projective planar prime ideal sum graphs
Published
• View Publication
• BIB
Let $R$ be a commutative ring with unity. The prime ideal sum graph $\text{PIS}(R)$ of the ring $R$ is the simple undirected graph whose vertex set is the set of all nonzero proper ideals of $R$ and two distinct vertices $I$ and $J$ are adjacent if and only if $I + J$ is a prime ideal of $R$. In this paper, we study some interplay between algebraic properties of rings and graph-theoretic properties of their prime ideal sum graphs. In this connection, we classify non-local commutative Artinian rings $R$ such that $\text{PIS}(R)$ is of crosscap at most two. We prove that there does not exist a non-local commutative Artinian ring whose prime ideal sum graph is projective planar. Further, we classify non-local commutative Artinian rings of genus one prime ideal sum graphs.
Alternating groups as products of cycle classes - II
Published
• View Publication
• BIB
Given integers $k,l\geq 2$, where either $l$ is odd or $k$ is even, let $n(k,l)$ denote the largest integer $n$ such that each element of $A_n$ is a product of $k$ many $l$-cycles. In 2008, M. Herzog, G. Kaplan and A. Lev conjectured that $\lfloor \frac{2kl}{3} \rfloor \leq n(k,l)\leq \lfloor \frac{2kl}{3}\rfloor+1$. It is known that the conjecture holds when $k=2,3,4$. Moreover, it is also true when $3\mid l$. In this article, we determine the exact value of $n(k,l)$ when $3\nmid l$ and $k\geq 5$. As an immediate consequence, we get that $n(k,l)<\lfloor \frac{2kl}{3}\rfloor$ when $k\geq 5$, which shows that the above conjecture is not true in general. In fact, the difference between the exact value of $n(k,l)$ and the conjectured value grows linearly in terms of $k$. Our results also generalize the case of $k=2,3,4$.
On the proportion of elements of prime order in finite symmetric groups
We give a short proof for an explicit upper bound on the proportion of permutations of a given prime order $p$, acting on a finite set of given size $n$, which is sharp for certain $n$ and $p$. Namely, we prove that if $n\equiv k\pmod{p}$ with $0\leq k\leq p-1$, then this proportion is at most $(p\cdot k!)^{-1}$ with equality if and only if $p\leq n<2n$.
Non-trivial 3-wise intersecting uniform families
Published
• View Publication
• BIB
A family of $k$-element subsets of an $n$-element set is called 3-wise intersecting if any three members in the family have non-empty intersection. We determine the maximum size of such families exactly or asymptotically. One of our results shows that for every $ε>0$ there exists $n_0$ such that if $n>n_0$ and $\frac25+ε<\frac kn<\frac 12-ε$ then the maximum size is $4\binom{n-4}{k-3}+\binom{n-4}{k-4}$.
Transversal generalizations of hyperplane equipartitions
Published
• View Publication
• BIB
The classical Ham Sandwich theorem states that any $d$ point sets in $\mathbb{R}^d$ can be simultaneously bisected by a single affine hyperplane. A generalization of Dolnikov asserts that any $d$ families of pairwise intersecting compact, convex sets in $\mathbb{R}^d$ admit a common hyperplane transversal. We extend Dolnikov's theorem by showing that families of compact convex sets satisfying more general non-disjointness conditions admit common transversals by multiple hyperplanes. In particular, these generalize all known optimal results to the long-standing Grünbaum--Hadwiger--Ramos measure equipartition problem in the case of two hyperplanes. Our proof proceeds by establishing topological Radon-type intersection theorems and then applying Gale duality in the linear setting. For a single hyperplane, this gives a new proof of Dolnikov's original result via Sarkaria's non-embedding criterion for simplicial complexes.
Dual matroids of 2-complexes -- revisited
Published
• View Publication
• BIB
We prove that simply connected local 2-dimensional simplicial complexes embed in 3-space if and only if their dual matroids are graphic. Examples are provided that the assumptions of simply connectedness and locality are necessary. This may be regarded as a 3-dimensional analogue of Whitney's planarity criterion from 1932.
Palindromic Polynomials over Finite Fields
For any finite field $\mathbb{F}$ and any positive integer $n$ we count the number of monic polynomials of degree $n$ over $\mathbb{F}$ with nonzero constant coefficient and a self-reciprocal factor of any specified degree. An application is given for systems of linear equations over $\mathbb{F}$ of index $2$.
A Connection Behind the Terwilliger Algebras of $H(D,2)$ and $\frac{1}{2} H(D,2)$
Published
• View Publication
• BIB
The universal enveloping algebra $U(\mathfrak{sl}_2)$ of $\mathfrak{sl}_2$ is a unital associative algebra over $\mathbb C$ generated by $E,F,H$ subject to the relations \begin{align*} [H,E]=2E, \qquad [H,F]=-2F, \qquad [E,F]=H. \end{align*} The distinguished central element $$ Λ=EF+FE+\frac{H^2}{2} $$ is called the Casimir element of $U(\mathfrak{sl}_2)$. The universal Hahn algebra $\mathcal H$ is a unital associative algebra over $\mathbb C$ with generators $A,B,C$ and the relations assert that $[A,B]=C$ and each of \begin{align*} α=[C,A]+2A^2+B, \qquad β=[B,C]+4BA+2C \end{align*} is central in $\mathcal H$. The distinguished central element $$ Ω=4ABA+B^2-C^2-2βA+2(1-α)B $$ is called the Casimir element of $\mathcal H$. By investigating the relationship between the Terwilliger algebras of the hypercube and its halved graph, we discover the algebra homomorphism $\natural:\mathcal H\rightarrow U(\mathfrak{sl}_2)$ that sends \begin{eqnarray*} A &\mapsto & \frac{H}{4}, \\ B & \mapsto & \frac{E^2+F^2+Λ-1}{4}-\frac{H^2}{8}, \\ C & \mapsto & \frac{E^2-F^2}{4}. \end{eqnarray*} We determine the image of $\natural$ and show that the kernel of $\natural$ is the two-sided ideal of $\mathcal H$ generated by $β$ and $16 Ω-24 α+3$. By pulling back via $\natural$ each $U(\mathfrak{sl}_2)$-module can be regarded as an $\mathcal H$-module. For each integer $n\geq 0$ there exists a unique $(n+1)$-dimensional irreducible $U(\mathfrak{sl}_2)$-module $L_n$ up to isomorphism. We show that the $\mathcal H$-module $L_n$ ($n\geq 1$) is a direct sum of two non-isomorphic irreducible $\mathcal H$-modules.
Counting conjugacy classes of elements of finite order in exceptional Lie groups
Published in Combinatorial Theory, 4(1) (2024)
• View Publication
• BIB
This paper continues the study of two numbers that are associated with Lie groups. The first number is $N(G,m)$, the number of conjugacy classes of elements in $G$ whose order divides $m$. The second number is $N(G,m,s)$, the number of conjugacy classes of elements in $G$ whose order divides $m$ and which have $s$ distinct eigenvalues, where we view $G$ as a matrix group in its smallest-degree faithful representation. We describe systematic algorithms for computing both numbers for $G$ a connected and simply-connected exceptional Lie group. We also provide explicit results for all of $N(G,m)$, $N(G_2,m,s)$, and $N(F_4,m,s)$. The numbers $N(G,m,s)$ were previously known only for the classical Lie groups; our results for $N(G,m)$ agree with those already in the literature but are obtained differently.
Antipode formulas for pattern Hopf algebras
The permutation pattern Hopf algebra is a commutative filtered and connected Hopf algebra. Its product structure stems from counting patterns of a permutation, interpreting the coefficients as permutation quasi-shuffles. The Hopf algebra was shown to be a free commutative algebra and to fit into a general framework of pattern Hopf algebras, via species with restrictions.
In this paper we introduce the cancellation-free and grouping-free formula for the antipode of the permutation pattern Hopf algebra. To obtain this formula, we use the popular sign-reversing involution method, by Benedetti and Sagan. This formula has applications on polynomial invariants on permutations, in particular for obtaining reciprocity theorems. On our way, we also introduce the packed word patterns Hopf algebra and present a formula for its antipode.
Other pattern algebras are discussed here, notably on parking functions, which recovers notions recently studied by Adeniran and Pudwell, and by Qiu and Remmel.
Symmetric and Nonsymmetric Macdonald Polynomials via a Path Model with a Pseudo-crystal Structure
Published
• View Publication
• BIB
In this paper we derive a counterpart of the well-known Ram-Yip formula for symmetric and nonsymmetric Macdonald polynomials of arbitrary type. Our new formula is in terms of a generalization of the Lakshmibai-Seshadri paths (originating in standard monomial theory), which we call pseudo-quantum Lakshmibai-Seshadri (LS) paths. This model carries less information than the alcove walks in the Ram-Yip formula, and it is therefore more efficient. Furthermore, we construct a connected pseudo-crystal structure on the pseudo-quantum LS paths, which is expected to lead to a simple Littlewood-Richardson rule for multiplying Macdonald polynomials. By contrast with the Kashiwara crystals, our pseudo-crystals have edges labeled by arbitrary roots.
Inapproximability of shortest paths on perfect matching polytopes
Published
• View Publication
• BIB
We consider the computational problem of finding short paths in the skeleton of the perfect matching polytope of a bipartite graph. We prove that unless $P=NP$, there is no polynomial-time algorithm that computes a path of constant length between two vertices at distance two of the perfect matching polytope of a bipartite graph. Conditioned on $P\neq NP$, this disproves a conjecture by Ito, Kakimura, Kamiyama, Kobayashi and Okamoto [SIAM Journal on Discrete Mathematics, 36(2), pp. 1102-1123 (2022)]. Assuming the Exponential Time Hypothesis we prove the stronger result that there exists no polynomial-time algorithm computing a path of length at most $\left(\frac{1}{4}-o(1)\right)\frac{\log N}{\log \log N}$ between two vertices at distance two of the perfect matching polytope of an $N$-vertex bipartite graph. These results remain true if the bipartite graph is restricted to be of maximum degree three. The above has the following interesting implication for the performance of pivot rules for the simplex algorithm on simply-structured combinatorial polytopes: If $P\neq NP$, then for every simplex pivot rule executable in polynomial time and every constant $k \in \mathbb{N}$ there exists a linear program on a perfect matching polytope and a starting vertex of the polytope such that the optimal solution can be reached in two monotone steps from the starting vertex, yet the pivot rule will require at least $k$ steps to reach the optimal solution. This result remains true in the more general setting of pivot rules for so-called circuit-augmentation algorithms.
Highly unbreakable graph with a fixed excluded minor are almost rigid
A set $X \subseteq V(G)$ in a graph $G$ is $(q,k)$-unbreakable if every separation $(A,B)$ of order at most $k$ in $G$ satisfies $|A \cap X| \leq q$ or $|B \cap X| \leq q$. In this paper, we prove the following result: If a graph $G$ excludes a fixed complete graph $K_h$ as a minor and satisfies certain unbreakability guarantees, then $G$ is almost rigid in the following sense: the vertices of $G$ can be partitioned in an isomorphism-invariant way into a part inducing a graph of bounded treewidth and a part that admits a small isomorphism-invariant family of labelings. This result is the key ingredient in the fixed-parameter algorithm for Graph Isomorphism parameterized by the Hadwiger number of the graph, which is presented in a companion paper.
Conjectures on the reduced Kronecker coefficients
We formulate a series of conjectures on the stable tensor product of irreducible representations of symmetric groups, which are closely related to the reduced Kronecker coefficients. These conjectures are certain generalizations of Okounkov's conjecture on the log-concavity of the Littlewood--Richardson coefficients and the Schur log-concavity theorem of Lam--Postnikov--Pylyavskyy. We prove our conjectures in some special cases and discuss some implications of these conjectures.
On the epidemic threshold of a network
Published
• View Publication
• BIB
The graph invariant examined in this paper is the largest eigenvalue of the adjacency matrix of a graph. Previous work demonstrates the tight relationship between this invariant, the birth and death rate of a contagion spreading on the graph, and the trajectory of the contagion over time. We begin by conducting a simulation confirming this and explore bounds on the birth and death rate in terms of well-known graph invariants. As a result, the change in the largest eigenvalue resulting from removal of a vertex in the network is the best measure of effectiveness of interventions that slow the spread of a contagion. We define the spread centrality of a vertex $v$ in a graph $G$ as the difference between the largest eigenvalues of $G$ and $G-v$. While the spread centrality is a distinct centrality measure and serves as another graph invariant for distinguishing graphs, we found experimental evidence that vertices ranked by the spread centrality and those ranked by eigenvector centrality are strongly correlated. Since eigenvector centrality is easier to compute than the spread centrality, this justifies using eigenvector centrality as a measure of spread, especially in large networks with unknown portions. We also examine two strategies for selecting members of a population to vaccinate.
Cyclic descents, matchings and Schur-positivity
Published
• View Publication
• BIB
A new descent set statistic on involutions, defined geometrically via their interpretation as matchings, is introduced in this paper, and shown to be equi-distributed with the standard one. This concept is then applied to construct explicit cyclic descent extensions on involutions, standard Young tableaux and Motzkin paths. Schur-positivity of the associated quasisymmetric functions follows.
Row-Factorization Matrices in Arf Numerical Semigroups and Defining Ideals
Published
• View Publication
• BIB
In this paper, we investigate the row-factorization matrices of Arf numerical semigroups, and we provide the full list of such matrices of certain Arf numerical semigroups. We use the information of row-factorization matrices to detect the generic nature and to find generators of the defining ideals.