-
Connectivity of Parameter Regions of Multistationarity for Multisite Phosphorylation Networks
Authors:
Nidhi Kaihnsa,
Máté L. Telek
Abstract:
The parameter region of multistationarity of a reaction network contains all the parameters for which the associated dynamical system exhibits multiple steady states. Describing this region is challenging and remains an active area of research. In this paper, we concentrate on two biologically relevant families of reaction networks that model multisite phosphorylation and dephosphorylation of a su…
▽ More
The parameter region of multistationarity of a reaction network contains all the parameters for which the associated dynamical system exhibits multiple steady states. Describing this region is challenging and remains an active area of research. In this paper, we concentrate on two biologically relevant families of reaction networks that model multisite phosphorylation and dephosphorylation of a substrate at $n$ sites. For small values of $n$, it had previously been shown that the parameter region of multistationarity is connected. Here, we extend these results and provide a proof that applies to all values of $n$. Our techniques are based on the study of the critical polynomial associated with these reaction networks together with polyhedral geometric conditions of the signed support of this polynomial.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
Viro's patchworking and the signed reduced A-discriminant
Authors:
Weixun Deng,
J. Maurice Rojas,
Máté L. Telek
Abstract:
Computing the isotopy type of a hypersurface, defined as the positive real zero set of a multivariate polynomial, is a challenging problem in real algebraic geometry. We focus on the case where the defining polynomial has combinatorially restricted exponent vectors and fixed coefficient signs, enabling faster computation of the isotopy type. In particular, Viro's patchworking provides a polyhedral…
▽ More
Computing the isotopy type of a hypersurface, defined as the positive real zero set of a multivariate polynomial, is a challenging problem in real algebraic geometry. We focus on the case where the defining polynomial has combinatorially restricted exponent vectors and fixed coefficient signs, enabling faster computation of the isotopy type. In particular, Viro's patchworking provides a polyhedral complex that has the same isotopy type as the hypersurface, for certain choices of the coefficients. So we present properties of the signed support, focussing mainly on the case of n-variate (n+3)-nomials, that ensure all possible isotopy types can be obtained via patchworking. To prove this, we study the signed reduced A-discriminant and show that it has a simple structure if the signed support satisfies some combinatorial conditions.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Towards Optimal Pilot Spacing and Power Control in Multi-Antenna Systems Operating Over Non-Stationary Rician Aging Channels
Authors:
Sajad Daei,
Gabor Fodor,
Mikael Skoglund,
Miklos Telek
Abstract:
Several previous works have addressed the inherent trade-off between allocating resources in the power and time domains to pilot and data signals in multiple input multiple output systems over block-fading channels. In particular, when the channel changes rapidly in time, channel aging degrades the performance in terms of spectral efficiency without proper pilot spacing and power control. Despite…
▽ More
Several previous works have addressed the inherent trade-off between allocating resources in the power and time domains to pilot and data signals in multiple input multiple output systems over block-fading channels. In particular, when the channel changes rapidly in time, channel aging degrades the performance in terms of spectral efficiency without proper pilot spacing and power control. Despite recognizing non-stationary stochastic processes as more accurate models for time-varying wireless channels, the problem of pilot spacing and power control in multi-antenna systems operating over non-stationary channels is not addressed in the literature. In this paper, we address this gap by introducing a refined first-order autoregressive model that exploits the inherent temporal correlations over non-stationary Rician aging channels. We design a multi-frame structure for data transmission that better reflects the non-stationary fading environment than previously developed single-frame structures. Subsequently, to determine optimal pilot spacing and power control within this multi-frame structure, we develop an optimization framework and an efficient algorithm based on maximizing a deterministic equivalent expression for the spectral efficiency, demonstrating its generality by encompassing previous channel aging results. Our numerical results indicate the efficacy of the proposed method in terms of spectral efficiency gains over the single frame structure.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
Geometry of the signed support of a multivariate polynomial and Descartes' rule of signs
Authors:
Máté L. Telek
Abstract:
We describe conditions on the signed support, that is, on the set of the exponent vectors and on the signs of the coefficients, of a multivariate polynomial $f$ ensuring that the semi-algebraic set $\{ f < 0 \}$ defined in the positive orthant has at most one connected component. These results generalize Descartes' rule of signs in the sense that they provide a bound which is independent of the va…
▽ More
We describe conditions on the signed support, that is, on the set of the exponent vectors and on the signs of the coefficients, of a multivariate polynomial $f$ ensuring that the semi-algebraic set $\{ f < 0 \}$ defined in the positive orthant has at most one connected component. These results generalize Descartes' rule of signs in the sense that they provide a bound which is independent of the values of the coefficients and the degree of the polynomial. Based on how the exponent vectors lie on the faces of the Newton polytope, we give a recursive algorithm that verifies a sufficient condition for the set $\{ f < 0 \}$ to have one connected component. We apply the algorithm to reaction networks in order to prove that the parameter region of multistationarity of a ubiquitous network comprising phosphorylation cycles is connected.
△ Less
Submitted 9 October, 2023;
originally announced October 2023.
-
On the Number of Real Zeros of Random Sparse Polynomial Systems
Authors:
Alperen A. Ergür,
Máté L. Telek,
Josué Tonelli-Cueto
Abstract:
Consider a random system $\mathfrak{f}_1(x)=0,\ldots,\mathfrak{f}_n(x)=0$ of $n$ random real polynomials in $n$ variables, where each $\mathfrak{f}_k$ has a prescribed set of exponent vectors in a set $A_k\subseteq \mathbb{Z}^n$ of size $t_k$. Assuming that the coefficients of the $\mathfrak{f}_k$ are independent Gaussian of any variance, we prove that the expected number of zeros of the random sy…
▽ More
Consider a random system $\mathfrak{f}_1(x)=0,\ldots,\mathfrak{f}_n(x)=0$ of $n$ random real polynomials in $n$ variables, where each $\mathfrak{f}_k$ has a prescribed set of exponent vectors in a set $A_k\subseteq \mathbb{Z}^n$ of size $t_k$. Assuming that the coefficients of the $\mathfrak{f}_k$ are independent Gaussian of any variance, we prove that the expected number of zeros of the random system in the positive orthant is bounded from above by $4^{-n} \prod_{k=1}^n t_k(t_k-1)$. This result is a probabilisitc version of Kushnirenko's conjecture; it provides a bound that only depends on the number of terms and is independent of their degree.
△ Less
Submitted 18 August, 2023; v1 submitted 11 June, 2023;
originally announced June 2023.
-
Real tropicalization and negative faces of the Newton polytope
Authors:
Máté L. Telek
Abstract:
In this work, we explore the relation between the tropicalization of a real semi-algebraic set $S = \{ f_1 < 0, \dots , f_k < 0\}$ defined in the positive orthant and the combinatorial properties of the defining polynomials $f_1, \dots, f_k$. We describe a cone that depends only on the face structure of the Newton polytopes of $f_1, \dots ,f_k$ and the signs attained by these polynomials. This con…
▽ More
In this work, we explore the relation between the tropicalization of a real semi-algebraic set $S = \{ f_1 < 0, \dots , f_k < 0\}$ defined in the positive orthant and the combinatorial properties of the defining polynomials $f_1, \dots, f_k$. We describe a cone that depends only on the face structure of the Newton polytopes of $f_1, \dots ,f_k$ and the signs attained by these polynomials. This cone provides an inner approximation of the real tropicalization, and it coincides with the real tropicalization if $S = \{ f < 0\}$ and the polynomial $f$ has generic coefficients. Furthermore, we show that for a maximally sparse polynomial $f$ the real tropicalization of $S = \{ f < 0\}$ is determined by the outer normal cones of the Newton polytope of $f$ and the signs of its coefficients. Our arguments are valid also for signomials, that is, polynomials with real exponents defined in the positive orthant.
△ Less
Submitted 7 November, 2023; v1 submitted 8 June, 2023;
originally announced June 2023.
-
Topological descriptors of the parameter region of multistationarity: deciding upon connectivity
Authors:
Máté L. Telek,
Elisenda Feliu
Abstract:
Switch-like responses arising from bistability have been linked to cell signaling processes and memory. Revealing the shape and properties of the set of parameters that lead to bistability is necessary to understand the underlying biological mechanisms, but is a complex mathematical problem. We present an efficient approach to determine a basic topological property of the parameter region of multi…
▽ More
Switch-like responses arising from bistability have been linked to cell signaling processes and memory. Revealing the shape and properties of the set of parameters that lead to bistability is necessary to understand the underlying biological mechanisms, but is a complex mathematical problem. We present an efficient approach to determine a basic topological property of the parameter region of multistationary, namely whether it is connected or not. The connectivity of this region can be interpreted in terms of the biological mechanisms underlying bistability and the switch-like patterns that the system can create.
We provide an algorithm to assert that the parameter region of multistationarity is connected, targeting reaction networks with mass-action kinetics. We show that this is the case for numerous relevant cell signaling motifs, previously described to exhibit bistability. However, we show that for a motif displaying a phosphorylation cycle with allosteric enzyme regulation, the region of multistationarity has two distinct connected components, corresponding to two different, but symmetric, biological mechanisms. The method relies on linear programming and bypasses the expensive computational cost of direct and generic approaches to study parametric polynomial systems. This characteristic makes it suitable for mass-screening of reaction networks.
△ Less
Submitted 18 March, 2023; v1 submitted 28 September, 2022;
originally announced September 2022.
-
Optimizing Pilot Spacing in MU-MIMO Systems Operating Over Aging Channels
Authors:
Sebastian Fodor,
Gábor Fodor,
Doğa Gürgünoğlu,
Miklós Telek
Abstract:
In the uplink of multiuser multiple input multiple output (MU-MIMO) systems operating over aging channels, pilot spacing is crucial for acquiring channel state information and achieving high signal-to-interference-plus-noise ratio (SINR). Somewhat surprisingly, very few works examine the impact of pilot spacing on the correlation structure of subsequent channel estimates and the resulting quality…
▽ More
In the uplink of multiuser multiple input multiple output (MU-MIMO) systems operating over aging channels, pilot spacing is crucial for acquiring channel state information and achieving high signal-to-interference-plus-noise ratio (SINR). Somewhat surprisingly, very few works examine the impact of pilot spacing on the correlation structure of subsequent channel estimates and the resulting quality of channel state information considering channel aging. In this paper, we consider a fast-fading environment characterized by its exponentially decaying autocorrelation function, and model pilot spacing as a sampling problem to capture the inherent trade-off between the quality of channel state information and the number of symbols available for information carrying data symbols. We first establish a quasi-closed form for the achievable asymptotic deterministic equivalent SINR when the channel estimation algorithm utilizes multiple pilot signals. Next, we establish upper bounds on the achievable SINR and spectral efficiency, as a function of pilot spacing, which helps to find the optimum pilot spacing within a limited search space. Our key insight is that to maximize the achievable SINR and the spectral efficiency of MU-MIMO systems, proper pilot spacing must be applied to control the impact of the aging channel and to tune the trade-off between pilot and data symbols.
△ Less
Submitted 1 April, 2022;
originally announced April 2022.
-
On the Achievable SINR in MU-MIMO Systems Operating in Time-Varying Rayleigh Fading
Authors:
Gábor Fodor,
Sebastian Fodor,
Miklós Telek
Abstract:
Minimizing the symbol error in the uplink of multi-user multiple input multiple output systems is important, because the symbol error affects the achieved signal-to-interference-plus-noise ratio (SINR) and thereby the spectral efficiency of the system. Despite the vast literature available on minimum mean squared error (MMSE) receivers, previously proposed receivers for block fading channels do no…
▽ More
Minimizing the symbol error in the uplink of multi-user multiple input multiple output systems is important, because the symbol error affects the achieved signal-to-interference-plus-noise ratio (SINR) and thereby the spectral efficiency of the system. Despite the vast literature available on minimum mean squared error (MMSE) receivers, previously proposed receivers for block fading channels do not minimize the symbol error in time-varying Rayleigh fading channels. Specifically, we show that the true MMSE receiver structure does not only depend on the statistics of the CSI error, but also on the autocorrelation coefficient of the time-variant channel. It turns out that calculating the average SINR when using the proposed receiver is highly non-trivial. In this paper, we employ a random matrix theoretical approach, which allows us to derive a quasi-closed form for the average SINR, which allows to obtain analytical exact results that give valuable insights into how the SINR depends on the number of antennas, employed pilot and data power and the covariance of the time-varying channel. We benchmark the performance of the proposed receiver against recently proposed receivers and find that the proposed MMSE receiver achieves higher SINR than the previously proposed ones, and this benefit increases with increasing autoregressive coefficient.
△ Less
Submitted 24 March, 2022;
originally announced March 2022.
-
Optimized numerical inverse Laplace transformation
Authors:
Illes Horvath,
Andras Meszaros,
Miklos Telek
Abstract:
Among the numerical inverse Laplace transformation (NILT) methods, those that belong to the Abate-Whitt framework (AWF) are considered to be the most efficient ones currently. It is a characteristic feature of the AWF NILT procedures that they are independent of the transform function and the time point of interest.
In this work we propose an NILT procedure that goes beyond this limitation and o…
▽ More
Among the numerical inverse Laplace transformation (NILT) methods, those that belong to the Abate-Whitt framework (AWF) are considered to be the most efficient ones currently. It is a characteristic feature of the AWF NILT procedures that they are independent of the transform function and the time point of interest.
In this work we propose an NILT procedure that goes beyond this limitation and optimize the accuracy of the NILT utilizing also the transform function and the time point of interest.
△ Less
Submitted 15 December, 2021;
originally announced December 2021.
-
On generalizing Descartes' rule of signs to hypersurfaces
Authors:
Elisenda Feliu,
Máté L. Telek
Abstract:
We give partial generalizations of the classical Descartes' rule of signs to multivariate polynomials (with real exponents), in the sense that we provide upper bounds on the number of connected components of the complement of a hypersurface in the positive orthant. In particular, we give conditions based on the geometrical configuration of the exponents and the sign of the coefficients that guaran…
▽ More
We give partial generalizations of the classical Descartes' rule of signs to multivariate polynomials (with real exponents), in the sense that we provide upper bounds on the number of connected components of the complement of a hypersurface in the positive orthant. In particular, we give conditions based on the geometrical configuration of the exponents and the sign of the coefficients that guarantee that the number of connected components where the polynomial attains a negative value is at most one or two. Our results fully cover the cases where such an upper bound provided by the univariate Descartes' rule of signs is one. This approach opens a new route to generalize Descartes' rule of signs to the multivariate case, differing from previous works that aim at counting the number of positive solutions of a system of multivariate polynomial equations.
△ Less
Submitted 6 July, 2022; v1 submitted 21 July, 2021;
originally announced July 2021.
-
Multi timescale bandwidth profile and its application for burst-aware fairness
Authors:
Szilveszter Nádas,
Balázs Varga,
Illés Horváth,
András Mészáros,
Miklós Telek
Abstract:
We propose a resource sharing scheme that takes into account the traffic history over several predefined time scales and provides fair resource sharing considering the traffic history. Our concept builds on a simplified version of core-stateless resource sharing, where we only use a few Drop Precedences (DPs). For packet marking we introduce Multi timescale bandwidth profile. Additionally, we prov…
▽ More
We propose a resource sharing scheme that takes into account the traffic history over several predefined time scales and provides fair resource sharing considering the traffic history. Our concept builds on a simplified version of core-stateless resource sharing, where we only use a few Drop Precedences (DPs). For packet marking we introduce Multi timescale bandwidth profile. Additionally, we provide basic dimensioning concepts for the proposed schema and present its simulation based performance analysis.
△ Less
Submitted 19 March, 2019;
originally announced March 2019.
-
High order concentrated non-negative matrix-exponential functions
Authors:
Gabor Horvath,
Illes Horvath,
Miklos Telek
Abstract:
Highly concentrated functions play an important role in many research fields including control system analysis and physics, and they turned out to be the key idea behind inverse Laplace transform methods as well.
This paper uses the matrix-exponential family of functions to create highly concentrated functions, whose squared coefficient of variation (SCV) is very low. In the field of stochastic…
▽ More
Highly concentrated functions play an important role in many research fields including control system analysis and physics, and they turned out to be the key idea behind inverse Laplace transform methods as well.
This paper uses the matrix-exponential family of functions to create highly concentrated functions, whose squared coefficient of variation (SCV) is very low. In the field of stochastic modeling, matrix-exponential functions have been used for decades. They have many advantages: they are easy to manipulate, always non-negative, and integrals involving matrix-exponential functions often have closed-form solutions. For the time being there is no symbolic construction available to obtain the most concentrated matrix-exponential functions, and the numerical optimization-based approach has many pitfalls, too.
In this paper, we present a numerical optimization-based procedure to construct highly concentrated matrix-exponential functions. To make the objective function explicit and easy to evaluate we introduce and use a new representation called hyper-trigonometric representation. This representation makes it possible to achieve very low SCV.
△ Less
Submitted 23 January, 2019;
originally announced January 2019.
-
A constructive proof of the phase-type characterization theorem
Authors:
I. Horvath,
M. Telek
Abstract:
The paper presents a new proof of O'Cinneide's characterization theorem. It is much simpler than the original one and constructive in the sense that we not only show the existence of a phase type representation, but present a procedure which creates a phase type representation. We prove that the procedure succeeds when the conditions of the characterization theorem hold.
The paper presents a new proof of O'Cinneide's characterization theorem. It is much simpler than the original one and constructive in the sense that we not only show the existence of a phase type representation, but present a procedure which creates a phase type representation. We prove that the procedure succeeds when the conditions of the characterization theorem hold.
△ Less
Submitted 2 February, 2015;
originally announced February 2015.