On the maximum number of minimal codewords. Minimal codewords have applications in decoding linear codes and in cryptography. We study the maximum number of minimal codewords in binary linear codes of a given length and dimension. Improved lower and upper bounds on the maximum number are presented. We determine the exact values for the case of linear codes of dimension k and length k 2 and for small values of the length and dimension. We also give a formula for the number of minimal codewords of linear codes of dimension k and length k 3 .


Algebraic Calder 'on Zygmund theory. Calder 'on Zygmund theory has been traditionally developed on metric measure spaces satisfying additional regularity properties. In the lack of good metrics, we introduce a new approach for general measure spaces which admit a Markov semigroup satisfying purely algebraic assumptions. We shall construct an abstract form of "Markov metric" governing the Markov process and the naturally associated BMO spaces, which interpolate with the Lp scale and admit endpoint inequalities for Calder 'on Zygmund operators. Motivated by noncommutative harmonic analysis, this approach gives the first form of Calder 'on Zygmund theory for arbitrary von Neumann algebras, but is also valid in classical settings like Riemannian manifolds with nonnegative Ricci curvature or doubling nondoubling spaces. Other less standard commutative scenarios like fractals or abstract probability spaces are also included. Among our applications in the noncommutative setting, we improve recent results for quantum Euclidean spaces and group von Neumann algebras, respectively linked to noncommutative geometry and geometric group theory.


Trajectory manipulation of an Airy pulse near zero dispersion wavelength under free carrier generated linear potential. We investigate the dynamics of an Airy pulse that experiences free carrier generated optical linear potential in the vicinity of zero group velocity dispersion (GVD) wavelength inside a Si based waveguide. The optically induced potential can be realized by an inhomogeneous medium which possesses a time dependent refractive index. We propose a pump probe scheme in Si based waveguide where a strong continuous wave (CW) pump excites free carriers that leads to a linear potential through a time dependent refractive index change which is experienced by the finite energy Airy pulse (FEAP) (probe). The linear potential significantly manipulate the dynamics of a FEAP and leads to a monotonous spectral shift. We mathematically model the dynamics of the Airy pulse using linear dispersion equation containing an optical potential term and establish the general solution of the pulse for non vanishing third order dispersion (TOD). We derive the expression of the trajectory of FEAP which deviates significantly from its usual ballistic nature and can be tailored with the strength of the linear potential. For positive TOD, the propagating Airy pulse experiences a singularity and flips in time domain. We theoretically derive that for a specific potential strength the flipping region is squeezed to a point and revives thereafter. We propose an exact analytical solution beyond flipping region for this specific case. Our theoretical analysis corroborates well with the numerical results. The present study may be useful in applications related to pulse reshaping and trajectory manipulation


On the time of existence of solutions of the Euler Korteweg system. Under a natural stability condition on the pressure, it is known that for small irrotational initial data, the solutions of the Euler Korteweg system are global in time. When the initial velocity has a small rotational part, we obtain a lower bound on the time of existence that depends only on the rotational part. In the zero vorticity limit we recover the previous global well posedness result. Independently of this analysis, we also provide (in a special case) a simple example of solution that blows up in finite time.


Certified Side Channels. We demonstrate that the format in which private keys are persisted impacts Side Channel Analysis (SCA) security. Surveying several widely deployed software libraries, we investigate the formats they support, how they parse these keys, and what runtime decisions they make. We uncover a combination of weaknesses and vulnerabilities, in extreme cases inducing completely disjoint multi precision arithmetic stacks deep within the cryptosystem level for keys that otherwise seem logically equivalent. Exploiting these vulnerabilities, we design and implement key recovery attacks utilizing signals ranging from electromagnetic (EM) emanations, to granular microarchitecture cache timings, to coarse traditional wall clock timings.


Solving equations in class 2 nilpotent groups. We construct an algorithm to decide if in a class 2 nilpotent group an equation omega 1 that contains a variable X such that the exponent sum of X within omega is non zero admits a solution. Besides the existence of such an X in omega , there are no restrictions on any other variables. We do this by associating the equation to a system of integer equations and congruences equivalent to it, and give an algorithm to solve this system. We also construct an algorithm to decide if any equation in a group that is virtually the Heisenberg group admits a solution.


A family of fast fixed point iterations for M G 1 type Markov chains. We consider the problem of computing the minimal nonnegative solution G of the nonlinear matrix equation X sum i 1 infty A iX i 1 where A i , for i ge 1 , are nonnegative square matrices such that sum i 1 infty A i is stochastic. This equation is fundamental in the analysis of M G 1 type Markov chains, since the matrix G provides probabilistic measures of interest. A new family of fixed point iterations for the numerical computation of G , that includes the classical iterations, is introduced. A detailed convergence analysis proves that the iterations in the new class converge faster than the classical iterations. Numerical experiments confirm the effectiveness of our extension.


360 circ Depth Estimation from Multiple Fisheye Images with Origami Crown Representation of Icosahedron. In this study, we present a method for all around depth estimation from multiple omnidirectional images for indoor environments. In particular, we focus on plane sweeping stereo as the method for depth estimation from the images. We propose a new icosahedron based representation and ConvNets for omnidirectional images, which we name "CrownConv" because the representation resembles a crown made of origami. CrownConv can be applied to both fisheye images and equirectangular images to extract features. Furthermore, we propose icosahedron based spherical sweeping for generating the cost volume on an icosahedron from the extracted features. The cost volume is regularized using the three dimensional CrownConv, and the final depth is obtained by depth regression from the cost volume. Our proposed method is robust to camera alignments by using the extrinsic camera parameters therefore, it can achieve precise depth estimation even when the camera alignment differs from that in the training dataset. We evaluate the proposed model on synthetic datasets and demonstrate its effectiveness. As our proposed method is computationally efficient, the depth is estimated from four fisheye images in less than a second using a laptop with a GPU. Therefore, it is suitable for real world robotics applications. Our source code is available at https github.com matsuren crownconv360depth.


Curriculum Learning with Diversity for Supervised Computer Vision Tasks. Curriculum learning techniques are a viable solution for improving the accuracy of automatic models, by replacing the traditional random training with an easy to hard strategy. However, the standard curriculum methodology does not automatically provide improved results, but it is constrained by multiple elements like the data distribution or the proposed model. In this paper, we introduce a novel curriculum sampling strategy which takes into consideration the diversity of the training data together with the difficulty of the inputs. We determine the difficulty using a state of the art estimator based on the human time required for solving a visual search task. We consider this kind of difficulty metric to be better suited for solving general problems, as it is not based on certain task dependent elements, but more on the context of each image. We ensure the diversity during training, giving higher priority to elements from less visited classes. We conduct object detection and instance segmentation experiments on Pascal VOC 2007 and Cityscapes data sets, surpassing both the randomly trained baseline and the standard curriculum approach. We prove that our strategy is very efficient for unbalanced data sets, leading to faster convergence and more accurate results, when other curriculum based strategies fail.


The distortion of distributed voting. Voting can abstractly model any decision making scenario and as such it has been extensively studied over the decades. Recently, the related literature has focused on quantifying the impact of utilizing only limited information in the voting process on the societal welfare for the outcome, by bounding the distortion of voting rules. Even though there has been significant progress towards this goal, all previous works have so far neglected the fact that in many scenarios (like presidential elections) voting is actually a distributed procedure. In this paper, we consider a setting in which the voters are partitioned into disjoint districts and vote locally therein to elect local winning alternatives using a voting rule the final outcome is then chosen from the set of these alternatives. We prove tight bounds on the distortion of well known voting rules for such distributed elections both from a worst case perspective as well as from a best case one. Our results indicate that the partition of voters into districts leads to considerably higher distortion, a phenomenon which we also experimentally showcase using real world data.


Fractional elliptic systems with critical nonlinearities. In this paper we study positive solutions to the following nonlocal system of equations begin equation left begin aligned ( Delta) s u frac alpha 2 s u alpha 2 u v beta f(x) text in mathbb R N , ( Delta) s v frac beta 2 s v beta 2 v u alpha g(x) text in mathbb R N , qquad u, , v 0 , mbox in , mathbb R N , end aligned right. end equation where N 2s , alpha, , beta 1 , alpha beta 2N (N 2s) , and f, , g are nonnegative functionals in the dual space of dot H s( mathbb R N ) . When f 0 g , we show that the ground state solution of the above system is it unique . On the other hand, when f and g are nontrivial nonnegative functionals with ker (f) ker (g) , then we establish the existence of at least two different positive solutions of the above system provided that f ( dot H s)' and g ( dot H s)' are small enough. Moreover, we also provide a global compactness result, which gives a complete description of the Palais Smale sequences of the above system.


Eu 2 a suitable substituent for Pb 2 in CsPbX 3 perovskite nanocrystals?. Eu 2 is used to replace toxic Pb 2 in metal halide perovskite nanocrystals (NCs). The synthesis implies injection of cesium oleate into a solution of europium (II) bromide at an experimentally determined optimum temperature of 130C and a reaction time of 60s. Structural analysis indicates the formation of spherical CsEuBr 3 nanoparticles with a mean size of 43nm. Using EuI 2 instead of EuBr 2 leads to the formation of 18nm CsI nanoparticles, while EuCl 2 does not show any reaction with cesium oleate forming 80nm EuCl2 nanoparticles. The obtained CsEuBr3 NCs exhibit bright blue emission at 413nm (FWHM 30 nm) with a room temperature photoluminescence quantum yield of 39 . The emission originates from the Laporte allowed 4f7 4f65d1 transition of Eu 2 and shows a PL decay time of 263ns. The long term stability of the optical properties is observed, making inorganic lead free CsEuBr 3 NCs promising deep blue emitters for optoelectronics.


Triangular ratio metric in the unit disk. The triangular ratio metric is studied in a domain G subsetneq mathbb R n , n geq2 . Several sharp bounds are proven for this metric, especially, in the case where the domain is the unit disk of the complex plane. The results are applied to study the H "older continuity of quasiconformal mappings.


On uniqueness of two meromorphic functions sharing a small function. In this paper, we have investigated the uniqueness problems of entire and meromorphic functions concerning differential polynomials sharing a small function. Our results radically extended and improved the results of Bhoosnurmath Pujari and Harina Anand not only by sharing small function instead of fixed point but also reducing the lower bound of n . The authors Harina Anand made plenty of mistakes in their paper. We have corrected all of them in a more convenient way. At last some open questions have been posed for further study in this direction.


COTS MOS Dosimetry on the MeMOSat Board, Results After 2.5 Years in Orbit. We present the results after 2.5 years in or bit of Total Ionizing Dose (TID) measurements done using Metal Oxide Semiconductor (MOS) dosimeters on the MeMOSat board. The MeMOSat board was launched on July 19th 2014 at the BugSat 1 "Tita" microsatellite developed by Satellogic to stay at LEO. We used as dosimeters p channel Commercial Off The Shelf (COTS) MOS transistors with gate oxides of 250 nm. Before launch, a subset of transistors with similar drain current to voltage (I V)curves where selected from a group of 100 devices. The temperature dependence of the (I V) curves was studied to find the minimum temperature coefficient biasing point. Then, a calibration subgroup of sensors was irradiated using a 60 Co gamma source to study their response to TID, showing responsivities of sim 75 mV krad when the sensors are irradiated without gate bias. Also, the post irradiation response of the sensors was monitored, in order to include a correction for low dose rate irradiations, yielding 30 mV krad. A biasing and reading circuit was developed in order to allow the reading of up to 4 sensors.The threshold voltage was monitored during different periods of the mission. After 2.5 years in orbit,the threshold voltage of the sensor mounted on the MeMOSat Board had a V mathrm T shift of approximately 35 mV corresponds to a dose of 1.2 krads.


Character graphs with diameter three. For a finite group G , let Delta(G) denote the character graph built on the set of degrees of the irreducible complex characters of G . In this paper, we show that if the diameter of Delta(G) is equal to three, then the complement of Delta(G) is bipartite. Also in this case, we determine the structure of the character graph Delta(G) .


Point partition numbers decomposable and indecomposable critical graphs. Graphs considered in this paper are finite, undirected and loopless, but we allow multiple edges. The point partition number chi t(G) is the least integer k for which G admits a coloring with k colors such that each color class induces a (t 1) degenerate subgraph of G . So chi 1 is the chromatic number and chi 2 is the point aboricity. The point partition number chi t with t geq 1 was introduced by Lick and White. A graph G is called chi t critical if every proper subgraph H of G satisfies chi t(H) chi t(G) . In this paper we prove that if G is a chi t critical graph whose order satisfies G leq 2 chi t(G) 2 , then G can be obtained from two non empty disjoint subgraphs G 1 and G 2 by adding t edges between any pair u,v of vertices with u in V(G 1) and v in V(G 2) . Based on this result we establish the minimum number of edges possible in a chi t critical graph G of order n and with chi t(G) k , provided that n leq 2k 1 and t is even. For t 1 the corresponding two results were obtained in 1963 by Tibor Gallai.


Unimodular families of symmetric matrices. We introduce the volume preserving equivalence among symmetric matrix valued map germs which is the unimodular version of Bruce's mathcal G equivalence. The key concept to deduce unimodular classification out of classification relative to mathcal G equivalence is symmetrical quasi homogeneity, which is a generalization of the condition for a 2 times 2 symmetric matrix valued map germ in Corollary 2.1 (ii) by Bruce, Goryunov and Zakalyukin. If a mathcal G equivalence class contains a symmetrically quasi homogeneous representative, the class coincides with that relative to the volume preserving equivalence (up to orientation reversing diffeomorphism in case if the ground field is real). By using that we show that all the simple classes relative to mathcal G equivalence in Bruce's list coincides with those relative to the volume preserving equivalence. Then, we classify map germs from the plane to the set of 2 times 2 and 3 times 3 real symmetric matrices of corank at most 1 and of mathcal G e codimension less than 9 and we show some of the normal forms split into two different unimodular singularities. We provide several examples to illustrate that non simplicity does not imply non symmetrical quasi homogeneity and the condition that a map germ is symmetrically quasi homogeneous is stronger than one that each component of the map germ is quasi homogeneous. We also present an example of non symmetrically quasi homogeneous normal form relative to mathcal G and its corresponding formal unimodular normal form.


Improved Maximally Recoverable LRCs using Skew Polynomials. An (n,r,h,a,q) Local Reconstruction Code is a linear code over mathbb F q of length n , whose codeword symbols are partitioned into n r local groups each of size r . Each local group satisfies a ' local parity checks to recover from a ' erasures in that local group and there are further h global parity checks to provide fault tolerance from more global erasure patterns. Such an LRC is Maximally Recoverable (MR), if it offers the best blend of locality and global erasure resilience namely it can correct all erasure patterns whose recovery is information theoretically feasible given the locality structure (these are precisely patterns with up to a ' erasures in each local group and an additional h erasures anywhere in the codeword). Random constructions can easily show the existence of MR LRCs over very large fields, but a major algebraic challenge is to construct MR LRCs, or even show their existence, over smaller fields, as well as understand inherent lower bounds on their field size. We give an explicit construction of (n,r,h,a,q) MR LRCs with field size q bounded by left(O left( max r,n r right) right) min h,r a . This improves upon known constructions in many relevant parameter ranges. Moreover, it matches the lower bound from Gopi et al. (2020) in an interesting range of parameters where r Theta( sqrt n ) , r a Theta( sqrt n ) and h is a fixed constant with h le a 2 , achieving the optimal field size of Theta h (n h 2 ). Our construction is based on the theory of skew polynomials. We believe skew polynomials should have further applications in coding and complexity theory as a small illustration we show how to capture algebraic results underlying list decoding folded Reed Solomon and multiplicity codes in a unified way within this theory.


Completely determined Borel sets and measurability. We consider the reverse math strength of the statement mathsf C text DM "Every completely determined Borel set is measurable." Over mathsf WWKL 0 , we obtain the following results analogous to the previously studied category case. mathsf C text DM lies strictly between mathsf ATR 0 and mathsf L omega 1, omega text mathsf CA . Whenever M subseteq 2 omega is the second order part of an omega model of mathsf C text DM , then for every Z in M , there is a R in M such that R is Delta 1 1 random relative to Z . On the other hand, without mathsf WWKL 0 , all sets have measure zero (as measured according to mathsf C text DM ), and it follows vacuously that neg mathsf WWKL 0 implies mathsf C text DM over mathsf RCA 0 .


Flexible Graph Connectivity Approximating Network Design Problems Between 1 and 2 connectivity. Graph connectivity and network design problems are among the most fundamental problems in combinatorial optimization. The minimum spanning tree problem, the two edge connected spanning subgraph problem (2 ECSS) and the tree augmentation problem (TAP) are all examples of fundamental well studied network design tasks that postulate different initial states of the network and different assumptions on the reliability of network components. In this paper we motivate and study emph Flexible Graph Connectivity (FGC), a problem that mixes together both the modeling power and the complexities of all aforementioned problems and more. In a nutshell, FGC asks to design a connected network, while allowing to specify different reliability levels for individual edges. While this non uniform nature of the problem makes it appealing from the modeling perspective, it also renders most existing algorithmic tools for dealing with network design problems unfit for approximating FGC. In this paper we develop a general algorithmic approach for approximating FGC that yields approximation algorithms with ratios that are very close to the best known bounds for many special cases, such as 2 ECSS and TAP. Our algorithm and analysis combine various techniques including a weight scaling algorithm, a charging argument that uses a variant of exchange bijections between spanning trees and a factor revealing min max min optimization problem.


Multi party Quantum Byzantine Agreement Without Entanglement. In this paper we propose a protocol of quantum communication to achieve Byzantine agreement among multiple parties. The striking feature of our proposal in comparison to the existing protocols is that we do not use entanglement to achieve the agreement. There are two stages in our protocol. In the first stage, a list of numbers that satisfies some special properties is distributed to every participant by a group of semi honest list distributors via quantum secure communication. Then, in the second stage those participants exchange some information to reach agreement.


The spectral picture of Bergman Toeplitz operators with harmonic polynomial symbols. In this paper, it is shown that some new phenomenon related to the spectra of Toeplitz operators with bounded harmonic symbols on the Bergman space. On the one hand, we prove that the spectrum of the Toeplitz operator with symbol bar z p is always connected for every polynomial p with degree less than 3 . On the other hand, we show that for each integer k greater than 2 , there exists a polynomial p of degree k such that the spectrum of the Toeplitz operator with symbol bar z p has at least one isolated point but has at most finitely many isolated points. Then these results are applied to obtain a new class of non hyponormal Toeplitz operators with bounded harmonic symbols on the Bergman space for which Weyl's theorem holds.


Efficient Robust Watermarking Based on Quaternion Singular Value Decomposition and Coefficient Pair Selection. Quaternion singular value decomposition (QSVD) is a robust technique of digital watermarking which can extract high quality watermarks from watermarked images with low distortion. In this paper, QSVD technique is further investigated and an efficient robust watermarking scheme is proposed. The improved algebraic structure preserving method is proposed to handle the problem of "explosion of complexity" occurred in the conventional QSVD design. Secret information is transmitted blindly by incorporating in QSVD two new strategies, namely, coefficient pair selection and adaptive embedding. Unlike conventional QSVD which embeds watermarks in a single imaginary unit, we propose to adaptively embed the watermark into the optimal hiding position using the Normalized Cross Correlation (NC) method. This avoids the selection of coefficient pair with less correlation, and thus, it reduces embedding impact by decreasing the maximum modification of coefficient values. In this way, compared with conventional QSVD, the proposed watermarking strategy avoids more modifications to a single color image layer and a better visual quality of the watermarked image is observed. Meanwhile, adaptive QSVD resists some common geometric attacks, and it improves the robustness of conventional QSVD. With these improvements, our method outperforms conventional QSVD. Its superiority over other state of the art methods is also demonstrated experimentally.


Twisted cohomological equations for translation flows. We prove by methods of harmonic analysis a result on existence of solutions for twisted cohomological equations on translation surfaces with loss of derivatives at most 3 in Sobolev spaces. As a consequence we prove that product translation flows on (3 dimensional) translation manifolds which are products of a (higher genus) translation surface with a (flat) circle are stable in the sense of A. Katok. In turn, our result on product flows implies a stability result of time tau maps of translation flows on translation surfaces.


Quasi experimental Designs for Assessing Response on Social Media to Policy Changes. Regulation of tobacco products is rapidly evolving. Understanding public sentiment in response to changes is very important as authorities assess how to effectively protect population health. Social media systems are widely recognized to be useful for collecting data about human preferences and perceptions. However, how social media data may be used, in rapid policy change settings, given challenges of narrow time periods and specific locations and non representative the population using social media is an open question. In this paper we apply quasi experimental designs, which have been used previously in observational data such as social media, to control for time and location confounders on social media, and then use content analysis of Twitter and Reddit posts to illustrate the content of reactions to tobacco flavor bans and the effect of taxation on e cigarettes. Conclusions distill the potential role of social media in settings of rapidly changing regulation, in complement to what is learned by traditional denominator based representative surveys.


Augmented Lagrangian based first order methods for convex constrained programs with weakly convex objective. First order methods (FOMs) have been widely used for solving large scale problems. A majority of existing works focus on problems without constraint or with simple constraints. Several recent works have studied FOMs for problems with complicated functional constraints. In this paper, we design a novel augmented Lagrangian (AL) based FOM for solving problems with non convex objective and convex constraint functions. The new method follows the framework of the proximal point (PP) method. On approximately solving PP subproblems, it mixes the usage of the inexact AL method (iALM) and the quadratic penalty method, while the latter is always fed with estimated multipliers by the iALM. We show a complexity result of O( varepsilon frac 5 2 log varepsilon ) for the proposed method to achieve an varepsilon KKT point. This is the best known result. Theoretically, the hybrid method has lower iteration complexity requirement than its counterpart that only uses iALM to solve PP subproblems, and numerically, it can perform significantly better than a pure penalty based method. Numerical experiments are conducted on nonconvex linearly constrained quadratic programs and nonconvex QCQP. The numerical results demonstrate the efficiency of the proposed methods over existing ones.


Cyclic Permutations Degrees and Combinatorial Types. This note will give an enumeration of n cycles in the symmetric group mathcal S n by their degree (also known as their cyclic descent number) and studies similar counting problems for the conjugacy classes of n cycles under the action of the rotation subgroup of mathcal S n . This is achieved by relating such cycles to periodic orbits of an associated dynamical system acting on the circle. We also compute the mean and variance of the degree of a random n cycle and show that its distribution is asymptotically normal as n to infty .


Coresets for Clustering in Graphs of Bounded Treewidth. We initiate the study of coresets for clustering in graph metrics, i.e., the shortest path metric of edge weighted graphs. Such clustering problems are essential to data analysis and used for example in road networks and data visualization. A coreset is a compact summary of the data that approximately preserves the clustering objective for every possible center set, and it offers significant efficiency improvements in terms of running time, storage, and communication, including in streaming and distributed settings. Our main result is a near linear time construction of a coreset for k Median in a general graph G , with size O epsilon, k ( mathrm tw (G)) where mathrm tw (G) is the treewidth of G , and we complement the construction with a nearly tight size lower bound. The construction is based on the framework of Feldman and Langberg STOC 2011 , and our main technical contribution, as required by this framework, is a uniform bound of O( mathrm tw (G)) on the shattering dimension under any point weights. We validate our coreset on real world road networks, and our scalable algorithm constructs tiny coresets with high accuracy, which translates to a massive speedup of existing approximation algorithms such as local search for graph k Median.


HVDC Loss Factors in the Nordic Power Market. In the Nordic countries (Sweden, Norway, Finland and Denmark), many interconnectors are formed by long High Voltage Direct Current (HVDC) lines. Every year, the operation of such interconnectors costs millions of Euros to Transmission System Operators (TSOs) due to the high amount of losses that are not considered while clearing the market. To counteract this problem, Nordic TSOs (Svenska kraftn "at Sweden, Statnett Norway, Fingrid Finland, Energinet Denmark) have proposed to introduce linear HVDC loss factors in the market clearing algorithm. The assessment of such a measure requires a detailed model of the system under investigation. In this paper we develop and introduce a detailed market model of the Nordic countries and we analyze the impact of different loss factor formulations. We show that linear loss factors penalize one HVDC line over the other, and this can jeopardize revenues of merchant HVDC lines. In this regard, we propose piecewise linear loss factors a simple to implement but highly effective solution. Moreover, we demonstrate how the introduction of only HVDC loss factors is a partial solution, since it disproportionately increases the AC losses. Our results show that the inclusion of AC loss factors can eliminate this problem.


Paving the way for fundamental physics tests with singly ionized helium. High precision laser spectroscopy of atomic hydrogen has led to an impressive accuracy in tests of bound state quantum electrodynamics (QED). At the current level of accuracy many systematics have to be studied very carefully and only independent measurements provide the ultimate cross check. This has been proven recently by measurements in muonic hydrogen, eventually leading to a significant shift of the CODATA recommended values of the proton charge radius and the Rydberg constant. We aim to contribute to tests of fundamental physics by measuring the 1S 2S transition in the He ion for the first time. Combined with measurements in muonic helium ions this can probe the value of the Rydberg constant, test higher order QED terms, or set benchmarks for ab initio nuclear polarizability calculations. We extend the Ramsey comb spectroscopy method to the XUV using high harmonic generation in order to excite a single, trapped He ion.


Ultra narrowband selective tunable filters for visible and infrared wavelength ranges. The interaction of non monochromatic radiation with two types of arrays comprising both plasmonic and dielectric nanoparticles has been studied in detail. We have shown that dielectric nanoparticle arrays provide a complete selective reflection of an incident plane wave within a narrow spectral line of collective lattice resonance with a Q factor of 10 3 or larger, whereas plasmonic refractory TiN and chemically stable Au nanoparticle arrays demonstrated high Q resonances with moderate reflectivity. The spectral position of these resonance lines is determined by the lattice period, as well as the size, shape and material composition of the particles. Moreover, the arrays, with fixed dimensional parameters make it possible to fine tune the position of a selected resonant spectral line by tilting the array relative to the direction of the incident radiation. These effects provide possibilities for engineering of novel selective tunable optical high Q filters in a wide range of wavelengths from visible to middle IR. Several highly refractive dielectric nanoparticle materials with low absorption are proposed for various spectral ranges, such as LiNbO 3 , TiO 2 , GaAs, Si, and Ge.


Tracking Paths in Planar Graphs. We consider the NP complete problem of tracking paths in a graph, first introduced by Banik et. al. 3 . Given an undirected graph with a source s and a destination t , find the smallest subset of vertices whose intersection with any s t path results in a unique sequence. In this paper, we show that this problem remains NP complete when the graph is planar and we give a 4 approximation algorithm in this setting. We also show, via Courcelle's theorem, that it can be solved in linear time for graphs of bounded clique width, when its clique decomposition is given in advance.


Unit equations on quaternions. A classical result about unit equations says that if Gamma 1 and Gamma 2 are finitely generated subgroups of mathbb C times , then the equation x y 1 has only finitely many solutions with x in Gamma 1 and y in Gamma 2 . We study a noncommutative analogue of the result, where Gamma 1, Gamma 2 are finitely generated subsemigroups of the multiplicative group of a quaternion algebra. We prove an analogous conclusion when both semigroups are generated by algebraic quaternions with norms greater than 1 and one of the semigroups is commutative. As an application in dynamics, we prove that if f and g are endomorphisms of a curve C of genus 1 over an algebraically closed field k , and mathrm deg (f), mathrm deg (g) geq 2 , then f and g have a common iterate if and only if some forward orbit of f on C(k) has infinite intersection with an orbit of g .


FALCON An accurate real time monitor for client based mobile network data analytics. Network data analysis is the fundamental basis for the development of methods to increase service quality in mobile networks. This requires accurate data of the current load in the network. The control channel analysis is a way to monitor the resource allocations and the throughput of all active subscribers in a public mobile radio cell. Previous open source approaches require either ideal radio conditions or long term observations in order to obtain reliable data. Otherwise, the revealed information is polluted by spurious assignments with random content. In this paper, we present a new open source instrument for Fast Analysis of LTE Control channels (FALCON), which combines a novel shortcut decoding approach with the most reliable techniques known to us to reduce the aforementioned requirements significantly. Long term field measurements reveal that FALCON reduces errors in average by three orders of magnitude compared to currently the best approach. FALCON allows observations at locations with interference and enables mobile applications with single short term tracking of the local load situation. It is compatible with numerous software defined radios and can be used on standard computers for a reliable real time analysis.


Grammatical Gender, Neo Whorfianism, and Word Embeddings A Data Driven Approach to Linguistic Relativity. The relation between language and thought has occupied linguists for at least a century. Neo Whorfianism, a weak version of the controversial Sapir Whorf hypothesis, holds that our thoughts are subtly influenced by the grammatical structures of our native language. One area of investigation in this vein focuses on how the grammatical gender of nouns affects the way we perceive the corresponding objects. For instance, does the fact that key is masculine in German (der Schl "ussel), but feminine in Spanish (la llave) change the speakers' views of those objects? Psycholinguistic evidence presented by Boroditsky et al. (2003, S 4) suggested the answer might be yes When asked to produce adjectives that best described a key, German and Spanish speakers named more stereotypically masculine and feminine ones, respectively. However, recent attempts to replicate those experiments have failed (Mickan et al., 2014). In this work, we offer a computational analogue of Boroditsky et al. (2003, S 4)'s experimental design on 9 languages, finding evidence against neo Whorfianism.


MetAdapt Meta Learned Task Adaptive Architecture for Few Shot Classification. Few Shot Learning (FSL) is a topic of rapidly growing interest. Typically, in FSL a model is trained on a dataset consisting of many small tasks (meta tasks) and learns to adapt to novel tasks that it will encounter during test time. This is also referred to as meta learning. Another topic closely related to meta learning with a lot of interest in the community is Neural Architecture Search (NAS), automatically finding optimal architecture instead of engineering it manually. In this work, we combine these two aspects of meta learning. So far, meta learning FSL methods have focused on optimizing parameters of pre defined network architectures, in order to make them easily adaptable to novel tasks. Moreover, it was observed that, in general, larger architectures perform better than smaller ones up to a certain saturation point (where they start to degrade due to over fitting). However, little attention has been given to explicitly optimizing the architectures for FSL, nor to an adaptation of the architecture at test time to particular novel tasks. In this work, we propose to employ tools inspired by the Differentiable Neural Architecture Search (D NAS) literature in order to optimize the architecture for FSL without over fitting. Additionally, to make the architecture task adaptive, we propose the concept of MetAdapt Controller' modules. These modules are added to the model and are meta trained to predict the optimal network connections for a given novel task. Using the proposed approach we observe state of the art results on two popular few shot benchmarks miniImageNet and FC100.


Formal Power Series on Algebraic Cryptanalysis. In cryptography, by attacks reducing a cryptosystem to the problem that solves the system of polynomial equations, several cryptosystems have been broken. The efficiency of an algorithm to solve the polynomial system depends on the solving degree, and its complexity is estimated using a theoretical proxy for the solving degree. If a polynomial system generated by an attack is semi regular, the degree of regularity determined from a certain univariate formal power series is used as such a proxy, otherwise, the first fall degree is used. In this article, we mainly investigate an upper bound for the proxy defined using non constructive syzygies such as the first fall degree. In particular, for a sufficiently large field, we prove that the first fall degree of a non semi regular system is bounded above by the degree of regularity of the semi regular system, and that the first fall degree of a multi graded polynomial system is bounded above by a certain value determined from a multivariate formal power series. Moreover, we show that the assumption for the order of a coefficient field in our results is satisfied in actual attacks against multivariate cryptosystems. Furthermore, we provide the theoretical assumption for the algorithm with a kernel search to solve a multi graded polynomial system and compute a certain proxy for the solving degree by the multivariate formal power series. Consequently, we clarify the relationship between the first fall degree and the degree of regularity over a sufficiently large field, and provide a theoretical method using a multivariate power series for cryptanalysis.


Metric Transforms and Low Rank Matrices via Representation Theory of the Real Hyperrectangle. In this paper, we develop a new technique which we call representation theory of the real hyperrectangle, which describes how to compute the eigenvectors and eigenvalues of certain matrices arising from hyperrectangles. We show that these matrices arise naturally when analyzing a number of different algorithmic tasks such as kernel methods, neural network training, natural language processing, and the design of algorithms using the polynomial method. We then use our new technique along with these connections to prove several new structural results in these areas, including bullet A function is a positive definite Manhattan kernel if and only if it is a completely monotone function. These kernels are widely used across machine learning one example is the Laplace kernel which is widely used in machine learning for chemistry. bullet A function transforms Manhattan distances to Manhattan distances if and only if it is a Bernstein function. This completes the theory of Manhattan to Manhattan metric transforms initiated by Assouad in 1980. bullet A function applied entry wise to any square matrix of rank r always results in a matrix of rank 2 r 1 if and only if it is a polynomial of sufficiently low degree. This gives a converse to a key lemma used by the polynomial method in algorithm design. Our work includes a sophisticated combination of techniques from different fields, including metric embeddings, the polynomial method, and group representation theory.


Robust Interference Management for SISO Systems with Multiple Over the Air Computations. In this paper, we consider the over the air computation of sums. Specifically, we wish to compute M geq 2 sums s m sum k in mathcal D m x k over a shared complex valued MAC at once with minimal mean squared error ( mathsf MSE ). Finding appropriate Tx Rx scaling factors balance between a low error in the computation of s n and the interference induced by it in the computation of other sums s m , m neq n . In this paper, we are interested in designing an optimal Tx Rx scaling policy that minimizes the mean squared error max m in 1 M mathsf MSE m subject to a Tx power constraint with maximum power P . We show that an optimal design of the Tx Rx scaling policy left( bar mathbf a , bar mathbf b right) involves optimizing (a) their phases and (b) their absolute values in order to (i) decompose the computation of M sums into, respectively, M R and M I ( M M R M I ) calculations over real and imaginary part of the Rx signal and (ii) to minimize the computation over each part real and imaginary individually. The primary focus of this paper is on (b). We derive conditions (i) on the feasibility of the optimization problem and (ii) on the Tx Rx scaling policy of a local minimum for M w 2 computations over the real ( w R ) or the imaginary ( w I ) part. Extensive simulations over a single Rx chain for M w 2 show that the level of interference in terms of Delta D mathcal D 2 mathcal D 1 plays an important role on the ergodic worst case mathsf MSE . At very high mathsf SNR , typically only the sensor with the weakest channel transmits with full power while all remaining sensors transmit with less to limit the interference. Interestingly, we observe that due to residual interference, the ergodic worst case mathsf MSE is not vanishing rather, it converges to frac mathcal D 1 mathcal D 2 K as mathsf SNR rightarrow infty .


Regularizing Deep Networks with Semantic Data Augmentation. Data augmentation is widely known as a simple yet surprisingly effective technique for regularizing deep networks. Conventional data augmentation schemes, e.g., flipping, translation or rotation, are low level, data independent and class agnostic operations, leading to limited diversity for augmented samples. To this end, we propose a novel semantic data augmentation algorithm to complement traditional approaches. The proposed method is inspired by the intriguing property that deep networks are effective in learning linearized features, i.e., certain directions in the deep feature space correspond to meaningful semantic transformations, e.g., changing the background or view angle of an object. Based on this observation, translating training samples along many such directions in the feature space can effectively augment the dataset for more diversity. To implement this idea, we first introduce a sampling based method to obtain semantically meaningful directions efficiently. Then, an upper bound of the expected cross entropy (CE) loss on the augmented training set is derived by assuming the number of augmented samples goes to infinity, yielding a highly efficient algorithm. In fact, we show that the proposed implicit semantic data augmentation (ISDA) algorithm amounts to minimizing a novel robust CE loss, which adds minimal extra computational cost to a normal training procedure. In addition to supervised learning, ISDA can be applied to semi supervised learning tasks under the consistency regularization framework, where ISDA amounts to minimizing the upper bound of the expected KL divergence between the augmented features and the original features. Although being simple, ISDA consistently improves the generalization performance of popular deep models (e.g., ResNets and DenseNets) on a variety of datasets, i.e., CIFAR 10, CIFAR 100, SVHN, ImageNet, and Cityscapes.


High powers of Hamiltonian cycles in randomly augmented graphs. We investigate the existence of powers of Hamiltonian cycles in graphs with large minimum degree to which some additional edges have been added in a random manner. For all integers k geq1 , r geq 0 , and ell geq (r 1)r , and for any alpha frac k k 1 we show that adding O(n 2 2 ell ) random edges to an n vertex graph G with minimum degree at least alpha n yields, with probability close to one, the existence of the (k ell r) th power of a Hamiltonian cycle. In particular, for r 1 and ell 2 this implies that adding O(n) random edges to such a graph G already ensures the (2k 1) st power of a Hamiltonian cycle (proved independently by Nenadov and Truji 'c). In this instance and for several other choices of k , ell , and r we can show that our result is asymptotically optimal.


Calculation of the dynamics of the initiation of streamer flashes that provide the NBE VHF signal profile and the VHF phase wave propagation velocity. In this supplementary article to Kostinkskiy et al. (2020), we evaluate how it is possible to initiate and synchronize the start of a large number of streamer flashes, which can provide a powerful VHF signal, in the time range of 1 3 us. As described in Kostinskiy et al. (2020), we will assume streamer flashes occur due to the voluminous network of 'air electrode' (Eth volumes), the number of which is dynamically supported in highly turbulent regions of a thundercloud until an extensive air shower (EAS) passes through this region. The first numerical estimates are given herein. In the near future we plan a separate article based on these estimates, where we will present the main points in more detail.


Pre training of Graph Neural Network for Modeling Effects of Mutations on Protein Protein Binding Affinity. Modeling the effects of mutations on the binding affinity plays a crucial role in protein engineering and drug design. In this study, we develop a novel deep learning based framework, named GraphPPI, to predict the binding affinity changes upon mutations based on the features provided by a graph neural network (GNN). In particular, GraphPPI first employs a well designed pre training scheme to enforce the GNN to capture the features that are predictive of the effects of mutations on binding affinity in an unsupervised manner and then integrates these graphical features with gradient boosting trees to perform the prediction. Experiments showed that, without any annotated signals, GraphPPI can capture meaningful patterns of the protein structures. Also, GraphPPI achieved new state of the art performance in predicting the binding affinity changes upon both single and multi point mutations on five benchmark datasets. In depth analyses also showed GraphPPI can accurately estimate the effects of mutations on the binding affinity between SARS CoV 2 and its neutralizing antibodies. These results have established GraphPPI as a powerful and useful computational tool in the studies of protein design.


Optimal Resource Allocation for Multi UAV Assisted Visible Light Communication. In this paper, the optimization of deploying unmanned aerial vehicles (UAVs) over a reconfigurable intelligent surfaces (RISs) assisted visible light communication (VLC) system is studied. In the considered model, UAVs are required to simultaneously provide wireless services as well as illumination for ground users. To meet the traffic and illumination demands of the ground users while minimizing the energy consumption of the UAVs, one must optimize UAV deployment, phase shift of RISs, user association and RIS association. This problem is formulated as an optimization problem whose goal is to minimize the transmit power of UAVs via adjusting UAV deployment, phase shift of RISs, user association and RIS association. To solve this problem, the original optimization problem is divided into four subproblems and an alternating algorithm is proposed. Specifically, phases alignment method and semidefinite program (SDP) algorithm are proposed to optimize the phase shift of RISs. Then, the UAV deployment optimization is solved by the successive convex approximation (SCA) algorithm. Since the problems of user association and RIS association are integer programming, the fraction relaxation method is adopted before using dual method to find the optimal solution. For simplicity, a greedy algorithm is proposed as an alternative to optimize RIS association. The proposed two schemes demonstrate the superior performance of 34 85 and 32 11 energy consumption reduction over the case without RIS, respectively, through extensive numerical study.


IRIS Implicit Reinforcement without Interaction at Scale for Learning Control from Offline Robot Manipulation Data. Learning from offline task demonstrations is a problem of great interest in robotics. For simple short horizon manipulation tasks with modest variation in task instances, offline learning from a small set of demonstrations can produce controllers that successfully solve the task. However, leveraging a fixed batch of data can be problematic for larger datasets and longer horizon tasks with greater variations. The data can exhibit substantial diversity and consist of suboptimal solution approaches. In this paper, we propose Implicit Reinforcement without Interaction at Scale (IRIS), a novel framework for learning from large scale demonstration datasets. IRIS factorizes the control problem into a goal conditioned low level controller that imitates short demonstration sequences and a high level goal selection mechanism that sets goals for the low level and selectively combines parts of suboptimal solutions leading to more successful task completions. We evaluate IRIS across three datasets, including the RoboTurk Cans dataset collected by humans via crowdsourcing, and show that performant policies can be learned from purely offline learning. Additional results at https sites.google.com stanford.edu iris .


Discrete Variational Methods and Symplectic Generalized Additive Runge Kutta Methods. We consider a Lagrangian system L(q, dot q) sum l 1 N L l (q, dot q) , where the q variable is treated by a Generalized Additive Runge Kutta (GARK) method. Applying the technique of discrete variations, we show how to construct symplectic schemes. Assuming the diagonal methods for the GARK given, we present some techinques for constructing the transition matrices. We address the problem of the order of the methods and discuss some semi separable and separable problems, showing some interesting constructions of methods with non square coefficient matrices.


Input Bias in Rectified Gradients and Modified Saliency Maps. Interpretation and improvement of deep neural networks relies on better understanding of their underlying mechanisms. In particular, gradients of classes or concepts with respect to the input features (e.g., pixels in images) are often used as importance scores or estimators, which are visualized in saliency maps. Thus, a family of saliency methods provide an intuitive way to identify input features with substantial influences on classifications or latent concepts. Several modifications to conventional saliency maps, such as Rectified Gradients and Layer wise Relevance Propagation (LRP), have been introduced to allegedly denoise and improve interpretability. While visually coherent in certain cases, Rectified Gradients and other modified saliency maps introduce a strong input bias (e.g., brightness in the RGB space) because of inappropriate uses of the input features. We demonstrate that dark areas of an input image are not highlighted by a saliency map using Rectified Gradients, even if it is relevant for the class or concept. Even in the scaled images, the input bias exists around an artificial point in color spectrum. Our modification, which simply eliminates multiplication with input features, removes this bias. This showcases how a visual criteria may not align with true explainability of deep learning models.


Learning Part Boundaries from 3D Point Clouds. We present a method that detects boundaries of parts in 3D shapes represented as point clouds. Our method is based on a graph convolutional network architecture that outputs a probability for a point to lie in an area that separates two or more parts in a 3D shape. Our boundary detector is quite generic it can be trained to localize boundaries of semantic parts or geometric primitives commonly used in 3D modeling. Our experiments demonstrate that our method can extract more accurate boundaries that are closer to ground truth ones compared to alternatives. We also demonstrate an application of our network to fine grained semantic shape segmentation, where we also show improvements in terms of part labeling performance.


Local Higher Order Fixpoint Iteration. Local fixpoint iteration describes a technique that restricts fixpoint iteration in function spaces to needed arguments only. It has been studied well for first order functions in abstract interpretation and also in model checking. Here we consider the problem for least and greatest fixpoints of arbitrary type order. We define an abstract algebra of simply typed higher order functions with fixpoints that can express fixpoint evaluation problems as they occur routinely in various applications, including program verification. We present an algorithm that realises local fixpoint iteration for such higher order fixpoints, prove its correctness and study its optimisation potential in the context of several applications.


Design of a waveguide coupled GeSn disk laser. We report on the design of a waveguide coupled GeSn microdisk laser cavity in which the germanium virtual substrate serving as a template for GeSn growth is repurposed for the definition of passive on chip interconnection waveguides. A main challenge resides in transferring the optical power from the upper (Si)GeSn gain stack to the underlying virtual substrate layer and is solved with laser mode engineering. Designs are based on experimentally realized layer stacks and waveguide outcoupling efficiencies as high as 27 are shown in compact resonator geometries with a small, 7 mu m radius, with 42 of the power being recycled in the laser cavity.


Variations of TEC over Iberian Peninsula in 2015 due to geomagnetic storms and solar flares. The total ionospheric content (TEC) over the Iberian Peninsula was studied using data from two locations obtained both by GNSS receivers and an ionosonde. The principal component analysis applied to the TEC data allowed us to extract two main modes. Each mode is characterized by daily TEC variation of a certain type (PC) and its amplitude for each of the studied day (given by the empirical orthogonal functions, EOF). The variations of these modes as well as the original TEC data were studied in relations to four strongest geomagnetic storms of 2015 and three geomagnetic disturbances of lower amplitude observed during the same months. EOFs were found to correlate well with space weather parameters characterizing solar UV and XR fluxes, number of the solar flares, parameters of the solar wind and geomagnetic indices. Multiple regression models were constructed to fit EOFs using combinations of the space weather parameters with a lag from 0 to 2 days. Combining the regression models of EOFs with the corresponding PCs we reconstructed TEC variations as a function of space weather parameters observed in previous days. The possibility to use such reconstructions for the TEC forecasting was also studied.


Generating Adversarial Examples with an Optimized Quality. Deep learning models are widely used in a range of application areas, such as computer vision, computer security, etc. However, deep learning models are vulnerable to Adversarial Examples (AEs),carefully crafted samples to deceive those models. Recent studies have introduced new adversarial attack methods, but, to the best of our knowledge, none provided guaranteed quality for the crafted examples as part of their creation, beyond simple quality measures such as Misclassification Rate (MR). In this paper, we incorporateImage Quality Assessment (IQA) metrics into the design and generation process of AEs. We propose an evolutionary based single and multi objective optimization approaches that generate AEs with high misclassification rate and explicitly improve the quality, thus indistinguishability, of the samples, while perturbing only a limited number of pixels. In particular, several IQA metrics, including edge analysis, Fourier analysis, and feature descriptors, are leveraged into the process of generating AEs. Unique characteristics of the evolutionary based algorithm enable us to simultaneously optimize the misclassification rate and the IQA metrics of the AEs. In order to evaluate the performance of the proposed method, we conduct intensive experiments on different well known benchmark datasets(MNIST, CIFAR, GTSRB, and Open Image Dataset V5), while considering various objective optimization configurations. The results obtained from our experiments, when compared with the exist ing attack methods, validate our initial hypothesis that the use ofIQA metrics within generation process of AEs can substantially improve their quality, while maintaining high misclassification rate.Finally, transferability and human perception studies are provided, demonstrating acceptable performance.


Detection of COVID 19 Using Heart Rate and Blood Pressure Lessons Learned from Patients with ARDS. The world has been affected by COVID 19 coronavirus. At the time of this study, the number of infected people in the United States is the highest globally (7.9 million infections). Within the infected population, patients diagnosed with acute respiratory distress syndrome (ARDS) are in more life threatening circumstances, resulting in severe respiratory system failure. Various studies have investigated the infections to COVID 19 and ARDS by monitoring laboratory metrics and symptoms. Unfortunately, these methods are merely limited to clinical settings, and symptom based methods are shown to be ineffective. In contrast, vital signs (e.g., heart rate) have been utilized to early detect different respiratory diseases in ubiquitous health monitoring. We posit that such biomarkers are informative in identifying ARDS patients infected with COVID 19. In this study, we investigate the behavior of COVID 19 on ARDS patients by utilizing simple vital signs. We analyze the long term daily logs of blood pressure and heart rate associated with 70 ARDS patients admitted to five University of California academic health centers (containing 42506 samples for each vital sign) to distinguish subjects with COVID 19 positive and negative test results. In addition to the statistical analysis, we develop a deep neural network model to extract features from the longitudinal data. Using only the first eight days of the data, our deep learning model is able to achieve 78.79 accuracy to classify the vital signs of ARDS patients infected with COVID 19 versus other ARDS diagnosed patients.


Recognizing Stick Graphs with and without Length Constraints. Stick graphs are intersection graphs of horizontal and vertical line segments that all touch a line of slope 1 and lie above this line. De Luca et al. GD'18 considered the recognition problem of stick graphs when no order is given (STICK), when the order of either one of the two sets is given (STICK A), and when the order of both sets is given (STICK AB). They showed how to solve STICK AB efficiently. In this paper, we improve the running time of their algorithm, and we solve STICK A efficiently. Further, we consider variants of these problems where the lengths of the sticks are given as input. We show that these variants of STICK, STICK A, and STICK AB are all NP complete. On the positive side, we give an efficient solution for STICK AB with fixed stick lengths if there are no isolated vertices.


Mapping Researchers with PeopleMap. Discovering research expertise at universities can be a difficult task. Directories routinely become outdated, and few help in visually summarizing researchers' work or supporting the exploration of shared interests among researchers. This results in lost opportunities for both internal and external entities to discover new connections, nurture research collaboration, and explore the diversity of research. To address this problem, at Georgia Tech, we have been developing PeopleMap, an open source interactive web based tool that uses natural language processing (NLP) to create visual maps for researchers based on their research interests and publications. Requiring only the researchers' Google Scholar profiles as input, PeopleMap generates and visualizes embeddings for the researchers, significantly reducing the need for manual curation of publication information. To encourage and facilitate easy adoption and extension of PeopleMap, we have open sourced it under the permissive MIT license at https github.com poloclub people map. PeopleMap has received positive feedback and enthusiasm for expanding its adoption across Georgia Tech.


Bernstein Gelfand Gelfand resolutions and the constructible t structure. We consider analogues of the Bernstein Gelfand Gelfand resolution in a highest weight category mathscr P . We prove the resulting category of complexes is a chain level lift of the heart of the constructible t structure on its bounded derived category D b( mathscr P ) . In particular, an object admits a Bernstein Gelfand Gelfand resolution if and only if a certain operatorname Ext vanishing with costandard objects holds. These results appear to be new even for Category mathscr O .


Scaling limits of permutations avoiding long decreasing sequences. We determine the scaling limit for permutations conditioned to have longest decreasing subsequence of length at most d . These permutations are also said to avoid the pattern (d 1)d cdots 2 1 and they can be written as a union of d increasing subsequences. We show that these increasing subsequences can be chosen so that, after proper scaling, and centering, they converge in distribution. As the size of the permutations tends to infinity, the distribution of functions generated by the permutations converges to the eigenvalue process of a traceless d times d Hermitian Brownian bridge.


Finding compositional inverses of permutations from the AGW criterion. Permutation polynomials and their compositional inverses have wide applications in cryptography, coding theory, and combinatorial designs. Motivated by several previous results on finding compositional inverses of permutation polynomials of different forms, we propose a general method for finding these inverses of permutation polynomials constructed by the AGW criterion. As a result, we have reduced the problem of finding the compositional inverse of such a permutation polynomial over a finite field to that of finding the inverse of a bijection over a smaller set. We demonstrate our method by interpreting several recent known results, as well as by providing new explicit results on more classes of permutation polynomials in different types. In addition, we give new criteria for these permutation polynomials being involutions. Explicit constructions are also provided for all involutory criteria.


Scaling methods for accelerating kinetic Monte Carlo simulations of chemical reaction networks. Various kinetic Monte Carlo algorithms become inefficient when some of the population sizes in a system are large, which gives rise to a large number of reaction events per unit time. Here, we present a new acceleration algorithm based on adaptive and heterogeneous scaling of reaction rates and stoichiometric coefficients. The algorithm is conceptually related to the commonly used idea of accelerating a stochastic simulation by considering a sub volume lambda Omega ( 0 lambda 1 ) within a system of interest, which reduces the number of reaction events per unit time occurring in a simulation by a factor 1 lambda at the cost of greater error in unbiased estimates of first moments and biased overestimates of second moments. Our new approach offers two unique benefits. First, scaling is adaptive and heterogeneous, which eliminates the pitfall of overaggressive scaling. Second, there is no need for an emph a priori classification of populations as discrete or continuous (as in a hybrid method), which is problematic when discreteness of a chemical species changes during a simulation. The method requires specification of only a single algorithmic parameter, N c , a global critical population size above which populations are effectively scaled down to increase simulation efficiency. The method, which we term partial scaling, is implemented in the open source BioNetGen software package. We demonstrate that partial scaling can significantly accelerate simulations without significant loss of accuracy for several published models of biological systems. These models characterize activation of the mitogen activated protein kinase ERK, prion protein aggregation, and T cell receptor signaling.


Discriminability Distillation in Group Representation Learning. Learning group representation is a commonly concerned issue in tasks where the basic unit is a group, set, or sequence. Previously, the research community tries to tackle it by aggregating the elements in a group based on an indicator either defined by humans such as the quality and saliency, or generated by a black box such as the attention score. This article provides a more essential and explicable view. We claim the most significant indicator to show whether the group representation can be benefited from one of its element is not the quality or an inexplicable score, but the discriminability w.r.t. the model. We explicitly design the discrimiability using embedded class centroids on a proxy set. We show the discrimiability knowledge has good properties that can be distilled by a light weight distillation network and can be generalized on the unseen target set. The whole procedure is denoted as discriminability distillation learning (DDL). The proposed DDL can be flexibly plugged into many group based recognition tasks without influencing the original training procedures. Comprehensive experiments on various tasks have proven the effectiveness of DDL for both accuracy and efficiency. Moreover, it pushes forward the state of the art results on these tasks by an impressive margin.


Computing Abstract Distances in Logic Programs. Abstract interpretation is a well established technique for performing static analyses of logic programs. However, choosing the abstract domain, widening, fixpoint, etc. that provides the best precision cost trade off remains an open problem. This is in a good part because of the challenges involved in measuring and comparing the precision of different analyses. We propose a new approach for measuring such precision, based on defining distances in abstract domains and extending them to distances between whole analyses of a given program, thus allowing comparing precision across different analyses. We survey and extend existing proposals for distances and metrics in lattices or abstract domains, and we propose metrics for some common domains used in logic program analysis, as well as extensions of those metrics to the space of whole program analysis. We implement those metrics within the CiaoPP framework and apply them to measure the precision of different analyses over both benchmarks and a realistic program.


Wadge like degrees of Borel bqo valued functions. We unite two well known generalisations of the Wadge theory. The first one considers more general reducing functions than the continuous functions in the classical case, and the second one extends Wadge reducibility from sets (i.e., 0,1 valued functions) to Q valued functions, for a better quasiorder Q . In this article, we consider more general reducibilities on the Q valued functions and generalise some results of L. Motto Ros in the first direction and of T. Kihara and A. Montalb 'an in the second direction Our main result states that the structure of the mathbf Delta 0 alpha degrees of mathbf Delta 0 alpha gamma measurable Q valued functions is isomorphic to the mathbf Delta 0 beta degrees of mathbf Delta 0 beta gamma measurable Q valued functions, and these are isomorphic to the generalized homomorphism order on the gamma th iterated Q labeled forests.


On sound ranging in some non proper metric spaces. We consider the sound ranging, or source localization, problem find the unknown source point from known moments when the spherical wave of linearly, with time, increasing radius reaches known sensor points in some non proper metric spaces (closed ball is not always compact). Under certain conditions we approximate the solution to arbitrary precision by the iterative processes with and without a stopping criterion. We also consider this problem in normed spaces with a strictly convex norm when the sensors are dense on the unit sphere. Appended is the implementation of the approximation algorithm in Julia language.


Rethinking Text Attribute Transfer A Lexical Analysis. Text attribute transfer is modifying certain linguistic attributes (e.g. sentiment, style, authorship, etc.) of a sentence and transforming them from one type to another. In this paper, we aim to analyze and interpret what is changed during the transfer process. We start from the observation that in many existing models and datasets, certain words within a sentence play important roles in determining the sentence attribute class. These words are referred to as textit the Pivot Words . Based on these pivot words, we propose a lexical analysis framework, textit the Pivot Analysis , to quantitatively analyze the effects of these words in text attribute classification and transfer. We apply this framework to existing datasets and models and show that (1) the pivot words are strong features for the classification of sentence attributes (2) to change the attribute of a sentence, many datasets only requires to change certain pivot words (3) consequently, many transfer models only perform the lexical level modification, while leaving higher level sentence structures unchanged. Our work provides an in depth understanding of linguistic attribute transfer and further identifies the future requirements and challenges of this task footnote Our code can be found at https github.com FranxYao pivot analysis .


On Two Handed Planar Assembly Partitioning. Assembly planning, which is a fundamental problem in robotics and automation, aims to design a sequence of motions that will bring the separate constituent parts of a product into their final placement in the product. It is convenient to study assembly planning in reverse order, where the following key problem, assembly partitioning, arises Given a set of parts in their final placement in a product, partition them into two sets, each regarded as a rigid body, which we call a subassembly, such that these two subassemblies can be moved sufficiently far away from each other, without colliding with one another. The basic assembly planning problem is further complicated by practical consideration such as how to hold the parts in a subassembly together. Therefore, a desired property of a valid assembly partition is that each of the two subassemblies will be connected. We show that even an utterly simple case of the connected assembly partitioning problem is hard Given a connected set A of unit squares in the plane, each forming a distinct cell of the uniform integer grid, find a subset S subset A such that S can be rigidly translated to infinity along a prescribed direction without colliding with A setminus S , and both subassemblies S and A setminus S are each connected. We show that this problem is NP Complete, and by that settle an open problem posed by Wilson et al. (1995) a quarter of a century ago. We complement the hardness result with two positive results for the aforementioned problem variant of grid squares. First, we show that it is fixed parameter tractable and give an O(2 k n 2) time algorithm, where n A and k S . Second, we describe a special case of this variant where a connected partition can always be found in linear time. Each of the positive results sheds further light on the special geometric structure of the problem at hand.


Evolutionary Multiobjective Optimization Driven by Generative Adversarial Networks (GANs). Recently, increasing works have proposed to drive evolutionary algorithms using machine learning models. Usually, the performance of such model based evolutionary algorithms is highly dependent on the training qualities of the adopted models. Since it usually requires a certain amount of data (i.e. the candidate solutions generated by the algorithms) for model training, the performance deteriorates rapidly with the increase of the problem scales, due to the curse of dimensionality. To address this issue, we propose a multi objective evolutionary algorithm driven by the generative adversarial networks (GANs). At each generation of the proposed algorithm, the parent solutions are first classified into real and fake samples to train the GANs then the offspring solutions are sampled by the trained GANs. Thanks to the powerful generative ability of the GANs, our proposed algorithm is capable of generating promising offspring solutions in high dimensional decision space with limited training data. The proposed algorithm is tested on 10 benchmark problems with up to 200 decision variables. Experimental results on these test problems demonstrate the effectiveness of the proposed algorithm.


Approximating three dimensional magnetohydrodynamics system forced by space time white noise. The magnetohydrodynamics system consists of the Navier Stokes and Maxwell's equations, coupled through multiples of nonlinear terms. Such a system forced by space time white noise has been studied by physicists for decades, and the rigorous proof of its solution theory has been recently established in Yamazaki (2019, arXiv 1910.04820 math.AP ) using the theory of paracontrolled distributions and a technique of coupled renormalizations. When an equation is well posed, and it is approximated by replacing the differentiation operator by reasonable discretization schemes with a parameter, it is widely believed that a solution of the approximating equation should converge to the solution of the original equation as the parameter approaches zero. We prove otherwise in the case of the three dimensional magnetohydrodynamics system forced by space time white noise. Specifically, it is proven that the limit of the solution to the approximating system with an additional 32 drift terms solves the original system. These 32 drift terms depend on the choice of approximations, can be calculated explicitly in the process of renormalizations, and essentially represent a spatial version of It hat mathrm o Stratonovich correction terms. In particular, the proof relies on the technique of coupled renormalizations again, as well as taking advantage of the special structure of the magnetohydrodynamics system on many occasions.


The chromatic number of the plane is at least 5 a human verifiable proof. We present a new proof of the known fact that the chromatic number of the plane is at least 5. The main difference of this proof is that it can be verified manually without the help of the computer.


Interpretation of Swedish Sign Language using Convolutional Neural Networks and Transfer Learning. The automatic interpretation of sign languages is a challenging task, as it requires the usage of high level vision and high level motion processing systems for providing accurate image perception. In this paper, we use Convolutional Neural Networks (CNNs) and transfer learning in order to make computers able to interpret signs of the Swedish Sign Language (SSL) hand alphabet. Our model consist of the implementation of a pre trained InceptionV3 network, and the usage of the mini batch gradient descent optimization algorithm. We rely on transfer learning during the pre training of the model and its data. The final accuracy of the model, based on 8 study subjects and 9,400 images, is 85 . Our results indicate that the usage of CNNs is a promising approach to interpret sign languages, and transfer learning can be used to achieve high testing accuracy despite using a small training dataset. Furthermore, we describe the implementation details of our model to interpret signs as a user friendly web application.


Memory Bounded Open Loop Planning in Large POMDPs using Thompson Sampling. State of the art approaches to partially observable planning like POMCP are based on stochastic tree search. While these approaches are computationally efficient, they may still construct search trees of considerable size, which could limit the performance due to restricted memory resources. In this paper, we propose Partially Observable Stacked Thompson Sampling (POSTS), a memory bounded approach to open loop planning in large POMDPs, which optimizes a fixed size stack of Thompson Sampling bandits. We empirically evaluate POSTS in four large benchmark problems and compare its performance with different tree based approaches. We show that POSTS achieves competitive performance compared to tree based open loop planning and offers a performance memory tradeoff, making it suitable for partially observable planning with highly restricted computational and memory resources.


Attacking COVID 19 Progression using Multi Drug Therapy for Synergetic Target Engagement. COVID 19 is a devastating respiratory and inflammatory illness caused by a new coronavirus that is rapidly spreading throughout the human population. Over the past 6 months, severe acute respiratory syndrome coronavirus 2 (SARS CoV 2), the virus responsible for COVID 19, has already infected over 11.6 million (25 located in United States) and killed more than 540K people around the world. As we face one of the most challenging times in our recent history, there is an urgent need to identify drug candidates that can attack SARS CoV 2 on multiple fronts. We have therefore initiated a computational dynamics drug pipeline using molecular modeling, structure simulation, docking and machine learning models to predict the inhibitory activity of several million compounds against two essential SARS CoV 2 viral proteins and their host protein interactors S Ace2, Tmprss2, Cathepsins L and K, and Mpro to prevent binding, membrane fusion and replication of the virus, respectively. All together we generated an ensemble of structural conformations that increase high quality docking outcomes to screen over 6 million compounds including all FDA approved drugs, drugs under clinical trial ( 3000) and an additional 30 million selected chemotypes from fragment libraries. Our results yielded an initial set of 350 high value compounds from both new and FDA approved compounds that can now be tested experimentally in appropriate biological model systems. We anticipate that our results will initiate screening campaigns and accelerate the discovery of COVID 19 treatments.


Geometry of the Wiman Edge pencil and the Wiman curve. The em Wiman Edge pencil is the universal family C t, t in mathcal B of projective, genus 6 , complex algebraic curves admitting a faithful action of the icosahedral group Af 5 . The curve C 0 , discovered by Wiman in 1895 cite Wiman and called the em Wiman curve , is the unique smooth, genus 6 curve admitting a faithful action of the symmetric group Sf 5 . In this paper we give an explicit uniformization of mathcal B as a non congruence quotient Gamma backslash Hf of the hyperbolic plane Hf , where Gamma PSL 2( Z) is a subgroup of index 18 . We also give modular interpretations for various aspects of this uniformization, for example for the degenerations of C t into 10 lines (resp. 5 conics) whose intersection graph is the Petersen graph (resp. K 5 ). In the second half of this paper we give an explicit arithmetic uniformization of the Wiman curve C 0 itself as the quotient Lambda backslash Hf , where Lambda is a principal level 5 subgroup of a certain "unit spinor norm" group of M " o bius transformations. We then prove that C 0 is a certain moduli space of Hodge structures, endowing it with the structure of a Shimura curve of indefinite quaternionic type.


Stability of closedness of semi algebraic sets under continuous semi algebraic mappings. Given a closed semi algebraic set X subset mathbb R n and a continuous semi algebraic mapping G colon X to mathbb R m, it will be shown that there exists an open dense semi algebraic subset mathscr U of L( mathbb R n, mathbb R m), the space of all linear mappings from mathbb R n to mathbb R m, such that for all F in mathscr U , the image (F G)(X) is a closed (semi algebraic) set in mathbb R m. To do this, we study the tangent cone at infinity C infty X and the set E infty X subset C infty X of (unit) exceptional directions at infinity of X. Specifically we show that the set E infty X is nowhere dense in C infty X cap mathbb S n 1 .


Analysis of Ward's Method. We study Ward's method for the hierarchical k means problem. This popular greedy heuristic is based on the emph complete linkage paradigm Starting with all data points as singleton clusters, it successively merges two clusters to form a clustering with one cluster less. The pair of clusters is chosen to (locally) minimize the k means cost of the clustering in the next step. Complete linkage algorithms are very popular for hierarchical clustering problems, yet their theoretical properties have been studied relatively little. For the Euclidean k center problem, Ackermann et al. show that the k clustering in the hierarchy computed by complete linkage has a worst case approximation ratio of Theta( log k) . If the data lies in mathbb R d for constant dimension d , the guarantee improves to mathcal O (1) , but the mathcal O notation hides a linear dependence on d . Complete linkage for k median or k means has not been analyzed so far. In this paper, we show that Ward's method computes a 2 approximation with respect to the k means objective function if the optimal k clustering is well separated. If additionally the optimal clustering also satisfies a balance condition, then Ward's method fully recovers the optimum solution. These results hold in arbitrary dimension. We accompany our positive results with a lower bound of Omega((3 2) d) for data sets in mathbb R d that holds if no separation is guaranteed, and with lower bounds when the guaranteed separation is not sufficiently strong. Finally, we show that Ward produces an mathcal O (1) approximative clustering for one dimensional data sets.


FeatMatch Feature Based Augmentation for Semi Supervised Learning. Recent state of the art semi supervised learning (SSL) methods use a combination of image based transformations and consistency regularization as core components. Such methods, however, are limited to simple transformations such as traditional data augmentation or convex combinations of two images. In this paper, we propose a novel learned feature based refinement and augmentation method that produces a varied set of complex transformations. Importantly, these transformations also use information from both within class and across class prototypical representations that we extract through clustering. We use features already computed across iterations by storing them in a memory bank, obviating the need for significant extra computation. These transformations, combined with traditional image based augmentation, are then used as part of the consistency based regularization loss. We demonstrate that our method is comparable to current state of art for smaller datasets (CIFAR 10 and SVHN) while being able to scale up to larger datasets such as CIFAR 100 and mini Imagenet where we achieve significant gains over the state of art ( textit e.g., absolute 17.44 gain on mini ImageNet). We further test our method on DomainNet, demonstrating better robustness to out of domain unlabeled data, and perform rigorous ablations and analysis to validate the method.


Determining Ionizing Doses in Medium Earth Orbits Using Long Term GPS Particle Measurements. We use long term electron and proton in situ measurements made by the CXD particle instruments, developed by Los Alamos National Laboratory and carried on board GPS satellites, to determine total ionizing dose (TID) values and daily yearly dose rate (DR) values in medium Earth orbits (MEOs) caused by the natural space radiation environment. Here measurement based TID and DR values on a simplified sample geometry a small (with a radius of 0.1 mm) Silicon detector within an Aluminum shielding sphere with a thickness of 100 mil are compared to those calculated from empirical radiation models. Results over the solar cycle 24 show that electron TID from measurements in GPS orbit is well above the values calculated from the median mean fluences from AE8 and AE9 models, but close to model fluences at high percentiles. Also, it is confirmed that in MEOs proton contributions to TID are minor and mainly dominated by solar energetic protons. Several factors affecting those dose calculations are discussed and evaluated. Results from this study provide us another out of sample test on the reliability of existing empirical space radiation models, and also help estimate the margin factors on calculated dose values in MEOs that pass through the heart of the Earth's outer radiation belt.


Model of a transition from low to high ablation regime in a carbon arc. Graphite ablation in a presence of inert background gas is widely used in different methods for the synthesis of carbon nanotubes, including electric arc and laser solar ablation. The ablation rate is an important characteristic of the synthesis process. It is known from multiple arc experiments that there are two distinguishable ablation regimes, so called "low ablation" and "high ablation" regimes in which the ablation rate behaves rather differently with variation of the arc parameters. We developed a model that explains low and high ablation regimes by taking into account the presence of a background gas and its effects on the ablation rate. We derive analytical relations for these regimes and verify them by comparing them with full numerical solutions in a wide arc parameter range. We comprehensively validate the model by comparing to multiple experimental data on the ablation rate in carbon arcs, where various arc parameters were varied. Good qualitative and quantitative agreement between full numerical solutions, analytical solutions, and experimental data was obtained.


Positive Impacts on Student Self Efficacy from an Introductory Physics for Life Science Course Using the Team Based Learning Pedagogy. We present the impact on student self efficacy of an introductory physics for life science students course taught using a Team Based Learning pedagogy. We measured self efficacy using the validated quantitative Sources of Self Efficacy in Science Courses Physics, SOSESC P, survey developed by Fencl and Scheel. Data were collected both at the beginning and end of the semester to evaluate the impact of shifts in individual self efficacy. After describing the key features of the pedagogy, we find that the Team Based Learning system at University of Massachusetts Amherst, results in significant improvements for she identifying individuals from three of the four sources of self efficacy identified by Bandura as well as in three of four investigated attributes of the course. We also investigated the predictive power of self efficacy on individual student performance using logarithmic regression. For our course, the shift in self efficacy between the beginning and end of the semester is more important that a student's pronouns in predicting attaining at least a B on individual assignments.


Faster Parallel Algorithm for Approximate Shortest Path. We present the first m , text polylog (n) work, text polylog (n) time algorithm in the PRAM model that computes (1 epsilon) approximate single source shortest paths on weighted, undirected graphs. This improves upon the breakthrough result of Cohen JACM'00 that achieves O(m 1 epsilon 0 ) work and text polylog (n) time. While most previous approaches, including Cohen's, leveraged the power of hopsets, our algorithm builds upon the recent developments in emph continuous optimization , studying the shortest path problem from the lens of the closely related emph minimum transshipment problem. To obtain our algorithm, we demonstrate a series of near linear work, polylogarithmic time reductions between the problems of approximate shortest path, approximate transshipment, and ell 1 embeddings, and establish a recursive algorithm that cycles through the three problems and reduces the graph size on each cycle. As a consequence, we also obtain faster parallel algorithms for approximate transshipment and ell 1 embeddings with polylogarithmic distortion. The minimum transshipment algorithm in particular improves upon the previous best m 1 o(1) work sequential algorithm of Sherman SODA'17 . To improve readability, the paper is almost entirely self contained, save for several staple theorems in algorithms and combinatorics.


Local asymptotic stability of a system of integro differential equations describing clonal evolution of a self renewing cell population under mutation. In this paper we consider a system of non linear integro differential equations (IDEs) describing evolution of a clonally heterogeneous population of malignant white blood cells (leukemic cells) undergoing mutation and clonal selection. We prove existence and uniqueness of non trivial steady states and study their asymptotic stability. The results are compared to those of the system without mutation. Existence of equilibria is proved by formulating the steady state problem as an eigenvalue problem and applying a version of the Krein Rutmann theorem for Banach lattices. The stability at equilibrium is analysed using linearisation and the Weinstein Aronszajn determinant which allows to conclude local asymptotic stability.


A Nunke type classification in the locally compact setting. In this short note we prove that a group G is lcH slender that is, every abstract group homomorphism from a locally compact Hausdorff topological group to G has an open kernel if and only if G is torsion free and does not include Q or the p adic integers Zp for any prime p. This mirrors a classical characterization given by Nunke for slender abelian groups.


Optimized lockdown strategies for curbing the spread of COVID 19 A South African case study. To curb the spread of COVID 19, many governments around the world have implemented tiered lockdowns with varying degrees of stringency. Lockdown levels are typically increased when the disease spreads and reduced when the disease abates. A predictive control approach is used to develop optimized lockdown strategies for curbing the spread of COVID 19. The strategies are then applied to South African data. The South African case is of interest as the South African government has defined five distinct levels of lockdown, which serves as a discrete control input. An epidemiological model for the spread of COVID 19 in South Africa was previously developed, and is used in conjunction with a hybrid model predictive controller to optimize lockdown management under different policy scenarios. Scenarios considered include how to flatten the curve to a level that the healthcare system can cope with, how to balance lives and livelihoods, and what impact the compliance of the population to the lockdown measures has on the spread of COVID 19. The main purpose of this paper is to show what the optimal lockdown level should be given the policy that is in place, as determined by the closed loop feedback controller.


The existence of p convex tensor products of L p(X) spaces for the case of an arbitrary measure. We obtain a far reaching generalization (in several directions) of the theorem of A. Lambert on the existence of the projective tensor product of operator sequence spaces. This result is obtained in the context of spaces, generalizing p multinormed spaces of Dales et al. which are based on an arbitrary, perhaps non discrete measure.


The IVP for a higher dimensional version of the Benjamin Ono equation in weighted Sobolev spaces. We study the initial value problem associated to a higher dimensional version of the Benjamin Ono equation. Our purpose is to establish local well posedness results in weighted Sobolev spaces and to determinate according to them some sharp unique continuation properties of the solution flow. In consequence, optimal decay rate for this model is determined. A key ingredient is the deduction of a new commutator estimate involving Riesz transforms.


Characterizing and Predicting Repeat Food Consumption Behavior for Just in Time Interventions. Human beings are creatures of habit. In their daily life, people tend to repeatedly consume similar types of food items over several days and occasionally switch to consuming different types of items when the consumptions become overly monotonous. However, the novel and repeat consumption behaviors have not been studied in food recommendation research. More importantly, the ability to predict daily eating habits of individuals is crucial to improve the effectiveness of food recommender systems in facilitating healthy lifestyle change. In this study, we analyze the patterns of repeat food consumptions using large scale consumption data from a popular online fitness community called MyFitnessPal (MFP), conduct an offline evaluation of various state of the art algorithms in predicting the next day food consumption, and analyze their performance across different demographic groups and contexts. The experiment results show that algorithms incorporating the exploration and exploitation and temporal dynamics are more effective in the next day recommendation task than most state of the art algorithms.


Scaling of the Puffing Strouhal Number for Buoyant Jets. Prior research has shown that round and planar buoyant jets "puff" at a frequency that depends on the balance of momentum and buoyancy fluxes at the inlet, as parametrized by the Richardson number. Experiments have revealed the existence of scaling relations between the Strouhal number of the puffing and the inlet Richardson number, but geometry specific relations are required when the characteristic length is taken to be the diameter (for round inlets) or width (for planar inlets). In the present study, we show that when the hydraulic radius of the inlet is instead used as the characteristic length, a single Strouhal Richardson scaling relation is obtained for a variety of inlet geometries. In particular, we use adaptive mesh numerical simulations to measure puffing Strouhal numbers for circular, rectangular (with three different aspect ratios), triangular, and annular high temperature buoyant jets over a range of Richardson numbers. We then combine these results with prior experimental data for round and planar buoyant jets to propose a new scaling relation that accurately describes puffing Strouhal numbers for various inlet shapes and for Richardson numbers spanning over four orders of magnitude.


Locally Constant Constructive Functions and Connectedness of Intervals. We prove that every locally constant constructive function on an interval is in fact a constant function. This answers a question formulated by Andrej Bauer. As a related result we show that an interval consisting of constructive real numbers is in fact connected, but can be decomposed into the disjoint union of two sequentially closed nonempy sets.


Influence of Incremental Constraints on Energy Consumption and Static Scheduling Time for Moldable Tasks with Deadline. Static scheduling of independent, moldable tasks on parallel machines with frequency scaling comprises decisions on core allocation, assignment, frequency scaling and ordering, to meet a deadline and minimize energy consumption. Constraining some of these decisions reduces the solution space, i.e. may increase energy consumption, but may also reduce scheduling time or give the chance to tackle larger task sets. We investigate the influence of different constraints that lead from an unrestricted scheduler via two intermediate steps to the crown scheduler, by presenting integer linear programs for all four schedulers. We compare scheduling time and energy consumption for a benchmark suite of synthetic task sets of different sizes. Our results indicate that the final step towards the crown scheduler the execution order constraint is responsible for faster scheduling when task sets are small, and lower energy consumption when we deal with large task sets.