Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Toric log del Pezzo surfaces with one singularity
Published
• View Publication
• BIB
This paper focuses on the classification of all toric log Del Pezzo surfaces with exactly one singularity up to isomorphism, and on the description of how they are embedded as intersections of finitely many quadrics into suitable projective spaces.
Elation KM-arcs
Published
• View Publication
• BIB
In this paper, we study KM-arcs in $PG(2, q)$, the Desarguesian projective plane of order $q$. A KM-arc A of type $t$ is a natural generalisation of a hyperoval: it is a set of $q + t$ points in $PG(2, q)$ such that every line of $PG(2,q)$ meets A in $0,2$ or $t$ points. We study a particular class of KM-arcs, namely, elation KM-arcs. These KM-arcs are highly symmetrical and moreover, many of the known examples are elation KM-arcs. We provide an algebraic framework and show that all elation KM-arcs of type $q/4$ in $PG(2,q)$ are translation KM-arcs. Using a result of [2], this concludes the classification problem for elation KM-arcs of type $q/4$. Furthermore, we construct for all $q = 2^h$, $h > 3$, an infinite family of elation KM-arcs of type $q/8$, and for $q = 2^h$, where $4, 6, 7 | h$ an infinite family of KM-arcs of type $q/16$. Both families contain new examples of KM-arcs.
Antimatroids Induced by Matchings
Published
• View Publication
• BIB
We explore novel connections between antimatroids and matchings in bipartite graphs. In particular, we prove that a combinatorial structure induced by stable matchings or maximum-weight matchings is an antimatroid. Moreover, we demonstrate that every antimatroid admits such a representation by stable matchings and maximum-weight matchings.
Invariance: a Theoretical Approach for Coding Sets of Words Modulo Literal (Anti)Morphisms
Let $A$ be a finite or countable alphabet and let $θ$ be literal (anti)morphism onto $A^*$ (by definition, such a correspondence is determinated by a permutation of the alphabet). This paper deals with sets which are invariant under $θ$ ($θ$-invariant for short).We establish an extension of the famous defect theorem. Moreover, we prove that for the so-called thin $θ$-invariant codes, maximality and completeness are two equivalent notions. We prove that a similar property holds in the framework of some special families of $θ$-invariant codes such as prefix (bifix) codes, codes with a finite deciphering delay, uniformly synchronized codes and circular codes. For a special class of involutive antimorphisms, we prove that any regular $θ$-invariant code may be embedded into a complete one.
Two-Planar Graphs Are Quasiplanar
It is shown that every 2-planar graph is quasiplanar, that is, if a simple graph admits a drawing in the plane such that every edge is crossed at most twice, then it also admits a drawing in which no three edges pairwise cross. We further show that quasiplanarity is witnessed by a simple topological drawing, that is, any two edges cross at most once and adjacent edges do not cross.
Sequences, modular forms and cellular integrals
Published in Math. Proc. Camb. Phil. Soc. 168 (2020) 379-404
• View Publication
• BIB
It is well-known that the Apéry sequences which arise in the irrationality proofs for $ζ(2)$ and $ζ(3)$ satisfy many intriguing arithmetic properties and are related to the $p$th Fourier coefficients of modular forms. In this paper, we prove that the connection to modular forms persists for sequences associated to Brown's cellular integrals and state a general conjecture concerning supercongruences.
The Parameterized Complexity of the Equidomination Problem
Published
• View Publication
• BIB
A graph $G=(V,E)$ is called equidominating if there exists a value $t \in \mathbb{N}$ and a weight function $ω: V \rightarrow \mathbb{N}$ such that the total weight of a subset $D\subseteq V$ is equal to $t$ if and only if $D$ is a minimal dominating set. To decide whether or not a given graph is equidominating is referred to as the Equidomination problem.
In this paper we show that two parameterized versions of the Equidomination problem are fixed-parameter tractable: the first parameterization considers the target value $t$ leading to the Target-$t$ Equidomination problem. The second parameterization allows only weights up to a value $k$, which yields the $k$-Equidomination problem.
In addition, we characterize the graphs whose every induced subgraph is equidominating. We give a finite forbidden induced subgraph characterization and derive a fast recognition algorithm.
Topology reveals universal features for network comparison
The topology of any complex system is key to understanding its structure and function. Fundamentally, algebraic topology guarantees that any system represented by a network can be understood through its closed paths. The length of each path provides a notion of scale, which is vitally important in characterizing dominant modes of system behavior. Here, by combining topology with scale, we prove the existence of universal features which reveal the dominant scales of any network. We use these features to compare several canonical network types in the context of a social media discussion which evolves through the sharing of rumors, leaks and other news. Our analysis enables for the first time a universal understanding of the balance between loops and tree-like structure across network scales, and an assessment of how this balance interacts with the spreading of information online. Crucially, our results allow networks to be quantified and compared in a purely model-free way that is theoretically sound, fully automated, and inherently scalable.
Random ubiquitous transformation semigroups
Published in Semigroup Forum, 99(3), (2019), 655-678
• View Publication
• BIB
A smallest generating set of a semigroup is a generating set of the smallest cardinality. Similarly, an irredundant generating set $X$ is a generating set such that no proper subset of $X$ is also a generating set. A semigroup $S$ is ubiquitous if every irredundant generating set of $S$ is of the same cardinality.
We are motivated by a naïve algorithm to find a small generating set for a semigroup, which in practice often outputs a smallest generating set. We give a sufficient condition for a transformation semigroup to be ubiquitous and show that a transformation semigroup generated by $k$ randomly chosen transformations asymptoticly satisfies the sufficient condition. Finally, we show that under this condition the output of the previously mentioned naïve algorithm is irredundant.
Counting perfect matchings and the switch chain
Published
• View Publication
• BIB
We examine the problem of exactly or approximately counting all perfect matchings in hereditary classes of nonbipartite graphs. In particular, we consider the switch Markov chain of Diaconis, Graham and Holmes. We determine the largest hereditary class for which the chain is ergodic, and define a large new hereditary class of graphs for which it is rapidly mixing. We go on to show that the chain has exponential mixing time for a slightly larger class. We also examine the question of ergodicity of the switch chain in a arbitrary graph. Finally, we give exact counting algorithms for three classes.
Face module for realizable Z-matroids
Published
• View Publication
• BIB
In this work, we define the face module for a realizable matroid over Z. Its Hilbert series is, indeed, the expected specialization of the Grothendieck - Tutte polynomial defined by Fink and Moci.
This work will appear in 'Contributions to Discrete Mathematics'
Connectedness of two-sided group digraphs and graphs
Published in Involve 11 (2018) 679-699
• View Publication
• BIB
Two-sided group digraphs and graphs, introduced by Iradmusa and Praeger, provide a generalization of Cayley digraphs and graphs in which arcs are determined by left and right multiplying by elements of two subsets of the group. We characterize when two-sided group digraphs and graphs are weakly and strongly connected and count connected components, using both an explicit elementary perspective and group actions. Our results and examples address four open problems posed by Iradmusa and Praeger that concern connectedness and valency. We pose five new open problems.
Correlation Functions of the Pfaffian Schur Process Using Macdonald Difference Operators
Published in SIGMA 15 (2019), 092, 37 pages
• View Publication
• BIB
We study the correlation functions of the Pfaffian Schur process. Borodin and Rains [J. Stat. Phys. 121 (2005), 291-317] introduced the Pfaffian Schur process and derived its correlation functions using a Pfaffian analogue of the Eynard-Mehta theorem. We present here an alternative derivation of the correlation functions using Macdonald difference operators.
Four NP-complete problems about generalizations of perfect graphs
We show that the following problems are NP-complete.
1. Can the vertex set of a graph be partitioned into two sets such that each set induces a perfect graph?
2. Is the difference between the chromatic number and clique number at most $1$ for every induced subgraph of a graph?
3. Can the vertex set of every induced subgraph of a graph be partitioned into two sets such that the first set induces a perfect graph, and the clique number of the graph induced by the second set is smaller than that of the original induced subgraph?
4. Does a graph contain a stable set whose deletion results in a perfect graph?
The proofs of the NP-completeness of the four problems follow the same pattern: Showing that all the four problems are NP-complete when restricted to triangle-free graphs by using results of Maffray and Preissmann on $3$-colorability and $4$-colorability of triangle-free graphs
A Comprehensive Introduction to the Theory of Word-Representable Graphs
Published
• View Publication
• BIB
Letters $x$ and $y$ alternate in a word $w$ if after deleting in $w$ all letters but the copies of $x$ and $y$ we either obtain a word $xyxy\cdots$ (of even or odd length) or a word $yxyx\cdots$ (of even or odd length). A graph $G=(V,E)$ is word-representable if and only if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy\in E$.
Word-representable graphs generalize several important classes of graphs such as circle graphs, $3$-colorable graphs and comparability graphs. This paper offers a comprehensive introduction to the theory of word-representable graphs including the most recent developments in the area.
Generalizing a partition theorem of Andrews
Motivated by Andrews' recent work related to Euler's partition theorem, we consider the set of partitions of an integer $n$ where the set of even parts has exactly $j$ elements, versus the set of partitions of $n$ where the set of repeated parts has exactly $j$ elements. These two sets of partitions turn out to be equinumerous, and this naturally encloses Euler's theorem and Andrews' theorem as two special cases. We give two proofs, one using generating function, and the other is a direct bijection that builds on Glaisher's bijection
A matrix approach to the Yang multiplication theorem
In this paper, we use two-variable Laurent polynomials attached to matrices to encode properties of compositions of sequences. The Lagrange identity in the ring of Laurent polynomials is then used to give a short and transparent proof of a theorem about the Yang multiplication.
Interior polynomial for signed bipartite graphs and the HOMFLY polynomial
Published
• View Publication
• BIB
The interior polynomial is an invariant of bipartite graphs, and a part of the HOMFLY polynomial of a special alternating link coincides with the interior polynomial of the Seifert graph of the link. We extend the interior polynomial to signed bipartite graphs, and we show that, in the planar case, it is equal to a part of the HOMFLY polynomial of a naturally associated link. We also establish some other, more basic properties of this new notion. This leads to new identities involving the original interior polynomial.
A Compact Representation for Modular Semilattices and its Applications
Published
• View Publication
• BIB
A modular semilattice is a semilattice generalization of a modular lattice. We establish a Birkhoff-type representation theorem for modular semilattices, which says that every modular semilattice is isomorphic to the family of ideals in a certain poset with additional relations.This new poset structure, which we axiomatize in this paper, is called a PPIP (projective poset with inconsistent pairs). A PPIP is a common generalization of a PIP (poset with inconsistent pairs) and a projective ordered space. The former was introduced by Barthélemy and Constantin for establishing Birkhoff-type theorem for median semilattices, and the latter by Herrmann, Pickering, and Roddy for modular lattices. We show the $Θ(n)$ representation complexityand a construction algorithm for PPIP-representations of $(\wedge, \vee)$-closed sets in the product $L^n$ of modular semilattice $L$. This generalizes the results of Hirai and Oki for a special median semilattice $S_k$. We also investigate implicational bases for modular semilattices. Extending earlier results of Wild and Herrmann for modular lattices, we determine optimal implicational bases and develop a polynomial time recognition algorithm for modular semilattices. These results can be applied to retain the minimizer set of a submodular function on a modular semilattice.
Cherlin's conjecture for sporadic simple groups
Published in Pacific J. Math. 297 (2018) 47-66
• View Publication
• BIB
We prove Cherlin's conjecture, concerning binary primitive permutation groups, for those groups with socle isomorphic to a sporadic simple group.