Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Higher Mertens constants for almost primes
Published in Journal of Number Theory, 234 (2022), 448-475
• View Publication
• BIB
For $k\ge1$, a $k$-almost prime is a positive integer with exactly $k$ prime factors, counted with multiplicity. In this article we give elementary proofs of precise asymptotics for the reciprocal sum of $k$-almost primes. Our results match the strength of those of classical analytic methods. We also study the limiting behavior of the constants appearing in these estimates, which may be viewed as higher analogues of the Mertens constant $β=0.2614...$ Further, in the case $k=2$ of semiprimes we give yet finer-scale and explicit estimates, as well as a conjecture.
Difference sets disjoint from a subgroup II: groups of order $4p^2$
Published
• View Publication
• BIB
We study finite groups $G$ having a normal subgroup $H$ and $D \subset G \setminus H, D \cap D^{-1}=\emptyset,$ such that the multiset $\{ xy^{-1}:x,y \in D\}$ has every non-identity element occur the same number of times (such a $D$ is called a {\it DRAD difference set}). We show that there are no such groups of order $4p^2$, where $p$ is an odd prime.
Circular Nim CN(7,4)
Published in Integers: Electronic Journal of Combinatorial Number Theory, 2021, Vol 21B, p1
• View Publication
• BIB
Circular Nim is a two-player impartial combinatorial game consisting of $n$ stacks of tokens placed in a circle. A move consists of choosing $k$ consecutive stacks and taking at least one token from one or more of the stacks. The last player able to make a move wins. The question of interest is: Who can win from a given position if both players play optimally? In an impartial combinatorial game, there are only two types of positions. An $\mathcal{N}$-position is one from which the next player to move has a winning strategy. A $\mathcal{P}$-position is one from which the next player is bound to lose, no matter what moves s/he makes. Therefore, the question who wins is answered by identifying the $\mathcal{P}$-positions. We will prove results on the structure of the $\mathcal{P}$-positions for $n = 7$ and $k = 4$, extending known results for other games in this family. The interesting feature of the set of $\mathcal{P}$-positions of this game is that it splits into different subsets, unlike the structure for the known games in this family.
Deducing the positive odd density of $p(n)$ from that of a multipartition function: An unconditional proof
Published in J. Number Theory 229 (2021), 277--281
• View Publication
• BIB
A famous conjecture of Parkin-Shanks predicts that $p(n)$ is odd with density $1/2$. Despite the remarkable amount of work of the last several decades, however, even showing this density is positive seems out of reach. In a 2018 paper with Judge, we introduced a different approach and conjectured the "striking" fact that, if for any $A \equiv \pm 1\ (\bmod 6)$ the multipartition function $p_A(n)$ has positive odd density, then so does $p(n)$. Similarly, the positive odd density of any $p_{A}(n)$ with $A\equiv 3\ (\bmod 6)$ would imply that of $p_3(n)$.
Our conjecture was shown to be a corollary of an earlier conjecture of the same paper. In this brief note, we provide an unconditional proof of it. An important tool will be Chen's recent breakthrough on a special case of our earlier conjecture.
Regular saturated graphs and sum-free sets
Published
• View Publication
• BIB
In a recent paper, Gerbner, Patkós, Tuza and Vizer studied regular $F$-saturated graphs. One of the essential questions is given $F$, for which $n$ does a regular $n$-vertex $F$-saturated graph exist. They proved that for all sufficiently large $n$, there is a regular $K_3$-saturated graph with $n$ vertices. We extend this result to both $K_4$ and $K_5$ and prove some partial results for larger complete graphs. Using a variation of sum-free sets from additive combinatorics, we prove that for all $k \geq 2$, there is a regular $C_{2k+1}$-saturated with $n$ vertices for infinitely many $n$. Studying the sum-free sets that give rise to $C_{2k+1}$-saturated graphs is an interesting problem on its own and we state an open problem in this direction.
Continuous Time Quantum Walks on Graphs: Group State Transfer
Published
• View Publication
• BIB
We introduce the concept of group state transfer on graphs, summarize its relationship to other concepts in the theory of quantum walks, set up a basic theory, and discuss examples.
Let $X$ be a graph with adjacency matrix $A$ and consider quantum walks on the vertex set $V(X)$ governed by the continuous time-dependent unitary transition operator $U(t)= \exp(itA)$. For $S,T\subseteq V(X)$, we says $X$ admits "group state transfer" from $S$ to $T$ at time $τ$ if the submatrix of $U(τ)$ obtained by restricting to columns in $S$ and rows not in $T$ is the all-zero matrix. As a generalization of perfect state transfer, fractional revival and periodicity, group state transfer satisfies natural monotonicity and transitivity properties. Yet non-trivial group state transfer is still rare; using a compactness argument, we prove that bijective group state transfer (the optimal case where $|S|=|T|$) is absent for almost all $t$. Focusing on this bijective case, we obtain a structure theorem, prove that bijective group state transfer is "monogamous", and study the relationship between the projections of $S$ and $T$ into each eigenspace of the graph.
Group state transfer is obviously preserved by graph automorphisms and this gives us information about the relationship between the setwise stabilizer of $S\subseteq V(X)$ and the stabilizers of naturally defined subsets obtained by spreading $S$ out over time and crudely reversing this process. These operations are sufficiently well-behaved to give us a topology on $V(X)$ which is likely to be simply the topology of subsets for which bijective group state transfer occurs at that time. We illustrate non-trivial group state transfer in bipartite graphs with integer eigenvalues, in joins of graphs, and in symmetric double stars. The Cartesian product allows us to build new examples from old ones.
On Vertices Contained in All or in No Metric Basis
Published in Discrete Applied Mathematics, 319, p. 407-423, 2022
• View Publication
• BIB
A set $R \subseteq V(G)$ is a resolving set of a graph $G$ if for all distinct vertices $v,u \in V(G)$ there exists an element $r \in R$ such that $d(r,v) \neq d(r,u)$. The metric dimension $\dim(G)$ of the graph $G$ is the minimum cardinality of a resolving set of $G$. A resolving set with cardinality $\dim(G)$ is called a metric basis of $G$. We consider vertices that are in all metric bases, and we call them basis forced vertices. We give several structural properties of sparse and dense graphs where basis forced vertices are present. In particular, we give bounds for the maximum number of edges in a graph containing basis forced vertices. Our bound is optimal whenever the number of basis forced vertices is even. Moreover, we provide a method of constructing fairly sparse graphs with basis forced vertices. We also study vertices which are in no metric basis in connection to cut-vertices and pendants. Furthermore, we show that deciding whether a vertex is in all metric bases is co-NP-hard, and deciding whether a vertex is in no metric basis is NP-hard.
Pruned inside-out polytopes, combinatorial reciprocity theorems and generalized permutahedra
Published in The Electronic Journal of Combinatorics 29 (2022) P4.36
• View Publication
• BIB
Generalized permutahedra are a class of polytopes with many interesting combinatorial subclasses. We introduce pruned inside-out polytopes, a generalization of inside-out polytopes introduced by Beck--Zaslavsky (2006), which have many applications such as recovering the famous reciprocity result for graph colorings by Stanley. We study the integer point count of pruned inside-out polytopes by applying classical Ehrhart polynomials and Ehrhart-Macdonald reciprocity. This yields a geometric perspective on and a generalization of a combinatorial reciprocity theorem for generalized permutahedra by Aguiar-Ardila (2017), Billera-Jia-Reiner (2009), and Karaboghossian (2022). Applying this reciprocity theorem to hypergraphic polytopes allows to give a geometric proof of a combinatorial reciprocity theorem for hypergraph colorings by Aval-Karaboghossian-Tanasa (2020). This proof relies, aside from the reciprocity for generalized permutahedra, only on elementary geometric and combinatorial properties of hypergraphs and their associated polytopes.
Sublinear circuits for polyhedral sets
Published
• View Publication
• BIB
Sublinear circuits are generalizations of the affine circuits in matroid theory, and they arise as the convex-combinatorial core underlying constrained non-negativity certificates of exponential sums and of polynomials based on the arithmetic-geometric inequality. Here, we study the polyhedral combinatorics of sublinear circuits for polyhedral constraint sets.
We give results on the relation between the sublinear circuits and their supports and provide necessary as well as sufficient criteria for sublinear circuits. Based on these characterizations, we provide some explicit results and enumerations for two prominent polyhedral cases, namely the non-negative orthant and the cube $[-1,1]^n$.
On a question of Vera T. Sós about size forcing of graphons
Published
• View Publication
• BIB
The $k$-sample $\mathbb{G}(k,W)$ from a graphon $W:[0,1]^2\to [0,1]$ is the random graph on $\{1,\dots,k\}$, where we sample $x_1,\dots,x_k\in [0,1]$ uniformly at random and make each pair $\{i,j\}\subseteq \{1,\dots,k\}$ an edge with probability $W(x_i,x_j)$, with all these choices being mutually independent. Let the random variable $X_k(W)$ be the number of edges in $\mathbb{G}(k,W)$.
Vera T. Sós asked in 2012 whether two graphons $U,W$ are necessarily weakly isomorphic if the random variables $X_k(U)$ and $X_k(W)$ have the same distribution for every integer $k\ge 2$. This question when one of the graphons $W$ is a constant function was answered positively by Endre Csóka and independently by Jacob Fox, Tomasz Łuczak and Vera T. Sós. Here we investigate the question when $W$ is a 2-step graphon and prove that the answer is positive for a 3-dimensional family of such graphons.
We also present some related results.
Classification of OBDD size for monotone 2-CNFs
We introduce a new graph parameter called linear upper maximum induced matching width \textsc{lu-mim width}, denoted for a graph $G$ by $lu(G)$. We prove that the smallest size of the \textsc{obdd} for $\varphi$, the monotone 2-\textsc{cnf} corresponding to $G$, is sandwiched between $2^{lu(G)}$ and $n^{O(lu(G))}$. The upper bound is based on a combinatorial statement that might be of an independent interest. We show that the bounds in terms of this parameter are best possible.
Gamma-positivity for a Refinement of Median Genocchi Numbers
Published
• View Publication
• BIB
We study the generating function of descent numbers for the permutations with descent pairs of prescribed parities, the distribution of which turns out to be a refinement of median Genocchi numbers. We prove the $γ$-positivity for the polynomial and derive the generating function for the $γ$-vectors, expressed in the form of continued fraction. We also come up with an artificial statistic that gives a $q$-analogue of the $γ$-positivity for the permutations with descents only allowed from an odd value to an odd value.
On factors of independent transversals in $k$-partite graphs
Published in The Electronic Journal of Combinatorics, Volume 28, P4.23 (2021)
• View Publication
• BIB
A $[k,n,1]$-graph is a $k$-partite graph with parts of order $n$ such that the bipartite graph induced by any pair of parts is a matching. An independent transversal in such a graph is an independent set that intersects each part in a single vertex. A factor of independent transversals is a set of $n$ pairwise-disjoint independent transversals. Let $f(k)$ be the smallest integer $n_0$ such that every $[k,n,1]$-graph has a factor of independent transversals assuming $n \ge n_0$. Several known conjectures imply that for $k \ge 2$, $f(k)=k$ if $k$ is even and $f(k)=k+1$ if $k$ is odd. While a simple greedy algorithm based on iterating Hall's Theorem shows that $f(k) \le 2k-2$, no better bound is known and in fact, there are instances showing that the bound $2k-2$ is tight for the greedy algorithm. Here we significantly improve upon the greedy algorithm bound and prove that $f(k) \le 1.78k$ for all $k$ sufficiently large, answering a question of MacKeigan.
A Hamilton Cycle in the $k$-Sided Pancake Network
Published
• View Publication
• BIB
We present a Hamilton cycle in the $k$-sided pancake network and four combinatorial algorithms to traverse the cycle. The network's vertices are coloured permutations $π= p_1p_2\cdots p_n$, where each $p_i$ has an associated colour in $\{0,1,\ldots, k{-}1\}$. There is a directed edge $(π_1,π_2)$ if $π_2$ can be obtained from $π_1$ by a "flip" of length $j$, which reverses the first $j$ elements and increments their colour modulo $k$. Our particular cycle is created using a greedy min-flip strategy, and the average flip length of the edges we use is bounded by a constant.
Intersection patterns in spaces with a forbidden homological minor
In this paper we study generalizations of classical results on intersection patterns of set systems in $\mathbb{R}^d$, such as the fractional Helly theorem or the $(p,q)$-theorem, in the setting of arbitrary triangulable spaces with a forbidden homological minor.
Given a simplicial complex $K$ and an integer $b$, we say that a family $\mathcal{F}$ of subcomplexes of some simplicial complex $\mathcal{U}$ is a \emph{$(K,b)$-free cover} if (i) $K$ is a forbidden homological minor of $\mathcal{U}$, and (ii) the $j$th reduced Betti number $\tildeβ_j(\bigcap_{S\in {\mathcal{G}}}S,\mathbb{Z}_2)$ is strictly less than $b$ for all $0\leq j < \dim K$ and all nonempty subfamilies $\mathcal{G}\subseteq \mathcal{F}$.
We show that for every $K$ and $b$, the fractional Helly number of a $(K,b)$-free cover is at most $μ(K)+1$, where $μ(K)$ is the maximum sum of the dimensions of two disjoint faces in~$K$. This implies that the assertion of the $(p,q)$-theorem holds for every $p \ge q > μ(K)$ and every $(K,b)$-free cover $\mathcal{F}$. For $b=1$ and a suitable $K$ this recovers the original $(p,q)$-theorem and its generalization to good covers. Interestingly, our results show that that the range of parameters $(p,q)$ for which the $(p,q)$-theorem holds is independent of $b$.
Our proofs use Ramsey-type arguments combined with the notion of stair convexity of Bukh et al. to construct (forbidden) homological minors in cubical complexes.
Combinatorial generation via permutation languages. III. Rectangulations
Published
• View Publication
• BIB
A generic rectangulation is a partition of a rectangle into finitely many interior-disjoint rectangles, such that no four rectangles meet in a point. In this work we present a versatile algorithmic framework for exhaustively generating a large variety of different classes of generic rectangulations. Our algorithms work under very mild assumptions, and apply to a large number of rectangulation classes known from the literature, such as generic rectangulations, diagonal rectangulations, 1-sided/area-universal, block-aligned rectangulations, and their guillotine variants, including aspect-ratio-universal rectangulations. They also apply to classes of rectangulations that are characterized by avoiding certain patterns, and in this work we initiate a systematic investigation of pattern avoidance in rectangulations. Our generation algorithms are efficient, in some cases even loopless or constant amortized time, i.e., each new rectangulation is generated in constant time in the worst case or on average, respectively. Moreover, the Gray codes we obtain are cyclic, and sometimes provably optimal, in the sense that they correspond to a Hamilton cycle on the skeleton of an underlying polytope. These results are obtained by encoding rectangulations as permutations, and by applying our recently developed permutation language framework.
On regular systems of finite classical polar spaces
Published
• View Publication
• BIB
Let $\cal P$ be a finite classical polar space of rank $d$. An $m$-regular system with respect to $(k - 1)$-dimensional projective spaces of $\cal P$, $1 \le k \le d - 1$, is a set $\cal R$ of generators of $\cal P$ with the property that every $(k - 1)$-dimensional projective space of $\cal P$ lies on exactly $m$ generators of $\cal R$. Regular systems of polar spaces are investigated. Some non-existence results about certain 1-regular systems of polar spaces with low rank are proved and a procedure to obtain $m'$-regular systems from a given $m$-regular system is described. Finally, three different construction methods of regular systems w.r.t. points of various polar spaces are discussed.
Geometry and combinatorics via right-angled Artin groups
Published
• View Publication
• BIB
We survey the relationship between the combinatorics and geometry of graphs and the algebraic structure of right-angled Artin groups. We concentrate on the defining graph of the right-angled Artin group and on the extension graph associated to the right-angled Artin group. Additionally, we discuss connections to geometric group theory and complexity theory. The final version of this survey will appear in "In the tradition of Thurston, vol.~II", ed.~K.~Ohshika and A.~Papadopoulos.
Extra automorphisms of cyclic orbifolds of lattice vertex operator algebras
Published
• View Publication
• BIB
In this article, we study the automorphism group of the cyclic orbifold of a vertex operator algebra associated with a rootless even lattice for a lift of a fixed-point free isometry of odd prime order $p$. We prove that such a cyclic orbifold contains extra automorphisms, not induced from automorphisms of the lattice vertex operator algebra, if and only if the rootless even lattice can be constructed by Construction B from a code over $\mathbb{Z}_p$ or is isometric to the coinvariant lattice of the Leech lattice associated with a certain isometry of order $p$.
The isomorphism problem for Schubert varieties
Schubert varieties in the full flag variety of Kac-Moody type are indexed by elements of the corresponding Weyl group. We give a practical criterion for when two such Schubert varieties (from potentially different flag varieties) are isomorphic, in terms of the Cartan matrix and reduced words for the indexing Weyl group elements. As a corollary, we show that two such Schubert varieties are isomorphic if and only if there is an isomorphism between their integral cohomology rings that preserves the Schubert basis.