Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Generate $Δ$-matroids from matroids
We give necessary and sufficient conditions for two matroids on the same ground set to be the upper and lower matroid of a $Δ$-matroid.
Maps and $Δ$-matroids revisited
Published
• View Publication
• BIB
Using Tutte's combinatorial definition of a map we define a $Δ$-matroid purely combinatorially and show that it is identical to Bouchet's topological definition.
A Point-Conic Incidence Bound and Applications over $\mathbb F_p$
Published in European Journal of Combinatorics, Volume 107, 2023, 103596
• View Publication
• BIB
In this paper, we prove the first incidence bound for points and conics over prime fields. As applications, we prove new results on expansion of bivariate polynomial images and on certain variations of distinct distances problems. These include new lower bounds on the number of pinned algebraic distances as well as improvements of results of Koh and Sun (2014) and Shparlinski (2006) on the size of the distance set formed by two large subsets of finite dimensional vector spaces over finite fields. We also prove a variant of Beck's theorem for conics.
The Gessel Correspondence and the Partial $γ$-Positivity of the Eulerian Polynomials on Multiset Stirling Permutations
Published
• View Publication
• BIB
Pondering upon the grammatical labeling of 0-1-2 increasing plane trees, we come to the realization that the grammatical labels play a role as records of chopped off leaves of
the original increasing binary trees. While such an understanding is purely psychological, it does give rise to an efficient apparatus to tackle the partial $γ$-positivity of the Eulearian polynomials on multiset Stirling permutations, as long as we bear in mind the combinatorial meanings of the labels $x$ and $y$ in the Gessel representation of a $k$-Stirling permutation by means of an increasing $(k+1)$-ary tree. More precisely, we introduce a Foata-Strehl action on the Gessel trees resulting in an interpretation of the partial $γ$-coefficients of the aforementioned Eulerian polynomials, different from the ones found by Lin-Ma-Zhang and Yan-Huang-Yang. In particular, our strategy can be adapted to deal with the partial $γ$-coefficients of the second order Eulerian polynomials, which in turn can be readily converted to the combinatorial formulation due to Ma-Ma-Yeh in connection with certain statistics of Stirling permutations.
Copartitions
Published
• View Publication
• BIB
We develop the theory of copartitions, which are a generalization of partitions with connections to many classical topics in partition theory, including Rogers-Ramanujan partitions, theta functions, mock theta functions, partitions with parts separated by parity, and crank statistics. Using both analytic and combinatorial methods, we give two forms of the three-parameter generating function, and we study several special cases that demonstrate the potential broader impact the study of copartitions may have.
Asymptotics for the twisted eta-product and applications to sign changes in partitions
Published
• View Publication
• BIB
We prove asymptotic formulas for the complex coefficients of $(ζq;q)_\infty^{-1}$, where $ζ$ is a root of unity, and apply our results to determine secondary terms in the asymptotics for $p(a,b,n)$, the number of integer partitions of $n$ with largest part congruent $a$ modulo $b$. Our results imply that, as $n \to \infty$, the difference $p(a_1,b,n)-p(a_2,b,n)$ for $a_1 \neq a_2$ oscillates like a cosine, when renormalized by elementary functions. Moreover, we give asymptotic formulas for arbitrary linear combinations of $\{p(a,b,n)\}_{1 \leq a \leq b}$.
Equivalences of biprojective almost perfect nonlinear functions
Published
• View Publication
• BIB
Two important problems on almost perfect nonlinear (APN) functions are the enumeration and equivalence problems. In this paper, we solve these two problems for any biprojective APN function family by introducing a strong group theoretic method for those functions. Roughly half of the known APN families of functions on even dimensions are biprojective. By our method, we settle the equivalence problem for all known biprojective APN functions. Furthermore, we give a new family of biprojective APN functions. Using our method, we count the number of inequivalent APN functions in all known biprojective APN families and show that the new family found in this paper gives exponentially many new inequivalent APN functions. Quite recently, the Taniguchi family of APN functions was shown to contain an exponential number of inequivalent APN functions by Kaspers and Zhou (J. Cryptol. 34 (1), 2021) which improved their previous count (J. Comb. Th. A 186, 2022) for the Zhou-Pott family. Our group theoretic method substantially simplifies the work required for proving those results and provides a generic natural method for every family in the large super-class of biprojective APN functions that contains these two family along with many others.
On the Jacobian Conjecture and ideal membership for degree $d$-linear maps
We consider polynomial maps, which we call degree $d$-linear maps, that satisfy the Jacobian condition. We prove that certain infinite families of elements, which appear in the coefficients of the formal inverse of such maps, are in the ideal determined by the Jacobian condition. Using the Cayley-Hamilton theorem, we provide expressions for these elements in terms of the generators of that ideal. We also give a combinatorial proof of the Cayley-Hamilton theorem similar to that of Straubing \cite{Straubing}. We also include results of Gröbner basis computations regarding other elements.
Antimagic Orientation of Forests
Published
• View Publication
• BIB
An antimagic labeling of a digraph $D$ with $n$ vertices and $m$ arcs is a bijection from the set of arcs of $D$ to $\{1,2,\cdots,m\}$ such that all $n$ oriented vertex-sums are pairwise distinct, where the oriented vertex-sum of a vertex is the sum of labels of all arcs entering that vertex minus the sum of labels of all arcs leaving it. A graph $G$ admits an antimagic orientation if $G$ has an orientation $D$ such that $D$ has an antimagic labeling. Hefetz, M{ü}tze and Schwartz conjectured every connected graph admits an antimagic orientation. In this paper, we support this conjecture by proving that any forest obtained from a given forest with at most one isolated vertex by subdividing each edge at least once admits an antimagic orientation.
No Hilton-Milner type results for linear groups of degree two
A set of permutations $\mathcal{F}$ of a finite transitive permutation group $G\leq \operatorname{Sym}(Ω)$ is \emph{intersecting} if any pair of elements of $\mathcal{F}$ agree on an element of $Ω$. We say that $G$ has the \emph{EKR property} if an intersecting set of $G$ has size at most the order of a point stabilizer. Moreover, $G$ has the \emph{strict-EKR} property whenever $G$ has the EKR property and any intersecting set of maximum size is a coset of a point stabilizer of $G$.
It is known that the permutation group $\operatorname{GL}_2(\mathbb{F}_q)$ acting on $Ω_q := \mathbb{F}_q^2\setminus\{0\}$ has the EKR property, but does not have the strict-EKR property since the stabilizer of a hyperplane is a maximum intersecting set. In this paper, it is proved that the Hilton-Milner type result does not hold for $\operatorname{GL}_2(\mathbb{F}_q)$ acting on $Ω_q$. Precisely, it is shown that a maximal intersecting set of $\operatorname{GL}_2(\mathbb{F}_q)$ is of maximum size. As a result, we prove the Complete Erdős-Ko-Rado theorem for $\operatorname{GL}_2(\mathbb{F}_{q})$.
Multi-colored dimer models in one-dimension: lattice paths and generalized Rogers--Ramanujan identities
We define and study multi-colored dimer models on a segment and on a circle. The multivariate generating functions for the dimer models satisfy the recurrence relations similar to the one for Fibonacci numbers. We give closed formulae for the generating functions. We show that, in the large size limit with specializations of the formal variables, the generating functions exhibit the summations appearing in generalized Rogers--Ramanujan identities. Further, the generating functions of the dimer models have infinite product formulae for general values of formal variables in the large size limit. These formulae are generalizations of Rogers--Ramanujan identities for multi variables. We also give other several specializations which exhibit simple combinatorial formulae. The analysis of the correlation functions, which we call emptiness formation probabilities and moments, leads to the application of the formal power series associated to the Dyck, Motzkin and Schröder paths to the generating functions for the dimer models. We give descriptions of the generating functions of finite size in terms of these combinatorial objects, Dyck and Motzkin paths with statistics. We have three additional results. First, the convoluted generating functions for Fibonacci, Catalan and Motzkin numbers are shown to be expressed as generating functions of Fibonacci, Dyck and Motzkin words with the weights given by binomial coefficients. The second one is a weight preserving correspondence between a Motzkin path and a set of Dyck paths. The third one is a connection of the generating functions for the dimer models to the generating functions of independent sets of special classes of graphs.
New bound for Roth's theorem with generalized coefficients
Published in Discrete Analysis, 2022:16, 21 pp
• View Publication
• BIB
We prove the following conjecture of Shkredov and Solymosi: every subset $A \subset \mathbf{Z}^2$ such that $\sum_{a\in A\setminus\{0\}} 1/\left\|a\right\|^{2} = +\infty$ contains the three vertices of an isosceles right triangle. To do this, we adapt the proof of the recent breakthrough by Bloom and Sisask on sets without three-term arithmetic progressions, to handle more general equations of the form $T_1a_1+T_2a_2+T_3a_3 = 0$ in a finite abelian group $G$, where the $T_i$'s are automorphisms of $G$.
High-ordered spectral characterizations of graphs
Published
• View Publication
• BIB
The spectrum of the $k$-power hypergraph of a graph $G$ is called the $k$-ordered spectrum of $G$.If graphs $G_1$ and $G_2$ have same $k$-ordered spectrum for all positive integer $k\geq2$, $G_1$ and $G_2$ are said to be high-ordered cospectral. If all graphs who are high-ordered cospectral with the graph $G$ are isomorphic to $G$, we say that $G$ is determined by the high-ordered spectrum.In this paper, we use the high-ordered spectrum of graphs to study graph isomorphism and show that all Smith's graphs are determined by the high-ordered spectrum.And we give infinitely many pairs of trees with same spectrum but different high-ordered spectrum by high-ordered cospectral invariants of trees,it means that we can determine that these cospectral trees are not isomorphism by the high-ordered spectrum.
On Asymptotic Packing of Geometric Graphs
Published in Discrete Applied Math. Volume 322, 15 December 2022, Pages 142-152
• View Publication
• BIB
A set of geometric graphs is {\em geometric-packable} if it can be asymptotically packed into every sequence of drawings of the complete graph $K_n$. For example, the set of geometric triangles is geometric-packable due to the existence of Steiner Triple Systems. When $G$ is the $4$-cycle (or $4$-cycle with a chord), we show that the set of plane drawings of $G$ is geometric-packable. In contrast, the analogous statement is false when $G$ is nearly any other planar Hamiltonian graph (with at most 3 possible exceptions). A convex geometric graph is {\em convex-packable} if it can be asymptotically packed into the convex drawings of the complete graphs. For each planar Hamiltonian graph $G$, we determine whether or not a plane $G$ is convex-packable. Many of our proofs explicitly construct these packings; in these cases, the packings exhibit a symmetry that mirrors the vertex transitivity of $K_n$.
The complex plank problem, revisited
Published
• View Publication
• BIB
Ball's complex plank theorem states that if $v_1,\dots,v_n$ are unit vectors in $\mathbb{C}^d$, and $t_1,\dots,t_n$, non-negative numbers satisfying $\sum_{k=1}^nt_k^2 = 1,$ then there exists a unit vector $v$ in $\mathbb{C}^d$ for which $|\langle v_k,v \rangle | \geq t_k$ for every $k$. Here we present a streamlined version of Ball's original proof.
There is no Heron triangle with three rational medians
The relevance of this paper lies in the fact that it addresses two previously open problems in mathematics: a new lemma is proved in the first part, and a new theorem is established in the second part. The subject of the paper is the proof that there are no Heronian triangles with three integer medians. In the second part of the paper, by transforming known formulas, a universal identity valid for an arbitrary triangle is derived. This identity is then used to prove the nonexistence of Heronian triangles with three integer medians. In the first part of the paper, a lemma is proved showing that if there exists a triangle with integer sides and integer medians, then there necessarily exists another triangle, not similar to the first one, possessing the same properties. In other words, such triangles can exist only in pairs.
The Fourier Transform of Restrictions of Functions on the Slice
This paper considers the Fourier transform over the slice of the Boolean hypercube. We prove a relationship between the Fourier coefficients of a function over the slice, and the Fourier coefficients of its restrictions. As an application, we prove a Goldreich-Levin theorem for functions on the slice based on the Kushilevitz-Mansour algorithm for the Boolean hypercube.
Breaking the $n^k$ Barrier for Minimum $k$-cut on Simple Graphs
Published
• View Publication
• BIB
In the minimum $k$-cut problem, we want to find the minimum number of edges whose deletion breaks the input graph into at least $k$ connected components. The classic algorithm of Karger and Stein runs in $\tilde O(n^{2k-2})$ time, and recent, exciting developments have improved the running time to $O(n^k)$. For general, weighted graphs, this is tight assuming popular hardness conjectures.
In this work, we show that perhaps surprisingly, $O(n^k)$ is not the right answer for simple, unweighted graphs. We design an algorithm that runs in time $O(n^{(1-ε)k})$ where $ε>0$ is an absolute constant, breaking the natural $n^k$ barrier. This establishes a separation of the two problems in the unweighted and weighted cases.
Attempting perfect hypergraphs
Published
• View Publication
• BIB
We study several extensions of the notion of perfect graphs to $k$-uniform hypergraphs.
Relating the total domination number and the annihilation number for quasi-trees and some composite graphs
Published
• View Publication
• BIB
The total domination number $γ_{t}(G)$ of a graph $G$ is the cardinality of a smallest set $D\subseteq V(G)$ such that each vertex of $G$ has a neighbor in $D$. The annihilation number $a(G)$ of $G$ is the largest integer $k$ such that there exist $k$ different vertices in $G$ with the degree sum at most $m(G)$. It is conjectured that $γ_{t}(G)\leq a(G)+1$ holds for every nontrivial connected graph $G$. The conjecture has been proved for graphs with minimum degree at least $3$, trees, certain tree-like graphs, block graphs, and cactus graphs. In the main result of this paper it is proved that the conjecture holds for quasi-trees. The conjecture is verified also for some graph constructions including bijection graphs, Mycielskians, and the newly introduced universally-identifying graphs.