Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Finding Dominating Induced Matchings in $P_9$-Free Graphs in Polynomial Time
Published
• View Publication
• BIB
Let $G=(V,E)$ be a finite undirected graph. An edge subset $E' \subseteq E$ is a {\em dominating induced matching} ({\em d.i.m.}) in $G$ if every edge in $E$ is intersected by exactly one edge of $E'$. The \emph{Dominating Induced Matching} (\emph{DIM}) problem asks for the existence of a d.i.m.\ in $G$. The DIM problem is \NP-complete even for very restricted graph classes such as planar bipartite graphs with maximum degree 3 but was solved in linear time for $P_7$-free graphs and in polynomial time for $P_8$-free graphs. In this paper, we solve it in polynomial time for $P_9$-free graphs.
Large monochromatic components in 3-edge-colored Steiner triple systems
Published
• View Publication
• BIB
It is known that in any $r$-coloring of the edges of a complete $r$-uniform hypergraph, there exists a spanning monochromatic component. Given a Steiner triple system on $n$ vertices, what is the largest monochromatic component one can guarantee in an arbitrary 3-coloring of the edges?
Gyárfás proved that $(2n+3)/3$ is an absolute lower bound and that this lower bound is best possible for infinitely many $n$. On the other hand, we prove that for almost all Steiner triple systems the lower bound is actually $(1-o(1))n$. We obtain this result as a consequence of a more general theorem which shows that the lower bound depends on the size of a largest \emph{3-partite hole} (that is, sets $X_1, X_2, X_3$ with $|X_1|=|X_2|=|X_3|$ such that no edge intersects all of $X_1, X_2, X_3$) in the Steiner triple system (Gyárfás previously observed that the upper bound depends on this parameter). Furthermore, we show that this lower bound is tight unless the coloring has a particular structure.
We also suggest a variety of other Ramsey problems in the setting of Steiner triple systems.
A parametrization of 8x8 magic squares of squares through octonionic multiplication
In an analogous construction as by Euler for 4x4 matrices, a parametrization of 8x8 magic squares of squares with orthogonal rows is shown to be obtainable by extending the quaternionic method, as shown by Hurwitz, to octonions, but not possible to be carried even further in the Cayley-Dickson construction series.
New nonexistence results on $(m,n)$-generalized bent functions
Published
• View Publication
• BIB
In this paper, we present some new nonexistence results on $(m,n)$-generalized bent functions, which improved recent results. More precisely, we derive new nonexistence results for general $n$ and $m$ odd or $m \equiv 2 \pmod{4}$, and further explicitly prove nonexistence of $(m,3)$-generalized bent functions for all integers $m$ odd or $m \equiv 2 \pmod{4}$. The main tools we utilized are certain exponents of minimal vanishing sums from applying characters to group ring equations that characterize $(m,n)$-generalized bent functions.
Height of records in partitions of a set
We study the restricted growth function associated with set partitions, and obtain exact formulas for the number of strong records with height one, the total of record heights over set of partitions, and the number of partitions with a given maximal height of strong records. We also extend some of these results to weak records.
Optimal measures for p-frame energies on spheres
Published
• View Publication
• BIB
We provide new answers about the placement of mass on spheres so as to minimize energies of pairwise interactions. We find optimal measures for the $p$-frame energies, i.e. energies with the kernel given by the absolute value of the inner product raised to a positive power $p$. Application of linear programming methods in the setting of projective spaces allows for describing the minimizing measures in full in several cases: we show optimality of tight designs and of the $600$-cell for several ranges of $p$ in different dimensions. Our methods apply to a much broader class of potential functions, those which are absolutely monotonic up to a particular order as functions of the cosine of the geodesic distance. In addition, a preliminary numerical study is presented which suggests optimality of several other highly symmetric configurations and weighted designs in low dimensions. In one case we improve the best known lower bounds on a minimal sized weighted design in $\mathbb{CP}^4$. All these results point to the discreteness of minimizing measures for the $p$-frame energy with $p$ not an even integer.
Mixed-Integer Optimization Approach to Learning Association Rules for Unplanned ICU Transfer
Published in Artificial Intelligence in Medicine, 2020
• View Publication
• BIB
After admission to emergency department (ED), patients with critical illnesses are transferred to intensive care unit (ICU) due to unexpected clinical deterioration occurrence. Identifying such unplanned ICU transfers is urgently needed for medical physicians to achieve two-fold goals: improving critical care quality and preventing mortality. A priority task is to understand the crucial rationale behind diagnosis results of individual patients during stay in ED, which helps prepare for an early transfer to ICU. Most existing prediction studies were based on univariate analysis or multiple logistic regression to provide one-size-fit-all results. However, patient condition varying from case to case may not be accurately examined by the only judgment. In this study, we present a new decision tool using a mathematical optimization approach aiming to automatically discover rules associating diagnostic features with high-risk outcome (i.e., unplanned transfers) in different deterioration scenarios. We consider four mutually exclusive patient subgroups based on the principal reasons of ED visits: infections, cardiovascular/respiratory diseases, gastrointestinal diseases, and neurological/other diseases at a suburban teaching hospital. The analysis results demonstrate significant rules associated with unplanned transfer outcome for each subgroups and also show comparable prediction accuracy, compared to state-of-the-art machine learning methods while providing easy-to-interpret symptom-outcome information.
Staircase patterns in words: subsequences, subwords, and separation number
Published
• View Publication
• BIB
We revisit staircases for words and prove several exact as well as asymptotic results for longest left-most staircase subsequences and subwords and staircase separation number, the latter being defined as the number of consecutive maximal staircase subwords packed in a word. We study asymptotic properties of the sequence $h_{r,k}(n),$ the number of $n$-array words with $r$ separations over alphabet $[k]$ and show that for any $r\geq 0,$ the growth sequence $\big(h_{r,k}(n)\big)^{1/n}$ converges to a characterized limit, independent of $r.$ In addition, we study the asymptotic behavior of the random variable $\mathcal{S}_k(n),$ the number of staircase separations in a random word in $[k]^n$ and obtain several limit theorems for the distribution of $\mathcal{S}_k(n),$ including a law of large numbers, a central limit theorem, and the exact growth rate of the entropy of $\mathcal{S}_k(n).$ Finally, we obtain similar results, including growth limits, for longest $L$-staircase subwords and subsequences.
Combinatorics of periodic ellipsoidal billiards
Published
• View Publication
• BIB
We study combinatorics of billiard partitions which arose recently in the description of periodic trajectories of ellipsoidal billiards in d-dimensional Euclidean and pseudo-Euclidean spaces. Such partitions uniquely codify the sets of caustics, up to their types, which generate periodic trajectories. The period of a periodic trajectory is the largest part while the winding numbers are the remaining summands of the corresponding partition. In order to take into account the types of caustics as well, we introduce weighted partitions. We provide closed forms for the generating functions of these partitions.
Spectrum for first-order properties of random hypergraphs
Published
• View Publication
• BIB
The notion of spectrum of first-order properties introduced by J. Spencer for Erdos-Renyi random graph is considered in relation to random uniform hypergraphs. We study properties of spectrum for first-order formulae with bounded quantifier depth and estimate the values of minimum and maximum points of this spectrum. We also consider the set of limit points of the spectrum and give a bound for its minimum value.
Eulerian polynomials and excedance statistics
Published
• View Publication
• BIB
A formula of Stembridge states that the permutation peak polynomials and descent polynomials are connected via a quadratique transformation. The aim of this paper is to establish the cycle analogue of Stembridge's formula by using cycle peaks and excedances of permutations. We prove a series of new general formulae expressing polynomials counting permutations by various excedance statistics in terms of refined Eulerian polynomials. Our formulae are comparable with Zhuang's generalizations [Adv. in Appl. Math. 90 (2017) 86-144] using descent statistics of permutations. Our methods include permutation enumeration techniques involving variations of classical bijections from permutations to Laguerre histories, explicit continued fraction expansions of combinatorial generating functions in Shin and Zeng [European J. Combin. 33 (2012), no. 2, 111--127] and cycle version of modified Foata-Strehl action. We also prove similar formulae for restricted permutations such as derangements and permutations avoiding certain patterns. Moreover, we provide new combinatorial interpretations for the $γ$-coefficients of the inversion polynomials restricted on $321$-avoiding permutations.
$C_4$ and $C_6$ decomposition of the tensor product of complete graphs
Published
• View Publication
• BIB
Let $G$ be a simple and finite graph. A graph is said to be \textit{decomposed} into subgraphs $H_1$ and $H_2$ which is denoted by $G= H_1 \oplus H_2$, if $G$ is the edge disjoint union of $H_1$ and $H_2$. If $G= H_1 \oplus H_2 \oplus H_3 \oplus \cdots \oplus H_k$, where\ $H_1$,$H_2$,$H_3$, ..., $H_k$ are all isomorphic to $H$, then $G$ is said to be $H$-decomposable. Futhermore, if $H$ is a cycle of length $m$ then we say that $G$ is $C_m$-decomposable and this can be written as $C_m|G$. Where $ G\times H$ denotes the tensor product of graphs $G$ and $H$, in this paper, we prove the necessary and sufficient conditions for the existence of $C_4$-decomposition (respectively, $C_6$-decomposition ) of $K_m \times K_n$. Using these conditions it can be shown that every even regular complete multipartite graph $G$ is $C_4$-decomposable (respectively, $C_6$-decomposable) if the number of edges of $G$ is divisible by $4$ (respectively, $6$).
Alternating super-polynomials and super-coinvariants of finite reflection groups
Motivated by a recent conjecture of Zabrocki, Wallach described the alternants in the super-coinvariant algebra of the symmetric group in one set of commuting and one set of anti-commuting variables under the diagonal action. We give a type-independent generalization of Wallach's result to all real reflection groups $G$. As an intermediate step, we explicitly describe the alternating super-polynomials in $k[V] \otimes Λ(V)$ for all complex reflection groups, providing an analogue of a classic result of Solomon which describes the invariant super-polynomials in $k[V] \otimes Λ(V^*)$. Using our construction, we explicitly describe the alternating harmonics and coinvariants for all real reflection groups.
The Tropical Division Problem and the Minkowski Factorization of Generalized Permutahedra
Given two tropical polynomials $f, g$ on $\mathbb{R}^n$, we provide a characterization for the existence of a factorization $f= h \odot g$ and the construction of $h$. As a ramification of this result we obtain a parallel result for the Minkowski factorization of polytopes. Using our construction we show that for any given polytopal fan there is a polytope factorization basis, i.e. a finite set of polytopes with respect to which any polytope whose normal fan is refined by the original fan can be uniquely written as a signed Minkowski sum. We explicitly study the factorization of polymatroids and their generalizations, Coxeter matroid polytopes, and give a hyperplane description of the cone of deformations for this class of polytopes.
Some optimal entanglement-assisted quantum codes constructed from quaternary Hermitian linear complementary dual codes
Published in International Journal of Quantum Information Vol. 17, (2019) 1950053
• View Publication
• BIB
We establish the existence of optimal maximal entanglement entanglement-assisted quantum $[[n,k,d;n-k]]_2$ codes for $(n,k,d)=(14,6,7)$, $(15,7,7)$, $(17,6,9)$, $(17,7,8)$, $(19,7,9)$ and $(20,7,10)$. These codes are obtained from quaternary Hermitian linear complementary dual codes. We also give some observation on the largest minimum weights.
New results on the degree/diameter problem of mixed Abelian Cayley graphs
Mixed graphs can be seen as digraphs that have both arcs and edges (or digons, that is, two opposite arcs). In this paper, we consider the case in which such graphs are Cayley graphs of Abelian groups. These groups can be constructed by using a generalization to $\mathbb{Z}^n$ of the concept of congruence in $\mathbb{Z}$. Here we use this approach to present some families of mixed graphs, which, for every fixed value of the degree, have an asymptotically large number of vertices as the diameter increases. In some cases, the results obtained are shown to be optimal.
Generalized DP-Colorings of Graphs
Published
• View Publication
• BIB
By a graph we mean a finite undirected graph having multiple edges but no loops. Given a graph property $\mathcal{P}$, a $\mathcal{P}$-coloring of a graph $G$ with color set $C$ is a mapping $\f:V(G)\to C$ such that for each color $c\in C$ the subgraph of $G$ induced by the color class $\varphi^{-1}(c)$ belongs to $\mathcal{P}$. The $\mathcal{P}$-chromatic number $χ(G:\mathcal{P})$ of $G$ is the least number $k$ for which $G$ admits an $\mathcal{P}$-coloring with a set of $k$-colors. This coloring concept dates back to the late 1960s and is commonly known as generalized coloring. In the 1980s the $\mathcal{P}$-choice number $χ_\ell(G:\mathcal{P})$ of $G$ was introduced and investigated by several authors. In 2018 Ďvorák and Postle introduced the DP-chromatic number as a natural extension of the choice number. They also remarked that this concept applies to any graph property. This motivated us to investigate the $\mathcal{P}$-DP-chromatic number $χ_{\rm DP}(G:\mathcal{P})$ of $G$. We have $χ(G:\mathcal{P})\leq χ_\ell(G:\mathcal{P})\leq χ_{\rm DP}(G:\mathcal{P})$. In this paper we show that various fundamental coloring results, in particular, the theorems of Brooks, of Gallai, and of Erdős, Rubin and Taylor, have counterparts for the $\mathcal{P}$-DP-chromatic number. Furthermore, we provide a generalization of a result from 2000 about partition of graphs into a fixed number of induced subgraphs with bounded variable degeneracy due to Borodin, Kostochka, and Toft.
Covering graphs, magnetic spectral gaps and applications to polymers and nanoribbons
Published in Symmetry-Basel 11 (2019) 1163
• View Publication
• BIB
In this article, we analyze the spectrum of discrete magnetic Laplacians (DML) on an infinite covering graph $\widetilde{G} \rightarrow G=\widetilde{G} /Γ$ with (Abelian) lattice group $Γ$ and periodic magnetic potential $\widetildeβ$. We give sufficient conditions for the existence of spectral gaps in the spectrum of the DML and study how these depend on $\widetildeβ$. The magnetic potential may be interpreted as a control parameter for the spectral bands and gaps. We apply these results to describe the spectral band/gap structure of polymers (polyacetylene) and of nanoribbons in the presence of a constant magnetic field.
Equal sums in random sets and the concentration of divisors
Published in Inventiones Math. 232 (2023), 1027-1160
• View Publication
• BIB
We study the extent to which divisors of a typical integer $n$ are concentrated. In particular, defining the Erdős-Hooley $Δ$-function by $Δ(n) := \max_t \# \{d | n, \log d \in [t,t+1]\}$, we show that $Δ(n) \geq (\log \log n)^{0.35332277\dots}$ for almost all $n$, a bound we believe to be sharp. This disproves a conjecture of Maier and Tenenbaum. We also prove analogs for the concentration of divisors of a random permutation and of a random polynomial over a finite field.
Most of the paper is devoted to a study of the following much more combinatorial problem of independent interest. Pick a random set $A \subset \mathbb{N}$ by selecting $i$ to lie in $A$ with probability $1/i$. What is the supremum of all exponents $β_k$ such that, almost surely as $D \rightarrow \infty$, some integer is the sum of elements of $A \cap [D^{β_k}, D]$ in $k$ different ways?
We characterise $β_k$ as the solution to a certain optimisation problem over measures on the discrete cube $\{0,1\}^k$, and obtain lower bounds for $β_k$ which we believe to be asymptotically sharp.
On the Boundaries of the m=2 Amplituhedron
Amplituhedra $\mathcal{A}_{n,k}^{(m)}$ are geometric objects of great interest in modern mathematics and physics: for mathematicians they are combinatorially rich generalizations of polygons and polytopes, based on the notion of positivity; for physicists, the amplituhedron $\mathcal{A}^{(4)}_{n,k}$ encodes the scattering amplitudes of the planar $\mathcal{N}=4$ super Yang-Mills theory. In this paper we study the structure of boundaries for the amplituhedron $\mathcal{A}_{n,k}^{(2)}$. We classify all boundaries of all dimensions and provide their graphical enumeration. We find that the boundary poset for the amplituhedron is Eulerian and show that the Euler characteristic of the amplituhedron equals one. This provides an initial step towards proving that the amplituhedron for $m=2$ is homeomorphic to a closed ball.