Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Toric co-Higgs sheaves
Published
• View Publication
• BIB
We characterise and investigate co-Higgs sheaves and associated algebraic and combinatorial invariants on toric varieties. In particular, we compute explicit examples.
Lower bounds for superpatterns and universal sequences
Published
• View Publication
• BIB
A permutation $σ\in S_n$ is said to be $k$-universal or a $k$-superpattern if for every $π\in S_k$, there is a subsequence of $σ$ that is order-isomorphic to $π$. A simple counting argument shows that $σ$ can be a $k$-superpattern only if $n\ge (1/e^2+o(1))k^2$, and Arratia conjectured that this lower bound is best-possible. Disproving Arratia's conjecture, we improve the trivial bound by a small constant factor. We accomplish this by designing an efficient encoding scheme for the patterns that appear in $σ$. This approach is quite flexible and is applicable to other universality-type problems; for example, we also improve a bound by Engen and Vatter on a problem concerning $(k+1)$-ary sequences which contain all $k$-permutations.
Independent sets of closure operations
In this paper independent sets of closure operations are introduced. We characterize minimal keys and antikeys of closure operations in terms of independent sets. We establish an expression on the connection between minimal keys and antikeys of closure operations based on independent sets. We construct two combinatorial algorithms for finding all minimal keys and all antikeys of a given closure operation based on independent sets. We estimate the time complexity of these algorithms. Finally, we give an NP-complete problem concerning nonkeys of closure operations.
Universal spectra of the disjoint union of regular graphs
Published
• View Publication
• BIB
A universal adjacency matrix of a graph $G$ with adjacency matrix $A$ is any matrix of the form $U = αA + βI + γJ + δD$ with $α\neq 0$, where $I$ is the identity matrix, $J$ is the all-ones matrix and $D$ is the diagonal matrix with the vertex degrees. In the case that $G$ is the disjoint union of regular graphs, we present an expression for the characteristic polynomials of the various universal adjacency matrices in terms of the characteristic polynomials of the adjacency matrices of the components. As a consequence we obtain a formula for the characteristic polynomial of the Seidel matrix of $G$, and the signless Laplacian of the complement of $G$ (i.e. the join of regular graphs).
A Fast Algorithm for the Product Structure of Planar Graphs
Published
• View Publication
• BIB
Dujmović et al (FOCS2019) recently proved that every planar graph $G$ is a subgraph of $H\boxtimes P$, where $\boxtimes$ denotes the strong graph product, $H$ is a graph of treewidth 8 and $P$ is a path. This result has found numerous applications to linear graph layouts, graph colouring, and graph labelling. The proof given by Dujmović et al is based on a similar decomposition of Pilipczuk and Siebertz (SODA2019) which is constructive and leads to an $O(n^2)$ time algorithm for finding $H$ and the mapping from $V(G)$ onto $V(H\boxtimes P)$. In this note, we show that this algorithm can be made to run in $O(n\log n)$ time.
The normalized Laplacians and random walks of the parallel subdivision graphs
The $k$-parallel subdivision graph $S_k(G)$ is generated from $G$ which each edge of $G$ is replaced by $k$ parallel paths of length 2. The $2k$-parallel subdivision graph $S_{2k}(G)$ is constructed from $G$ which each edge of $G$ is replaced by $k$ parallel paths of length 3. In this paper, the normalized Laplacian spectra of $S_k(G)$ and $S_{2k}(G)$ are given. They turn out that the multiplicities of the corresponding eigenvalues are only determined by $k$. As applications, the expected hitting time, the expected commute time and any two-points resistance distance between vertices $i$ and $j$ of $S_k(G)$, the normalized Laplacian spectra of $S_k(G)$ and $S_{2k}(G)$ with $r$ iterations are given. Moreover, the multiplicative degree Kirchhoff index, Kemeny's constant and the number of spanning tress of $S_k(G)$, $S_k^r(G)$, $S_{2k}(G)$ and $S_{2k}^r(G)$ are respectively obtained. Our results have generalized the previous works in Xie et al. and Guo et al. respectively.
A note on the Assmus--Mattson theorem for some binary codes
Published
• View Publication
• BIB
We previously proposed the first nontrivial examples of a code having support $t$-designs for all weights obtained from the Assmus-Mattson theorem and having support $t'$-designs for some weights with some $t'>t$. This suggests the possibility of generalizing the Assmus-Mattson theorem, which is very important in design and coding theory. In the present paper, we generalize this example as a strengthening of the Assmus-Mattson theorem along this direction. As a corollary, we provide a new characterization of the extended Golay code $\mathcal{G}_{24}$.
Large complete minors in random subgraphs
Published in Combinator. Probab. Comp. 30 (2021) 619-630
• View Publication
• BIB
Let $G$ be a graph of minimum degree at least $k$ and let $G_p$ be the random subgraph of $G$ obtained by keeping each edge independently with probability $p$. We are interested in the size of the largest complete minor that $G_p$ contains when $p = \frac{1+\varepsilon}{k}$ with $\varepsilon >0$. We show that with high probability $G_p$ contains a complete minor of order $\tildeΩ(\sqrt{k})$, where the $\sim$ hides a polylogarithmic factor. Furthermore, in the case where the order of $G$ is also bounded above by a constant multiple of $k$, we show that this polylogarithmic term can be removed, giving a tight bound.
A universal exponent for homeomorphs
Published
• View Publication
• BIB
We prove a uniform bound on the topological Turán number of an arbitrary two-dimensional simplicial complex $S$: any $n$-vertex two-dimensional complex with at least $C_S n^{3-1/5}$ facets contains a homeomorphic copy of $S$, where $C_S > 0$ is an absolute constant depending on $S$ alone. This result, a two-dimensional analogue of a classical result of Mader for one-dimensional complexes, sheds some light on an old problem of Linial from 2006.
Some partition and analytical identities arising from Alladi, Andrews, Gordon bijections
Published
• View Publication
• BIB
In a work of 1995, Alladi, Andrews, and Gordon provided a generalization of the two Capparelli identities involving certain classes of integer partitions. Inspired by that contribution, in particular as regards the general setting and the tools the authors employed, we obtain new partition identities by identifying further sets of partitions that can be explicitly put into a one-to-one correspondence by the method described in the 1995 paper. As a further result, although of a different nature, we obtain an analytical identity of Rogers-Ramanujan type, involving generating functions, for a class of partition identities already found in that paper and that generalize the first Capparelli identity and include it as a particular case. To achieve this, we apply the same strategy as Kanade and Russel did in a recent paper. This method relies on the use of jagged partitions that can be seen as a more general kind of integer partitions.
The Free Tangent Law
Published in Adv. Appl. Math. 121 (2020) 102093, 32
• View Publication
• BIB
Nevanlinna-Herglotz functions play a fundamental role for the study of infinitely divisible distributions in free probability. In the present paper we study the role of the tangent function, which is a fundamental Herglotz-Nevanlinna function and related functions in free probability. To be specific, we show that the function $$ \frac{\tan z}{1-x\tan z} $$ of Carlitz and Scoville describes the limit distribution of sums of free commutators and anticommutators and thus the free cumulants are given by the Euler zigzag numbers.
Approximate Fixed Point Property for Digital Trees and Products
We add to our knowledge of the approximate fixed point property (AFPP) in digital topology. We show that a digital image that is a tree has the AFPP. Given two digital images (X, κ) and (Y, λ) that have the approximate fixed point property, does their Cartesian product have the AFPP? We explore conditions that yield an affirmative answer. A general answer to this question is not known at the current writing.
Covering Italian domination in graphs
Published in Discrete Applied Mathematics 304, (2021), 324-331
• View Publication
• BIB
For a graph $G=(V(G),E(G))$, an Italian dominating function (ID function) of $G$ is a function $f:V(G)\rightarrow \{0,1,2\}$ such that for each vertex $v\in V(G)$ with $f(v)=0$, $f(N(v))\geq2$, that is, either there is a vertex $u \in N(v)$ with $f (u) = 2$ or there are two vertices $x,y\in N(v)$ with $f(x)=f(y)=1$. A function $f:V(G)\rightarrow \{0,1,2\}$ is a covering Italian dominating function (CID function) of $G$ if $f$ is an ID function and $\{v\in V(G)\mid f(v)\neq0\}$ is a vertex cover set. The covering Italian domination number (CID number) $γ_{cI}(G)$ is the minimum weight taken over all CID functions of $G$.
In this paper, we study the CID number in graphs. We show that the problem of computing this parameter is NP-hard even when restricted to some well-known families of graphs, and find some bounds on this parameter. We characterize the family of graphs for which their CID numbers attain the upper bound twice their vertex cover number as well as all claw-free graphs whose CID numbers attain the lower bound half of their orders. We also give the characterizations of some families of graphs with small or large CID numbers.
A Highly Symmetric Hamilton Decomposition for Hypercubes
A Hamilton decomposition of a graph is a partitioning of its edge set into disjoint spanning cycles. The existence of such decompositions is known for all hypercubes of even dimension $2n$. We give a decomposition for the case $n = 2^a3^b$ that is highly symmetric in the sense that every cycle can be derived from every other cycle just by permuting the axes. We conjecture that a similar decomposition exists for every n.
Large induced trees in dense random graphs
Erdős and Palka initiated the study of the maximal size of induced trees in random graphs in 1983. They proved that for every fixed $0<p<1$ the size of a largest induced tree in $G_{n,p}$ is concentrated around $2\log_q (np)$ with high probability, where $q=(1-p)^{-1}$. De la Vega showed concentration around the same value for $p=C/n$ where $C$ is a large constant, and his proof also works for all larger $p$. We show that for any given tree $T$ with bounded maximum degree and of size $(2-o(1))\log_q(np)$, $G_{n,p}$ contains an induced copy of $T$ with high probability for $n^{-1/2}\ln^{10/9}n\leq p\leq 0.99$. This is asymptotically optimal.
Quantitative structure of stable sets in arbitrary finite groups
Published in Proceedings of the American Mathematical Society 149 (2021) no. 9, 4015-4028
• View Publication
• BIB
We show that a $k$-stable set in a finite group can be approximated, up to given error $ε>0$, by left cosets of a subgroup of index $ε^{\text{-}O_k(1)}$. This improves the bound in a similar result of Terry and Wolf on stable arithmetic regularity in finite abelian groups, and leads to a quantitative account of work of the author, Pillay, and Terry on stable sets in arbitrary finite groups. We also prove an analogous result for finite stable sets of small tripling in arbitrary groups, which provides a quantitative version of recent work by Martin-Pizarro, Palacín, and Wolf. Our proofs use results on VC-dimension, and a finitization of model-theoretic techniques from stable group theory.
Lifting the dual immaculate functions
Published
• View Publication
• BIB
We introduce two lifts of the dual immaculate quasisymmetric functions to the polynomial ring. We establish positive formulas for expansions of these dual immaculate slide polynomials into the fundamental slide and quasi-key bases for polynomials. These formulas mirror connections between dual immaculate quasisymmetric functions, fundamental quasisymmetric functions, and Young quasisymmetric Schur functions, extending these connections from the ring of quasisymmetric functions to the full polynomial ring. We also consider a reverse variant of the dual immaculate quasisymmetric functions, mirroring the dichotomy between the quasisymmetric Schur functions and the Young quasisymmetric Schur functions. We show this variant is obtained by taking stable limits of one of our lifts, and utilize these reverse dual immaculate quasisymmetric functions to establish a connection between the dual immaculate quasisymmetric functions and the Demazure atom basis for polynomials.
The Arithmetic of Coxeter Permutahedra
Published in Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales 44, no. 173 (2020), 1152-1166
• View Publication
• BIB
Ehrhart theory measures a polytope P discretely by counting the lattice points inside its dilates P, 2P, 3P, .... We compute the Ehrhart quasipolynomials of the standard Coxeter permutahedra for the classical Coxeter groups, expressing them in terms of the Lambert W function. A central tool is a description of the Ehrhart theory of a rational translate of an integer zonotope.
Symplectic keys and Demazure atoms in type C
We compute, mimicking the Lascoux-Schützenberger type A combinatorial procedure, left and right keys for a Kashiwara-Nakashima tableau in type C. These symplectic keys have a similar role as the keys for semistandard Young tableaux. More precisely, our symplectic keys give a tableau criterion for the Bruhat order on the hyperoctahedral group and cosets, and describe Demazure atoms and characters in type C. The right and the left symplectic keys are related through the Lusztig involution. A type C Schützenberger evacuation is defined to realize that involution.
Macroscopic network circulation for planar graphs
Published
• View Publication
• BIB
The analysis of networks, aimed at suitably defined functionality, often focuses on partitions into subnetworks that capture desired features. Chief among the relevant concepts is a 2-partition, that underlies the classical Cheeger inequality, and highlights a constriction (bottleneck) that limits accessibility between the respective parts of the network. In a similar spirit, the purpose of the present work is to introduce a new concept of maximal global circulation and to explore 3-partitions that expose this type of macroscopic feature of networks. Herein, graph circulation is motivated by transportation networks and probabilistic flows (Markov chains) on graphs. Our goal is to quantify the large-scale imbalance of network flows and delineate key parts that mediate such global features. While we introduce and propose these notions in a general setting, in this paper, we only work out the case of planar graphs. We explain that a scalar potential can be identified to encapsulate the concept of circulation, quite similarly as in the case of the curl of planar vector fields. Beyond planar graphs, in the general case, the problem to determine global circulation remains at present a combinatorial problem.