Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Hybrid Pipe Dreams for Key Polynomials
Published
• View Publication
• BIB
We develop a family of new combinatorial models for key polynomials. It is similar to the hybrid pipe dream model for Schubert polynomials defined recently by Knutson and Udell.
Independent Bondage Number in Graphs under Girth Constraints
Published
• View Publication
• BIB
Given a finite, simple graph $G$, the independent bondage number of $G$ is the minimum size of an edge set such that its deletion results in a graph with strictly larger independent domination number than that of $G$. While the bondage number of graphs under girth constraints has been studied, very few results have yet been established for the independent bondage number. In this study, we establish upper bounds on the independent bondage number of planar graphs under given girth constraints, extending results on the bondage number by Fischermann, Rautenbach, and Volkmann and on the structures of planar graphs by Borodin and Ivanova. In particular, we identify additional structures and establish bounds on the independent bondage number for planar graphs with $δ(G) \geq 2$ and $g(G)\geq 5$, $δ(G)\geq 3$ and $g(G)\geq 4$, and $δ(G) \geq 2$ and $g(G)\geq 10$.
Closing the complexity gap of the double distance problem
Published
• View Publication
• BIB
Genome rearrangement has been an active area of research in computational comparative genomics for the last three decades. While initially mostly an interesting algorithmic endeavor, now the practical application by applying rearrangement distance methods and more advanced phylogenetic tasks is becoming common practice, given the availability of many completely sequenced genomes. Several genome rearrangement models have been developed over time, sometimes with surprising computational properties. A prominent example is the fact that computing the reversal distance of two signed permutations is possible in linear time, while for two unsigned permutations it is NP-hard. Therefore one has always to be careful about the precise problem formulation and complexity analysis of rearrangement problems in order not to be fooled. The double distance is the minimum number of genomic rearrangements between a singular and a duplicated genome that, in addition to rearrangements, are separated by a whole genome duplication. At the same time it allows to assign the genes of the duplicated genome to the two paralogous chromosome copies that existed right after the duplication event. Computing the double distance is another example of a tricky hardness landscape: If the distance measure underlying the double distance is the simple breakpoint distance, the problem can be solved in linear time, while with the more elaborate DCJ distance it is NP-hard. Indeed, there is a family of distance measures, parameterized by an even number k, between the breakpoint distance (k=2) and the DCJ distance (k=\infty). Little was known about the hardness border between these extremes; the problem complexity was known only for k=4 and k=6. In this paper, we close the gap, providing a full picture of the hardness landscape when computing the double distance.
Existence of $K$-multimagic squares and magic squares of $k$th powers with distinct entries
Published
• View Publication
• BIB
We demonstrate the existence of $K$-multimagic squares of order $N$ consisting of distinct integers whenever $N>2 K(K+1)$. This improves upon our earlier result in which we only required $N+1$ distinct integers.
Additionally, we present a direct method by which our analysis of the magic square system may be used to show the existence of $N \times N$ magic squares consisting of distinct $k$ th powers when
$$ N> \begin{cases}2^{k+1} & \text { if } 2 \leqslant k \leqslant 4 \\ 2\lceil k(\log k+4.20032)\rceil & \text { if } k \geqslant 5\end{cases} $$
improving on a recent result by Rome and Yamagishi.
Chromatic polynomial and the $\mathfrak{so}$ weight system
Published
• View Publication
• BIB
In a recent paper by M.Kazarian and the second author, a recurrence for the Lie algebras $\mathfrak{so}(N)$ weight systems has been suggested; the recurrence allows one to construct the universal $\mathfrak{so}$ weight system. The construction is based on an extension of the $\mathfrak{so}$ weight systems to permutations. Another recent paper, by M. Kazarian, N. Kodaneva, and the first author, shows that under the substitution $C_m=xN^{m-1}, m=1,2,\dots,$ for the Casimir elements $C_m$, the leading term in $N$ of the value of the universal $\mathfrak{gl}$ weight system becomes the chromatic polynomial of the intersection graph of the chord diagram. In the present paper, we establish a similar result for the universal $\mathfrak{so}$ weight system. That is, we show that the leading term of the universal $\mathfrak{so}$ weight system also becomes the chromatic polynomial under a specific substitution.
A tight upper bound of spectral radius in terms of degree deviation
Published
• View Publication
• BIB
Let $G$ be a graph with $n$ vertices and $m$ edges. The spectral radius $ρ(G)$ of $G$ is the largest eigenvalue of the adjacency matrix of $G$. As is well known, $ρ(G)\geq\frac{2m}{n}$ with equality if and only if $G$ is regular. To bound $ρ(G)-\frac{2m}{n}$, Nikiforov (2006) introduced the degree deviation of $G$ as $$s(G)=\sum_{1\leq i\leq n}|d_{i}-\frac{2m}{n}|,$$ where $d_{1},d_{2},\ldots,d_{n}$ are the degrees of the vertices of $G$. Nikiforov conjectured that $ρ(G)-\frac{2m}{n}\leq\sqrt{\frac{1}{2}s(G)}$ for sufficiently large $m$ and $n$. In this paper, we settle this conjecture without the assumption that $m$ and $n$ are large.
Corrigendum to the equivalent statement of the Laplacian Spread Conjecture
For a graph $G,$ let $α(G)$ denote its second smallest Laplacian eigenvalue. The Laplacian Spread Conjecture states that $α(G)+α(\overline{G}) \geq 1,$ where $\overline{G}$ is the complement of $G.$ In this paper, we have corrected two conclusions: First, the necessary and sufficient condition for $α(G) + α(\overline{G}) \geq 1$ is $\parallel \bigtriangledown_{x} - \bigtriangledown_{y} \parallel^{2} \geq 1$ rather than $\parallel \bigtriangledown_{x} - \bigtriangledown_{y} \parallel^{2} \geq 2$ which has been proved in \cite{BS} as demonstrated in our study. Second, we show that the Laplacian spread of balanced digraph $Γ$ satisfies $LS(Γ) \leq n - \frac{1}{2}$ but not $LS(Γ) \leq n - 1$ in \cite{BCEHK}, since inequality $\parallel \bigtriangledown_{x} - \bigtriangledown_{y} \parallel^{2} \geq 2$ does not hold.
Filling some gaps on the edge coloring problem of split graphs
Published
• View Publication
• BIB
A split graph is a graph whose vertex set can be partitioned into a clique and an independent set. A connected graph $G$ is said to be $t$-admissible if admits a spanning tree in which the distance between any two adjacent vertices of $G$ is at most $t$. Given a graph $G$, determining the smallest $t$ for which $G$ is $t$-admissible, i.e., the stretch index of $G$ denoted by $σ(G)$, is the goal of the $t$-admissibility problem. Split graphs are $3$-admissible and can be partitioned into three subclasses: split graphs with $σ= 1$, $2$ or $3$. In this work we consider such a partition while dealing with the problem of coloring the edges of a split graph. Vizing proved that any graph can have its edges colored with $Δ$ or $Δ+1$ colors, and thus can be classified as Class $1$ or Class $2$, respectively. The edge coloring problem is open for split graphs in general. In previous results, we classified split graphs with $σ= 2$ and in this paper we classify and provide an algorithm to color the edges of a subclass of split graphs with $σ= 3$.
The rectangle graph
We go back to a graph used extensively in previous papers with Michela Procesi and Bich Van Nguyen to studi the non linear Scroginger equation. We fix several mistakes of that treatment and try to expand some proofs which were confused or just too short.
Bounds on Discrete Potentials of Spherical (k,k)-Designs
Published
• View Publication
• BIB
We derive universal lower and upper bounds for max-min and min-max problems (also known as polarization) for the potential of spherical $(k,k)$-designs and provide certain examples, including unit-norm tight frames, that attain these bounds. The universality is understood in the sense that the bounds hold for all spherical $(k,k)$-designs and for a large class of potential functions, and the bounds involve certain nodes and weights that are independent of the potential. When the potential function is $h(t)=t^{2k}$, we prove an optimality property of the spherical $(k,k)$-designs in the class of all spherical codes of the same cardinality both for max-min and min-max potential problems.
Inverse eigenvalue problem for Laplacian matrices of a graph
Published
• View Publication
• BIB
For a given graph $G$, we aim to determine the possible realizable spectra for a generalized (or sometimes referred to as a weighted) Laplacian matrix associated with $G$. This new specialized inverse eigenvalue problem is considered for certain families of graphs and graphs on a small number of vertices. Related considerations include studying the possible ordered multiplicity lists associated with stars and complete graphs and graphs with a few vertices. Finally, we present a novel investigation, both theoretically and numerically, the minimum variance over a family of generalized Laplacian matrices with a size-normalized weighting.
Integral Cayley graphs over a finite symmetric algebra
Published
• View Publication
• BIB
A graph is called integral if its eigenvalues are integers. In this article, we provide the necessary and sufficient conditions for a Cayley graph over a finite symmetric algebra $R$ to be integral. This generalizes the work of So who studies the case where $R$ is the ring of integers modulo $n.$ We also explain some number-theoretic constructions of finite symmetric algebras arising from global fields, which we hope could pave the way for future studies on Paley graphs associated with a finite Hecke character.
Treewidth 2 in the Planar Graph Product Structure Theorem
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:2, Graph Theory (March 17, 2025) dmtcs:14785
• View Publication
• BIB
We prove that every planar graph is contained in $H_1\boxtimes H_2\boxtimes K_2$ for some graphs $H_1$ and $H_2$ both with treewidth 2. This resolves a question of Liu, Norin and Wood [arXiv:2410.20333]. We also show this result is best possible: for any $c \in \mathbb{N}$, there is a planar graph $G$ such that for any tree $T$ and graph $H$ with $\text{tw}(H) \leqslant 2$, $G$ is not contained in $H \boxtimes T \boxtimes K_c$.
Semirigidity and the enumeration of nilpotent semigroups of index three
Published
• View Publication
• BIB
There is strong evidence for the belief that `almost all' finite semigroups, whether we consider multiplication operations on a fixed set or their isomorphism classes, are nilpotent of index 3 (3-nilpotent for short). The only known method for counting all semigroups of given order is exhaustive testing, but formulae exist for the numbers of 3-nilpotent ones, and it is also known that `almost all' of these are rigid (have only trivial automorphism).
Here we express the number of distinct 3-nilpotent semigroup operations on a fixed set of cardinality $n$ as a sum of Stirling numbers, and provide a new expression for the number of isomorphism classes of 3-nilpotent semigroups of cardinality $n$. We introduce a notion of semirigidity for semigroups (as a generalization of rigidity) and find computationally tractable formulae giving an upper bound for the number of pairwise non-isomorphic semirigid 3-nilpotent semigroups, and thus an improved lower bound for the number of all 3-nilpotent semigroups up to isomorphism. Analogous formulae are also developed for isomorphism classes such as commutative and self-dual semigroups, and for equivalence classes (isomorphic or anti-isomorphic). The method relies on an application of the theory of orbit counting in permutation group actions. Our main results are accompanied by tables containing values of these numbers and bounds up to $n=10$ with computations carried out in GAP (but perfectly feasible well beyond this value of $n$).
Higher homological algebra for one-point extensions of bipartite hereditary algebras and spectral graph theory
In this article we study higher homological properties of $n$-levelled algebras and connect them to properties of the underlying graphs. Notably, to each $2$-representation-finite quadratic monomial algebra $Λ$ we associate a bipartite graph $\overline{B_Λ}$ and we classify all such algebras $Λ$ for which $\overline{B_Λ}$ is regular or edge-transitive. We also show that if $\overline{B_Λ}$ is semi-regular, then it is a reflexive graph.
An alternating colouring function on strings
An alternating colouring function is defined on strings over the alphabet $\{0, 1\}$. It divides the strings in colourable and non-colourable ones. The points in the subshift of finite type defined by forbidding all non-colourable strings of a certain length alternate between states of one colour and states of the other colour. In other words, the points in the 2nd power shifts all have the same colour. The number $K_n$ of non-colourable strings of length $n \ge 2$ is shown to be $2 \cdot (J_{n-2} + 1)$ where $J$ is the sequence of Jacobsthal numbers. The number of sources and sinks in the de Bruijn graph of dimension $n \ge 3$ with non-colourable edges removed is shown each to be $K_n - 4$.
PatternBoost: Constructions in Mathematics with a Little Help from AI
We introduce PatternBoost, a flexible method for finding interesting constructions in mathematics. Our algorithm alternates between two phases. In the first ``local'' phase, a classical search algorithm is used to produce many desirable constructions. In the second ``global'' phase, a transformer neural network is trained on the best such constructions. Samples from the trained transformer are then used as seeds for the first phase, and the process is repeated. We give a detailed introduction to this technique, and discuss the results of its application to several problems in extremal combinatorics. The performance of PatternBoost varies across different problems, but there are many situations where its performance is quite impressive. Using our technique, we find the best known solutions to several long-standing problems, including the construction of a counterexample to a conjecture that had remained open for 30 years.
Dom-forcing sets in graphs
A dominating set $D_{f}\subseteq V(G)$ of vertices in a graph $G$ is called a \emph{dom-forcing set} if the sub-graph induced by $\langle D_{f} \rangle$ must form a zero forcing set. The minimum cardinality of such a set is known as the dom-forcing number of the graph $G$, denoted by $F_{d}(G)$. This article embarks on an exploration of the dom-forcing number of a graph $G$. Additionally, it delves into the precise determination of $F_{d}(G)$ for certain well-known graphs
Maximal Circular Point Sets over Arbitrary Fields and an Application to Cryptography
The study of rational point sets on circles over the Euclidean plane is discussed in a more general framework, i.e. we generalize the notion rational and consider these circular point sets over arbitrary fields. We also determine the cardinality of maximal circular point sets which depends on the radius of the corresponding circle and the characteristic of the underlying field. For the construction of them we use the so called perfect distances which have the necessary compatibility properties to find new points on a circle such that all these points still have rational distance from each other. Then we define the rotation group where its elements are the points on a circle over an arbitrary field and find a connection between a subgroup of it and perfect distances if our field is a prime field. Furthermore, we describe a possible application in cryptography of the rotation group similar to the Diffie-Hellman key exchange.
10-list Recoloring of Planar Graphs
Published in European Journal of Combinatorics. Vol. 130, December 2025, Article 104190, 20pp
• View Publication
• BIB
Fix a planar graph $G$ and a list-assignment $L$ with $|L(v)|=10$ for all $v\in V(G)$. Let $α$ and $β$ be $L$-colorings of $G$. A recoloring sequence from $α$ to $β$ is a sequence of $L$-colorings, beginning with $α$ and ending with $β$, such that each successive pair in the sequence differs in the color on a single vertex of $G$. We show that there exists a constant $C$ such that for all choices of $α$ and $β$ there exists a recoloring sequence $σ$ from $α$ to $β$ that recolors each vertex at most $C$ times. In particular, $σ$ has length at most $C|V(G)|$. This confirms a conjecture of Dvořák and Feghali. For our proof, we introduce a new technique for quickly showing that many configurations are reducible. We believe this method may be of independent interest and will have application to other problems in this area.