Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Spectrally Simple Zeros of Zeon Polynomials
Published in Adv. Appl. Clifford Algebras 31, 66 (2021)
• View Publication
• BIB
Combinatorial properties of zeons have been applied to graph enumeration problems, graph colorings, routing problems in communication networks, partition-dependent stochastic integrals, and Boolean satisfiability. Power series of elementary zeon functions are naturally reduced to finite sums by virtue of the nilpotent properties of zeons. Further, the zeon extension of any analytic complex function has zeon polynomial representations on associated equivalence classes of zeons.
In this paper, zeros of polynomials over complex zeons are considered. Existing results for real zeon polynomials are extended to the complex case and new results are established. In particular, a fundamental theorem of zeon algebra is established for spectrally simple zeros of complex zeon polynomials, and an algorithm is presented that allows one to find spectrally simple zeros when they exist. As an application, inverses of zeon extensions of analytic functions are computed using polynomial methods.
The compact presentation for the alternating central extension of the $q$-Onsager algebra
Published
• View Publication
• BIB
The $q$-Onsager algebra $O_q$ is defined by two generators and two relations, called the $q$-Dolan/Grady relations. We investigate the alternating central extension $\mathcal O_q$ of $O_q$. The algebra $\mathcal O_q$ was introduced by Baseilhac and Koizumi, who called it the current algebra of $O_q$. Recently Baseilhac and Shigechi gave a presentation of $\mathcal O_q$ by generators and relations. The presentation is attractive, but the multitude of generators and relations makes the presentation unwieldy. In this paper we obtain a presentation of $\mathcal O_q$ that involves a subset of the original set of generators and a very manageable set of relations. We call this presentation the compact presentation of $\mathcal O_q$. This presentation resembles the compact presentation of the alternating central extension for the positive part of $U_q(\widehat{\mathfrak{sl}}_2)$.
Twisted cubic and plane-line incidence matrix in $\mathrm{PG}(3,q)$
Published
• View Publication
• BIB
We consider the structure of the plane-line incidence matrix of the projective space $\mathrm{PG}(3,q)$ with respect to the orbits of planes and lines under the stabilizer group of the twisted cubic. Structures of submatrices with incidences between a union of line orbits and an orbit of planes are investigated. For the unions consisting of two or three line orbits, the original submatrices are split into new ones, in which the incidences are also considered. For each submatrix (apart from the ones corresponding to a special type of lines), the numbers of lines in every plane and planes through every line are obtained. This corresponds to the numbers of ones in columns and rows of the submatrices.
On the location of zeros of the Laplacian matching polynomials of graphs
Published
• View Publication
• BIB
The Laplacian matching polynomial of a graph $G$, denoted by $\mathscr{L\hspace{-0.7mm}M}(G,x)$, is a new graph polynomial whose all roots are nonnegative real numbers. In this paper, we investigate the location of zeros of the Laplacian matching polynomials. Let $G$ be a connected graph. We show that $0$ is a root of $\mathscr{L\hspace{-0.7mm}M}(G, x)$ if and only if $G$ is a tree. We prove that the number of distinct positive zeros of $\mathscr{L\hspace{-0.7mm}M}(G,x)$ is at least equal to the length of the longest path in $G$. It is also established that the zeros of $\mathscr{L\hspace{-0.7mm}M}(G,x)$ and $\mathscr{L\hspace{-0.7mm}M}(G-e,x)$ interlace for each edge $e$ of $G$. Using the path-tree of $G$, we present a linear algebraic approach to investigate the largest zero of $\mathscr{L\hspace{-0.7mm}M}(G,x)$ and particularly to give tight upper and lower bounds on it.
Progress on the localization number of a graph
We highlight new results on the localization number of a graph, a parameter derived from the localization graph searching game. After introducing the game and providing an overview of existing results, we describe recent results on the localization number. We describe bounds or exact values of the localization number of incidence graphs of designs, polarity graphs, and Kneser graphs.
Linear Relations Among Galois Conjugates Over $\mathbb{F}_q(t)$
Published
• View Publication
• BIB
We classify the coefficients $(a_1,...,a_n) \in \mathbb{F}_q[t]^n$ that can appear in a linear relation $\sum_{i=1}^n a_i γ_i =0$ among Galois conjugates $γ_i \in \overline{\mathbb{F}_q(t)}$. We call such an $n$-tuple a Smyth tuple. Our main theorem gives an affirmative answer to a function field analogue of a 1986 conjecture of Smyth over $\mathbb{Q}$. Smyth showed that certain local conditions on the $a_i$ are necessary and conjectured that they are sufficient. Our main result is that the analogous conditions are necessary and sufficient over $\mathbb{F}_q(t)$, which we show using a combinatorial characterization of Smyth tuples due to Smyth. We also formulate a generalization of Smyth's Conjecture in an arbitrary number field that is not a straightforward generalization of the conjecture over $\mathbb{Q}$ due to a subtlety occurring at the archimedean places.
Summation formulas of hyperharmonic numbers with their generalizations II
Published
• View Publication
• BIB
In 1990, Spieß\, gave some identities of harmonic numbers including the types of $\sum_{\ell=1}^n\ell^k H_\ell$, $\sum_{\ell=1}^n\ell^k H_{n-\ell}$ and $\sum_{\ell=1}^n\ell^k H_\ell H_{n-\ell}$. In this paper, we derive several formulas of hyperharmonic numbers including $\sum_{\ell=0}^{n} {\ell}^{p} h_{\ell}^{(r)} h_{n-\ell}^{(s)}$ and $\sum_{\ell=0}^n \ell^{p}(h_{\ell}^{(r)})^{2}$. Some more formulas of generalized hyperharmonic numbers are also shown.
On a recolouring version of Hadwiger's conjecture
Published
• View Publication
• BIB
We prove that for any $\varepsilon>0$, for any large enough $t$, there is a graph $G$ that admits no $K_t$-minor but admits a $(\frac32-\varepsilon)t$-colouring that is "frozen" with respect to Kempe changes, i.e. any two colour classes induce a connected component. This disproves three conjectures of Las Vergnas and Meyniel from 1981.
Continuous iterative algorithms for anti-Cheeger cut
Published in Communications in Mathematical Sciences, Vol. 23, Issue 3 (2025), pp. 839-860
• View Publication
• BIB
As a judicious correspondence to the classical maxcut, the anti-Cheeger cut has more balanced structure, but few numerical results on it have been reported so far. In this paper, we propose a continuous iterative algorithm (CIA) for the anti-Cheeger cut problem through fully using an equivalent continuous formulation. It does not need rounding at all and has advantages that all subproblems have explicit analytic solutions, the objective function values are monotonically updated and the iteration points converge to a local optimum in finite steps via an appropriate subgradient selection. It can also be easily combined with the maxcut iterations for breaking out of local optima and improving the solution quality thanks to the similarity between the anti-Cheeger cut problem and the maxcut problem. The performance of CIAs is fully demonstrated through numerical experiments on G-set from two aspects: one is on the solution quality where we find that the approximate solutions obtained by CIAs are of comparable quality to those by the multiple search operator heuristic method; the other is on the computational cost where we show that CIAs always run faster than the often-used continuous iterative algorithm based on the rank-two relaxation.
On Domatic and Total Domatic Numbers of Product Graphs
Published
• View Publication
• BIB
A \emph{domatic} (\emph{total domatic}) \emph{$k$-coloring} of a graph $G$ is an assignment of $k$ colors to the vertices of $G$ such that each vertex contains vertices of all $k$ colors in its closed neighborhood (neighborhood). The \emph{domatic} (\emph{total domatic}) \emph{number} of $G$, denoted $d(G)$ ($d_t (G)$), is the maximum $k$ for which $G$ has a domatic (total domatic) $k$-coloring. In this paper, we show that for two non-trivial graphs $G$ and $H$, the domatic and total domatic numbers of their Cartesian product $G \cart H$ is bounded above by $\max\{|V(G)|, |V(H)|\}$ and below by $\max\{d(G), d(H)\}$. Both these bounds are tight for an infinite family of graphs. Further, we show that if $H$ is bipartite, then $d_t(G \cart H)$ is bounded below by $2\min\{d_t(G),d_t(H)\}$ and $d(G \cart H)$ is bounded below by $2\min\{d(G),d_t(H)\}$. These bounds give easy proofs for many of the known bounds on the domatic and total domatic numbers of hypercubes \cite{chen,zel4} and the domination and total domination numbers of hypercubes \cite{har,joh} and also give new bounds for Hamming graphs. We also obtain the domatic (total domatic) number and domination (total domination) number of $n$-dimensional torus $\mathop{\cart}\limits_{i=1}^{n} C_{k_i}$ with some suitable conditions to each $k_i$, which turns out to be a generalization of a result due to Gravier \cite{grav2} %[\emph{Total domination number of grid graphs}, Discrete Appl. Math. 121 (2002) 119-128] and give easy proof of a result due to Klavžar and Seifter \cite{sand}.
A note on the triameter of graphs
Published in Discrete Appl. Math., 309 (2022), 278-284
• View Publication
• BIB
In this note, we give answers to three questions from the paper [A. Das, Triameter of graphs, Discuss. Math. Graph Theory, 41 (2021), 601--616]. Namely, we obtain a tight lower bound for the triameter of trees in terms of order and number of leaves. We show that in a connected block graph any triametral triple of vertices contains a diametral pair and that any diametral pair of vertices can be extended to a triametral triple. We also present several open problems concerning the interplay between triametral triples, diametral pairs and peripheral vertices in median and distance-hereditary graphs.
A modification of two graph-decomposition theorems based on a vertex-removing synchronised graph product
Published
• View Publication
• BIB
Recently, we have introduced two graph-decomposition theorems based on a new graph product (the vertex-removing synchronised product (VRSP)), motivated by applications in the context of synchronising periodic real-time processes. In these applications, periodic real-time processes synchronise over actions that have the same label and therefore the same behaviour. From a process-algebraic point of view, such a synchronising action is executed atomically and at the same time by all processes that have this action in their alphabet. But, when these processes are executed on some computer platform, synchronisation leads to context switches of the processes and therefore an increased overhead, which may lead to deadline misses. But, by combining processes we reduce the number of context switches and therefore reduce the overhead. We combine these processes by representing the processes by edge-labelled acyclic directed multi-graphs, and multiply the graphs by the VRSP. Next, we transpose the resulting graphs into processes for which there are less context switches. An important aspect of these real-time applications is that they must execute in time. Still, it may happen that the set of processes of the application cannot execute timely and may miss a deadline. Now, by decomposing the graphs and multiplying the graphs by the VRSP in another combination, the processes that are represented by these recombined graphs may execute in time. The requirements of the recently introduced graph-decomposition theorems are too strict and can be relaxed, whereby more graphs can be decomposed giving more possible combinations for the real-time application. Therefore, we recall the definition of the VRSP and the two graph-decomposition theorems, we relax the requirements by stating and proving two lemmas and use these lemmas to state and prove these two (relaxed) graph-decomposition theorems.
Tri-Partitions and Bases of an Ordered Complex
Published in Discrete and Computational Geometry (DCG) 64 (2020), 759-775
• View Publication
• BIB
Generalizing the decomposition of a connected planar graph into a tree and a dual tree, we prove a combinatorial analog of the classic Helmholz-Hodge decomposition of a smooth vector field. Specifically, we show that for every polyhedral complex, $K$, and every dimension, $p$, there is a partition of the set of $p$-cells into a maximal $p$-tree, a maximal $p$-cotree, and a collection of $p$-cells whose cardinality is the $p$-th Betti number of $K$. Given an ordering of the $p$-cells, this tri-partition is unique, and it can be computed by a matrix reduction algorithm that also constructs canonical bases of cycle and boundary groups.
A characterization of $4$-$χ_ρ$-(vertex-)critical graphs
Published
• View Publication
• BIB
Given a graph $G$, a function $c:V(G)\longrightarrow \{1,\ldots,k\}$ with the property that $c(u)=c(v)=i$ implies that the distance between $u$ and $v$ is greater than $i$, is called a $k$-packing coloring of $G$. The smallest integer $k$ for which there exists a $k$-packing coloring of $G$ is called the packing chromatic number of $G$, and is denoted by $χ_ρ$. Packing chromatic vertex-critical graphs are the graphs $G$ for which $χ_ρ(G-x) < χ_ρ(G)$ holds for every vertex $x$ of $G$. A graph $G$ is called a packing chromatic critical graph if for every proper subgraph $H$ of $G$, $χ_ρ(H) < χ_ρ(G)$. Both of the mentioned variations of critical graphs with respect to the packing chromatic number have already been studied. All packing chromatic (vertex-)critical graphs $G$ with $χ_ρ(G)=3$ were characterized, while there were known only partial results for graphs $G$ with $χ_ρ(G)=4$. In this paper, we provide characterizations of all packing chromatic vertex-critical graphs $G$ with $χ_ρ(G)=4$ and all packing chromatic critical graphs $G$ with $χ_ρ(G)=4$.
An operadic approach to substitution in Lie-Butcher series
Published
• View Publication
• BIB
The paper follows an operadic approach to provide a bialgebraic description of substitution for Lie-Butcher series. We first show how the well-known bialgebraic description for substitution in Butcher's $B$-series can be obtained from the pre-Lie operad. We then apply the same construction to the post-Lie operad to arrive at a bialgebra $\mathcal{Q}$. By considering a module over the post-Lie operad, we get a cointeraction between $\mathcal{Q}$ and the Hopf algebra $\mathcal{H}_N$ that describes composition for Lie-Butcher series. We use this coaction to describe substitution for Lie-Butcher series.
Frobenius Numbers and Automatic Sequences
The Frobenius number $g(S)$ of a set $S$ of non-negative integers with $\gcd 1$ is the largest integer not expressible as a linear combination of elements of $S$. Given a sequence ${\bf s} = (s_i)_{i \geq 0}$, we can define the associated sequence $G_{\bf s} (i) = g(\{ s_i,s_{i+1},\ldots \})$. In this paper we compute $G_{\bf s} (i)$ for some classical automatic sequences: the evil numbers, the odious numbers, and the lower and upper Wythoff sequences. In contrast with the usual methods, our proofs are based largely on automata theory and logic.
Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares
Published
• View Publication
• BIB
In this paper we provide results on using integer programming (IP) and constraint programming (CP) to search for sets of mutually orthogonal latin squares (MOLS). Both programming paradigms have previously successfully been used to search for MOLS, but solvers for IP and CP solvers have significantly improved in recent years and data on how modern IP and CP solvers perform on the MOLS problem is lacking. Using state-of-the-art solvers as black boxes we were able to quickly find pairs of MOLS (or prove their nonexistence) in all orders up to ten. Moreover, we improve the effectiveness of the solvers by formulating an extended symmetry breaking method as well as an improvement to the straightforward CP encoding. We also analyze the effectiveness of using CP and IP solvers to search for triples of MOLS, compare our timings to those which have been previously published, and estimate the running time of using this approach to resolve the longstanding open problem of determining the existence of a triple of MOLS of order ten.
Fraïssé and Ramsey properties of Fréchet spaces
Published
• View Publication
• BIB
We develop the theory of Fraïssé limits for classes of finite-dimensional multi-seminormed spaces, which are defined to be vector spaces equipped with a finite sequence of seminorms. We define a notion of a Fraïssé Fréchet space and we use the Fraïssé correspondence in this setting to obtain many examples of such spaces. This allows us to give a Fraïssé-theoretic construction of $(\mathbb{G}^ω, (\|\cdot\|_n)_{n<ω})$, the separable Fréchet space of almost universal disposition for the class of all finite-dimensional Fréchet spaces with an infinite sequence of seminorms. We then identify and prove an approximate Ramsey property for various classes of finite-dimensional multi-seminormed spaces using known approximate Ramsey properties of normed spaces. A version of the Kechris-Pestov-Todorčević correspondence for approximately ultrahomogeneous Fréchet spaces is also established and is used to obtain new examples of extremely amenable groups. In particular, we show that the group of surjective linear seminorm-preserving isometries of $(\mathbb{G}^ω, (\|\cdot\|_n)_{n<ω})$ is extremely amenable.
The super-connectivity of Kneser graph KG(n,3)
A vertex cut $S$ of a connected graph $G$ is a subset of vertices of $G$ whose deletion makes $G$ disconnected. A super vertex cut $S$ of a connected graph $G$ is a subset of vertices of $G$ whose deletion makes $G$ disconnected and there is no isolated vertex in each component of $G-S$. The super-connectivity of graph $G$ is the size of the minimum super vertex cut of $G$. Let $KG(n,k)$ be the Kneser graph whose vertices set are the $k$-subsets of $\{1,\cdots,n\}$, where $k$ is the number of labels of each vertex in $G$. We aim to show that the conjecture from Boruzanli and Gauci \cite{EG19} on the super-connectivity of Kneser graph $KG(n,k)$ is true when $k=3$.
Towards quantized complex numbers: $q$-deformed Gaussian integers and the Picard group
Published in Open Communications in Nonlinear Mathematical Physics, Volume 1 (July 29, 2021) ocnmp:7480
• View Publication
• BIB
This work is a first step towards a theory of "$q$-deformed complex numbers". Assuming the invariance of the $q$-deformation under the action of the modular group I prove the existence and uniqueness of the operator of translations by~$i$ compatible with this action. Obtained in such a way $q$-deformed Gaussian integers have interesting properties and are related to the Chebyshev polynomials.