Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Orchards in elliptic curves over finite fields
Published in Finite Fields and Their Applications, Volume 68, 2020, 101756, ISSN 1071-5797
• View Publication
• BIB
Consider a set of $ n $ points on a plane. A line containing exactly $ 3 $ out of the $ n $ points is called a $ 3 $-rich line. The classical orchard problem asks for a configuration of the $ n $ points on the plane that maximizes the number of $ 3 $-rich lines. In this note, using the group law in elliptic curves over finite fields, we exhibit several (infinitely many) group models for orchards wherein the number of $ 3 $-rich lines agrees with the expected number given by Green-Tao (or, Burr, Grünbaum and Sloane) formula for the maximum number of lines. We also show, using elliptic curves over finite fields, that there exist infinitely many point-line configurations with the number of $ 3 $-rich lines exceeding the expected number given by Green-Tao formula by two, and this is the only other optimal possibility besides the case when the number of $ 3 $-rich lines agrees with the Green-Tao formula.
Accurate Arrangements
Published in Adv. Math. 383, Article ID 107702, 30 p. (2021)
• View Publication
• BIB
Let $\mathscr A$ be a Coxeter arrangement of rank $\ell$. In 1987 Orlik, Solomon and Terao conjectured that for every $1\leq d \leq \ell$, the first $d$ exponents of $\mathscr A$ -- when listed in increasing order -- are realized as the exponents of a free restriction of $\mathscr A$ to some intersection of reflecting hyperplanes of $\mathscr A$ of dimension $d$. This conjecture does follow from rather extensive case-by-case studies by Orlik and Terao from 1992 and 1993, where they show that all restrictions of Coxeter arrangements are free. We call a general free arrangements with this natural property involving their free restrictions accurate. In this paper we initialize their systematic study. Our principal result shows that MAT-free arrangements, a notion recently introduced by Cuntz and Mücksch, are accurate. This theorem in turn directly implies this special property for all ideal subarrangements of Weyl arrangements. In particular, this gives a new, simpler and uniform proof of the aforementioned conjecture of Orlik, Solomon and Terao for Weyl arrangements which is free of any case-by-case considerations. Another application of a slightly more general formulation of our main theorem shows that extended Shi arrangements, extended Catalan arrangements and ideal-Shi arrangements share this property as well. We also study arrangements that satisfy a slightly weaker condition, called almost accurate arrangements, where we simply disregard the ordering of the exponents involved. This property in turn is implied by many well established concepts of freeness such as supersolvability and divisional freeness.
On decomposable and reducible integer matrices
Published in Symmetry 2021, 13(7), 1125
• View Publication
• BIB
We propose necessary and sufficient conditions for an integer matrix to be decomposable in terms of its Hermite normal form. Specifically, to each integer matrix of maximal row rank without columns of zeros, we associate a symmetric whole matrix whose reducibility can be determined by elementary Linear Algebra, and which completely determines the decomposibility of the first one.
Improvement on the crossing number of crossing-critical graphs
The crossing number of a graph $G$ is the minimum number of edge crossings over all drawings of $G$ in the plane. A graph $G$ is $k$-crossing-critical if its crossing number is at least $k$, but if we remove any edge of $G$, its crossing number drops below $k$. There are examples of $k$-crossing-critical graphs that do not have drawings with exactly $k$ crossings. Richter and Thomassen proved in 1993 that if $G$ is $k$-crossing-critical, then its crossing number is at most $2.5k+16$. We improve this bound to $2k+6\sqrt{k}+44$.
An algebraic characterization of $k$--colorability
Published
• View Publication
• BIB
We characterize $k$--colorability of a simplicial graph via the intrinsic algebraic structure of the associated right-angled Artin group. As a consequence, we show that a certain problem about the existence of homomorphisms from right-angled Artin groups to products of free groups is NP--complete.
Factoring Middle Binomial Coefficients
The article describes prime intervals into the prime factorization of the middle binomial coefficient. Prime factors and prime powers are distributed in layers. Each layer consists of non-repeated prime numbers which are chosen (not calculated) from the noncrossing prime intervals. Repeated factors are formed when primes are duplicated among different layers.
A method for eternally dominating strong grids
Published
• View Publication
• BIB
In the eternal domination game, an attacker attacks a vertex at each turn and a team of guards must move a guard to the attacked vertex to defend it. The guards may only move to adjacent vertices and no more than one guard may occupy a vertex. The goal is to determine the eternal domination number of a graph which is the minimum number of guards required to defend the graph against an infinite sequence of attacks. In this paper, we continue the study of the eternal domination game on strong grids. Cartesian grids have been vastly studied with tight bounds for small grids such as $2\times n$, $3\times n$, $4\times n$, and $5\times n$ grids, and recently it was proven in [Lamprou et al., CIAC 2017, 393-404] that the eternal domination number of these grids in general is within $O(m+n)$ of their domination number which lower bounds the eternal domination number. Recently, Finbow et al. proved that the eternal domination number of strong grids is upper bounded by $\frac{mn}{6}+O(m+n)$. We adapt the techniques of [Lamprou et al., CIAC 2017, 393-404] to prove that the eternal domination number of strong grids is upper bounded by $\frac{mn}{7}+O(m+n)$. While this does not improve upon a recently announced bound of $\lceil\frac{m}{3}\rceil \lceil\frac{n}{3}\rceil+O(m\sqrt{n})$ [Mc Inerney, Nisse, Pérennes, CIAC 2019] in the general case, we show that our bound is an improvement in the case where the smaller of the two dimensions is at most $6179$.
2.5-Connectivity: Unique Components, Critical Graphs, and Applications
Published
• View Publication
• BIB
If a biconnected graph stays connected after the removal of an arbitrary vertex and an arbitrary edge, then it is called 2.5-connected. We prove that every biconnected graph has a canonical decomposition into 2.5-connected components. These components are arranged in a tree-structure. We also discuss the connection between 2.5-connected components and triconnected components and use this to present a linear-time algorithm which computes the 2.5-connected components of a graph. We show that every critical 2.5-connected graph other than K4 can be obtained from critical 2.5-connected graphs of smaller order using simple graph operations. Furthermore, we demonstrate applications of 2.5-connected components in the context of cycle decompositions and cycle packings.
Eigenfunctions and minimum 1-perfect bitrades in the Hamming graph
Published
• View Publication
• BIB
The Hamming graph $H(n,q)$ is the graph whose vertices are the words of length $n$ over the alphabet $\{0,1,\ldots,q-1\}$, where two vertices are adjacent if they differ in exactly one coordinate. The adjacency matrix of $H(n,q)$ has $n+1$ distinct eigenvalues $n(q-1)-q\cdot i$ with corresponding eigenspaces $U_{i}(n,q)$ for $0\leq i\leq n$. In this work we study functions belonging to a direct sum $U_i(n,q)\oplus U_{i+1}(n,q)\oplus\ldots\oplus U_j(n,q)$ for $0\leq i\leq j\leq n$. We find the minimum cardinality of the support of such functions for $q=2$ and for $q=3$, $i+j>n$. In particular, we find the minimum cardinality of the support of eigenfunctions from the eigenspace $U_{i}(n,3)$ for $i>\frac{n}{2}$. Using the correspondence between $1$-perfect bitrades and eigenfunctions with eigenvalue $-1$, we find the minimum size of a $1$-perfect bitrade in the Hamming graph $H(n,3)$.
A quadratic identity in the shuffle algebra and an alternative proof for de Bruijn's formula
Published in European Journal of Combinatorics, Volume 99, January 2022, 103406
• View Publication
• BIB
Motivated by a polynomial identity of certain iterated integrals, first observed in [CGM20] in the setting of lattice paths, we prove an intriguing combinatorial identity in the shuffle algebra. It has a close connection to de Bruijn's formula when interpreted in the framework of signatures of paths.
Direct Product Primality Testing of Graphs is GI-hard
Published in Theoretical Computer Science, Volume 860, 8 March 2021, Pages 72-83
• View Publication
• BIB
We investigate the computational complexity of the graph primality testing problem with respect to the direct product (also known as Kronecker, cardinal or tensor product). In [1] Imrich proves that both primality testing and a unique prime factorization can be determined in polynomial time for (finite) connected and nonbipartite graphs. The author states as an open problem how results on the direct product of nonbipartite, connected graphs extend to bipartite connected graphs and to disconnected ones. In this paper we partially answer this question by proving that the graph isomorphism problem is polynomial-time many-one reducible to the graph compositeness testing problem (the complement of the graph primality testing problem). As a consequence of this result, we prove that the graph isomorphism problem is polynomial-time Turing reducible to the primality testing problem. Our results show that connectedness plays a crucial role in determining the computational complexity of the graph primality testing problem.
Saturation for the Butterfly Poset
Published
• View Publication
• BIB
Given a finite poset $\mathcal P$, we call a family $\mathcal F$ of subsets of $[n]$ $\mathcal P$-saturated if $\mathcal F$ does not contain an induced copy of $\mathcal P$, but adding any other set to $\mathcal F$ creates an induced copy of $\mathcal P$. The induced saturated number of $\mathcal P$, denoted by $\text{sat}^*(n,\mathcal P)$, is the size of the smallest $\mathcal P$-saturated family with ground set $[n]$. In this paper we are mainly interested in the four-point poset called the butterfly. Ferrara, Kay, Kramer, Martin, Reiniger, Smith and Sullivan showed that the saturation number for the butterfly lies between $\log_2{n}$ and $n^2$. We give a linear lower bound of $n+1$. We also prove some other results about the butterfly and the poset $\mathcal N$.
A nonlinear version of Bourgain's projection theorem
Published in J. Eur. Math. Soc. (JEMS) 25 (2023), no. 10, 4155--4204
• View Publication
• BIB
We prove a version of Bourgain's projection theorem for parametrized families of $C^2$ maps, that refines the original statement even in the linear case. As one application, we show that if $A$ is a Borel set of Hausdorff dimension close to $1$ in $\mathbb{R}^2$ or close to $3/2$ in $\mathbb{R}^3$, then for $y\in A$ outside of a very sparse set, the pinned distance set $\{|x-y|:x\in A\}$ has Hausdorff dimension at least $1/2+c$, where $c$ is universal. Furthermore, the same holds if the distances are taken with respect to a $C^2$ norm of positive Gaussian curvature. As further applications, we obtain new bounds on the dimensions of spherical projections, and an improvement over the trivial estimate for incidences between $δ$-balls and $δ$-neighborhoods of curves in the plane, under fairly general assumptions. The proofs depend on a new multiscale decomposition of measures into ``Frostman pieces'' that may be of independent interest.
Singular nonsymmetric Jack polynomials for some rectangular tableaux
Published in Symmetry 2020 12(4), 630
• View Publication
• BIB
In the intersection of the theories of nonsymmetric Jack polynomials in $N$ variables and representations of the symmetric groups $\mathcal{S}_{N}$ one finds the singular polynomials. For certain values of the parameter $κ$ there are Jack polynomials which span an irreducible $\mathcal{S}_{N}$-module and are annihilated by the Dunkl operators. The $\mathcal{S}_{N}$-module is labeled by a partition of $N$, called the isotype of the polynomials. In this paper the Jack polynomials are of the vector-valued type, that is, elements of the tensor product of the scalar polynomials with the span of reverse standard Young tableaux of the shape of a fixed partition of $N$. In particular this partition is of shape $\left( m,m,\ldots,m\right) $ with $2k$ components and the constructed singular polynomials are of isotype $\left( mk,mk\right) $ for the parameter $κ=$ $1/\left( m+2\right) $. The paper contains the necessary background on nonsymmetric Jack polynomials and representation theory and explains the role of Jucys-Murphy elements in the construction. The main ingredient is the proof of uniqueness of certain spectral vectors, namely, the list of eigenvalues of the Jack polynomials for the Cherednik-Dunkl operators, when specialized to $κ=1/\left( m+2\right) $. The paper finishes with a discussion of associated maps of modules of the rational Cherednik algebra and an example illustrating the difficulty of finding singular polynomials for arbitrary partitions.
Alternating Sign Hypermatrix Decompositions of Latin-like Squares
Published
• View Publication
• BIB
To any $n \times n$ Latin square $L$, we may associate a unique sequence of mutually orthogonal permutation matrices $P = P_1, P_2, ..., P_n$ such that $L = L(P) = \sum kP_k$. Brualdi and Dahl (2018) described a generalisation of a Latin square, called an alternating sign hypermatrix Latin-like square (ASHL), by replacing $P$ with an alternating sign hypermatrix (ASHM). An ASHM is an $n \times n \times n$ (0,1,-1)-hypermatrix in which the non-zero elements in each row, column, and vertical line alternate in sign, beginning and ending with $1$. Since every sequence of $n$ mutually orthogonal permutation matrices forms the planes of a unique $n \times n \times n$ ASHM, this generalisation of Latin squares follows very naturally, with an ASHM $A$ having corresponding ASHL $L = L(A) =\sum kA_k$, where $A_k$ is the $k^{\text{th}}$ plane of $A$. This paper addresses some open problems posed in Brualdi and Dahl's article, firstly by characterising how pairs of ASHMs with the same corresponding ASHL relate to one another and providing a tight lower bound on $n$ for which two $n \times n \times n$ ASHMs can correspond to the same ASHL, and secondly by exploring the maximum number of times a particular integer may occur as an entry of an $n \times n$ ASHL. A general construction is given for an $n \times n$ ASHL with the same entry occurring $\lfloor\frac{n^2 + 4n -19}{2}\rfloor$ times, improving considerably on the previous best construction, which achieved the same entry occuring $2n$ times.
Hankel determinants of linear combinations of moments of orthogonal polynomials
Published in Int. J. Number Theory 17 (2021), 341-369
• View Publication
• BIB
We prove evaluations of Hankel determinants of linear combinations of moments of orthogonal polynomials (or, equivalently, of generating functions for Motzkin paths), thus generalising known results for Catalan numbers.
Maximal fluctuations around the Wulff shape for edge-isoperimetric sets in ${\mathbb Z^d}$: a sharp scaling law
Published
• View Publication
• BIB
We derive a sharp scaling law for deviations of edge-isoperimetric sets in the lattice $\mathbb Z^d$ from the limiting Wulff shape in arbitrary dimensions. As the number $n$ of elements diverges, we prove that the symmetric difference to the corresponding Wulff set consists of at most $O(n^{(d-1+2^{1-d})/d})$ lattice points and that the exponent $(d-1+2^{1-d})/d$ is optimal. This extends the previously found `$n^{3/4}$ laws' for $d=2,3$ to general dimensions. As a consequence we obtain optimal estimates on the rate of convergence to the limiting Wulff shape as $n$ diverges.
An average degree condition for independent transversals
Published
• View Publication
• BIB
In 1994, Erdős, Gyárfás and Łuczak posed the following problem: given disjoint vertex sets $V_1,\dots,V_n$ of size~$k$, with exactly one edge between any pair $V_i,V_j$, how large can $n$ be such that there will always be an independent transversal? They showed that the maximal $n$ is at most $(1+o(1))k^2$, by providing an explicit construction with these parameters and no independent transversal. They also proved a lower bound which is smaller by a $2e$-factor.
In this paper, we solve this problem by showing that their upper bound construction is best possible: if $n\le (1-o(1))k^2$, there will always be an independent transversal. In fact, this result is a very special case of a much more general theorem which concerns independent transversals in arbitrary partite graphs that are `locally sparse', meaning that the maximum degree between each pair of parts is relatively small. In this setting, Loh and Sudakov provided a global \emph{maximum} degree condition for the existence of an independent transversal. We show that this can be relaxed to an \emph{average} degree condition.
We can also use our new theorem to establish tight bounds for a more general version of the Erdős--Gyárfás--Łuczak problem and solve a conjecture of Yuster from 1997. This exploits a connection to the Turán numbers of complete bipartite graphs, which might be of independent interest.
Counting lattice walks by winding angle
We address the problem of counting walks by winding angle on the Kreweras lattice, an oriented version of the triangular lattice. Our method uses a new decomposition of the lattice, which allows us to write functional equations characterising a generating function of walks counted by length, endpoint and winding angle. We then solve these functional equations in terms of Jacobi theta functions. By using this result in conjunction with the reflection principle, we count walks confined to a cone of opening angle any multiple of $\fracπ{3}$, allowing us to extract asymptotic and algebraic information for these walks. Our method and results extend analogously to three other lattices, including the square lattice and triangular lattice. On the square lattice, most of our results were derived by Timothy Budd in 2017, so the current work can be seen as an extension of Budd's results to the three other lattices that we consider. Budd's method of deducing these results was very different, as it was based on an explicit eigenvalue decomposition of certain matrices counting paths in the lattice.
An asymptotic for the Hall--Paige conjecture
Published
• View Publication
• BIB
Hall and Paige conjectured in 1955 that a finite group $G$ has a complete mapping if and only if its Sylow $2$-subgroups are trivial or noncyclic. This conjecture was proved in 2009 by Wilcox, Evans, and Bray using the classification of finite simple groups and extensive computer algebra. Using a completely different approach motivated by the circle method from analytic number theory, we prove that the number of complete mappings of any group $G$ of order $n$ satisfying the Hall--Paige condition is $(e^{-1/2} + o(1)) \, |G^\text{ab}| \, n!^2/n^n$.