Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Configurations related to combinatorial Veronesians representing a skew perspective
A combinatorial object representing schemas of, possibly skew, perspectives, called {\em a configuration of skew perspective} has been defined in \cite{klik:binom}, \cite{maszko}. Here we develop the theory of configurations generalizing perspectives defined in combinatorial Veronesians. The complete classification of thus obtained $({15}_4 {20}_3)$-configurations is presented.
Holonomy Lie algebra of a geometric lattice
Motivated by Kohno's result on the holonomy Lie algebra of a hyperplane arrangement, we define the holonomy Lie algebra of a finite geometric lattice in a combinatorial way. For a solvable pair of lattices, we show that the holonomy Lie algebra is an almost-direct product of the holonomy Lie algebra of the sublattice and a free Lie subalgebra. This yields the structure of the holonomy Lie algebra of a finite hypersolvable (including supersolvable) lattice. As applications, we obtain the structure of the holonomy Lie algebra of (the Salvetti complex of) a supersolvable oriented matroid, and that of a hypersolvable arrangement.
Flag-transitive block designs and finite exceptional simple groups of Lie type
Published
• View Publication
• BIB
In this article, we study $2$-designs with $\gcd(r,λ)=1$ admitting a flag-transitive almost simple automorphism group with socle a finite simple exceptional group of Lie type. We obtain four infinite families of such designs and provide some examples in each of these families.
A framework of constructing placement delivery arrays for centralized coded caching
Published
• View Publication
• BIB
In caching system, it is desirable to design a coded caching scheme with the transmission load $R$ and subpacketization $F$ as small as possible, in order to improve efficiency of transmission in the peak traffic times and to decrease implementation complexity. Yan et al. reformulated the centralized coded caching scheme as designing a corresponding $F\times K$ array called placement delivery array (PDA), where $F$ is the subpacketization and $K$ is the number of users. Motivated by several constructions of PDAs, we introduce a framework for constructing PDAs, where each row is indexed by a row vector of some matrix called row index matrix and each column's index is labelled by an element of a direct product set. Using this framework, a new scheme is obtained, which can be regarded as a generalization of some previously known schemes. When $K$ is equal to ${m\choose t}q^t$ for positive integers $m$, $t$ with $t<m$ and $q\geq 2$, we show that the row index matrix must be an orthogonal array if all the users have the same memory size. Furthermore, the row index matrix must be a covering array if the coded gain is ${m\choose t}$, which is the maximal coded gain under our framework. Consequently the lower bounds on the transmission load and subpacketization of the schemes are derived under our framework. Finally, using orthogonal arrays as the row index matrix, we obtain two more explicit classes of schemes which have significantly advantages on the subpacketization while the transmission load is equal or close to that of the schemes constructed by Shangguan et al. (IEEE Trans. Inf. Theory, 64, 5755-5766, 2018) for the same number of users and memory size.
Multiset Dimensions of Trees
Let $G$ be a connected graph and $W$ be a set of vertices of $G$. The representation multiset of a vertex $v$ with respect to $W$, $r_m (v|W)$, is defined as a multiset of distances between $v$ and the vertices in $W$. If $r_m (u |W) \neq r_m(v|W)$ for every pair of distinct vertices $u$ and $v$, then $W$ is called an m-resolving set of $G$. If $G$ has an m-resolving set, then the cardinality of a smallest m-resolving set is called the multiset dimension of $G$, denoted by $md(G)$; otherwise, we say that $md(G) = \infty$.
In this paper, we show that for a tree $T$ of diameter at least 2, if $md(T) < \infty$, then $md(T) \leq n-2$. We conjecture that this bound is not sharp in general and propose a sharp upper bound. We shall also provide necessary and sufficient conditions for caterpillars and lobsters having finite multiset dimension. Our results partially settled a conjecture and an open problem proposed in [4].
Sum-Essential Graphs of Modules
Published
• View Publication
• BIB
The sum-essential graph $ \mathcal{S}_R(M) $ of a left $R$-module $M$ is a graph whose vertices are all nontrivial submodules of $M$ and two distinct submodules are adjacent iff their sum is an essential submodule of $M$. Properties of the graph $\mathcal{S}_R(M)$ and its subgraph $\mathcal{P}_R(M)$ induced by vertices which are not essential as submodules of $M$ are investigated. The interplay between module properties of $M$ and properties of those graphs is studied.
LaserTank is NP-complete
Published in Mathematical Aspects of Computer and Information Sciences (2020)
• View Publication
• BIB
We show that the classical game LaserTank is $\mathrm{NP}$-complete, even when the tank movement is restricted to a single column and the only blocks appearing on the board are mirrors and solid blocks. We show this by reducing $3$-SAT instances to LaserTank puzzles.
Turán Problems for Vertex-disjoint Cliques in Multi-partite Hypergraphs
Published in Discrete Mathematics, 2020
• View Publication
• BIB
For two $s$-uniform hypergraphs $H$ and $F$, the Turán number $ex_s(H,F)$ is the maximum number of edges in an $F$-free subgraph of $H$. Let $s, r, k, n_1, \ldots, n_r$ be integers satisfying $2\leq s\leq r$ and $n_1\leq n_2\leq \cdots\leq n_r$. De Silva, Heysse and Young determined $ex_2(K_{n_1, \ldots, n_r}, kK_2)$ and De Silva, Heysse, Kapilow, Schenfisch and Young determined $ex_2(K_{n_1, \ldots, n_r},kK_r)$. In this paper, as a generalization of these results, we consider three Turán-type problems for $k$ disjoint cliques in $r$-partite $s$-uniform hypergraphs. First, we consider a multi-partite version of the Erdős matching conjecture and determine $ex_s(K_{n_1, \ldots, n_r}^{(s)},kK_s^{(s)})$ for $n_1\geq s^3k^2+sr$. Then, using a probabilistic argument, we determine $ex_s(K_{n_1, \ldots, n_r}^{(s)},kK_r^{(s)})$ for all $n_1\geq k$. Recently, Alon and Shikhelman determined asymptotically, for all $F$, the generalized Turán number $ex_2(K_n,K_s,F)$, which is the maximum number of copies of $K_s$ in an $F$-free graph on $n$ vertices. Here we determine $ex_2(K_{n_1, \ldots, n_r}, K_s, kK_r)$ with $n_1\geq k$ and $n_3=\cdots=n_r$. Utilizing a result on rainbow matchings due to Glebov, Sudakov and Szabó, we determine $ex_2(K_{n_1, \ldots, n_r}, K_s, kK_r)$ for all $n_1, \ldots, n_r$ with $n_4\geq r^r(k-1)k^{2r-2}$.
Higher Connectivity of Tropicalizations
Published
• View Publication
• BIB
We show that the tropicalization of an irreducible d-dimensional variety over a field of characteristic 0 is (d-l)-connected through codimension one, where l is the dimension of the lineality space of the tropicalization. From this we obtain a higher connectivity result for skeleta of rational polytopes. We also prove a tropical analogue of the Bertini Theorem: the intersection of the tropicalization of an irreducible variety with a generic hyperplane is again the tropicalization of an irreducible variety.
A finitary structure theorem for vertex-transitive graphs of polynomial growth
Published
• View Publication
• BIB
We prove a quantitative, finitary version of Trofimov's result that a connected, locally finite vertex-transitive graph G of polynomial growth admits a quotient with finite fibres on which the action of Aut(G) is virtually nilpotent with finite vertex stabilisers. We also present some applications. We show that a finite, connected vertex-transitive graph G of large diameter admits a quotient with fibres of small diameter on which the action of Aut(G) is virtually abelian with vertex stabilisers of bounded size. We also show that G has moderate growth in the sense of Diaconis and Saloff-Coste, which is known to imply that the mixing and relaxation times of the lazy random walk on G are quadratic in the diameter. These results extend results of Breuillard and the second author for finite Cayley graphs of large diameter. Finally, given a connected, locally finite vertex-transitive graph G exhibiting polynomial growth at a single, sufficiently large scale, we describe its growth at subsequent scales, extending a result of Tao and an earlier result of our own for Cayley graphs. In forthcoming work we will give further applications.
Minimum Coprime Labelings of Generalized Petersen and Prism Graphs
A coprime labeling of a graph of order $n$ is an assignment of distinct positive integer labels in which adjacent vertices have relatively prime labels. Restricting labels to only the set $1$ to $n$ results in a prime labeling. In this paper, we consider families of graphs in which a prime labeling cannot exist with the goal being to minimize the largest value of the labeling set, resulting in a minimum coprime labeling. In particular, prism graphs, generalized Petersen graphs with $k=2$, and stacked prism graphs are investigated for minimum coprime labelings.
Lower bounds in the polynomial Szemerédi theorem
We construct large subsets of the first $N$ positive integers which avoid certain arithmetic configurations. In particular, we construct a set of order $N^{0.7685}$ lacking the configuration $\{x,x+y,x+y^2\},$ surpassing the $N^{3/4}$ limit of Ruzsa's construction for sets lacking a square difference. We also extend Ruzsa's construction to sets lacking polynomial differences for a wide class of univariate polynomials. Finally, we turn to multivariate differences, constructing a set of order $N^{1/2}$ lacking a difference equal to a sum of two squares. This is in contrast to the analogous problem of sets lacking a difference equal to a prime minus one, where the current record is of order $N^{o(1)}.$
Antimagic orientations of graphs with large maximum degree
Published
• View Publication
• BIB
Given a digraph $D$ with $m $ arcs, a bijection $τ: A(D)\rightarrow \{1, 2, \ldots, m\}$ is an antimagic labeling of $D$ if no two vertices in $D$ have the same vertex-sum, where the vertex-sum of a vertex $u $ in $D$ under $τ$ is the sum of labels of all arcs entering $u$ minus the sum of labels of all arcs leaving $u$. We say $(D, τ)$ is an antimagic orientation of a graph $G$ if $D$ is an orientation of $G$ and $τ$ is an antimagic labeling of $D$. Motivated by the conjecture of Hartsfield and Ringel from 1990 on antimagic labelings of graphs, Hefetz, Mütze, and Schwartz in 2010 initiated the study of antimagic orientations of graphs, and conjectured that every connected graph admits an antimagic orientation. This conjecture seems hard, and few related results are known. However, it has been verified to be true for regular graphs and biregular bipartite graphs. In this paper, we prove that every connected graph $G$ on $n\ge9$ vertices with maximum degree at least $n-5$ admits an antimagic orientation.
On $(t,r)$ broadcast domination of certain grid graphs
Published in Involve 16 (2023) 883-903
• View Publication
• BIB
Let $G=( V(G), E(G) )$ be a connected graph with vertex set $V(G)$ and edge set $E(G)$. We say a subset $D$ of $V(G)$ dominates $G$ if every vertex in $V \setminus D$ is adjacent to a vertex in $D$. A generalization of this concept is $(t,r)$ broadcast domination. We designate certain vertices to be towers of signal strength $t$, which send out signal to neighboring vertices with signal strength decaying linearly as the signal traverses the edges of the graph. We let $\mathbb{T}$ be the set of all towers, and we define the signal received by a vertex $v\in V(G)$ from a tower $w \in \mathbb T$ to be $f(v)=\sum_{w\in \mathbb{T}}max(0,t-d(v,w))$. Blessing, Insko, Johnson, Mauretour (2014) defined a $(t,r)$ broadcast dominating set, or a $(t,r) $ broadcast, on $G$ as a set $\mathbb{T} \subseteq V(G) $ such that $f(v)\geq r$ for all $v\in V(G)$. The minimal cardinality of a $(t, r)$ broadcast on $G$ is called the $(t, r)$ broadcast domination number of $G$. In this paper, we present our research on the $(t,r)$ broadcast domination number for certain graphs including paths, grid graphs, the slant lattice, and the king's lattice.
The Price of Connectivity in Fair Division
Published in SIAM Journal on Discrete Mathematics, 36(2):1156-1186 (2022)
• View Publication
• BIB
We study the allocation of indivisible goods that form an undirected graph and quantify the loss of fairness when we impose a constraint that each agent must receive a connected subgraph. Our focus is on well-studied fairness notions including envy-freeness and maximin share fairness. We introduce the price of connectivity to capture the largest gap between the graph-specific and the unconstrained maximin share, and derive bounds on this quantity which are tight for large classes of graphs in the case of two agents and for paths and stars in the general case. For instance, with two agents we show that for biconnected graphs it is possible to obtain at least $3/4$ of the maximin share with connected allocations, while for the remaining graphs the guarantee is at most $1/2$. In addition, we determine the optimal relaxation of envy-freeness that can be obtained with each graph for two agents, and characterize the set of trees and complete bipartite graphs that always admit an allocation satisfying envy-freeness up to one good (EF1) for three agents. Our work demonstrates several applications of graph-theoretic tools and concepts to fair division problems.
The Jordan-Hölder property and Grothendieck monoids of exact categories
Published in Adv. Math. 396 (2022), Paper No. 108167
• View Publication
• BIB
We investigate the Jordan-Hölder property (JHP) in exact categories. First, we show that (JHP) holds in an exact category if and only if the Grothendieck monoid introduced by Berenstein and Greenstein is free. Moreover, we give a criterion for this which only uses the Grothendieck group and the number of simple objects. Next, we apply these results to the representation theory of artin algebras. For a large class of exact categories including functorially finite torsion(-free) classes, (JHP) holds precisely when the number of indecomposable projectives is equal to that of simples. We study torsion-free classes in a quiver of type A in detail using the combinatorics of symmetric groups. We introduce Bruhat inversions of permutations and show that simples in a torsion-free class are in bijection with Bruhat inversions of the corresponding $c$-sortable element. We use this to give a combinatorial criterion for (JHP).
Planar cubic graphs of small diameter
Cubic planar $n$-vertex graphs with faces of length at most $6$, e.g., fullerene graphs, have diameter in $Ω(\sqrt{n})$. It has been suspected, that a similar result can be shown for cubic planar graphs with faces of bounded length. This note provides a family of cubic planar $n$-vertex graphs with faces of length at most $7$ and diameter in ${O}(\log n)$, thus refuting the above suspicion.
Dessins d'enfants and Brauer configuration algebras
In this paper we associate to a dessin d'enfant an associative algebra, called a Brauer configuration algebra. This is an algebra given by quiver and relations induced by the monodromy of the dessin d'enfant. We show that the dimension of the Brauer configuration algebra associated to a dessin d'enfant and the dimension of the centre this algebra are invariant under the action of the absolute Galois group. We give some examples of well-known algebras and their dessins d'enfants. Finally we show that the Brauer configuration algebras of a dessin d'enfant and its dual share the same path algebra.
Edge rings of bipartite graphs with linear resolutions
Published in Journal of Algebra and its Applications 20 (2021), 2150163
• View Publication
• BIB
Ohsugi and Hibi characterized the edge ring of a finite connected simple graph with a $2$-linear resolution. On the other hand, Hibi, Matsuda and the author conjectured that the edge ring of a finite connected simple graph with a $q$-linear resolution, where $q \geq 3$, is a hypersurface and proved the case $q=3$. In the present paper, we solve this conjecture for the case of finite connected simple bipartite graphs.
A sharp threshold phenomenon in string graphs
Published
• View Publication
• BIB
We prove that for every $ε>0$ there exists $δ>0$ such that the following holds. Let $\mathcal{C}$ be a collection of $n$ curves in the plane such that there are at most $(\frac{1}{4}-ε)\frac{n^{2}}{2}$ pairs of curves $\{α,β\}$ in $\mathcal{C}$ having a nonempty intersection. Then $\mathcal{C}$ contains two disjoint subsets $\mathcal{A}$ and $\mathcal{B}$ such that $|\mathcal{A}|=|\mathcal{B}|\geq δn$, and every $α\in \mathcal{A}$ is disjoint from every $β\in\mathcal{B}$. On the other hand, for every positive integer $n$ there exists a collection $\mathcal{C}$ of $n$ curves in the plane such that there at most $(\frac{1}{4}+ε)\frac{n^{2}}{2}$ pairs of curves $\{α,β\}$ having a nonempty intersection, but if $\mathcal{A},\mathcal{B}\subset \mathcal{C}$ are such that $|\mathcal{A}|=|\mathcal{B}|$ and $α\cap β=\emptyset$ for every $(α,β)\in \mathcal{A}\times\mathcal{B}$, then $|\mathcal{A}|=|\mathcal{B}|=O(\frac{1}ε\log n)$.