Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Transversals of Longest Cycles in Partial $k$-Trees and Chordal Graphs
Let $lct(G)$ be the minimum cardinality of a set of vertices that intersects every longest cycle of a 2-connected graph $G$. We show that $lct(G)\leq k-1$ if $G$ is a partial $k$-tree and that $lct(G)\leq \max \{1, {ω(G){-}3}\}$ if $G$ is chordal, where $ω(G)$ is the cardinality of a maximum clique in $G$. Those results imply that all longest cycles intersect in 2-connected series parallel graphs and in 3-trees.
On the Submodularity of Diffusion Models: Equivalent Conditions and Applications
The diffusion model has been a crucial component in studies about social networks. Many studies, especially these about influence maximization concern the proof of the submodularity of particular diffusion models. Such proofs have been model-dependent and are somewhat ad hoc. In this paper, we prove a theorem that provides a necessary and sufficient condition for a diffusion model to be submodular. This theorem can be used to justify the submodularity of an arbitrary diffusion model. We also apply this theorem to build a projection operator that maps an arbitrary diffusion model into a submodular one. Moreover, we use the established theorem to propose a diffusion model of multiple heterogeneous pieces of information that partially features submodularity.
What do QAOA energies reveal about graphs?
Quantum Approximate Optimization Algorithm (QAOA) is a hybrid classical-quantum algorithm to approximately solve NP optimization problems such as MAX-CUT. We describe a new application area of QAOA circuits: graph structure discovery. We omit the time-consuming parameter-optimization phase and utilize the dependence of QAOA energy on the graph structure for randomly or judiciously chosen parameters to learn about graphs. In the first part, Following up on Wang et. al. and Brandao et. al. we give explicit formulas. We show that the layer-one QAOA energy for the MAX-CUT problem for three regular graphs carries exactly the information: {\em (# of vertices, # of triangles)}. We have calculated our explicit formulas differently from \cite{wang2018quantum}, by developing the notion of the $U$ polynomial of a graph $G$. Many of our discoveries can be interpreted as computing $U(G)$ under various restrictions. The most basic question when comparing the structure of two graphs is if they are isomorphic or not. We find that the QAOA energies separate all non-isomorphic three-regular graphs up to size 18, all strongly regular graphs up to size 26 and the Praust and the smallest Miyazaki examples. We observe that the QAOA energy values can be also used as a proxy to how much graphs differ. Unfortunately, we have also found a sequence of non-isomorphic pairs of graphs, for which the energy gap seems to shrink at an exponential rate as the size grows. Our negative findings however come with a surprise: if the QAOA energies do not measurably separate between two graphs, then both of their energy landscapes must be extremely flat (indistinguishable from constant), already when the number of QAOA layers is intermediately large. This holds due to a remarkable uncoupling phenomenon that we have only deduced from computer simulation.
de Finetti Lattices and Magog Triangles
Published
• View Publication
• BIB
The order ideal $B_{n,2}$ of the Boolean lattice $B_n$ consists of all subsets of size at most $2$. Let $F_{n,2}$ denote the poset refinement of $B_{n,2}$ induced by the rules: $i < j$ implies $\{i \} \prec \{ j \}$ and $\{i,k \} \prec \{j,k\}$. We give an elementary bijection from the set $\mathcal{F}_{n,2}$ of linear extensions of $F_{n,2}$ to the set of shifted standard Young tableau of shape $(n, n-1, \ldots, 1)$, which are counted by the strict-sense ballot numbers. We find a more surprising result when considering the set $\mathcal{F}_{n,2}^{1}$ of minimal poset refinements in which each singleton is comparable with all of the doubletons. We show that $\mathcal{F}_{n,2}^{1}$ is in bijection with magog triangles, and therefore is equinumerous with alternating sign matrices. We adopt our proof techniques to show that row reversal of an alternating sign matrix corresponds to a natural involution on gog triangles.
Projective Embeddings of $\overline{M}_{0,n}$ and Parking Functions
The moduli space $\overline{M}_{0,n}$ may be embedded into the product of projective spaces $\mathbb{P}^1\times \mathbb{P}^2\times \cdots \times \mathbb{P}^{n-3}$, using a combination of the Kapranov map $|ψ_n|:\overline{M}_{0,n}\to \mathbb{P}^{n-3}$ and the forgetful maps $π_i:\overline{M}_{0,i}\to \overline{M}_{0,i-1}$. We give an explicit combinatorial formula for the multidegree of this embedding in terms of certain parking functions of height $n-3$. We use this combinatorial interpretation to show that the total degree of the embedding (thought of as the projectivization of its cone in $\mathbb{A}^2\times \mathbb{A}^3\cdots \times \mathbb{A}^{n-2}$) is equal to $(2(n-3)-1)!!=(2n-7)(2n-9) \cdots(5)(3)(1)$. As a consequence, we also obtain a new combinatorial interpretation for the odd double factorial.
New binary self-dual codes via a generalization of the four circulant construction
In this work, we generalize the four circulant construction for self-dual codes. By applying the constructions over the alphabets F_2, F_2 + uF_2, F_4+uF_4, we were able to obtain extremal binary self-dual codes of lengths 40, 64 including new extremal binary self-dual codes of length 68. More precisely, 43 new extremal binary self-dual codes of length 68, with rare new parameters have been constructed.
A group induced four-circulant construction for self-dual codes and new extremal binary self-dual codes
Published
• View Publication
• BIB
We introduce an altered version of the four circulant construction over group rings for self-dual codes. We consider this construction over the binary field, the rings F_2 + uF_2 and F_4 + uF_4; using groups of order 3, 7, 9, 13, and 15. Through these constructions and their extensions, we find binary self-dual codes of lengths 32, 40, 56, 64, 68 and 80, all of which are extremal or optimal. In particular, we find five new self-dual codes of parameters [56, 28, 10], twenty-three extremal binary self-dual codes of length 68 with new weight enumerators and fifteen new self-dual codes of parameters [80, 40, 14].
An additive basis for the cohomology rings of regular nilpotent Hessenberg varieties
Published in Transformation Groups 28 (2023), 695--732
• View Publication
• BIB
In this paper we construct an additive basis for the cohomology ring of a regular nilpotent Hessenberg variety which is obtained by extending all Poincaré duals of smaller regular nilpotent Hessenberg subvarieties. In particular, all of the Poincaré duals of smaller regular nilpotent Hessenberg subvarieties are linearly independent.
Chebyshev moments and Riordan involutions
We show that the coefficient array of a family of Chebyshev moments defines an involution in the group of Riordan arrays. We then extend this result to certain families of $d$-orthogonal polynomials.
Positive Populations
Published
• View Publication
• BIB
A positive structure on the varieties of critical points of master functions for KZ equations is introduced. It comes as a combination of the ideas from classical works by G.Lusztig and a previous work by E.Mukhin and the second named author.
A Polynomial Time Algorithm for Computing the Strong Rainbow Connection Numbers of Odd Cacti
We consider the problem of computing the strong rainbow connection number $src(G)$ for cactus graphs $G$ in which all cycles have odd length. We present a formula to calculate $src(G)$ for such odd cacti which can be evaluated in linear time, as well as an algorithm for computing the corresponding optimal strong rainbow edge coloring, with polynomial worst case run time complexity. Although computing $src(G)$ is NP-hard in general, previous work has demonstrated that it may be computed in polynomial time for certain classes of graphs, including cycles, trees and block clique graphs. This work extends the class of graphs for which $src(G)$ may be computed in polynomial time.
Cancellative hypergraphs and Steiner triple systems
Published
• View Publication
• BIB
A triple system is cancellative if it does not contain three distinct sets $A,B,C$ such that the symmetric difference of $A$ and $B$ is contained in $C$. We show that every cancellative triple system $\mathcal{H}$ that satisfies certain inequality between the sizes of $\mathcal{H}$ and its shadow must be structurally close to the balanced blowup of some Steiner triple system. Our result contains a stability theorem for cancellative triple systems due to Keevash and Mubayi as a special case. It also implies that the boundary of the feasible region of cancellative triple systems has infinitely many local maxima, thus giving the first example showing this phenomenon.
Some combinatorial matrices and their LU-decomposition
Published
• View Publication
• BIB
Three combinatorial matrices are considered and their LU-decompositions were found. This is typically done by (creative) guessing, and necessary proofs are more or less routine calculations.
On $k$-idempotent 0-1 matrices
Published
• View Publication
• BIB
Let $k\ge 2$ be an integer. If a square 0-1 matrix $A$ satisfies $A^k=A$, then $A$ is said to be $k$-idempotent. In this paper, we give a characterization of $k$-idempotent 0-1 matrices. We also determine the maximum number of nonzero entries in $k$-idempotent 0-1 matrices of a given order as well as the $k$-idempotent 0-1 matrices attaining this maximum number.
A Complete Solution to the Cvetković-Rowlinson Conjecture
Published in J. Graph Theory 97 (2021), no. 3, 441--450
• View Publication
• BIB
In 1990, Cvetković and Rowlinson [The largest eigenvalue of a graph: a survey, Linear Multilinear Algebra 28(1-2) (1990), 3--33] conjectured that among all outerplanar graphs on $n$ vertices, $K_1\vee P_{n-1}$ attains the maximum spectral radius. In 2017, Tait and Tobin [Three conjectures in extremal spectral graph theory, J. Combin. Theory, Ser. B 126 (2017) 137-161] confirmed the conjecture for sufficiently large values of $n$. In this article, we show the conjecture is true for all $n\geq2$ except for $n=6$.
Second-order bounds on correlations between increasing families
Published
• View Publication
• BIB
Harris's correlation inequality states that any two monotone functions on the Boolean hypercube are positively correlated. Talagrand \cite{Talcorr} started a line of works in search of quantitative versions of this fact by providing a lower bound on the correlation in terms of the influences of the functions. A famous conjecture of Chvátal \cite{Chvatal} was found by Friedgut, Kahn, Kalai and Keller \cite{FKKK} to be equivalent to a certain strengthening of Talagrand's bound, conjectured to hold true when one of the functions is antipodal (hence $g(x) = 1-g(-x)$). Motivated by this conjecture, we strengthen some of those bounds by giving estimates that also involve the second order Fourier coefficients of the functions. In particular we show that in the bounds due to Talagrand and due to Keller, Mossel and Sen \cite{KMS14}, a logarithmic factor can be replaced by its square root when one of the functions is antipodal. Our proofs follow a different route than the ones in the literature, and the analysis is carried out in the Gaussian setting.
Combinatorics and simplicial groupoids
This expository paper starts with a brief survey on the relation between partitions and surjections of sets, and then gives a quick introduction to the theories of incidence algebras, Segal groupoids and combinatorial species. The aim is to explain an objective construction, in terms of simplicial groupoids, of both the Faa di Bruno bialgebra and the plethystic bialgebra.
Interval matrices with Monge property
We generalize Monge property of real matrices for interval matrices. We define two classes of interval matrices with Monge property - in a strong and in a weak sense. We study fundamental properties of both classes. We show several different characterizations of the strong Monge property. For weak Monge property we give a polynomial characterization and several sufficient and necessary conditions. For both classes we study closure properties. We further propose a generalization of an algorithm by Deineko \& Filonenko which for a given matrix returns row and column permutations such that the permuted matrix is Monge if the permutations exist.
Gysin morphisms for non-transversal hyperplane sections with an application to line arrangements
We prove the existence of Gysin morphisms for hyperplane sections that may not satisfy the usual hypotheses of the Lefschetz hyperplane theorem. As an application, we show the triviality of the Alexander polynomial of a particular class of non-symmetric line arrangements, thus providing positive evidence for a conjecture of Papadima and Suciu.
Orbit spaces of equivariantly formal torus actions of complexity one
Published in Orbit Spaces of Equivariantly Formal Torus Actions of Complexity One. Transformation Groups 30, 19-52 (2025)
• View Publication
• BIB
Let a compact torus $T=T^{n-1}$ act on an orientable smooth compact manifold $X=X^{2n}$ effectively, with nonempty finite set of fixed points, and suppose that stabilizers of all points are connected. If $H^{odd}(X)=0$ and the weights of tangent representation at each fixed point are in general position, we prove that the orbit space $Q=X/T$ is a homology $(n+1)$-sphere. If, in addition, $π_1(X)=0$, then $Q$ is homeomorphic to $S^{n+1}$. We introduce the notion of $j$-generality of tangent weights of torus action. For any action of $T^k$ on $X^{2n}$ with isolated fixed points and $H^{odd}(X)=0$, we prove that $j$-generality of weights implies $(j+1)$-acyclicity of the orbit space $Q$. This statement generalizes several known results for actions of complexity zero and one. In complexity one, we give a criterion of equivariant formality in terms of the orbit space. In this case, we give a formula expressing Betti numbers of a manifold in terms of certain combinatorial structure that sits in the orbit space.