Showing 20 papers (Total: 84253 papers, 48533 authors in database)
On binomial sums, additive energies, and lazy random walks
Published in J. Math. Anal. Appl. 528 (2023), issue 1, article 127510
• View Publication
• BIB
We establish a sharp estimate for $k$-additive energies of subsets of the discrete hypercube conjectured by de Dios Pont, Greenfeld, Ivanisvili, and Madrid in arXiv:2112.09352, which generalizes a result by Kane and Tao. This note proves the only missing ingredient, which is an elementary inequality for real numbers, previously verified only for $k\leq100$. We also give an interpretation of this inequality in terms of a lazy non-symmetric simple random walk on the integer lattice.
Permutations with arithmetic constraints
Published
• View Publication
• BIB
Let $S_{\rm lcm}(n)$ denote the set of permutations $π$ of $[n]=\{1,2,\dots,n\}$ such that ${\rm lcm}[j,π(j)]\le n$ for each $j\in[n]$. Further, let $S_{\rm div}(n)$ denote the number of permutations $π$ of $[n]$ such that $j\midπ(j)$ or $π(j)\mid j$ for each $j\in[n]$. Clearly $S_{\rm div}(n)\subset S_{\rm lcm}(n)$. We get upper and lower bounds for the counts of these sets, showing they grow geometrically. We also prove a conjecture from a recent paper on the number of "anti-coprime" permutations of $[n]$, meaning that each $\gcd(j,π(j))>1$ except when $j=1$.
Orientation of convex sets
We introduce a novel definition of orientation on the triples of a family of pairwise intersecting planar convex sets and study its properties. In particular, we compare it to other systems of orientations on triples that satisfy a so-called interiority condition: $\circlearrowleft(ABD)=~\circlearrowleft(BCD)=~\circlearrowleft(CAD)=1$ imply $\circlearrowleft(ABC)=1$ for any $A,B,C,D$. We call such an orientation a P3O (partial 3-order), a natural generalization of a poset, that has several interesting special cases. For example, the order type of a planar point set (that can have collinear triples) is a P3O; we denote a P3O realizable by points as p-P3O.
If we do not allow $\circlearrowleft(ABC)=0$, we obtain a T3O (total 3-order). Contrary to linear orders, a T3O can have a rich structure. A T3O realizable by points, a p-T3O, is the order type of a point set in general position. Despite these similarities to order types, P3O and p-T3O that can arise from the orientation of pairwise intersecting convex sets, denoted by C-P3O and C-T3O, turn out to be quite different from order types: there is no containment relation among the family of all C-P3O's and the family of all p-P3O's, or among the families of C-T3O's and p-T3O's.
Finally, we study properties of these orientations if we also require that the family of underlying convex sets satisfies the (4,3) property.
Orientation of good covers
We study systems of orientations on triples that satisfy the following so-called interiority condition: $\circlearrowleft(ABD)=~\circlearrowleft(BCD)=~\circlearrowleft(CAD)=1$ implies $\circlearrowleft(ABC)=1$ for any $A,B,C,D$. We call such an orientation a P3O (partial 3-order), a natural generalization of a poset, that has several interesting special cases. For example, the order type of a planar point set (that can have collinear triples) is a P3O; we denote a P3O realizable by points as p-P3O. If we do not allow $\circlearrowleft(ABC)=0$, we obtain a T3O (total 3-order). Contrary to linear orders, a T3O can have a rich structure. A T3O realizable by points, a p-T3O, is the order type of a point set in general position. In our paper "Orientation of convex sets" we defined a 3-order on pairwise intersecting convex sets; such a P3O is called a C-P3O. In this paper we extend this 3-order to pairwise intersecting good covers; such a P3O is called a GC-P3O. If we do not allow $\circlearrowleft(ABC)=0$, we obtain a C-T3O and a GC-T3O, respectively. The main result of this paper is that there is a p-T3O that is not a GC-T3O, implying also that it is not a C-T3O -- this latter problem was left open in our earlier paper. Our proof involves several combinatorial and geometric observations that can be of independent interest. Along the way, we define several further special families of GC-T3O's.
Properties of a Ternary Infinite Word
Published
• View Publication
• BIB
We study the properties of the ternary infinite word p = 012102101021012101021012 ... , that is, the fixed point of the map h:0->01, 1->21, 2->0. We determine its factor complexity, critical exponent, and prove that it is 2-balanced. We compute its abelian complexity and determine the lengths of its bispecial factors. Finally, we give a characterization of p in terms of avoided factors.
Infinite Sumsets in Sets with Positive Density
Published
• View Publication
• BIB
Motivated by questions asked by Erdos, we prove that any set $A\subset{\mathbb N}$ with positive upper density contains, for any $k\in{\mathbb N}$, a sumset $B_1+\cdots+B_k$, where $B_1,\dots,B_k\subset{\mathbb N}$ are infinite. Our proof uses ergodic theory and relies on structural results for measure preserving systems. Our techniques are new, even for the previously known case of $k=2$.
On Periodic Alternate Base Expansions
Published
• View Publication
• BIB
For an alternate base $\boldsymbolβ=(β_0,\ldots,β_{p-1})$, we show that if all rational numbers in the unit interval $[0,1)$ have periodic expansions with respect to the $p$ shifts of $\boldsymbolβ$, then the bases $β_0,\ldots,β_{p-1}$ all belong to the extension field $\mathbb Q(β)$ where $β$ is the product $β_0\cdotsβ_{p-1}$ and moreover, this product $β$ must be either a Pisot or Salem number. We also prove the stronger statement that if the bases $β_0,\ldots,β_{p-1}$ belong to $\mathbb Q(β)$ but the product $β$ is neither a Pisot number nor a Salem number then the set of rationals having an ultimately periodic $\boldsymbolβ$-expansion is nowhere dense in $[0,1)$. Moreover, in the case where the product $β$ is a Pisot number and the bases $β_0,\ldots,β_{p-1}$ all belong to $\mathbb Q(β)$, we prove that the set of points in $[0,1)$ having an ultimately periodic $\boldsymbolβ$-expansion is precisely the set $\mathbb Q(β)\cap[0,1)$. For the restricted case of Rényi real bases, i.e., for $p=1$ in our setting, our method gives rise to an elementary proof of Schmidt's original result. Therefore, even though our results generalize those of Schmidt, our proofs should not be seen as generalizations of Schmidt's original arguments but as an original method in the generalized framework of alternate bases, which moreover gives a new elementary proof of Schmidt's results from 1980. As an application of our results, we show that if $\boldsymbolβ=(β_0,\ldots,β_{p-1})$ is an alternate base such that the product $β$ of the bases is a Pisot number and $β_0,\ldots,β_{p-1}\in\mathbb Q(β)$, then $\boldsymbolβ$ is a Parry alternate base, meaning that the quasi-greedy expansions of $1$ with respect to the $p$ shifts of the base $\boldsymbolβ$ are ultimately periodic.
Some results and problems on clique coverings of hypergraphs
For a $k$-uniform hypergraph $F$ we consider the parameter $Θ(F)$, the minimum size of a clique cover of the of $F$. We derive bounds on $Θ(F)$ for $F$ belonging to various classes of hypergraphs.
gcd-Pairs in $\mathbb{Z}_{n}$ and their graph representations
This research introduces a gcd-pair in $\mathbb{Z}_n$ which is an unordered pair $\{[a]_n, [b]_n\}$ of elements in $ \mathbb{Z}_n $ such that $0\leq a,b < n$ and the greatest common divisor $\gcd(a,b)$ divides $ n $. The properties of gcd-pairs in $ \mathbb{Z}_n $ and their graph representations are investigated. We also provide the counting formula of gcd-pairs in $ \mathbb{Z}_n $ and its subsets. The algorithms to find, count and check gcd-pairs in $ \mathbb{Z}_{n}$ are included.
Concerning Two Conjectures of Frick and Jafari
In 2022, Hamid Reza Daneshpajouh provided some counterexamples to the following conjecture of Florian Frick.
\bf Conjecture. Let $r \geq 3$. Then, every hypergraph ${\cal G}$ over the ground set $[n]$ satisfies $$ χ\left({\rm KG}^r ({\cal G}_{r-{\rm stable}})\right) \geq \left\lceil \frac{{\rm cd}^r ({\cal G})}{r-1} \right\rceil . $$ In this paper, we improve Danashpajouh's results. Also, we provide several counterexamples to the following recent conjecture of Amir Jafari.
Conjecture. If $s \geq r \geq 2$, then for any hypergraph ${\cal G}$ with vertex set $[n]$ we have $$ χ\left({\rm KG}^r ({\cal G}_{s-{\rm stable}})\right) \geq \left\lceil \frac{{\rm ecd}^s ({\cal G})}{r-1} \right\rceil .$$
On the structure of pointsets with many collinear triples
Published
• View Publication
• BIB
It is conjectured that if a finite set of points in the plane contains many collinear triples then there is some structure in the set. We are going to show that under some combinatorial conditions such pointsets contain special configurations of triples, proving a case of Elekes' conjecture. Using the techniques applied in the proof we show a density version of Jamison's theorem. If the number of distinct directions between many pairs of points of a pointset in convex position is small, then many points are on a conic.
The chromatic index of finite projective spaces
Published
• View Publication
• BIB
A line coloring of PG$(n,q)$, the $n$-dimensional projective space over GF$(q)$, is an assignment of colors to all lines of PG$(n,q)$ so that any two lines with the same color do not intersect. The chromatic index of PG$(n,q)$, denoted by $χ'(PG(n,q))$, is the least number of colors for which a coloring of PG$(n,q)$ exists. This paper translates the problem of determining the chromatic index of PG$(n,q)$ to the problem of examining the existences of PG$(3,q)$ and PG$(4,q)$ with certain properties. In particular, it is shown that for any odd integer $n$ and $q\in\{3,4,8,16\}$, $χ'(PG(n,q))=(q^n-1)/(q-1)$, which implies the existence of a parallelism of PG$(n,q)$ for any odd integer $n$ and $q\in\{3,4,8,16\}$.
Extremal values of degree-based entropies of bipartite graphs
Published
• View Publication
• BIB
We characterize the bipartite graphs that minimize the (first-degree based) entropy, among all bipartite graphs of given size, or given size and (upper bound on the) order. The extremal graphs turn out to be complete bipartite graphs, or nearly complete bipartite. Here we make use of an equivalent representation of bipartite graphs by means of Young tableaux, which make it easier to compare the entropy of related graphs. We conclude that the general characterization of the extremal graphs is a difficult problem, due to its connections with number theory, but they are easy to find for specific values of the order $n$ and size $m$. We also give a direct argument to characterize the graphs maximizing the entropy given order and size. We indicate that some of our ideas extend to other degree-based topological indices as well.
Constructive Characterization for Signed Analogue of Critical Graphs II: General Radials and Semiradials
This paper is a sequel of our preceding paper (N. Kita: Constructive characterization for signed analogue of critical graphs I: Principal classes of radials and semiradials. arXiv preprint, arXiv:2001.00083, 2019). In the preceding paper, the concepts of radials and semiradials are introduced, and constructive characterizations for five principal classes of radials and semiradials are provided. Radials are a common analogue of critical graphs from matching theory and a class of directed graphs called flowgraphs, whereas semiradials are a relaxed concept of radials. Five classes of radials and semiradials, that is, absolute semiradials, strong and almost strong radials, linear semiradials, and sublinear radials, were defined and characterized in the paper. In this paper, we use these characterizations to provide a constructive characterization of general radials and semiradials.
Classification of $(q,q)$-biprojective APN functions
Published
• View Publication
• BIB
In this paper, we classify $(q,q)$-biprojective almost perfect nonlinear (APN) functions over $\mathbb{LL} \times \mathbb{LL}$ under the natural left and right action of $\mathrm{GL}(2,\mathbb{LL})$ where $\mathbb{LL}$ is a finite field of characteristic $2$. This shows in particular that the only quadratic APN functions (up to CCZ-equivalence) over $\mathbb{LL} \times \mathbb{LL}$ that satisfy the so-called subfield property are the Gold functions and the function $κ: \mathbb{F}_{64} \to \mathbb{F}_{64}$ which is the only known APN function that is equivalent to a permutation over $\mathbb{LL} \times \mathbb{LL}$ up to CCZ-equivalence. The $κ$-function was introduced in (Browning, Dillon, McQuistan, and Wolfe, 2010). Deciding whether there exist other quadratic APN functions (possibly CCZ-equivalent to permutations) that satisfy subfield property or equivalently, generalizing $κ$ to higher dimensions was an open problem listed for instance in (Carlet, 2015) as one of the interesting open problems on cryptographic functions.
Integral Laplacian graphs with a unique double Laplacian eigenvalue, I
Published in Special Matrices, vol. 11, no. 1, 2023, pp. 20230111
• View Publication
• BIB
The set $S_{i,n}=\{0,1,2,\ldots,n-1,n\}\setminus\{i\}$, $1\leqslant i\leqslant n$ is called Laplacian realizable if there exists an undirected simple graph whose Laplacian spectrum is $S_{i,n}$. The existence of such graphs was established by S. Fallat et al. in 2005. In this paper, we investigate graphs whose Laplacian spectra have the form $$ S_{\{i,j\}_{n}^{m}}=\{0,1,2,\ldots,m-1,m,m,m+1,\ldots,n-1,n\}\setminus\{i,j\},\qquad 0<i<j\leqslant n, $$ and completely describe those ones with $m=n-1$ and $m=n$. We also show close relations between graphs realizing $S_{i,n}$ and $S_{\{i,j\}_{n}^{m}}$, and discuss the so-called $S_{n,n}$-conjecture and the correspondent conjecture for $S_{\{i,n\}_{n}^{m}}$.
On the Lie complexity of Sturmian words
Published in Theoretical Computer Science 938 (2022) 81-85
• View Publication
• BIB
Bell and Shallit recently introduced the Lie complexity of an infinite word $s$ as the function counting for each length the number of conjugacy classes of words whose elements are all factors of $s$. They proved, using algebraic techniques, that the Lie complexity is bounded above by the first difference of the factor complexity plus one; hence, it is uniformly bounded for words with linear factor complexity, and, in particular, it is at most 2 for Sturmian words, which are precisely the words with factor complexity $n+1$ for every $n$. In this note, we provide an elementary combinatorial proof of the result of Bell and Shallit and give an exact formula for the Lie complexity of any Sturmian word.
Action of $W$-type operators on Schur functions and Schur Q-functions
Published
• View Publication
• BIB
In this paper, we investigate a series of W-type differential operators, which appear naturally in the symmetry algebras of KP and BKP hierarchies. In particular, they include all operators in the W-constraints for tau functions of higher KdV hierarchies which satisfy the string equation. We will give simple uniform formulas for actions of these operators on all ordinary Schur functions and Schur's Q-functions. As applications of such formulas, we will give new simple proofs for Alexandrov's conjecture and Mironov-Morozov's formula, which express the Brézin-Gross-Witten and Kontsevich-Witten tau-functions as linear combinations of Q-functions with simple coefficients respectively.
Min orderings and list homomorphism dichotomies for signed and unsigned graphs
Published
• View Publication
• BIB
The CSP dichotomy conjecture has been recently established, but a number of other dichotomy questions remain open, including the dichotomy classification of list homomorphism problems for signed graphs. Signed graphs arise naturally in many contexts, including for instance nowhere-zero flows for graphs embedded in non-orientable surfaces. For a fixed signed graph $\widehat{H}$, the list homomorphism problem asks whether an input signed graph $\widehat{G}$ with lists $L(v) \subseteq V(\widehat{H}), v \in V(\widehat{G}),$ admits a homomorphism $f$ to $\widehat{H}$ with all $f(v) \in L(v), v \in V(\widehat{G})$. Usually, a dichotomy classification is easier to obtain for list homomorphisms than for homomorphisms, but in the context of signed graphs a structural classification of the complexity of list homomorphism problems has not even been conjectured, even though the classification of the complexity of homomorphism problems is known. Kim and Siggers have conjectured a structural classification in the special case of ``weakly balanced" signed graphs. We confirm their conjecture for reflexive and irreflexive signed graphs; this generalizes previous results on weakly balanced signed trees, and weakly balanced separable signed graphs \cite{separable,trees}. In the reflexive case, the result was first presented in \cite{KS}, with the proof using some of our results included in this paper. In fact, here we present our full proof, as an alternative to the proof in \cite{KS}. In particular, we provide direct polynomial algorithms where previously algorithms relied on general dichotomy theorems. The irreflexive results are new, and their proof depends on first deriving a theorem on extensions of min orderings of (unsigned) bipartite graphs, which is interesting on its own. [shortened, full abstract in PDF]
On a construction of some homology $d$-manifolds
Published in Discrete Math. 349 (2026), no. 2, Paper No. 114843, 16 pp
• View Publication
• BIB
The $g$-vector of a simplicial complex contains a lot of information about the combinatorial and topological structure of that complex. Several classification results regarding the structure of normal pseudomanifolds and homology manifolds have been established concerning the value of $g_2$. It is known that when $g_2=0$, all normal pseudomanifolds of dimensions at least three are stacked spheres. In the cases of $g_2=1$ and $2$, all homology manifolds are polytopal spheres and can be obtained through retriangulation or join operations from the previous ones. In this article, we provide a combinatorial characterization of the homology $d$-manifolds, where $d\geq 3$ and $g_2=3$. These are spheres and can be obtained through operations such as joins, some retriangulations, and connected sums from spheres with $g_2\leq 2$. Furthermore, we have presented a structural result on prime normal $d$-pseudomanifolds with $g_2=3$.