Search

The question if a given partial solution to a problem can be extended reasonably occurs in many algorithmic approaches for optimization problems. For instance, when enumerating minimal dominating sets of a graph $G=(V,E)$, one usually arrives at the problem to decide for a vertex set $U \subseteq V$, if there exists a \textit{minimal} dominating set $S$ with $U\subseteq S$. We propose a general, partial-order based formulation of such extension problems and study a number of specific problems which can be expressed in this framework. Possibly contradicting intuition, these problems tend to be NP-hard, even for problems where the underlying optimisation problem can be solved in polynomial time. This raises the question of how fixing a partial solution causes this increase in difficulty. In this regard, we study the parameterised complexity of extension problems with respect to parameters related to the partial solution, as well as the optimality of simple exact algorithms under the Exponential-Time Hypothesis. All complexity considerations are also carried out in very restricted scenarios, be it degree restrictions or topological restrictions (planarity) for graph problems or the size of the given partition for the considered extension variant of Bin Packing.

For the M/M/1+M model at the law-of-large-numbers scale, the long-run reneging count per unit time does not depend on the individual (i.e., per customer) reneging rate. This paradoxical statement has a simple proof. Less obvious is a large deviations analogue of this fact, stated as follows: the decay rate of the probability that the long-run reneging count per unit time is atypically large or atypically small does not depend on the individual reneging rate. In this paper, the sample path large deviations principle for the model is proved and the rate function is computed. Next, large time asymptotics for the reneging rate are studied for the case when the arrival rate exceeds the service rate. The key ingredient is a calculus of variations analysis of the variational problem associated with atypical reneging. A characterization of the aforementioned decay rate, given explicitly in terms of the arrival and service rate parameters of the model, is provided yielding a precise mathematical description of this paradoxical behavior.

We bound the variance and other moments of a random vector based on the range of its realizations, thus generalizing inequalities of Popoviciu and of Bhatia and Davis concerning measures on the line to several dimensions. This is done using convex duality and (infinite-dimensional) linear programming. The following consequence of our bounds exhibits symmetry breaking, provides a new proof of Jung’s theorem, and turns out to have applications to the aggregation dynamics modelling attractive–repulsive interactions: among probability measures on [Formula: see text] whose support has diameter at most [Formula: see text], we show that the variance around the mean is maximized precisely by those measures that assign mass [Formula: see text] to each vertex of a standard simplex. For [Formula: see text], the [Formula: see text] th moment—optimally centered—is maximized by the same measures among those satisfying the diameter constraint.

The Hilbert L-matrix A s = [ a i j ( s ) ] , where a i j ( s ) = 1 / ( max ⁡ { i , j } + s ) with i , j ≥ 0 , was introduced in [3] . As a surprising property, we showed that its 2-norm is constant for s ≥ s 0 , where the critical point s 0 is unknown but relies in the interval ( 1 / 4 , 1 / 2 ) . In this note, using some delicate calculations we sharpen this result by improving the upper and lower bounds of the interval surrounding s 0 . Moreover, we establish that the same property persists for the p-norm of A s matrices.

Hospital and healthcare administrators name high prescription drug costs as one of their largest problems. A significant body of research demonstrates that meals and honoraria from pharmaceutical firms to physicians leads to higher prescribing of expensive, brand name drugs, despite little difference in efficacy. Some administrators and scholars have advocated for mandatory disclosure of these payments in order to reduce this conflict of interest, but many practitioners believe disclosure has little effect on prescribing, and the empirical evidence is mixed. This paper uses a quasi-experiment of a 2009 payment disclosure policy in Massachusetts to estimate the causal impact of public disclosure on prescribing. The comprehensive data set includes all retail prescriptions for 262 drugs in nine drug classes written by 5,730 physicians in five states over 48 months. We show a significant postdisclosure reduction in brand name drug prescriptions by Massachusetts physicians, relative to control physicians in other states. These effects are driven by heavy prescribers of brand name drugs in the prepolicy period, particularly for drugs with large prepolicy sales forces. Effects are also detected before the first data were released, implying that the effects are not because patients or administrators responded to the disclosed payments. Instead, some physicians may have changed their payments and prescriptions behavior to avoid appearing biased. Taken in tandem with the many studies showing that pharmaceutical industry payments influence prescribing, this study suggests a strong role for mandatory public disclosure in reducing conflicts of interest in medicine and costly prescribing of brand name drugs. This paper was accepted by Stefan Scholtes, healthcare management.

Let $\mathcal C$ be a class of Hausdorff topological semigroups which contains all zero-dimensional Hausdorff topological semigroups. A semigroup $X$ is called $\mathcal C$-$closed$ if $X$ is closed in each topological semigroup $Y\in \mathcal C$ containing $X$ as a discrete subsemigroup; $X$ is $projectively$ $\mathcal C$-$closed$ if for each congruence $\approx$ on $X$ the quotient semigroup $X/_\approx$ is $\mathcal C$-closed. A semigroup $X$ is called $chain$-$finite$ if for any infinite set $I\subseteq X$ there are elements $x,y\in I$ such that $xy\notin\{x,y\}$. We prove that a semigroup $X$ is $\mathcal C$-closed if it admits a homomorphism $h:X\to E$ to a chain-finite semilattice $E$ such that for every $e\in E$ the semigroup $h^{-1}(e)$ is $\mathcal C$-closed. Applying this theorem, we prove that a commutative semigroup $X$ is $\mathcal C$-closed if and only if $X$ is periodic, chain-finite, all subgroups of $X$ are bounded, and for any infinite set $A\subseteq X$ the product $AA$ is not a singleton. A commutative semigroup $X$ is projectively $\mathcal C$-closed if and only if $X$ is chain-finite, all subgroups of $X$ are bounded and the union $H(X)$ of all subgroups in $X$ has finite complement $X\setminus H(X)$., Comment: 19 pages

In the present paper, we consider an elliptic divergence form operator in the half-space and prove that its Green function is almost affine, or more precisely, that the normalized difference between the Green function and a suitable affine function at every scale satisfies a Carleson measure estimate, provided that the oscillations of the coefficients satisfy the traditional quadratic Carleson condition. The results are sharp, and in particular, it is demonstrated that the class of the operators considered in the paper cannot be improved., 39 pages. Added a remark on the estimates for the second derivatives of the Green function. Added the definition of the Green function with pole at infinity. To appear in Arch. Ration. Mech. Anal

We consider an Klein–Gordon relativistic equation with a boundary dissipation of fractional derivative type. We study of stability of the system using semigroups theory and classical theorems over asymptotic behavior.

We address a Timoshenko system with memory in the history context and thermoelasticity of type III for heat conduction. Our main goal is to prove its uniform (exponential) stability by illustrating carefully the sensitivity of the heat and history couplings on the Timoshenko system. This investigation contrasts previous insights on the subject and promotes a new perspective with respect to the stability of the thermo-viscoelastic problem carried out, by combining the whole strength of history and thermal effects.

In this paper, we propose a time-dependent viscous system and by using the vanishing viscosity method we show the existence of solutions for the Riemann problem to a particular 2 × 2 system of conservation laws with linear damping.

We investigate the stability properties for a family of equations introduced by Moffatt to model magnetic relaxation. These models preserve the topology of magnetic streamlines, contain a cubic nonlinearity, and yet have a favorable $L^2$ energy structure. We consider the local and global in time well-posedness of these models and establish a difference between the behavior as $t\to \infty$ with respect to weak and strong norms., Comment: 24 pages

We consider the natural problem of counting isotopy classes of essential surfaces in 3-manifolds, focusing on closed essential surfaces in a broad class of hyperbolic 3-manifolds. Our main result is that the count of (possibly disconnected) essential surfaces in terms of their Euler characteristic always has a short generating function and hence has quasi-polynomial behavior. This gives remarkably concise formulae for the number of such surfaces, as well as detailed asymptotics. We give algorithms that allow us to compute these generating functions and the underlying surfaces, and apply these to almost 60,000 manifolds, providing a wealth of data about them. We use this data to explore the delicate question of counting only connected essential surfaces and propose some conjectures. Our methods involve normal and almost normal surfaces, especially the work of Tollefson and Oertel, combined with techniques pioneered by Ehrhart for counting lattice points in polyhedra with rational vertices. We also introduce a new way of testing if a normal surface in an ideal triangulation is essential that avoids cutting the manifold open along the surface; rather, we use almost normal surfaces in the original triangulation., Comment: 61 pages, 7 figures, and 9 tables; V2 incorporates referee's comments; V3 numbering adjusted to match published version; to appear in Inventiones Mathematicae

This paper studies how long it takes the orbit of the chaos game to reach a certain density inside the attractor of a strictly contracting iterated function system of which we only assume that its lower dimension is positive. We show that the rate of growth of this cover time is determined by the Minkowski dimension of the push-forward of the shift invariant measure with exponential decay of correlations driving the chaos game. Moreover, we bound the expected value of the cover time from above and below with multiplicative logarithmic correction terms. As an application, for Bedford-McMullen carpets we completely characterise the family of probability vectors which minimise the Minkowski dimension of Bernoulli measures. Interestingly, these vectors have not appeared in any other aspect of Bedford-McMullen carpets before., 29 pages, 3 figures, 2 tables

Recall that two geodesics in a negatively curved surface $S$ are of the same type if their free homotopy classes differ by a homeomorphism of the surface. In this note we study the distribution in the unit tangent bundle of the geodesics of fixed type, proving that they are asymptotically equidistributed with respect to a certain measure $\mathfrak{m}^S$ on $T^1S$. We study a few properties of this measure, showing for example that it distinguishes between hyperbolic surfaces., 18 pages

Given input-output pairs of an elliptic partial differential equation (PDE) in three dimensions, we derive the first theoretically-rigorous scheme for learning the associated Green's function $G$. By exploiting the hierarchical low-rank structure of $G$, we show that one can construct an approximant to $G$ that converges almost surely and achieves a relative error of $\mathcal{O}(\Gamma_\epsilon^{-1/2}\log^3(1/\epsilon)\epsilon)$ using at most $\mathcal{O}(\epsilon^{-6}\log^4(1/\epsilon))$ input-output training pairs with high probability, for any $0, Comment: 25 pages, 4 figures

We prove that scalar-valued sparse domination of a multilinear operator implies vector-valued sparse domination for tuples of quasi-Banach function spaces, for which we introduce a multilinear analogue of the UMD condition. This condition is characterized by the boundedness of the multisublinear Hardy-Littlewood maximal operator and goes beyond examples in which a UMD condition is assumed on each individual space and includes e.g. iterated Lebesgue, Lorentz, and Orlicz spaces. Our method allows us to obtain sharp vector-valued weighted bounds directly from scalar-valued sparse domination, without the use of a Rubio de Francia type extrapolation result. We apply our result to obtain new vector-valued bounds for multilinear Calder\'on-Zygmund operators as well as recover the old ones with a new sharp weighted bound. Moreover, in the Banach function space setting we improve upon recent vector-valued bounds for the bilinear Hilbert transform., Comment: 31 pages. Corrected author name

We prove the non-existence of real analytic Levi flat hypersurface whose complement is 1-convex and Levi foliation is transversely affine in compact Kahler surfaces.

We prove the existence and the limit profile of the least energy solution of a half Laplacian equation with competing powers.

In this paper, by using variational methods, we study the existence and concentration of ground state solutions for the following fractional Schrödinger equation ( − Δ ) α u + V ( x ) u = A ( ϵ x ) f ( u ) , x ∈ R N , where α ∈ ( 0 , 1 ), ϵ is a positive parameter, N > 2 α, ( − Δ ) α stands for the fractional Laplacian, f is a continuous function with subcritical growth, V ∈ C ( R N , R ) is a Z N -periodic function and A ∈ C ( R N , R ) satisfies some appropriate assumptions.

This paper addresses the finite-time stabilization of nonlinear polytopic systems. Sufficient conditions are proposed for the existence of a continuous time-invariant finite-time stabilizing state feedback controller through a robust control Lyapunov function. It is shown that the obtained sufficient condition is also necessary if there exists a state feedback controller such that the closed-loop system has a robust Lyapunov function for all possible uncertainties. Finally, to verify the efficacy of the proposed control design, a numerical example is presented.

In this article we obtain a 1-dimensional asymptotic model for a junction of thin hyperelastic rods as the thickness goes to zero. We show, under appropriate hypotheses on the loads, that the deformations that minimize the total energy weakly converge in a Sobolev space towards the minimum of a 1 D-dimensional energy for elastic strings by using techniques from Γ-convergence.

International audience; In this paper, we prove some new results on operational second order differential equations of elliptic type with general Robin boundary conditions in a non-commutative framework. The study is developed in Hölder spaces under some natural assumptions generalizing those in [4]. We give necessary and sufficient conditions on the data to obtain a unique strict solution satisfying the maximal regularity property, see Theorems 1 and 2. This work completes the one given in [4] and [12].

The aim of this paper is twofold. The first is to study the asymptotics of a parabolically scaled, continuous and space-time stationary in time version of the well-known Funaki-Spohn model in Statistical Physics. After a change of unknowns requiring the existence of a space-time stationary eternal solution of a stochastically perturbed heat equation, the problem transforms to the qualitative homogenization of a uniformly elliptic, space-time stationary, divergence form, nonlinear partial differential equation, the study of which is the second aim of the paper. An important step is the construction of correctors with the appropriate behavior at infinity.

We study an agglomerative clustering problem motivated by interactive glyphs in geo-visualization. Consider a set of disjoint square glyphs on an interactive map. When the user zooms out, the glyphs grow in size relative to the map, possibly with different speeds. When two glyphs intersect, we wish to replace them by a new glyph that captures the information of the intersecting glyphs. We present a fully dynamic kinetic data structure that maintains a set of $n$ disjoint growing squares. Our data structure uses $O(n (\log n \log\log n)^2)$ space, supports queries in worst case $O(\log^3 n)$ time, and updates in $O(\log^7 n)$ amortized time. This leads to an $O(n\alpha(n)\log^7 n)$ time algorithm to solve the agglomerative clustering problem. This is a significant improvement over the current best $O(n^2)$ time algorithms., Comment: 14 pages, 7 figures

Combining mathematical and physical understanding in reasoning is difficult, and a growing body of research shows that students experience problems with the combination of physics and mathematics in reasoning beyond the introductory level. We investigated students' reasoning about boundary conditions (BCs) for the diffusion equation by conducting exploratory task-based, think-aloud interviews with twelve undergraduate students majoring in physics or mathematics. We identified several difficulties students experienced while solving the interview task and categorized them using the conceptual blending framework. This framework states that in reasoning, people draw from separate input spaces, in this case the mathematics and the physics input space, to form a blended space, where they make connections between elements from these spaces. To identify difficulties, we used open coding techniques. We observed few difficulties in the physics space. In the mathematics space, we identified several difficulties that we clustered in two main groups: findings about the mathematical meaning of BCs, and findings about reasoning with functions of two variables. Lastly, we identified four ways in which blending failed. Starting from our findings, we formulate recommendations for teaching and future research.

Let f be a polynomial in n variables over some number field and Z a subscheme of affine n-space. The notion of motivic oscillation index of f at Z was initiated by Cluckers in [7] and Cluckers-Mustaţǎ-Nguyen in [12] . In this paper we elaborate on this notion and raise several questions. The first one is stability under base field extension; this question is linked to a deep understanding of the density of non-archimedean local fields over which Igusa's local zeta function of f has a pole with given real part. The second one is around Igusa's conjecture for exponential sums with bounds in terms of the motivic oscillation index. Thirdly, we wonder if the above questions only depend on the analytic isomorphism class of singularities. By using various techniques as the GAGA theorem, resolution of singularities and model theory, we can answer the third question up to a base field extension. Next, by using a transfer principle between non-archimedean local fields of characteristic zero and positive characteristic, we can link all three questions with a conjecture on weights of l-adic cohomology groups of Artin-Schreier sheaves associated to jet polynomials. This way, we can answer all questions positively if f is a polynomial ‘of Thom-Sebastiani type’ with non-rational singularities. As a consequence, we prove Igusa's conjecture for arbitrary polynomials in three variables and polynomials with singularities of A − D − E type. In an appendix, we answer affirmatively a recent question of Cluckers-Mustaţǎ-Nguyen in [12] on poles of maximal order of twisted Igusa's local zeta functions.

In this article, we investigate some of the fine properties of the value function associated to an optimal control problem in the Wasserstein space of probability measures. Building on new interpolation and linearisation formulas for non-local flows, we prove semiconcavity estimates for the value function, and establish several variants of the so-called sensitivity relations which provide connections between its superdifferential and the adjoint curves stemming from the maximum principle. We subsequently make use of these results to study the propagation of regularity for the value function along optimal trajectories, as well as to investigate sufficient optimality conditions and optimal feedbacks for mean-field optimal control problems., Comment: 55 pages

We show that any $m\times m$ matrix $M$ with integer entries and $\det M =\Delta \neq 0$ can be equipped by a finite digit set $\mathcal{D}\subset\mathbb{Z}^m$ such that any integer $m$-dimensional vector belongs to the set $$ {\rm Fin}_{\mathcal{D}}(M)= \Bigl\{\sum_{k\in I}M^k {d}_k : \emptyset\neq I \text{ finite subset of } \mathbb{Z} \text{ and } {d}_k \in \mathcal{D} \text{ for each } k \in I\Bigr\} \subset \bigcup\limits_{k\in \mathbb{N}} \frac{1}{\Delta^k}\mathbb{Z}^{m} \,. $$ We also characterize the matrices $M$ for which the sets $ {\rm Fin}_{\mathcal{D}}(M)$ and $ \bigcup\limits_{k\in \mathbb{N}} \frac{1}{\Delta^k}\mathbb{Z}^{m}$ coincide.

We give a linear-time algorithm to decide 3-colorability of a triangle-free graph embedded in a fixed surface, and a quadratic-time algorithm to output a 3-coloring in the affirmative case. The algorithms also allow to prescribe the coloring of a bounded number of vertices.

O'Grady constructed a 6-dimensional irreducible holomorphic symplectic variety by taking a crepant resolution of some moduli space of stable sheaves on an abelian surface. In this paper, we naturally extend O'Grady's construction to fields of positive characteristic p greater than 2, called OG6 varieties. We show that a supersingular OG6 variety is unirational, its rational cohomology group is generated by algebraic classes, and its rational Chow motive is of Tate type. These results confirm in this case the generalized Artin--Shioda conjecture, the supersingular Tate conjecture and the supersingular Bloch conjecture proposed in our previous work, in analogy with the theory of supersingular K3 surfaces., Comment: Final version. To appear in I.M.R.N

The arithmetic, p-arithmetic, and incoherent intersections between pairs of closed geodesics on a modular or Shimura curve are defined, and some of their expected algebraicity and factorisation properties are examined. These properties follow in a special case from the conjectures of [DV] on the RM values of rigid meromorphic cocycles, and are inspired from the recent work of James Rickards [Ri] and Xavier Guitart, Marc Masdeu and Xavier Xarles [GMX] in the quaternionic setting.

Using the approach of so-called c-sequences introduced by the fifth author in his recent work, we give much simpler and shorter proofs of multivalued Perov's type results with respect to the ones presented in the recently published paper by M. Abbas et al. Our proofs improve, complement, unify and enrich the ones from the recent papers. Further, in the last section of this paper, we correct and generalize the well-known Perov's fixed point result. We show that this result is in fact equivalent to Banach's contraction principle.

To compare the safety and efficacy of sub-Tenon injection of mitomycin C (MMC) with application of MMC-infused sponges during trabeculectomy.Single-center randomized clinical trial.A total of 56 eyes of 49 patients with open-angle glaucoma were included in this clinical trial.In this single-center randomized clinical trial, 56 eyes of 49 patients underwent trabeculectomy with MMC for primary open-angle glaucoma. Patients were randomized into 2 groups. The injection group received a sub-Tenon injection of 0.15 ml of 0.01% MMC diluted with preservative free lidocaine 2% (n = 27). In the sponges group, sponges soaked in 0.02% MMC were applied under the Tenon's capsule and the scleral flap for 2 minutes (n = 29). Intraocular pressure, endothelial cell count, best-corrected visual acuity, and number of intraocular pressure (IOP)-lowering medications were assessed before surgery and 1 week; 1, 3, and 6 months; and 1 year after surgery. Complete success was defined as IOP of 14 mmHg or less without medication. Bleb morphologic features were assessed using the Indiana Bleb Appearance Grading Scale bleb grading system.Intraocular pressure reduction was the primary outcome. Bleb morphologic features and endothelial cell counts (ECCs) were secondary outcomes.Mean IOP in the sponges group decreased from 30.5 ± 7.4 mmHg at baseline to 12.6 ± 5.9 mmHg at 1 year (P0.001); in the injection group, IOP decreased from 29.3 ± 6.8 mmHg at baseline to 12.7 ± 4.3 mmHg at 1 year (P0.001). No difference in IOP between the 2 groups was noted at any visit (P0.001). Surgical success was 81.5% and 82.8% in the injection and sponges groups, respectively, at 1 year. Mean ECC values were unchanged from baseline to 1 year after surgery for both groups (P = 0.444). Complication rates were similar in the 2 groups. Bleb morphologic features showed differences in the appearance and grading of the blebs between the 2 groups at 1 year, showing larger extent, lower height, and less vascularization in the injection group.Sub-Tenon injection of MMC during trabeculectomy seems to be as safe and as efficacious as conventional application of MMC with sponges at 1 year after surgery. Bleb morphologic features show notable differences that may suggest a better long-term outcome.

We describe a procedure for classifying positively graded filiform nilpotent Lie algebras in low dimensions, over R , C , and Q . Using this procedure, we find all filiform nilpotent Lie algebras of dimension 15 and lower that admit a positive grading.

In this article we continue with the research initiated in our previous work on singular Liouville equations with quantized singularity. The main goal of this article is to prove that as long as the bubbling solutions violate the spherical Harnack inequality near a singular source, the first derivatives of coefficient functions must tend to zero., 24 pages. arXiv admin note: substantial text overlap with arXiv:2202.10825

We extend the theory of Koszul modules to the bi-graded case, and prove a vanishing theorem that allows us to show that the Canonical Ribbon Conjecture of Bayer and Eisenbud holds over a field of characteristic zero or at least equal to the Clifford index. Our results confirm a conjecture of Eisenbud and Schreyer regarding the characteristics where the generic statement of Green's conjecture holds. They also recover and extend to positive characteristics results due to Aprodu and Voisin asserting that Green's Conjecture holds for generic curves of each gonality., Comment: 23 pages

The goal of this paper is to provide a categorical framework that leads to the definition of shtukas a la Drinfeld and of excursion operators a la V. Lafforgue. We take as the point of departure the Hecke action of Rep ( G ˇ ) on the category Shv ( Bun G ) of sheaves on Bun G , and also the endofunctor of the latter category, given by the action of the geometric Frobenius. The shtuka construction will be obtained by applying (various versions of) categorical trace.

We study existence, uniqueness, and regularity properties of the Dirichlet problem related to fractional Dirichlet energy minimizers in a complete doubling metric measure space $(X,d_X,\mu_X)$ satisfying a $2$-Poincar\'e inequality. Given a bounded domain $\Omega\subset X$ with $\mu_X(X\setminus\Omega)>0$, and a function $f$ in the Besov class $B^\theta_{2,2}(X)\cap L^2(X)$, we study the problem of finding a function $u\in B^\theta_{2,2}(X)$ such that $u=f$ in $X\setminus\Omega$ and $\mathcal{E}_\theta(u,u)\le \mathcal{E}_\theta(h,h)$ whenever $h\in B^\theta_{2,2}(X)$ with $h=f$ in $X\setminus\Omega$. We show that such a solution always exists and that this solution is unique. We also show that the solution is locally H\"older continuous on $\Omega$, and satisfies a non-local maximum and strong maximum principle. Part of the results in this paper extend the work of Caffarelli and Silvestre in the Euclidean setting and Franchi and Ferrari in Carnot groups., Comment: 42 pages, comments welcome, submitted. Revision to add crucial references and attributions to the introduction

We investigate the effect of a fixed forbidden clique minor upon the strong chromatic index, both in multigraphs and in simple graphs. We conjecture for each $k\ge 4$ that any $K_k$-minor-free multigraph of maximum degree $\Delta$ has strong chromatic index at most $\frac32(k-2)\Delta$. We present a construction certifying that if true the conjecture is asymptotically sharp as $\Delta\to\infty$. In support of the conjecture, we show it in the case $k=4$ and prove the statement for strong clique number in place of strong chromatic index. By contrast, we make a basic observation that for $K_k$-minor-free simple graphs, the problem of strong edge-colouring is "between" Hadwiger's Conjecture and its fractional relaxation. For $k\geq5$, we also show that $K_k$-minor-free multigraphs of edge-diameter at most $2$ have strong clique number at most $(k-\frac{1}{2})\Delta$., Comment: 23 pages, 4 figures; v2 includes minor corrections, to appear in Journal of Graph Theory

We study the definability of maximal towers and of inextendible linearly ordered towers (ilt's), a notion that is more general than that of a maximal tower. We show that there is, in the constructible universe, a $\Pi^1_1$ definable maximal tower that is indestructible by any proper Suslin poset. We prove that the existence of a $\Sigma^1_2$ ilt implies that $\omega_1 = \omega_1^L$. Moreover we show that analogous results hold for other combinatorial families of reals. We prove that there is no ilt in Solovay's model. And finally we show that the existence of a $\Sigma^1_2$ ilt is equivalent to that of a $\Pi^1_1$ maximal tower.

Purpose To report the clinical outcomes of glaucoma management in patients with phacomatosis pigmentovascularis (PPV) treated over a period of 3 decades. Design Retrospective cohort study. Participants Fifty-five eyes of 38 patients (21 unilateral and 17 bilateral) with glaucoma in PPV managed at one institution between January 1990 and December 2019 with a minimum follow-up of 1 year. Methods Medical records of children with glaucoma in PPV were reviewed, and demographic and clinical data were collected. Surgical interventions included primary combined trabeculotomy-trabeculectomy (CTT), trabeculectomy with mitomycin C (MMC), and transscleral cyclophotocoagulation (TSCPC). Complete success was defined as intraocular pressure (IOP) ≥ 6 and ≤ 16 mmHg without medications and qualified success as IOP ≤ 16 mmHg with the use of up to 2 medications. Main Outcome Measures Intraocular pressure, best-corrected visual acuity (BCVA), corneal clarity, antiglaucoma medications at preoperative and postoperative visits (last visit), and complications. Results Median age was 4 months (range, 0.2–252 months) at the time of glaucoma surgery. Thirty-nine eyes (74%) had primary CTT, 10 eyes (19%) had trabeculectomy with MMC, and 4 eyes (7%) with advanced glaucoma had TSCPC. Two eyes (3.6%) received medical treatment. Preoperative IOP reduced from a mean of 25.7 ± 8.4 mmHg on 0.8 ± 0.6 medications to 14.6 ± 5.2 mmHg on 0.4 ± 0.5 medications (P 20/40. Four of 10 eyes that underwent trabeculectomy with MMC developed retinal detachment and were managed surgically; however, all of these eyes had poor visual outcomes. There was no incidence of bleb leakage, bleb-related infection, or endophthalmitis. Conclusions Combined trabeculotomy-trabeculectomy is safe and effective as a primary procedure for management of glaucoma in PPV. Trabeculectomy augmented with MMC as a second procedure was associated with a higher rate of complications.

In this paper k always denotes a finite field of characteristic p > 0 . A variety over k means a reduced scheme separated and of finite type over k. An etale cover is always assumed to be finite (as in [SGA1, I, Def. 4.9] ).

We consider a class of cooperative reaction-diffusion systems with free boundaries in one space dimension, where the diffusion terms are nonlocal, given by integral operators involving suitable kernel functions, and they are allowed not to appear in some of the equations in the system. Such a system covers various models arising from mathematical biology, in particular a West Nile virus model and an epidemic model considered recently in [16] and [44] , respectively, where a “spreading-vanishing” dichotomy is known to govern the long time dynamical behaviour, but the question on spreading speed was left open. In this paper, we develop a systematic approach to determine the spreading profile of the system, and obtain threshold conditions on the kernel functions which decide exactly when the spreading has finite speed, or infinite speed (accelerated spreading). This relies on a rather complete understanding of both the associated semi-waves and travelling waves. When the spreading speed is finite, we show that the speed is determined by a particular semi-wave. This is Part 1 of a two part series. In Part 2, for some typical classes of kernel functions, we will obtain sharp estimates of the spreading rate for both the finite speed case, and the infinite speed case.

Linear first order Riemann-Liouville fractional differential equations are studied. These new equations unify and generalize the Riemann-Liouville, modified Caputo and Caputo fractional differential equations. The equivalences between the fractional differential equations and the corresponding perturbed Abel's integral equations are obtained. These results are useful not only to study the initial or boundary value problems for nonlinear first order Riemann-Liouville fractional differential equations but also to study the solutions of the perturbed Abel's integral equations arising in a problem of mechanics and many other physical problems. The well-known Tonelli's result on solvability of the Abel's integral equation is generalized. We exhibit that there are nonconstant equilibria for some first order Caputo fractional equations. This is different from nonlinear first order ordinary differential equations which have only constant equilibria. The equivalence results are applied to generalize the classical Mean Value Theorem to the first order Riemann-Liouville fractional derivatives.

We show that there does not exist a generalised polynomial which vanishes precisely on the set of powers of two. In fact, if $k \geq 2$ is and integer and $g \colon \mathbb{N} \to \mathbb{R}$ is a generalised polynomial such that $g(k^n) = 0$ for all $n \geq 0$ then there exists infinitely many $m \in \mathbb{N}$, not divisible by $k$, such that $g(mk^n) = 0$ for some $n \geq 0$. As a consequence, we obtain a complete characterisation of sequences which are simultaneously automatic and generalised polynomial., 51 pages

We aim to address the consensus tracking problem for multiple-input-multiple-output (MIMO) linear networked systems under directed switching topologies, where the leader is subject to some nonzero but norm bounded inputs. First, based on the relative outputs, a full-order unknown input observer (UIO) is designed for each agent to track the full states' error among neighboring agents. With the aid of such an observer, a discontinuous feedback protocol is subtly designed. And it is proven that consensus tracking can be achieved in the closed-loop networked system if the average dwell time (ADT) for switching among different interaction graph candidates is larger than a given positive threshold. By using the boundary layer technique, a continuous feedback protocol is skillfully designed and employed. It is shown that the consensus error converges into a bounded set under the designed continuous protocol. Second, as part of the full states' error can be constructed via the agents' outputs, a reduced-order UIO is thus designed based on which discontinuous and continuous feedback protocols are, respectively, proposed. By using the stability theory of the switched systems, it is proven that the consensus error converges asymptotically to 0 under the designed discontinuous protocol, and converges into a bounded set under the designed continuous protocol. Finally, the obtained theoretical results are validated through simulations.

We present a method to compute polynomial conservation laws for systems of partial differential equations ( PDE s). The method only relies on linear algebraic computations and is complete, in the sense it can find a basis for all polynomial fluxes that yield conservation laws, up to a specified order of derivatives and degree. We compare our method to state-of-the-art algorithms based on the direct approach on a few PDE systems drawn from mathematical physics.

We recognize certain special hypergeometric motives, related to and inspired by the discoveries of Ramanujan more than a century ago, as arising from Asai $L$-functions of Hilbert modular forms., Comment: 18 pages

Purpose To compare the efficacy and safety of early versus later ab interno gelatin microstent placement with mitomycin C. Design Canada-wide, multicenter, retrospective propensity score-matched cohort study. Participants Two hundred seventy eyes (135 early cases and 135 later cases) with no prior incisional surgery. Methods Surgeons’ first 20 patients (early cases group), from 6 glaucoma surgeons across 4 Canadian sites, were matched 1:1 to patients with the closest propensity score from the later (21+) patients (later cases group). Main Outcome Measures Primary outcome was hazard ratio (HR) of failure of the early versus later cases groups, with failure defined as IOP of less than 6 mmHg with more than 2 lines of vision loss or more than 17 mmHg with no medications (complete success) on 2 consecutive visits despite in-clinic maneuvers (including needling) more than 1 month after surgery. Secondary outcomes were HRs for failure, defined as IOP outside the range of 6 to 14 mmHg and 6 to 21 mmHg with and without allowing for medications (qualified success), interventions, complications, and reoperations. Results Hazard ratio of failure for early versus later cases groups was 1.38 (95% confidence interval [CI], 0.97–1.96) for the IOP range of 6 to 17 mmHg, 1.29 (95% CI, 0.90–1.84) for 6 to 14 mmHg, and 1.48 (95% CI, 1.03–2.13) for 6 to 21 mmHg without medication and 0.95 (95% CI, 0.55–1.64), 0.95 (95% CI, 0.61–1.48), and 0.95 (95% CI, 0.52–1.75) for the same IOP ranges allowing for medications. Needling rates were 43.0% (early cases group) and 41.5% (later cases group). Complication rates after 1 month occurred in 9.6% (early cases group) and 11.1% (later cases group; P = 0.69). Reoperation rates were 14.8% (early cases group) and 8.1% (later cases group; P = 0.08). Conclusions There is some evidence for improved success in the later cases group. Similar needling rates, similar complication rates, and a slightly higher reoperation rate were found for the early cases group. The results suggest that this procedure can be adopted by existing surgeons with current training regimens, although they may see an improvement in their success outcomes over time.