Showing 20 papers (Total: 83657 papers, 48289 authors in database)
The classification of homomorphism homogeneous oriented graphs
Published
• View Publication
• BIB
The modern theory of homogeneous structures begins with the work of Roland Fraïssé. The theory developed in the last seventy years is placed in the border area between combinatorics, model theory, algebra, and analysis. We turn our attention to its combinatorial pillar, namely, the work on the classification of structures for given homogeneity types, and focus onto the homomorphism homogeneous ones, introduced in 2006 by Cameron and Nešetřil. An oriented graph is called homomorphism homogeneous if every homomorphism between finite induced subgraphs extends to an endomorphism. In this paper we present a complete classification of the countable homomorphism homogeneous oriented graphs.
On $(r,c)$-constant, planar and circulant graphs
Published
• View Publication
• BIB
This paper concerns $(r,c)$-constant graphs, which are $r$-regular graphs in which the subgraph induced by the open neighbourhood of every vertex has precisely $c$ edges. The family of $(r,c)$-graphs contains vertex-transitive graphs (and in particular Cayley graphs), graphs with constant link (sometimes called locally isomorphic graphs), $(r,b)$-regular graphs, strongly regular graphs, and much more.
This family was recently introduced in [arXiv:2312.08777] serving as important tool in constructing flip graphs [arXiv:2312.08777, arXiv:2401.02315].
In this paper we shall mainly deal with the following:
i. Existence and non-existence of $(r, c)$-planar graphs. We completely determine the cases of existence and non-existence of such graphs and supply the smallest order in the case when they exist.
ii. We consider the existence of $(r, c)$-circulant graphs. We prove that for $c \equiv 2 \ (\mathrm{mod} \ 3)$ no $(r,c)$-circulant graph exists and that for $c \equiv 0, 1 \ (\mathrm{mod} \ 3)$, $c > 0$ and $r \geq 6 + \sqrt{\frac{8c - 5}{3}}$ there exists $(r,c)$-circulant graphs. Moreover for $c = 0$ and $r \geq 1$, $(r, 0)$-circulants exist.
iii. We consider the existence and non-existence of small $(r,c)$-constant graphs, supplying a complete table of the smallest order of graphs we found for $0 \leq c \leq \binom{r}{2}$ and $r \leq 6$. We shall also determine all the cases in this range for which $(r,c)$-constant graphs don't exist. We establish a public database of $(r,c)$-constant graphs for varying $r$, $c$ and order.
A Relationship for LYM Inequalities between Boolean Lattices and Linear Lattices with Applications
Published
• View Publication
• BIB
Sperner theory is one of the most important branches in extremal set theory. It has many applications in the field of operation research, computer science, hypergraph theory and so on. The LYM property has become an important tool for studying Sperner property. In this paper, we provide a general relationship for LYM inequalities between Boolean lattices and linear lattices. As applications, we use this relationship to derive generalizations of some well-known theorems on maximum sizes of families containing no copy of certain poset or certain configuration from Boolean lattices to linear lattices, including generalizations of the well-known Kleitman theorem on families containing no $s$ pairwise disjoint members (a non-uniform variant of the famous Erdős matching conjecture) and Johnston-Lu-Milans theorem and Polymath theorem on families containing no $d$-dimensional Boolean algebras.
On the $(k+2,k)$-problem of Brown, Erdős and Sós for $k=5,6,7$
Published
• View Publication
• BIB
Let $f^{(r)}(n;s,k)$ denote the maximum number of edges in an $n$-vertex $r$-uniform hypergraph containing no subgraph with $k$ edges and at most $s$ vertices. Brown, Erdős and Sós [New directions in the theory of graphs (Proc. Third Ann Arbor Conf., Univ. Michigan 1971), pp. 53--63, Academic Press 1973] conjectured that the limit $\lim_{n\rightarrow \infty}n^{-2}f^{(3)}(n;k+2,k)$ exists for all $k$. The value of the limit was previously determined for $k=2$ in the original paper of Brown, Erdős and Sós, for $k=3$ by Glock [Bull. Lond. Math. Soc. 51 (2019) 230--236] and for $k=4$ by Glock, Joos, Kim, Kühn, Lichev and Pikhurko [Proc. Amer. Math. Soc., Series B, 11 (2024) 173-186] while Delcourt and Postle [Proc. Amer. Math. Soc., 152 (2024), 1881-1891] proved the conjecture (without determining the limiting value).
In this paper, we determine the value of the limit in the Brown-Erdős-Sós Problem for $k\in \{5,6,7\}$. More generally, we obtain the value of $\lim_{n\rightarrow \infty}n^{-2}f^{(r)}(n;rk-2k+2,k)$ for all $r\geq 3$ and $k\in \{5,6,7\}$. In addition, by combining these new values with recent results of Bennett, Cushman and Dudek [arXiv:2309.00182] we obtain new asymptotic values for several generalised Ramsey numbers.
High order congruences for $M$-ary partitions
For a sequence $M=(m_{i})_{i=0}^{\infty}$ of integers such that $m_{0}=1$, $m_{i}\geq 2$ for $i\geq 1$, let $p_{M}(n)$ denote the number of partitions of $n$ into parts of the form $m_{0}m_{1}\cdots m_{r}$. In this paper we show that for every positive integer $n$ the following congruence is true: \begin{align*} p_{M}(m_{1}m_{2}\cdots m_{r}n-1)\equiv 0\ \ \left({\rm mod}\ \prod_{t=2}^{r}\mathcal{M}(m_{t},t-1)\right), \end{align*} where $\mathcal{M}(m,r):=\frac{m}{\gcd\big(m,{\rm lcm} (1,\ldots ,r)\big)}$.
Our result answers a conjecture posed by Folsom, Homma, Ryu and Tong, and is a generalisation of the congruence relations for $m$-ary partitions found by Andrews, Gupta, and Rødseth and Sellers.
Local limits of random bipartite maps in high genus: the general case
Published
• View Publication
• BIB
We prove the local convergence of uniform bipartite maps with prescribed face degrees in the high genus regime. Unlike in the previous work arxiv:2012.05813 on the subject, we do not make any assumption on the tail of the face degrees, except that they remain finite in the limit.
Quandle Coloring Quivers of general Torus links by dihedral quandles
Published
• View Publication
• BIB
We completely characterize the coloring quivers of general torus links by dihedral quandles by first exhausting all possible numbers of colorings, followed by determining the interconnections between colorings in each case. The quiver is obtained as function of the number of colorings. The quiver always contains complete subgraphs, in particular a complete subgraph corresponding to the trivial colorings, but the total number of subgraphs in the quiver and the weights of their edges varies depending on the number of colorings.
$q$-analogues of Wilf-Zeilberger seeds and Ramanujan $1/π^k$-formulas
Published
• View Publication
• BIB
We develop the notion of Wilf-Zeilberger seeds as a powerful framework for generating WZ-pairs and for lifting classical hypergeometric identities to the $q$-setting. As an application, we systematically obtain a large family of $q$-analogues of Ramanujan-type $1/π^k$ formulas, extending a literature previously limited to sporadic examples. While the majority of these $q$-analogues are modular, we also uncover several curious instances of mock modularity.
A generalization of quantum Lakshmibai-Seshadri paths for arbitrary weights
Published
• View Publication
• BIB
We construct an injective weight-preserving map (called the forgetful map) from the set of all admissible subsets in the quantum alcove model associated to an arbitrary weight. The image of this forgetful map can be explicitly described by introducing the notion of "interpolated quantum Lakshmibai-Seshadri (QLS for short) paths", which can be thought of as a generalization of quantum Lakshmibai-Seshadri paths. As an application, we reformulate, in terms of interpolated QLS paths, an identity of Chevalley type for the graded characters of Demazure submodules of a level-zero extremal weight module over a quantum affine algebra, which is a representation-theoretic analog of the Chevalley formula for the torus-equivariant $K$-group of a semi-infinite flag manifold.
Bijections between colored compositions, Dyck paths, and polygon partitions
Published in J. Integer Seq. 27 (2024), no. 1, Article 24.5.2
• Search Publication
In this paper, we give part-preserving bijections between three fundamental families of objects that serve as natural framework for many problems in enumerative combinatorics. Specifically, we consider compositions, Dyck paths, and partitions of a convex polygon, and identify suitable building blocks that are then appropriately decorated to achieve matching cardinalities. Our bijections are constructive and apply for the general case where the building blocks are allowed to come in different colors.
Algorithms and complexity for path covers of temporal DAGs: when is Dilworth dynamic?
In this paper, we study a dynamic analogue of the Path Cover problem, which can be solved in polynomial-time in directed acyclic graphs. A temporal digraph has an arc set that changes over discrete time-steps, if the underlying digraph (the union of all the arc sets) is acyclic, then we have a temporal DAG. A temporal path is a directed path in the underlying digraph, such that the time-steps of arcs are strictly increasing along the path. Two temporal paths are temporally disjoint if they do not occupy any vertex at the same time. A temporal (resp. temporally disjoint) path cover is a collection of (resp. temporally disjoint) temporal paths that covers all vertices. In this paper, we study the computational complexities of the problems of finding a temporal (disjoint) path cover with minimum cardinality, denoted as Temporal Path Cover (TPC) and Temporally Disjoint Path Cover (TD-PC). We show that both problems are NP-hard even when the underlying DAG is planar, bipartite, subcubic, and there are only two arc-disjoint time-steps. Moreover, TD-PC remains NP-hard even on temporal oriented trees. In contrast, we show that TPC is polynomial-time solvable on temporal oriented trees by a reduction to Clique Cover for (static undirected) weakly chordal graphs (a subclass of perfect graphs for which Clique Cover admits an efficient algorithm). This highlights an interesting algorithmic difference between the two problems. Although it is NP-hard on temporal oriented trees, TD-PC becomes polynomial-time solvable on temporal oriented lines and temporal rooted directed trees. We also show that TPC (resp. TD-PC) admits an XP (resp. FPT) time algorithm with respect to parameter tmax + tw, where tmax is the maximum time-step, and tw is the treewidth of the underlying static undirected graph.
Scalar extensions of quiver representations over $\mathbb{F}_1$
Published
• View Publication
• BIB
Let $V$ and $W$ be quiver representations over $\mathbb{F}_1$ and let $K$ be a field. The scalar extensions $V^K$ and $W^K$ are quiver representations over $K$ with a distinguished, very well-behaved basis. We construct a basis of $\mathrm{Hom}_{KQ}(V^K,W^K)$ generalising the well-known basis of the morphism spaces between string and tree modules. We use this basis to give a combinatorial characterisation of absolutely indecomposable representations. Furthermore, we show that indecomposable representations with finite nice length are absolutely indecomposable. This answers a question of Jun and Sistko.
Wondertopes
Published
• View Publication
• BIB
Positive geometries were introduced by Arkani-Hamed--Bai--Lam as a method of computing scattering amplitudes in theoretical physics. We show that a positive geometry from a polytope admits a log resolution of singularities to another positive geometry. Our result states that the regions in a wonderful compactification of a hyperplane arrangement complement, which we call wondertopes, are positive geometries. A familiar wondertope is the curvy associahedron, which tiles the moduli space of pointed stable rational curves. Thus our work generalizes the known positive geometry structure on this moduli space.
On $[1,2]$-Domination in Interval and Circle Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Discrete Algorithms (November 15, 2024) dmtcs:13194
• View Publication
• BIB
A subset $S$ of vertices in a graph $G=(V, E)$ is a Dominating Set if each vertex in $V(G)\setminus S$ is adjacent to at least one vertex in $S$. Chellali et al. in 2013, by restricting the number of neighbors in $S$ of a vertex outside $S$, introduced the concept of $[1,j]$-dominating set. A set $D \subseteq V$ of a graph $G = (V, E)$ is called a $[1,j]$-Dominating Set of $G$ if every vertex not in $D$ has at least one neighbor and at most $j$ neighbors in $D$. The Minimum $[1,j]$-Domination problem is the problem of finding the minimum $[1,j]$-dominating set $D$. Given a positive integer $k$ and a graph $G = (V, E)$, the $[1,j]$-Domination Decision problem is to decide whether $G$ has a $[1,j]$-dominating set of cardinality at most $k$. A polynomial-time algorithm was obtained in split graphs for a constant $j$ in contrast to the Dominating Set problem which is NP-hard for split graphs. This result motivates us to investigate the effect of restriction $j$ on the complexity of $[1,j]$-domination problem on various classes of graphs. Although for $j\geq 3$, it has been proved that the minimum of classical domination is equal to minimum $[1,j]$-domination in interval graphs, the complexity of finding the minimum $[1,2]$-domination in interval graphs is still outstanding. In this paper, we propose a polynomial-time algorithm for computing a minimum $[1,2]$-dominating set on interval graphs by a dynamic programming technique. Next, on the negative side, we show that the minimum $[1,2]$-dominating set problem on circle graphs is $NP$-complete.
Tight general bounds for the extremal numbers of 0-1 matrices
Published
• View Publication
• BIB
A zero-one matrix $M$ is said to contain another zero-one matrix $A$ if we can delete some rows and columns of $M$ and replace some $1$-entries with $0$-entries such that the resulting matrix is $A$. The extremal number of $A$, denoted $\operatorname{ex}(n,A)$, is the maximum number of $1$-entries that an $n\times n$ zero-one matrix can have without containing $A$. The systematic study of this function for various patterns $A$ goes back to the work of Füredi and Hajnal from 1992, and the field has many connections to other areas of mathematics and theoretical computer science. The problem has been particularly extensively studied for so-called acyclic matrices, but very little is known about the general case (that is, the case where $A$ is not necessarily acyclic). We prove the first asymptotically tight general result by showing that if $A$ has at most $t$ $1$-entries in every row, then $\operatorname{ex}(n,A)\leq n^{2-1/t+o(1)}$. This verifies a conjecture of Methuku and Tomon.
Our result also provides the first tight general bound for the extremal number of vertex-ordered graphs with interval chromatic number $2$, generalizing a celebrated result of Füredi, and Alon, Krivelevich and Sudakov about the (unordered) extremal number of bipartite graphs with maximum degree $t$ in one of the vertex classes.
Chebyshev polynomials, their remarkable properties and connection with Catalan numbers
The main result of the article says that the formal power series equal to the ratio of two neighboring Chebyshev polynomials, after some renormalization, approximates the generating function of the Catalan numbers. We present a proof of this result using continued fractions. Also, for completeness of the presentation, we recall the basic properties of Chebyshev polynomials and formal power series that we use.
Exponential Lower Bounds for Many Pivot Rules for the Simplex Method
Published
• View Publication
• BIB
The existence of a pivot rule for the simplex method that guarantees a strongly polynomial run-time is a longstanding, fundamental open problem in the theory of linear programming. The leading pivot rule in theory is the shadow pivot rule, which solves a linear program by projecting the feasible region onto a polygon. It has been shown to perform in expected strongly polynomial time on uniformly random instances and in smoothed analysis. In practice, the pivot rule of choice is the steepest edge rule, which normalizes the set of improving neighbors and then chooses a maximally improving normalized neighbor. Exponential lower bounds are known for both rules in worst-case analysis. However, for the shadow simplex method, all exponential examples were only proven for one choice of projection, and for the steepest edge rule, the lower bounds were only proven for the Euclidean norm. In this work, we construct linear programs for which any choice of projection for shadow rule variants will lead to an exponential run-time and exponential examples for any choice of norm for a steepest edge variant.
$3$-cluster-free families of subspaces
Published
• View Publication
• BIB
Three $k$-dimensional subspaces $A$, $B$, and $C$ of an $n$-dimensional vector space $V$ over a finite field are called a $3$-cluster if $A \cap B \cap C = \{\mathbf{0}_V\}$ and yet $\dim(A+B+C) \leq 2k$. A special kind of $3$-cluster, which we call a covering triple, consists of subspaces $A,B,C$ such that $A = (A \cap B )\oplus (A \cap C)$. We prove that, for $2 \leq k \le n/2$, the largest size of a covering triple-free family of $k$-dimensional subspaces is the same as the size of the largest such star (a family of subspaces all containing a designated non-zero vector). Moreover, we show that if $k < n/2$, then stars are the only families achieving this largest size. This in turn implies the same result for $3$-clusters, which gives the vector space-analogue of a theorem of Mubayi for set systems.
Qualitative, statistical and extreme properties of spectral indices of signable pseudo-invertible graphs
Published
• View Publication
• BIB
In this paper, we investigate the Moore-Penrose inversion of a simple connected graph. We analyze qualitative, statistical, and extreme properties of spectral indices of signable pseudo-invertible graphs. We introduce and analyze a wide class of signable pseudo-invertible simple connected graphs. It is a generalization of the classical concept of positively integrally invertible graphs due to Godsil. We present several constructions of signable pseudo-invertible graphs. We also discuss statistical properties of various spectral indices of the class of signable pseudo-invertible graphs.
A Tractability Gap Beyond Nim-Sums: It's Hard to Tell Whether a Bunch of Superstars Are Losers
Published
• View Publication
• BIB
In this paper, we address a natural question at the intersection of combinatorial game theory and computational complexity: "Can a sum of simple tepid games in canonical form be intractable?" To resolve this fundamental question, we consider superstars, positions first introduced in Winning Ways where all options are nimbers. Extending Morris' classic result with hot games to tepid games, we prove that disjunctive sums of superstars are intractable to solve. This is striking as sums of nimbers can be computed in linear time. Our analyses also lead to a family of elegant board games with intriguing complexity, for which we present web-playable versions of the rulesets described within.