Showing 20 papers (Total: 82505 papers, 47699 authors in database)
The (t-1)-chromatic Ramsey number for paths
The following relaxation of the classical problem of determining Ramsey number of a fixed graph has first been proposed by Erdos, Hajnal and Rado over 50 years ago. Given a graph $G$ and an integer $t \geq 2$ determine the minimum number $N$ such that in any $t$-coloured complete graph on $N$ vertices there is a copy of $G$ using only edges of some $t-1$ colours. We determine the answer precisely when $G$ is a path.
Achieving Capacity Region of 2-users Weak GIC by Enlarging the Core in a Nested Set of Polymatroids (continuation of arXiv:2012.07820 "Optimality of Gaussian in Enlarging HK Rate Region, and its Overlap with ...")
This article shows that achieving capacity region of a 2-users weak Gaussian Interference Channel (GIC) is equivalent to enlarging the core in a nested set of Polymatroids (each equivalent to capacity region of a multiple-access channel) through maximizing a minimum rate, then projecting along its orthogonal span and continuing recursively. This formulation relies on defining dummy private messages to capture the effect of interference in GIC. It follows that relying on independent Gaussian random code-books is optimum, and the corresponding solution corresponds to achieving the boundary in HK constraints.
The Green-Tao theorem for affine curves over F_q
Green and Tao famously proved in a 2008 paper that there are arithmetic progressions of prime numbers of arbitrary lengths. Soon after, analogous statements were proved by Tao for the ring of Gaussian integers and by Lê for the polynomial rings over finite fields. In 2020 this was extented to orders of arbitrary number fields by Kai-Mimura-Munemasa-Seki-Yoshino. We settle the case of the coordinate rings of affine curves over finite fields. The main contribution of this paper is subtle choice of a polynomial subring of the given ring which plays the role of $\mathbb Z$ in the number field case. This choice and the proof of its pleasant properties eventually depend on the Riemann-Roch formula.
Existence results for cyclotomic orthomorphisms
Published in J. Algebr. Comb. 46 (2017), 1-14
• View Publication
• BIB
An {\em orthomorphism} over a finite field $\mathbb{F}$ is a permutation $θ:\mathbb{F}\mapsto\mathbb{F}$ such that the map $x\mapstoθ(x)-x$ is also a permutation of $\mathbb{F}$. The orthomorphism $θ$ is {\em cyclotomic of index $k$} if $θ(0)=0$ and $θ(x)/x$ is constant on the cosets of a subgroup of index $k$ in the multiplicative group $\mathbb{F}^*$. We say that $θ$ has {\em least index} $k$ if it is cyclotomic of index $k$ and not of any smaller index. We answer an open problem due to Evans by establishing for which pairs $(q,k)$ there exists an orthomorphism over $\mathbb{F}_q$ that is cyclotomic of least index $k$.
Two orthomorphisms over $\mathbb{F}_q$ are orthogonal if their difference is a permutation of $\mathbb{F}_q$. For any list $[b_1,\dots,b_n]$ of indices we show that if $q$ is large enough then $\mathbb{F}_q$ has pairwise orthogonal orthomorphisms of least indices $b_1,\dots,b_n$. This provides a partial answer to another open problem due to Evans. For some pairs of small indices we establish exactly which fields have orthogonal orthomorphisms of those indices. We also find the number of linear orthomorphisms that are orthogonal to certain cyclotomic orthomorphisms of higher index.
Zero-sum flows for Steiner systems
Published in Discrete Math. 343 (2020), 112074
• View Publication
• BIB
Given a $t$-$(v, k, λ)$ design, $\mathcal{D}=(X,\mathcal{B})$, a zero-sum $n$-flow of $\mathcal{D}$ is a map $f : \mathcal{B}\longrightarrow \{\pm1,\ldots, \pm(n-1)\}$ such that for any point $x\in X$, the sum of $f$ over all blocks incident with $x$ is zero. For a positive integer $k$, we find a zero-sum $k$-flow for an STS$(u w)$ and for an STS$(2v+7)$ for $v\equiv 1~(\mathrm{mod}~4)$, if there are STS$(u)$, STS$(w)$ and STS$(v)$ such that the STS$(u)$ and STS$(v)$ both have a zero-sum $k$-flow. In 2015, it was conjectured that for $v>7$ every STS$(v)$ admits a zero-sum $3$-flow. Here, it is shown that many cyclic STS$(v)$ have a zero-sum $3$-flow. Also, we investigate the existence of zero-sum flows for some Steiner quadruple systems.
The Minimality of the Georges-Kelmans Graph
Published
• View Publication
• BIB
In 1971, Tutte wrote in an article that "it is tempting to conjecture that every 3-connected bipartite cubic graph is hamiltonian". Motivated by this remark, Horton constructed a counterexample on 96 vertices. In a sequence of articles by different authors several smaller counterexamples were presented. The smallest of these graphs is a graph on 50 vertices which was discovered independently by Georges and Kelmans. In this article we show that there is no smaller counterexample. As all non-hamiltonian 3-connected bipartite cubic graphs in the literature have cyclic 4-cuts -- even if they have girth 6 -- it is natural to ask whether this is a necessary prerequisite. In this article we answer this question in the negative and give a construction of an infinite family of non-hamiltonian cyclically 5-connected bipartite cubic graphs.
In 1969, Barnette gave a weaker version of the conjecture stating that 3-connected planar bipartite cubic graphs are hamiltonian. We show that Barnette's conjecture is true up to at least 90 vertices. We also report that a search of small non-hamiltonian 3-connected bipartite cubic graphs did not find any with genus less than 4.
Stretched Newell-Littlewood coefficients
Published
• View Publication
• BIB
Newell-Littlewood coefficients $n_{μ,ν}^λ$ are the multiplicities occurring in the decomposition of products of universal characters of the orthogonal and symplectic groups. They may also be expressed, or even defined directly in terms of Littlewood-Richardson coefficients, $c_{μ,ν}^λ$. Both sets of coefficients have stretched forms $c_{tμ,tν}^{tλ}$ and $n_{tμ,tν}^{tλ}$, where $tκ$ is the partition obtained by multiplying each part of the partition $κ$ by the integer $t$. It is known that $c_{tμ,tν}^{tλ}$ is a polynomial in $t$ and here it is shown that $n_{tμ,tν}^{tλ}$ is an Ehrhart quasi-polynomial in $t$ with minimum quasi-period at most $2$. The evaluation of $n_{tμ,tν}^{tλ}$ is effected both by deriving their generating function and by establishing a hive model analogous to that used for the calculation of $c_{tμ,tν}^{tλ}$. These two approaches lead to a whole battery of conjectures about the nature of the quasi-polynomials $n_{tμ,tν}^{tλ}$. These include both positivity, stability and saturation conjectures that are supported by a significant amount of data from a range of examples.
Sidon sets for linear forms
Published in Journal of Number Theory 239 (2022), 207--227
• View Publication
• BIB
Let $\varphi(x_1,\ldots, x_h) = c_1 x_1 + \cdots + c_h x_h $ be a linear form with coefficients in a field $\mathbf{F}$, and let $V$ be a vector space over $\mathbf{F}$. A nonempty subset $A$ of $V$ is a $\varphi$-Sidon set if, for all $h$-tuples $(a_1,\ldots, a_h) \in A^h$ and $ (a'_1,\ldots, a'_h) \in A^h$, the relation $\varphi(a_1,\ldots, a_h) = \varphi(a'_1,\ldots, a'_h)$ implies $(a_1,\ldots, a_h) = (a'_1,\ldots, a'_h)$. There exist infinite Sidon sets for the linear form $\varphi$ if and only if the set of coefficients of $\varphi$ has distinct subset sums. In a normed vector space with $\varphi$-Sidon sets, every infinite sequence of vectors is asymptotic to a $\varphi$-Sidon set of vectors. Results on $p$-adic perturbations of $\varphi$-Sidon sets of integers and bounds on the growth of $\varphi$-Sidon sets of integers are also obtained.
Congruences modulo powers of 5 for the rank parity function
Published
• View Publication
• BIB
It is well known that Ramanujan conjectured congruences modulo powers of 5, 7 and and 11 for the partition function. These were subsequently proved by Watson (1938) and Atkin (1967). In 2009 Choi, Kang, and Lovejoy proved congruences modulo powers of 5 for the crank parity function. The generating function for rank parity function is f(q), which is the first example of a mock theta function that Ramanujan mentioned in his last letter to Hardy. We prove congruences modulo powers of 5 for the rank parity function.
Multiple ergodic averages for variable polynomials
Published
• View Publication
• BIB
In this paper we study multiple ergodic averages for "good" variable polynomials. In particular, under an additional assumption, we show that these averages converge to the expected limit, making progress related to an open problem posted by Frantzikinakis (Problem 10, "Some open problems on multiple ergodic averages. Bulletin of the Hellenic Mathematical Society. 60 (2016), 41-90"). Corresponding averages along prime numbers are studied too. These general convergence results imply various variable extensions of classical recurrence, combinatorial and number theoretical results which are presented as well.
On the non-very generic intersections in discriminantal arrangements
Published
• View Publication
• BIB
In 1985 Crapo introduced in \cite{Crapo} a new mathematical object that he called $\textit{geometry of circuits}$. Four years later, in 1989, Manin and Schechtman defined in \cite{MS} the same object and called it $\textit{discriminantal arrangement}$, the name by which it is known now a days. Those discriminantal arrangements $\mathcal{B}(n,k,\mathcal{A}^0)$ are builded from an arrangement $\mathcal{A}^0$ of $n$ hyperplanes in general position in a $k$-dimensional space and their combinatorics depends on the arrangement $\mathcal{A}^0$. On this basis, in 1997 Bayer and Brandt (see \cite{BB}) distinguished two different type of arrangements $\mathcal{A}^0$ calling $\textit{very generic}$ the ones for which the intersection lattice of $\mathcal{B}(n,k,\mathcal{A}^0)$ has maximum cardinality and $\textit{non-very generic}$ the others. Results on the combinatorics of $\mathcal{B}(n,k,\mathcal{A}^0)$ in the very generic case already appear in Crapo \cite{Crapo} and in 1997 in Athanasiadis \cite{Atha} while the first known result on non-very generic case is due to Libgober and the first author in 2018. In their paper \cite{LS} they provided a necessary and sufficient condition on $\mathcal{A}^0$ for which the cardinality of rank 2 intersections in $\mathcal{B}(n,k,\mathcal{A}^0)$ is not maximal anymore. In this paper we further develop their result providing a sufficient condition on $\mathcal{A}^0$ for which the cardinality of rank r, $r \geq 2$, intersections in $\mathcal{B}(n,k,\mathcal{A}^0)$ decreases.
The size, multipartite Ramsey numbers for nK2 versus path-path and cycle
Published
• View Publication
• BIB
For given graphs $G_1, G_2,\ldots, G_n$ and any integer $j$, the size of the multipartite Ramsey number $m_j(G_1, G_2,\ldots, G_n)$ is the smallest positive integer $t$ such that any $n$-coloring of the edges of $K_{j\times t}$ contains a monochromatic copy of $G_i$ in color $i$ for some $i$, $1 \leq i \leq n$, where $K_{j\times t}$ denotes the complete multipartite graph having $j$ classes with $t$ vertices per each class. In this paper we compute the size of the multipartite Ramsey number $m_j(K_{1,2}, P_4, nK_2)$ for any $j,n\geq 2$ and $m_j(nK_2,C_7)$, for any $j\leq4$ and $n\geq 2$.
Labeled trees generating complete, compact, and discrete ultrametric spaces
Published
• View Publication
• BIB
We investigate the interrelations between labeled trees and ultrametric spaces generated by these trees. The labeled trees, which generate complete ultrametrics, totally bounded ultrametrics, and discrete ones, are characterized up to isomorphism. As corollary, we obtain a characterization of labeled trees generating compact ultrametrics, and discrete totally bounded ultrametrics. It is also shown that every ultrametric space generated by labeled tree contains a dense discrete subspace.
Symmetry Implies Isomorphism for Certain Maximum Length Circuit Codes
Published
• View Publication
• BIB
A classic result due to Douglas establishes that, for odd spread $k$ and dimension $d=\frac{1}{2}(3k+3)$, all maximum length $(d,k)$ circuit codes are isomorphic. Using a recent result of Byrnes we extend Douglas's theorem to prove that, for $k$ even $\ge 4$ and $d=\frac{1}{2}(3k+4)$, all maximum length symmetric $(d,k)$ circuit codes are isomorphic.
An uncountable ergodic Roth theorem and applications
Published
• View Publication
• BIB
We establish an uncountable amenable ergodic Roth theorem, in which the acting group is not assumed to be countable and the space need not be separable. This generalizes a previous result of Bergelson, McCutcheon and Zhang, and complements a result of Zorin-Kranich. We establish the following two additional results: First, a combinatorial application about triangular patterns in certain subsets of the Cartesian square of arbitrary amenable groups, extending a result of Bergelson, McCutcheon and Zhang for countable amenable groups. Second, a new uniformity aspect in the double recurrence theorem for $Γ$-systems for arbitrary uniformly amenable groups $Γ$. Our uncountable Roth theorem is crucial in the proof of both of these results.
About the number of oriented Hamiltonian paths and cycles in tournaments
Published
• View Publication
• BIB
We prove that a tournament and its complement contain the same number of oriented Hamiltonian paths (resp. cycles) of any given type, as a generalization of Rosenfeld's result proved for antidirected paths.
Norm hypergraphs
We introduce a high uniformity generalization of the so-called (projective) norm graphs of Alon, Kollár, Rónyai, and Szabó, and use it to show that $$\operatorname{ex}_{d}(n,K_{s_{1},\ldots,s_{d}}^{(d)}) = Θ\left(n^{d - \frac{1}{s_{1}\ldots s_{d-1}}}\right)$$ holds for all integers $s_{1},\ldots,s_{d} \geq 2$ such that $s_{d} \geq \left((d-1)(s_{1}\ldots s_{d-1}-1)\right)!+1$. This improves upon a recent result of Ma, Yuan and Zhang, and thus settles (many) new cases of a conjecture of Mubayi.
Minimizing the number of complete bipartite graphs in a $K_s$-saturated graph
Published
• View Publication
• BIB
A graph $G$ is $F$-saturated if it contains no copy of $F$ as a subgraph but the addition of any new edge to $G$ creates a copy of $F$. We prove that for $s \geq 3$ and $t \geq 2$, the minimum number of copies of $K_{1,t}$ in a $K_s$-saturated graph is $Θ( n^{t/2})$. More precise results are obtained when $t = 2$ where the problem is related to Moore graphs with diameter 2 and girth 5. We prove that for $s \geq 4$ and $t \geq 3$, the minimum number of copies of $K_{2,t}$ in an $n$-vertex $K_s$-saturated graph is at least $Ω( n^{t/5 + 8/5})$ and at most $O(n^{t/2 + 3/2})$. These results answer a question of Chakraborti and Loh. General estimates on the number of copies of $K_{a,b}$ in a $K_s$-saturated graph are also obtained, but finding an asymptotic formula remains open.
Formalizing Hall's Marriage Theorem in Lean
We formalize Hall's Marriage Theorem in the Lean theorem prover for inclusion in mathlib, which is a community-driven effort to build a unified mathematics library for Lean. One goal of the mathlib project is to contain all of the topics of a complete undergraduate mathematics education.
We provide three presentations of the main theorem statement: in terms of indexed families of finite sets, of relations on types, and of matchings in bipartite graphs. We also formalize a version of Kőnig's lemma (in terms of inverse limits) to boost the theorem to the case of countably infinite index sets. We give a description of the design of the recent mathlib library for simple graphs, and we also give a necessary and sufficient condition for a simple graph to carry a function.
Weighted theta functions for non-commutative graphs
Grötschel, Lovász, and Schrijver generalized the Lovász $\vartheta$ function by allowing a weight for each vertex. We provide a similar generalization of Duan, Severini, and Winter's $\tilde{\vartheta}$ on non-commutative graphs. While the classical theory involves a weight vector assigning a non-negative weight to each vertex, the non-commutative theory uses a positive semidefinite weight matrix. The classical theory is recovered in the case of diagonal weight matrices.
Most of Grötschel, Lovász, and Schrijver's results generalize to non-commutative graphs. In particular, we generalize the inequality $\vartheta(G, w) \vartheta(\overline{G}, x) \ge \langle w, x \rangle$ with some modification needed due to non-commutative graphs having a richer notion of complementation. Similar to the classical case, facets of the theta body correspond to cliques and if the theta body anti-blocker is finitely generated then it is equal to the non-commutative generalization of the clique polytope.
We propose two definitions for non-commutative perfect graphs, equivalent for classical graphs but inequivalent for non-commutative graphs.