Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Some results on double triangle descendants of $K_5$
Published
• View Publication
• BIB
Double triangle expansion is an operation on $4$-regular graphs with at least one triangle which replaces a triangle with two triangles in a particular way. We study the class of graphs which can be obtained by repeated double triangle expansion beginning with the complete graph $K_5$. These are called double triangle descendants of $K_5$. We enumerate, with explicit rational generating functions, those double triangle descendants of $K_5$ with at most four more vertices than triangles. We also prove that the minimum number of triangles in any $K_5$ descendant is four. Double triangle descendants are an important class of graphs because of conjectured properties of their Feynman periods when they are viewed as scalar Feynman diagrams, and also because of conjectured properties of their $c_2$ invariants, an arithmetic graph invariant with quantum field theoretical applications.
Deza graphs with parameters (v,k,k-2,a)
Published in J Combin Des. (2020) 1-12
• View Publication
• BIB
A Deza graph with parameters $(v,k,b,a)$ is a $k$-regular graph on $v$ vertices in which the number of common neighbors of two distinct vertices takes two values $a$ or $b$ ($a\leq b$) and both cases exist. In the previous papers Deza graphs with parameters $(v,k,b,a)$ where $k-b = 1$ were characterized. In the paper we characterise Deza graphs with $k-b = 2$.
Making multigraphs simple by a sequence of double edge swaps
We show that any loopy multigraph with a graphical degree sequence can be transformed into a simple graph by a finite sequence of double edge swaps with each swap involving at least one loop or multiple edge. Our result answers a question of Janson motivated by random graph theory, and it adds to the rich literature on reachability of double edge swaps with applications in Markov chain Monte Carlo sampling from the uniform distribution of graphs with prescribed degrees.
The $h$-edge tolerable diagnosability of balanced hypercubes
Published
• View Publication
• BIB
To measure the fault diagnosis capability of a multiprocessor system with faulty links, Zhu et al. [Theoret. Comput. Sci. 758 (2019) 1--8] introduced the $h$-edge tolerable diagnosability. This kind of diagnosability is a generalization of the concept of traditional diagnosability. In this paper, as complement to the results in [Theoret. Comput. Sci. 760 (2019) 1--14], we completely determine the $h$-edge tolerable diagnosability of balanced hypercubes $BH_n$ under the PMC model and the MM$^*$ model. Thus, the traditional diagnosability of $BH_n$ is also determined.
Latin cubes of even order with forbidden entries
Published
• View Publication
• BIB
We consider the problem of constructing Latin cubes subject to the condition that some symbols may not appear in certain cells. We prove that there is a constant $γ> 0$ such that if $n=2t$ and $A$ is a $3$-dimensional $n\times n\times n$ array where every cell contains at most $γn$ symbols, and every symbol occurs at most $γn$ times in every line of $A$, then $A$ is {\em avoidable}; that is, there is a Latin cube $L$ of order $n$ such that for every $1\leq i,j,k\leq n$, the symbol in position $(i,j,k)$ of $L$ does not appear in the corresponding cell of $A$.
The Varchenko Determinant for Apartments
Published
• View Publication
• BIB
Varchenko introduced a distance function on chambers of hyperplane arrangements that he called quantum bilinear form. That gave rise to a determinant indexed by chambers whose entry in position $(C,D)$ is the distance between $C$ and $D$: that is the Varchenko determinant. He showed that that determinant has a nice factorization. Later, Aguiar and Mahajan defined a generalization of the quantum bilinear form, and computed the Varchenko determinant given rise by that generalization for central hyperplane arrangements and their cones. This article takes inspiration from their proof strategy to compute the Varchenko determinant given rise by their distance function for apartment of hyperplane arrangements. Those latter are in fact realizable conditional oriented matroids.
On restricted colorings of $(d,s)$-edge colorable graphs
Published
• View Publication
• BIB
A cycle is $2$-colored if its edges are properly colored by two distinct colors. A $(d,s)$-edge colorable graph $G$ is a $d$-regular graph that admits a proper $d$-edge coloring in which every edge of $G$ is in at least $s-1$ $2$-colored $4$-cycles. Given a $(d,s)$-edge colorable graph $G$ and a list assigment $L$ of forbidden colors for the edges of $G$ satisfying certain sparsity conditions, we prove that there is a proper $d$-edge coloring of $G$ that avoids $L$, that is, a proper edge coloring $\varphi$ of $G$ such that $\varphi(e) \notin L(e)$ for every edge $e$ of $G$.
An Asymptotic Form of the Generating Function $\prod_{k=1}^\infty (1+x^k/k)$
It is shown that the sequence of rational numbers $r(k)$ generated by the ordinary generating function $\prod_{k=1}^\infty (1+x^k/k)$ converges to a limit $C > 0$. $C$ can be expressed as $C = \exp\Bigl(-\sum_{k = 2}^\infty \frac{(-1)^k}{k}\ ζ(k) \Bigr)$ where $ζ()$ denotes the Riemann zeta function.
A decorated tree approach to random permutations in substitution-closed classes
Published in Electron. J. Probab. 25 (2020), paper no. 67, 52 pp
• View Publication
• BIB
We establish a novel bijective encoding that represents permutations as forests of decorated (or enriched) trees. This allows us to prove local convergence of uniform random permutations from substitution-closed classes satisfying a criticality constraint. It also enables us to reprove and strengthen permuton limits for these classes in a new way, that uses a semi-local version of Aldous' skeleton decomposition for size-constrained Galton--Watson trees.
Binary patterns in the Prouhet-Thue-Morse sequence
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Automata, Logic and Semantics (August 30, 2021) dmtcs:5460
• View Publication
• BIB
We show that, with the exception of the words $a^2ba^2$ and $b^2ab^2$, all (finite or infinite) binary patterns in the Prouhet-Thue-Morse sequence can actually be found in that sequence as segments (up to exchange of letters in the infinite case). This result was previously attributed to unpublished work by D. Guaiana and may also be derived from publications of A. Shur only available in Russian. We also identify the (finitely many) finite binary patterns that appear non trivially, in the sense that they are obtained by applying an endomorphism that does not map the set of all segments of the sequence into itself.
Some cyclic properties of $L_1$-graphs
A graph $G$ is called an $L_1$-graph if $d(u)+d(v)\ge|N(u)\cup N(v)\cup N(w)|-1$ for every triple of vertices $u,v,w$ where $u$ and $v$ are at distance 2 and $w\in N(u)\cap N(v)$. Asratian et al. (1996) proved that all finite connected $L_1$-graphs on at least three vertices such that $|N(u)\cap N(v)|\ge2$ for each pair of vertices $u,v$ at distance 2 are Hamiltonian, except for a simple family $\mathcal{K}$ of exceptions.
We show that not all such graphs are pancyclic, but that any non-Hamiltonian cycle in such a graph can be extended to a larger cycle containing all vertices of the original cycle and at most two other vertices. We also prove a similar result for paths whose endpoints do not have any common neighbors.
A Linear Upper Bound on the Weisfeiler-Leman Dimension of Graphs of Bounded Genus
The Weisfeiler-Leman (WL) dimension of a graph is a measure for the inherent descriptive complexity of the graph. While originally derived from a combinatorial graph isomorphism test called the Weisfeiler-Leman algorithm, the WL dimension can also be characterised in terms of the number of variables that is required to describe the graph up to isomorphism in first-order logic with counting quantifiers.
It is known that the WL dimension is upper-bounded for all graphs that exclude some fixed graph as a minor (Grohe, JACM 2012). However, the bounds that can be derived from this general result are astronomic. Only recently, it was proved that the WL dimension of planar graphs is at most 3 (Kiefer, Ponomarenko, and Schweitzer, LICS 2017).
In this paper, we prove that the WL dimension of graphs embeddable in a surface of Euler genus $g$ is at most $4g+3$. For the WL dimension of graphs embeddable in an orientable surface of Euler genus $g$, our approach yields an upper bound of $2g+3$.
From Hall's Marriage Theorem to Boolean Satisfiability and Back
Motivated by the application of Hall's Marriage Theorem in various LP-rounding problems, we introduce a generalization of the classical marriage problem (CMP) that we call the Fractional Marriage Problem. We show that the Fractional Marriage Problem is NP-Complete by reduction from Boolean Satisfiability (SAT). We show that when we view the classical marriage problem (a.k.a. bipartite matching) as a sub-class of SAT we get a new class of polynomial-time satisfiable SAT instances that we call CMP-SAT, different from the classically known polynomial-time satisfiable SAT instances 2-SAT, Horn-SAT and XOR-SAT.
We next turn to the problem of recognizing CMP-SAT instances, first using SAT embeddings, and then using their embeddings within the universe of Fractional Marriage Problems (FMPs). In the process we are led to another generalization of the CMP that we call the Symmetric Marriage Problem, which is polynomial time decidable and leads to a slight enlargement of the CMP-SAT class. We develop a framework for simplifying FMP problems to identify CMP instances that we call Fragment Logic. Finally we give a result that sheds light on how expressive the FMP need be to still be NP-Complete. The result gives a second NP-Complete reduction of the FMP, this time to Tripartite Matching. We conclude with a wide assortment of suggested additional problems.
The Turán number of blow-ups of trees
Published
• View Publication
• BIB
A conjecture of Erdős from 1967 asserts that any graph on $n$ vertices which does not contain a fixed $r$-degenerate bipartite graph $F$ has at most $Cn^{2-1/r}$ edges, where $C$ is a constant depending only on $F$. We show that this bound holds for a large family of $r$-degenerate bipartite graphs, including all $r$-degenerate blow-ups of trees. Our results generalise many previously proven cases of the Erdős conjecture, including the related results of Füredi and Alon, Krivelevich and Sudakov. Our proof uses supersaturation and a random walk on an auxiliary graph.
Flagged $(\mathcal{P},ρ)$-partitions
Published
• View Publication
• BIB
We introduce the theory of $(\mathcal{P},ρ)$-partitions, depending on a poset $\mathcal{P}$ and a map $ρ$ from $\mathcal{P}$ to positive integers. The generating function $\mathfrak{F}_{\mathcal{P},ρ}$ of $(\mathcal{P},ρ)$-partitions is a polynomial that, when the images of $ρ$ tend to infinity, tends to Stanley's generating function $F_{\mathcal{P}}$ of $\mathcal{P}$-partitions. Analogous to Stanley's fundamental theorem for $\mathcal{P}$-partitions, we show that the set of $(\mathcal{P},ρ)$-partitions decomposes as a disjoint union of $(\mathcal{L},ρ)$-partitions where $\mathcal{L}$ runs over the set of linear extensions of $\mathcal{P}$. In this more general context, the set of all $\mathfrak{F}_{\mathcal{L},ρ}$ for linear orders $\mathcal{L}$ over determines a basis of polynomials. We thus introduce the notion of flagged $(\mathcal{P},ρ)$-partitions, and we prove that the set of all $\mathfrak{F}_{\mathcal{L},ρ}$ for flagged $(\mathcal{L},ρ)$-partitions for linear orders $\mathcal{L}$ is precisely the fundamental slide basis of the polynomial ring, introduced by the first author and Searles. Our main theorem shows that any generating function $\mathfrak{F}_{\mathcal{P},ρ}$ of flagged $(\mathcal{P},ρ)$-partitions is a positive integer linear combination of slide polynomials. As applications, we give a new proof of positivity of the slide product and, motivating our nomenclature, we also prove flagged Schur functions are slide positive.
The number of fuzzy subgroups of a finite abelian group of order $p^{n}q^{m}$
The purpose of this paper is to determine the number of fuzzy subgroups of a finite abelian group of order $p^{n}q^{m}$. As an application of our main result, explicit formulas for the number of fuzzy subgroups of $\mathbb{Z}_{p}^{n}\times\mathbb{Z}_{q}^{m}$ and $\mathbb{Z}_{p^{n}}\times\mathbb{Z}_{q}^{m}$ are given.
Proof of the List Coloring Conjecture for line perfect multigraphs
We prove that for a line perfect multigraph the chromatic index is equal to the list chromatic index. This is a generalization of Galvin's result on bipartite multigraphs.
Soon after the first version was submitted to arxiv, I found out that the same result has already been achieved in an older paper by Peterson and Woodall, by a similar but not entirely the same method.
Spectra of comb graphs with tails
Published
• View Publication
• BIB
Given two graphs, a backbone and a finger, a comb product is a new graph obtained by grafting a copy of the finger into each vertex of the backbone. We study the comb graphs in the case when both components are the paths of order $n$ and $k$, respectively, as well as the above comb graphs with an infinite ray attached to some of their vertices. A detailed spectral analysis is carried out in both situations.
On bipartite distance-regular Cayley graphs with diameter $3$
In this paper, we show that every bipartite distance-regular Cayley graph with diameter $3$ can be constructed on the semidirect product of a group and $\mathbb{Z}_{2}$, except possibly for one case.
Geometrical Realisations of the Simple Permutoassociahedron by Minkowski sums
Published
• View Publication
• BIB
This paper offers a geometrical realisation of simple permutoassociahedra, which has significant importance serving as a topological proof of Mac Lane's coherence. We introduce a family of $n$-polytopes, $PA_{n,c}$, obtained by Minkowski sums such that each summand yields to the appropriate facet of the resulting sum. Additionally, it leads to the correlation between Minkowski sums and truncations of permutohedron, which implicitly gives a general procedure for geometrical Minkowski-construction of any permutonestohedron.