Showing 20 papers (Total: 82000 papers, 47479 authors in database)
Independent sets of non-geometric lattices and the maximal adjoint
Published
• View Publication
• BIB
We construct a family of independent sets for finite, atomic, and graded lattices, extending the well-known cryptomorphism between geometric lattices and matroids. This construction leads to an embedding theorem into geometric lattices that preserves the set of atoms. We then apply these results to adjoint matroids, providing new characterizations of adjoints and partially proving a conjecture on the combinatorial derived matroid. Finally, we use our characterization of adjoints to compute the adjoint lists of several simple examples.
Direct sampling of short paths for contiguous partitioning
In this paper, we provide a family of dynamic programming based algorithms to sample nearly-shortest self avoiding walks between two points of the integer lattice $\mathbb{Z}^2$. We show that if the shortest path of between two points has length $n$, then we can sample paths (self-avoiding-walks) of length $n+O(n^{1-δ})$ in polynomial time. As an example of an application, we will show that the Glauber dynamics Markov chain for partitions of the Aztec Diamonds in $\mathbb{Z}^2$ into two contiguous regions with nearly tight perimeter constraints has exponential mixing time, while the algorithm provided in this paper can be used be used to uniformly (and exactly) sample such partitions efficiently.
Multi-parameter Szemerédi-Trotter-type theorems and applications in finite fields
We prove some novel multi-parameter point-line incidence estimates in vector spaces over finite fields. While these could be seen as special cases of higher-dimensional incidence results, they outperform their more general counterparts in those contexts. We go on to present a number of applications to illustrate their use in combinatorial problems from geometry and number theory.
Macaulay Posets and Rings
Published
• View Publication
• BIB
Macaulay posets are posets in which an analog of the Kruskal-Katona Theorem holds. Macaulay rings (also called Macaulay-Lex rings) are rings in which an analog of Macaulay's Theorem for lex ideals holds. The study of both of these objects started with Macaulay almost a century ago. Since then, these two branches have developed separately over the past century, with the last link being the Clements-Lindström Theorem.
For every ring that is the quotient of a polynomial ring by a homogeneous ideal we define the poset of monomials. Under certain conditions, we prove a Macaulay Correspondence Theorem, a ring is Macaulay if and only if its poset of monomials is Macaulay. Furthermore, the tensor product of rings corresponds to the Cartesian product of the posets of monomials. This allows us to transfer results between rings and posets. By using this translation, we give several answers to a problem posed by Mermin and Peeva, a positive answer to Hoefel's question about applying Macaulay poset theory to ring theory, and deduce several other results in algebra and combinatorics.
A new proof of the Mermin-Murai Theorem on colored square free rings is presented by using star posets. We extend the Mermin-Murai Theorem to rings that are not square free. Using a result from Mermin and Peeva we give an answer to a question posed by Bezrukov and Leck. Some results of Chong also give answers to the Bezrukov-Leck problem. All of these results have a common feature. They involve the tensor product of rings whose Hasse graphs of the poset of monomials are trees. We call such rings, tree rings. We give a classification of Macaulay rings that are the tensor product of a tree ring. Finally, we show that there are Macaulay rings that are not the tensor product of tree rings, and present the first examples of Macaulay rings that are not quotients by a monomial ideal and not quotients by a toric ideal.
Independent domination versus packing in subcubic graphs
Published
• View Publication
• BIB
In 2011, Henning, Löwenstein, and Rautenbach observed that the domination number of a graph is bounded from above by the product of the packing number and the maximum degree of the graph. We prove a stronger statement in subcubic graphs: the independent domination number is bounded from above by three times the packing number.
Log-concavity for unimodal sequences
Published
• View Publication
• BIB
In this paper, we prove that the number of unimodal sequences of size $n$ is log-concave. These are coefficients of a mixed false modular form and have a Rademacher-type exact formula due to recent work of the second author and Nazaroglu on false theta functions. Log-concavity and higher Turán inequalities have been well-studied for (restricted) partitions and coefficients of weakly holomorphic modular forms, and analytic proofs generally require precise asymptotic series with error term. In this paper, we proceed from the exact formula for unimodal sequences to carry out this calculation. We expect our method applies to other exact formulas for coefficients of mixed mock/false modular objects.
Characters of classical groups, Schur-type functions, and discrete splines
Published in Sbornik: Mathematics 214:11 (2023), 1585-1626
• View Publication
• BIB
We study a spectral problem related to the finite-dimensional characters of the groups $Sp(2N)$, $SO(2N+1)$, and $SO(2N)$, which form the classical series $C$, $B$, and $D$, respectively. The irreducible characters of these three series are given by $N$-variate symmetric polynomials. The spectral problem in question consists in the decomposition of the characters after their restriction to the subgroups of the same type but smaller rank $K<N$. The main result of the paper is the derivation of explicit determinantal formulas for the coefficients in this decomposition.
In fact, we first compute these coefficients in a greater generality -- for the multivariate symmetric Jacobi polynomials depending on two continuous parameters. Next, we show that the formulas can be drastically simplified for the three special cases of Jacobi polynomials corresponding to the $C$-$B$-$D$ characters. In particular, we show that then the coefficients are given by piecewise polynomial functions. This is where a link with discrete splines arises.
In type $A$ (that is, for the characters of the unitary groups $U(N)$), similar results were earlier obtained by Alexei Borodin and the author [Adv. Math., 2012], and then reproved by another method by Leonid Petrov [Moscow Math. J., 2014]. The case of the symplectic and orthogonal characters is more intricate.
Total mutual-visibility in Hamming graphs
Published in Opuscula Math. 45 (2025) 63-78
• View Publication
• BIB
If $G$ is a graph and $X\subseteq V(G)$, then $X$ is a total mutual-visibility set if every pair of vertices $x$ and $y$ of $G$ admits a shortest $x,y$-path $P$ with $V(P) \cap X \subseteq \{x,y\}$. The cardinality of a largest total mutual-visibility set of $G$ is the total mutual-visibility number $μ_{\rm t}(G)$ of $G$. In this paper the total mutual-visibility number is studied on Hamming graphs, that is, Cartesian products of complete graphs. Different equivalent formulations for the problem are derived. The values $μ_{\rm t}(K_{n_1}\,\square\, K_{n_2}\,\square\, K_{n_3})$ are determined. It is proved that $μ_{\rm t}(K_{n_1} \,\square\, \cdots \,\square\, K_{n_r}) = O(N^{r-2})$, where $N = n_1+\cdots + n_r$, and that $μ_{\rm t}(K_s^{\,\square\,, r}) = Θ(s^{r-2})$ for every $r\ge 3$, where $K_s^{\,\square\,, r}$ denotes the Cartesian product of $r$ copies of $K_s$. The main theorems are also reformulated as Turán-type results on hypergraphs.
Construction of Linear Codes from the Unit Graph $G(\mathbb{Z}_{n})$
Published
• View Publication
• BIB
In this paper, we consider the unit graph $G(\mathbb{Z}_{n})$, where $n=p_{1}^{n_{1}} \text{ or } p_{1}^{n_{1}}p_{2}^{n_{2}} \text{ or } p_{1}^{n_{1}}p_{2}^{n_{2}}p_{3}^{n_{3}}$ and $p_{1}, p_{2}, p_{3}$ are distinct primes. For any prime $q$, we construct $q$-ary linear codes from the incidence matrix of the unit graph $G(\mathbb{Z}_{n})$ with their parameters. We also prove that the dual of the constructed codes have minimum distance either 3 or 4. Lastly, we stated two conjectures on diameter of unit graph $G(\mathbb{Z}_{n})$ and linear codes constructed from the incidence matrix of the unit graph $G(\mathbb{Z}_{n})$ for any integer $n$.
Sporadic simple groups as flag-transitive automorphism groups of symmetric designs
Published
• View Publication
• BIB
In this article, we study symmetric designs admitting flag-transitive, point-imprimitive almost simple automorphism groups with socle sporadic simple groups. As a corollary, we present a classification of symmetric designs admitting flag-transitive automorphism group whose socle is a sporadic simple group, and in conclusion, there are exactly seven such designs, one of which admits a point-imprimitive automorphism group and the remaining are point-primitive.
Alternating groups as flag-transitive automorphism groups of 2-designs with block size seven
In this article, we prove that if $\mathcal{D}$ is a $2$-design with $k=7$ admitting flag-transitive almost simple automorphism group with socle an alternating group, then $\mathcal{D}$ is $PG_{2}(3,2)$ with parameter set $(15,7,3)$ and $G=A_7$, or $\mathcal{D}$ is the $2$-design with parameter set $(55, 7, 1680)$ and $G=A_{11}$ or $S_{11}$.
Almost simple groups as flag-transitive automorphism groups of 2-designs with λ = 2
Published
• View Publication
• BIB
In this article, we study $2$-designs with $λ=2$ admitting a flag-transitive almost simple automorphism group with socle a finite simple exceptional group of Lie type, and we prove that such a $2$-design does not exist. In conclusion, we present a classification of $2$-designs with $λ=2$ admitting flag-transitive and point-primitive automorphism groups of almost simple type, which states that such a $2$-design belongs to an infinite family of $2$-designs with parameter set $((3^n-1)/2,3,2)$ and $X=PSL_n(3)$ for some $n\geq 3$, or it is isomorphic to the $2$-design with parameter set $(6,3,2)$, $(7,4,2)$, $(10,4,2)$, $(10,4,2)$, $(11,5,2)$, $(28,7,2)$, $(28,3,2)$, $(36,6,2)$, $(126,6,2)$ or $(176,8,2)$.
An Inversion Statistic on the Hyperoctahedral Group
In this paper, we introduce an inversion statistic on the hyperoctahedral group $B_n$ by using an decomposition of a positive root system of this reflection group. Then we prove some combinatorial properties for the inversion statistic. We establish an enumeration system on the group $B_n$ and give an efficient method to uniquely derive any group element known its enumeration order with the help of the inversion table. In addition, we prove that the \textit{flag-major index} is equi-distributed with this inversion statistic on $B_n$.
Words fixing the kernel network and maximum independent sets in graphs
The simple greedy algorithm to find a maximal independent set of a graph can be viewed as a sequential update of a Boolean network, where the update function at each vertex is the conjunction of all the negated variables in its neighbourhood. In general, the convergence of the so-called kernel network is complex. A word (sequence of vertices) fixes the kernel network if applying the updates sequentially according to that word. We prove that determining whether a word fixes the kernel network is coNP-complete. We also consider the so-called permis, which are permutation words that fix the kernel network. We exhibit large classes of graphs that have a permis, but we also construct many graphs without a permis.
Polytope Extensions with Linear Diameters
Published
• View Publication
• BIB
We describe constructions of extended formulations that establish a certain relaxed version of the Hirsch conjecture and prove that if there is a pivot rule for the simplex algorithm for which one can bound the number of steps by a polynomial in the diameter plus the number of facets of the polyhedron of feasible solutions then the general linear programming problem can be solved in strongly polynomial time.
On the Identity and Group Problems for Complex Heisenberg Matrices
Published
• View Publication
• BIB
We study the Identity Problem, the problem of determining if a finitely generated semigroup of matrices contains the identity matrix; see Problem 3 (Chapter 10.3) in ``Unsolved Problems in Mathematical Systems and Control Theory'' by Blondel and Megretski (2004). This fundamental problem is known to be undecidable for $\mathbb{Z}^{4 \times 4}$ and decidable for $\mathbb{Z}^{2 \times 2}$. The Identity Problem has been recently shown to be in polynomial time by Dong for the Heisenberg group over complex numbers in any fixed dimension with the use of Lie algebra and the Baker-Campbell-Hausdorff formula. We develop alternative proof techniques for the problem making a step forward towards more general problems such as the Membership Problem. Using our techniques we also show that the problem of determining if a given set of Heisenberg matrices generates a group can be decided in polynomial time.
Pull-Push Method: A new approach to Edge-Isoperimetric Problems
Published
• View Publication
• BIB
We prove a generalization of the Ahlswede-Cai local-global principle. A new technique to handle edge-isoperimetric problems is introduced which we call the pull-push method. Our main result includes all previously published results in this area as special cases with the only exception of the edge-isoperimetric problem for grids. With this we partially answer a question of Harper on local-global principles. We also describe a strategy for further generalization of our results so that the case of grids would be covered, which would completely settle Harper's question.
Reflect-Push Methods Part I: Two Dimensional Techniques
Published
• View Publication
• BIB
We determine all maximum weight downsets in the product of two chains, where the weight function is a strictly increasing function of the rank. Many discrete isoperimetric problems can be reduced to the maximum weight downset problem. Our results generalize Lindsay's edge-isoperimetric theorem in two dimensions in several directions. They also imply and strengthen (in several directions) a result of Ahlswede and Katona concerning graphs with maximal number of adjacent pairs of edges. We find all optimal shifted graphs in the Ahlswede-Katona problem. Furthermore, the results of Ahlswede-Katona are extended to posets with a rank increasing and rank constant weight function. Our results also strengthen a special case of a recent result by Keough and Radcliffe concerning graphs with the fewest matchings. All of these results are achieved by applications of a key lemma that we call the reflect-push method. This method is geometric and combinatorial. Most of the literature on edge-isoperimetric inequalities focuses on finding a solution, and there are no general methods for finding all possible solutions. Our results give a general approach for finding all compressed solutions for the above edge-isoperimetric problems.
By using the Ahlswede-Cai local-global principle, one can conclude that lexicographic solutions are optimal for many cases of higher dimensional isoperimetric problems. With this and our two dimensional results we can prove Lindsay's edge-isoperimetric inequality in any dimension. Furthermore, our results show that lexicographic solutions are the unique solutions for which compression techniques can be applied in this general setting.
New infinite family of regular edge-isoperimetric graphs
Published in Theoretical Computer Science, Volume 721, 18 April 2018, Pages 42-53
• View Publication
• BIB
We introduce a new infinite family of regular graphs admitting nested solutions in the edge-isoperimetric problem for all their Cartesian powers. The obtained results include as special cases most of previously known results in this area.
Complexity and algorithms for matching cut problems in graphs without long induced paths and cycles
Published
• View Publication
• BIB
In a graph, a (perfect) matching cut is an edge cut that is a (perfect) matching. Matching Cut (MC), respectively, Perfect Matching Cut (PMC), is the problem of deciding whether a given graph has a matching cut, respectively, a perfect matching cut. The Disconnected Perfect Matching problem (DPM) is to decide if a graph has a perfect matching that contains a matching cut. Solving an open problem posed in [Lucke, Paulusma, Ries (ISAAC 2022, Algorithmica 2023)], we show that PMC is NP-complete in graphs without induced 14-vertex path $P_{14}$. Our reduction also works simultaneously for MC and DPM, improving the previous hardness results of MC on $P_{15}$-free graphs and of DPM on $P_{19}$-free graphs to $P_{14}$-free graphs for both problems. Actually, we prove a slightly stronger result: within $P_{14}$-free 8-chordal graphs (graphs without chordless cycles of length at least 9), it is hard to distinguish between those without matching cuts (respectively, perfect matching cuts, disconnected perfect matchings) and those in which every matching cut is a perfect matching cut. Moreover, assuming the Exponential Time Hypothesis, none of these problems can be solved in $2^{o(n)}$ time for $n$-vertex $P_{14}$-free 8-chordal graphs.
On the positive side, we show that, as for MC [Moshi (JGT 1989)], DPM and PMC are polynomially solvable when restricted to 4-chordal graphs. Together with the negative results, this partly answers an open question on the complexity of PMC in $k$-chordal graphs asked in [Le, Telle (WG 2021, TCS 2022) & Lucke, Paulusma, Ries (MFCS 2023, TCS 2024)].