Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Freeness of arrangements of lines and one conic with ordinary quasi-homogeneous singularities
Published in Taiwanese Journal of Mathematics 29(6): 1651 - 1666 (2025)
• View Publication
• BIB
The main purpose of the present paper is to provide a partial classification, performed with respect the weak-combinatorics, of free arrangements consisting of lines and one smooth conic with quasi-homogeneous ordinary singularities.
Precoloring extension in planar near-Eulerian-triangulations
We consider the 4-precoloring extension problem in \emph{planar near-Eulerian-triangulations}, i.e., plane graphs where all faces except possibly for the outer one have length three, all vertices not incident with the outer face have even degree, and exactly the vertices incident with the outer face are precolored. We give a necessary topological condition for the precoloring to extend, and give a complete characterization when the outer face has length at most five and when all vertices of the outer face have odd degree and are colored using only three colors.
Solving the Mostar index inverse problem
Published
• View Publication
• BIB
A nonnegative integer $p$ is realizable by a graph-theoretical invariant $I$ if there exist a graph $G$ such that $I(G) = p$. The inverse problem for $I$ consists of finding all nonnegative integers $p$ realizable by $I$. In this paper, we consider and solve the inverse problem for the Mostar index, a recently introduced graph-theoretical invariant which attracted a lot of attention in recent years in both the mathematical and the chemical community. We show that a nonnegative integer is realizable by the Mostar index if and only if it is not equal to one. Besides presenting the complete solution to the problem, we also present some empirical observations and outline several open problems and possible directions for further research.
Formulas for the Number of Weak Homomorphisms from Paths to Rectangular Grid Graphs
Published
• View Publication
• BIB
A weak homomorphism from a graph G to a graph H is a mapping f from V(G) to V(H), where either f(x) = f(y) or {f(x), f(y)} is an element of E(H), and this holds for all {x, y} in E(G). A rectangular grid graph is formed by taking the Cartesian product of two paths. In this paper, we present a formula for calculating the number of weak homomorphisms from paths to rectangular grid graphs.
Tamari intervals and blossoming trees
Published in Combinatorial Theory, Volume 5, Issue 1, 2025
• View Publication
• BIB
We introduce a simple bijection between Tamari intervals and the blossoming trees (Poulalhon and Schaeffer, 2006) encoding planar triangulations, using a new meandering representation of such trees. Its specializations to the families of synchronized, Kreweras, new/modern, and infinitely modern intervals give a combinatorial proof of the counting formula for each family. Compared to (Bernardi and Bonichon, 2009), our bijection behaves well with the duality of Tamari intervals, enabling also the counting of self-dual intervals.
Symmetries of voltage operations on polytopes, maps and maniplexes
Published
• View Publication
• BIB
Voltage operations extend traditional geometric and combinatorial operations (such as medial, truncation, prism, and pyramid over a polytope) to operations on maniplexes, maps, polytopes, and hypertopes. In classical operations, the symmetries of the original object remain in the operated one, but sometimes additional symmetries are created; the same situation arises with voltage operations. We characterise the automorphisms of the operated object that are derived from the original one and use this to bound the number of flag orbits (under the action of the automorphism group) of the operated object in terms of the original one. The conditions under which the automorphism group of the original object is the same as the automorphism group of the operated object are given. We also look at the cases where there is additional symmetry, which can be accurately described due to the symmetries of the operation itself.
Special divisors in special divisor classes on graphs
Published
• View Publication
• BIB
As in algebraic geometry, an effective divisor class on a vertex-weighted graph is called special if also its residual class is effective. We study the question, when this is true already on the level of divisors; that is, when there exists an effective divisor in the class whose residual is effective as well, so called uniform divisors. We show that uniform divisors exist in any special class on graphs with all vertex weights non-zero; we show that in general a representative can be chosen, whose value is off by at most one on vertices of weight zero. To prove this, we generalize the notion of divisors that are reduced with respect to a vertex to divisors that are reduced with respect to a set of vertices. We compare this notion to a previous generalization due to Luo. As an application, we obtain a new algorithm to determine whether a divisor class is effective.
Dimer piling problems and interacting field theory
Published
• View Publication
• BIB
The dimer tiling problem asks in how many ways can the edges of a graph be covered by dimers so that each site is covered once. In the special case of a planar graph, this problem has a solution in terms of a free fermionic field theory. We rediscover and explore an expression for the number of coverings of an arbitrary graph by arbitrary objects in terms of an interacting fermionic field theory first proposed by Samuel. Generalizations of the dimer tiling problem, which we call `dimer piling problems,' demand that each site be covered N times by indistinguishable dimers. Our field theory provides a solution of these problems in the large-N limit. We give a similar path integral representation for certain lattice coloring problems.
Central measures of the jump graph for Young--Fibonacci graph
For fixed $k$, we consider the subgraph $YF_k=(V_k,E_k)$ of the famous Young--Fibonacci graph formed by the words with at most $k$ 2-s. The jump graph is a graded graph is defined as follows: each level is identified with $V_k$, and an edge between two vertices $(v_1,i)$ and $(v_{2},i+1)$, $v_1,v_2\in V_k$, of neighbouring levels us drawn iff $v_2$ is a descendant of $v_1$ in $YF_k$. The goal of this paper is to describe all central measures on the path space of $YF_k$.
Quantum automorphisms of matroids
Published
• View Publication
• BIB
Motivated by the vast literature of quantum automorphism groups of graphs, we define and study quantum automorphism groups of matroids. A key feature of quantum groups is that there are many quantizations of a classical group, and this phenomenon manifests in the cryptomorphic characterizations of matroids. Our primary goals are to understand, using theoretical and computational techniques, the relationship between these quantum groups and to find when these quantum groups exhibit quantum symmetry. Finally, we prove a matroidal analog of Lovász's theorem characterizing graph isomorphisms in terms of homomorphism counts.
Average hitting times in some $f$-equitable graphs
Published
• View Publication
• BIB
It is known that the average hitting times of simple random walks from any vertex to any other vertex in distance-regular graphs are determined by their intersection array. In this paper, we introduce a new graph classification called $f$-equitable, utilizing both the equitable partition and the function $f$, which represents a generalization of distance-regular graphs. We determine the average hitting times from any vertex to any other vertex in $f$-equitable graphs by using their parameter referred to as the quotient matrix. Furthermore, we prove that there is some function $f$ such that the Cartesian product of two strongly regular graphs is $f$-equitable. We then calculate the quotient matrix for these graphs and determine the average hitting times from any vertex to any other vertex in these graphs. In the same manner, we determine the average hitting times on some generalized Paley graphs.
On recognition algorithms and structure of graphs with restricted induced cycles
This is my PhD thesis which was defended in May 2021.
We call an induced cycle of length at least four a hole. The parity of a hole is the parity of its length. Forbidding holes of certain types in a graph has deep structural implications. In 2006, Chudnovksy, Seymour, Robertson, and Thomas famously proved that a graph is perfect if and only if it does not contain an odd hole or a complement of an odd hole. In 2002, Conforti, Cornuéjols, Kapoor and Vuškovíc provided a structural description of the class of even-hole-free graphs. In Chapter 3, we provide a structural description of all graphs that contain only holes of length $\ell$ for every $\ell \geq 7$.
Analysis of how holes interact with graph structure has yielded detection algorithms for holes of various lengths and parities. In 1991, Bienstock showed it is NP-Hard to test whether a graph G has an even (or odd) hole containing a specified vertex $v \in V(G)$. In 2002, Conforti, Cornuéjols, Kapoor and Vuškovíc gave a polynomial-time algorithm to recognize even-hole-free graphs using their structure theorem. In 2003, Chudnovsky, Kawarabayashi and Seymour provided a simpler and slightly faster algorithm to test whether a graph contains an even hole. In 2019, Chudnovsky, Scott, Seymour and Spirkl provided a polynomial-time algorithm to test whether a graph contains an odd hole. Later that year, Chudnovsky, Scott and Seymour strengthened this result by providing a polynomial-time algorithm to test whether a graph contains an odd hole of length at least $\ell$ for any fixed integer $\ell \geq 5$. In Chapter 2, we provide a polynomial-time algorithm to test whether a graph contains an even hole of length at least $\ell$ for any fixed integer $\ell \geq 4$.
From Pascal's Theorem to the geometry of Ziegler's line arrangements
Published
• View Publication
• BIB
Günter Ziegler has shown in 1989 that some homological invariants associated with the free resolutions of Jacobian ideals of line arrangements are not determined by combinatorics. His classical example involves hexagons inscribed in conics. Independently, Sergey Yuzvinsky has arrived in 1993 at the same type of line arrangements in order to show that formality is not determined by the combinatorics. In this note we look into the geometry of such line arrangements, and find out an unexpected relation to the classical Pascal's Theorem. Our results give information on the minimal degree of a Jacobian syzygy and on the formality of such hexagonal line arrangements in general, without an explicit choice for the six vertices of the hexagon.
About the determinant of complete non-ambiguous trees
Published in Discrete Mathematics and Theoretical Computer Science, 2024, 26 (3), pp.18
• View Publication
• BIB
Complete non-ambiguous trees (CNATs) are combinatorial objects which appear in various contexts.Recently, Chen and Ohlig studied the notion of permutations associated to these objects, and proposed a series of nice conjectures.Most of them were proved by Selig and Zhu, through a connection with the abelian sandpile model.But one conjecture remained open, about the distribution of a natural statistic named determinant.We prove this conjecture, in a bijective way.
Offensive Alliances in Signed Graphs
Published
• View Publication
• BIB
Signed graphs have been introduced to enrich graph structures expressing relationships between persons or general social entities, introducing edge signs to reflect the nature of the relationship, e.g., friendship or enmity. Independently, offensive alliances have been defined and studied for undirected, unsigned graphs. We join both lines of research and define offensive alliances in signed graphs, hence considering the nature of relationships. Apart from some combinatorial results, mainly on k-balanced and k-anti-balanced signed graphs (where the latter is a newly introduced family of signed graphs), we focus on the algorithmic complexity of finding smallest offensive alliances, looking at a number of parameterizations. While the parameter solution size leads to an FPT result for unsigned graphs, we obtain W[2]-completeness for the signed setting. We introduce new parameters for signed graphs, e.g., distance to weakly balanced signed graphs, that could be of independent interest. We show that these parameters yield FPT results. Here, we make use of the recently introduced parameter neighborhood diversity for signed graphs.
Embeddable partial Hadamard matrices related to the projective planes
The existence of a projective plane of order $p\equiv3\pmod{4}$, where $p$ is a prime power, is shown to be equivalent to the existence of a balancedly multi-splittable embeddable $p^2\times p(p+1)$ partial Hadamard matrix.
Transitive Nonlocal Games
Published in J. Math. Phys. 65, 072202 (2024)
• View Publication
• BIB
We study a class of nonlocal games, called transitive games, for which the set of perfect strategies forms a semigroup. We establish several interesting correspondences of bisynchronous transitive games with the theory of compact quantum groups. In particular, we associate a quantum permutation group with each bisynchronous transitive game and vice versa. We prove that the existence of a C*-strategy, the existence of a quantum commuting strategy, and the existence of a classical strategy are all equivalent for bisynchronous transitive games. We then use some of these correspondences to establish necessary and sufficient conditions for some classes of correlations, that arise as perfect strategies of transitive games, to be nonlocal.
An Isoperimetric Inequality and Pursuit-Evasion Games on Triangular Grid Graphs
Published
• View Publication
• BIB
In this paper, we prove an isoperimetric inequality for the triangular grid graph which was conjectured by Adams, Gibson, and Pfaffinger, using the compression technique of Bollobás and Leader. Moreover, we apply the isoperimetric inequality to the Zero-Visibility Search game and Lions and Contamination game in order to obtain lower bounds for the inspection number and lion number respectively. We also provide searching strategies to prove upper bounds for both the inspection number and lion number.
Rigidity of symmetric linearly constrained frameworks in the plane
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 motions of the vertices arise from isometries of the space. Motivated by applications where boundary conditions play a significant role, one may generalise and consider linearly constrained frameworks where some vertices are constrained to move on fixed affine subspaces. Streinu and Theran characterised exactly which linearly constrained frameworks are generically rigid in 2-dimensional space. In this article we extend their characterisation to symmetric frameworks. In particular necessary combinatorial conditions are given for a symmetric linearly constrained framework in the plane to be isostatic (i.e. minimally infinitesimally rigid) under any finite point group symmetry. In the case of rotation symmetry groups whose order is either 2 or odd, these conditions are then shown to be sufficient under suitable genericity assumptions, giving precise combinatorial descriptions of symmetric isostatic graphs in these contexts.
New results on large sets of orthogonal arrays and orthogonal arrays
Published
• View Publication
• BIB
Orthogonal array and a large set of orthogonal arrays are important research objects in combinatorial design theory, and they are widely applied to statistics, computer science, coding theory and cryptography. In this paper, some new series of large sets of orthogonal arrays are given by direct construction, juxtaposition construction, Hadamard construction, finite field construction and difference matrix construction. Subsequently, many new infinite classes of orthogonal arrays are obtained by using these large sets of orthogonal arrays and Kronecker product.