Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Higher Degree Davenport Constants over Finite Commutative Rings
Published in Integers 21 (2021), Paper No. A120, 17 pp
• Search Publication
We generalize the notion of Davenport constants to a `higher degree' and obtain various lower and upper bounds, which are sometimes exact as is the case for certain finite commutative rings of prime power cardinality. Two simple examples that capture the essence of these higher degree Davenport constants are the following. 1) Suppose $n = 2^k$, then every sequence of integers $S$ of length $2n$ contains a subsequence $S'$ of length at least two such that $\sum_{a_i,a_j \in S'} a_ia_j \equiv 0 \pmod{n}$ and the bound is sharp. 2) Suppose $n \equiv1 \pmod{2}$, then every sequence of integers $S$ of length $2n -1$ contains a subsequence $S'$ of length at least two such that $\sum_{a_i,a_j \in S'} a_ia_j \equiv 0 \pmod{n}$. These examples illustrate that if a sequence of elements from a finite commutative ring is long enough, certain symmetric expressions have to vanish on the elements of a subsequence.
The number of perpendicularly inscribed polygons that intersect a given side in an odd sided regular polygon
The goal of this paper is to determine the number of perpendicularly inscribed polygons that intersect a given side of a regular polygon with an odd number of sides. This is done using circular permutations with repetition, and some special cases are calculated via circulant matrices and the Binomial Theorem. A method for finding such polygons, based on Banach's Fixed Point Theorem, is also developed.
Sweeps, polytopes, oriented matroids, and allowable graphs of permutations
Published in Combinatorica (2023)
• View Publication
• BIB
A sweep of a point configuration is any ordered partition induced by a linear functional. Posets of sweeps of planar point configurations were formalized and abstracted by Goodman and Pollack under the theory of allowable sequences of permutations. We introduce two generalizations that model posets of sweeps of higher dimensional configurations.
Mimicking the fact that sweep polytopes of point configurations (the monotone path polytopes of the associated zonotopes) are projections of permutahedra, we define sweep oriented matroids as strong maps of the braid oriented matroid. Allowable sequences are then the sweep oriented matroids of rank 2, and many of their properties extend to higher rank. We show strong ties between sweep oriented matroids and both modular hyperplanes and Dilworth truncations from (unoriented) matroid theory. We also explore their connection with the generalized Baues problem for cellular strings, where sweep oriented matroids can play the role of monotone path polytopes, even for non-realizable oriented matroids. In particular, we show that for oriented matroids that admit a sweep oriented matroid, their poset of pseudo-sweeps deformation retracts to a sphere of the appropriate dimension.
A second generalization are allowable graphs of permutations: symmetric sets of permutations pairwise connected by allowable sequences. They have the structure of acycloids and include sweep oriented matroids.
Zeta functions of periodic graphs derived from quantum walk
We define a zeta function of a finite graph derived from time evolution matrix of quantum walk, and give its determinant expression. Furthermore, we generalize the above result to a periodic graph.
On multipartite derangement graphs
Published
• View Publication
• BIB
Given a finite transitive permutation group $G\leq \operatorname{Sym}(Ω)$, with $|Ω|\geq 2$, the derangement graph $Γ_G$ of $G$ is the Cayley graph $\operatorname{Cay}(G,\operatorname{Der}(G))$, where $\operatorname{Der}(G)$ is the set of all derangements of $G$. Meagher et al. [On triangles in derangement graphs, {\it J. Combin. Theory Ser. A}, 180:105390, 2021] recently proved that $\operatorname{Sym}(2)$ acting on $\{1,2\}$ is the only transitive group whose derangement graph is bipartite and any transitive group of degree at least three has a triangle in its derangement graph. They also showed that there exist transitive groups whose derangement graphs are complete multipartite.
This paper gives two new families of transitive groups with complete multipartite derangement graphs. In addition, we prove that if $p$ is an odd prime and $G$ is a transitive group of degree $2p$, then the independence number of $Γ_{G}$ is at most twice the size of a point-stabilizer of $G$.
A Theory of Rectangularly Dualizable Graphs
A plane graph is called a rectangular graph if each of its edges can be oriented either horizontally or vertically, each of its interior regions is a four-sided region and all interior regions can be fitted in a rectangular enclosure. Only planar graphs can be dualized. If the dual of a plane graph is a rectangular graph, then the plane graph is a rectangularly dualizable graph.
In 1985, Koźmiński and Kinnen presented a necessary and sufficient condition for the existence of a rectangularly dualizable graph for a separable connected plane graph. In this paper, we present a counter example for which the conditions given by them for separable connected plane graphs fail and hence, we derive a necessary and sufficient condition for a plane graph to be a rectangularly dualizable graph.
Two maps on affine type A crystals and Hecke algebras
Published
• View Publication
• BIB
We use the crystal isomorphisms of the Fock space to describe two maps on partitions and multipartitions which naturally appear in the crystal basis theory for quantum groups in affine type A and in the representation theory of Hecke algebras of type G(l, l, n).
Some observations and speculations on partitions into $d$-th powers
Published
• View Publication
• BIB
The aim of this note is to provoke discussion concerning arithmetic properties of function $p_{d}(n)$ counting partitions of an positive integer $n$ into $d$-th powers, where $d\geq 2$. Besides results concerning the asymptotic behavior of $p_{d}(n)$ a little is known. In the first part of the paper, we prove certain congruences involving functions counting various types of partitions into $d$-th powers. The second part of the paper has experimental nature and contains questions and conjectures concerning arithmetic behavior of the sequence $(p_{d}(n))_{n\in\N}$. They based on our computations of $p_{d}(n)$ for $n\leq 10^5$ in case of $d=2$, and $n\leq 10^{6}$ for $d=3, 4, 5$.
Trace Reconstruction with Bounded Edit Distance
Published
• View Publication
• BIB
The trace reconstruction problem studies the number of noisy samples needed to recover an unknown string $\boldsymbol{x}\in\{0,1\}^n$ with high probability, where the samples are independently obtained by passing $\boldsymbol{x}$ through a random deletion channel with deletion probability $q$. The problem is receiving significant attention recently due to its applications in DNA sequencing and DNA storage. Yet, there is still an exponential gap between upper and lower bounds for the trace reconstruction problem. In this paper we study the trace reconstruction problem when $\boldsymbol{x}$ is confined to an edit distance ball of radius $k$, which is essentially equivalent to distinguishing two strings with edit distance at most $k$. It is shown that $n^{O(k)}$ samples suffice to achieve this task with high probability.
On strongly regular graph with parameters (65; 32; 15; 16)
We construct a strongly regular graph with the parameters (65; 32; 15; 16). The idea is to search for an adjacency matrix that consists of circulant blocks. Equations with such matrices can be reduced to congruences with polynomials matrices of smaller orders. We can consider these congruences over different moduli for a more efficient computational approach.
Certificate complexity and symmetry of nested canalizing functions
Published
• View Publication
• BIB
Boolean nested canalizing functions (NCFs) have important applications in molecular regulatory networks, engineering and computer science. In this paper, we study their certificate complexity. For both Boolean values $b\in\{0,1\}$, we obtain a formula for $b$-certificate complexity and consequently, we develop a direct proof of the certificate complexity formula of an NCF. Symmetry is another interesting property of Boolean functions and we significantly simplify the proofs of some recent theorems about partial symmetry of NCFs. We also describe the algebraic normal form of $s$-symmetric NCFs. We obtain the general formula of the cardinality of the set of $n$-variable $s$-symmetric Boolean NCFs for $s=1,\dots,n$. In particular, we enumerate the strongly asymmetric Boolean NCFs.
On sum sets of convex functions
Published
• View Publication
• BIB
In this paper we prove new bounds for sums of convex or concave functions. Specifically, we prove that for all $A,B \subseteq \mathbb R$ finite sets, and for all $f,g$ convex or concave functions, we have
$$|A + B|^{38}|f(A) + g(B)|^{38} \gtrsim |A|^{49}|B|^{49}.$$
This result can be used to obtain bounds on a number of two-variable expanders of interest, as well as to the asymmetric sum-product problem. We also adjust our technique to also prove the three-variable expansion result
\[
|AB+A|\gtrsim |A|^{\frac32 +\frac3{170}}\,.
\]
Our methods follow a series of recent developments in the sum-product literature, presenting a unified picture. Of particular interest is an adaptation of a regularisation technique of Xue, that enables us to find positive proportion subsets with certain desirable properties.
The chromatic profile of locally colourable graphs
Published in Combinatorics, Probability, and Computing 31, pages 976-1009, 2022
• View Publication
• BIB
The classical Andrásfai-Erdős-Sós theorem considers the chromatic number of $K_{r + 1}$-free graphs with large minimum degree, and in the case $r = 2$ says that any $n$-vertex triangle-free graph with minimum degree greater than $2/5 \cdot n$ is bipartite. This began the study of the chromatic profile of triangle-free graphs: for each $k$, what minimum degree guarantees that a triangle-free graph is $k$-colourable? The profile has been extensively studied and was finally determined by Brandt and Thomassé.
Triangle-free graphs are exactly those in which each neighbourhood is one-colourable. As a natural variant, Łuczak and Thomassé introduced the notion of a locally bipartite graph in which each neighbourhood is 2-colourable. Here we study the chromatic profile of the family of graphs in which every neighbourhood is $b$-colourable (locally $b$-partite graphs) as well as the family where the common neighbourhood of every $a$-clique is $b$-colourable. Our results include the chromatic thresholds of these families as well as showing that every $n$-vertex locally $b$-partite graph with minimum degree greater than $(1 - 1/(b + 1/7)) \cdot n$ is $(b + 1)$-colourable. Understanding these locally colourable graphs is crucial for extending the Andrásfai-Erdős-Sós theorem to non-complete graphs, which we develop elsewhere.
Hoffman's ratio bound
Published
• View Publication
• BIB
Hoffman's ratio bound is an upper bound for the independence number of a regular graph in terms of the eigenvalues of the adjacency matrix. The bound has proved to be very useful and has been applied many times. Hoffman did not publish his result, and for a great number of users the emergence of Hoffman's bound is a black hole. With this note I hope to clarify the history of this bound and some of its generalizations.
Slicing the hypercube is not easy
We prove that at least $Ω(n^{0.51})$ hyperplanes are needed to slice all edges of the $n$-dimensional hypercube. We provide a couple of applications: lower bounds on the computational complexity of parity, and a lower bound on the cover number of the hypercube by skew hyperplanes.
Improved Lower Bound for Locating-Dominating Codes in Binary Hamming Spaces
Published in Designs, Codes and Cryptography, 2021
• View Publication
• BIB
In this article, we study locating-dominating codes in binary Hamming spaces $\mathbb{F}^n$. Locating-dominating codes have been widely studied since their introduction in 1980s by Slater and Rall. They are dominating sets suitable for distinguishing vertices in graphs. Dominating sets as well as locating-dominating codes have been studied in Hamming spaces in multiple articles. Previously, Honkala et al. (2004) have presented a lower bound for locating-dominating codes in binary Hamming spaces. In this article, we improve the lower bound for all values $n\geq10$. In particular, when $n=11$, we manage to improve the previous lower bound from $309$ to $317$. This value is very close to the current best known upper bound of $320$.
Parametric restrictions on quasi-symmetric designs
Published
• View Publication
• BIB
In this paper, we attach several new invariants to connected strongly regular graphs (excepting conference graphs on non-square number of vertices) : one invariant called the discriminant, and a p-adic invariant corresponding to each prime number p. We prove parametric restrictions on quasi-symmetric 2-designs with a given connected block graph $G$ and a given defect (absolute difference of the two intersection numbers) solely in terms of the defect and the parameters of $G$, including these new invariants. This is a natural analogue of Schutzenberger's Theorem and the Shrikhande-Chowla-Ryser theorem. This theorem is effective when these graph invariants can be explicitly computed. We do this for complete multipartite graphs, co-triangular graphs, symplectic non-orthogonality graphs (over the field of order $2$) and the Steiner graphs, yielding explicit restrictions on the parameters of quasi-symmetric 2-designs whose block graphs belong to any of these four classes.
Cutoff for non-negatively curved Markov chains
Published
• View Publication
• BIB
Discovered in the context of card shuffling by Aldous, Diaconis and Shahshahani, the cutoff phenomenon has since then been established in a variety of Markov chains. However, proving cutoff remains a delicate affair, which requires a detailed knowledge of the chain. Identifying the general mechanisms underlying this phase transition -- without having to pinpoint its precise location -- remains one of the most fundamental open problems in the area of mixing times. In the present paper, we make a step in this direction by establishing cutoff for Markov chains with non-negative curvature, under a suitably refined product condition. The result applies, in particular, to random walks on abelian Cayley expanders satisfying a mild degree condition, hence in particular to \emph{almost all} abelian Cayley graphs. Our proof relies on a quantitative \emph{entropic concentration principle}, which we believe to lie behind all cutoff phenomena.
Schubert Polynomials in Types A and C
Enriched versions of type A Schubert polynomials are constructed with coefficients in a polynomial ring in variables $c_1, c_2, \ldots$. Specializing these variables to $0$ recovers the double Schubert polynomials of Lascoux and Schützenberger; specializing them to certain power series recovers the back-stable double Schubert polynomials of Lam, Lee, and Shimozono; specializing them to Schur Q-polynomials relates them to the type C double Schubert polynomials of Ikeda, Mihalcea, and Naruse. Many formulas for classical Schubert polynomials generalize to this setting. They give, and are characterized by, formulas for degeneracy loci.
On the Minimax Spherical Designs
Published
• View Publication
• BIB
Distributing points on a (possibly high-dimensional) sphere with minimal energy is a long-standing problem in and outside the field of mathematics. This paper considers a novel energy function that arises naturally from statistics and combinatorial optimization, and studies its theoretical properties. Our result solves both the exact optimal spherical point configurations in certain cases and the minimal energy asymptotics under general assumptions. Connections between our results and the L1-Principal Component analysis and Quasi-Monte Carlo methods are also discussed.