Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Isoperimetry in product graphs
Published
• View Publication
• BIB
In this short note, we establish an edge-isoperimetric inequality for arbitrary product graphs. Our inequality is sharp for subsets of many different sizes in every product graph. In particular, it implies that the $2^d$-element sets with smallest edge-boundary in the hypercube are subcubes and is only marginally weaker than the Bollobás$\unicode{x2013}$Leader edge-isoperimetric inequalities for grids and tori. Additionally, it improves two edge-isoperimetric inequalities for products of regular graphs proved by Erde, Kang, Krivelevich, and the first author and answers two questions about edge-isoperimetry in powers of regular graphs raised in their work.
Universal Plans: One Action Sequence to Solve Them All!
Published
• View Publication
• BIB
This paper introduces the notion of a universal plan, which when executed, is guaranteed to solve all planning problems in a category, regardless of the obstacles, initial state, and goal set. Such plans are specified as a deterministic sequence of actions that are blindly applied without any sensor feedback. Thus, they can be considered as pure exploration in a reinforcement learning context, and we show that with basic memory requirements, they even yield optimal plans. Building upon results in number theory and theory of automata, we provide universal plans both for discrete and continuous (motion) planning and prove their (semi)completeness. The concepts are applied and illustrated through simulation studies, and several directions for future research are sketched.
Separating the edges of a graph by cycles and by subdivisions of $K_4$
Published
• View Publication
• BIB
A separating system of a graph $G$ is a family $\mathcal{S}$ of subgraphs of $G$ for which the following holds: for all distinct edges $e$ and $f$ of $G$, there exists an element in $\mathcal{S}$ that contains $e$ but not $f$. Recently, it has been shown that every graph of order $n$ admits a separating system consisting of $19n$ paths [Bonamy, Botler, Dross, Naia, Skokan, Separating the Edges of a Graph by a Linear Number of Paths, Adv. Comb., October 2023], improving the previous almost linear bound of $\mathrm{O}(n\log^\star n)$ [S. Letzter, Separating paths systems of almost linear size, Trans. Amer. Math. Soc., to appear], and settling conjectures posed by Balogh, Csaba, Martin, and Pluhár and by Falgas-Ravry, Kittipassorn, Korándi, Letzter, and Narayanan.
We investigate a natural generalization of these results to subdivisions of cliques, showing that every graph admits both a separating system consisting of $41n$ edges and cycles, and a separating system consisting of $82 n$ edges and subdivisions of $K_4$.
Hoffman colorings of graphs
Published
• View Publication
• BIB
Hoffman's bound is a well-known spectral bound on the chromatic number of a graph, known to be tight for instance for bipartite graphs. While Hoffman colorings (colorings attaining the bound) were studied before for regular graphs, for general graphs not much is known. We investigate tightness of the Hoffman bound, with a particular focus on irregular graphs, obtaining several results on the graph structure of Hoffman colorings. In particular, we prove a Decomposition Theorem, which characterizes the structure of Hoffman colorings, and we use it to completely classify Hoffman colorability of cone graphs and line graphs. We also prove a partial converse, the Composition Theorem, leading to an algorithm for computing all connected Hoffman colorable graphs for some given number of vertices and colors. Since several graph coloring parameters are known to be sandwiched between the Hoffman bound and the chromatic number, as a byproduct of our results, we obtain the values of these chromatic parameters.
Algorithmic methods of finite discrete structures. Automorphism of Nonseparable Graphs
The monography examines the problem of constructing a group of automorphisms of a graph. A graph automorphism is a mapping of a set of vertices onto itself that preserves adjacency. The set of such automorphisms forms a vertex group of a graph or simply a graph group. The basis for constructing a group of graph automorphisms is the concept of orbit. The construction of an orbit is closely related to the quantitative assessment of a vertex or edge of a graph, called weight. To determine the weight of an element, graph invariants built on the spectrum of edge cuts and the spectrum of edge cycles are used. The weight of the graph elements allows identifying generating cycles and forming orbits. Examples are given of constructing a group of automorphisms for some types of graphs.
Graceful coloring is computationally hard
Published
• View Publication
• BIB
Given a (proper) vertex coloring $f$ of a graph $G$, say $f\colon V(G)\to \mathbb{N}$, the difference edge labelling induced by $f$ is a function $h\colon E(G)\to \mathbb{N}$ defined as $h(uv)=|f(u)-f(v)|$ for every edge $uv$ of $G$. A graceful coloring of $G$ is a vertex coloring $f$ of $G$ such that the difference edge labelling $h$ induced by $f$ is a (proper) edge coloring of $G$. A graceful coloring with range $\{1,2,\dots,k\}$ is called a graceful $k$-coloring. The least integer $k$ such that $G$ admits a graceful $k$-coloring is called the graceful chromatic number of $G$, denoted by $χ_g(G)$.
We prove that $χ(G^2)\leq χ_g(G)\leq a(χ(G^2))$ for every graph $G$, where $a(n)$ denotes the $n$th term of the integer sequence A065825 in OEIS. We also prove that graceful coloring problem is NP-hard for planar bipartite graphs, regular graphs and 2-degenerate graphs. In particular, we show that for each $k\geq 5$, it is NP-complete to check whether a planar bipartite graph of maximum degree $k-2$ is graceful $k$-colorable. The complexity of checking whether a planar graph is graceful 4-colorable remains open.
General limit theorems for mixtures of free, monotone, and boolean independence
Published
• View Publication
• BIB
We study mixtures of free, monotone, and Boolean independence described by a directed graph $G = (V,E)$ in the context of $\mathcal{T}$-free convolutions of Jekel and Liu. We prove general limit theorems for the associated additive convolution operations $\boxplus_G$. For a sequence of digraphs $G_n = (V_n,E_n)$, we give sufficient conditions for the limit $\widehatμ = \lim_{n \to \infty} \boxplus_{G_n}(μ_n)$ to exist whenever the Boolean convolution powers $μ_n^{\uplus |V_n|}$ converge to some $μ$. This in particular includes central limit and Poisson limit theorems, as well as limit theorems for each classical domain of attraction. The hypothesis on the sequence of $G_n$ is that the normalized counts of digraph homomorphisms from rooted trees into $G_n$ converge as $n \to \infty$, and we verify this for several families of examples where the $G_n$'s converge in some sense to a continuum limit, or digraphon. In particular, we obtain a new limit theorem for multiregular digraphs, as well as recovering several limit theorems in prior work.
Some online Maker-Breaker games
Published
• View Publication
• BIB
We consider some Maker-Breaker games of the following flavor. We have some set $V$ of items for purchase. Maker's goal is to purchase some member of a given family $\cH$ of subsets of $V$ as cheaply as possible and Breaker's goal is to make the purchase as expensive as possible. Each player has a pointer and during a player's turn their pointer moves through the items in the order of the permutation until the player decides to take one. We mostly focus on the case where the permutation is random and unknown to the players (it is revealed by the players as their pointers move).
Finding automorphism groups of double coset graphs and Cayley graphs are equivalent
It has long been known that a vertex-transitive graph $Γ$ is isomorphic to a double coset graph $\text{Cos}(G,H,S)$ of a transitive group $G\le\text{Aut}(Γ)$, a vertex stabilizer $H\le G$, and some subset $S\subseteq G$. We show that the automorphism group of the Cayley graph $\text{Cay}(G,S)$ with connection set $S$ can be obtained from the automorphism group of $\text{Cos}(G,H,S)$ and vice versa. We also show that the isomorphism problem for double coset graphs is equivalent to the isomorphism problem for Cayley graphs provided one knows all groups $G$ for which a fixed Cayley graph is a Cayley graph of $G$. Our main tool is a "recognition theorem", which recognizes when a Cayley graph of a group $G$ is a wreath product of two graphs based upon its connection set.
Singular loci of Schubert varieties and the Lookup Conjecture in type $\tilde A_{2}$
We describe the loci of non-rationally smooth (nrs) points and of singular points for any non-spiral Schubert variety of $\tilde{A}_2$ in terms of the geometry of the (affine) Weyl group action on the plane $\mathbb{R}^2$. Together with the results of Graham and Li for spiral elements, this allows us to explicitly identify the maximal singular and nrs points in any Schubert variety of type $\tilde{A}_2$. Comparable results are not known for any other infinite-dimensional Kac-Moody flag variety (except for type $\tilde{A}_1$, where every Schubert variety is rationally smooth). As a consequence, we deduce that if $x$ is a point in a non-spiral Schubert variety $X_w$, then $x$ is nrs in $X_w$ if and only if there are more than $\dim X_w$ curves in $X_w$ through $x$ which are stable under the action of a maximal torus, as is true for Schubert varieties in (finite) type $A$. Combined with the work of Graham and Li for spiral Schubert varieties, this implies the Lookup Conjecture for $\tilde{A}_2$.
A Proof of the Symmetric Theta Conjecture when q = 0
Published
• View Publication
• BIB
In 10.1093/imrn/rnac258, the authors conjecture a combinatorial formula for the expressions $Ξe_α\rvert_{t=1}$, known as Symmetric Theta Trees Conjecture, in terms of tiered trees with an inversion statistic. In 10.1017/fms.2024.14, the authors prove a combinatorial formula for the same symmetric function, in terms of doubly labelled Dyck paths with the area statistic. In this paper, we give an explicit bijection between the subsets of the two families of objects when the relevant statistic is equal to $0$, thus proving the Symmetric Theta Tree Conjecture when $q=0$.
Schubert polynomial expansions revisited
Published in Forum of Mathematics, Sigma 13 (2025) e106
• View Publication
• BIB
We give an elementary approach utilizing only the divided difference formalism for obtaining expansions of Schubert polynomials that are manifestly nonnegative, by studying solutions to the equation $\sum Y_i\partial_i=\mathrm{id}$ on polynomials with no constant term. This in particular recovers the pipe dream and slide polynomial expansions. We also show that slide polynomials satisfy an analogue of the divided difference formalisms for Schubert polynomials and forest polynomials, which gives a simple method for extracting the coefficients of slide polynomials in the slide polynomial decomposition of an arbitrary polynomial.
$k$-Leaf Powers Cannot be Characterized by a Finite Set of Forbidden Induced Subgraphs for $k \geq 5$
A graph $G=(V,E)$ is a $k$-leaf power if there is a tree $T$ whose leaves are the vertices of $G$ with the property that a pair of leaves $u$ and $v$ induce an edge in $G$ if and only if they are distance at most $k$ apart in $T$. For $k\le 4$, it is known that there exists a finite set $F_k$ of graphs such that the class $L(k)$ of $k$-leaf power graphs is characterized as the set of strongly chordal graphs that do not contain any graph in $F_k$ as an induced subgraph. We prove no such characterization holds for $k\ge 5$. That is, for any $k\ge 5$, there is no finite set $F_k$ of graphs such that $L(k)$ is equivalent to the set of strongly chordal graphs that do not contain as an induced subgraph any graph in $F_k$.
The Symplectic Schur Process
Published
• View Publication
• BIB
We define a measure on tuples of partitions, called the symplectic Schur process, that should be regarded as the right analogue of the Schur process of Okounkov-Reshetikhin for the Cartan type C. The weights of our measure include factors that are universal symplectic characters, as well as a novel family of "Down-Up Schur functions" that we define and for which we prove new identities of Cauchy-Littlewood-type. Our main structural result is that the point process corresponding to the symplectic Schur process is determinantal and we find an explicit correlation kernel. We also present dynamics that preserve the family of symplectic Schur processes and explore an alternative sampling scheme, based on the Berele insertion algorithm, in a special case. Finally, we study the asymptotics of the Berele insertion process and find explicit formulas for the limit shape and fluctuations near the bulk and the edge. One of the limit regimes leads to a new kernel that resembles the symmetric Pearcey kernel.
Skelet #17 and the fifth Busy Beaver number
We prove nonhalting of the Turing machine dubbed "Skelet #17", known to be one of the toughest 5-state, 2-symbol Turing machines to analyze. Combined with the efforts of The Busy Beaver Challenge, we are therefore able to show that BB(5), the fifth Busy Beaver number, equals 47,176,870.
Fundamentals of Broken Line Convex Geometry
We develop the fundamentals of a new theory of convex geometry -- which we call "broken line convex geometry". This is a theory of convexity where the ambient space is the rational tropicalization of a cluster variety, as opposed to an ambient vector space. In this theory, line segments are replaced by broken line segments, and we adopt the notion of convexity in [CMN21]. We state and prove broken line convex geometry versions of many standard results from usual convex geometry.
Monoid algebras and graph products
Published in Art Discrete Appl. Math. 8, No. 1, Paper No. P1.11, 18 p. (2025)
• View Publication
• BIB
In this note, we extend results about unique $n^{\textrm{th}}$ roots and cancellation of finite disconnected graphs with respect to the Cartesian, the strong and the direct product, to the rooted hierarchical products, and to a modified lexicographic product. We show that these results also hold for graphs with countably many finite connected components, as long as every connected component appears only finitely often (up to isomorphism). The proofs are via monoid algebras and generalized power series rings.
The Signed Goldman-Iwahori Space and Real Tropical Linear Spaces
The Goldman-Iwahori space of seminorms on a finite-dimensional vector space over a non-Archimedean field is a non-Archimedean analogue of a symmetric space. If, in addition, $K$ is real closed, we define a signed analogue of the Goldman-Iwahori space consisting of signed seminorms. This new space can be seen as the linear algebraic version of the real analytification of projective space over $K$. We study this space with methods from real tropical geometry by constructing natural real tropicalization maps from the signed Goldman-Iwahori space to all real tropicalized linear spaces. We prove that this space is the limit of all real tropicalized linear embeddings. We give a combinatorial interpretation of this result by showing that the signed Goldman-Iwahori space is the real tropical linear space associated to the universal realizable oriented matroid. In the constant coefficient case for $K = \mathbb{R}$, we describe this space explicitly and relate it to real Bergman fans.
Generalized central sets theorem for partial semigroups and vip systems
The Central sets theorem was first introduced by H. Furstenberg
[F] in terms of Dynamical systems. Later Hindman and Bergelson extended
the theorem using Stone-$Č$ech compactification $β$$\mathbb{N}$ of $\mathbb{N}$. In [SY] algebraic
characterization of Central sets was done for semigroup and equivalence of
Dynamical and Algebraic characterizations were shown. D. De, N. Hindman,
and D. Strauss proved a stronger version of the Central sets theorem for semigroup. D. Phulara generalized that theorem for commutative semigroup taking
a sequence of Central sets. Recently J. Podder and S. Pal established the
Phulara type generalization of Central sets theorem near zero [PP]. We did
this for arbitrary adequate partial semigroup and VIP systems.
On $\{1,2\}$-distance-balancedness of generalized Petersen graphs
Published in Discrete Math. 348 (2025) Paper 114579
• View Publication
• BIB
A connected graph $G$ of diameter ${\rm diam}(G) \ge \ell$ is $\ell$-distance-balanced if $|W_{xy}|=|W_{yx}|$ for every $x,y\in V(G)$ with $d_{G}(x,y)=\ell$, where $W_{xy}$ is the set of vertices of $G$ that are closer to $x$ than to $y$. It is proved that if $k\ge 3$ and $n>k(k+2)$, then the generalized Petersen graph $GP(n,k)$ is not distance-balanced and that $GP(k(k+2),k)$ is distance-balanced. This significantly improves the main result of Yang et al.\ [Electron.\ J.\ Combin.\ 16 (2009) \#N33]. It is also proved that if $k\ge 6$, where $k$ is even, and $n>\frac{5}{4}k^2+2k$, or if $k\ge 5$, where $k$ is odd, and $n>\frac{7}{4}k^2+\frac{3}{4}k$, then $GP(n,k)$ is not $2$-distance-balanced. These results partially resolve a conjecture of Miklavič and Šparl [Discrete Appl.\ Math.\ 244 (2018) 143--154].