Showing 20 papers (Total: 82064 papers, 47505 authors in database)
On the determinicity of paths on substitution complexes
Published
• View Publication
• BIB
The paper is devoted to the study of combinatorial determinacy properties of a family of substitution complexes consisting of quadrilaterals glued side-to-side with each other. These properties are useful in constructing algebraic structures with a finite number of defining relations. In particular, this method was used when constructing a finitely presented infinite nisemigroup satisfying the identity x^9 =0. This construction responds to the problem of L. N. Shevrin and M. V. Sapir. In this paper, we investigate the possibility of coloring the entire sequence of complexes into a finite number of colors, in which the property of weak determinism is fulfilled: if the colors of the three vertices of a certain quadrilateral are known, then the color of the fourth side is uniquely determined, except in some cases of a special arrangement of the quadrilateral.
On locally rainbow colourings
Published
• View Publication
• BIB
Given a graph $H$, let $g(n,H)$ denote the smallest $k$ for which the following holds. We can assign a $k$-colouring $f_v$ of the edge set of $K_n$ to each vertex $v$ in $K_n$ with the property that for any copy $T$ of $H$ in $K_n$, there is some $u\in V(T)$ such that every edge in $T$ has a different colour in $f_u$.
The study of this function was initiated by Alon and Ben-Eliezer. They characterized the family of graphs $H$ for which $g(n,H)$ is bounded and asked whether it is true that for every other graph $g(n,H)$ is polynomial. We show that this is not the case and characterize the family of connected graphs $H$ for which $g(n,H)$ grows polynomially. Answering another question of theirs, we also prove that for every $\varepsilon>0$, there is some $r=r(\varepsilon)$ such that $g(n,K_r)\geq n^{1-\varepsilon}$ for all sufficiently large $n$.
Finally, we show that the above problem is connected to the Erdős-Gyárfás function in Ramsey Theory, and prove a family of special cases of a conjecture of Conlon, Fox, Lee and Sudakov by showing that for each fixed $r$ the complete $r$-uniform hypergraph $K_n^{(r)}$ can be edge-coloured using a subpolynomial number of colours in such a way that at least $r$ colours appear among any $r+1$ vertices.
Construction of Permutation Polynomials of Certain Specific Cycle Structure over Finite Fields
For a finite field of odd number of elements
we construct families of permutation binomials and permutation trinomials
with one fixed-point (namely zero) and
remaining elements being permuted as disjoint cycles of same length.
Binomials and trinomials providing permutations
with cycles of many lengths with
certain frequency are also constructed.
Computing Circuit Polynomials in the Algebraic Rigidity Matroid
We present an algorithm for computing circuit polynomials in the algebraic rigidity matroid $\mathcal{A}(\text{CM}_n)$ associated to the Cayley-Menger ideal CM$_n$ for $n$ points in 2D. It relies on combinatorial resultants, a new operation on graphs that captures properties of the Sylvester resultant of two polynomials in this ideal. We show that every rigidity circuit has a construction tree from K4 graphs based on this operation. Our algorithm performs an algebraic elimination guided by such a construction tree, and uses classical resultants, factorization and ideal membership. To highlight its effectiveness, we implemented the algorithm in Mathematica: it took less than 15 seconds on an example where a Gröbner Basis calculation took 5 days and 6 hrs. Additional speed-ups are obtained using non-$K_4$ generators of the Cayley-Menger ideal and simple variations on our main algorithm.
Long mutation cycles
Published
• View Publication
• BIB
A mutation cycle is a cycle in a graph whose vertices are labeled by the quivers in a given mutation class and whose edges correspond to single mutations. For any fixed $n\ge 4$, we describe arbitrarily long mutation cycles involving $n$-vertex quivers. Each of these mutation cycles allows for an arbitrary choice of $n \choose 2$ positive integer parameters. None of the mutation cycles we construct can be paved by short mutation cycles.
James reduced product schemes and double quasisymmetric functions
Published
• View Publication
• BIB
Symmetric function theory is a key ingredient in the Schubert calculus of Grassmannians. Quasisymmetric functions are analogues that are similarly central to algebraic combinatorics, but for which the associated geometry is poorly developed. Baker and Richter (2008) showed that $\textrm{QSym}$ manifests topologically as the cohomology ring of the loop suspension of infinite projective space or equivalently of its combinatorial homotopy model, the James reduced product $J\mathbb{C}\mathbb{P}^\infty$. In recent work, we used this viewpoint to develop topologically-motivated bases of $\textrm{QSym}$ and initiate a Schubert calculus for $J\mathbb{C}\mathbb{P}^\infty$ in both cohomology and $K$-theory.
Here, we study the torus-equivariant cohomology of $J\mathbb{C}\mathbb{P}^\infty$. We identify a cellular basis and introduce double monomial quasisymmetric functions as combinatorial representatives, analogous to the factorial Schur functions and double Schubert polynomials of classical Schubert calculus. We also provide a combinatorial Littlewood--Richardson rule for the structure coefficients of this basis.
Furthermore, we introduce an algebro-geometric analogue of the James reduced product construction. In particular, we prove that the James reduced product of a complex projective variety also carries the structure of a projective variety.
Bounds for eccentricity-based parameters of graphs
Published
• View Publication
• BIB
The \emph{eccentricity} of a vertex $u$ in a graph $G$, denoted by $e_G(u)$, is the maximum distance from $u$ to other vertices in $G$. We study extremal problems for the average eccentricity and the first and second Zagreb eccentricity indices, denoted by $σ_0(G)$, $σ_1(G)$, and $σ_2(G)$, respectively. These are defined by $σ_0(G)=\frac{1}{|V(G)|}\sum_{u\in V(G)}e_G(u)$, $σ_1(G)=\sum_{u\in V(G)}e_G^2(u)$, and $σ_2(G)=\sum_{uv\in E(G)}e_G(u)e_G(v)$. We study lower and upper bounds on these parameters among $n$-vertex connected graphs with fixed diameter, chromatic number, clique number, or matching number. Most of the bounds are sharp, with the corresponding extremal graphs characterized.
Connectivity keeping trees in 3-connected bipartite graphs with girth conditions
Luo, Tian and Wu conjectured in 2022 that for any tree $T$ with bipartition $X$ and $Y$, every $k$-connected bipartite graph $G$ with $δ(G) \geq k + t$, where $t = \max\{|X|,|Y |\}$, contains a subtree $T' \cong T$ such that $G-V(T')$ remains $k$-connected. This conjecture has been proved for caterpillars and spiders when $k\leq 3$; and for paths with odd order. In this paper, we prove that this conjecture holds if $G$ is a bipartite graph with $g(G)\geq diam(T)-1$ and $k\leq 3$, where $g(G)$ and $diam(T)$ denote the girth of $G$ and the diameter of $T$, respectively.
Powers of vertex cover ideals of Simplicial Trees
Published
• View Publication
• BIB
In $2011$, Herzog, Hibi, and Ohsugi conjectured that if $J$ is the cover ideal of a chordal graph, then $J^s$ is componentwise linear for all $s \ge 1.$ In 2022, Hà and Tuyl considered objects more general than chordal graphs and posed the following problem: Let $J(Δ)$ be the cover ideal of a simplicial tree $Δ.$ Is it true that $J(Δ)^s$ is componentwise linear for all $s \geq 1$? In this article, we give an affirmative answer to this problem.
Vertex cover ideals of simplicial complexes
Given a simplicial complex $Δ$, we investigate how to construct a new simplicial complex $\barΔ$ such that the corresponding monomial ideals satisfy nice algebraic properties. We give a procedure to check the vertex decomposability of an arbitrary hypergraph. As a consequence, we prove that attaching non-pure skeletons at all vertices of a cycle cover of a simplicial complex $Δ$ results in a simplicial complex $\barΔ$ such that the associated hypergraph $\mathcal{H}(\barΔ)$ is vertex decomposable. Also, we prove that all symbolic powers of the cover ideal of $\barΔ$ are componentwise linear. Our work generalizes the earlier known result where non-pure complete graphs were added to all vertices of a cycle cover of a graph.
Turán problems for linear forests and cliques
Given a graph $T$ and a family of graphs $\mathcal{H}$. The generalized Turán number of $\mathcal{H}$ is the maximum number of copies of $T$ in an $\mathcal{H}$-free graph on $n$ vertices, denoted by $ex(n, T, \mathcal{H})$. Let $ex(n, T, \mathcal{H})$ denote the maximum number of copies of $T$ in an $n$-vertex $\mathcal{H}$-free graph. Recently, Alon and Frankl (arXiv2210.15076) determined the exact values of $\rm{ex}(n, \{K_{r+1}, M_{s+1}\})$, where $K_{r+1}$ and $M_{s+1}$ are complete graph on $r + 1$ vertices and matching of size $s + 1$, respectively. Ma and Hou (arXiv2301.05625) gave the generalized version of Alon and Frankl's Theorem, which determine the exact values of $ex(n, K_r, \{K_{k+1}, M_{s+1}\})$. Zhang determined the exact values of $ex(n, K_r, \mathcal{L}_{n, s})$, where $\mathcal{L}_{n, s}$ be the family of all linear forests of order $n$ with $s$ edges. Inspired by the work of Zhang and Ma, in this paper, we determined the exact number of $ex(n, \{K_{r+1}, \mathcal{L}_{n, s}\})$.
Topological recursion, symplectic duality, and generalized fully simple maps
Published in J. Geom. Phys. 206 (2024), 105329, 13 pp
• View Publication
• BIB
For a given spectral curve, we construct a family of symplectic dual spectral curves for which we prove an explicit formula expressing the $n$-point functions produced by the topological recursion on these curves via the $n$-point functions on the original curve. As a corollary, we prove topological recursion for the generalized fully simple maps generating functions.
On algebras of double cosets of symmetric groups with respect to Young subgroups
Published in Math. Notes, 2023, Vol. 114, No. 4, pp. 583-592
• View Publication
• BIB
We consider the subalgebra $Δ$ in the group algebra of the symmetric group $G=S_{n_1+\dots+n_ν}$ consisting of all functions invariant with respect to left and right shifts by elements of the Young subgroup $H:=S_{n_1}\times \dots \times S_{n_ν}$. We discuss structure constants of the algebra $Δ$ and construct an algebra with continuous parameters $n_1$ extrapolating algebras $Δ$, it can be also can be rewritten as an asymptotic algebra as $n_j\to\infty$ (for fixed $ν$). We show that there is a natural map from the Lie algebra of the group of pure braids to $Δ$ (and therefore this Lie algebra acts in spaces of multiplicities of the quasiregular representation of the group $G$ in functions on $G/H$).
Covering multigraphs with bipartite graphs
Hansel's lemma states that $\sum_{H\in \mathcal{H}}|H| \geq n \log_2 n$ holds where $\mathcal{H}$ is a collection of bipartite graphs covering all the edges of $K_n$. We generalize this lemma to the corresponding multigraph covering problem and the graphon covering problem. We also prove an upper bound on $\sum_{H\in \mathcal{H}}|H|$ which shows that our generalization is asymptotically tight in some sense.
Improved lower bounds on the extrema of eigenvalues of graphs
Published
• View Publication
• BIB
In this note, we improve the lower bounds for the maximum size of the $k$th largest eigenvalue of the adjacency matrix of a graph for several values of $k$. In particular, we show that closed blowups of the icosahedral graph improve the lower bound for the maximum size of the fourth largest eigenvalue of a graph, answering a question of Nikiforov.
Parametric Continued Fractions for $π^2$, $ζ(3)$, and other Constants
We give an extensive list of parametrized families of polynomial continued fractions of smallest possible degrees for $π^2$ and $ζ(3)$, and mention similar results for other constants.
Cooperation in Combinatorial Search
Published
• View Publication
• BIB
In the game theoretical approach of the basic problem in Combinatorial Search an adversary thinks of a defective element $d$ of an $n$-element pool $X$, and the questioner needs to find $x$ by asking questions of type is $d\in Q$? for certain subsets $Q$ of $X$. We study cooperative versions of this problem, where there are multiple questioners, but not all of them learn the answer to the queries. We consider various models that differ in how it is decided who gets to ask the next query, who obtains the answer to the query, and who needs to know the defective element by the end of the process.
Second-order moments of the size of randomly induced subgraphs of given order
Published
• View Publication
• BIB
For a graph $G$ and a positive integer $c$, let $M_c(G)$ be the size of a subgraph of $G$ induced by a randomly sampled subset of $c$ vertices. Second-order moments of $M_c(G)$ encode part of the structure of $G$. We use this fact, coupled to classical moment inequalities, to prove graph theoretical results, to give combinatorial identities, to bound the size of the $c$-densest subgraph from below and the size of the $c$-sparsest subgraph from above, and to provide bounds for approximate enumeration of trivial subgraphs.
Explicit Directional Affine Extractors and Improved Hardness for Linear Branching Programs
In a recent work, Gryaznov, Pudlák, and Talebanfard (CCC' 22) introduced a stronger version of affine extractors known as directional affine extractors, together with a generalization of $\mathsf{ROBP}$s where each node can make linear queries, and showed that the former implies strong lower bound for a certain type of the latter known as strongly read-once linear branching programs ($\mathsf{SROLBP}$s). Their main result gives explicit constructions of directional affine extractors for entropy $k > 2n/3$, which implies average-case complexity $2^{n/3-o(n)}$ against $\mathsf{SROLBP}$s with exponentially small correlation. A follow-up work by Chattopadhyay and Liao (ECCC' 22) improves the hardness to $2^{n-o(n)}$ at the price of increasing the correlation to polynomially large.
In this paper we show:
An explicit construction of directional affine extractors with $k=o(n)$ and exponentially small error, which gives average-case complexity $2^{n-o(n)}$ against $\mathsf{SROLBP}$s with exponentially small correlation, thus answering the two open questions raised in previous works.
An explicit function in $\mathsf{AC}^0$ that gives average-case complexity $2^{(1-δ)n}$ against $\mathsf{ROBP}$s with negligible correlation, for any constant $δ>0$. Previously, no such average-case hardness is known, and the best size lower bound for any function in $\mathsf{AC}^0$ against $\mathsf{ROBP}$s is $2^{Ω(n)}$.
One of the key ingredients in our constructions is a new linear somewhere condenser for affine sources, which is based on dimension expanders. The condenser also leads to an unconditional improvement of the entropy requirement of explicit affine extractors with negligible error. We further show that the condenser also works for general weak random sources, under the Polynomial Freiman-Ruzsa Theorem in $\mathsf{F}_2^n$.
Symmetric Toda, gradient flows, and tridiagonalization
Published in Phys. D 450 (2023), Paper No. 133766, 10 pages
• View Publication
• BIB
The Toda lattice (1967) is a Hamiltonian system given by $n$ points on a line governed by an exponential potential. Flaschka (1974) showed that the Toda lattice is integrable by interpreting it as a flow on the space of symmetric tridiagonal $n\times n$ matrices, while Moser (1975) showed that it is a gradient flow on a projective space. The symmetric Toda flow of Deift, Li, Nanda, and Tomei (1986) generalizes the Toda lattice flow from tridiagonal to all symmetric matrices. They showed the flow is integrable, in the classical sense of having $d$ integrals in involution on its $2d$-dimensional phase space. The system may be viewed as integrable in other ways as well. Firstly, Symes (1980, 1982) solved it explicitly via $QR$-factorization and conjugation. Secondly, Deift, Li, Nanda, and Tomei (1986) 'tridiagonalized' the system into a family of tridiagonal Toda lattices which are solvable and integrable. In this paper we derive their tridiagonalization procedure in a natural way using the fact that the symmetric Toda flow is diffeomorphic to a twisted gradient flow on a flag variety, which may then be decomposed into flows on a product of Grassmannians. These flows may in turn be embedded into projective spaces via Plücker embeddings, and mapped back to tridiagonal Toda lattice flows using Moser's construction. In addition, we study the tridiagonalized flows projected onto a product of permutohedra, using the twisted moment map of Bloch, Flaschka, and Ratiu (1990). These ideas are facilitated in a natural way by the theory of total positivity, building on our previous work (2023).