Search

Rewinding machines are used in the paper converting industrial sector to unroll paper veils from large source reels and wind them around smaller rolls, for the production of paper logs to be used in household activities. Many different types of rewinding machine exist, and they are mostly based on stapling devices which automatically unroll a large coil of paper, roll it up around a new log, stop the veil allowing it to be torn off, unload the completed paper log, and reload a new paper core to be rolled up. Winding units generally include a primary and a secondary roller, supplying the desired rotational speed for winding, and a pressure unit consisting of a pressure roller in contact with the paper log being rolled up, which assures adequate containment and avoids the paper log to escape. All known systems have some mechanical limitations, mainly due to the contact of the pressure roller with the paper log, causing instabilities and vibrations, particularly when working with soft paper veils. This limits the maximum possible winding speed. The aim of this paper is it to present a detailed kinematic analysis of a novel pressure unit which overcomes the aforementioned limitation.

We introduce a graph Ramsey game called Ramsey, Paper, Scissors. This game has two players, Proposer and Decider. Starting from an empty graph on $n$ vertices, on each turn Proposer proposes a potential edge and Decider simultaneously decides (without knowing Proposer's choice) whether to add it to the graph. Proposer cannot propose an edge which would create a triangle in the graph. The game ends when Proposer has no legal moves remaining, and Proposer wins if the final graph has independence number at least $s$. We prove a threshold phenomenon exists for this game by exhibiting randomized strategies for both players that are optimal up to constants. Namely, there exist constants $0B\sqrt{n}\log{n}$. This is a factor of $\Theta(\sqrt{\log{n}})$ larger than the lower bound coming from the off-diagonal Ramsey number $r(3,s)$.

The paper alluded to in the title contains the following striking result: Let $I$ be the unit interval and $\Delta$ the Cantor set. If $X$ is a quasi Banach space containing no copy of $c_0$ which is isomorphic to a closed subspace of a space with a basis and $C(I, X)$ is linearly homeomorphic to $C(\Delta, X)$, then $X$ is locally convex, i.e., a Banach space. It is shown that Kalton result is sharp by exhibiting non locally convex quasi Banach spaces X with a basis for which $C(I, X)$ and $C(\Delta, X)$ are isomorphic. Our examples are rather specific and actually in all cases X is isomorphic to $C(\Delta, X)$ if $K$ is a metric compactum of finite covering dimension., Comment: 4 pages

P values linked to null hypothesis significance testing (NHST) is the most widely (mis)used method of statistical inference. Empirical data suggest that across the biomedical literature (1990–2015)...

We congratulate the authors Bertsimas, Pauphilet and van Parys (hereafter BPvP) and Hastie, Tibshirani and Tibshirani (hereafter HTT) for providing fresh and insightful views on the problem of variable selection and prediction in linear models. Their contributions at the fundamental level provide guidance for more complex models and procedures.

The translation into English of Aleksandr Yakovlevich Khinchin's (1894–1959) 1926 paper entitled ‘Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics’ is made available for the first time. Here, Khinchin presented the famous foundational debate between L.E.J. Brouwer and David Hilbert of the 1920s in terms of a search for a mathematics with content. His main aim seems to have been to make intuitionism ideologically acceptable to his audience at the Communist Academy by means of the claim that insofar as Brouwer's intuitionism had a clear ‘subject matter’ and Hilbert's new program was a concession to intuitionism, the alleged victory of intuitionism not only implied the defeat of ‘empty’ formalism, but also showed the compatibility and affinity of Marxism with the newest developments in modern mathematics. This introduction provides a tentative exploration of the issue of what was tactical (or due to ideological pressure) and what was real scientific interest (or due to ignorance) (or what was both) in Khinchin's 1926 paper in the form of a detailed commentary, especially, on the tactical side of his presentation of the positions of Brouwer and Hilbert.

In 1903, Epstein published his proof of meromorphic continuation and a functional equation for Dirichlet series associated with quadratic forms, now called Epstein zeta-functions. However, already in 1889 (or even earlier) Hurwitz was aware of these results as his mathematical diaries and some unpublished notes (in an almost final form) found in his estate at the ETH Zurich show. In this article we present and analyze Hurwitz's notes and compare his reasoning with Epstein's paper in detail.

A class of games for finding a leader among a group of candidates is studied in detail. This class covers games based on coin tossing and rock-paper-scissors as special cases and its complexity exhibits similar stochastic behaviors: either of logarithmic mean and bounded variance or of exponential mean and exponential variance. Many applications are also discussed.

We correct an error in the paper of Z. Shen, S. Li, and J. Zhang published in [4]. In addition, we give an answer to a question posed by the authors.

Let [Formula: see text] be a projective variety of dimension [Formula: see text] over an algebraically closed field of arbitrary characteristic. We prove a Fujiki–Lieberman type theorem on the structure of the automorphism group of [Formula: see text]. Let [Formula: see text] be a group of zero entropy automorphisms of [Formula: see text] and [Formula: see text] the set of elements in [Formula: see text] which are isotopic to the identity. We show that after replacing [Formula: see text] by a suitable finite-index subgroup, [Formula: see text] is a unipotent group of the derived length at most [Formula: see text]. This result was first proved by Dinh et al. for compact Kähler manifolds.

The aim of this paper is to discuss the main result in the paper by D.Y. Gao and X. Lu [On the extrema of a nonconvex functional with double-well potential in 1D, Z. Angew. Math. Phys. (2016) 67:62]. More precisely we provide a detailed study of the problem considered in that paper, pointing out the importance of the norm on the space $C^{1}[a,b]$; because no norm (topology) is mentioned on $C^{1}[a,b]$ we look at it as being a subspace of $W^{1,p}(a,b)$ for $p\in [1,\infty]$ endowed with its usual norm. We show that the objective function has not local extrema with the mentioned constraints for $p\in [1,4)$, and has (up to an additive constant) only a local maximizer for $p=\infty$, unlike the conclusion of the main result of the discussed paper where it is mentioned that there are (up to additive constants) two local minimizers and a local maximizer. We also show that the same conclusions are valid for the similar problem treated in the preprint by X. Lu and D.Y. Gao [On the extrema of a nonconvex functional with double-well potential in higher dimensions, arXiv:1607.03995]., 12 pages; in this version we added the forgotten condition $F(x) \ne 0$ for $x\in (a,b)$ on page 3

We show that a relative entropy condition recently shown by Leger and Vasseur to imply uniqueness and stable $L^2$ dependence on initial data of Lax 1- or $n$-shock solutions of an $n\times n$ system of hyperbolic conservation laws with convex entropy implies Lopatinski stability in the sense of Majda. This means in particular that Leger and Vasseur's relative entropy condition represents a considerable improvement over the standard entropy condition of decreasing shock strength and increasing entropy along forward Hugoniot curves, which, in a recent example exhibited by Barker, Freist\"uhler and Zumbrun, was shown to fail to imply Lopatinski stability, even for systems with convex entropy. This observation bears also on the parallel question of existence, at least for small $BV$ or $H^s$ perturbations, Comment: to appear in Proceedings of the AMS

The preeminent target of present study is to reveal the speed characteristic of ongoing outbreak COVID-19 due to novel coronavirus. On January 2020, the novel coronavirus infection (COVID-19) detected in India, and the total statistic of cases continuously increased to 7 128 268 cases including 109 285 deceases to October 2020, where 860 601 cases are active in India. In this study, we use the Hermite wavelets basis in order to solve the COVID-19 model with time- arbitrary Caputo derivative. The discussed framework is based upon Hermite wavelets. The operational matrix incorporated with the collocation scheme is used in order to transform arbitrary-order problem into algebraic equations. The corrector scheme is also used for solving the COVID-19 model for distinct value of arbitrary order. Also, authors have investigated the various behaviors of the arbitrary-order COVID-19 system and procured developments are matched with exiting developments by various techniques. The various illustrations of susceptible, exposed, infected, and recovered individuals are given for its behaviors at the various value of fractional order. In addition, the proposed model has been also supported by some numerical simulations and wavelet-based results.

Månsson and Shukur (Econ Model 28:1475–1481, 2011) proposed a Poisson ridge regression estimator (PRRE) to reduce the negative effects of multicollinearity. However, a weakness of the PRRE is its relatively large bias. Therefore, as a remedy, Türkan and Özel (J Appl Stat 43:1892–1905, 2016) examined the performance of almost unbiased ridge estimators for the Poisson regression model. These estimators will not only reduce the consequences of multicollinearity but also decrease the bias of PRRE and thus perform more efficiently. The aim of this paper is twofold. Firstly, to derive the mean square error properties of the Modified Almost Unbiased PRRE (MAUPRRE) and Almost Unbiased PRRE (AUPRRE) and then propose new ridge estimators for MAUPRRE and AUPRRE. Secondly, to compare the performance of the MAUPRRE with the AUPRRE, PRRE and maximum likelihood estimator. Using both simulation study and real-world dataset from the Swedish football league, it is evidenced that one of the proposed, MAUPRRE ($$ \hat{k}_{q4} $$ k ^ q 4 ) performed better than the rest in the presence of high to strong (0.80–0.99) multicollinearity situation.

Cooperative games form an important class of problems in game theory, where a key goal is to distribute a value among a set of players who are allowed to cooperate by forming coalitions. An outcome of the game is given by an allocation vector that assigns a value share to each player. A crucial aspect of such games is submodularity (or convexity). Indeed, convex instances of cooperative games exhibit several nice properties, e.g. regarding the existence and computation of allocations realizing some of the most important solution concepts proposed in the literature. For this reason, a relevant question is whether one can give a polynomial-time characterization of submodular instances, for prominent cooperative games that are in general non-convex. In this paper, we focus on a fundamental and widely studied cooperative game, namely the spanning tree game. An efficient recognition of submodular instances of this game was not known so far, and explicitly mentioned as an open question in the literature. We here settle this open problem by giving a polynomial-time characterization of submodular spanning tree games.

Funder: John Simon Guggenheim Memorial Foundation; doi: https://doi.org/10.13039/100005851, Funder: Einstein Visiting Fellow Program, The Rayleigh–Bénard system with stress-free boundary conditions is shown to have a global attractor in each affine space where velocity has fixed spatial average. The physical problem is shown to be equivalent to one with periodic boundary conditions and certain symmetries. This enables a Gronwall estimate on enstrophy. That estimate is then used to bound the L 2 norm of the temperature gradient on the global attractor, which, in turn, is used to find a bounding region for the attractor in the enstrophy–palinstrophy plane. All final bounds are algebraic in the viscosity and thermal diffusivity, a significant improvement over previously established estimates. The sharpness of the bounds are tested with numerical simulations.

The main goal of this short paper is to prove the existence of rank 2 simple and special Ulrich bundles on a wide class of elliptic surfaces: namely, on regular Weierstrass fibrations \(\pi : S\rightarrow \mathbb {P}^1\). Alongside we also show the existence of rank 2 weakly Ulrich sheaves on arbitrary Weierstrass fibrations \(S\rightarrow C_0\) and we deal with the (non-)existence of rank one Ulrich bundles on them.

© 2019, Pleiades Publishing, Ltd. It is well known that the classical and Sobolev wave fronts were extended to nonequivalent global versions by the use of the short-time Fourier transform. In this very short paper, we give complete characterizations of the former wave front sets in terms of the short-time Fourier transform.

The first symptomatic infected individuals of coronavirus (Covid-19) was confirmed in December 2020 in the city of Wuhan, China. In India, the first reported case of Covid-19 was confirmed on 30 January 2020. Today, coronavirus has been spread out all over the world. In this manuscript, we studied the coronavirus epidemic model with a true data of India by using Predictor-Corrector scheme. For the proposed model of Covid-19, the numerical and graphical simulations are performed in a framework of the new generalised Caputo sense non-integer order derivative. We analysed the existence and uniqueness of solution of the given fractional model by the definition of Chebyshev norm, Banach space, Schauder's second fixed point theorem, Arzel's-Ascoli theorem, uniform boundedness, equicontinuity and Weissinger's fixed point theorem. A new analysis of the given model with the true data is given to analyse the dynamics of the model in fractional sense. Graphical simulations show the structure of the given classes of the non-linear model with respect to the time variable. We investigated that the mentioned method is copiously strong and smooth to implement on the systems of non-linear fractional differential equation systems. The stability results for the projected algorithm is also performed with the applications of some important lemmas. The present study gives the applicability of this new generalised version of Caputo type non-integer operator in mathematical epidemiology. We compared that the fractional order results are more credible to the integer order results.

We consider the problem of maximizing a homogeneous polynomial on the unit sphere and its hierarchy of sum-of-squares relaxations. Exploiting the polynomial kernel technique, we obtain a quadratic improvement of the known convergence rate by Reznick and Doherty and Wehner. Specifically, we show that the rate of convergence is no worse than $$O(d^2/\ell ^2)$$ O ( d 2 / ℓ 2 ) in the regime $$\ell = \Omega (d)$$ ℓ = Ω ( d ) where $$\ell $$ ℓ is the level of the hierarchy and d the dimension, solving a problem left open in the recent paper by de Klerk and Laurent (arXiv:1904.08828 ). Importantly, our analysis also works for matrix-valued polynomials on the sphere which has applications in quantum information for the Best Separable State problem. By exploiting the duality relation between sums of squares and the Doherty–Parrilo–Spedalieri hierarchy in quantum information theory, we show that our result generalizes to nonquadratic polynomials the convergence rates of Navascués, Owari and Plenio.

This short paper is motivated by the paper of Bu et al. [C. Bu, C. Feng, P. Dong, A note on computational formulas for the Drazin inverse of certain block matrices, J. Appl. Math. Comput.(38) (2012) 631-640], where the authors gave additive formula for Drazin inverse for matrices under new conditions, and two representations under some specific conditions. Here is shown that the additive formula is not valid for all matrices which satisfy given conditions. Also, here is proved that the representations which were given in mentioned paper do not extend the results given by Hartwig et al. [R. Hartwig, X. Li, Y. Wei, Representations for the Drazin inverse of a 2 _ 2 block matrix, SIAM J. Matrix. Anal. Appl. (27)(2006) 757-771 ], in fact they are equivalent.

In this short paper, we will show that the space of real valued uniformly continuous functions defined on a metric space (X,d) is a ring if and only if every subset A ? X has one of the following properties: ? A is Bourbaki-bounded, i.e., every uniformly continuous function on X is bounded on A. ? A contains an infinite uniformly isolated subset, i.e., there exist ? > 0 and an infinite subset F ? A such that d(a,x) ? ? for every a ? F, x ? X n \{a}.

We show that bounded self-contracted curves are rectifiable in metric spaces with weak lower curvature bound in a sense we introduce in this article. This class of spaces is wide and includes, for example, finite-dimensional Alexandrov spaces of curvature bounded below and Berwald spaces of nonnegative flag curvature. (To be more precise, our condition is regarded as a strengthened doubling condition and holds also for a certain class of metric spaces with upper curvature bound.) We also provide the non-embeddability of large snowflakes into (balls in) metric spaces in the same class. We follow the strategy of the last author's previous paper based on the small rough angle condition, where spaces with upper curvature bound are considered. The results in this article show that such a strategy applies to spaces with lower curvature bound as well., Comment: A goofy mistake in formulations of Theorem 2 and 4 is fixed

We propose a complete-search algorithm for solving a class of non-convex, possibly infinite-dimensional, optimization problems to global optimality. We assume that the optimization variables are in a bounded subset of a Hilbert space, and we determine worst-case run-time bounds for the algorithm under certain regularity conditions of the cost functional and the constraint set. Because these run-time bounds are independent of the number of optimization variables and, in particular, are valid for optimization problems with infinitely many optimization variables, we prove that the algorithm converges to an \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varepsilon $$\end{document}ε-suboptimal global solution within finite run-time for any given termination tolerance \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varepsilon > 0$$\end{document}ε>0. Finally, we illustrate these results for a problem of calculus of variations.

In this short paper we study the d-Hermite condition about stably free modules for skew $$\textit{PBW}$$ extensions. For this purpose, we estimate the stable rank of these non-commutative rings. In addition, and closely related with these questions, we will prove Kronecker’s theorem about the radical of finitely generated ideals for some particular types of skew $$\textit{PBW}$$ extensions.

We study the classical \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {NP}}$$\end{document}NP-hard problems of finding maximum-size subsets from given sets of k terminal pairs that can be routed via edge-disjoint paths (MaxEDP) or node-disjoint paths (MaxNDP) in a given graph. The approximability of MaxEDP/MaxNDP is currently not well understood; the best known lower bound is \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${2^{\varOmega (\sqrt{\log n})}}$$\end{document}2Ω(logn), assuming \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {NP}\not \subseteq \mathsf {DTIME}(n^{\mathcal {O}(\log n)})}$$\end{document}NP⊈DTIME(nO(logn)). This constitutes a significant gap to the best known approximation upper bound of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}(\sqrt{n})}$$\end{document}O(n) due to Chekuri et al. (Theory Comput 2:137–146, 2006), and closing this gap is currently one of the big open problems in approximation algorithms. In their seminal paper, Raghavan and Thompson (Combinatorica 7(4):365–374, 1987) introduce the technique of randomized rounding for LPs; their technique gives an \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}(1)}$$\end{document}O(1)-approximation when edges (or nodes) may be used by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}\left( \log n/\log \log n\right) }$$\end{document}Ologn/loglogn paths. In this paper, we strengthen the fundamental results above. We provide new bounds formulated in terms of the feedback vertex set number r of a graph, which measures its vertex deletion distance to a forest. In particular, we obtain the following results:For MaxEDP, we give an \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}(\sqrt{r} \log ({k}r))}$$\end{document}O(rlog(kr))-approximation algorithm. Up to a logarithmic factor, our result strengthens the best known ratio \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}(\sqrt{n})}$$\end{document}O(n) due to Chekuri et al., as \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${r\le n}$$\end{document}r≤n.Further, we show how to route \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varOmega ({\text {OPT}}^{*})}$$\end{document}Ω(OPT∗) pairs with congestion bounded by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}(\log (kr)/\log \log (kr))}$$\end{document}O(log(kr)/loglog(kr)), strengthening the bound obtained by the classic approach of Raghavan and Thompson.For MaxNDP, we give an algorithm that gives the optimal answer in time \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${(k+r)^{\mathcal {O}(r)}\cdot n}$$\end{document}(k+r)O(r)·n. This is a substantial improvement on the run time of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${2^kr^{\mathcal {O}(r)}\cdot n}$$\end{document}2krO(r)·n, which can be obtained via an algorithm by Scheffler. We complement these positive results by proving that MaxEDP is \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {NP}}$$\end{document}NP-hard even for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${r=1}$$\end{document}r=1, and MaxNDP is \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {W}[1]}$$\end{document}W[1]-hard when r is the parameter. This shows that neither problem is fixed-parameter tractable in r unless \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {FPT}= \mathsf {W}[1]}$$\end{document}FPT=W[1] and that our approximability results are relevant even for very small constant values of r.

In convex integer programming, various procedures have been developed to strengthen convex relaxations of sets of integer points. On the one hand, there exist several general-purpose methods that strengthen relaxations without specific knowledge of the set S of feasible integer points, such as popular linear programming or semi-definite programming hierarchies. On the other hand, various methods have been designed for obtaining strengthened relaxations for very specific sets S that arise in combinatorial optimization. We propose a new efficient method that interpolates between these two approaches. Our procedure strengthens any convex set containing a set S⊆ { 0 ,1 } n by exploiting certain additional information about S. Namely, the required extra information will be in the form of a Boolean formula ϕ defining the target set S. The new relaxation is obtained by “feeding” the convex set into the formula ϕ. We analyze various aspects regarding the strength of our procedure. As one application, interpreting an iterated application of our procedure as a hierarchy, our findings simplify, improve, and extend previous results by Bienstock and Zuckerberg on covering problems., SCOPUS: ar.j, info:eu-repo/semantics/published

The activated sludge process is one of the major aerobic processes used in the biological treatment of wastewater. A significant drawback of this process is the production of excess sludge, the disposal of which can account for 50-60% of the running costs of a plant. Thus there is a growing interest in methods that reduce the volume and mass of excess sludge produced as part of biological wastewater treatment processes. In practice a target value is often set for the sludge content inside the bioreactor. If the sludge content is higher than the target value, the process is stopped and the reactor is cleaned. This is undesirable as it increases running costs. In chapter 2 we investigate a simple model for the activated sludge process in which the influent contains a mixture of soluble and biodegradable particulate substrate. Within the bioreactor the biodegradable particulate substrate is hydrolyzed to form soluble substrate. The soluble organics are used for energy and growth by the biomass. Biomass decay produces soluble substrate in addition to inert material. We use steady-state analysis to investigate how the amount of sludge formed depends upon the residence time and the use of a settling unit. We show that when the steady-state sludge content is plotted as a function of the residence time that there are five generic response diagrams, depending upon the value of the effective recycle parameter. Four of them are desirable because the sludge content is below the target value if the residence time is higher than some critical value that is not ‘too large’ in practice. In chapter 3 we investigate how the volume and mass of excess sludge produced by the activated sludge process can be reduced by coupling the bioreactor used in the process to a sludge disintegration unit. In chapter 4 a seemingly minor modification is made to the model in chapter 2.

Part of the work was done while the authors were visiting the South China University of Science and Technology (SUSTech), Shenzhen, in 2018, and we are grateful (in particular to Professor Cai Heng Li) for the hospitality that we received.The authors would like to thank the Isaac Newton Institute for Mathematical Sciences, Cambridge, for support and hospitality during the programme Groups, representations and applications: new perspectives (supported by EPSRC grant no.EP/R014604/1), where further work on this paper was undertaken. In particular we acknowledge a Simons Fellowship (Cameron) and a Kirk Distinguished Visiting Fellowship (Praeger) during this programme. Schneider thanks the Centre for the Mathematics of Symmetry and Computation of The University of Western Australia and Australian Research Council Discovery Grant DP160102323 for hosting his visit in 2017 and acknowledges the support of the CNPq projects Produtividade em Pesquisa (project no.: 308212/2019-3) and Universal (project no.:421624/2018-3). Diagonal groups are one of the classes of finite primitive permutation groups occurring in the conclusion of the O'Nan-Scott theorem. Several of the other classes have been described as the automorphism groups of geometric or combinatorial structures such as affine spaces or Cartesian decompositions, but such structures for diagonal groups have not been studied in general. The main purpose of this paper is to describe and characterise such structures, which we call diagonal semilattices. Unlike the diagonal groups in the O'Nan-Scott theorem, which are defined over finite characteristically simple groups, our construction works over arbitrary groups, finite or infinite. A diagonal semilattice depends on a dimension m and a group T. For m=2, it is a Latin square, the Cayley table of T, though in fact any Latin square satisfies our combinatorial axioms. However, for m≥3, the group T emerges naturally and uniquely from the axioms. (The situation somewhat resembles projective geometry, where projective planes exist in great profusion but higher-dimensional structures are coordinatised by an algebraic object, a division ring.) A diagonal semilattice is contained in the partition lattice on a set Ω, and we provide an introduction to the calculus of partitions. Many of the concepts and constructions come from experimental design in statistics. We also determine when a diagonal group can be primitive, or quasiprimitive (these conditions turn out to be equivalent for diagonal groups). Associated with the diagonal semilattice is a graph, the diagonal graph, which has the same automorphism group as the diagonal semilattice except in four small cases with m

Satisfiability of Boolean circuits is among the most known and important problems in theoretical computer science. This problem is NP-complete in general but becomes polynomial time when restricted either to monotone gates or linear gates. We go outside Boolean realm and consider circuits built of any fixed set of gates on an arbitrary large finite domain. From the complexity point of view this is strictly connected with the problems of solving equations (or systems of equations) over finite algebras. The research reported in this work was motivated by a desire to know for which finite algebras $\mathbf A$ there is a polynomial time algorithm that decides if an equation over $\mathbf A$ has a solution. We are also looking for polynomial time algorithms that decide if two circuits over a finite algebra compute the same function. Although we have not managed to solve these problems in the most general setting we have obtained such a characterization for a very broad class of algebras from congruence modular varieties. This class includes most known and well-studied algebras such as groups, rings, modules (and their generalizations like quasigroups, loops, near-rings, nonassociative rings, Lie algebras), lattices (and their extensions like Boolean algebras, Heyting algebras or other algebras connected with multi-valued logics including MV-algebras). This paper seems to be the first systematic study of the computational complexity of satisfiability of non-Boolean circuits and solving equations over finite algebras. The characterization results provided by the paper is given in terms of nice structural properties of algebras for which the problems are solvable in polynomial time., 50 pages

In a previous paper, we obtained several "compact versions" of Rubio de Francia's weighted extrapolation theorem, which allowed us to extrapolate the compactness of linear operators from just one space to the full range of weighted Lebesgue spaces, where these operators are bounded. In this paper, we study the extrapolation of compactness for bilinear operators in terms of bilinear Muckenhoupt weights. As applications, we easily recover and improve earlier results on the weighted compactness of commutators of bilinear Calder\'{o}n-Zygmund operators, bilinear fractional integrals and bilinear Fourier multipliers. More general versions of these results are recently due to Cao, Olivo and Yabuta (arXiv:2011.13191), whose approach depends on developing weighted versions of the Fr\'echet--Kolmogorov criterion of compactness, whereas we avoid this by relying on "softer" tools, which might have an independent interest in view of further extensions of the method., Comment: v3: final version, incorporated referee comments, to appear in Indagationes Mathematicae, 27 pages

Differential-algebraic equations (DAEs) are widely used for modeling of dynamical systems. In numerical analysis of DAEs, consistent initialization and index reduction are important preprocessing prior to numerical integration. Existing DAE solvers commonly adopt structural preprocessing methods based on combinatorial optimization. Unfortunately, the structural methods fail if the DAE has numerical or symbolic cancellations. For such DAEs, methods have been proposed to modify them to other DAEs to which the structural methods are applicable, based on the combinatorial relaxation technique. Existing modification methods, however, work only for a class of DAEs that are linear or close to linear. This paper presents two new modification methods for nonlinear DAEs: the substitution method and the augmentation method. Both methods are based on the combinatorial relaxation approach and are applicable to a large class of nonlinear DAEs. The substitution method symbolically solves equations for some derivatives based on the implicit function theorem and substitutes the solution back into the system. Instead of solving equations, the augmentation method modifies DAEs by appending new variables and equations. The augmentation method has advantages that the equation solving is not needed and the sparsity of DAEs is retained. It is shown in numerical experiments that both methods, especially the augmentation method, successfully modify high-index DAEs that the DAE solver in MATLAB cannot handle., Comment: A preliminary version of this paper is to appear in Proceedings of the 44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019), Beijing, China, July 2019

Although planar quadratic differential systems and their applications have been studied in more than one thousand papers, we still have no complete understanding of these systems. In this paper we have two objectives. First we provide a brief bibliographical survey on the main results about quadratic systems. Here we do not consider the applications of these systems to many areas as in Physics, Chemist, Economics, Biology, … Second we characterize the new class of planar separable quadratic polynomial differential systems. For such class of systems we provide the normal forms which contain one parameter, and using the Poincare compactification and the blow up technique, we prove that there exist 10 non-equivalent topological phase portraits in the Poincare disc for the separable quadratic polynomial differential systems.

The aim of this paper is to generalize results known for the symplectic involutions on K3 surfaces to the order 3 symplectic automorphisms on K3 surfaces. In particular, we will explicitly describe the action induced on the lattice $\Lambda_{K3}$, isometric to the second cohomology group of a K3 surface, by a symplectic automorphism of order 3; we exhibit the maps $\pi_*$ and $\pi^*$ induced in cohomology by the rational quotient map $\pi:X\dashrightarrow Y$, where $X$ is a K3 surface admitting an order 3 symplectic automorphism $\sigma$ and $Y$ is the minimal resolution of the quotient $X/\sigma$; we deduce the relation between the N\'eron--Severi group of $X$ and the one of $Y$. Applying these results we describe explicit geometric examples and generalize the Shioda--Inose structures, relating Abelian surfaces admitting order 3 endomorphisms with certain specific K3 surfaces admitting particular order 3 symplectic automorphisms., Comment: 28 pages. Version 2: this is the published version of the paper. The last section of the previous version (v1) was erased (the results are only stated) and it is now contained in arXiv:2209.10141

A question of Conca, Rossi, and Valla asks whether every quadratic Gorenstein ring $R$ of regularity three is Koszul. In a previous paper, we use idealization to answer their question, proving that in nine or more variables there exist quadratic Gorenstein rings of regularity three which are not Koszul. In this paper, we study the analog of the Conca-Rossi-Valla question when the regularity of $R$ is four or more. Let $R$ be a quadratic Gorenstein ring having $\mathrm{codim}\, R = c$ and $\mathrm{reg}\, R = r \ge 4$. We prove that if $c = r+1$ then $R$ is always Koszul, and for every $c \geq r+2$, we construct quadratic Gorenstein rings that are not Koszul, answering questions of Matsuda and Migliore-Nagel concerning the $h$-vectors of quadratic Gorenstein rings., Comment: v2 - Minor changes based on referee comments

Given a formal flat meromorphic connection over an excellent scheme over a field of characteristic zero, in a previous paper we established existence of good formal structures and a good Deligne-Malgrange lattice after suitably blowing up. In this paper, we reinterpret and refine these results by introducing some related structures. We consider the turning locus, which is the set of points at which one cannot achieve a good formal structure without blowing up. We show that when the polar divisor has normal crossings, the turning locus is of pure codimension 1 within the polar divisor, and hence of pure codimension 2 within the full space; this had been previously established by Andre in the case of a smooth polar divisor. We also construct an irregularity sheaf and its associated b-divisor, which measure irregularity along divisors on blowups of the original space; this generalizes another result of Andre on the semicontinuity of irregularity in a curve fibration. One concrete consequence of these refinements is a process for resolution of turning points which is functorial with respect to regular morphisms of excellent schemes; this allows us to transfer the result from schemes to formal schemes, complex analytic varieties, and nonarchimedean analytic varieties., 27 pages; v4: refereed version; some technical edits in 2.2

Generalizing wavelets by adding desired redundancy and flexibility, framelets (i.e., wavelet frames) are of interest and importance in many applications such as image processing and numerical algorithms. Several key properties of framelets are high vanishing moments for sparse multiscale representation, fast framelet transforms for numerical efficiency, and redundancy for robustness. However, it is a challenging problem to study and construct multivariate nonseparable framelets, mainly due to their intrinsic connections to factorization and syzygy modules of multivariate polynomial matrices. Moreover, all the known multivariate tight framelets derived from spline refinable scalar functions have only one vanishing moment, and framelets derived from refinable vector functions are barely studied yet in the literature. In this paper, we circumvent the above difficulties through the approach of quasi-tight framelets, which behave almost identically to tight framelets. Employing the popular oblique extension principle (OEP), from an arbitrary compactly supported M-refinable vector function ϕ with multiplicity greater than one, we prove that we can always derive from ϕ a compactly supported multivariate quasi-tight framelet such that: (i) all the framelet generators have the highest possible order of vanishing moments; (ii) its associated fast framelet transform has the highest balancing order and is compact. For a refinable scalar function ϕ (i.e., its multiplicity is one), the above item (ii) often cannot be achieved intrinsically but we show that we can always construct a compactly supported OEP-based multivariate quasi-tight framelet derived from ϕ satisfying item (i). We point out that constructing OEP-based quasi-tight framelets is closely related to the generalized spectral factorization of Hermitian trigonometric polynomial matrices. Our proof is critically built on a newly developed result on the normal form of a matrix-valued filter, which is of interest and importance in itself for greatly facilitating the study of refinable vector functions and multiwavelets/multiframelets. This paper provides a comprehensive investigation on OEP-based multivariate quasi-tight multiframelets and their associated framelet transforms with high balancing orders. This deepens our theoretical understanding of multivariate quasi-tight multiframelets and their associated fast multiframelet transforms.

The singular value decomposition of a complex matrix is a fundamental concept in linear algebra and has proved extremely useful in many subjects. It is less clear what the situation is over a finite field. In this paper, we classify the orbits of GU m ( q ) × GU n ( q ) on M m × n ( q 2 ) (which is the analog of the singular value decomposition). The proof involves Kronecker’s theory of pencils and the Lang–Steinberg theorem for algebraic groups. Besides the motivation mentioned above, this problem came up in a recent paper of Guralnick et al. (2020) where a concept of character level for the complex irreducible characters of finite, general or special, linear and unitary groups was studied and bounds on the number of orbits was needed. A consequence of this work determines possible pairs of Jordan forms for nilpotent matrices of the form A A ∗ and A ∗ A over a finite field and A A ⊤ and A ⊤ A over arbitrary fields.

Two definitions for the rectifiability of hypersurfaces in Heisenberg groups $\mathbb{H}^n$ have been proposed: one based on ${\mathbb{H}}$-regular surfaces and the other on Lipschitz images of subsets of codimension-$1$ vertical subgroups. The equivalence between these notions remains an open problem. Recent partial results are due to Cole–Pauls, Bigolin–Vittone, and Antonelli–Le Donne. This paper makes progress in one direction: the metric Lipschitz rectifiability of ${\mathbb{H}}$-regular surfaces. We prove that ${\mathbb{H}}$-regular surfaces in $\mathbb{H}^{n}$ with $\alpha $-Hölder continuous horizontal normal, $\alpha> 0$, are metric bilipschitz rectifiable. This improves on the work by Antonelli–Le Donne, where the same conclusion was obtained for $C^{\infty }$-surfaces. In $\mathbb{H}^{1}$, we prove a slightly stronger result: every codimension-$1$ intrinsic Lipschitz graph with an $\epsilon $ of extra regularity in the vertical direction is metric bilipschitz rectifiable. All the proofs in the paper are based on a new general criterion for finding bilipschitz maps between “big pieces” of metric spaces.

In this paper, we generalize the classical Freidlin-Wentzell’s theorem for random perturbations of Hamiltonian systems. In (Probability Theory and Related Fields 128 (2004) 441–466), M.Freidlin and M.Weber generalized the original result in the sense that the coefficient for the noise term is no longer the identity matrix but a state-dependent matrix and taking the drift term into consideration. In this paper, We generalize the result by adding a state-dependent matrix that converges uniformly to 0 on any compact sets as ϵ tends to 0 to a state-dependent noise and considering the drift term which contains two parts, the state-dependent mapping and a state-dependent mapping that converges uniformly to 0 on any compact sets as ϵ tends to 0. In the proof, we adapt a new way to prove the weak convergence inside the edge by constructing an auxiliary process and modify the proof in (Probability Theory and Related Fields 128 (2004) 441–466) when proving gluing condition.

In theory, the industrial agglomeration is a double-edged sword as there are both positive and negative externalities. China’s cities, with great disparities on degrees of the industrial agglomeration, often face different energy and carbon dioxide emission problems, which raise the question whether the industrial agglomeration promotes or inhibits energy efficiency and carbon dioxide emission. This paper explored the effects of the industrial agglomeration on carbon efficiency in China. Spatial econometric methods were implemented using panel data (2007–2016) of 285 cities above the prefecture level. The results revealed that industrial agglomerations have significant impacts on the urban carbon efficiency with significant spatial spillover effects. The agglomerations of the manufacturing and high-end productive service industries take positive effects on carbon efficiency while the low-end productive and living service industries take negative effects. As a comparison, we found that the agglomeration effects at the level of the megalopolis are greater than those at the national level, especially for the living services industry, in which the higher levels of agglomeration make the effects on carbon efficiency change from negative to positive. The divisions of labor for the central and common cities in the megalopolises are integrated into the industrial agglomeration. Furthermore, the fractional-order grey forecasting model is used in this paper. By the virtue of its advantage in dealing with small sample data which lack statistical rules, this paper makes an out-of-sample prediction of carbon efficiency and industrial agglomeration degree of Chinese cities. By adding the predicted results to the spatial correlation test, new evidence on the spatial correlation of carbon efficiency and spatial division of labor between cities is obtained. Based on the empirical results of the present study, we have proposed some policy recommendations.

In this paper we prove that a nodal hypersurface in P^4 with defect has at least (d-1)^2 nodes, and if it has at most 2(d-2)(d-1) nodes and d>6 then it contains either a plane or a quadric surface. Furthermore, we prove that a nodal double cover of P^3 ramified along a surface of degree 2d with defect has at least d(2d-1) nodes. We construct the largest dimensional family of nodal degree d hypersurfaces in P^(2n+2) with defect for d sufficiently large., v2: A proof for the Ciliberto-Di Gennaro conjecture is added (Section 5); Some minor corrections in the other sections. v3: some minor corrections in the abstract v4: The proof for the Ciliberto-Di Gennaro conjecture has been modified; The paper is split into two parts, the complete intersection case will be discussed in a different paper

We do three things in this paper: (1) study the analog of localization sequences (in the sense of algebraic $K$-theory of stable $\infty $-categories) for additive $\infty $-categories, (2) define the notion of nilpotent extensions for suitable $\infty $-categories and furnish interesting examples such as categorical square-zero extensions, and (3) use (1) and (2) to extend the Dundas–Goodwillie–McCarthy theorem for stable $\infty $-categories that are not monogenically generated (such as the stable $\infty $-category of Voevodsky’s motives or the stable $\infty $-category of perfect complexes on some algebraic stacks). The key input in our paper is Bondarko’s notion of weight structures, which provides a “ring-with-many-objects” analog of a connective $\mathbb{E}_1$-ring spectrum. As applications, we prove cdh descent results for truncating invariants of stacks extending the work by Hoyois–Krishna for homotopy $K$-theory and establish new cases of Blanc’s lattice conjecture.

Starting with work of Serre, Katz, and Swinnerton-Dyer, theta operators have played a key role in the study of $p$-adic and $\bmod p$ modular forms and Galois representations. This paper achieves two main results for theta operators on automorphic forms on PEL-type Shimura varieties: 1) the analytic continuation at unramified primes $p$ to the whole Shimura variety of the $\bmod p$ reduction of $p$-adic Maass--Shimura operators {\it a priori} defined only over the $\mu$-ordinary locus, and 2) the construction of new $\bmod p$ theta operators that do not arise as the $\bmod p$ reduction of Maass--Shimura operators. While the main accomplishments of this paper concern the geometry of Shimura varieties and consequences for differential operators, we conclude with applications to Galois representations. Our approach involves a careful analysis of the behavior of Shimura varieties and enables us to obtain more general results than allowed by prior techniques, including for arbitrary signature, vector weights, and unramified primes in CM fields of arbitrary degree., Comment: Accepted for publication in IMRN. 42 pages