Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Counting degree-constrained subgraphs and orientations
The goal of this short paper to advertise the method of gauge transformations (aka holographic reduction, reparametrization) that is well-known in statistical physics and computer science, but less known in combinatorics. As an application of it we give a new proof of a theorem of A. Schrijver asserting that the number of Eulerian orientations of a $d$--regular graph on $n$ vertices with even $d$ is at least $\left(\frac{\binom{d}{d/2}}{2^{d/2}}\right)^n$. We also show that a $d$--regular graph with even $d$ has always at least as many Eulerian orientations as $(d/2)$--regular subgraphs.
Transcendental holomorphic maps between real algebraic manifolds in a complex space
We give an example of a real algebraic manifold embedded in a complex space that does not satisfy the Nash-Artin approximation Property. This Nash-Artin approximation Property is closely related to the problem of determining when the biholomorphic equivalence for germs of real algebraic manifolds coincides with the algebraic equivalence. This example is an elliptic Bishop surface, and its construction is based on the functional equation satisfied by the generating series of some walks restricted to the quarter plane.
Phase transition in random intersection graphs with communities
The `random intersection graph with communities' models networks with communities, assuming an underlying bipartite structure of groups and individuals. Each group has its own internal structure described by a (small) graph, while groups may overlap. The group memberships are generated by a bipartite configuration model. The model generalizes the classical random intersection graph model that is included as the special case where each community is a complete graph (or clique).
The `random intersection graph with communities' is analytically tractable. We prove a phase transition in the size of the largest connected component based on the choice of model parameters. Further, we prove that percolation on our model produces a graph within the same family, and that percolation also undergoes a phase transition. Our proofs rely on the connection to the bipartite configuration model, however, with the arbitrary structure of the groups, it is not completely straightforward to translate results on the group structure into results on the graph. Our related results on the bipartite configuration model are not only instrumental to the study of the random intersection graph with communities, but are also of independent interest, and shed light on interesting differences from the unipartite case.
The PBW basis of $U_{q,\bar{q}}(\ddot{\mathfrak{gl}}_n)$
We consider the PBW basis of the type A quantum toroidal algebra developed by the author, and prove commutation relations between its generators akin to the ones studied by Burban-Schiffmann for n=1. This gives rise to a new presentation of the quantum toroidal algebra of type A.
Perfect Italian domination on planar and regular graphs
A perfect Italian dominating function of a graph $G=(V,E)$ is a function $f : V \to \{0,1,2\}$ such that for every vertex $f(v) = 0$, it holds that $\sum_{u \in N(v)} f(u) = 2$, i.e., the weight of the labels assigned by $f$ to the neighbors of $v$ is exactly two. The weight of a perfect Italian function is the sum of the weights of the vertices. The perfect Italian domination number of $G$, denoted by $γ^p_I(G)$, is the minimum weight of any perfect Italian dominating function of $G$. While introducing the parameter, Haynes and Henning (Discrete Appl. Math. (2019), 164--177) also proposed the problem of determining the best possible constants $c_\mathcal{G}$ such that $γ^p_I(G) \leq c_\mathcal{G} \times n$ for all graphs of order $n$ when $G$ is in a particular class $\mathcal{G}$ of graphs. They proved that $c_\mathcal{G} = 1$ when $\mathcal{G}$ is the class of bipartite graphs, and raised the question for planar graphs and regular graphs. We settle their question precisely for planar graphs by proving that $c_\mathcal{G} = 1$ and for cubic graphs by proving that $c_\mathcal{G} = 2/3$. For split graphs, we also show that $c_\mathcal{G} = 1$. In addition, we characterize the graphs $G$ with $γ^p_I(G)$ equal to 2 and 3 and determine the exact value of the parameter for several simple structured graphs. We conclude by proving that it is NP-complete to decide whether a given bipartite planar graph admits a perfect Italian dominating function of weight $k$.
Rainbow Numbers of $\mathbb{Z}_n$ for $a_1x_1+a_2x_2+a_3x_3 =b$
An exact $r$-coloring of a set $S$ is a surjective function $c:S\to [r]$. The rainbow number of a set $S$ for equation $eq$ is the smallest integer $r$ such that every exact $r$-coloring of $S$ contains a rainbow solution to $eq$. In this paper, the rainbow number of $\Z_p$, for $p$ prime and the equation $a_1x_1 + a_2x_2 + a_3x_3 = b$ is determined. The rainbow number of $\Z_{n}$, for a natural number $n$, is determined under certain conditions.
Partitions and the maximal excludant
For each nonempty integer partition $π$, we define the maximal excludant of $π$ to be the largest nonnegative integer smaller than the largest part of $π$ that is not a part of $π$. Let $σ\!\operatorname{maex}(n)$ be the sum of maximal excludants over all partitions of $n$. We show that the generating function of $σ\!\operatorname{maex}(n)$ is closely related to a mock theta function studied by Andrews \textit{et al.} and Cohen. Further, we show that, as $n\to \infty$, $σ\!\operatorname{maex}(n)$ is asymptotic to the sum of largest parts of all partitions of $n$. Finally, the expectation of the difference of the largest part and the maximal excludant over all partitions of $n$ is shown to converge to $1$ as $n\to \infty$.
Eulerian Properties of Design Hypergraphs and Hypergraphs with Small Edge Cuts
Published in uO Research, Theses, 2011- (2019). Retrieved from https://ruor.uottawa.ca/bitstream/10393/39092/5/Wagner_Andrew_2019_thesis.pdf
• Search Publication
An Euler tour of a hypergraph is a closed walk that traverses every edge exactly once; if a hypergraph admits such a walk, then it is called eulerian. Although this notion is one of the progenitors of graph theory --- dating back to the eighteenth century --- treatment of this subject has only begun on hypergraphs in the last decade. Other authors have produced results about rank-2 universal cycles and 1-overlap cycles, which are equivalent to our definition of Euler tours. In contrast, an Euler family is a collection of nontrivial closed walks that jointly traverse every edge of the hypergraph exactly once and cannot be concatenated simply. Since an Euler tour is an Euler family comprising a single walk, having an Euler family is a weaker attribute than being eulerian; we call a hypergraph quasi-eulerian if it admits an Euler family. A triple system is a 3-uniform hypergraph in which every pair of vertices lie in exactly $λ$ edges together, for some parameter $λ$. We first prove that all triple systems with at least two edges are eulerian. We then define a new kind of hypergraph, which we call $\ell$-covering $k$-hypergraphs: these are $k$-uniform hypergraphs in which every $\ell$-subset of the vertices lie in at least one edge together. We are able to show that such hypergraphs are eulerian when $\ell=k-1$ and quasi-eulerian otherwise, as long as they have at least two edges. Finally, we give some constructive results on hypergraphs with small edge cuts. There has been analogous work by other authors on hypergraphs with small vertex cuts. We reduce the problem of finding an Euler tour in a hypergraph to finding an Euler tour in each of the connected components of the edge-deleted subhypergraph, then show how these individual Euler tours can be concatenated.
The scaling limit of a critical random directed graph
We consider the random directed graph $\vec{G}(n,p)$ with vertex set $\{1,2,\ldots,n\}$ in which each of the $n(n-1)$ possible directed edges is present independently with probability $p$. We are interested in the strongly connected components of this directed graph. A phase transition for the emergence of a giant strongly connected component is known to occur at $p = 1/n$, with critical window $p= 1/n + λn^{-4/3}$ for $λ\in \mathcal{R}$. We show that, within this critical window, the strongly connected components of $\vec{G}(n,p)$, ranked in decreasing order of size and rescaled by $n^{-1/3}$, converge in distribution to a sequence $(\mathcal{C}_1,\mathcal{C}_2,\ldots)$ of finite strongly connected directed multigraphs with edge lengths which are either 3-regular or loops. The convergence occurs the sense of an $\ell^1$ sequence metric for which two directed multigraphs are close if there are compatible isomorphisms between their vertex and edge sets which roughly preserve the edge-lengths. Our proofs rely on a depth-first exploration of the graph which enables us to relate the strongly connected components to a particular spanning forest of the undirected Erdős-Rényi random graph $G(n,p)$, whose scaling limit is well understood. We show that the limiting sequence $(\mathcal{C}_1,\mathcal{C}_2,\ldots)$ contains only finitely many components which are not loops. If we ignore the edge lengths, any fixed finite sequence of 3-regular strongly connected directed multigraphs occurs with positive probability.
Gorenstein graphic matroids
Published in Israel Journal of Mathematics 243 (2021), no. 1, 1-26
• View Publication
• BIB
The toric variety of a matroid is projectively normal, and therefore it is Cohen-Macaulay. We provide a complete graph-theoretic classification when the toric variety of a graphic matroid is Gorenstein.
A new algebraic approach to the graph isomorphism and clique problems
As it follows from Gödel's incompleteness theorems, any consistent formal system of axioms and rules of inference should imply a true unprovable statement. Actually, this fundamental principle can be efficiently applicable in computational mathematics and complexity theory concerning the computational complexity of problems from the class NP, particularly and especially the NP-complete ones. While there is a wide set of algorithms for these problems that we call heuristic, the correctness or/and complexity of each concrete algorithm (or the probability of its correct and polynomial-time work) on a class of instances is often too difficult to determine, although we may also assume the existence of a variety of algorithms for NP-complete problems that are both correct and polynomial-time on all the instances from a given class (where the given problem remains NP-complete), but whose correctness or/and polynomial-time complexity on the class is impossible to prove as an example for Gödel's theorems. However, supposedly such algorithms should possess a certain complicatedness of processing the input data and treat it in a certain algebraically "entangled" manner. The same algorithmic analysis in fact concerns all the other significant problems and subclasses of NP, such as the graph isomorphism problem and its associated complexity class GI.
The following short article offers a couple of algebraically entangled polynomial-time algorithms for the graph isomorphism and clique problems whose correctness is yet to be determined either empirically or through attempting to find proofs. The authors are grateful to Prof. Anuj Dawar (University of Cambridge) for kindly endorsing the present article for publishing in arXiv.
Maximum Frustration in Signed Generalized Petersen Graphs
Published in Indian journal of discrete mathematics, vol 5, no. 2 (2019) , 77-93
• Search Publication
A \textit{signed graph} is a simple graph whose edges are labelled with positive or negative signs. A cycle is \textit{positive} if the product of its edge signs is positive. A signed graph is \textit{balanced} if every cycle in the graph is positive. The \textit{frustration index} of a signed graph is the minimum number of edges whose deletion makes the graph balanced. The \textit{maximum frustration} of a graph is the maximum frustration index over all sign labellings. In this paper, first, we prove that the maximum frustration of generalized Petersen graphs $P_{n,k}$ is bounded above by $\left\lfloor \frac{n}{2} \right\rfloor + 1$ for $\gcd(n,k)=1$, and this bound is achieved for $k=1,2,3$. Second, we prove that the maximum frustration of $P_{n,k}$ is bounded above by $d\left\lfloor \frac{n}{2d} \right\rfloor + d + 1$, where $\gcd(n,k)=d\geq2$.
Finding Dominating Induced Matchings in $S_{1,1,5}$-Free Graphs in Polynomial Time
Let $G=(V,E)$ be a finite undirected graph. An edge set $E' \subseteq E$ is a {\em dominating induced matching} ({\em d.i.m.}) in $G$ if every edge in $E$ is intersected by exactly one edge of $E'$. The \emph{Dominating Induced Matching} (\emph{DIM}) problem asks for the existence of a d.i.m.\ in $G$; this problem is also known as the \emph{Efficient Edge Domination} problem; it is the Efficient Domination problem for line graphs.
The DIM problem is \NP-complete even for very restricted graph classes such as planar bipartite graphs with maximum degree 3 but is solvable in linear time for $P_7$-free graphs, and in polynomial time for $S_{1,2,4}$-free graphs as well as for $S_{2,2,2}$-free graphs and for $S_{2,2,3}$-free graphs. In this paper, combining two distinct approaches, we solve it in polynomial time for $S_{1,1,5}$-free graphs.
Further improving of upper bound on a geometric Ramsey problem
We consider following geometric Ramsey problem: find the least dimension $n$ such that for any 2-coloring of edges of complete graph on the points $\{\pm 1\}^n$ there exists 4-vertex coplanar monochromatic clique. Problem was first analyzed by Graham and Rothschild and they gave an upper bound: $n\le F(F(F(F(F(F(F(12)))))))$, where $F(m) = 2\uparrow^m3$. In 2014 Lavrov, Lee and Mackey greatly improved this result by giving upper bound $n< 2\uparrow\uparrow\uparrow 6 < F(5)$. In this paper we revisit their estimates and reduce upper bound to $n< 2\uparrow\uparrow\uparrow 5$
Finite automata, probabilistic method, and occurrence enumeration of a pattern in words and permutations
The main theme of this paper is the enumeration of the occurrence of a pattern in words and permutations. We mainly focus on asymptotic properties of the sequence $f_r^v(k,n),$ the number of $n$-array $k$-ary words that contain a given pattern $v$ exactly $r$ times. In addition, we study the asymptotic behavior of the random variable $X_n,$ the number of pattern occurrences in a random $n$-array word. The two topics are closely related through the identity $P(X_n=r) = $ $\frac{1}{k^n}f_r^v(k,n).$ In particular, we show that for any $r\geq 0,$ the Stanley-Wilf sequence $\bigl(f_r^v(k,n)\bigr)^{1/n}$ converges to a limit independent of $r,$ and determine the value of the limit. We then obtain several limit theorems for the distribution of $X_n,$ including a CLT, large deviation estimates, and the exact growth rate of the entropy of $X_n.$ Furthermore, we introduce a concept of weak avoidance and link it to a certain family of non-product measures on words that penalize pattern occurrences but do not forbid them entirely. We analyze this family of probability measures in a small parameter regime, where the distributions can be understood as a perturbation of a uniform measure. Finally, we extend some of our results for words, including the one regarding the equivalence of the limits of the Stanley-Wilf sequences, to pattern occurrences in permutations.
Positivity determines the quantum cohomology of Grassmannians
We prove that if X is a Grassmannian of type A, then the Schubert basis of the (small) quantum cohomology ring QH(X) is the only homogeneous deformation of the Schubert basis of the ordinary cohomology ring of X that multiplies with non-negative structure constants. This implies that the (three point, genus zero) Gromov-Witten invariants of X are uniquely determined by Witten's presentation of QH(X) and the fact that they are non-negative. We conjecture that the same is true for any flag variety X = G/P of simply laced Lie type. For the variety GL(n)/B of complete flags, this conjecture is equivalent to Fomin, Gelfand, and Postnikov's conjecture that the quantum Schubert polynomials of type A are uniquely determined by positivity properties. Our proof for Grassmannians answers a question of Fulton.
Stable components and layers
Published in Can. Math. Bull. 63 (2020) 562-576
• View Publication
• BIB
Component graphs $Γ_{0}(F)$ are defined for arrays of sets $F$, and in particular for arrays of path components for Vietoris-Rips complexes and Lesnick complexes. The path components of $Γ_{0}(F)$ are the {\it stable components} of the array $F$. The stable components for the system of Lesnick complexes $\{ L_{s,k}(X) \}$ for a finite data set $X$ decompose into layers, which are themselves path components of a graph. Combinatorial scoring functions are defined for layers and stable components.
Dehn-Sommerville from Gauss-Bonnet
We give a zero curvature proof of Dehn-Sommerville for finite simple graphs. It uses a parametrized Gauss-Bonnet formula telling that the curvature of the valuation G to f_G(t)=1+f0 t + ... + fd t^(d+1) defined by the f-vector of G is the anti-derivative F of f evaluated on the unit sphere S(x). Gauss Bonnet is then parametrized, f_G(t) = sum_x F_(S(x))(t), and holds for all simplicial complexes G. The Gauss-Bonnet formula chi(G)=sum_x K(x) for Euler characteristic chi(G) is the special case t=-1. Dehn-Sommerville is equivalent to the reflection symmetry f_G(t)+(-1)^d f_G(-1-t)=0 which is equivalent to the same symmetry for F. Gauss-Bonnet therefore relates Dehn-Sommerville for G with Dehn-Sommerville for the unit spheres S(x), where it is a zero curvature condition. A class X_d of complexes for which Dehn-Sommerville holds is defined inductively by requiring chi(G)=1+(-1)^d and S(x) in X_(d-1) for all x. It starts with X_(-1)={}. Examples are simplicial spheres, including homology spheres, any odd-dimensional discrete manifold, any even-dimensional discrete manifold with chi(G)=2. It also contains non-orientable ones for which Poincar'e-duality fails or stranger spaces like spaces where the unit spheres allow for two disjoint copies of manifolds with chi(G)=1. Dehn-Sommerville is present in the Barycentric limit. It is a symmetry for the Perron-Frobenius eigenvector of the Barycentric refinement operator A. The even eigenfunctions of A^T, the Barycentric Dehn-Sommerville functionals, vanish on X like 22 f1 - 33 f2 + 40 f3 - 45f4=0 for all 4-manifolds.
Reduction of Quasi-Lattices to Lattices
Quasi-lattices are introduced in terms of 'join' and 'meet' operations. It is observed that quasi-lattices become lattices when these operations are associative and when these operations satisfy 'modularity' conditions. A fundamental theorem of homomorphism proved in this article states that a quasi-lattice can be mapped onto a lattice when some conditions are satisfied.
On a smoothness characterization for good moduli spaces
Let $\mathcal{X}$ be a smooth Artin stack with properly stable good moduli space $π\colon\mathcal{X} \to X$. The purpose of this paper is to prove that a simple geometric criterion can often characterize when the moduli space $X$ is smooth and the morphism $π$ is flat.