{"title":"An exact algorithm for the adjacent vertex distinguishing sum edge coloring problem","authors":"Brian Curcio, Isabel Méndez-Díaz, Paula Zabala","doi":"10.1016/j.dam.2025.03.029","DOIUrl":"10.1016/j.dam.2025.03.029","url":null,"abstract":"<div><div>In this work we define the <em>adjacent vertex distinguishing sum edge coloring problem</em>. This problem consists of finding an assignment of colors to the edges of a graph with the following constraints: every pair of adjacent edges must have a different color, and every pair of adjacent vertices must not have the same set of colors assigned to the edges incident to each. The goal is to minimize the sum of the colors in an edge coloring that satisfies these constraints. This problem is a special case of a large family of problems known as <em>graph labeling</em>, which is a widely used and very popular set of tools to build abstract models for problems that arise in everyday life.</div><div>Some variants of <em>graph labeling problems</em> have been successfully addressed with mixed-integer linear programming (MIP) techniques based on a polyhedral characterization of the set of feasible solutions. We use this approach to develop a <em>Branch and Cut</em> algorithm to solve the problem.</div><div>We propose two MIP models that are computationally evaluated to choose the most promising one and continue with a polyhedral study. This analysis aims to characterize valid inequalities that strengthen the formulation in the hope of improving the algorithm’s performance. These inequalities are added on demand as cutting planes using exact and heuristic separation algorithms. Additionally, we considered the use of an initial heuristic and a specific branching strategy.</div><div>The results show that the algorithm developed allows us to solve instances that were unsolvable using general-purpose solvers. Our polyhedral study and the addition of cutting planes have proved to be crucial factors in solving the most challenging instances.</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"371 ","pages":"Pages 80-98"},"PeriodicalIF":1.0,"publicationDate":"2025-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143734795","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Optimal convergence of the arbitrary Lagrangian–Eulerian interface tracking method for two-phase Navier–Stokes flow without surface tension","authors":"Buyang Li, Shu Ma, Weifeng Qiu","doi":"10.1093/imanum/draf003","DOIUrl":"https://doi.org/10.1093/imanum/draf003","url":null,"abstract":"Optimal-order convergence in the $H^{1}$ norm is proved for an arbitrary Lagrangian–Eulerian (ALE) interface tracking finite element method (FEM) for the sharp interface model of two-phase Navier–Stokes flow without surface tension, using high-order curved evolving mesh. In this method, the interfacial mesh points move with the fluid’s velocity to track the sharp interface between two phases of the fluid, and the interior mesh points move according to a harmonic extension of the interface velocity. The error of the semidiscrete ALE interface tracking FEM is shown to be $O(h^{k})$ in the $L^infty (0, T; H^{1}(varOmega ))$ norm for the Taylor–Hood finite elements of degree $k geqslant 2$. This high-order convergence is achieved by utilizing the piecewise smoothness of the solution on each subdomain occupied by one phase of the fluid, relying on a low global regularity on the entire moving domain. Numerical experiments illustrate and complement the theoretical results.","PeriodicalId":56295,"journal":{"name":"IMA Journal of Numerical Analysis","volume":"1 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2025-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143736499","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"How colored noise impacts excitation and suppression of calcium oscillations: Stochastic sensitivity analysis","authors":"Lev Ryashko","doi":"10.1016/j.chaos.2025.116338","DOIUrl":"10.1016/j.chaos.2025.116338","url":null,"abstract":"<div><div>In this paper, we study the specificity of the colored noise in the stochastic calcium dynamics. As a deterministic framework, the Li-Rinzel model with the frequency modulation of calcium oscillations is used. For the cases of mono- and bistability, a parametric description of the dependence of the dispersion of random states on correlation time and colored noise intensity is given. In studying the phenomenon of stochastic excitation of spike oscillations, we localize the range of the correlation parameter of the colored noise inducing coherence resonance. A probabilistic analysis of the suppression of calcium oscillations by noise is carried out. The constructive capabilities of the stochastic sensitivity technique in colored-noise-induced generation and suppression of calcium oscillations are demonstrated.</div></div>","PeriodicalId":9764,"journal":{"name":"Chaos Solitons & Fractals","volume":"196 ","pages":"Article 116338"},"PeriodicalIF":5.3,"publicationDate":"2025-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143734981","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Dynamic resistive switching of WOx-based memristor for associative learning activities, on-receptor, and reservoir computing","authors":"Minseo Noh , Hyogeun Park , Sungjun Kim","doi":"10.1016/j.chaos.2025.116381","DOIUrl":"10.1016/j.chaos.2025.116381","url":null,"abstract":"<div><div>The rapid expansion of data driven by the fourth industrial revolution has revealed significant limitations in conventional computing architectures, particularly in their ability to efficiently process vast amounts of data. Neuromorphic computing, which draws inspiration from the brain's parallel processing capabilities and efficiency, presents a promising solution to overcome these limitations. This study introduces a TiN/WO<sub>x</sub>/Pt memory device capable of emulating both nociceptive and synaptic behaviors, highlighting its potential for neuromorphic computing applications. The device successfully replicates key nociceptive functions, including threshold response, allodynia, and hyperalgesia, through the migration of oxygen ions and vacancies within the interface. Furthermore, it demonstrates a range of synaptic plasticity behaviors, such as spike-number-dependent plasticity, spike-amplitude-dependent plasticity, spike-rate-dependent plasticity, and paired-pulse facilitation. In addition, the device achieves 4-bit multibit reservoir computing with high accuracy, showcasing its ability to perform adaptive learning and nonlinear data processing. These results underline the TiN/WO<sub>x</sub>/Pt memory device's promise for mimicking biological functions and its significant potential in the development of advanced neuromorphic computing systems.</div></div>","PeriodicalId":9764,"journal":{"name":"Chaos Solitons & Fractals","volume":"196 ","pages":"Article 116381"},"PeriodicalIF":5.3,"publicationDate":"2025-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143734982","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Finite element approximation of the Einstein tensor","authors":"Evan S Gawlik, Michael Neunteufel","doi":"10.1093/imanum/draf004","DOIUrl":"https://doi.org/10.1093/imanum/draf004","url":null,"abstract":"We construct and analyse finite element approximations of the Einstein tensor in dimension $N ge 3$. We focus on the setting where a smooth Riemannian metric tensor $g$ on a polyhedral domain $varOmega subset mathbb{R}^{N}$ has been approximated by a piecewise polynomial metric $g_{h}$ on a simplicial triangulation $mathcal{T}$ of $varOmega $ having maximum element diameter $h$. We assume that $g_{h}$ possesses single-valued tangential–tangential components on every codimension-$1$ simplex in $mathcal{T}$. Such a metric is not classically differentiable in general, but it turns out that one can still attribute meaning to its Einstein curvature in a distributional sense. We study the convergence of the distributional Einstein curvature of $g_{h}$ to the Einstein curvature of $g$ under refinement of the triangulation. We show that in the $H^{-2}(varOmega )$-norm this convergence takes place at a rate of $O(h^{r+1})$ when $g_{h}$ is an optimal-order interpolant of $g$ that is piecewise polynomial of degree $r ge 1$. We provide numerical evidence to support this claim. In the process of proving our convergence results we derive a few formulas for the evolution of certain geometric quantities under deformations of the metric.","PeriodicalId":56295,"journal":{"name":"IMA Journal of Numerical Analysis","volume":"72 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2025-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143736497","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Sean Dewar, Georg Grasegger, Kaie Kubjas, Fatemeh Mohammadi, Anthony Nixon
{"title":"Single-cell 3D genome reconstruction in the haploid setting using rigidity theory.","authors":"Sean Dewar, Georg Grasegger, Kaie Kubjas, Fatemeh Mohammadi, Anthony Nixon","doi":"10.1007/s00285-025-02203-2","DOIUrl":"https://doi.org/10.1007/s00285-025-02203-2","url":null,"abstract":"<p><p>This article considers the problem of 3-dimensional genome reconstruction for single-cell data, and the uniqueness of such reconstructions in the setting of haploid organisms. We consider multiple graph models as representations of this problem, and use techniques from graph rigidity theory to determine identifiability. Biologically, our models come from Hi-C data, microscopy data, and combinations thereof. Mathematically, we use unit ball and sphere packing models, as well as models consisting of distance and inequality constraints. In each setting, we describe and/or derive new results on realisability and uniqueness. We then propose a 3D reconstruction method based on semidefinite programming and apply it to synthetic and real data sets using our models.</p>","PeriodicalId":50148,"journal":{"name":"Journal of Mathematical Biology","volume":"90 4","pages":"45"},"PeriodicalIF":2.2,"publicationDate":"2025-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143744158","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Categorical Characterization of Quantum Projective (mathbb {Z})-spaces","authors":"Izuru Mori, Adam Nyman","doi":"10.1007/s10485-025-09806-2","DOIUrl":"10.1007/s10485-025-09806-2","url":null,"abstract":"<div><p>In this paper we study a generalization of the notion of AS-regularity for connected <span>({mathbb Z})</span>-algebras defined in Mori and Nyman (J Pure Appl Algebra, 225(9), 106676, 2021). Our main result is a characterization of those categories equivalent to noncommutative projective schemes associated to right coherent regular <span>({mathbb Z})</span>-algebras, which we call quantum projective <span>({mathbb Z})</span>-spaces in this paper. As an application, we show that smooth quadric hypersurfaces and the standard noncommutative smooth quadric surfaces studied in Smith and Van den Bergh (J Noncommut Geom 7(3), 817–856, 2013) , Mori and Ueyama (J Noncommut Geom, 15(2), 489–529, 2021) have right noetherian AS-regular <span>({mathbb Z})</span>-algebras as homogeneous coordinate algebras. In particular, the latter are thus noncommutative <span>({mathbb P}^1times {mathbb P}^1)</span> [in the sense of Van den Bergh (Int Math Res Not 17:3983–4026, 2011)].</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2025-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143735430","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On the cycle structure of a class of Galois NFSRs: component sequences possessing identical periods","authors":"Xiao-juan Wang, Tian Tian, Wen-feng Qi","doi":"10.1007/s10623-025-01616-w","DOIUrl":"https://doi.org/10.1007/s10623-025-01616-w","url":null,"abstract":"<p>Nonlinear feedback shift registers (NFSRs) are widely used in the design of stream ciphers and the cycle structure of an NFSR is a fundamental problem still open. In this paper, a new configuration of Galois NFSRs, called F-Ring NFSRs, is proposed. It is shown that an <i>n</i>-bit F-Ring NFSR generates <i>n</i> sequences with the same period simultaneously, that is, sequences from all bit registers have the same period. Recall that the ring-like cascade connection proposed by Zhao et al. (Des Codes Cryptogr 86:2775–2790, 2018) also has such period property. But it is abnormal that if every component shift register is nonsingular, then the ring-like cascade connection is <i>singular</i>. F-Ring NFSRs proposed in this paper could fix this weakness. Moreover, it is proved that when an <i>n</i>-stage <i>m</i>-sequence is input to the internal state of an F-Ring NFSR by xor, the periods of its internal state are multiples of <span>(2^n-1)</span>. At last, two toy examples are given to illustrate the new configuration.</p>","PeriodicalId":11130,"journal":{"name":"Designs, Codes and Cryptography","volume":"216 1","pages":""},"PeriodicalIF":1.6,"publicationDate":"2025-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143736558","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Conditional generalized quantiles as systemic risk measures: Properties, estimation, and application","authors":"Arief Hakim, A.N.M. Salman, Khreshna Syuhada","doi":"10.1016/j.matcom.2025.03.011","DOIUrl":"10.1016/j.matcom.2025.03.011","url":null,"abstract":"<div><div>The conditional <span><math><msup><mrow><mi>L</mi></mrow><mrow><mn>1</mn></mrow></msup></math></span>-quantile, or simply conditional quantile, is vital for measuring systemic risk, i.e., the risk that the distress experienced by one or more financial markets spreads to the others. One may formulate conditional quantile-based value-at-risk (CoVaR), but it depends only on the probability of loss occurrence. Alternatively, one may define conditional expectile-based value-at-risk (CoEVaR) or <span><math><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span>-CoVaR, but it is too sensitive and thus unrobust to extreme losses. In this paper, we aim to construct a generalized measure of systemic risk, called <span><math><msup><mrow><mi>L</mi></mrow><mrow><mi>p</mi></mrow></msup></math></span>-CoVaR, based on conditional <span><math><msup><mrow><mi>L</mi></mrow><mrow><mi>p</mi></mrow></msup></math></span>-quantiles when the conditioning risks are measured using <span><math><msup><mrow><mi>L</mi></mrow><mrow><mi>p</mi></mrow></msup></math></span>-VaR, where <span><math><mrow><mi>p</mi><mo>≥</mo><mn>1</mn></mrow></math></span>. We find that the <span><math><msup><mrow><mi>L</mi></mrow><mrow><mi>p</mi></mrow></msup></math></span>-VaR and <span><math><msup><mrow><mi>L</mi></mrow><mrow><mi>p</mi></mrow></msup></math></span>-CoVaR are coherent for all linear portfolios of elliptically distributed losses and are asymptotically coherent at high confidence level for independently and identically distributed losses with heavy right-tail. In addition, we determine their estimators and the respective asymptotic properties. In particular, we perform the <span><math><msup><mrow><mi>L</mi></mrow><mrow><mi>p</mi></mrow></msup></math></span>-CoVaR estimation using multivariate copulas, enabling us to link marginal risk models and capture their complex dependence. Our Monte Carlo simulation study demonstrates that the <span><math><msup><mrow><mi>L</mi></mrow><mrow><mi>p</mi></mrow></msup></math></span>-VaR and <span><math><msup><mrow><mi>L</mi></mrow><mrow><mi>p</mi></mrow></msup></math></span>-CoVaR estimators with <span><math><mrow><mn>1</mn><mo><</mo><mi>p</mi><mo><</mo><mn>2</mn></mrow></math></span>, respectively, exhibit relatively better (conditional) coverage performance than the VaR and CoVaR as well as EVaR and CoEVaR estimators. Furthermore, our empirical study based on cryptocurrency return data with the best-fitting dependence model having heavy-tailed margins and tail dependence structures validates this result. It also confirms that the <span><math><msup><mrow><mi>L</mi></mrow><mrow><mi>p</mi></mrow></msup></math></span>-VaR and <span><math><msup><mrow><mi>L</mi></mrow><mrow><mi>p</mi></mrow></msup></math></span>-CoVaR with <span><math><mrow><mn>1</mn><mo><</mo><mi>p</mi><mo><</mo><mn>2</mn></mrow></math></span> are, respectively, not as insensitive as VaR and CoVaR and not as sensitive as EVaR and CoEVaR to an extre","PeriodicalId":49856,"journal":{"name":"Mathematics and Computers in Simulation","volume":"235 ","pages":"Pages 60-84"},"PeriodicalIF":4.4,"publicationDate":"2025-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143739081","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Corrigendum to “Mathematical modeling of electro hydrodynamic non-Newtonian fluid flow through tapered arterial stenosis with periodic body acceleration and applied magnetic field” [Applied Mathematics and Computation, 362(2019) 124453]]","authors":"R. Padma , R. Ponalagusamy , R. Tamil Selvi","doi":"10.1016/j.amc.2025.129418","DOIUrl":"10.1016/j.amc.2025.129418","url":null,"abstract":"<div><div>A mathematical model is proposed to the pulsatile flow of blood in a tapered artery with mild constriction. This study considers blood as an electrically conducting, non-Newtonian fluid (Jeffrey fluid) which contains magnetic nanoparticles. As blood conducts electricity, it exerts an electric force along the flow direction due to the induced magnetic force by an applied magnetic field which produces Lorentz force and influences the fluidity. Assuming that the pulsatile fluid flow is accelerated by a body force that has in slip velocity at the wall, a set of coupled nonlinear Navier–Stokes equation governing the flow networks is obtained. By employing Laplace and Hankel transforms on the partial equations, we obtain an exact solution for the velocity of flow pattern. Further, the evaluated axial velocity of both fluid and particle are used to find the physiological quantities such as shear stress, flow resistivity and volume of fluid flow. Their dependency on the Womersley parameter, Hartmann number, shape parameter, Jeffrey number and electrokinetic number are calculated numerically and explained graphically. Furthermore, the results are compared within slip and no slip velocities.</div></div>","PeriodicalId":55496,"journal":{"name":"Applied Mathematics and Computation","volume":"500 ","pages":"Article 129418"},"PeriodicalIF":3.5,"publicationDate":"2025-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143734614","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}