SearcharxivSearch

arXiv subjects

Nevena Marić

Publications and source records attributed to Nevena Marić.

3 recordsLinked to original sources

Hierarchical threshold structure in Max-Cut with geometric edge weights

We study a family of weighted Max-Cut instances on the complete graph $K_n$ in which edge weights decrease geometrically in lexicographic order: the $i$-th edge has weight $r^{N-i}$ where $N=\binom{n}{2}$. For $r\ge 2$, the lexicographically first cut is optimal; for $r=1$, all edges have equal weight and the balanced partition wins. In this paper we study the intermediate regime $1< r <2$. The geometric weighting makes early edges dominant and singles out the $k$-isolated cuts $C_k=\{1,\dots,k\}\mid\{k+1,\dots,n\}$ as natural candidates for optimality. For each $n$ and $k\le\lfloor n/2\rfloor-1$, we define threshold polynomials $P^{n,k}(r)$ whose unique roots $r_k(n)\in(1,2)$ determine when $C_k$ and $C_{k+1}$ exchange dominance. We prove that, for fixed $n$, these thresholds are strictly decreasing in $k$ and that $r_k(n)\to 1$ as $n\to\infty$. As our main result, we show that for $r\in(r_k(n),r_{k-1}(n))$ the cut $C_k$ achieves maximum weight among all isolated cuts, yielding a sharp phase diagram for the isolated-cut family. We conjecture that isolated cuts are globally optimal among all $2^{n-1}$ cuts when $n\ge 7$; all counterexamples for small $n$ are characterized completely, and extensive computations for $n\le 100$ support the conjecture.

math.CO

An Explicit Formula for Vertex Enumeration in the CUT(n) Polytope via Probabilistic Methods

We present an explicit closed-form formula for the vertices of the classical cut polytope $\operatorname{CUT}(n)$, defined as the convex hull of cut vectors of the complete graph $K_n$. Our derivation proceeds via a related polytope, denoted $\mathbf{1}$-$\operatorname{CUT}(n)$, whose vertices are obtained by flipping all bits of the $\operatorname{CUT}(n)$ vertices. This polytope arises naturally in a probabilistic context involving agreement probabilities among symmetric Bernoulli random variables which serves as the starting point of this work. Our approach constructs the vertex set recursively via a binary encoding that stems from this probabilistic perspective. We prove that the resulting sequence of encoded integers, when appropriately scaled, exhibits an almost-linear behavior closely approximating the line $y = x - \frac{1}{2}$. This structure motivates the introduction of the alternating cycle function, an integer-valued map whose key property is power-of-two composition invariance. The function serves as the foundation for our closed-form enumeration formula. The result provides a rare instance of explicit vertex characterization for a $0$/$1$-polytope and offers a transparent combinatorial construction independent of enumeration algorithms.

math.CO

On the role of reduced habitat in the phase transition of a stochastic model for seed dispersal

Habitat loss is one of the biggest threats facing plant species nowadays. We formulate a simple mathematical model of seed dispersal on reduced habitats to discuss survival of the species in relation to the habitat size and seeds production rate. Seeds get dispersed around the mother plant via several agents in a random way. In our model seeds landing sites are distributed according to a homogeneous Poisson point process with a constant rate on $\mathbb{R}$. We will assume that each seed will successfully germinate and grow into a new plant with the same characteristics as the mother plant. The time is discrete, scaled according to generations of plants or can represent years, since annual plants go through an entire growing cycle during one year. Then we will assume there are two symmetric barriers with respect to the origin and consider that the growth can not evolve past the barriers. Imposing barriers correspond to the physical limitation of the habitat. We appeal to tools of Probability Theory to formalize and study such a model, which can be seen as a discrete-time one-dimensional branching random walk with barriers. By means of coupling techniques and the comparison with suitably constructed multi-type branching processes we localize the critical parameter of the process around which there is survival with positive probability or extinction almost surely. In addition, we consider a discrete-space version of the model for which exact results are also obtained.

math.PR