Showing 20 papers (Total: 82432 papers, 47671 authors in database)
The lengths for which bicrucial square-free permutations exist
Published
• View Publication
• BIB
A square is a factor $S = (S_1; S_2)$ where $S_1$ and $S_2$ have the same pattern, and a permutation is said to be square-free if it contains no non-trivial squares. The permutation is further said to be bicrucial if every extension to the left or right contains a square. We completely classify for which $n$ there exists a bicrucial square-free permutation of length $n$.
Small Strong Blocking Sets by Concatenation
Published
• View Publication
• BIB
Strong blocking sets and their counterparts, minimal codes, attracted lots of attention in the last years. Combining the concatenating construction of codes with a geometric insight into the minimality condition, we explicitly provide infinite families of small strong blocking sets, whose size is linear in the dimension of the ambient projective spaces. As a byproduct, small saturating sets are obtained.
On a Partition Identity of Lehmer
Published
• View Publication
• BIB
Euler's identity equates the number of partitions of any non-negative integer n into odd parts and the number of partitions of n into distinct parts. Beck conjectured and Andrews proved the following companion to Euler's identity: the excess of the number of parts in all partitions of n into odd parts over the number of parts in all partitions of n into distinct parts equals the number of partitions of n with exactly one even part (possibly repeated). Beck's original conjecture was followed by generalizations and so-called "Beck-type" companions to other identities.
In this paper, we establish a collection of Beck-type companion identities to the following result mentioned by Lehmer at the 1974 International Congress of Mathematicians: the excess of the number of partitions of n with an even number of even parts over the number of partitions of n with an odd number of even parts equals the number of partitions of n into distinct, odd parts. We also establish various generalizations of Lehmer's identity, and prove related Beck-type companion identities. We use both analytic and combinatorial methods in our proofs.
Non-Binary Diameter Perfect Constant-Weight Codes
Published
• View Publication
• BIB
Diameter perfect codes form a natural generalization for perfect codes. They are based on the code-anticode bound which generalizes the sphere-packing bound. The code-anticode bound was proved by Delsarte for distance-regular graphs and it holds for some other metrics too. In this paper we prove the bound for non-binary constant-weight codes with the Hamming metric and characterize the diameter perfect codes and the maximum size anticodes for these codes. We distinguish between six families of non-binary diameter constant-weight codes and four families of maximum size non-binary constant-weight anticodes. Each one of these families of diameter perfect codes raises some different questions. We consider some of these questions and leave lot of ground for further research. Finally, as a consequence, some t-intersecting families related to the well-known Erdös-Ko-Rado theorem, are constructed.
Rank of matrices with entries from a multiplicative group
Published
• View Publication
• BIB
We establish lower bounds on the rank of matrices in which all but the diagonal entries lie in a multiplicative group of small rank. Applying these bounds we show that the distance sets of finite pointsets in $\mathbb{R}^d$ generate high rank multiplicative groups and that multiplicative groups of small rank cannot contain large sumsets.
Springer fibers and the Delta Conjecture at $t=0$
Published
• View Publication
• BIB
We introduce a family of varieties $Y_{n,λ,s}$, which we call the \emph{$Δ$-Springer varieties}, that generalize the type A Springer fibers. We give an explicit presentation of the cohomology ring $H^*(Y_{n,λ,s})$ and show that there is a symmetric group action on this ring generalizing the Springer action on the cohomology of a Springer fiber. In particular, the top cohomology groups are induction products of Specht modules with trivial modules. The $λ=(1^k)$ case of this construction gives a compact geometric realization for the expression in the Delta Conjecture at $t=0$. Finally, we generalize results of De Concini and Procesi on the scheme of diagonal nilpotent matrices by constructing an ind-variety $Y_{n,λ}$ whose cohomology ring is isomorphic to the coordinate ring of the scheme-theoretic intersection of an Eisenbud--Saltman rank variety and diagonal matrices.
Minimal induced subgraphs of two classes of 2-connected non-Hamiltonian graphs
Published in Discrete Mathematics, Volume 345, Issue 7, July 2022, 112869
• View Publication
• BIB
In 1981, Duffus, Gould, and Jacobson showed that every connected graph either has a Hamiltonian path, or contains a claw ($K_{1,3}$) or a net (a fixed six-vertex graph) as an induced subgraph. This implies that subject to being connected, these two are the only minimal (under taking induced subgraphs) graphs with no Hamiltonian path.
Brousek (1998) characterized the minimal graphs that are $2$-connected, non-Hamiltonian and do not contain the claw as an induced subgraph. We characterize the minimal graphs that are $2$-connected and non-Hamiltonian for two classes of graphs: (1) split graphs, (2) triangle-free graphs. We remark that testing for Hamiltonicity is NP-hard in both of these classes.
Matrix representation of meet-irreducible discrete copulas
Published in Fuzzy Sets and Systems, vol. 240 (2014), 117-130
• Search Publication
Following Aguiló-Suñer-Torrens (2008), Kolesárová-Mesiar-Mordelová-Sempi (2006) and Mayor-Suñer-Torrens (2005), we continue to develop a theory of matrix representation for discrete copulas. To be more precise, we give characterizations of meet-irreducible discrete copulas from an order-theoretical aspect: we show that the set of all irreducible discrete copulas is a lattice in analogy with Nelsen and Úbeda-Flores (2005). Moreover, we clarify its lattice structure related to Kendall's $τ$ and Spearman's $ρ$ borrowing ideas from Coxeter groups.
An Exploration of the Symmetry Groups of Certain Configurations of Points
We start by introducing the basics of configurations of points and lines, and then move into discussing symmetry groups of these configurations. Specifically, we explore how we might classify the symmetries of $(9_3)$ and $(10_3)$ geometric configurations, given the graph automorphisms of their underlying set-configurations. Finally, we show how a specific class of combinatorial configurations called generalized cyclic configurations can be explored using this terminology, and give several interesting geometric results.
Common tangents to convex bodies
It is well-known since the time of the Greeks that two disjoint circles in the plane have four common tangent lines. Cappell et al. proved a generalization of this fact for properly separated strictly convex bodies in higher dimensions. We have shown that the same generalization applies for arbitrary convex bodies. When the number of convex sets involved is equal to the dimension, we obtain an alternative combinatorial proof of Bisztriczky's theorem on the number of common tangents to $d$ separated convex bodies in $\Rr^d$.
On the second eigenvalue of a Cayley graph of the symmetric group
Published
• View Publication
• BIB
In 2020, Siemons and Zalesski [On the second eigenvalue of some Cayley graphs of the symmetric group. {\it arXiv preprint arXiv:2012.12460}, 2020] determined the second eigenvalue of the Cayley graph $Γ_{n,k} = \operatorname{Cay}(\operatorname{Sym}(n), C(n,k))$ for $k = 0$ and $k=1$, where $C(n,k)$ is the conjugacy class of $(n-k)$-cycles. In this paper, it is proved that for any $n\geq 3$ and $k\in \mathbb{N}$ relatively small compared to $n$, the second eigenvalue of $Γ_{n,k}$ is the eigenvalue afforded by the irreducible character of $\operatorname{Sym}(n)$ that corresponds to the partition $[n-1,1]$. As a byproduct of our method, the result of Siemons and Zalesski when $k \in \{0,1\}$ is retrieved. Moreover, we prove that the second eigenvalue of $Γ_{n,n-5}$ is also equal to the eigenvalue afforded by the irreducible character of the partition $[n-1,1]$.
Upper bounds on the length function for covering codes with covering radius $R$ and codimension $tR+1$
Published
• View Publication
• BIB
The length function $\ell_q(r,R)$ is the smallest length of a $ q $-ary linear code with codimension (redundancy) $r$ and covering radius $R$. In this work, new upper bounds on $\ell_q(tR+1,R)$ are obtained in the following forms: \begin{equation*} \begin{split}
&(a)~\ell_q(r,R)\le cq^{(r-R)/R}\cdot\sqrt[R]{\ln q},~ R\ge3,~r=tR+1,~t\ge1,
&\phantom{(a)~} q\text{ is an arbitrary prime power},~c\text{ is independent of }q.
\end{split} \end{equation*} \begin{equation*} \begin{split}
&(b)~\ell_q(r,R)< 3.43Rq^{(r-R)/R}\cdot\sqrt[R]{\ln q},~ R\ge3,~r=tR+1,~t\ge1,
&\phantom{(b)~} q\text{ is an arbitrary prime power},~q\text{ is large enough}.
\end{split} \end{equation*} In the literature, for $q=(q')^R$ with $q'$ a prime power, smaller upper bounds are known; however, when $q$ is an arbitrary prime power, the bounds of this paper are better than the known ones.
For $t=1$, we use a one-to-one correspondence between $[n,n-(R+1)]_qR$ codes and $(R-1)$-saturating $n$-sets in the projective space $\mathrm{PG}(R,q)$. A new construction of such saturating sets providing sets of small size is proposed. Then the $[n,n-(R+1)]_qR$ codes, obtained by geometrical methods, are taken as the starting ones in the lift-constructions (so-called "$q^m$-concatenating constructions") for covering codes to obtain infinite families of codes with growing codimension $r=tR+1$, $t\ge1$.
Evaluation of Euler Number of Complex Grassmann Manifold G(k, N) via Mathai-Quillen Formalism
Published in Journal of Geometry and Physics 180C (2022) 104623
• View Publication
• BIB
In this paper, we provide a recipe for computing Euler number of Grassmann manifold G(k,N) by using Mathai-Quillen formalism (MQ formalism) and Atiyah-Jeffrey construction. Especially, we construct path-integral representation of Euler number of G(k,N). Our model corresponds to a finite dimensional toy-model of topological Yang-Mills theory which motivated Atiyah-Jeffrey construction. As a by-product, we construct free fermion realization of cohomology ring of G(k,N).
Perfect and nearly perfect separation dimension of complete and random graphs
Published
• View Publication
• BIB
The separation dimension of a hypergraph $G$ is the smallest natural number $d$ for which there is an embedding of $G$ into $\mathbb{R}^d$, such that any pair of disjoint edges is separated by some hyperplane normal to one of the axes. The perfect separation dimension further requires that any pair of disjoint edges is separated by the same amount of such (pairwise nonparallel) hyperplanes. While it is known that for any fixed $r \ge 2$, the separation dimension of any $n$-vertex $r$-graph is $O(\log n)$, the perfect separation dimension is much larger. In fact, no polynomial upper-bound for the perfect separation dimension of $r$-uniform hypergraphs is known.
In our first result we essentially resolve the case $r=2$, i.e. graphs. We prove that the perfect separation dimension of $K_n$ is linear in $n$, up to a small polylogarithmic factor. In fact, we prove it is at least $n/2-1$ and at most $n(\log n)^{1+o(1)}$.
Our second result proves that the perfect separation dimension of almost all graphs is also linear in $n$, up to a logarithmic factor. This follows as a special case of a more general result showing that the perfect separation dimension of the random graph $G(n,p)$ is w.h.p. $Ω(n p /\log n)$ for a wide range of values of $p$, including all constant $p$.
Finally, we prove that significantly relaxing perfection to just requiring that any pair of disjoint edges of $K_n$ is separated the same number of times up to a difference of $c \log n$ for some absolute constant $c$, still requires the dimension to be $Ω(n)$. This is perhaps surprising as it is known that if we allow a difference of $7\log_2 n$, then the dimension reduces to $O(\log n)$.
A polynomial time reduction from the multi-graph isomorphism problem to additive code equivalence
We present a polynomial time reduction from the multi-graph isomorphism problem to the problem of code equivalence of additive codes over finite extensions of ${\mathbb F}_2$.
The density Turán problem for hypergraphs
Published
• View Publication
• BIB
Given a $k$-graph $H$ a complete blow-up of $H$ is a $k$-graph $\hat{H}$ formed by replacing each $v\in V(H)$ by a non-empty vertex class $A_v$ and then inserting all edges between any $k$ vertex classes corresponding to an edge of $H$. Given a subgraph $G\subseteq \hat{H}$ and an edge $e\in E(H)$ we define the density $d_e(G)$ to be the proportion of edges present in $G$ between the classes corresponding to $e$. The density Turán problem for $H$ asks: determine the minimal value $d_{crit}(H)$ such that any subgraph $G\subseteq \hat{H}$ satisfying $d_e(G)> d_{crit}(H)$ for every $e\in E(H)$ contains a copy of $H$ as a transversal, i.e. a copy of $H$ meeting each vertex class of $\hat{H}$ exactly once. We give upper bounds for this hypergraph density Turán problem that generalise the known bounds for the case of graphs due to Csikvári and Nagy, [Combinatorics, Probability and Computing, 21(4):531-553, 2012] although our methods are different, employing an entropy compression argument.
On Infinite Matroids with Strong Maps: Proto-exactness and Finiteness Conditions
Published
• View Publication
• BIB
This paper investigates infinite matroids from a categorical perspective. We prove that the category of infinite matroids is a proto-exact category in the sense of Dyckerhoff and Kapranov, thereby generalizing our previous result on the category of finite matroids. We also characterize finitary matroids as co-limits of finite matroids, and show that the finite matroids are precisely the finitely presentable objects in this category.
The Terwilliger algebra of symplectic dual polar graphs, the subspace lattices and $U_q(sl_2)$
Published
• View Publication
• BIB
The adjacency matrix of a symplectic dual polar graph restricted to the eigenspaces of an abelian automorphism subgroup is shown to act as the adjacency matrix of a weighted subspace lattice. The connection between the latter and $U_q(sl_2)$ is used to find the irreducible components of the standard module of the Terwilliger algebra of symplectic dual polar graphs. The multiplicities of the isomorphic submodules are given.
Graphs with minimum degree-based entropy
Published
• View Publication
• BIB
The degree-based entropy of a graph is defined as the Shannon entropy based on the information functional that associates the vertices of the graph with the corresponding degrees. In this paper, we study extremal problems of finding the graphs attaining the minimum degree-based graph entropy among graphs and bipartite graphs with a given number of vertices and edges. We characterize the unique extremal graph achieving the minimum value among graphs with a given number of vertices and edges and present a lower bound for the degree-based entropy of bipartite graphs and characterize all the extremal graphs which achieve the lower bound. This implies the known result due to Cao et al. (2014) that the star attains the minimum value of the degree-based entropy among trees with a given number of vertices.
Non-homotopic Loops with a Bounded Number of Pairwise Intersections
Let $V_n$ be a set of $n$ points in the plane and let $x \notin V_n$. An $x$-loop is a continuous closed curve not containing any point of $V_n$. We say that two $x$-loops are non-homotopic if they cannot be transformed continuously into each other without passing through a point of $V_n$. For $n=2$, we give an upper bound $e^{O\left(\sqrt{k}\right)}$ on the maximum size of a family of pairwise non-homotopic $x$-loops such that every loop has fewer than $k$ self-intersections and any two loops have fewer than $k$ intersections. The exponent $O\big(\sqrt{k}\big)$ is asymptotically tight. The previous upper bound bound $2^{(2k)^4}$ was proved by Pach, Tardos, and Tóth [Graph Drawing 2020]. We prove the above result by proving the asymptotic upper bound $e^{O\left(\sqrt{k}\right)}$ for a similar problem when $x \in V_n$, and by proving a close relation between the two problems.