Showing 20 papers (Total: 81680 papers, 47334 authors in database)
The extended reverse ultra log-concavity of transposed Boros-Moll sequences
The Boros-Moll sequences $\{d_\ell(m)\}_{\ell=0}^m$ arise in the study of evaluation of a quartic integral. After the infinite log-concavity conjecture of the sequence $\{d_\ell(m)\}_{\ell=0}^m$ was proposed by Boros and Moll, a lot of interesting inequalities on $d_\ell(m)$ were obtained, although the conjecture is still open. Since $d_\ell(m)$ has two parameters, it is natural to consider the properties for the sequences $\{d_\ell(m)\}_{m\ge \ell}$, which are called the \emph{transposed Boros-Moll sequences} here. In this paper, we mainly prove the extended reverse ultra log-concavity of the transposed Boros-Moll sequences $\{d_\ell(m)\}_{m\ge \ell}$, and hence give an upper bound for the ratio ${d_\ell^2(m)}/{(d_\ell(m-1)d_\ell(m+1))}$. A lower bound for this ratio is also established which implies a result stronger than the log-concavity of the sequences $\{d_\ell(m)\}_{m\ge \ell}$. As a consequence, we also show that the transposed Boros-Moll sequences possess a stronger log-concave property than the Boros-Moll sequences do. At last, we propose some conjectures on the Boros-Moll sequences and their transposes.
Answers to questions about medial layer graphs of self-dual regular and chiral polytopes
Published in In: Ars Mathematica Contemporanea (Dec. 2023)
• View Publication
• BIB
An abstract $n$-polytope $\mathcal{P}$ is a partially-ordered set which captures important properties of a geometric polytope, for any dimension $n$. For even $n \ge 2$, the incidences between elements in the middle two layers of the Hasse diagram of $\mathcal{P}$ give rise to the medial layer graph of $\mathcal{P}$, denoted by $\mathcal{G} = \mathcal{G}(\mathcal{P})$. If $n=4$, and $\mathcal{P}$ is both highly symmetric and self-dual of type $\{p,q,p\}$, then a Cayley graph $\mathcal{C}$ covering $\mathcal{G}$ can be constructed on a group of polarities of $\mathcal{P}$. In this paper we address some open questions about the relationship between $\mathcal{G}$ and $\mathcal{C}$ that were raised in a 2008 paper by Monson and Weiss, and describe some interesting examples of these graphs. In particular, we give the first known examples of improperly self-dual chiral polytopes of type $\{3,q,3\}$, which are also among the very few known examples of highly symmetric self-dual finite polytopes that do not admit a polarity. Also we show that if $p=3$ then $\mathcal{C}$ cannot have a higher degree of $s$-arc-transitivity than $\mathcal{G}$, and we present a family of regular $4$-polytopes of type $\{6,q,6\}$ for which the vertex-stabilisers in the automorphism group of $\mathcal{C}$ are larger than those for $\mathcal{G}$.
Skew circuits and circumference in a binary matroid
Let C_1 and C_2 be skew circuits in a binary matroid having circumference c. For any positive integer k there is a constant a_k such that if min { |A| ; C_1 \subset A \subset E-A} > a_k, then |C_1| + |C_2| < 2c -k.
Error-Correcting Graph Codes
In this paper, we construct Error-Correcting Graph Codes. An error-correcting graph code of distance $δ$ is a family $C$ of graphs on a common vertex set of size $n$, such that if we start with any graph in $C$, we would have to modify the neighborhoods of at least $δn$ vertices in order to obtain some other graph in $C$. This is a natural graph generalization of the standard Hamming distance error-correcting codes for binary strings. Yohananov and Yaakobi were the first to construct codes in this metric, constructing good codes for $δ< 1/2$, and optimal codes for a large-alphabet analogue. We extend their work by showing
1. Combinatorial results determining the optimal rate vs. distance trade-off nonconstructively.
2. Graph code analogues of Reed-Solomon codes and code concatenation, leading to positive distance codes for all rates and positive rate codes for all distances.
3. Graph code analogues of dual-BCH codes, yielding large codes with distance $δ= 1-o(1)$. This gives an explicit ''graph code of Ramsey graphs''.
Several recent works, starting with the paper of Alon, Gujgiczer, Körner, Milojević, and Simonyi, have studied more general graph codes; where the symmetric difference between any two graphs in the code is required to have some desired property. Error-correcting graph codes are a particularly interesting instantiation of this concept.
Bounds and Bugs: The Limits of Symmetry Metrics to Detect Partisan Gerrymandering
Published
• View Publication
• BIB
We consider two symmetry metrics commonly used to analyze partisan gerrymandering: the Mean-Median Difference (MM) and Partisan Bias (PB). Our main results compare, for combinations of seats and votes achievable in districted elections, the number of districts won by each party to the extent of potential deviation from the ideal metric values, taking into account the political geography of the state. These comparisons are motivated by examples where the MM and PB have been used in efforts to detect when a districting plan awards extreme number of districts won by some party. These examples include expert testimony, public-facing apps, recommendations by experts to redistricting commissions, and public policy proposals. To achieve this goal we perform both theoretical and empirical analyses of the MM and PB. In our theoretical analysis, we consider vote-share, seat-share pairs (V, S) for which one can construct election data having vote share V and seat share S, and turnout is equal in each district. We calculate the range of values that MM and PB can achieve on that constructed election data. In the process, we find the range of (V,S) pairs that achieve MM = 0, and see that the corresponding range for PB is the same set of (V,S) pairs. We show how the set of such (V,S) pairs allowing for MM = 0 (and PB = 0) changes when turnout in each district is allowed to vary. By observing the results of this theoretical analysis, we can show that the values taken on by these metrics do not necessarily attain more extreme values in plans with more extreme numbers of districts won. We also analyze specific example elections, showing how these metrics can return unintuitive results. We follow this with an empirical study, where we show that on 18 different U.S. maps these metrics can fail to detect extreme seats outcomes.
Projective Rectangles: Harmonic Conjugation
A projective rectangle is like a projective plane that has different lengths in two directions. We develop harmonic conjugation in projective rectangles. We construct projective rectangles in some harmonic matroids (matroids where harmonic conjugation is defined on every collinear point triple), such as Desarguesian projective planes of finite characteristic, by harmonic conjugation from extended lift matroids based on finite fields. Similar results follow for countable fields with characteristic $0$. We also show that projective rectangles are almost harmonic matroids.
Improving Behrend's construction: Sets without arithmetic progressions in integers and over finite fields
We prove new lower bounds on the maximum size of subsets $A\subseteq \{1,\dots,N\}$ or $A\subseteq \mathbb{F}_p^n$ not containing three-term arithmetic progressions. In the setting of $\{1,\dots,N\}$, this is the first improvement upon a classical construction of Behrend from 1946 beyond lower-order factors (in particular, it is the first quasipolynomial improvement). In the setting of $\mathbb{F}_p^n$ for a fixed prime $p$ and large $n$, we prove a lower bound of $(cp)^n$ for some absolute constant $c>1/2$ (for $c = 1/2$, such a bound can be obtained via classical constructions from the 1940s, but improving upon this has been a well-known open problem).
Congruences for sums of MacMahon's $q$-Catalan polynomials
Published
• View Publication
• BIB
One variant of the $q$-Catalan polynomials is defined in terms of Gaussian polynomials by $\mathcal{C}_k(q)=\genfrac{[}{]}{0pt}{}{2k}{k}_q-q\genfrac{[}{]}{0pt}{}{2k}{k+1}_q$. Liu studied congruences of the form $\sum_{k=0}^{n-1} q^k\mathcal{C}_k$ modulo the cyclotomic polynomial $Φ_n(q)^2$, provided that $n\equiv\pm 1\pmod3$. Apparently the case $n\equiv 0\pmod3$ has been missing from the literature. It is our primary purpose to fill this gap by the current work. In addition, we discuss certain fascinating link to Dirichlet character sum identities.
Counting subgraphs in locally dense graphs
A graph $G$ is said to be $p$-locally dense if every induced subgraph of $G$ with linearly many vertices has edge density at least $p$. A famous conjecture of Kohayakawa, Nagle, Rödl, and Schacht predicts that locally dense graphs have, asymptotically, at least as many copies of any fixed graph $H$ as are found in a random graph of edge density $p$.
In this paper, we prove several results around the KNRS conjecture. First, we prove that certain natural gluing operations on $H$ preserve this property, thus proving the conjecture for many graphs $H$ for which it was previously unknown. Secondly, we study a stability version of this conjecture, and prove that for many graphs $H$, approximate equality is attained in the KNRS conjecture if and only if the host graph $G$ is quasirandom. Finally, we introduce a weakening of the KNRS conjecture, which requires the host graph to be nearly degree-regular, and prove this conjecture for a larger family of graphs. Our techniques reveal a surprising connection between these questions, semidefinite optimization, and the study of copositive matrices.
On perfect symmetric rank-metric codes
Published
• View Publication
• BIB
Let $\mathrm{Sym}_q(m)$ be the space of symmetric matrices in $\mathbb{F}_q^{m\times m}$. A subspace of $\mathrm{Sym}_q(m)$ equipped with the rank distance is called a symmetric rank-metric code. In this paper we study the covering properties of symmetric rank-metric codes. First we characterize symmetric rank-metric codes which are perfect, i.e. that satisfy the equality in the sphere-packing like bound. We show that, despite the rank-metric case, there are non trivial perfect codes. Also, we characterize families of codes which are quasi-perfect.
Expanders and growth of normal subsets in finite simple groups of Lie type
Published
• View Publication
• BIB
We show that some classical results on expander graphs imply growth results on normal subsets in finite simple groups. As one application, it is shown that given a nontrivial normal subset $ A $ of a finite simple group $ G $ of Lie type of bounded rank, we either have $ G \setminus \{ 1 \} \subseteq A^2 $ or $ |A^2| \geq |A|^{1+ε} $, for $ ε> 0 $. This improves a result of Gill, Pyber, Short and Szabó, and partially resolves a question of Pyber from the Kourovka notebook. We also propose a variant of Gowers' trick for two subsets, and give applications to products of large subsets in groups of Lie type, improving some results of Larsen, Shalev and Tiep.
Heritability of Kőnig's Property from finite edge sets
A hypergraph $H = (V,E)$ is said to have Kőnig's Property if there is a matching $M\subseteq E$ and $S\subseteq V$ such that $|S \cap e| = 1$ for all $e\in M$, and $S$ is a vertex cover of $H$. Aharoni posed the question whether Kőnig's Property is inheritable from finite subsets of $E$. We provide a negative answer and investigate similar questions for weaker properties.
Polynomial realizations of Hopf algebras built from nonsymmetric operads
The natural Hopf algebra $\mathbf{N} \cdot \mathcal{O}$ of an operad $\mathcal{O}$ is a Hopf algebra whose bases are indexed by some words on $\mathcal{O}$. We construct polynomial realizations of $\mathbf{N} \cdot \mathcal{O}$ by using alphabets of noncommutative variables endowed with unary and binary relations. By using particular alphabets, we establish links between $\mathbf{N} \cdot \mathcal{O}$ and some other Hopf algebras including the Hopf algebra of word quasi-symmetric functions of Hivert, the decorated versions of the noncommutative Connes-Kreimer Hopf algebra of Foissy, the noncommutative Faà di Bruno Hopf algebra and its deformations, the noncommutative multi-symmetric functions Hopf algebras of Novelli and Thibon, and the double tensor Hopf algebra of Ebrahimi-Fard and Patras.
Modified difference ascent sequences and Fishburn structures
Published
• View Publication
• BIB
Ascent sequences and their modified version play a central role in the bijective framework relating several combinatorial structures counted by the Fishburn numbers. Ascent sequences are positive integer sequences defined by imposing a bound on the growth of their entries in terms of the number of ascents contained in the corresponding prefix, while modified ascent sequences are the image of ascent sequences under the so-called hat map. By relaxing the notion of ascent, Dukes and Sagan have recently introduced difference ascent sequences. Here we define modified difference ascent sequences and study their combinatorial properties. Inversion sequences are a superset of the difference ascent sequences and we extend the hat map to this domain. Our extension depends on a parameter which we specialize to obtain a new set of permutations counted by the Fishburn numbers and characterized by a subdiagonality property.
Parameterized Shortest Path Reconfiguration
An st-shortest path, or st-path for short, in a graph G is a shortest (induced) path from s to t in G. Two st-paths are said to be adjacent if they differ on exactly one vertex. A reconfiguration sequence between two st-paths P and Q is a sequence of adjacent st-paths starting from P and ending at Q. Deciding whether there exists a reconfiguration sequence between two given $st$-paths is known to be PSPACE-complete, even on restricted classes of graphs such as graphs of bounded bandwidth (hence pathwidth). On the positive side, and rather surprisingly, the problem is polynomial-time solvable on planar graphs. In this paper, we study the parameterized complexity of the Shortest Path Reconfiguration (SPR) problem. We show that SPR is W[1]-hard parameterized by k + \ell, even when restricted to graphs of bounded (constant) degeneracy; here k denotes the number of edges on an st-path, and \ell denotes the length of a reconfiguration sequence from P to Q. We complement our hardness result by establishing the fixed-parameter tractability of SPR parameterized by \ell and restricted to nowhere-dense classes of graphs. Additionally, we establish fixed-parameter tractability of SPR when parameterized by the treedepth, by the cluster-deletion number, or by the modular-width of the input graph.
Expanding quasisymmetric Schur $Q$-functions into peak Young quasisymmetric Schur functions
Published
• View Publication
• BIB
The dual immaculate and Young quasisymmetric Schur bases of quasisymmetric functions possess analogues in the peak algebra: respectively, the quasisymmetric Schur $Q$-functions and the peak Young quasisymmetric Schur functions. We show elements of the former basis expand into the latter basis with nonnegative coefficients.
Extensions of Steiner Triple Systems
Published
• View Publication
• BIB
In this article we study extensions of Steiner triple systems by means of the associated Steiner loops. We recognize that the set of Veblen points of a Steiner triple system corresponds to the center of the Steiner loop. We investigate extensions of Steiner loops, focusing in particular on the case of Schreier extensions, which provide a powerful method for constructing Steiner triple systems containing Veblen points.
Circuit-partition of infinite matroids
Published
• View Publication
• BIB
Komjáth, Milner, and Polat investigated when a finitary matroid admits a partition into circuits. They defined the class of ``finite matching extendable'' matroids and showed in their compactness theorem that those matroids always admit such a partition. Their proof is based on Shelah's singular compactness technique and a careful analysis of certain $\triangle$-systems.
We provide a short, simple proof of their theorem. Then we show that a finitary binary oriented matroid can be partitioned into directed circuits if and only if, in every cocircuit, the cardinality of the negative and positive edges is the same. This generalizes an earlier conjecture of Thomassen, settled affirmatively by the second author, about partitioning the edges of an infinite directed graph into directed cycles. As side results, a Laviolette theorem for finitary matroids and a Farkas lemma for finitary binary oriented matroids are proven. An example is given to show that, in contrast to finite oriented matroids, `binary' is essential in the latter result.
The isoperimetric peak of complete trees
We give exact values and bounds on the isoperimetric peak of complete trees, improving on known results. For the complete $q$-ary tree of depth $d$, if $q\ge 5$, then we find that the isoperimetric peak equals $d$, completing an open problem. In the case that $q$ is 3 or 4, we determine the value up to three values, and in the case $q=2$, up to a logarithmic additive factor. Our proofs use novel compression techniques, including left, down, and aeolian compressions. We apply our results to show that the vertex separation number and the isoperimetric peak of a graph may be arbitrarily far apart as a function of the order of the graph and give new bounds on the pathwidth and pursuit-evasion parameters on complete trees.
Randomized Greedy Online Edge Coloring Succeeds for Dense and Randomly-Ordered Graphs
Published
• View Publication
• BIB
Vizing's theorem states that any graph of maximum degree $Δ$ can be properly edge colored with at most $Δ+1$ colors. In the online setting, it has been a matter of interest to find an algorithm that can properly edge color any graph on $n$ vertices with maximum degree $Δ= ω(\log n)$ using at most $(1+o(1))Δ$ colors. Here we study the naïve random greedy algorithm, which simply chooses a legal color uniformly at random for each edge upon arrival. We show that this algorithm can $(1+ε)Δ$-color the graph for arbitrary $ε$ in two contexts: first, if the edges arrive in a uniformly random order, and second, if the edges arrive in an adversarial order but the graph is sufficiently dense, i.e., $n = O(Δ)$. Prior to this work, the random greedy algorithm was only known to succeed in trees.
Our second result is applicable even when the adversary is adaptive, and therefore implies the existence of a deterministic edge coloring algorithm which $(1+ε)Δ$ edge colors a dense graph. Prior to this, the best known deterministic algorithm for this problem was the simple greedy algorithm which utilized $2Δ-1$ colors.