Showing 20 papers (Total: 84253 papers, 48533 authors in database)
A Generalization of Markov Numbers
Published
• View Publication
• BIB
We explore a generalization of the Markov numbers that is motivated by a specific generalized cluster algebra arising from an orbifold, in the sense of Chekhov and Shapiro. We give an explicit algorithm for computing these generalized Markov numbers and exhibit several patterns analogous to those that appear within the ordinary Markov numbers. Along the way, we present formulas related to continued fractions and snake graphs.
Rainbow vertex pair-pancyclicity of strongly edge-colored graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Graph Theory (May 16, 2023) dmtcs:10142
• View Publication
• BIB
An edge-colored graph is \emph{rainbow }if no two edges of the graph have the same color. An edge-colored graph $G^c$ is called \emph{properly colored} if every two adjacent edges of $G^c$ receive distinct colors in $G^c$. A \emph{strongly edge-colored} graph is a proper edge-colored graph such that every path of length $3$ is rainbow. We call an edge-colored graph $G^c$ \emph{rainbow vertex pair-pancyclic} if any two vertices in $G^c$ are contained in a rainbow cycle of length $\ell$ for each $\ell$ with $3 \leq \ell \leq n$. In this paper, we show that every strongly edge-colored graph $G^c$ of order $n$ with minimum degree $δ\geq \frac{2n}{3}+1$ is rainbow vertex pair-pancyclicity.
Coloring, List Coloring, and Painting Squares of Graphs (and other related problems)
Published in The Electronic Journal of Combinatorics 30(2) (2023), #DS25
• View Publication
• BIB
We survey work on coloring, list coloring, and painting squares of graphs; in particular, we consider strong edge-coloring. We focus primarily on planar graphs and other sparse classes of graphs.
Distance Seidel matrix of a connected graph
Published
• View Publication
• BIB
For a connected graph $G$, we present the concept of a new graph matrix related to its distance and Seidel matrix, called distance Seidel matrix $\mathcal{D}^S(G)$. Suppose that the eigenvalues of $\mathcal{D}^S(G)$ be $\partial_{1}^{S}(G) \geq \cdots \geq \partial_{n}^{S}(G).$ In this article, we establish a relationship between distance Seidel eigenvalues of a graph with its distance and adjacency eigenvalues. We characterize all the connected graphs with $\partial_{1}^{S}(G)= 3.$ Also, we determine different bounds for the distance Seidel spectral radius and distance Seidel energy. We study the distance Seidel energy change of the complete bipartite graph due to the deletion of an edge. Moreover, we obtain the distance Seidel spectra of different graph operations such as join, cartesian product, lexicographic product, and unary operations like the double graph and extended double cover graph. We give various families of distance Seidel cospectral and distance Seidel integral graphs as an application.
Bounds for DP color function and canonical labelings
Published
• View Publication
• BIB
The DP-coloring is a generalization of the list coloring, introduced by Dvořák and Postle. Let $\mathcal{H}=(L,H)$ be a cover of a graph $G$ and $P_{DP}(G,\mathcal{H})$ be the number of $\mathcal{H}$-colorings of $G$. The DP color function $P_{DP}(G,m)$ of $G$, introduced by Kaul and Mudrock, is the minimum value of $P_{DP}(G,\mathcal{H})$ where the minimum is taken over all possible $m$-fold covers $\mathcal{H}$ of $G$. For the family of $n$-vertex connected graphs, one can deduce that trees maximize the DP color function, from two results of Kaul and Mudrock. In this paper we obtain tight upper bounds for the DP color function of $n$-vertex $2$-connected graphs. Another concern in this paper is the canonical labeling in a cover. It is well known that if an $m$-fold cover $\mathcal{H}$ of a graph $G$ has a canonical labeling, then $P_{DP}(G,\mathcal{H})=P(G,m)$ in which $P(G,m)$ is the chromatic polynomial of $G$. However the converse statement of this conclusion is not always true. We give examples that for some $m$ and $G$, there exists an $m$-fold cover $\mathcal{H}$ of $G$ such that $P_{DP}(G,\mathcal{H})=P(G,m)$, but $\mathcal{H}$ has no canonical labelings. We also prove that when $G$ is a unicyclic graph or a theta graph, for each $m\geq 3$, if $P_{DP}(G,\mathcal{H})=P(G,m)$, then $\mathcal{H}$ has a canonical labeling.
On $q$-deformed Farey sum and a homological interpretation of $q$-deformed real quadratic irrational numbers
The left and right $q$-deformed rational numbers were introduced by Bapat, Becker and Licata via regular continued fractions, and they gave a homological interpretation for left and right $q$-deformed rational numbers. In the present paper, we focus on negative continued fractions and defined left $q$-deformed negative continued fractions. We give a formula for computing the $q$-deformed Farey sum of the left $q$-deformed rational numbers based on it. We use this formula to give a combinatorial proof of the relationship between the left $q$-deformed rational number and the Jones polynomial of the corresponding rational knot which was proved by Bapat, Becker and Licata using a homological technique. Finally, we combine their work and the $q$-deformed Farey sum, and give a homological interpretation of the $q$-deformed Farey sum. We also give an approach to finding a relationship between real quadratic irrational numbers and homological algebra.
Rigidity of symmetric frameworks on the cylinder
Published
• View Publication
• BIB
A bar-joint framework $(G,p)$ is the combination of a finite simple graph $G=(V,E)$ and a placement $p:V\rightarrow \mathbb{R}^d$. The framework is rigid if the only edge-length preserving continuous deformations of the vertices arise from isometries of the space. This article combines two recent extensions of the generic theory of rigid and flexible graphs by considering symmetric frameworks in $\mathbb{R}^3$ restricted to move on a surface. In particular necessary combinatorial conditions are given for a symmetric framework on the cylinder to be isostatic (i.e. minimally infinitesimally rigid) under any finite point group symmetry. In every case when the symmetry group is cyclic, which we prove restricts the group to being inversion, half-turn or reflection symmetry, these conditions are then shown to be sufficient under suitable genericity assumptions, giving precise combinatorial descriptions of symmetric isostatic graphs in these contexts.
Dynamical aspects of $σ$-machines
Published
• View Publication
• BIB
The $σ$-machine was recently introduced by Cerbai, Claesson and Ferrari as a tool to gain a better insight on the problem of sorting permutations with two stacks in series. It consists of two consecutive stacks, which are restricted in the sense that their content must at all times avoid a certain pattern: a given $σ$, in the first stack, and $21$, in the second. Here we prove that in most cases sortable permutations avoid a bivincular pattern $ξ$. We provide a geometric decomposition of $ξ$-avoiding permutations and use it to count them directly. Then we characterize the permutations with the property that the output of the $σ$-avoiding stack does not contain $σ$, which we call effective. For $σ=123$, we obtain an alternative method to enumerate sortable permutations. Finally, we classify $σ$-machines and determine the most challenging to be studied.
More results on large sets of Kirkman triple systems
Published
• View Publication
• BIB
The existence of large sets of Kirkman triple systems (LKTSs) is one of the best-known open problems in combinatorial design theory. Steiner quadruple systems with resolvable derived designs (RDSQSs) play an important role in the recursive constructions of LKTSs. In this paper, we introduce a special combinatorial structure RDSQS*(v) and use it to present a construction for RDSQS(4v). As a consequence, some new infinite families of LKTSs are given.
Some Mader-perfect graph classes
Published
• View Publication
• BIB
The dichromatic number of $D$, denoted by $\overrightarrowχ(D)$, is the smallest integer $k$ such that $D$ admits an acyclic $k$-coloring. We use $mader_{\overrightarrowχ}(F)$ to denote the smallest integer $k$ such that if $\overrightarrowχ(D)\ge k$, then $D$ contains a subdivision of $F$. A digraph $F$ is called Mader-perfect if for every subdigraph $F'$ of $F$, ${\rm mader }_{\overrightarrowχ}(F')=|V(F')|$. We extend octi digraphs to a larger class of digraphs and prove that it is Mader-perfect, which generalizes a result of Gishboliner, Steiner and Szabó [Dichromatic number and forced subdivisions, {\it J. Comb. Theory, Ser. B} {\bf 153} (2022) 1--30]. We also show that if $K$ is a proper subdigraph of $\overleftrightarrow{C_4}$ except for the digraph obtained from $\overleftrightarrow{C_4}$ by deleting an arbitrary arc, then $K$ is Mader-perfect.
Matrix Models, Integral Polyhedra and Toric Geometry
We propose to take a look at a new approach to the study of integral polyhedra. The main idea is to give an integral representation, or matrix model representation, for the key combinatorial characteristics of integral polytopes. Based on the well-known geometric interpretations of matrix model digram techniques, we construct a new model that enumerates triangulations, subdivisions, and numbers of integral points of integral polygons. This approach allows us to look at their combinatorics from a new perspective, motivated by knowledge about matrix models and their integrability. We show how analogs of Virasoro constraints appear in the resulting model. Moreover, we make a natural generalization of this matrix model to the case of polytopes of an arbitrary dimension, considering already a tensor model. We also obtain an analogue of Virasoro constraints for it and discuss their role in the solvability of these models. The deep connection between the geometry of convex polyhedra and toric geometry is the main reference point in the construction of these models. We present considerations on specific ways of applying this approach to the description of Batyrev's mirror pairs. All this allows us to formulate many interesting directions in the study of the connection between matrix/tensor models and the geometry of toric varieties.
Approximate Discrete Entropy Monotonicity for Log-Concave Sums
Published
• View Publication
• BIB
It is proven that a conjecture of Tao (2010) holds true for log-concave random variables on the integers: For every $n \geq 1$, if $X_1,\ldots,X_n$ are i.i.d. integer-valued, log-concave random variables, then $$ H(X_1+\cdots+X_{n+1}) \geq H(X_1+\cdots+X_{n}) + \frac{1}{2}\log{\Bigl(\frac{n+1}{n}\Bigr)} - o(1) $$ as $H(X_1) \to \infty$, where $H$ denotes the (discrete) Shannon entropy. The problem is reduced to the continuous setting by showing that if $U_1,\ldots,U_n$ are independent continuous uniforms on $(0,1)$, then $$ h(X_1+\cdots+X_n + U_1+\cdots+U_n) = H(X_1+\cdots+X_n) + o(1) $$ as $H(X_1) \to \infty$, where $h$ stands for the differential entropy. Explicit bounds for the $o(1)$-terms are provided.
How to construct the symmetric cycle of length 5 using Hajós construction with an adapted Rank Genetic Algorithm
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Discrete Algorithms (March 1, 2023) dmtcs:10189
• View Publication
• BIB
In 2020 Bang-Jensen et. al. generalized the Hajós join of two graphs to the class of digraphs and generalized several results for vertex colorings in digraphs. Although, as a consequence of these results, a digraph can be obtained by Hajós constructions (directed Hajós join and identifying non-adjacent vertices), determining the Hajós constructions to obtain the digraph is a complex problem. In particular, Bang-Jensen et al. posed the problem of determining the Hajós operations to construct the symmetric 5-cycle from the complete symmetric digraph of order 3 using only Hajós constructions. We successfully adapted a rank-based genetic algorithm to solve this problem by the introduction of innovative recombination and mutation operators from graph theory. The Hajós Join became the recombination operator and the identification of independent vertices became the mutation operator. In this way, we were able to obtain a sequence of only 16 Hajós operations to construct the symmetric cycle of order 5.
Stackelberg-Nash null controllability for a non linear coupled degenerate parabolic equations
Published in Applied Mathematics and Optimization 2023
• View Publication
• BIB
The main purpose of this paper is to apply the notion of hierarchical control to a coupled degenerate non linear parabolic equations. We use the Stackelberg-Nash strategy with one leader and two followers. The followers solve a Nash equilibrium corresponding to a bi-objective optimal control problem and the leader a null controllability problem. Since the considered problem is non linear, the associated cost is non-convex. We first prove the existence, uniqueness and the characterization of the Nash quasiequilibrium, which is a weak formulation of the Nash equilibrium because the cost associated to the non linear problem is non-convex. Next, we show that under suitable conditions, the Nash quasi-equilibrium is equivalent to the Nash equilibrium. Finally using some Carleman inequalities that we established, and the Kakutani's fixed point Theorem, we brough the states of our system to the rest at final time T .
Online Ramsey numbers of ordered paths and cycles
Published
• View Publication
• BIB
An ordered graph is a graph with a linear ordering on its vertices. The online Ramsey game for ordered graphs $G$ and $H$ is played on an infinite sequence of vertices; on each turn, Builder draws an edge between two vertices, and Painter colors it red or blue. Builder tries to create a red $G$ or a blue $H$ as quickly as possible, while Painter wants the opposite. The online ordered Ramsey number $r_o(G,H)$ is the number of turns the game lasts with optimal play.
In this paper, we consider the behavior of $r_o(G,P_n)$ for fixed $G$, where $P_n$ is the monotone ordered path. We prove an $O(n \log_2n)$ bound on $r_o(G,P_n)$ for all $G$ and an $O(n)$ bound when $G$ is $3$-ichromatic; we partially classify graphs $G$ with $r_o(G,P_n) = n + O(1)$. Many of these results extend to $r_o(G,C_n)$, where $C_n$ is an ordered cycle obtained from $P_n$ by adding one edge.
Virasoro constraints on moduli of sheaves and vertex algebras
Published
• View Publication
• BIB
In enumerative geometry, Virasoro constraints were first conjectured in Gromov-Witten theory with many new recent developments in the sheaf theoretic context. In this paper, we rephrase the sheaf-theoretic Virasoro constraints in terms of primary states coming from a natural conformal vector in Joyce's vertex algebra. This shows that Virasoro constraints are preserved under wall-crossing. As an application, we prove the conjectural Virasoro constraints for moduli spaces of torsion-free sheaves on any curve and on surfaces with only $(p,p)$ cohomology classes by reducing the statements to the rank 1 case.
Descriptive complexity of the generalized spectra of graphs
Two graphs are cospectral if their respective adjacency matrices have the same multiset of eigenvalues, and generalized cospectral if they are cospectral and so are their complements. We study generalized cospectrality in relation to logical definability. We show that any pair of graphs that are elementary equivalent with respect to the three-variable counting first-order logic $C^3$ are generalized cospectral, and this is not the case with $C^2$, nor with any number of variables if we exclude counting quantifiers. Using this result we provide a new characterization of the well-known class of distance-regular graphs using the logic $C^3$. We also show that, for controllable graphs (it is known that almost all graphs are controllable), the elementary equivalence in $C^2$ coincides with isomorphism.
A Note on Slice Rank and Matchings in Groups
A multiplicative 3-matching in a group $G$ is a triple of sets $\{a_i\}, \{b_i\}, \{c_i\} \subset G$ such that $a_ib_jc_k = 1$ if and only if $i=j=k$. Here we record the fact that $\text{PSL}(2,p)$ has no multiplicative 3-matching of size greater than $O(p^{8/3})$, yet the slice rank of its group algebra's multiplication tensor is at least $Ω(p^3)$ over any field. This gives a negative answer to a conjecture of Petrov.
A logical limit law for $231$-avoiding permutations
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:1, Permutation Patterns 2023, Special issues (April 2, 2024) dmtcs:11751
• View Publication
• BIB
We prove that the class of 231-avoiding permutations satisfies a logical limit law, i.e. that for any first-order sentence $Ψ$, in the language of two total orders, the probability $p_{n,Ψ}$ that a uniform random 231-avoiding permutation of size $n$ satisfies $Ψ$ admits a limit as $n$ is large. Moreover, we establish two further results about the behavior and value of $p_{n,Ψ}$: (i) it is either bounded away from $0$, or decays exponentially fast; (ii) the set of possible limits is dense in $[0,1]$. Our tools come mainly from analytic combinatorics and singularity analysis.
Parallel solutions for preemptive makespan scheduling on two identical machines
Published
• View Publication
• BIB
We consider online preemptive scheduling of jobs arriving one by one, to be assigned to two identical machines, with the goal of makespan minimization. We study the effect of selecting the best solution out of two independent solutions constructed in parallel in an online fashion. Two cases are analyzed, where one case is purely online, and in the other one jobs are presented sorted by non-increasing sizes. We show that using two solutions rather than one improves the performance significantly, but that an optimal solution cannot be obtained for any constant number of solutions constructed in parallel. Our algorithms have the best possible competitive ratios out of algorithms for each one of the classes.