Showing 20 papers (Total: 84460 papers, 48641 authors in database)
On $3$-flow-critical graphs
Published
• View Publication
• BIB
A bridgeless graph $G$ is called $3$-flow-critical if it does not admit a nowhere-zero $3$-flow, but $G/e$ has for any $e\in E(G)$. Tutte's $3$-flow conjecture can be equivalently stated as that every $3$-flow-critical graph contains a vertex of degree three. In this paper, we study the structure and extreme edge density of $3$-flow-critical graphs. We apply structure properties to obtain lower and upper bounds on the density of $3$-flow-critical graphs, that is, for any $3$-flow-critical graph $G$ on $n$ vertices, $$\frac{8n-2}{5}\le |E(G)|\le 4n-10,$$ where each equality holds if and only if $G$ is $K_4$. We conjecture that every $3$-flow-critical graph on $n\ge 7$ vertices has at most $3n-8$ edges, which would be tight if true. For planar graphs, the best possible density upper bound of $3$-flow-critical graphs on $n$ vertices is $\frac{5n-8}{2}$, known from a result of Kostochka and Yancey (JCTB 2014) on vertex coloring $4$-critical graphs by duality.
Schur Polynomials through Lindström Gessel Viennot Lemma
In this article, we use Lindström Gessel Viennot Lemma to give a short, combinatorial, visualizable proof of the identity of Schur polynomials -- the sum of monomials of Young tableaux equals to the quotient of determinants. As a by-product, we have a proof of Vandermonde determinant without words. We also prove the cauchy identity. In the remarks, we discuss factorial Schur polynomials, dual Cauchy identity and the relation beteen Newton interpolation formula.
New Steiner systems from old ones by paramodifications
Techniques of producing new combinatorial structures from old ones are commonly called trades. The switching principle applies for a broad class of designs: it is a local transformation that modifies two columns of the incidence matrix. In this paper, we present a construction, which is a generalization of the switching transform for the class of Steiner 2-designs. We call this construction paramodification of Steiner 2-designs, since it modifies the parallelism of a subsystem. We study in more detail the paramodifications of affine planes, Steiner triple systems, and abstract unitals. Computational results show that paramodification can construct many new unitals.
Fast Strategies in Waiter-Client Games on $K_n$
Published in Electronic Journal of Combinatorics 27(3) (2020), #P3.57
• View Publication
• BIB
Waiter-Client games are played on some hypergraph $(X,\mathcal{F})$, where $\mathcal{F}$ denotes the family of winning sets. For some bias $b$, during each round of such a game Waiter offers to Client $b+1$ elements of $X$, of which Client claims one for himself while the rest go to Waiter. Proceeding like this Waiter wins the game if she forces Client to claim all the elements of any winning set from $\mathcal{F}$. In this paper we study fast strategies for several Waiter-Client games played on the edge set of the complete graph, i.e. $X=E(K_n)$, in which the winning sets are perfect matchings, Hamilton cycles, pancyclic graphs, fixed spanning trees or factors of a given graph.
Magnitude Homology, Diagonality, Medianness, Künneth and Mayer-Vietoris
Published
• View Publication
• BIB
Magnitude homology of graphs is introduced by Hepworth and Willerton in arXiv:1505.04125 . Magnitude homology of arbitrary metric spaces by Leinster and Shulman in arXiv:1711.00802v2 . We verify that the Künneth and Mayer-Vietoris formulas proved in arXiv:1505.04125 for graphs extend naturally to the metric setting. The same is done for the notion of diagonality, also originating from arXiv:1505.04125 . Stability of this notion under products, retracts, filtrations is verified, and as an application, it is shown that median spaces are diagonal; in particular, any Menger convex median space has vanishing magnitude homology. Finally, we argue for a definition of magnitude homology in the context of "betweenness spaces" and develop some of its properties.
Flexible placements of graphs with rotational symmetry
Published in In: Holderbaum W., Selig J.M. (eds) 2nd IMA Conference on Mathematics of Robotics. IMA 2020. Springer Proceedings in Advanced Robotics, vol 21. Springer, Cham (2022)
• View Publication
• BIB
We study the existence of an $n$-fold rotationally symmetric placement of a symmetric graph in the plane allowing a continuous deformation that preserves the symmetry and the distances between adjacent vertices. We show that such a flexible placement exists if and only if the graph has a NAC-colouring satisfying an additional property on the symmetry; a NAC-colouring is a surjective edge colouring by two colours such that every cycle is either monochromatic, or there are at least two edges of each colour.
Ising model on random triangulations of the disk: phase transition
Published
• View Publication
• BIB
In [arXiv:1806.06668], we have studied the Boltzmann random triangulation of the disk coupled to an Ising model on its faces with Dobrushin boundary condition at its critical temperature. In this paper, we investigate the phase transition of this model by extending our previous results to arbitrary temperature: We compute the partition function of the model at all temperatures, and derive several critical exponents associated with the infinite perimeter limit. We show that the model has a local limit at any temperature, whose properties depend drastically on the temperature. At high temperatures, the local limit is reminiscent of the uniform infinite half-planar triangulation (UIHPT) decorated with a subcritical percolation. At low temperatures, the local limit develops a bottleneck of finite width due to the energy cost of the main Ising interface between the two spin clusters imposed by the Dobrushin boundary condition. This change can be summarized by a novel order parameter with a nice geometric meaning. In addition to the phase transition, we also generalize our construction of the local limit from the two-step asymptotic regime used in [arXiv:1806.06668] to a more natural diagonal asymptotic regime. We obtain in this regime a scaling limit related to the length of the main Ising interface, which coincides with predictions from the continuum theory of quantum surfaces (a.k.a.\ Liouville quantum gravity).
Möbius Functions of Some Annular Noncrossing Objects
We present the Möbius functions of several posets of annular noncrossing objects, namely a self-dual extension of the annular noncrossing permutations, minimal length annular partitioned permutations, and annular noncrossing partitons.
Achromatic numbers of Kneser graphs
Published in Ars Mathematica Contemporanea-2021
• View Publication
• BIB
Complete colorings have the property that any two color classes has at least an edge between them. Parameters such as the Grundy, achromatic and pseudoachromatic numbers comes from complete colorings, with some additional requirement. In this paper, we estimate these numbers in the Kneser graph $K(n,k)$ for some values of $n$ and $k$. We give the exact value of the achromatic number of $K(n,2)$.
Cantor-solus and Cantor-multus Distributions
The Cantor distribution is obtained from bitstrings; the Cantor-solus distribution (a new name) admits only strings without adjacent 1 bits. We review moments and order statistics associated with these. The Cantor-multus distribution is introduced -- which instead admits only strings without isolated 1 bits -- and more complicated formulas emerge.
Bounding the k-rainbow total domination number
Published
• View Publication
• BIB
Recently the notion of $k$-rainbow total domination was introduced for a graph $G$, motivated by a desire to reduce the problem of computing the total domination number of the generalized prism $G \Box K_k$ to an integer labeling problem on $G$. In this paper we further demonstrate usefulness of the labeling approach, presenting bounds on the rainbow total domination number in terms of the total domination number, the rainbow domination number and the rainbow total domination number, as well as the usual domination number, where the latter presents a generalization of a result by Goddard and Henning (2018). We establish Vizing-like results for rainbow domination and rainbow total domination. By stating a Vizing-like conjecture for rainbow total domination we present a different viewpoint on Vizing's original conjecture in the case of bipartite graphs.
A Graph Theoretic Formula for the Number of Primes $π(n)$
Let PR$[n]$ be the graph whose vertices are $2,3,\ldots,n$ with vertex $v$ adjacent to vertex $w$ if and only if $\gcd(v,w)>1$. It is shown that $π(n)$, the the number of primes no more than $n$, equals the Lovász number of this graph. This result suggests new avenues for graph-theoretic investigations of number-theoretic problems.
Optimal antipodal spherical codes in the space of spherical harmonics
In a previous study, we presented a construction of spherical 3-designs. In the current study, using this construction, we present new optimal antipodal spherical codes in the space of spherical harmonics. Our construction is a generalization of Bondarenko's work.
Singularities of Schubert Varieties within a Right Cell
Published in SIGMA 17 (2021), 070, 9 pages
• View Publication
• BIB
We describe an algorithm which pattern embeds, in the sense of Woo-Yong, any Bruhat interval of a symmetric group into an interval whose extremes lie in the same right Kazhdan-Lusztig cell. This apparently harmless fact has applications in finding examples of reducible associated varieties of $\mathfrak{sl}_n$-highest weight modules, as well as in the study of $W$-graphs for symmetric groups, and in comparing various bases of irreducible representations of the symmetric group or its Hecke algebra. For example, we are able to systematically produce many negative answers to a question from the 1980s of Borho-Brylinski and Joseph, which had been settled by Williamson via computer calculations only in 2014.
Laminar Tight Cuts in Matching Covered Graphs
Published
• View Publication
• BIB
An edge cut $C$ of a graph $G$ is {\it tight} if $|C \cap M|=1$ for every perfect matching $M$ of $G$.~Barrier cuts and 2-separation cuts are called {\it ELP-cuts}, which are two important types of tight cuts in matching covered graphs.~Edmonds, Lovász and Pulleyblank proved that if a matching covered graph has a nontrivial tight cut, then it also has a nontrivial ELP-cut.~Carvalho, Lucchesi, and Murty made a stronger conjecture: given any nontrivial tight cut $C$ in a matching covered graph $G$, there exists a nontrivial ELP-cut $D$ in $G$ which does not cross $C$.~We confirm the conjecture in this paper.
Independent sets in ($P_4+P_4$,Triangle)-free graphs
Published
• View Publication
• BIB
The Maximum Weight Independent Set Problem (WIS) is a well-known NP-hard problem. A popular way to study WIS is to detect graph classes for which WIS can be solved in polynomial time, with particular reference to hereditary graph classes, i.e., defined by a hereditary graph property or equivalently by forbidding one or more induced subgraphs. Given two graphs $G$ and $H$, $G+H$ denotes the disjoint union of $G$ and $H$. This manuscript shows that (i) WIS can be solved for ($P_4+P_4$, Triangle)-free graphs in polynomial time, where a $P_4$ is an induced path of four vertices and a Triangle is a cycle of three vertices, and that in particular it turns out that (ii) for every ($P_4+P_4$, Triangle)-free graph $G$ there is a family ${\cal S}$ of subsets of $V(G)$ inducing (complete) bipartite subgraphs of $G$, which contains polynomially many members and can be computed in polynomial time, such that every maximal independent set of $G$ is contained in some member of ${\cal S}$. These results seem to be harmonic with respect to other polynomial results for WIS on certain [subclasses of] $S_{i,j,k}$-free graphs and to other structure results on [subclasses of] Triangle-free graphs.
The optimal proper connection number of a graph with given independence number
Published
• View Publication
• BIB
An edge-colored connected graph $G$ is properly connected if between every pair of distinct vertices, there exists a path that no two adjacent edges have a same color. Fujita (2019) introduced the optimal proper connection number ${\mathrm{pc}_{\mathrm{opt}}}(G)$ for a monochromatic connected graph $G$, to make a connected graph properly connected efficiently. More precisely, ${\mathrm{pc}_{\mathrm{opt}}}(G)$ is the smallest integer $p+q$ when one converts a given monochromatic graph $G$ into a properly connected graph by recoloring $p$ edges with $q$ colors.
In this paper, we show that ${\mathrm{pc}_{\mathrm{opt}}}(G)$ has an upper bound in terms of the independence number $α(G)$. Namely, we prove that for a connected graph $G$, ${\mathrm{pc}_{\mathrm{opt}}}(G)\le \frac{5α(G)-1}{2}$. Moreoevr, for the case $α(G)\leq 3$, we improve the upper bound to $4$, which is tight.
Minimum Scan Cover with Angular Transition Costs
Published
• View Publication
• BIB
We provide a comprehensive study of a natural geometric optimization problem motivated by questions in the context of satellite communication and astrophysics. In the problem Minimum Scan Cover with Angular Costs (MSC), we are given a graph $G$ that is embedded in Euclidean space. The edges of $G$ need to be scanned, i.e., probed from both of their vertices. In order to scan their edge, two vertices need to face each other; changing the heading of a vertex takes some time proportional to the corresponding turn angle. Our goal is to minimize the time until all scans are completed, i.e., to compute a schedule of minimum makespan.
We show that MSC is closely related to both graph coloring and the minimum (directed and undirected) cut cover problem; in particular, we show that the minimum scan time for instances in 1D and 2D lies in $Θ(\log χ(G))$, while for 3D the minimum scan time is not upper bounded by $χ(G)$. We use this relationship to prove that the existence of a constant-factor approximation implies $P=NP$, even for one-dimensional instances. In 2D, we show that it is NP-hard to approximate a minimum scan cover within less than a factor of $\frac{3}{2}$, even for bipartite graphs; conversely, we present a $\frac{9}{2}$-approximation algorithm for this scenario. Generally, we give an $O(c)$-approximation for $k$-colored graphs with $k\leq χ(G)^c$. For general metric cost functions, we provide approximation algorithms whose performance guarantee depend on the arboricity of the graph.
Distance evolutions in growing preferential attachment graphs
Published
• View Publication
• BIB
We study the evolution of the graph distance and weighted distance between two fixed vertices in dynamically growing random graph models. More precisely, we consider preferential attachment models with power-law exponent $τ\in(2,3)$, sample two vertices $u_t,v_t$ uniformly at random when the graph has $t$ vertices, and study the evolution of the graph distance between these two fixed vertices as the surrounding graph grows. This yields a discrete-time stochastic process in $t'\geq t$, called the distance evolution. We show that there is a tight strip around the function $4\frac{\log\log(t)-\log(\log(t'/t)\vee1)}{|\log(τ-2)|}\vee 2$ that the distance evolution never leaves with high probability as $t$ tends to infinity. We extend our results to weighted distances, where every edge is equipped with an i.i.d. copy of a non-negative random variable $L$.
Cube moves for $s$-embeddings and $α$-realizations
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact., 10(4), 781-817, 2023
• View Publication
• BIB
Chelkak introduced $s$-embeddings as tilings by tangential quads which provide the right setting to study the Ising model with arbitrary coupling constants on arbitrary planar graphs. We prove the existence and uniqueness of a local transformation for $s$-embeddings called the cube move, which consists in flipping three quadrilaterals in such a way that the resulting tiling is also in the class of $s$-embeddings. In passing, we give a new and simpler formula for the change in coupling constants for the Ising star-triangle transformation which is conjugated to the cube move for $s$-embeddings. We introduce more generally the class of $α$-embeddings as tilings of a portion of the plane by quadrilaterals such that the side lengths of each quadrilateral $ABCD$ satisfy the relation $AB^α+CD^α=AD^α+BC^α$, providing a common generalization for harmonic embeddings adapted to the study of resistor networks ($α=2$) and for $s$-embeddings ($α=1$). We investigate existence and uniqueness properties of the cube move for these $α$-embeddings.