Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Guessing Numbers and Extremal Graph Theory
Published
• View Publication
• BIB
For a given number of colors, $s$, the guessing number of a graph is the (base $s$) logarithm of the cardinality of the largest family of colorings of the vertex set of the graph such that the color of each vertex can be determined from the colors of the vertices in its neighborhood. This quantity is related to problems in network coding, circuit complexity and graph entropy. We study the guessing number of graphs as a graph property in the context of classic extremal questions, and its relationship to the forbidden subgraph property. We find the extremal number with respect to the property of having guessing number $\leq a$, for fixed $a$. Furthermore, we find an upper bound on the saturation number for this property, and a method to construct further saturated graphs that lie between these two extremes. We show that, for a fixed number of colors, bounding the guessing number is equivalent to forbidding a finite set of subgraphs.
New Results on Pattern-Replacement Equivalences: Generalizing a Classical Theorem and Revising a Recent Conjecture
In this paper we study pattern-replacement equivalence relations on the set $S_n$ of permutations of length $n$. Each equivalence relation is determined by a set of patterns, and equivalent permutations are connected by pattern-replacements in a manner similar to that of the Knuth relation.
One of our main results generalizes the celebrated Erdos-Szekeres Theorem for permutation pattern-avoidance to a new result for permutation pattern-replacement. In particular, we show that under the $\{123 \cdots k, k \cdots 321\}$-equivalence, all permutations in $S_n$ are equivalent up to parity when $n \ge Ω(k^2)$.
Additionally, we extend the work of Kuszmaul and Zhou on an infinite family of pattern-replacement equivalences known as the rotational equivalences. Kuszmaul and Zhou proved that the rotational equivalences always yield either one or two nontrivial equivalence classes in $S_n$, and conjectured that the number of nontrivial classes depended only on the patterns involved in the rotational equivalence (rather than on $n$). We present a counterexample to their conjecture, and prove a new theorem fully classifying (for large $n$) when there is one nontrivial equivalence class and when there are two nontrivial equivalence classes.
Finally, we computationally analyze the pattern-replacement equivalences given by sets of pairs of patterns of length four. We then focus on three cases, in which the number of nontrivial equivalence classes matches an OEIS sequence. For two of these we present full proofs of the enumeration and for the third we suggest a potential future method of proof.
Threshold rates for properties of random codes
Published
• View Publication
• BIB
Suppose that $P$ is a property that may be satisfied by a random code $C \subset Σ^n$. For example, for some $p \in (0,1)$, ${P}$ might be the property that there exist three elements of $C$ that lie in some Hamming ball of radius $pn$. We say that $R^*$ is the threshold rate for ${P}$ if a random code of rate $R^* + ε$ is very likely to satisfy ${P}$, while a random code of rate $R^* - ε$ is very unlikely to satisfy ${P}$. While random codes are well-studied in coding theory, even the threshold rates for relatively simple properties like the one above are not well understood.
We characterize threshold rates for a rich class of properties. These properties, like the example above, are defined by the inclusion of specific sets of codewords which are also suitably "symmetric". For properties in this class, we show that the threshold rate is in fact equal to the lower bound that a simple first-moment calculation obtains. Our techniques not only pin down the threshold rate for the property ${P}$ above, they give sharp bounds on the threshold rate for list-recovery in several parameter regimes, as well as an efficient algorithm for estimating the threshold rates for list-recovery in general.
Tight Chiral Polytopes
Published
• View Publication
• BIB
A chiral polytope with Schläfli symbol $\{p_1, \ldots, p_{n-1}\}$ has at least $2p_1 \cdots p_{n-1}$ flags, and it is called \emph{tight} if the number of flags meets this lower bound. The Schläfli symbols of tight chiral polyhedra were classified in an earlier paper, and another paper proved that there are no tight chiral $n$-polytopes with $n \geq 6$. Here we prove that there are no tight chiral $5$-polytopes, describe 11 families of tight chiral $4$-polytopes, and show that every tight chiral $4$-polytope covers a polytope from one of those families.
New Upper Bound on Extremal Number of Even Cycles
Published
• View Publication
• BIB
In this paper, we prove $\text{ex}(n, C_{2k})\le (16\sqrt{5}\sqrt{k\log k} + o(1))\cdot n^{1+1/k}$. We improved on Bukh--Jiang's method used in their 2017 publication, thereby reducing the best known upper bound by a factor of $\sqrt{5\log k}$.
On the abstract chromatic number and its computability for finitely axiomatizable theories
Published
• View Publication
• BIB
The celebrated Erdős--Stone--Simonovits theorem characterizes the asymptotic maximum edge density in $\mathcal{F}$-free graphs as $1 - 1/(χ(\mathcal{F})-1) + o(1)$, where $χ(\mathcal{F})$ is the minimum chromatic number of a graph in $\mathcal{F}$. In Examples 25 and 31 of [L. N. Coregliano and A. A. Razborov. Semantic limits of dense combinatorial objects. Uspekhi Mat. Nauk, 75(4(454)):45-152, 2020], it was shown that this result can be extended to the general setting of graphs with extra structure: the maximum asymptotic density of a graph with extra structure without some induced subgraphs is $1 - 1/(χ(I) - 1) + o(1)$ for an appropriately defined abstract chromatic number $χ(I)$. As the name suggests, the original formula for the abstract chromatic number is so abstract that its (algorithmic) computability was left open.
In this paper, we both extend this result to characterize maximum asymptotic density of $t$-cliques in of graphs with extra structure without some induced subgraphs in terms of $χ(I)$ and we present a more concrete formula for $χ(I)$ that allows us to show its computability when both the extra structure and the forbidden subgraphs can be described by a finitely axiomatizable universal first-order theory. Our alternative formula for $χ(I)$ makes use of a partite version of Ramsey's Theorem for structures on first-order relational languages.
Maximal sets of mutually orthogonal frequency squares
Published in Designs, Codes and Cryptography (2021) 89:525-558
• View Publication
• BIB
A frequency square is a square matrix in which each row and column is a permutation of the same multiset of symbols. A frequency square is of type $(n;λ)$ if it contains $n/λ$ symbols, each of which occurs $λ$ times per row and $λ$ times per column. In the case when $λ=n/2$ we refer to the frequency square as binary. A set of $k$-MOFS$(n;λ)$ is a set of $k$ frequency squares of type $(n;λ)$ such that when any two of the frequency squares are superimposed, each possible ordered pair occurs equally often.
A set of $k$-maxMOFS$(n;λ)$ is a set of $k$-MOFS$(n;λ)$ that is not contained in any set of $(k+1)$-MOFS$(n;λ)$. For even $n$, let $μ(n)$ be the smallest $k$ such that there exists a set of $k$-maxMOFS$(n;n/2)$. It was shown in [Electron. J. Combin. 27(3) (2020), P3.7] that $μ(n)=1$ if $n/2$ is odd and $μ(n)>1$ if $n/2$ is even. Extending this result, we show that if $n/2$ is even, then $μ(n)>2$. Also, we show that whenever $n$ is divisible by a particular function of $k$, there does not exist a set of $k'$-maxMOFS$(n;n/2)$ for any $k'\le k$. In particular, this means that $\limsup μ(n)$ is unbounded. Nevertheless we can construct infinite families of maximal binary MOFS of fixed cardinality. More generally, let $q=p^u$ be a prime power and let $p^v$ be the highest power of $p$ that divides $n$. If $0\le v-uh<u/2$ for $h\ge1$ then we show that there exists a set of $(q^h-1)^2/(q-1)$-maxMOFS$(n;n/q)$.
Higher Order Apostol-Type Poly-Genocchi Polynomials with Parameters a, b and c
Published
• View Publication
• BIB
In this paper, a new form of poly-Genocchi polynomials is defined by means of poly-logarithm, namely, the Apostol-type poly-Genocchi polynomials of higher order with parameters a, b and c. Several properties of these polynomials are established including some recurrence relations and explicit formulas, which express these higher order Apostol-type poly-Genocchi polynomials in terms of Stirling numbers of the second kind, Apostol-type Bernoulli and Frobenius polynomials of higher order. Moreover, certain differential identity is obtained that leads this new form of poly-Genocchi polynomials to be classified as Appell polynomials and, consequently, draw more properties using some theorems on Appell polynomials. Furthermore, a symmetrized generalization of this new form of poly-Genocchi polynomials is introduced that possesses a double generating function. Finally, the type 2 Apostol-poly-Genocchi polynomials with parameters a, b and c are defined using the concept of polyexponential function and several identities are derived, two of which show the connections of these polynomials with Stirling numbers of the first kind and the type 2 Apostol-type poly-Bernoulli polynomials.
Some Formulae of Genocchi Polynomials of Higher Order
In this paper, some formulae for Genoochi polynomials of higher order are derived using the fact that sets of Bernoulli and Euler polynomials of higher order form basis for the polynomial space.
$q{\rm RS}t$: A probabilistic Robinson--Schensted correspondence for Macdonald polynomials
Published
• View Publication
• BIB
We present a probabilistic generalization of the Robinson--Schensted correspondence in which a permutation maps to several different pairs of standard Young tableaux with nonzero probability. The probabilities depend on two parameters $q$ and $t$, and the correspondence gives a new proof of the squarefree part of the Cauchy identity for Macdonald polynomials (i.e., the equality of the coefficients of $x_1 \cdots x_n y_1 \cdots y_n$ on either side, which are related to permutations and standard Young tableaux). By specializing $q$ and $t$ in various ways, one recovers the row and column insertion versions of the Robinson--Schensted correspondence, several $q$- and $t$-deformations of row and column insertion which have been introduced in recent years in connection with $q$-Whittaker and Hall--Littlewood processes, and the Plancherel measure on partitions. Our construction is based on Fomin's growth diagrams and the recently introduced notion of a probabilistic bijection between weighted sets.
Random walks on generalized visible lattice points
We consider the proportion of generalized visible lattice points in the plane visited by random walkers. Our work concerns the visible lattice points in random walks in three aspects: (1) generalized visibility along curves; (2) one random walker visible from multiple watchpoints; (3) simultaneous visibility of multiple random walkers. Moreover, we found new phenomenon in the case of multiple random walkers: for visibility along a large class of curves and for any number of random walkers, the proportion of steps at which all random walkers are visible simultaneously is almost surely larger than a positive constant.
Asymptotic behavior of symmetric ideals: A brief survey
Published in In: Stamate D., Szemberg T. (eds) Combinatorial Structures in Algebra and Geometry. NSA 2018. Springer Proceedings in Mathematics & Statistics, vol 331. Springer, Cham, pp 73-94
• View Publication
• BIB
Recently, chains of increasing symmetric ideals have attracted considerable attention. In this note, we summarize some results and open problems concerning the asymptotic behavior of several algebraic and homological invariants along such chains, including codimension, projective dimension, Castelnuovo-Mumford regularity, and Betti tables.
$q$-Supercongruences from the $q$-Saalschütz identity
Published
• View Publication
• BIB
In terms of the $q$-Saalschütz identity and the Chinese remainder theorem for coprime polynomials, we establish some $q$-supercongruences modulo the third power of a cyclotomic polynomial. In particular, we give a $q$-analogue of a formula due to Long and Ramakrishna [Adv. Math. 290 (2016), 773--808].
On a Theorem of J. Shallit Concerning Fibonacci Partitions
Published in Communications in Mathematics, Volume 30 (2022), Issue 3 (Special issue: in memory of Arkady Onishchik) (January 10, 2023) cm:10769
• View Publication
• BIB
In this note I prove a~claim on determinants of some special tridiagonal matrices. Together with my result about Fibonacci partitions (arXiv:math/0307150), this claim allows one to prove one (slightly strengthened) Shallit's result about such partitions.
An exact-arithmetic algorithm for spanning tree modulus
Published
• View Publication
• BIB
Spanning tree modulus is a generalization of effective resistance that is closely related to graph strength and fractional arboricity. The optimal edge density associated with spanning tree modulus is known to produce two hierarchical decompositions of arbitrary graphs, one based on strength and the other on arboricity. Here we introduce an exact-arithmetic algorithm for spanning tree modulus and the strength-based decomposition using Cunningham's algorithm for graph vulnerability. The algorithm exploits an interesting connection between spanning tree modulus and critical edge sets from the vulnerability problem. This paper introduces the new algorithm, describes a practical means for implementing it using integer arithmetic, and presents some examples and computational time scaling tests.
Connectedness matters: Construction and exact random sampling of connected graphs
Published
• View Publication
• BIB
We describe a new method for the random sampling of connected networks with a specified degree sequence. We consider both the case of simple graphs and that of loopless multigraphs. The constraints of fixed degrees and of connectedness are two of the most commonly needed ones when constructing null models for the practical analysis of physical or biological networks. Yet handling these constraints, let alone combining them, is non-trivial. Our method builds on a recently introduced novel sampling approach that constructs graphs with given degrees independently (unlike edge-switching Markov Chain Monte Carlo methods) and efficiently (unlike the configuration model), and extends it to incorporate the constraint of connectedness. Additionally, we present a simple and elegant algorithm for directly constructing a single connected realization of a degree sequence, either as a simple graph or a multigraph. Finally, we demonstrate our sampling method on a realistic scale-free example, as well as on degree sequences of connected real-world networks, and show that enforcing connectedness can significantly alter the properties of sampled networks.
Tight List-Sizes for Oblivious AVCs under Constraints
Published
• View Publication
• BIB
We study list-decoding over adversarial channels governed by oblivious adversaries (a.k.a. oblivious Arbitrarily Varying Channels (AVCs)). This type of adversaries aims to maliciously corrupt the communication without knowing the actual transmission from the sender. For any oblivious AVCs potentially with constraints on the sender's transmitted sequence and the adversary's noise sequence, we determine the exact value of the minimum list-size that can support a reliable communication at positive rate. This generalizes a classical result by Hughes (IEEE Transactions on Information Theory, 1997) and answers an open question posed by Sarwate and Gastpar (IEEE Transactions on Information Theory, 2012). A lower bound on the list-decoding capacity (whenever positive) is presented. Under a certain combinatorial conjecture, we also prove a matching upper bound. En route to a tight characterization of the list-decoding capacity, we propose a method for subcode construction towards the resolution of the combinatorial conjecture.
Fiber Bundle Codes: Breaking the $N^{1/2} \operatorname{polylog}(N)$ Barrier for Quantum LDPC Codes
Published in Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing (2021) 1276 - 1288
• View Publication
• BIB
We present a quantum LDPC code family that has distance $Ω(N^{3/5}/\operatorname{polylog}(N))$ and $\tildeΘ(N^{3/5})$ logical qubits. This is the first quantum LDPC code construction which achieves distance greater than $N^{1/2} \operatorname{polylog}(N)$. The construction is based on generalizing the homological product of codes to a fiber bundle.
Pseudo-normalized Hecke eigenform and its application to extremal $2$-modular lattices
Published
• View Publication
• BIB
It is shown that extremal $2$-modular lattices of ranks $32$ and $48$ are generated by their vectors of minimal norm. In the proof, we use certain properties of the difference of normalized Hecke eigenforms. We refer to them as the pseudo-normalized Hecke eigenform, the concept of which is introduced in this paper.
Foundations of Temperature Theory
Temperature of combinatorial games have been long studied since when Conway established the modern combinatorial game theory, and there are several variations of the concepts. In this article, we focus on one of the classical versions of temperature, and give precise proofs to the fundamental claims on temperature, namely, the existence, order-preservation, and homomorphism. Besides, a general relationship between the value and the thermograph of a game is investigated.