Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Number of directions determined by a set in $\mathbb{F}_{q}^{2}$ and growth in $\mathrm{Aff}(\mathbb{F}_{q})$
Published in Discrete Comput. Geom., 66(4):1415--1428, 2021
• View Publication
• BIB
We prove that a set $A$ of at most $q$ non-collinear points in the finite plane $\mathbb{F}_{q}^{2}$ spans at least $\approx\frac{|A|}{\sqrt{q}}$ directions: this is based on a lower bound contained in [FST13], which we prove again together with a different upper bound than the one given therein. Then, following the procedure used in [RS18], we prove a new structural theorem about slowly growing sets in $\mathrm{Aff}(\mathbb{F}_{q})$ for any finite field $\mathbb{F}_{q}$, generalizing the analogous results in [Hel15] [Mur17] [RS18] over prime fields.
Non-ridge-chordal complexes whose clique complex has shellable Alexander dual
Published
• View Publication
• BIB
A recent conjecture that appeared in three papers by Bigdeli--Faridi, Dochtermann, and Nikseresht, is that every simplicial complex whose clique complex has shellable Alexander dual, is ridge-chordal. This strengthens the long-standing Simon's conjecture that the $k$-skeleton of the simplex is extendably shellable, for any $k$. We show that the stronger conjecture has a negative answer, by exhibiting an infinite family of counterexamples.
Arctic curves of the twenty-vertex model with domain wall boundaries
Published in J Stat Phys 179, 33-89 (2020)
• View Publication
• BIB
We use the tangent method to compute the arctic curve of the Twenty-Vertex (20V) model with particular domain wall boundary conditions for a wide set of integrable weights. To this end, we extend to the finite geometry of domain wall boundary conditions the standard connection between the bulk 20V and 6V models via the Kagome lattice ice model. This allows to express refined partition functions of the 20V model in terms of their 6V counterparts, leading to explicit parametric expressions for the various portions of its arctic curve. The latter displays a large variety of shapes depending on the weights and separates a central liquid phase from up to six different frozen phases. A number of numerical simulations are also presented, which highlight the arctic curve phenomenon and corroborate perfectly the analytic predictions of the tangent method. We finally compute the arctic curve of the Quarter-turn symmetric Holey Aztec Domino Tiling (QTHADT) model, a problem closely related to the 20V model and whose asymptotics may be analyzed via a similar tangent method approach. Again results for the QTHADT model are found to be in perfect agreement with our numerical simulations.
Galois Groups of Composed Schubert Problems
Published
• View Publication
• BIB
Two Schubert problems on possibly different Grassmannians may be composed to obtain a Schubert problem on a larger Grassmannian whose number of solutions is the product of the numbers of the original problems. This generalizes a construction discovered while classifying Schubert problems on the Grassmannian of 4-planes in C^9 with imprimitive Galois groups. We give an algebraic proof of the product formula. In a number of cases, we show that the Galois group of the composed Schubert problem is a subgroup of a wreath product of the Galois groups of the original problems, and is therefore imprimitive. We also present evidence for a conjecture that all composed Schubert problems have imprimitive Galois groups.
Some parametric congruences involving generalized central trinomial coefficients
Published
• View Publication
• BIB
For $n\in\mathbb{N}=\{0,1,2,\ldots\}$ and $b,c\in\mathbb{Z}$, the $n$th generalized central trinomial coefficient $T_n(b,c)$ is the coefficient of $x^n$ in the expansion of $(x^2+bx+c)^n$. In particular, $T_n=T_n(1,1)$ is the central trinomial coefficient. In this paper, we mainly establish some parametric congruences involving generalized central trinomial coefficients. As consequences, we prove that for any prime $p>3$ $$ \sum_{k=0}^{p-1}\frac{\binom{2k}{k}}{12^k}T_k\equiv\left(\frac{p}{3}\right)\frac{3^{p-1}+3}{4}\pmod{p^2} $$ and $$ \sum_{k=0}^{p-1}\frac{T_kH_k}{3^k}\equiv\frac{3+\left(\frac{p}{3}\right)}{2}-p\left(1+\left(\frac{p}{3}\right)\right)\pmod{p^2}, $$ where $(-)$ denotes the Legendre symbol and $H_k:=\sum_{j=1}^k1/j$ denotes the $k$th harmonic number. These confirm two conjectural congruences of the second author.
$p$-adic analogues of hypergeometric identities and their applications
In this paper, we confirm several conjectures posed by Sun recently; for example, we prove that for any odd prime $p$ we have $$ \sum_{k=0}^{p-1}A_k\equiv\begin{cases}4x^2-2p\pmod{p^2}\quad&\text{if $p=x^2+2y^2\ (x,y\in\mathbb{Z})$},\\ 0\pmod{p^2}\quad&\text{if $p\equiv5,7\pmod{8}$},\end{cases} $$ where $A_n:=\sum_{k=0}^n\binom{n+k}{k}^2\binom{n}{k}^2$ are the Apéry numbers.
Combinatorial Analysis for Pseudoknot RNA with Complex Structure
There exists many complicated $k$-noncrossing pseudoknot RNA structures in nature based on some special conditions. The special characteristic of RNA structures gives us great challenges in researching the enumeration, prediction and the analysis of prediction algorithm. We will study two kinds of typical $k$-noncrossing pseudoknot RNAs with complex structures separately.
Convergence of square tilings to the Riemann map
A well-known theorem of Rodin \& Sullivan, previously conjectured by Thurston, states that the circle packing of the intersection of a lattice with a simply connected planar domain $Ω$ into the unit disc $\mathbb{D}$ converges to a Riemann map from $Ω$ to $\mathbb{D}$ when the mesh size converges to 0. We prove the analogous statement when circle packings are replaced by the square tilings of Brooks et al.
On the number of perfect triangles with a fixed angle
Published
• View Publication
• BIB
Richard Guy asked the following question: can we find a triangle with rational sides, medians, and area? Such a triangle is called a \emph{perfect triangle} and no example has been found to date. It is widely believed that such a triangle does not exist. Here we use the setup of Solymosi and de Zeeuw about rational distance sets contained in an algebraic curve, to show that for any angle $0<θ< π$, the number of perfect triangles with an angle $θ$ is finite. A \emph{rational median set} $S$ is a set of points in the plane such that for every three non collinear points $p_1,p_2,p_3$ in $S$ all medians of the triangle with vertices at $p_i$'s have rational length. The second result of this paper is that no irreducible algebraic curve defined over $\mathbb{R}$ contains an infinite rational median set.
A characterization of polynomials whose high powers have non-negative coefficients
Let $f \in \mathbb{R}[x]$ be a polynomial with real coefficients. We say that $f$ is eventually non-negative if $f^m$ has non-negative coefficients for all sufficiently large $m \in \mathbb{N}$. In this short note, we give a classification of all eventually non-negative polynomials. This generalizes a theorem of De Angelis, and proves a conjecture of Bergweiler, Eremenko and Sokal
Invitation to Hadamard matrices
An Hadamard matrix is a square matrix $H\in M_N(\pm1)$ whose rows and pairwise orthogonal. More generally, we can talk about the complex Hadamard matrices, which are the square matrices $H\in M_N(\mathbb C)$ whose entries are on the unit circle, $|H_{ij}|=1$, and whose rows and pairwise orthogonal. The main examples are the Fourier matrices, $F_N=(w^{ij})$ with $w=e^{2πi/N}$, and at the level of the general theory, the complex Hadamard matrices can be thought of as being some sort of exotic, generalized Fourier matrices. We discuss here the basic theory of the Hadamard matrices, real and complex, with emphasis on the complex matrices, and their geometric and analytic aspects.
Colouring the normalized Laplacian
Published in Electronic Notes in Theoretical Computer Science, 346, 345 - 354 (2019)
• View Publication
• BIB
We apply Cauchy's interlacing theorem to derive some eigenvalue bounds to the chromatic number using the normalized Laplacian matrix, including a combinatorial characterization of when equality occurs. Further, we introduce some new expansion type of parameters which generalize the Cheeger constant of a graph, and relate them to the colourings which meet our eigenvalue bound with equality. Finally, we exhibit a family of examples, which include the graphs that appear in the statement of the Erdős-Faber-Lovász conjecture.
Quantum isomorphism is equivalent to equality of homomorphism counts from planar graphs
Published
• View Publication
• BIB
Over 50 years ago, Lovász proved that two graphs are isomorphic if and only if they admit the same number of homomorphisms from any graph [Acta Math. Hungar. 18 (1967), pp. 321--328]. In this work we prove that two graphs are quantum isomorphic (in the commuting operator framework) if and only if they admit the same number of homomorphisms from any planar graph. As there exist pairs of non-isomorphic graphs that are quantum isomorphic, this implies that homomorphism counts from planar graphs do not determine a graph up to isomorphism. Another immediate consequence is that determining whether there exists some planar graph that has a different number of homomorphisms to two given graphs is an undecidable problem, since quantum isomorphism is known to be undecidable. Our characterization of quantum isomorphism is proven via a combinatorial characterization of the intertwiner spaces of the quantum automorphism group of a graph based on counting homomorphisms from planar graphs. This result inspires the definition of "graph categories" which are analogous to, and a generalization of, partition categories that are the basis of the definition of easy quantum groups. Thus we introduce a new class of "graph-theoretic quantum groups" whose intertwiner spaces are spanned by maps associated to (bi-labeled) graphs. Finally, we use our result on quantum isomorphism to prove an interesting reformulation of the Four Color Theorem: that any planar graph is 4-colorable if and only if it has a homomorphism to a specific Cayley graph on the symmetric group $S_4$ which contains a complete subgraph on four vertices but is not 4-colorable.
Bounding the tripartite-circle crossing number of complete tripartite graphs
Published in J. Graph Theory. 2022; 100: 5-27
• View Publication
• BIB
A tripartite-circle drawing of a tripartite graph is a drawing in the plane, where each part of a vertex partition is placed on one of three disjoint circles, and the edges do not cross the circles. We present upper and lower bounds on the minimum number of crossings in tripartite-circle drawings of $K_{m,n,p}$. In contrast to 1- and 2-circle drawings, which may attain the Harary-Hill bound, our results imply that balanced restricted 3-circle drawings of the complete graph are not optimal.
Representation stability for sequences of 0-Hecke modules
Published
• View Publication
• BIB
We define a new category analogous to ${\bf FI}$ for the $0$-Hecke algebra $H_n(0)$ called the $0$-Hecke category, $\mathcal{H}$, indexing sequences of representations of $H_n(0)$ as $n$ varies under suitable compatibility conditions. We establish a new type of representation stability in this setting and prove it is implied by being a finitely generated $\mathcal{H}$-module. We then provide examples of $\mathcal{H}$-modules and discuss further desirable properties these modules possess.
Positivity of the Rational Function of Gillis, Reznick and Zeilberger
We prove that the power series expansion of the rational function of Gillis, Reznick and Zeilberger (1983) has only nonnegative coefficients.
O-Fibonacci $(p,r)$-cube as Cartesian products
Let $p ,r $ and $n $ be positive integers. Then the O-Fibonacci $(p,r)$-cube $OΓ^{(p,r)}_{n}$ is the subgraph of $Q_{n}$ induced on the binary words in which there is at least $p-1$ zeros between any two $1$s and there is at most $r$ consecutive $10^{p-1}$. These cubes include a wide range of cubes as their special cases, such as hypercubes, Fibonacci cubes, and postal networks. In this note it is proved that $OΓ^{(p,r)}_{n}$ is a non-trivial Cartesian product if and only if $p=1$ and $r\geq n\geq2$.
Symmetric binary Steinhaus triangles and parity-regular Steinhaus graphs
Published
• View Publication
• BIB
A binary Steinhaus triangle is a triangle of zeroes and ones that points down and with the same local rule as the Pascal triangle modulo 2. A binary Steinhaus triangle is said to be rotationally symmetric, horizontally symmetric or dihedrally symmetric if it is invariant under the 120 degrees rotation, the horizontal reflection or both, respectively. The first part of this paper is devoted to the study of linear subspaces of rotationally symmetric, horizontally symmetric and dihedrally symmetric binary Steinhaus triangles. We obtain simple explicit bases for each of them by using elementary properties of the binomial coefficients. A Steinhaus graph is a simple graph with an adjacency matrix whose upper-triangular part is a binary Steinhaus triangle. A Steinhaus graph is said to be even or odd if all its vertex degrees are even or odd, respectively. One of the main results of this paper is the existence of an isomorphism between the linear subspace of even Steinhaus graphs and a certain linear subspace of dihedrally symmetric binary Steinhaus triangles. This permits us to give, in the second part of this paper, an explicit basis for even Steinhaus graphs and for the vector space of parity-regular Steinhaus graphs; i.e., the linear subspace of Steinhaus graphs that are even or odd. Finally, in the last part of this paper, we consider the generalized Pascal triangles, that are triangles of zeroes and ones, that point up now, and always with the same local rule as the Pascal triangle modulo 2. New simple bases for each linear subspace of symmetric generalized Pascal triangles are deduced from the results of the first part.
Biangular lines revisited
Published
• View Publication
• BIB
Line systems passing through the origin of the $d$ dimensional Euclidean space admitting exactly two distinct angles are called biangular. It is shown that the maximum cardinality of biangular lines is at least $2(d-1)(d-2)$, and this result is sharp for $d\in\{4,5,6\}$. Connections to binary codes, few-distance sets, and association schemes are explored, along with their multiangular generalization.
Graphical Designs and Extremal Combinatorics
Published in Konstantin Golubev,Graphical designs and extremal combinatorics, Linear Algebra and its Applications, Volume 604, 1 November 2020, Pages 490-506
• View Publication
• BIB
A graphical design is a proper subset of vertices of a graph on which many eigenfunctions of the Laplacian operator have mean value zero. In this paper, we show that extremal independent sets make extremal graphical designs, that is, a design on which the maximum possible number of eigenfunctions have mean value zero. We then provide examples of such graphs and sets, which arise naturally in extremal combinatorics. We also show that sets which realize the isoperimetric constant of a graph make extremal graphical designs, and provide examples for them as well. We investigate the behavior of graphical designs under the operation of weak graph product. In addition, we present a family of extremal graphical designs for the hypercube graph.