Showing 20 papers (Total: 82139 papers, 47531 authors in database)
A proof of the second Rogers-Ramanujan identity via Kleshchev multipartitions
Published
• View Publication
• BIB
We give another proof of the second Rogers-Ramanujan identity by Kashiwara crystals.
Bipartite intrinsically knotted graphs with 23 edges
Published
• View Publication
• BIB
A graph is intrinsically knotted if every embedding contains a nontrivially knotted cycle. It is known that intrinsically knotted graphs have at least 21 edges and that there are exactly 14 intrinsically knotted graphs with 21 edges, in which the Heawood graph is the only bipartite graph. The authors showed that there are exactly two graphs with at most 22 edges that are minor minimal bipartite intrinsically knotted: the Heawood graph and Cousin 110 of the $E_9+e$ family. In this paper we show that there are exactly six bipartite intrinsically knotted graphs with 23 edges so that every vertex has degree 3 or more. Four among them contain the Heawood graph and the other two contain Cousin 110 of the $E_9+e$ family. Consequently, there is no minor minimal intrinsically knotted graph with 23 edges that is bipartite.
Record-Setters in the Stern Sequence
Published
• View Publication
• BIB
Stern's diatomic series, denoted by $(a(n))_{n \geq 0}$, is defined by the recurrence relations $a(2n) = a(n)$ and $a(2n + 1) = a(n) + a(n + 1)$ for $n \geq 1$, and initial values $a(0) = 0$ and $a(1) = 1$. A record-setter for a sequence $(s(n))_{n \geq 0}$ is an index $v$ such that $s(i) < s(v)$ holds for all $i < v$. In this paper, we give a complete description of the record-setters for the Stern sequence.
Frucht's theorem in Borel setting
Published
• View Publication
• BIB
In this paper, we show that Frucht's theorem holds in Borel setting. More specifically, we prove that any standard Borel group can be realized as the Borel automorphism group of a Borel graph. A slight modification of our construction also yields the following result in topological setting: Any Polish group can be realized as the homeomorphic automorphism group of a $\mathbf{Δ^0_2}$-graph on a Polish space.
A description of the Zeta map on Dyck paths area sequences
We give a description of the well known Zeta map on Dyck paths which sends the dinv,area statistics to the area,bounce statistics. Our description uses Dyck paths area sequences and can be implemented easily.
TreePIR: Efficient Private Retrieval of Merkle Proofs via Tree Colorings with Fast Indexing and Zero Storage Overhead
Published
• View Publication
• BIB
A Batch Private Information Retrieval (batch-PIR) scheme allows a client to retrieve multiple data items from a database without revealing them to the storage server(s). Most existing approaches for batch-PIR are based on batch codes, in particular, probabilistic batch codes (PBC) (Angel et al. S&P'18), which incur large storage overheads. In this work, we show that \textit{zero} storage overhead is achievable for tree-shaped databases. In particular, we develop TreePIR, a novel approach tailored made for private retrieval of the set of nodes along an arbitrary root-to-leaf path in a Merkle tree with no storage redundancy. This type of trees has been widely implemented in many real-world systems such as Amazon DynamoDB, Google's Certificate Transparency, and blockchains. Tree nodes along a root-to-leaf path forms the well-known Merkle proof. TreePIR, which employs a novel tree coloring, outperforms PBC, a fundamental component in state-of-the-art batch-PIR schemes (Angel et al. S&P'18, Mughees-Ren S&P'23, Liu et al. S&P'24), in all metrics, achieving $3\times$ lower total storage and $1.5$-$2\times$ lower computation and communication costs. Most notably, TreePIR has $8$-$160\times$ lower setup time and its polylog-complexity indexing algorithm is $19$-$160\times$ faster than PBC for trees of $2^{10}$-$2^{24}$ leaves.
Finite size corrections relating to distributions of the length of longest increasing subsequences
Published
• View Publication
• BIB
Considered are the large $N$, or large intensity, forms of the distribution of the length of the longest increasing subsequences for various models. Earlier work has established that after centring and scaling, the limit laws for these distributions relate to certain distribution functions at the hard edge known from random matrix theory. By analysing the hard to soft edge transition, we supplement and extend results of Baik and Jenkins for the Hammersley model and symmetrisations, which give that the leading correction is proportional to $z^{-2/3}$, where $z^2$ is the intensity of the Poisson rate, and provides a functional form as derivates of the limit law. Our methods give the functional form both in terms of Fredholm operator theoretic quantities, and in terms of Painlevé transcendents. For random permutations and their symmetrisations, numerical analysis of exact enumerations and simulations gives compelling evidence that the leading corrections are proportional to $N^{-1/3}$, and moreover provides an approximation to their graphical forms.
Determinantal representations and the image of the principal minor map
Published
• View Publication
• BIB
In this paper we explore determinantal representations of multiaffine polynomials and consequences for the image of various spaces of matrices under the principal minor map. We show that a real multiaffine polynomial has a definite Hermitian determinantal representation if and only if all of its so-called Rayleigh differences factor as Hermitian squares and use this characterization to conclude that the image of the space of Hermitian matrices under the principal minor map is cut out by the orbit of finitely many equations and inequalities under the action of $({\rm SL}_2(\mathbb{R}))^{n} \rtimes S_{n}$. We also study such representations over more general fields with quadratic extensions. Factorizations of Rayleigh differences prove an effective tool for capturing subtle behavior of the principal minor map. In contrast to the Hermitian case, we give examples to show for any field $\mathbb{F}$, there is no finite set of equations whose orbit under $({\rm SL}_2(\mathbb{F}))^{n} \rtimes S_{n}$ cuts out the image of $n\times n$ matrices over $\mathbb{F}$ under the principal minor map for every $n$.
Connected power domination number of product graphs
Published
• View Publication
• BIB
In this paper, we consider the connected power domination number ($γ_{P, c}$) of three standard graph products. The exact value for $γ_{P, c}(G\circ H)$ is obtained for any two non-trivial graphs $G$ and $H.$ Further, tight upper bounds are proved for the connected power domination number of the Cartesian product of two graphs $G$ and $H.$ Consequently, the exact value of the connected power domination number of the Cartesian product of some standard graphs is determined. Finally, the connected power domination number of tensor product of graphs is discussed.
Classification of flocks of the quadratic cone in PG(3,64)
Published
• View Publication
• BIB
Flocks are an important topic in the field of finite geometry, with many relations with other objects of interest. This paper is a contribution to the difficult problem of classifying flocks up to projective equivalence. We complete the classification of flocks of the quadratic cone in PG(3,q) for q <= 71, by showing by computer that there are exactly three flocks of the quadratic cone in PG(3,64), up to equivalence. The three flocks had previously been discovered, and they are the linear flock, the Subiaco flock and the Adelaide flock. The classification proceeds via the connection between flocks and herds of ovals in PG(2,q), q even, and uses the prior classification of hyperovals in PG(2,64).
Reconstructing a generalized quadrangle with a hemisystem from a $4-$class association scheme
Published
• View Publication
• BIB
In 2013, van Dam, Martin and Muzychuk constructed a cometric $Q-$ antipodal $4-$class association scheme from a GQ of order $(t^2,t)$, $t$ odd, which have a hemisystem. In this paper we characterize this scheme by its Krein array. The techniques which are used involve the triple intersection numbers introduced by Coolsaet and Jurišić.
Reconstructing a generalized quadrangle from the Penttila-Williford $4-$class association scheme
Published
• View Publication
• BIB
Penttila and Williford constructed a $4-$class association scheme from a generalized quadrangle with a doubly subtended subquadrangle. We show that an association scheme with appropriate parameters and satisfying some assumption about maximal cliques must be the Penttila-Williford scheme.
Incidence matrices and line graphs of mixed graphs
Published
• View Publication
• BIB
In the theory of line graphs of undirected graphs there exists an important theorem linking the incidence matrix of the root graph to the adjacency matrix of its line graph. For directed or mixed graphs, however, the exists no analogous result. The goal of this article is to present aligned definitions of the adjacency matrix, the incidence matrix and line graph of a mixed graph such that the mentioned theorem is valid for mixed graphs.
Twin-width of Planar Graphs is at most 9, and at most 6 when Bipartite Planar
The structural parameter twin-width was introduced by Bonnet et al. in [FOCS 2020], and already this first paper included an asymptotic argument bounding the twin-width of planar graphs by a non-explicit constant. Quite recently, we have seen first small explicit upper bounds of 183 by Jacob and Pilipczuk [arXiv, January 2022], 583 by Bonnet et al. [arXiv, February 2022], and of 37 by Bekos et al. [arXiv, April 2022]. We prove that the twin-width of planar graphs is at most 9. Furthermore, if a planar graph is also bipartite, then its twin-width is at most 6.
Stability of intersecting families
Published
• View Publication
• BIB
The celebrated Erdős-Ko-Rado theorem \cite{EKR1961} states that the maximum intersecting $k$-uniform family on $[n]$ is a full star if $n\ge 2k+1$. Furthermore, Hilton-Milner \cite{HM1967} showed that if an intersecting $k$-uniform family on $[n]$ is not a subfamily of a full star, then its maximum size achieves only on a family isomorphic to $HM(n,k):= \Bigl\{G\in {[n] \choose k}: 1\in G, G\cap [2,k+1] \neq \emptyset \Bigr\} \cup \Bigl\{ [2,k+1] \Bigr\} $ if $n>2k$ and $k\ge 4$, and there is one more possibility in the case of $k=3$. Han and Kohayakawa \cite{HK2017} determined the maximum intersecting $k$-uniform family on $[n]$ which is neither a subfamily of a full star nor a subfamily of the extremal family in Hilton-Milner theorm, and they asked what is the next maximum intersecting $k$-uniform family on $[n]$. Kostochka and Mubayi \cite{KM2016} gave the answer for large enough $n$. In this paper, we are going to get rid of the requirement that $n$ is large enough in the result by Kostochka and Mubayi \cite{KM2016} and answer the question of Han and Kohayakawa \cite{HK2017}.
On the equivariant log-concavity for the cohomology of the flag varieties
We study the $S_n$-equivariant log-concavity of the cohomology of flag varieties, also known as the coinvariant ring of $S_n$. Using the theory of representation stability, we give computer-assisted proofs of the equivariant log-concavity in low degrees and high degrees and conjecture that it holds for all degrees. Furthermore, we make a stronger unimodal conjecture which implies the equivariant log-concavity.
Equivariant log-concavity and equivariant Kähler packages
Published in J. Algebra 657, 379-401 (2024)
• View Publication
• BIB
We show that the exterior algebra $Λ_{R}\left[α_{1}, \cdots, α_{n}\right]$, which is the cohomology of the torus $T=(S^{1})^{n}$, and the polynomial ring $\mathbb{R}\left[t_{1}, \ldots, t_{n}\right]$, which is the cohomology of the classifying space $B (S^{1})^{n}=\left(\mathbb{C} \mathbb{P}^{\infty}\right)^{n}$, are $S_{n}$-equivariantly log-concave. We do so by explicitly giving the $S_{n}$-representation maps on the appropriate sequences of tensor products of polynomials or exterior powers and proving that these maps satisfy the hard Lefschetz theorem. Furthermore, we prove that the whole Kähler package, including algebraic analogies of the Poincaré duality, hard Lefschetz, and Hodge-Riemann bilinear relations, holds on the corresponding sequences in an equivariant setting.
On the $d$-dimensional algebraic connectivity of graphs
Published
• View Publication
• BIB
The $d$-dimensional algebraic connectivity $a_d(G)$ of a graph $G=(V,E)$, introduced by Jordán and Tanigawa, is a quantitative measure of the $d$-dimensional rigidity of $G$ that is defined in terms of the eigenvalues of stiffness matrices (which are analogues of the graph Laplacian) associated to mappings of the vertex set $V$ into $\mathbb{R}^d$.
Here, we analyze the $d$-dimensional algebraic connectivity of complete graphs. In particular, we show that, for $d\geq 3$, $a_d(K_{d+1})=1$, and for $n\geq 2d$, \[ \left\lceil\frac{n}{2d}\right\rceil-2d+1\leq a_d(K_n) \leq \frac{2n}{3(d-1)}+\frac{1}{3}. \]
A Quantitative Bound For Szemerédi's Theorem for a Complexity One Polynomial Progression over $\mathbb{Z}/N\mathbb{Z}$
Let $N$ be a large prime and $P, Q \in \mathbb{Z}[x]$ two linearly independent polynomials with $P(0) = Q(0) = 0$. We show that if a subset $A$ of $\mathbb{Z}/N\mathbb{Z}$ lacks a progression of the form $(x, x + P(y), x + Q(y), x + P(y) + Q(y))$, then $$|A| \le O\left(\frac{N}{\log_{(O(1))}(N)}\right)$$ where $\log_{C}(N)$ is an iterated logarithm of order $C$ (e.g., $\log_{2}(N) = \log\log(N)$). To establish this bound, we adapt Peluse's (2018) degree lowering argument to the quadratic Fourier analysis setting to obtain quantitative bounds on the true complexity of the above progression. Our method also shows that for a large class of polynomial progressions, if one can establish polynomial-type bounds on the true complexity of those progressions, then one can establish polynomial-type bounds on Szemerédi's theorem for that type of polynomial progression.
Self-Similar Structure of $k$- and Biperiodic Fibonacci Words
Published
• View Publication
• BIB
Defining the biperiodic Fibonacci words as a class of words over the alphabet $\{0,1\}$, and two specializations the $k-$Fibonacci and classical Fibonacci words, we provide a self-similar decomposition of these words into overlapping words of the same type. These self-similar decompositions complement the previous literature where self-similarity was indicated but the specific structure of how the pieces interact was left undiscussed.