Periodic Problem for Doubly Nonlinear Evolution Equation. We are concerned with the time periodic problem of some doubly nonlinear equations governed by differentials of two convex functionals over uniformly convex Banach spaces. Akagi Stefanelli (2011) considered Cauchy problem of the same equation via the so called WED functional approach. Main purpose of this paper is to show the existence of the time periodic solution under the same growth conditions on functionals and differentials as those imposed in Akagi Stefanelli (2011). Because of the difference of nature between Cauchy problem and the periodic problem, we can not apply the WED functional approach directly, so we here adopt standard compactness methods with suitable approximation procedures.


Automorphy lifting for residually reducible l adic Galois representations, II. We prove new automorphy lifting theorems for residually reducible Galois representations of unitary type in which the residual representation is permitted to have an arbitrary number of irreducible constituents.


Affinity guided Geometric Semi Supervised Metric Learning. In this paper, we revamp the forgotten classical Semi Supervised Distance Metric Learning (SSDML) problem from a Riemannian geometric lens, to leverage stochastic optimization within a end to end deep framework. The motivation comes from the fact that apart from a few classical SSDML approaches learning a linear Mahalanobis metric, deep SSDML has not been studied. We first extend existing SSDML methods to their deep counterparts and then propose a new method to overcome their limitations. Due to the nature of constraints on our metric parameters, we leverage Riemannian optimization. Our deep SSDML method with a novel affinity propagation based triplet mining strategy outperforms its competitors.


Towards Automated Biometric Identification of Sea Turtles (Chelonia mydas). Passive biometric identification enables wildlife monitoring with minimal disturbance. Using a motion activated camera placed at an elevated position and facing downwards, we collected images of sea turtle carapace, each belonging to one of sixteen Chelonia mydas juveniles. We then learned co variant and robust image descriptors from these images, enabling indexing and retrieval. In this work, we presented several classification results of sea turtle carapaces using the learned image descriptors. We found that a template based descriptor, i.e., Histogram of Oriented Gradients (HOG) performed exceedingly better during classification than keypoint based descriptors. For our dataset, a high dimensional descriptor is a must due to the minimal gradient and color information inside the carapace images. Using HOG, we obtained an average classification accuracy of 65 .


Extending the thermal near field through compensation in hyperbolic waveguides. A promising method to leverage near field power densities without the use of nanoscale vacuum gaps is through hyperbolic metamaterial (HMM) waveguides. When placed between a hot and cold reservoir, an ideal HMM can transmit surface waves across several microns, enabling an extension of near field enhancements. However, when accounting for transmission loss due to realistic levels of absorption within the waveguide, previous studies have shown that the enhancements are significantly curtailed at wide separations. In our study, we investigate the role of internal sources within realistic non isothermal HMMs. We demonstrate that, in some cases, the emission from the HMM accounts for over 90 of the total heat transfer to the receiver, and that these additional sources can largely compensate for optical losses associated with decreased transmission from the emitter to the receiver. Lastly, we investigate the spectral transport in a realistic 3 body system which has mismatching optical properties between the boundaries (emitter and receiver) and the waveguide (HMM). Our model shows that the near field thermal transport remains spectrally selective to the boundaries, even as major radiative contributions come from the waveguide. This work may enable the design of non isothermal emitter waveguide receiver systems that transmit near field power levels over wider separations.


On the division fields of an elliptic curve and an effective bound to the hypotheses of the local global divisibility. We investigate some aspects of the m division field K( mathcal E m ) , where mathcal E is an elliptic curve defined over a field K with textrm char (K) neq 2,3 and m is a positive integer. When m p r , with p geq 5 a prime and r a positive integer, we prove K( mathcal E p r ) K(x 1, zeta p,y 2) , where (x 1, y 1),(x 2,y 2) is a generating system of mathcal E p r and zeta p is a primitive p th root of the unity. If mathcal E has a K rational point of order p , then K( mathcal E p r ) K( zeta p r , sqrt m 1 a ) , with a in K( zeta p r ) and m 1 p r . In addition, when K is a number field, we produce an upper bound to the logarithmic height of the discriminant of the extension K( mathcal E m ) K , for all m geq 3 . As a consequence, we give an explicit effective version of the hypotheses of the local global divisibility problem in elliptic curves over number fields.


The Furstenberg Boundary of a Groupoid. We define the Furstenberg boundary of a locally compact Hausdorff 'etale groupoid, generalising the Furstenberg boundary for discrete groups, by providing a construction of a groupoid equivariant injective envelope. Using this injective envelope, we establish the absence of recurrent amenable subgroups in the isotropy as a sufficient criterion for the intersection property of a locally compact Hausdorff 'etale groupoid with compact unit space and no fixed points. This yields a criterion for C simplicity of minimal groupoids.


Existence and convergence of solutions for nonlinear biharmonic equations on graphs. In this paper, we first prove some propositions of Sobolev spaces defined on a locally finite graph G (V,E) , which are fundamental when dealing with equations on graphs under the variational framework. Then we consider a nonlinear biharmonic equation Delta 2 u Delta u ( lambda a 1)u u p 2 u on G (V,E) . Under some suitable assumptions, we prove that for any lambda 1 and p 2 , the equation admits a ground state solution u lambda . Moreover, we prove that as lambda rightarrow infty , the solutions u lambda converge to a solution of the equation begin align begin cases Delta 2 u Delta u u u p 2 u, text in Omega, u 0, text on partial Omega, end cases end align where Omega x in V a(x) 0 is the potential well and partial Omega denotes the the boundary of Omega .


Computer Viruses The Abstract Theory Revisited. Identifying new viral threats, and developing long term defences against current and future computer viruses, requires an understanding of their behaviour, structure and capabilities. This paper aims to advance this understanding by further developing the abstract theory of computer viruses. A method of providing abstract definitions for classes of viruses is presented in this paper, which addresses inadequacies of previous techniques. Formal definitions for some classes of viruses are then provided, which correspond to existing informal definitions. To relate the abstract theory to the real world, the connection between the abstract definitions and concrete virus implementations is examined. The use of the proposed method in studying the fundamental properties of computer viruses is discussed.


Remarks on a paper by Gavrilov Grad Shafranov equations, steady solutions of the three dimensional incompressible Euler equations with compactly supported velocities, and applications. We describe a method to construct smooth and compactly supported solutions of 3D incompressible Euler equations and related models. The method is based on localizable Grad Shafranov equations and is inspired by the recent result cite gav .


General Schwarz Lemmata and their applications. We prove estimates interpolating the Schwarz Lemmata of Royden Yau and the ones recently established by the author. These more flexible estimates provide additional information on (algebraic) geometric aspects of compact K "ahler manifolds with nonnegative holomorphic sectional curvature, nonnegative Ric ell or positive S ell .


Projective toric codes. Any integral convex polytope P in mathbb R N provides a N dimensional toric variety X P and an ample divisor D P on this variety. This paper gives an explicit construction of the algebraic geometric error correcting code on X P , obtained by evaluating global section of mathcal L (D P) on every rational point of X P . This work presents an extension of toric codes analogous to the one of Reed Muller codes into projective ones, by evaluating on the whole variety instead of considering only points with non zero coordinates. The dimension of the code is given in terms of the number of integral points in the polytope P and an algorithmic technique to get a lowerbound on the minimum distance is described.


On the Zeta function and the automorphism group of the generalized Suzuki curve. For p an odd prime number, q 0 p t , and q p 2t 1 , let mathcal X mathcal G mathcal S be the nonsingular model of Y q Y X q 0 (X q X). In the present work, the number of mathbb F q n rational points and the full automorphism group of mathcal X mathcal G mathcal S are determined. In addition, the L polynomial of this curve is provided, and the number of mathbb F q n rational points on the Jacobian J mathcal X mathcal G mathcal S is used to construct ' e tale covers of mathcal X mathcal G mathcal S , some with many rational points.


Interplanetary Medium as Fuel for Plasma Thrusters. We examine the use of the interplanetary substance as a possible fuel for spacecraft plasma thrusters for interplanetary flights. The solar radiation is considered as an energy source for the ionization and the acceleration of particles of captured space environment that is used as drop weight. The method of capturing the space environment, which is dependent on its density, the velocity of the spacecraft, and the power of solar radiation, defines the technical feasibility of this scheme. Both pulsed and continuous operations of the plasma accelerator are possible under some conditions as shown in the estimates.


Generation of J Grassmannians of buildings of type A n and D n with J a non connected set of types. Let X n(K) be a building of Coxeter type X n A n or X n D n defined over a given division ring K (a field when X n D n ). For a non connected set J of nodes of the diagram X n , let Gamma(K) Gr J(X n(K)) be the J Grassmannian of X n(K) . We prove that Gamma(K) cannot be generated over any proper sub division ring K 0 of K . As a consequence, the generating rank of Gamma(K) is infinite when K is not finitely generated. In particular, if K is the algebraic closure of a finite field of prime order then the generating rank of Gr 1,n (A n(K)) is infinite, although its embedding rank is either (n 1) 2 1 or (n 1) 2 .


Weakly Supervised Neural Response Selection from an Ensemble of Task Specialised Dialogue Agents. Dialogue engines that incorporate different types of agents to converse with humans are popular. However, conversations are dynamic in the sense that a selected response will change the conversation on the fly, influencing the subsequent utterances in the conversation, which makes the response selection a challenging problem. We model the problem of selecting the best response from a set of responses generated by a heterogeneous set of dialogue agents by taking into account the conversational history, and propose a emph Neural Response Selection method. The proposed method is trained to predict a coherent set of responses within a single conversation, considering its own predictions via a curriculum training mechanism. Our experimental results show that the proposed method can accurately select the most appropriate responses, thereby significantly improving the user experience in dialogue systems.


Ellipticity Dependence of Excitation and Ionization of Argon Atoms by Short Pulse Infrared Radiation. When atoms or molecules are exposed to strong short pulse infrared radiation, ionization as well as "frustrated tunneling ionization" (FTI) can occur, in which a portion of the almost ionized electrons recombine into the initial ground or an excited bound state. We analyze the ellipticity dependence of the relative signals that are predicted in a single active electron approximation (SAE), the validity of which is checked against a parameter free multi electron hbox R matrix (close coupling) with time dependence approach. We find good agreement between the results from both models, thereby providing confidence in the SAE model potential to treat the process of interest. Comparison of the relative excitation probabilities found in our numerical calculations with the predictions of Landsman it et al. (New Journal of Physics bf 15 (2013) 013001) and Zhao it et al. (Optics Express bf 27 (2019) 21689) reveals good agreement with the former for short pulses. For longer pulses, the ellipticity dependence becomes wider than that obtained from the Landsman it et al. formula, but we do not obtain the increase compared to linearly polarized radiation predicted by Zhao it et al.


Weight dependent Gates for Network Pruning. In this paper, a simple yet effective network pruning framework is proposed to simultaneously address the problems of pruning indicator, pruning ratio, and efficiency constraint. This paper argues that the pruning decision should depend on the convolutional weights, and thus proposes novel weight dependent gates (W Gates) to learn the information from filter weights and obtain binary gates to prune or keep the filters automatically. To prune the network under efficiency constraints, a switchable Efficiency Module is constructed to predict the hardware latency or FLOPs of candidate pruned networks. Combined with the proposed Efficiency Module, W Gates can perform filter pruning in an efficiency aware manner and achieve a compact network with a better accuracy efficiency trade off. We have demonstrated the effectiveness of the proposed method on ResNet34, ResNet50, and MobileNet V2, respectively achieving up to 1.33 1.28 1.1 higher Top 1 accuracy with lower hardware latency on ImageNet. Compared with state of the art methods, W Gates also achieves superior performance.


Segmentation Mask Guided End to End Person Search. Person search aims to search for a target person among multiple images recorded by multiple surveillance cameras, which faces various challenges from both pedestrian detection and person re identification. Besides the large intra class variations owing to various illumination conditions, occlusions and varying poses, background clutters in the detected pedestrian bounding boxes further deteriorate the extracted features for each person, making them less discriminative. To tackle these problems, we develop a novel approach which guides the network with segmentation masks so that discriminative features can be learned invariant to the background clutters. We demonstrate that joint optimization of pedestrian detection, person re identification and pedestrian segmentation enables to produce more discriminative features for pedestrian, and consequently leads to better person search performance. Extensive experiments on benchmark dataset CUHK SYSU, show that our proposed model achieves the state of the art performance with 86.3 mAP and 86.5 top 1 accuracy respectively.


Transforming Wikipedia into Augmented Data for Query Focused Summarization. The manual construction of a query focused summarization corpus is costly and timeconsuming. The limited size of existing datasets renders training data driven summarization models challenging. In this paper, we use Wikipedia to automatically collect a large query focused summarization dataset (named as WIKIREF) of more than 280,000 examples, which can serve as a means of data augmentation. Moreover, we develop a query focused summarization model based on BERT to extract summaries from the documents. Experimental results on three DUC benchmarks show that the model pre trained on WIKIREF has already achieved reasonable performance. After fine tuning on the specific datasets, the model with data augmentation outperforms the state of the art on the benchmarks.


A machine learning software systems approach to capture social, regulatory, governance, and climate problems. This paper will discuss the role of an artificially intelligent computer system as critique based, implicit organizational, and an inherently necessary device, deployed in synchrony with parallel governmental policy, as a genuine means of capturing nation population complexity in quantitative form, public contentment in societal cooperative economic groups, regulatory proposition, and governance effectiveness domains. It will discuss a solution involving a well known algorithm and proffer an improved mechanism for knowledge representation, thereby increasing range of utility, scope of influence (in terms of differentiating class sectors) and operational efficiency. It will finish with a discussion of these and other historical implications.


Speakers Fill Lexical Semantic Gaps with Context. Lexical ambiguity is widespread in language, allowing for the reuse of economical word forms and therefore making language more efficient. If ambiguous words cannot be disambiguated from context, however, this gain in efficiency might make language less clear resulting in frequent miscommunication. For a language to be clear and efficiently encoded, we posit that the lexical ambiguity of a word type should correlate with how much information context provides about it, on average. To investigate whether this is the case, we operationalise the lexical ambiguity of a word as the entropy of meanings it can take, and provide two ways to estimate this one which requires human annotation (using WordNet), and one which does not (using BERT), making it readily applicable to a large number of languages. We validate these measures by showing that, on six high resource languages, there are significant Pearson correlations between our BERT based estimate of ambiguity and the number of synonyms a word has in WordNet (e.g. rho 0.40 in English). We then test our main hypothesis that a word's lexical ambiguity should negatively correlate with its contextual uncertainty and find significant correlations on all 18 typologically diverse languages we analyse. This suggests that, in the presence of ambiguity, speakers compensate by making contexts more informative.


Quantitative analysis of the co publications of Ukrainian scientists with the Nobel laureates 1994 2018 in Science. The Nobel Prize is awarded annually for outstanding scientific discoveries and inventions. Most scientific papers today are co authored by a large number of researchers. However, very few scientists can receive the Nobel Prize according to the Statutes of the Nobel Foundation. An analysis of the co authorship of the Nobel laureates will make it possible to identify employees of Ukrainian institutions who have collaborated with leading scientists of the world, whose scientific works were noted by Nobel. For the development of science in Ukraine it is important to study the successful experience of cooperation of domestic research institutions with leading world scientists and research centers, because international scientific collaboration facilitates the process of acquiring new knowledge, promotes mutual enrichment of ideas, efficient use of resources and expands opportunities for further use of research results. Using the Scopus database, selected publications of Nobel Prize winners, which were written in collaboration with scientists who worked in Ukrainian institutions. The data obtained indicate that the employees of scientific institutions of Ukraine published very few papers in collaborations with Nobel Prize winners of 1994 2018 in comparison with employees of institutions in leading countries in publishing activity.


Integrated Cutting and Packing Heterogeneous Precast Beams Multiperiod Production Planning Problem. We introduce a novel variant of cutting production planning problems named Integrated Cutting and Packing Heterogeneous Precast Beams Multiperiod Production Planning (ICP HPBMPP). We propose an integer linear programming model for the ICP HPBMPP, as well as a lower bound for its optimal objective function value, which is empirically shown to be closer to the optimal solution value than the bound obtained from the linear relaxation of the model. We also propose a genetic algorithm approach for the ICP HPBMPP as an alternative solution method. We discuss computational experiments and propose a parameterization for the genetic algorithm using D optimal experimental design. We observe good performance of the exact approach when solving small sized instances, although there are difficulties in finding optimal solutions for medium and large sized problems, or even in finding feasible solutions for large instances. On the other hand, the genetic algorithm could find good quality solutions for large sized instances within short computing times.


Convergence of generalized Collatz problem in k adic field. In this article, we define a new k adic series transformation called Z transformation and probe into its fixed point and periodicity. We extend the number field of the transform period problem to a wider k adic field. Different constraints are imposed on k, then different periodic columns are formed after finite Z transformations. We obtain that their periodic sequences are M1 1,2 and M2 1,2 cup n 0 cup n' respectively after derivation. As an application, it can provide a reference for C problems in more complex algebraic ystems.


Potential of attosecond coherent diffractive imaging. Attosecond science has been transforming our understanding of electron dynamics in atoms, molecules and solids. However, to date almost all of the attoscience experiments have been based on spectroscopic measurements because attosecond pulses have intrinsically very broad spectra due to the uncertainty principle and are incompatible with conventional imaging systems. Here we report an important advance towards achieving attosecond coherent diffractive imaging. Using simulated attosecond pulses, we simultaneously reconstruct the spectrum, 17 probes and 17 spectral images of extended objects from a set of ptychographic diffraction patterns. We further confirm the principle and feasibility of this method by successfully performing a ptychographic coherent diffractive imaging experiment using a light emitting diode with a broad spectrum. We believe this work clear the way to an unexplored domain of attosecond imaging science, which could have a far reaching impact across different disciplines.


Bounded hyperbolic components of bicritical rational maps. We prove that the hyperbolic components of bicritical rational maps having two distinct attracting cycles each of period at least two are bounded in the moduli space of bicritical rational maps. Our arguments rely on arithmetic methods.


Diagrammatic sets and rewriting in weak higher categories. We revisit Kapranov and Voevodsky's idea of spaces modelled on combinatorial pasting diagrams, now as a framework for higher dimensional rewriting and the basis of a model of weak omega categories. In the first part, we elaborate on Steiner's theory of directed complexes as a combinatorial foundation. We individuate convenient classes of directed complexes and develop the theory of diagrammatic sets relative to one such class. We study a notion of equivalence internal to a diagrammatic set, and single out as models of weak omega categories those diagrammatic sets whose every composable diagram is connected by an equivalence to a single cell. We then define a semistrict model providing algebraic composites and study the embedding of strict omega categories into this model. Finally, we prove a version of the homotopy hypothesis for the infinity groupoids in the weak model, and exhibit a specific mistake in a proof by Kapranov and Voevodsky that had previously been refuted indirectly.


Deep Pairwise Hashing for Cold start Recommendation. Recommendation efficiency and data sparsity problems have been regarded as two challenges of improving performance for online recommendation. Most of the previous related work focus on improving recommendation accuracy instead of efficiency. In this paper, we propose a Deep Pairwise Hashing (DPH) to map users and items to binary vectors in Hamming space, where a user's preference for an item can be efficiently calculated by Hamming distance, which significantly improves the efficiency of online recommendation. To alleviate data sparsity and cold start problems, the user item interactive information and item content information are unified to learn effective representations of items and users. Specifically, we first pre train robust item representation from item content data by a Denoising Auto encoder instead of other deterministic deep learning frameworks then we finetune the entire framework by adding a pairwise loss objective with discrete constraints moreover, DPH aims to minimize a pairwise ranking loss that is consistent with the ultimate goal of recommendation. Finally, we adopt the alternating optimization method to optimize the proposed model with discrete constraints. Extensive experiments on three different datasets show that DPH can significantly advance the state of the art frameworks regarding data sparsity and item cold start recommendation.


'UFAL at MRP 2020 Permutation invariant Semantic Parsing in PERIN. We present PERIN, a novel permutation invariant approach to sentence to graph semantic parsing. PERIN is a versatile, cross framework and language independent architecture for universal modeling of semantic structures. Our system participated in the CoNLL 2020 shared task, Cross Framework Meaning Representation Parsing (MRP 2020), where it was evaluated on five different frameworks (AMR, DRG, EDS, PTG and UCCA) across four languages. PERIN was one of the winners of the shared task. The source code and pretrained models are available at https github.com ufal perin.


On tensor fractions and tensor products in the category of stereotype spaces. We prove two identities that connect some natural tensor products in the category sf LCS of locally convex spaces with the tensor products in the category sf Ste of stereotype spaces. In particular, we give sufficient conditions under which the identity X vartriangle odot Y vartriangle cong (X vartriangle cdot Y vartriangle) vartriangle cong (X cdot Y) vartriangle holds, where odot is the injective tensor product in the category sf Ste , cdot , the primary tensor product in the category sf LCS , and vartriangle , the pseudosaturation operation in the category sf LCS . Studying the relations of this type is justified by the fact that they turn out to be important instruments for constructing duality theory based on the notion of envelope. In particular, they are used in the construction of the duality theory for the class of (not necessarily, Abelian) countable discrete groups.


Worst Cases Policy Gradients. Recent advances in deep reinforcement learning have demonstrated the capability of learning complex control policies from many types of environments. When learning policies for safety critical applications, it is essential to be sensitive to risks and avoid catastrophic events. Towards this goal, we propose an actor critic framework that models the uncertainty of the future and simultaneously learns a policy based on that uncertainty model. Specifically, given a distribution of the future return for any state and action, we optimize policies for varying levels of conditional Value at Risk. The learned policy can map the same state to different actions depending on the propensity for risk. We demonstrate the effectiveness of our approach in the domain of driving simulations, where we learn maneuvers in two scenarios. Our learned controller can dynamically select actions along a continuous axis, where safe and conservative behaviors are found at one end while riskier behaviors are found at the other. Finally, when testing with very different simulation parameters, our risk averse policies generalize significantly better compared to other reinforcement learning approaches.


Transferable Multi Domain State Generator for Task Oriented Dialogue Systems. Over dependence on domain ontology and lack of knowledge sharing across domains are two practical and yet less studied problems of dialogue state tracking. Existing approaches generally fall short in tracking unknown slot values during inference and often have difficulties in adapting to new domains. In this paper, we propose a Transferable Dialogue State Generator (TRADE) that generates dialogue states from utterances using a copy mechanism, facilitating knowledge transfer when predicting (domain, slot, value) triplets not encountered during training. Our model is composed of an utterance encoder, a slot gate, and a state generator, which are shared across domains. Empirical results demonstrate that TRADE achieves state of the art joint goal accuracy of 48.62 for the five domains of MultiWOZ, a human human dialogue dataset. In addition, we show its transferring ability by simulating zero shot and few shot dialogue state tracking for unseen domains. TRADE achieves 60.58 joint goal accuracy in one of the zero shot domains, and is able to adapt to few shot cases without forgetting already trained domains.


Pattern formation induced by intraspecific interactions in a predator prey system. Differential diffusion is a source of instability in population dynamics systems when species diffuse with different rates. Predator prey systems show this instability only under certain specific conditions, usually requiring Holling type functionals involved. Here we study the effects of intraspecific cooperation and competition on diffusion driven instability in a predator prey system with a different structure. We conduct the analysis on a generalized population dynamics that bounds intraspecific and interspecific interactions with Verhulst type saturation terms instead of Holling type functionals. We find that instability occurs due to the intraspecific saturation or intraspecific interactions, both cooperative and competitive. We present numerical simulations and show spatial patterns due to diffusion.


Cutting Corners. We define and study a class of subshifts of finite type (SFTs) defined by a family of allowed patterns of the same shape where, for any contents of the shape minus a corner, the number of ways to fill in the corner is the same. The main results are that for such an SFT, a locally legal pattern of convex shape is globally legal, and there is a measure that samples uniformly on all convex sets. Under suitable computability assumptions, this measure can be sampled, and legal configurations counted and enumerated, effectively and efficiently. We show by example that these subshifts need not admit a group (more generally unital magma or quasigroup) structure by shift commuting continuous operations. Our approach to convexity is axiomatic, and only requires an abstract convex geometry that is "midpointed with respect to the shape". We construct such convex geometries on several groups, in particular all strongly polycyclic groups and free groups. We also show some other methods for sampling finite patterns, one based on orderings and one based on contructing new "independent sets" from old. We also show a link to conjectures of Gottshalk and Kaplansky.


Stability equivalence among stochastic differential equations and stochastic differential equations with piecewise continuous arguments and corresponding Euler Maruyama methods. In this paper, we consider the equivalence of the p th moment exponential stability for stochastic differential equations (SDEs), stochastic differential equations with piecewise continuous arguments (SDEPCAs) and the corresponding Euler Maruyama methods EMSDEs and EMSDEPCAs. We show that if one of the SDEPCAs, SDEs, EMSDEs and EMSDEPCAs is p th moment exponentially stable, then any of them is p th moment exponentially stable for a sufficiently small step size h and tau under the global Lipschitz assumption on the drift and diffusion coefficients


Boxicity of Circulant Graph G k d . The boxicity of a graph G , denoted by box(G) , is the least positive integer ell such that G can be isomorphic to the intersection graph of a family of boxes in Euclidean ell space, where box in an Euclidean ell space is the Cartesian product of ell closed intervals on the real line. Let k and d be two positive integers with k geq 2d . The circulant graph G k d is the graph with vertices set V(G k d) a 0, a 1, ldots, a k 1 and edge set E(G k d) a i a j d leq i j leq k d . Denote chi(G) the chromatic number of a graph G . In cite Aki Akira Kamibeppu proved that box(G k d) leq chi(G k d) for some class of circulant graph G k d and raised the question that the same result holds for all circulant graph. In this short note, we prove that box(G k d) leq chi(G k d) , for all k and d with k geq 2d . This include all circulant graph G k d . Our proof is very simple and short. This answer the above question.


2D Solitons in PT symmetric photonic lattices. Parity time (PT) symmetry has attracted a lot of attention since the concept of pseudo Hermitian dynamics of open quantum systems was first demonstrated two decades ago. Contrary to their Hermitian counterparts, non conservative environments a priori do not show real energy eigenvalues and unitary evolution. However, if PT symmetry requirements are satisfied, even dissipative systems can exhibit real energy eigenvalues, thus ensuring energy conservation in the temporal average. In optics, PT symmetry can be readily introduced by incorporating, in a balanced way, regions having optical gain and loss. However, all optical realizations have been restricted so far to a single transverse dimension (1D) such as optical waveguide arrays. In many cases, only losses were modulated relying on a scaling argument being valid for linear systems only. Both restrictions crucially limit potential applications. Here, we present an experimental platform for investigating the interplay of PT symmetry and nonlinearity in two dimensions (2D) and observe nonlinear localization and soliton formation. Contrary to the typical dissipative solitons, we find a one parametric family of solitons which exhibit properties similar to its conservative counterpart. In the limit of high optical power, the solitons collapse on a discrete network and give rise to an amplified, self accelerating field.


Reflection principles, propositional proof systems, and theories. The reflection principle is the statement that if a sentence is provable then it is true. Reflection principles have been studied for first order theories, but they also play an important role in propositional proof complexity. In this paper we will revisit some results about the reflection principles for propositional proofs systems using a finer scale of reflection principles. We will use the result that proving lower bounds on Resolution proofs is hard in Resolution. This appeared first in the recent article of Atserias and M "uller as a key lemma and was generalized and simplified in some spin off papers. We will also survey some results about arithmetical theories and proof systems associated with them. We will show a connection between a conjecture about proof complexity of finite consistency statements and a statement about proof systems associated with a theory.


Classification of tiling C algebras. We prove that Kellendonk's C algebra of an aperiodic and repetitive tiling with finite local complexity is classifiable by the Elliott invariant. Our result follows from showing that tiling C algebras are mathcal Z stable, and hence have finite nuclear dimension. To prove mathcal Z stability, we extend Matui's notion of almost finiteness to the setting of 'etale groupoid actions following the footsteps of Kerr. To use some of Kerr's techniques we have developed a version of the Ornstein Weiss quasitiling theorem for general 'etale groupoids.


A Weighted Linear Matroid Parity Algorithm. The matroid parity (or matroid matching) problem, introduced as a common generalization of matching and matroid intersection problems, is so general that it requires an exponential number of oracle calls. Nevertheless, Lov 'asz (1980) showed that this problem admits a min max formula and a polynomial algorithm for linearly represented matroids. Since then efficient algorithms have been developed for the linear matroid parity problem. In this paper, we present a combinatorial, deterministic, polynomial time algorithm for the weighted linear matroid parity problem. The algorithm builds on a polynomial matrix formulation using Pfaffian and adopts a primal dual approach based on the augmenting path algorithm of Gabow and Stallmann (1986) for the unweighted problem.


Modulated Sparse Superposition Codes for the Complex AWGN Channel. This paper studies a generalization of sparse superposition codes (SPARCs) for communication over the complex additive white Gaussian noise (AWGN) channel. In a SPARC, the codebook is defined in terms of a design matrix, and each codeword is a generated by multiplying the design matrix with a sparse message vector. In the standard SPARC construction, information is encoded in the locations of the non zero entries of the message vector. In this paper we generalize the construction and consider modulated SPARCs, where information in encoded in both the locations and the values of the non zero entries of the message vector. We focus on the case where the non zero entries take values from a phase shift keying (PSK) constellation. We propose a computationally efficient approximate message passing (AMP) decoder, and obtain analytical bounds on the state evolution parameters which predict the error performance of the decoder. Using these bounds we show that PSK modulated SPARCs are asymptotically capacity achieving for the complex AWGN channel, with either spatial coupling or power allocation. We also provide numerical simulation results to demonstrate the error performance at finite code lengths. These results show that introducing modulation to the SPARC design can significantly reduce decoding complexity without sacrificing error performance.


Evidence based explanation to promote fairness in AI systems. As Artificial Intelligence (AI) technology gets more intertwined with every system, people are using AI to make decisions on their everyday activities. In simple contexts, such as Netflix recommendations, or in more complex context like in judicial scenarios, AI is part of people's decisions. People make decisions and usually, they need to explain their decision to others or in some matter. It is particularly critical in contexts where human expertise is central to decision making. In order to explain their decisions with AI support, people need to understand how AI is part of that decision. When considering the aspect of fairness, the role that AI has on a decision making process becomes even more sensitive since it affects the fairness and the responsibility of those people making the ultimate decision. We have been exploring an evidence based explanation design approach to 'tell the story of a decision'. In this position paper, we discuss our approach for AI systems using fairness sensitive cases in the literature.


Figurative Usage Detection of Symptom Words to Improve Personal Health Mention Detection. Personal health mention detection deals with predicting whether or not a given sentence is a report of a health condition. Past work mentions errors in this prediction when symptom words, i.e. names of symptoms of interest, are used in a figurative sense. Therefore, we combine a state of the art figurative usage detection with CNN based personal health mention detection. To do so, we present two methods a pipeline based approach and a feature augmentation based approach. The introduction of figurative usage detection results in an average improvement of 2.21 F score of personal health mention detection, in the case of the feature augmentation based approach. This paper demonstrates the promise of using figurative usage detection to improve personal health mention detection.


Expectation Versus Reality The Failed Evaluation of a Mixed Initiative Visualization System. Our research aimed to present the design and evaluation of a mixed initiative system that aids the user in handling complex datasets and dense visualization systems. We attempted to demonstrate this system with two trials of an online between groups, two by two study, measuring the effects of this mixed initiative system on user interactions and system usability. However, due to flaws in the interface design and the expectations that we put on users, we were unable to show that the adaptive system had an impact on user interactions or system usability. In this paper, we discuss the unexpected findings that we found from our "failed" experiments and examine how we can learn from our failures to improve further research.


WAN Watermarking Attack Network. Multi bit watermarking (MW) has been developed to improve robustness against signal processing operations and geometric distortions. To this end, benchmark tools that test robustness by applying simulated attacks on watermarked images are available. However, limitations in these general attacks exist since they cannot exploit specific characteristics of the targeted MW. In addition, these attacks are usually devised without consideration of visual quality, which rarely occurs in the real world. To address these limitations, we propose a watermarking attack network (WAN), a fully trainable watermarking benchmark tool that utilizes the weak points of the target MW and induces an inversion of the watermark bit, thereby considerably reducing the watermark extractability. To hinder the extraction of hidden information while ensuring high visual quality, we utilize a residual dense blocks based architecture specialized in local and global feature learning. A novel watermarking attack loss is introduced to break the MW systems. We empirically demonstrate that the WAN can successfully fool various block based MW systems. Moreover, we show that existing MW methods can be improved with the help of the WAN as an add on module.


Inverse problems on low dimensional manifolds. We consider abstract inverse problems between infinite dimensional Banach spaces. These inverse problems are typically nonlinear and ill posed, making the inversion with limited and noisy measurements a delicate process. In this work, we assume that the unknown belongs to a finite dimensional manifold this assumption arises in many real world scenarios where natural objects have a low intrinsic dimension and belong to a certain submanifold of a much larger ambient space. We prove uniqueness and H "older and Lipschitz stability results in this general setting, also in the case when only a finite discretization of the measurements is available. Then, a Landweber type reconstruction algorithm from a finite number of measurements is proposed, for which we prove global convergence, thanks to a new criterion for finding a suitable initial guess. These general results are then applied to several examples, including two classical nonlinear ill posed inverse boundary value problems. The first is Calder 'on's inverse conductivity problem, for which we prove a Lipschitz stability estimate from a finite number of measurements for piece wise constant conductivities with discontinuities on an unknown triangle. A similar stability result is then obtained for Gel'fand Calder 'on's problem for the Schr "odinger equation, in the case of piece wise constant potentials with discontinuities on a finite number of non intersecting balls.


Transducer Adaptive Ultrasound Volume Reconstruction. Reconstructed 3D ultrasound volume provides more context information compared to a sequence of 2D scanning frames, which is desirable for various clinical applications such as ultrasound guided prostate biopsy. Nevertheless, 3D volume reconstruction from freehand 2D scans is a very challenging problem, especially without the use of external tracking devices. Recent deep learning based methods demonstrate the potential of directly estimating inter frame motion between consecutive ultrasound frames. However, such algorithms are specific to particular transducers and scanning trajectories associated with the training data, which may not be generalized to other image acquisition settings. In this paper, we tackle the data acquisition difference as a domain shift problem and propose a novel domain adaptation strategy to adapt deep learning algorithms to data acquired with different transducers. Specifically, feature extractors that generate transducer invariant features from different datasets are trained by minimizing the discrepancy between deep features of paired samples in a latent space. Our results show that the proposed domain adaptation method can successfully align different feature distributions while preserving the transducer specific information for universal freehand ultrasound volume reconstruction.


A cardiac electromechanics model coupled with a lumped parameters model for closed loop blood circulation. Part I model derivation. We propose an integrated electromechanical model of the human heart, with focus on the left ventricle, wherein biophysically detailed models describe the different physical phenomena concurring to the cardiac function. We model the subcellular generation of active force by means of an Artificial Neural Network, which is trained by a suitable Machine Learning algorithm from a collection of pre computed numerical simulations of a biophysically detailed, yet computational demanding, high fidelity model. To provide physiologically meaningful results, we couple the 3D electromechanical model with a closed loop 0D (lumped parameters) model describing the blood circulation in the whole cardiovascular network. We prove that the 3D 0D coupling of the two models is compliant with the principle of energy conservation, which is achieved in virtue of energy consistent boundary conditions that account for the interaction among cardiac chambers within the computational domain, pericardium and surrounding tissue. We thus derive an overall balance of mechanical energy for the 3D 0D model. This provides a quantitative insight into the energy utilization, dissipation and transfer among the different compartments of the cardiovascular network and during different stages of the heartbeat. In virtue of this new model and the energy balance, we propose a new validation tool of heart energy usage against relationships used in the daily clinical practice. Finally, we provide a mathematical formulation of an inverse problem aimed at recovering the reference configuration of one or multiple cardiac chambers, starting from the stressed configuration acquired from medical imaging. This is fundamental to correctly initialize electromechanical simulations. Numerical methods and simulations of the 3D 0D model will be detailed in Part II.


BERTnesia Investigating the capture and forgetting of knowledge in BERT. Probing complex language models has recently revealed several insights into linguistic and semantic patterns found in the learned representations. In this paper, we probe BERT specifically to understand and measure the relational knowledge it captures. We utilize knowledge base completion tasks to probe every layer of pre trained as well as fine tuned BERT (ranking, question answering, NER). Our findings show that knowledge is not just contained in BERT's final layers. Intermediate layers contribute a significant amount (17 60 ) to the total knowledge found. Probing intermediate layers also reveals how different types of knowledge emerge at varying rates. When BERT is fine tuned, relational knowledge is forgotten but the extent of forgetting is impacted by the fine tuning objective but not the size of the dataset. We found that ranking models forget the least and retain more knowledge in their final layer. We release our code on github to repeat the experiments.


A Lagrange Multiplier Expression Method for Bilevel Polynomial Optimization. This paper studies bilevel polynomial optimization problems. To solve them, we give a method based on polynomial optimization relaxations. Each relaxation is obtained from the Kurash Kuhn Tucker (KKT) conditions for the lower level optimization and the exchange technique for semi infinite programming. For KKT conditions, Lagrange multipliers are represented as polynomial or rational functions. The Moment SOS relaxations are used to solve the polynomial optimizattion relaxations. Under some general assumptions, we prove the convergence of the algorithm for solving bilevel polynomial optimization problems. Numerical experiments are presented to show the efficiency of the method.


Vehicular Multi object Tracking with Persistent Detector Failures. Autonomous vehicles often perceive the environment by feeding sensor data to a learned detector algorithm, then feeding detections to a multi object tracker that models object motions over time. Probabilistic models of multi object trackers typically assume that errors in the detector algorithm occur randomly over time. We instead assume that undetected objects and false detections will persist in certain conditions, and modify the tracking framework to account for them. The modifications are tested on a vehicle tracking dataset using a state of the art lidar based detector, a novel lightweight detector, and a fusion of camera and lidar detectors. For each detector, the persistence modifications notably improve performance and enable the model to outperform baseline trackers.


Hausdorff Measures, Dyadic Approximations and Dobi 'nski Set. Dobi 'nski set mathcal D is an exceptional set for a certain infinite product identity, whose points are characterized as having exceedingly good approximations by dyadic rationals. We study the Hausdorff dimension and logarithmic measure of mathcal D by means of the Mass Transference Principle and by the construction of certain appropriate Cantor like sets, termed willow sets, contained in mathcal D .


An abstract approach to the Crouzeix conjecture. Let A be a uniform algebra, theta A to M n( mathbb C ) be a continuous homomorphism and alpha A to A be an antilinear contraction such that theta(f) theta( alpha(f)) le 2 f quad(f in A). We show that theta le 1 sqrt 2 , and that 1 sqrt2 is sharp. We conjecture that, if further alpha(1) 1 , then we may conclude that theta le2 . This would yield a positive solution to the Crouzeix conjecture on numerical ranges. In support of our conjecture, we prove that it is true in two special cases. We also discuss a completely bounded version of our conjecture that brings into play ideas from dilation theory.


A unified Eulerian framework for multimaterial continuum mechanics. A framework for simulating the interactions between multiple different continua is presented. Each constituent material is governed by the same set of equations, differing only in terms of their equations of state and strain dissipation functions. The interfaces between any combination of fluids, solids, and vacuum are handled by a new Riemann Ghost Fluid Method, which is agnostic to the type of material on either side (depending only on the desired boundary conditions). The Godunov Peshkov Romenski (GPR) model is used for modeling the continua (having recently been used to solve a range of problems involving Newtonian and non Newtonian fluids, and elastic and elastoplastic solids), and this study represents a novel approach for handling multimaterial problems under this model. The resulting framework is simple, yet capable of accurately reproducing a wide range of different physical scenarios. It is demonstrated here to accurately reproduce analytical results for known Riemann problems, and to produce expected results in other cases, including some featuring heat conduction across interfaces, and impact induced deformation and detonation of combustible materials. The framework thus has the potential to streamline development of simulation software for scenarios involving multiple materials and phases of matter, by reducing the number of different systems of equations that require solvers, and cutting down on the amount of theoretical work required to deal with the interfaces between materials.


Compact mixed integer programming relaxations in quadratic optimization. We present a technique for producing valid dual bounds for nonconvex quadratic optimization problems. The approach leverages an elegant piecewise linear approximation for univariate quadratic functions due to Yarotsky, formulating this (simple) approximation using mixed integer programming (MIP). Notably, the number of constraints, binary variables, and auxiliary continuous variables used in this formulation grows logarithmically in the approximation error. Combining this with a diagonal perturbation technique to convert a nonseparable quadratic function into a separable one, we present a mixed integer convex quadratic relaxation for nonconvex quadratic optimization problems. We study the strength (or sharpness) of our formulation and the tightness of its approximation. Further, we show that our formulation represents feasible points via a Gray code. We close with computational results on problems with quadratic objectives and or constraints, showing that our proposed method i) across the board outperforms existing MIP relaxations from the literature, and ii) on hard instances produces better bounds than exact solvers within a fixed time budget.


On Algebraic Abstractions for Concurrent Separation Logics. Concurrent separation logic is distinguished by transfer of state ownership upon parallel composition and framing. The algebraic structure that underpins ownership transfer is that of partial commutative monoids (PCMs). Extant research considers ownership transfer primarily from the logical perspective while comparatively less attention is drawn to the algebraic considerations. This paper provides an algebraic formalization of ownership transfer in concurrent separation logic by means of structure preserving partial functions (i.e., morphisms) between PCMs, and an associated notion of separating relations. Morphisms of structures are a standard concept in algebra and category theory, but haven't seen ubiquitous use in separation logic before. Separating relations are binary relations that generalize disjointness and characterize the inputs on which morphisms preserve structure. The two abstractions facilitate verification by enabling concise ways of writing specs, by providing abstract views of threads' states that are preserved under ownership transfer, and by enabling user level construction of new PCMs out of existing ones.


Tensoring volatility calibration. Inspired by a series of remarkable papers in recent years that use Deep Neural Nets to substantially speed up the calibration of pricing models, we investigate the use of Chebyshev Tensors instead of Deep Neural Nets. Given that Chebyshev Tensors can be, under certain circumstances, more efficient than Deep Neural Nets at exploring the input space of the function to be approximated, due to their exponential convergence, the problem of calibration of pricing models seems, a priori, a good case where Chebyshev Tensors can excel. In this piece of research, we built Chebyshev Tensors, either directly or with the help of the Tensor Extension Algorithms, to tackle the computational bottleneck associated with the calibration of the rough Bergomi volatility model. Results are encouraging as the accuracy of model calibration via Chebyshev Tensors is similar to that when using Deep Neural Nets, but with building efforts that range between 5 and 100 times more efficient in the experiments run. Our tests indicate that when using Chebyshev Tensors, the calibration of the rough Bergomi volatility model is around 40,000 times more efficient than if calibrated via brute force (using the pricing function).


DeLottery A Novel Decentralized Lottery System Based on Blockchain Technology. In this paper, we design DeLottery, a decentralized lottery system based on block chain technology and smart contracts. Lottery is a classical form of entertainment and charity for centuries. Facing the bottleneck of the combination between lottery and information technology, we use smart contracts and blockchain in decentralized, intelligent, and secure systems for lottery industries. Moreover, we are inspired by the algorithm of RANDAO, an outstanding way of random number generation in blockchain scenario. The components and the functions of the novel system are described in details. We implement DeLottery in a blockchain network and show functioning procedure and security of the proposed lottery system.


A novel metric for community detection. Research into detection of dense communities has recently attracted increasing attention within network science, various metrics for detection of such communities have been proposed. The most popular metric Modularity is based on the so called rule that the links within communities are denser than external links among communities, has become the default. However, this default metric suffers from ambiguity, and worse, all augmentations of modularity and based on a narrow intuition of what it means to form a "community". We argue that in specific, but quite common systems, links within a community are not necessarily more common than links between communities. Instead we propose that the defining characteristic of a community is that links are more predictable within a community rather than between communities. In this paper, based on the effect of communities on link prediction, we propose a novel metric for the community detection based directly on this feature. We find that our metric is more robustness than traditional modularity. Consequently, we can achieve an evaluation of algorithm stability for the same detection algorithm in different networks. Our metric also can directly uncover the false community detection, and infer more statistical characteristics for detection algorithms.


Building High Quality Auction Fraud Dataset. Given the magnitude of online auction transactions, it is difficult to safeguard consumers from dishonest sellers, such as shill bidders. To date, the application of Machine Learning Techniques (MLTs) to auction fraud has been limited, unlike their applications for combatting other types of fraud. Shill Bidding (SB) is a severe auction fraud, which is driven by modern day technologies and clever scammers. The difficulty of identifying the behavior of sophisticated fraudsters and the unavailability of training datasets hinder the research on SB detection. In this study, we developed a high quality SB dataset. To do so, first, we crawled and preprocessed a large number of commercial auctions and bidders' history as well. We thoroughly preprocessed both datasets to make them usable for the computation of the SB metrics. Nevertheless, this operation requires a deep understanding of the behavior of auctions and bidders. Second, we introduced two new SB pattern s and implemented other existing SB patterns. Finally, we removed outliers to improve the quality of training SB data.


Explicit Form Of Extremal Functions In The Embedding Constant Problem For Sobolev SpacesI. The embedding constants of the Sobolev spaces mathring W n 2 0 1 hookrightarrow mathring W k infty 0 1 ( 0 leqslant k leqslant n 1 ) are studied. A relation of the embedding constants with the norms of the functionals f mapsto f (k) (a) in the space mathring W n 2 0 1 is given. An explicit form of the functions g n k in mathring W n 2 0 1 on which these functionals attain their norm is found. These functions are also to be extremal for the embedding constants. A relation of the embedding constants to the Legendre polynomials is put forward. A detailed study is made of the embedding constants with k 3 and k 5 we found explicit formulas for extreme points, calculate global maximum points, and give the values of the sharp embedding constants. A link between the embedding constants and some class of spectral problems with distribution coefficients is discovered.


Extremal parameters and their duals for Fuchsian boundary maps. We describe arithmetic cross sections for geodesic flow on compact surfaces of constant negative curvature using generalized Bowen Series boundary maps and their natural extensions associated to cocompact torsion free Fuchsian groups. If the boundary map parameters are extremal, that is, each is an endpoint of a geodesic that extends a side of the fundamental polygon, then the natural extension map has a domain with finite rectangular structure, and the associated arithmetic cross section is parametrized by this set. This construction allows us to represent the geodesic flow as a special flow over a symbolic system of coding sequences. Moreover, each extremal parameter has a corresponding dual parameter choice such that the "past" of the arithmetic code of a geodesic is the "future" for the code using the dual parameter. This duality was observed for two classical parameter choices by Adler and Flatto here we show constructively that every extremal parameter set has a dual.


Novel Randomized Placement for FPGA Based Robust ROPUF with Improved Uniqueness. The physical unclonable functions (PUF) are used to provide software as well as hardware security for the cyber physical systems. They have been used for performing significant cryptography tasks such as generating keys, device authentication, securing against IP piracy, and to produce the root of trust as well. However, they lack in reliability metric. We present a novel approach for improving the reliability as well as the uniqueness of the field programmable gated arrays (FPGAs) based ring oscillator PUF and derive a random number, consuming very small area ( 1 ) concerning look up tables (LUTs). We use frequency profiling method for distributing frequency variations in ring oscillators (RO), spatially placed all across the FPGA floor. We are able to spot suitable locations for RO mapping, which leads to enhanced ROPUF reliability. We have evaluated the proposed methodology on Xilinx 7 series FPGAs and tested the robustness against environmental variations, e.g. temperature and supply voltage variations, simultaneously. The proposed approach achieves significant improvement (i) in uniqueness value upto 49 90 , within 0.1 of the theoretical value (ii) in the reliability value upto 99 70 , which signifies that less than 1 bit flipping has been observed on average, and (iii) in randomness, signified by passing NIST test suite. The response generated through the ROPUF passes all the applicable relevant tests of NIST uniformity statistical test suite.


All Epitaxial Fabrication of a Nanowire Plasmon Laser Structure. An all epitaxial approach was demonstrated to create coaxial plasmon laser structures composed of an alumi num plasmonic metal SiNx dielectric InGaN quantum well shell surrounding a p GaN nanowire core. Strong UV lumi nescence was observed from as grown vertically aligned arrays as well as horizontally aligned nanowires transferred to a transparent carrier wafer.


Comments on the "Generalized" KLJN Key Exchanger with Arbitrary Resistors Power, Impedance, Security. In (Nature) Science Report 5 (2015) 13653, Vadai, Mingesz and Gingl (VMG) introduce a new Kirchhoff law Johnson noise (KLJN) secure key exchanger that operates with 4 arbitrary resistors (instead of 2 arbitrary resistance values forming 2 identical resistor pairs in the original system). They state that in this new, VMG KLJN, non equilibrium system with nonzero power flow, the security during the exchange of the two (HL and LH) bit values is as strong as in the original KLJN scheme. Moreover, they claim that, at practical conditions, their VMG KLJN protocol "supports more robust protection against attacks". First, we investigate the power flow and thermal equilibrium issues of the VMG KLJN system with 4 arbitrary resistors. Then we introduce a new KLJN protocol that allows the arbitrary choice of 3 resistors from the 4, while it still operates with zero power flow during the exchange of single bits by utilizing a specific value of the 4th resistor and a binary temperature set for the exchanged (HL and LH) bit values. Then we show that, in general, the KLJN schemes with more than 2 arbitrary resistors (including our new protocol mentioned above) are prone to 4 new passive attacks utilizing the parasitic capacitance and inductance in the cable, while the original KLJN scheme is naturally immune against these new attacks. The core of the security vulnerability exploited by these attacks is the different line resistances in the HL and LH cases. Therefore, on the contrary of the statement and claim cited above, the practical VMG KLJN system is less secure than the original KLJN scheme. We introduce another 2, modified, non equilibrium KLJN systems to eliminate the vulnerability against some but not all of these attacks. However the price for that is the loss of arbitrariness of the selection of the 4th resistor and the information leak still remains greater than zero.


Liouville theorem for steady state solutions of simplified Ericksen Leslie system. In this paper, we investigate the steady simplified Ericksen Leslie system. For three dimension, we obtain Liouville theorems if u and nabla d satisfy the Galdi's 1 condition, or some decay conditions. Note that the simplified Ericksen Leslie system becomes Navier Stokes equations when d is constant vector.


Latency Sensitive Web Service Workflows A Case for a Software Defined Internet. The Internet, at large, remains under the control of service providers and autonomous systems. The Internet of Things (IoT) and edge computing provide an increasing demand and potential for more user control for their web service workflows. Network Softwarization revolutionizes the network landscape in various stages, from building, incrementally deploying, and maintaining the environment. Software Defined Networking (SDN) and Network Functions Virtualization (NFV) are two core tenets of network softwarization. SDN offers a logically centralized control plane by abstracting away the control of the network devices in the data plane. NFV virtualizes dedicated hardware middleboxes and deploys them on top of servers and data centers as network functions. Thus, network softwarization enables efficient management of the system by enhancing its control and improving the reusability of the network services. In this work, we propose our vision for a Software Defined Internet (SDI) for latency sensitive web service workflows. SDI extends network softwarization to the Internet scale, to enable a latency aware user workflow execution on the Internet.


Stability criteria for positive linear discrete time systems. We prove new characterisations of exponential stability for positive linear discrete time systems in ordered Banach spaces, in terms of small gain conditions. Such conditions have played an important role in the finite dimensional systems theory, but are relatively unexplored in the infinite dimensional setting, yet. Our results are applicable to discrete time systems in ordered Banach spaces that have a normal and generating positive cone. Moreover, we show that our stability criteria can be considerably simplified if the cone has non empty interior or if the operator under consideration is quasi compact. To place our results into context we include an overview of known stability criteria for linear (and not necessarily positive) operators and provide full proofs for several folklore characterizations from this domain.


A Poisson limit theorem for Gibbs Markov maps. We prove for Gibbs Markov maps that the number of visits to a sequence of shrinking sets with bounded cylindrical lengths converges in distribution to a Poisson law. Applying to continued fractions, this result extends Doeblin's Poisson limit theorem.


Faster Deterministic All Pairs Shortest Paths in Congest Model. We present a new deterministic algorithm for distributed weighted all pairs shortest paths (APSP) in both undirected and directed graphs. Our algorithm runs in tilde O (n 4 3 ) rounds in the Congest models on graphs with arbitrary edge weights, and it improves on the previous tilde O (n 3 2 ) bound of Agarwal et al. ARKP18 . The main components of our new algorithm are a new faster technique for constructing blocker set deterministically and a new pipelined method for deterministically propagating distance values from source nodes to the blocker set nodes in the network. Both of these techniques have potential applications to other distributed algorithms. Our new deterministic algorithm for computing blocker set adapts the NC approximate hypergraph set cover algorithm in BRS94 to the distributed construction of a blocker set. It follows the two step process of first designing a randomized algorithm that uses only pairwise independence, and then derandomizes this algorithm using a sample space of linear size. This algorithm runs in almost the same number of rounds as the initial step in our APSP algorithm that computes h hops shortest paths, and significantly improves on the deterministic blocker set algorithms in ARKP18, AR19 by removing an additional n cdot Q term in the round bound, where Q is the blocker set. The other new component in our APSP algorithm is a deterministic pipelined approach to propagate distance values from source nodes to blocker nodes. We use a simple natural round robin method for this step, and we show using a suitable progress measure that it achieve the tilde O (n 4 3 ) bound on the number of rounds. It appears that the standard deterministic methods for efficiently broadcasting multiple values, and for sending or receiving messages using the routing schedule in HPDG 19,LSP19 do not apply to this setting.


Fast Statistical Iterative Reconstruction for MVCT in TomoTherapy. Statistical iterative reconstruction is expected to improve the image quality of megavoltage computed tomography (MVCT). However, one of the challenges of iterative reconstruction is its large computational cost. The purpose of this work is to develop a fast iterative reconstruction algorithm by combining several iterative techniques and by optimizing reconstruction parameters. Megavolt projection data was acquired from a TomoTherapy system and reconstructed using our statistical iterative reconstruction. Total variation was used as the regularization term and the weight of the regularization term was determined by evaluating signal to noise ratio (SNR), contrast to noise ratio (CNR), and visual assessment of spatial resolution using Gammex and Cheese phantoms. Gradient decent with an adaptive convergence parameter, ordered subset expectation maximization (OSEM), and CPU GPU parallelization were applied in order to accelerate the present reconstruction algorithm. The SNR and CNR of the iterative reconstruction were several times better than that of filtered back projection (FBP). The GPU parallelization code combined with the OSEM algorithm reconstructed an image several hundred times faster than a CPU calculation. With 500 iterations, which provided good convergence, our method produced a 512 times 512 pixel image within a few seconds. The image quality of the present algorithm was much better than that of FBP for patient data. An image from the iterative reconstruction in TomoTherapy can be obtained within few seconds by fine tuning the parameters. The iterative reconstruction with GPU was fast enough for clinical use, and largely improve the MVCT images.


Homotopes of finite dimensional algebras. In this article we study homotopes of finite dimensional algebras (not necessarily, associative). In the case of associative algebras we study homotopes by methods of Category theory and give description of so called well tempered elements of finite dimensional associative algebra in algebraic terms.


Distant Learning for Entity Linking with Automatic Noise Detection. Accurate entity linkers have been produced for domains and languages where annotated data (i.e., texts linked to a knowledge base) is available. However, little progress has been made for the settings where no or very limited amounts of labeled data are present (e.g., legal or most scientific domains). In this work, we show how we can learn to link mentions without having any labeled examples, only a knowledge base and a collection of unannotated texts from the corresponding domain. In order to achieve this, we frame the task as a multi instance learning problem and rely on surface matching to create initial noisy labels. As the learning signal is weak and our surrogate labels are noisy, we introduce a noise detection component in our model it lets the model detect and disregard examples which are likely to be noisy. Our method, jointly learning to detect noise and link entities, greatly outperforms the surface matching baseline. For a subset of entity categories, it even approaches the performance of supervised learning.


cs.SI cs.DM physics.data-an physics.soc-ph

On the Structural Properties of Social Networks and their Measurement calibrated Synthetic Counterparts. Data driven analysis of large social networks has attracted a great deal of research interest. In this paper, we investigate 120 real social networks and their measurement calibrated synthetic counterparts generated by four well known network models. We investigate the structural properties of the networks revealing the correlation profiles of graph metrics across various social domains (friendship networks, communication networks, and collaboration networks). We find that the correlation patterns differ across domains. We identify a non redundant set of metrics to describe social networks. We study which topological characteristics of real networks the models can or cannot capture. We find that the goodness of fit of the network models depends on the domains. Furthermore, while 2K and stochastic block models lack the capability of generating graphs with large diameter and high clustering coefficient at the same time, they can still be used to mimic social networks relatively efficiently.


An Accurate Edge based FEM for Electromagnetic Analysis with Its Applications to Multiscale Structures. This paper introduces an accurate edge based smoothed finite element method (ES FEM) for electromagnetic analysis for both two dimensional cylindrical and three dimensional cartesian systems, which shows much better performance in terms of accuracy and numerical stability for mesh distortion compared with the traditional FEM. Unlike the traditional FEM, the computational domain in ES FEM is divided into nonoverlapping smoothing domains associated with each edge of elements, triangles in two dimensional domain and tetrahedrons in three dimensional domain. Then, the gradient smoothing technique (GST) is used to smooth the gradient components in the stiff matrix of the FEM. Several numerical experiments are carried out to validate its accuracy and numerical stability. Numerical results show that the ES FEM can obtain much more accurate results and is almost independent of mesh distortion.


Polychromatic colorings of 1 regular and 2 regular subgraphs of complete graphs. If G is a graph and mathcal H is a set of subgraphs of G , we say that an edge coloring of G is mathcal H polychromatic if every graph from mathcal H gets all colors present in G on its edges. The mathcal H polychromatic number of G , denoted operatorname poly mathcal H (G) , is the largest number of colors in an mathcal H polychromatic coloring. In this paper we determine operatorname poly mathcal H (G) exactly when G is a complete graph on n vertices, q is a fixed nonnegative integer, and mathcal H is one of three families the family of all matchings spanning n q vertices, the family of all 2 regular graphs spanning at least n q vertices, and the family of all cycles of length precisely n q . There are connections with an extension of results on Ramsey numbers for cycles in a graph.


Learning Assisted Side Channel Delay Test for Detection of Recycled ICs. With the outsourcing of design flow, ensuring the security and trustworthiness of integrated circuits has become more challenging. Among the security threats, IC counterfeiting and recycled ICs have received a lot of attention due to their inferior quality, and in turn, their negative impact on the reliability and security of the underlying devices. Detecting recycled ICs is challenging due to the effect of process variations and process drift occurring during the chip fabrication. Moreover, relying on a golden chip as a basis for comparison is not always feasible. Accordingly, this paper presents a recycled IC detection scheme based on delay side channel testing. The proposed method relies on the features extracted during the design flow and the sample delays extracted from the target chip to build a Neural Network model using which the target chip can be truly identified as new or recycled. The proposed method classifies the timing paths of the target chip into two groups based on their vulnerability to aging using the information collected from the design and detects the recycled ICs based on the deviation of the delay of these two sets from each other.


Streak artifacts from non convex metal objects in X ray tomography. We study artifacts in the reconstruction of X ray tomography due to nonlinear effects. For non convex metal objects, we analyze the new phenomena of streak artifacts from inflection points on the boundary of metal objects. We characterize the location and strength of all possible artifacts using notions of conormal distributions associated with the proper geometry.


Splitting methods for Fourier spectral discretizations of the strongly magnetized Vlasov Poisson and the Vlasov Maxwell system. Fourier spectral discretizations belong to the most straightforward methods for solving the unmagnetized Vlasov Poisson system in low dimensions. In this article, this highly accurate approach is extended two the four dimensional magnetized Vlasov Poisson system with new splitting methods suited for strong magnetic fields. Consequently, a comparison to the asymptotic fluid model is provided at the example of a turbulent Kelvin Helmholtz instability. For the three dimensional electromagnetic Vlasov Maxwell system different novel charge conserving implementations of a Hamiltonian splitting are discussed and simulation results of the Weibel streaming instability are presented.


Interval Algorithm for Random Number Generation Information Spectrum Approach. The problem of exactly generating a general random process (target process) by using another general random process (coin process) is studied. The performance of the interval algorithm, introduced by Han and Hoshi, is analyzed from the perspective of information spectrum approach. When either the coin process or the target process has one point spectrum, the asymptotic optimality of the interval algorithm among any random number generation algorithms is proved, which demonstrates utility of the interval algorithm beyond the ergodic process. Furthermore, the feasibility condition of exact random number generation is also elucidated. Finally, the obtained general results are illustrated by the case of generating a Markov process from another Markov process.


Patterns of Multiplex Layer Entanglement across Real and Synthetic Networks. Real world complex networks often exhibit multiplex structure, connecting entities from different aspects of physical systems such as social, transportation and biological networks. Little is known about general properties of such networks across disciplines. In this work, we first investigate how consistent are connectivity patterns across 35 real world multiplex networks. We demonstrate that entanglement homogeneity and intensity, two measures of layer consistency, indicate apparent differences between social and biological networks. We also investigate trade, co authorship and transport networks. We show that real networks can be separated in the joint space of homogeneity and intensity, demonstrating the usefulness of the two measures for categorization of real multiplex networks. Finally, we design a multiplex network generator, where similar patterns (as observed in real networks), are emerging over the analysis of 11 , 905 synthetic multiplex networks with various topological properties.


Colding Minicozzi Entropy in Hyperbolic Space. This note introduces a notion of entropy for submanifolds of hyperbolic space analogous to the one introduced by Colding and Minicozzi for submanifolds of Euclidean space. Several properties are proved for this quantity including monotonicity along mean curvature flow in low dimensions and a connection with the conformal volume.


Brief Announcement Does Preprocessing Help under Congestion?. This paper investigates the power of preprocessing in the CONGEST model. Schmid and Suomela (ACM HotSDN 2013) introduced the SUPPORTED CONGEST model to study the application of distributed algorithms in Software Defined Networks (SDNs). In this paper, we show that a large class of lower bounds in the CONGEST model still hold in the SUPPORTED model, highlighting the robustness of these bounds. This also raises the question how much does preprocessing help in the CONGEST model.


Analyzing resilience of interest based social networks against node and link failures. In typical online social networks, users are linked by symmetric friend relations and can define circles of friends based on shared interests. In this paper, we look at social networks where users form links subject to both friendships and shared interests. Our goal is to understand resilience of these networks in terms of connectivity when both nodes and links are allowed to fail. We derive a zero one law as well as the asymptotically exact probability result for connectivity under both node and link failures. The results answer the question of how to set the network parameters such that reliable message dissemination can be achieved. We formally prove the results and confirm the results via experiments as well.


Equilibrium measures of the natural extension of beta shifts. We give a necessary and sufficient condition on beta of the natural extension of a beta shift, so that any equilibrium measure for a function of bounded total oscillations is a weak Gibbs measure.


Learning Hierarchically Structured Concepts. We study the question of how concepts that have structure get represented in the brain. Specifically, we introduce a model for hierarchically structured concepts and we show how a biologically plausible neural network can recognize these concepts, and how it can learn them in the first place. Our main goal is to introduce a general framework for these tasks and prove formally how both (recognition and learning) can be achieved. We show that both tasks can be accomplished even in presence of noise. For learning, we analyze Oja's rule formally, a well known biologically plausible rule for adjusting the weights of synapses. We complement the learning results with lower bounds asserting that, in order to recognize concepts of a certain hierarchical depth, neural networks must have a corresponding number of layers.


Extended Markov Games to Learn Multiple Tasks in Multi Agent Reinforcement Learning. The combination of Formal Methods with Reinforcement Learning (RL) has recently attracted interest as a way for single agent RL to learn multiple task specifications. In this paper we extend this convergence to multi agent settings and formally define Extended Markov Games as a general mathematical model that allows multiple RL agents to concurrently learn various non Markovian specifications. To introduce this new model we provide formal definitions and proofs as well as empirical tests of RL algorithms running on this framework. Specifically, we use our model to train two different logic based multi agent RL algorithms to solve diverse settings of non Markovian co safe LTL specifications.


Neural Learning of Online Consumer Credit Risk. This paper takes a deep learning approach to understand consumer credit risk when e commerce platforms issue unsecured credit to finance customers' purchase. The "NeuCredit" model can capture both serial dependences in multi dimensional time series data when event frequencies in each dimension differ. It also captures nonlinear cross sectional interactions among different time evolving features. Also, the predicted default probability is designed to be interpretable such that risks can be decomposed into three components the subjective risk indicating the consumers' willingness to repay, the objective risk indicating their ability to repay, and the behavioral risk indicating consumers' behavioral differences. Using a unique dataset from one of the largest global e commerce platforms, we show that the inclusion of shopping behavioral data, besides conventional payment records, requires a deep learning approach to extract the information content of these data, which turns out significantly enhancing forecasting performance than the traditional machine learning methods.


The distributions under two species tree models of the number of root ancestral configurations for matching gene trees and species trees. For a pair consisting of a gene tree and a species tree, the ancestral configurations at an internal node of the species tree are the distinct sets of gene lineages that can be present at that node. Ancestral configurations appear in computations of gene tree probabilities under evolutionary models conditional on fixed species trees, and the enumeration of root ancestral configurations ancestral configurations at the root of the species tree assists in describing the complexity of these computations. In the case that the gene tree matches the species tree in topology, we study the distribution of the number of root ancestral configurations of a random labeled tree topology under each of two models.


Lower bounds for the state complexity of probabilistic languages and the language of prime numbers. This paper studies the complexity of languages of finite words using automata theory. To go beyond the class of regular languages, we consider infinite automata and the notion of state complexity defined by Karp. Motivated by the seminal paper of Rabin from 1963 introducing probabilistic automata, we study the (deterministic) state complexity of probabilistic languages and prove that probabilistic languages can have arbitrarily high deterministic state complexity. We then look at alternating automata as introduced by Chandra, Kozen and Stockmeyer such machines run independent computations on the word and gather their answers through boolean combinations. We devise a lower bound technique relying on boundedly generated lattices of languages, and give two applications of this technique. The first is a hierarchy theorem, stating that there are languages of arbitrarily high polynomial alternating state complexity, and the second is a linear lower bound on the alternating state complexity of the prime numbers written in binary. This second result strengthens a result of Hartmanis and Shank from 1968, which implies an exponentially worse lower bound for the same model.


Combining multi site Magnetic Resonance Imaging with machine learning predicts survival in paediatric brain tumours. Background Brain tumours represent the highest cause of mortality in the paediatric oncological population. Diagnosis is commonly performed with magnetic resonance imaging and spectroscopy. Survival biomarkers are challenging to identify due to the relatively low numbers of individual tumour types, especially for rare tumour types such as atypical rhabdoid tumours. Methods 69 children with biopsy confirmed brain tumours were recruited into this study. All participants had both perfusion and diffusion weighted imaging performed at diagnosis. Data were processed using conventional methods, and a Bayesian survival analysis performed. Unsupervised and supervised machine learning were performed with the survival features, to determine novel sub groups related to survival. Sub group analysis was undertaken to understand differences in imaging features, which pertain to survival. Findings Survival analysis showed that a combination of diffusion and perfusion imaging were able to determine two novel sub groups of brain tumours with different survival characteristics (p 0.01), which were subsequently classified with high accuracy (98 ) by a neural network. Further analysis of high grade tumours showed a marked difference in survival (p 0.029) between the two clusters with high risk and low risk imaging features. Interpretation This study has developed a novel model of survival for paediatric brain tumours, with an implementation ready for integration into clinical practice. Results show that tumour perfusion plays a key role in determining survival in brain tumours and should be considered as a high priority for future imaging protocols.


Generating Adversarial yet Inconspicuous Patches with a Single Image. Deep neural networks have been shown vulnerable toadversarial patches, where exotic patterns can resultin models wrong prediction. Nevertheless, existing ap proaches to adversarial patch generation hardly con sider the contextual consistency between patches andthe image background, causing such patches to be eas ily detected and adversarial attacks to fail. On the otherhand, these methods require a large amount of data fortraining, which is computationally expensive. To over come these challenges, we propose an approach to gen erate adversarial yet inconspicuous patches with onesingle image. In our approach, adversarial patches areproduced in a coarse to fine way with multiple scalesof generators and discriminators. Contextual informa tion is encoded during the Min Max training to makepatches consistent with surroundings. The selection ofpatch location is based on the perceptual sensitivity ofvictim models. Through extensive experiments, our ap proach shows strong attacking ability in both the white box and black box setting. Experiments on saliency de tection and user evaluation indicate that our adversar ial patches can evade human observations, demonstratethe inconspicuousness of our approach. Lastly, we showthat our approach preserves the attack ability in thephysical world.


Zooming Cautiously Linear Memory Heuristic Search With Node Expansion Guarantees. We introduce and analyze two parameter free linear memory tree search algorithms. Under mild assumptions we prove our algorithms are guaranteed to perform only a logarithmic factor more node expansions than A when the search space is a tree. Previously, the best guarantee for a linear memory algorithm under similar assumptions was achieved by IDA , which in the worst case expands quadratically more nodes than in its last iteration. Empirical results support the theory and demonstrate the practicality and robustness of our algorithms. Furthermore, they are fast and easy to implement.


Optimal periodic structures with general space group symmetries in the Ohta Kawasaki problem. We consider the problem of rigorously computing periodic minimizers to the Ohta Kawasaki energy. We develop a method to prove existence of solutions and determine rigorous bounds on the distance between our numerical approximations and the true infinite dimensional solution and also on the energy. We use a method with prescribed symmetries to explore the phase space, computing candidate minimizers both with and without experimentally observed symmetries. We find qualitative differences between the phase diagram of the Ohta Kawasaki energy and self consistent field theory when well away form the weak segregation limit.


An Evaluation of Two Commercial Deep Learning Based Information Retrieval Systems for COVID 19 Literature. The COVID 19 pandemic has resulted in a tremendous need for access to the latest scientific information, primarily through the use of text mining and search tools. This has led to both corpora for biomedical articles related to COVID 19 (such as the CORD 19 corpus (Wang et al., 2020)) as well as search engines to query such data. While most research in search engines is performed in the academic field of information retrieval (IR), most academic search engines unicode x2013 though rigorously evaluated unicode x2013 are sparsely utilized, while major commercial web search engines (e.g., Google, Bing) dominate. This relates to COVID 19 because it can be expected that commercial search engines deployed for the pandemic will gain much higher traction than those produced in academic labs, and thus leads to questions about the empirical performance of these search tools. This paper seeks to empirically evaluate two such commercial search engines for COVID 19, produced by Google and Amazon, in comparison to the more academic prototypes evaluated in the context of the TREC COVID track (Roberts et al., 2020). We performed several steps to reduce bias in the available manual judgments in order to ensure a fair comparison of the two systems with those submitted to TREC COVID. We find that the top performing system from TREC COVID on bpref metric performed the best among the different systems evaluated in this study on all the metrics. This has implications for developing biomedical retrieval systems for future health crises as well as trust in popular health search engines.


Type based Declassification for Free. This work provides a study to demonstrate the potential of using off the shelf programming languages and their theories to build sound language based security tools. Our study focuses on information flow security encompassing declassification policies that allow us to express flexible security policies needed for practical requirements. We translate security policies, with declassification, into an interface for which an unmodified standard typechecker can be applied to a source program if the program typechecks, it provably satisfies the policy. Our proof reduces security soundness with declassification to the mathematical foundation of data abstraction, Reynolds' abstraction theorem.


(Co)homology of Crossed Products by Weak Hopf Algebras. We obtain a mixed complex simpler than the canonical one the computes the type cyclic homologies of a crossed product with invertible cocycle A times rho f H , of a weak module algebra A by a weak Hopf algebra H . This complex is provided with a filtration. The spectral sequence of this filtration generalizes the spectral sequence obtained in cite CGG . When f takes its values in a separable subalgebra of A that satisfies suitable conditions, the above mentioned mixed complex is provided with another filtration, whose spectral sequence generalize the Feigin Tsygan spectral sequence.


A uniform lower bound on the norms of hyperplane projections of spherical polytopes. Let K be a centrally symmetric spherical polytope, whose vertices form a frac 1 4n net in the unit sphere in mathbb R n . We prove a uniform lower bound on the norms of hyperplane projections P X to X , where X is the n dimensional normed space with the unit ball K . The estimate is given in terms of the determinant function of vertices and faces of K . In particular, if N geq n 4n and K is the convex hull of pm x 1, pm x 2, ldots, pm x N , where x 1, x 2, ldots, x N are independent random points distributed uniformly in the unit sphere, then every hyperplane projection P X to X satisfies the inequality P geq 1 c nN 8n 6 (for some explicit constant c n ), with the probability at least 1 frac 4 N .


The space of equivariant harmonic tori in the 3 sphere. In this paper we give an explicit parametrisation of the moduli space of equivariant harmonic maps from a 2 torus to the 3 sphere. As Hitchin proved, a harmonic map of a 2 torus is described by its spectral data, which consists of a hyperelliptic curve together with a pair of differentials and a line bundle. The space of spectral data is naturally a fibre bundle over the space of spectral curves. For homogeneous tori the space of spectral curves is a disc and the bundle is trivial. For tori with a one dimensional invariance group, we enumerate the path connected components of the space of spectral curves and show that they are either helicoids' or annuli, and that they densely foliate the parameter space. The bundle structure of the moduli space of spectral data over the annuli components is nontrivial. In the two cases, the spectral data require only elementary and elliptic functions respectively and we give explicit formulae at every stage. Homogeneous tori and the Gauss maps of Delaunay cylinders are used as illustrative examples.


Perfect matchings and derangements on graphs. We show that each perfect matching in a bipartite graph G intersects at least half of the perfect matchings in G . This result has equivalent formulations in terms of the permanent of the adjacency matrix of a graph, and in terms of derangements and permutations on graphs. We give several related results and open questions.


On the Boundary Layer Equations with Phase Transition in the Kinetic Theory of Gases. Consider the steady Boltzmann equation with slab symmetry for a monatomic, hard sphere gas in a half space. At the boundary of the half space, it is assumed that the gas is in contact with its condensed phase. The present paper discusses the existence and uniqueness of a uniformly decaying boundary layer type solution of the Boltzmann equation in this situation, in the vicinity of the Maxwellian equilibrium with zero bulk velocity, with the same temperature as that of the condensed phase, and whose pressure is the saturating vapor pressure at the temperature of the interface. This problem has been extensively studied first by Y. Sone, K. Aoki and their collaborators, by means of careful numerical simulations. See section 2 of C. Bardos, F. Golse, Y. Sone J. Stat. Phys. 124 (2006), 275 300 for a very detailed presentation of these works. More recently T. P. Liu and S. H. Yu Arch. Rational Mech. Anal. 209 (2013), 869 997 have proposed an extensive mathematical strategy to handle the problems studied numerically by Y. Sone, K. Aoki and their group. The present paper offers an alternative, possibly simpler proof of one of the results discussed in T.P. Liu, S. H. Yu, loc. cit.