Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Planar Turán Numbers of Cycles: A Counterexample
Published in Electronic Journal of Combinatorics. Vol. 29(3), 2022, #P3.31
• View Publication
• BIB
The planar Turan number $\textrm{ex}_{\mathcal{P}}(C_{\ell},n)$ is the largest number of edges in an $n$-vertex planar graph with no $\ell$-cycle. For $\ell\in \{3,4,5,6\}$, upper bounds on $\textrm{ex}_{\mathcal{P}}(C_{\ell},n)$ are known that hold with equality infinitely often. Ghosh, Györi, Martin, Paulo, and Xiao [arxiv:2004.14094] conjectured an upper bound on $\textrm{ex}_{\mathcal{P}}(C_{\ell},n)$ for every $\ell\ge 7$ and $n$ sufficiently large. We disprove this conjecture for every $\ell\ge 11$. We also propose two revised versions of the conjecture.
The transformation of edge-regular and pseudo strongly regular graphs under graph operations
The graph $G$ is said to be strongly regular with parameters $(n,k,λ,μ)$ if the following conditions hold:
(1) each vertex has $k$ neighbours; (2) any two adjacent vertices of $G$ have $λ$ common neighbours; (3) any two non-adjacent vertices of $G$ have $μ$ common neighbours.
In this paper we study two weaker notions of strongly regular graphs. A graph satisfying the conditions $(1)$ and $(2)$ is called an edge-regular graph with parameters $(n,k,λ)$. We call a graph satisfying the conditions $(1)$ and $(3)$ a pseudo strongly regular graph with parameters $(n,k,μ)$. In this paper we study the impact of various graph operations on edge regular graphs and pseudo strongly regular graphs.
Rédei permutations with the same cycle structure
Published in Finite Fields Appl. 81 (2022), 102046
• View Publication
• BIB
Let $\mathbb{F}_q$ be the finite field of order $q$, and $\mathbb P^1(\mathbb{F}_q) = \mathbb F_q\cup \{\infty\}$. Write $(x+\sqrt y)^m$ as $N(x,y)+D(x,y)\sqrt{y}$. For $m\in\mathbb N$ and $a \in \mathbb{F}_q$, the Rédei function $R_{m,a}\colon \mathbb P^1(\mathbb F_q) \to \mathbb P^1(\mathbb F_q)$ is defined by $N(x,a)/D(x,a)$ if $D(x,a)\neq 0$ and $x\neq\infty$, and $\infty$, otherwise. In this paper we give a complete characterization of all pairs $(m,n)\in\mathbb N^2$ such that the Rédei permutations $R_{m,a}$ and $R_{n,b}$ have the same cycle structure when $a$ and $b$ have the same quadratic character and $q$ is odd. We explore some relationships between such pairs $(m,n)$, and provide explicit families of Rédei permutations with the same cycle structure. When a Rédei permutation has a unique cycle structure that is not shared by any other Rédei permutation, we call it isolated. We show that the only isolated Rédei permutations are the isolated Rédei involutions. Moreover, all our results can be transferred to bijections of the form $mx$ and $x^m$ on certain domains.
An extension of the Erdős-Ko-Rado theorem to set-wise $2$-intersecting families of perfect matchings
Published
• View Publication
• BIB
Two perfect matchings $P$ and $Q$ of the complete graph on $2k$ vertices are said to be set-wise $t$-intersecting if there exist edges $P_{1}, \cdots, P_{t}$ in $P$ and $Q_{1}, \cdots, Q_{t}$ in $Q$ such that the union of edges $P_{1}, \cdots, P_{t}$ has the same set of vertices as the union of $Q_{1}, \cdots, Q_{t}$ has. In this paper we prove an extension of the famous Erdős-Ko-Rado (EKR) theorem to set-wise $2$-intersecting families of perfect matching on all values of $k$, and we conjecture similar statement for all $t\geq 2$.
Tradeoffs in Hierarchical Voting Systems
Published in Collect. Intell. 1, 1--16 (2022)
• View Publication
• BIB
Condorcet's jury theorem states that the correct outcome is reached in direct majority voting systems with sufficiently large electorates as long as each voter's independent probability of voting for that outcome is greater than 0.5. Yet, in situations where direct voting systems are infeasible, such as due to high implementation and infrastructure costs, hierarchical voting systems provide a reasonable alternative. We study differences in outcome precision between hierarchical and direct voting systems for varying group sizes, abstention rates, and voter competencies. Using asymptotic expansions of the derivative of the reliability function (or Banzhaf number), we first prove that indirect systems differ most from their direct counterparts when group size and number are equal to each other, and therefore to $\sqrt{N_{\rm d}}$, where $N_{\rm d}$ is the total number of voters in the direct system. In multitier systems, we prove that this difference is maximized when group size equals $\sqrt[n]{N_{\rm d}}$, where $n$ is the number of hierarchical levels. Second, we show that while direct majority rule always outperforms hierarchical voting for homogeneous electorates that vote with certainty, as group numbers and size increase, hierarchical majority voting gains in its ability to represent all eligible voters. Furthermore, when voter abstention and competency are correlated within groups, hierarchical systems often outperform direct voting, which we show by using a generating function approach that is able to analytically characterize heterogeneous voting systems.
Wronskians, total positivity, and real Schubert calculus
Published in Selecta Math. (N.S.) 30 (2024), no. 1, Paper No. 1, 28 pages
• View Publication
• BIB
A complete flag in $\mathbb{R}^n$ is a sequence of nested subspaces $V_1 \subset \cdots \subset V_{n-1}$ such that each $V_k$ has dimension $k$. It is called totally nonnegative if all its Plücker coordinates are nonnegative. We may view each $V_k$ as a subspace of polynomials in $\mathbb{R}[x]$ of degree at most $n-1$, by associating a vector $(a_1, \dots, a_n)$ in $\mathbb{R}^n$ to the polynomial $a_1 + a_2x + \cdots + a_nx^{n-1}$. We show that a complete flag is totally nonnegative if and only if each of its Wronskian polynomials $\mathsf{Wr}(V_k)$ is nonzero on the interval $(0, \infty)$. In the language of Chebyshev systems, this means that the flag forms a Markov system or $ECT$-system on $(0, \infty)$. This gives a new characterization and membership test for the totally nonnegative flag variety. Similarly, we show that a complete flag is totally positive if and only if each $\mathsf{Wr}(V_k)$ is nonzero on $[0, \infty]$. We use these results to show that a conjecture of Eremenko (2015) in real Schubert calculus is equivalent to the following conjecture: if $V$ is a finite-dimensional subspace of polynomials such that all complex zeros of $\mathsf{Wr}(V)$ lie in the interval $(-\infty, 0)$, then all Plücker coordinates of $V$ are real and positive. This conjecture is a totally positive strengthening of a result of Mukhin, Tarasov, and Varchenko (2009), and can be reformulated as saying that all complex solutions to a certain family of Schubert problems in the Grassmannian are real and totally positive. We also show that our conjecture is equivalent to a totally positive version of the secant conjecture of Sottile (2003).
Multicolor Turán numbers
Published
• View Publication
• BIB
We consider a natural generalisation of Turán's forbidden subgraph problem and the Ruzsa-Szemerédi problem by studying the maximum number $ex_F(n,G)$ of edge-disjoint copies of a fixed graph $F$ can be placed on an $n$-vertex ground set without forming a subgraph $G$ whose edges are from different $F$-copies. We determine the pairs $\{F, G\}$ for which the order of magnitude of $ex_F(n,G)$ is quadratic and prove several asymptotic results using various tools from the regularity lemma and supersaturation to graph packing results.
High-rate storage codes on triangle-free graphs
Published in IEEE Transactions on Information Theory, 2022, vol. 68, no. 12, pp. 7787-7797
• View Publication
• BIB
Consider an assignment of bits to the vertices of a connected graph $G(V,E)$ with the property that the value of each vertex is a function of the values of its neighbors. A collection of such assignments is called a {\em storage code} of length $|V|$ on $G$. The storage code problem can be equivalently formulated as maximizing the probability of success in a {\em guessing game} on graphs, or constructing {\em index codes} of small rate.
If $G$ contains many cliques, it is easy to construct codes of rate close to 1, so a natural problem is to construct high-rate codes on triangle-free graphs, where constructing codes of rate $>1/2$ is a nontrivial task, with few known results. In this work we construct infinite families of linear storage codes with high rate relying on coset graphs of binary linear codes. We also derive necessary conditions for such codes to have high rate, and even rate potentially close to one.
We also address correction of multiple erasures in the codeword, deriving recovery guarantees based on expansion properties of the graph.
Finally, we point out connections between linear storage codes and quantum CSS codes, a link to bootstrap percolation and contagion spread in graphs, and formulate a number of open problems.
Exponentially sized pointsets with angles less than 61 degrees
We prove that any set of points in $\mathbb{R}^d$, any three of which form an angle less than $\fracπ{3} + c$, has size $(1+Θ(c))^d$ for sufficiently small $c>0$. The proof is based on a refinement of an approach by Erdős and Füredi. The lower bound is relying on a problem about large hypegraphs with small edge intersections, while the upper bound is tightly connected to the problem of packing disjoint caps on a sphere.
Scattering diagrams for generalized cluster algebras
Published in Alg. Number Th. 18 (2024) 2179-2246
• View Publication
• BIB
We construct scattering diagrams for Chekhov-Shapiro's generalized cluster algebras where exchange polynomials are factorized into binomials, generalizing the cluster scattering diagrams of Gross, Hacking, Keel and Kontsevich. They turn out to be natural objects arising in Fock and Goncharov's cluster duality. Analogous features and structures (such as positivity and the cluster complex structure) in the ordinary case also appear in the generalized situation. With the help of these scattering diagrams, we show that generalized cluster variables are theta functions and hence have certain positivity property with respect to the coefficients in the binomial factors.
Bell numbers in Matsunaga's and Arima's Genjikō combinatorics: Modern perspectives and local limit theorems
Published
• View Publication
• BIB
We examine and clarify in detail the contributions of Yoshisuke Matsunaga (1694?--1744) to the computation of Bell numbers in the eighteenth century (in the Edo period), providing modern perspectives to some unknown materials that are by far the earliest in the history of Bell numbers. Later clarification and developments by Yoriyuki Arima (1714--1783), and several new results such as the asymptotic distributions (notably the corresponding local limit theorems) of a few closely related sequences are also given.
Book free $3$-Uniform Hypergraphs
Published
• View Publication
• BIB
A $k$-book in a hypergraph consists of $k$ Berge triangles sharing a common edge. In this paper we prove that the number of the hyperedges in a $k$-book-free 3-uniform hypergraph on $n$ vertices is at most $\frac{n^2}{8}(1+o(1))$.
Sequences of linear codes where the rate times distance grows rapidly
Published
• View Publication
• BIB
For a linear code $C$ of length $n$ with dimension $k$ and minimum distance $d$, it is desirable that the quantity $kd/n$ is large. Given an arbitrary field $\mathbb{F}$, we introduce a novel, but elementary, construction that produces a recursively defined sequence of $\mathbb{F}$-linear codes $C_1,C_2, C_3, \dots$ with parameters $[n_i, k_i, d_i]$ such that $k_id_i/n_i$ grows quickly in the sense that $k_id_i/n_i>\sqrt{k_i}-1>2i-1$. Another example of quick growth comes from a certain subsequence of Reed-Muller codes. Here the field is $\mathbb{F}=\mathbb{F}_2$ and $k_i d_i/n_i$ is asymptotic to $3n_i^{c}/\sqrt{π\log_2(n_i)}$ where $c=\log_2(3/2)\approx 0.585$.
Forbidden subgraphs and 2-factors in 3/2-tough graphs
Published
• View Publication
• BIB
A graph $G$ is $H$-free if it has no induced subgraph isomorphic to $H$, where $H$ is a graph. In this paper, we show that every $\frac{3}{2}$-tough $(P_4 \cup P_{10})$-free graph has a 2-factor. The toughness condition of this result is sharp. Moreover, for any $\varepsilon>0$ there exists a $(2-\varepsilon)$-tough $2P_5$-free graph without a 2-factor. This implies that the graph $P_4 \cup P_{10}$ is best possible for a forbidden subgraph in a sense.
On Ramanujan's cubic composition formula
Published
• View Publication
• BIB
This is an elementary explanation of a cubic composition formula due to Ramanujan.
Representations of orientifold Khovanov-Lauda-Rouquier algebras and the Enomoto-Kashiwara algebra
Published in Pacific J. Math. 322 (2023) 407-441
• View Publication
• BIB
We consider an "orientifold" generalization of Khovanov-Lauda-Rouquier algebras, depending on a quiver with an involution and a framing. Their representation theory is related, via a Schur-Weyl duality type functor, to Kac-Moody quantum symmetric pairs, and, via a categorification theorem, to highest weight modules over an algebra introduced by Enomoto and Kashiwara. Our first main result is a new shuffle realization of these highest weight modules and a combinatorial construction of their PBW and canonical bases in terms of Lyndon words. Our second main result is a classification of irreducible representations of orientifold KLR algebras and a computation of their global dimension in the case when the framing is trivial.
Semifinite harmonic functions on the zigzag graph
Published
• View Publication
• BIB
We study semifinite harmonic functions on the zigzag graph, which corresponds to Pieri's rule for the fundamental quasisymmetric functions $\{F_λ\}$. The main problem, which we solve here, is to classify the indecomposable semifinite harmonic functions on this graph. We describe the set of classification parameters and an explicit construction that produces a semifinite indecomposable harmonic function out of every point of this set. We also establish a semifinite analog of the Vershik-Kerov ring theorem.
A note on geometric duality in matroid theory and knot theory
Published
• View Publication
• BIB
We observe that for planar graphs, the geometric duality relation generates both 2-isomorphism and abstract duality. This observation has the surprising consequence that for links, the equivalence relation defined by isomorphisms of checkerboard graphs is the same as the equivalence relation defined by 2-isomorphisms of checkerboard graphs.
A Complete List of all Numbers not of the Form $ax+by$
For given coprime positive integers $a$ and $b$, the classical Frobenius coin problem asked to find the largest number that cannot be expressed in the form $ax+by$ for nonnegative integers $x$ and $y$, also known as the Frobenius number. Sylvester answered this question and also discovered the number of these nonrepresentable numbers. In recent times, a lot of progress has been made regarding the sums of a fixed power of these nonrepresentable numbers, commonly known as the Sylvester sums. However, the actual list of nonrepresentable numbers has remained mysterious so far. In this note, we obtain a complete list, that is a simple explicit description of these nonrepresentable numbers. We give two different proofs of our result. The first one enables us to use Eisenstein's lattice point counting techniques to study the set of nonrepresentable numbers, whereas the second one is a short direct proof.
Hypergraph regularity and random sampling
Published
• View Publication
• BIB
Suppose a $k$-uniform hypergraph $H$ that satisfies a certain regularity instance (that is, there is a partition of $H$ given by the hypergraph regularity lemma into a bounded number of quasirandom subhypergraphs of prescribed densities). We prove that with high probability a large enough uniform random sample of the vertex set of $H$ also admits the same regularity instance. Here the crucial feature is that the error term measuring the quasirandomness of the subhypergraphs requires only an arbitrarily small additive correction. This has applications to combinatorial property testing. The graph case of the sampling result was proved by Alon, Fischer, Newman and Shapira.