Double Descent in Classical Groups. Let bf A be the ring of adeles of a number field F . Given a self dual irreducible, automorphic, cuspidal representation tau of GL n( BA) , with trivial central characters, we construct its full inverse image under the weak Langlands functorial lift from the appropriate split classical group G . We do this by a new automorphic descent method, namely the double descent. This method is derived from the recent generalized doubling integrals of Cai, Friedberg, Ginzburg and Kaplan cite CFGK17 , which represent the standard L functions for G times GL n . Our results are valid also for double covers of symplectic groups.


Aggregation via Separation Boosting Facial Landmark Detector with Semi Supervised Style Translation. Facial landmark detection, or face alignment, is a fundamental task that has been extensively studied. In this paper, we investigate a new perspective of facial landmark detection and demonstrate it leads to further notable improvement. Given that any face images can be factored into space of style that captures lighting, texture and image environment, and a style invariant structure space, our key idea is to leverage disentangled style and shape space of each individual to augment existing structures via style translation. With these augmented synthetic samples, our semi supervised model surprisingly outperforms the fully supervised one by a large margin. Extensive experiments verify the effectiveness of our idea with state of the art results on WFLW, 300W, COFW, and AFLW datasets. Our proposed structure is general and could be assembled into any face alignment frameworks. The code is made publicly available at https github.com thesouthfrog stylealign.


Geometric vertex decomposition and liaison. Geometric vertex decomposition and liaison are two frameworks that have been used to produce similar results about similar families of algebraic varieties. In this paper, we establish an explicit connection between these approaches. In particular, we show that each geometrically vertex decomposable ideal is linked by a sequence of elementary G biliaisons of height 1 to an ideal of indeterminates and, conversely, that every G biliaison of a certain type gives rise to a geometric vertex decomposition. As a consequence, we can immediately conclude that several well known families of ideals are glicci, including Schubert determinantal ideals, defining ideals of varieties of complexes, and defining ideals of graded lower bound cluster algebras.


Some sharp Schwarz Pick type estimates and their applications of harmonic and pluriharmonic functions. The purpose of this paper is to study the Schwarz Pick type inequalities for harmonic or pluriharmonic functions. By analogy with the generalized Khavinson conjecture, we first give some sharp estimates of the norm of harmonic functions from the Euclidean unit ball in mathbb R n into the unit ball of the real Minkowski space. Next, we give several sharp Schwarz Pick type inequalities for pluriharmonic functions from the Euclidean unit ball in mathbb C n or from the unit polydisc in mathbb C n into the unit ball of the Minkowski space. Furthermore, we establish some sharp coefficient type Schwarz Pick inequalities for pluriharmonic functions defined in the Minkowski space. Finally, we use the obtained Schwarz Pick type inequalities to discuss the Lipschitz continuity, the Schwarz Pick type lemmas of arbitrary order and the Bohr phenomenon of harmonic or pluriharmonic functions.


Hypothesis of collective state in biomolecules and discussion on the possibility of its experimental verification. The analogy between the phenomenon of live and collective states in Condensed Matter was supposed by several well known physicists. The possibility of experimental verification of this hypothesis is discussed.


Texture Retrieval in the Wild through detection based attributes. Capturing the essence of a textile image in a robust way is important to retrieve it in a large repository, especially if it has been acquired in the wild (by taking a photo of the textile of interest). In this paper we show that a texel based representation fits well with this task. In particular, we refer to Texel Att, a recent texel based descriptor which has shown to capture fine grained variations of a texture, for retrieval purposes. After a brief explanation of Texel Att, we will show in our experiments that this descriptor is robust to distortions resulting from acquisitions in the wild by setting up an experiment in which textures from the ElBa (an Element Based texture dataset) are artificially distorted and then used to retrieve the original image. We compare our approach with existing descriptors using a simple ranking framework based on distance functions. Results show that even under extreme conditions (such as a down sampling with a factor of 10), we perform better than alternative approaches.


Connectedness in structures on the real numbers o minimality and undecidability. We initiate an investigation of structures on the set of real numbers having the property that path components of definable sets are definable. All o nobreakdash hspace 0pt minimal structures on ( mathbb R , ) have the property, as do all expansions of ( mathbb R , , cdot, mathbb N ) . Our main analytic geometric result is that any such expansion of ( mathbb R , , ) by boolean combinations of open sets (of any arities) either is o nobreakdash hspace 0pt minimal or defines an isomorph of ( mathbb N, , cdot ,) . We also show that any given expansion of ( mathbb R , , , mathbb N ) by subsets of mathbb N n ( n allowed to vary) has the property if and only if it defines all arithmetic sets. Variations arise by considering connected components or quasicomponents instead of path components.


Mercury Hydroxide as a Promising Triatomic Molecule to Probe P,T odd Interactions. In the quest to find a favourable triatomic molecule for detecting electric dipole moment of an electron (eEDM), we identify mercury hydroxide (HgOH) as an extremely attractive candidate from both experimental and theoretical viewpoints. Our calculations show that there is a four fold enhancement in the effective electric field of HgOH compared to the recently proposed ytterbium hydroxide (YbOH) Phys. Rev. Lett. 119, 133002 (2017) for eEDM measurement. Thus, in the (010) bending state associated with the electronic ground state, it could provide better sensitivity than YbOH from a theoretical point of view. We have also investigated the potential energy curve and permanent electric dipole moment of HgOH, which lends support for its experimental feasibility. Moreover, we propose that it is possible to laser cool the HgOH molecule by adopting the same technique as that in the diatomic polar molecule, HgF, as shown in Phys. Rev. A 99, 032502 (2019) .


Biquandle Brackets and Knotoids. Biquandle brackets are a type of quantum enhancement of the biquandle counting invariant for oriented knots and links, defined by a set of skein relations with coefficients which are functions of biquandle colors at a crossing. In this paper we use biquandle brackets to enhance the biquandle counting matrix invariant defined by the first two authors in arXiv 1803.11308. We provide examples to illustrate the method of calcuation and to show that the new invariants are stronger than the previous ones.


Neural Teleportation. In this paper, we explore a process called neural teleportation, a mathematical consequence of applying quiver representation theory to neural networks. Neural teleportation "teleports" a network to a new position in the weight space and preserves its function. This phenomenon comes directly from the definitions of representation theory applied to neural networks and it turns out to be a very simple operation that has remarkable properties. We shed light on surprising and counter intuitive consequences neural teleportation has on the loss landscape. In particular, we show that teleportation can be used to explore loss level curves, that it changes the local loss landscape, sharpens global minima and boosts back propagated gradients at any moment during the learning process. Our results can be reproduced with the code available here https github.com vitalab neuralteleportation


Random walks and forbidden minors II A text poly (d varepsilon 1 ) query tester for minor closed properties of bounded degree graphs. Let G be a graph with n vertices and maximum degree d . Fix some minor closed property mathcal P (such as planarity). We say that G is varepsilon far from mathcal P if one has to remove varepsilon dn edges to make it have mathcal P . The problem of property testing mathcal P was introduced in the seminal work of Benjamini Schramm Shapira (STOC 2008) that gave a tester with query complexity triply exponential in varepsilon 1 . Levi Ron (TALG 2015) have given the best tester to date, with a quasipolynomial (in varepsilon 1 ) query complexity. It is an open problem to get property testers whose query complexity is text poly (d varepsilon 1 ) , even for planarity. In this paper, we resolve this open question. For any minor closed property, we give a tester with query complexity d cdot text poly ( varepsilon 1 ) . The previous line of work on (independent of n , two sided) testers is primarily combinatorial. Our work, on the other hand, employs techniques from spectral graph theory. This paper is a continuation of recent work of the authors (FOCS 2018) analyzing random walk algorithms that find forbidden minors.


Modeling and Simulation of COVID 19 Pandemic for Cincinnati Tri State Area. In this paper, we use SIR model to simulate the COVID 19 pandemic for Cincinnati Tri State Area. We have built a representative population of Cincinnati that includes movements for traveling to stores, schools, workplaces, and traveling to friends houses. Using this model, we simulate the effect of quarantine, return to work, and panic buying. We show that that there will be a second wave of infections when people return to work and significant increase in number of infections when there is panic buying at stores with the announcement of the quarantine measures.


Lutwak Petty projection inequalities for Minkowski valuations and their duals. Lutwak's volume inequalities for polar projection bodies of all orders are generalized to polarizations of Minkowski valuations generated by even, zonal measures on the Euclidean unit sphere. This is based on analogues of mixed projection bodies for such Minkowski valuations and a generalization of the notion of centroid bodies. A new integral representation is used to single out Lutwak's inequalities as the strongest among these families of inequalities, which in turn are related to a conjecture on affine quermassintegrals. In the dual setting, a generalization of volume inequalities for intersection bodies of all orders by Leng and Lu is proved. These results are related to Grinberg's inequalities for dual affine quermassintegrals.


Symmetries of cross ratios and the equation for M "obius structures. We consider orthogonal representations eta n S n curvearrowright mathbb R N of the symmetry groups S n , n ge 4 , with N n! 8 motivated by symmetries of cross ratios. For n 5 we find the decomposition of eta 5 into irreducible components and show that one of the components gives the solution to the equations, which describe M "obius structures in the class of sub M "obius structures. In this sense, the condition defining M "obius structures is hidden already in symmetries of cross ratios.


Going Beyond Classification Accuracy Metrics in Model Compression. With the rise in edge computing devices, there has been an increasing demand to deploy energy and resource efficient models. A large body of research has been devoted to developing methods that can reduce the size of the model considerably without affecting the standard metrics such as top 1 accuracy. However, these pruning approaches tend to result in a significant mismatch in other metrics such as fairness across classes and explainability. To combat such misalignment, we propose a novel multi part loss function inspired by the knowledge distillation literature. Through extensive experiments, we demonstrate the effectiveness of our approach across different compression algorithms, architectures, tasks as well as datasets. In particular, we obtain up to 4.1 times reduction in the number of prediction mismatches between the compressed and reference models, and up to 5.7 times in cases where the reference model makes the correct prediction all while making no changes to the compression algorithm, and minor modifications to the loss function. Furthermore, we demonstrate how inducing simple alignment between the predictions of the models naturally improves the alignment on other metrics including fairness and attributions. Our framework can thus serve as a simple plug and play component for compression algorithms in the future.


Efficient frequency conversion in a degenerate chi (2) microresonator. Microresonators on a photonic chip could enhance nonlinear optics effects, thus are promising for realizing scalable high efficiency frequency conversion devices. However, fulfilling phase matching conditions among multiple wavelengths remains a significant challenge. Here, we present a feasible scheme for degenerate sum frequency conversion that only requires the two mode phase matching condition. When the drive and the signal are both near resonance to the same telecom mode, an efficient on chip photon number conversion efficiency upto 42 was achieved, showing a broad tuning bandwidth over 250GHz. Furthermore, cascaded Pockels and Kerr nonlinear optical effects are observed, enabling the parametric amplification of the optical signal to a distinct wavelength in a single device. The scheme demonstrated in this work provides an alternative approach to realizing high efficiency frequency conversion and is promising for future studies on communications, atom clocks, sensing, and imaging.


Code Summarization with Structure induced Transformer. Code summarization (CS) is becoming a promising area in recent language understanding, which aims to generate sensible human language automatically for programming language in the format of source code, serving in the most convenience of programmer developing. It is well known that programming languages are highly structured. Thus previous works attempt to apply structure based traversal (SBT) or non sequential models like Tree LSTM and graph neural network (GNN) to learn structural program semantics. However, it is surprising that incorporating SBT into advanced encoder like Transformer instead of LSTM has been shown no performance gain, which lets GNN become the only rest means modeling such necessary structural clue in source code. To release such inconvenience, we propose structure induced Transformer, which encodes sequential code inputs with multi view structural clues in terms of a newly proposed structure induced self attention mechanism. Extensive experiments show that our proposed structure induced Transformer helps achieve new state of the art results on benchmarks.


Alexander Bruce, Scotland's accidental 'Scientific Revolutionary'. The mid 17th century saw unprecedented scientific progress. With the Middle Ages well and truly over, the Scientific Revolution had begun. However, scientific advancement does not always proceed along well planned trajectories. Chance encounters and sheer luck have important roles to play, although more so in the 17th century than today. In this context, the Scottish businessman and erstwhile royalist exile, Alexander Bruce (1629 1680), found himself in the right place at the right time to contribute significant innovations to the nascent pendulum clock design championed by contemporary natural philosophers such as Christiaan Huygens, Robert Moray, and Robert Hooke as the solution to the perennial 'longitude problem.' Bruce's fledgling interests in science and engineering were greatly boosted by his association with the brightest minds of the newly established Royal Society of London. From an underdog position, his innovations soon outdid the achievements of the era's celebrated scholars, enabling him to conduct some of the first promising sea trials of viable marine timekeepers. International collaboration became international rivalry as time went on, with little known Scottish inventions soon becoming part of mainstream clock designs.


Julia sets of Zorich maps. The Julia set of the exponential family E kappa z mapsto kappa e z , kappa 0 was shown to be the entire complex plane when kappa 1 e essentially by Misiurewicz. Later, Devaney and Krych showed that for 0 kappa leq1 e the Julia set is an uncountable union of pairwise disjoint simple curves tending to infinity. Bergweiler generalized the result of Devaney and Krych for a three dimensional analogue of the exponential map called the Zorich map. We show that the Julia set of certain Zorich maps with symmetry is the entire mathbb R 3 generalizing Misiurewicz's result. Moreover, we show that the periodic points of the Zorich map are dense in mathbb R 3 and that its escaping set is connected, generalizing a result of Rempe. We also generalize a theorem of Ghys, Sullivan and Goldberg on the measurable dynamics of the exponential.


Trace Reconstruction Problems in Computational Biology. The problem of reconstructing a string from its error prone copies, the trace reconstruction problem, was introduced by Vladimir Levenshtein two decades ago. While there has been considerable theoretical work on trace reconstruction, practical solutions have only recently started to emerge in the context of two rapidly developing research areas immunogenomics and DNA data storage. In immunogenomics, traces correspond to mutated copies of genes, with mutations generated naturally by the adaptive immune system. In DNA data storage, traces correspond to noisy copies of DNA molecules that encode digital data, with errors being artifacts of the data retrieval process. In this paper, we introduce several new trace generation models and open questions relevant to trace reconstruction for immunogenomics and DNA data storage, survey theoretical results on trace reconstruction, and highlight their connections to computational biology. Throughout, we discuss the applicability and shortcomings of known solutions and suggest future research directions.


Learning Spatiotemporal Features via Video and Text Pair Discrimination. Current video representations heavily rely on learning from manually annotated video datasets which are time consuming and expensive to acquire. We observe videos are naturally accompanied by abundant text information such as YouTube titles and Instagram captions. In this paper, we leverage this visual textual connection to learn spatiotemporal features in an efficient weakly supervised manner. We present a general cross modal pair discrimination (CPD) framework to capture this correlation between a video and its associated text. Specifically, we adopt noise contrastive estimation to tackle the computational issue imposed by the huge amount of pair instance classes and design a practical curriculum learning strategy. We train our CPD models on both standard video dataset (Kinetics 210k) and uncurated web video dataset (Instagram 300k) to demonstrate its effectiveness. Without further fine tuning, the learnt models obtain competitive results for action classification on Kinetics under the linear classification protocol. Moreover, our visual model provides an effective initialization to fine tune on downstream tasks, which yields a remarkable performance gain for action recognition on UCF101 and HMDB51, compared with the existing state of the art self supervised training methods. In addition, our CPD model yields a new state of the art for zero shot action recognition on UCF101 by directly utilizing the learnt visual textual embeddings. The code will be made available at https github.com MCG NJU CPD Video.


Schur analysis of matricial Hausdorff moment sequences. We develop the algebraic instance of an algorithmic approach to the matricial Hausdorff moment problem on a compact interval alpha, beta of the real axis. Our considerations are along the lines of the classical Schur algorithm and the treatment of the Hamburger moment problem on the real axis by Nevanlinna. More precisely, a transformation of matrix sequences is constructed, which transforms Hausdorff moment sequences into Hausdorff moment sequences reduced by 1 in length. It is shown that this transformation corresponds essentially to the left shift of the associated sequences of canonical moments. As an application, we show that a matricial version of the arcsine distribution can be used to characterize a certain centrality property of non negative Hermitian measures on alpha, beta .


Frequency selection in a gravitationally stretched capillary jet in the jetting regime. A capillary jet falling under the effect of gravity continuously stretches while thinning downstream. We report here the effect of external periodic forcing on such a spatially varying jet in the jetting regime. Surprisingly, the optimal forcing frequency producing the most unstable jet is found to be highly dependent on the forcing amplitude. Taking benefit of the one dimensional Eggers Dupont (J. Fluid Mech., vol. 262, 1994, 205 221) equations, we investigate the case through nonlinear simulations and linear stability analysis. In the local framework the WKBJ formalism, established for weakly non parallel flows, fails to capture the nonlinear simulation results quantitatively. However in the global framework, the resolvent analysis supplemented by a simple approximation of the required response norm inducing breakup, is shown to correctly predict the optimal forcing frequency at a given forcing amplitude and the resulting jet breakup length. The results of the resolvent analysis are found to be in good agreement with those of the nonlinear simulations.


Influence of surface materials on the volume production of negative ions in a radio frequency driven hydrogen plasma. Negative atomic hydrogen ion (H ) densities were measured in a pulsed low pressure E mode inductively coupled radio frequency (rf) driven plasma in hydrogen by means of laser photodetachment and a Langmuir probe. This investigation focuses on the influence of different metallic surface materials on the volume production of H ions. The H density was measured above a thin disc of either tungsten, stainless steel, copper, aluminium, or molybdenum placed onto the lower grounded electrode of the plasma device as a function of gas pressure and applied rf power. For copper, aluminium, and molybdenum the H density was found to be quite insensitive to pressure and rf power, with values ranging between 3.6x10 14 to 5.8x10 14 m 3 . For stainless steel and tungsten, the H dependency was found to be complex, apart from the case of a similar linear increase from 2.9x10 14 to 1.1x10 15 m 3 with rf power at a pressure of 25 Pa. Two photon absorption laser induced fluorescence was used to measure the atomic hydrogen densities and phase resolved optical emission spectroscopy was used to investigate whether the plasma dynamics were surface dependent. An explanation for the observed differences between the two sets of investigated materials is given in terms of surface reaction mechanisms for the creation of vibrationally excited hydrogen molecules.


Gaussian upper bounds for the heat kernel on evolving manifolds. In this article, we prove a general and rather flexible upper bound for the heat kernel of a weighted heat operator on a closed manifold evolving by an intrinsic geometric flow. The proof is based on logarithmic Sobolev inequalities and ultracontractivity estimates for the weighted operator along the flow, a method which was previously used by Davies in the case of a non evolving manifold. This result directly implies Gaussian type upper bounds for the heat kernel under certain bounds on the evolving distance function in particular we find new proofs of Gaussian heat kernel bounds on manifolds evolving by Ricci flow with bounded curvature or positive Ricci curvature. We also obtain similar heat kernel bounds for a class of other geometric flows.


Riemann Liouville derivative over the space of integrable distributions. In this paper, we generalize the Riemann Liouville differential and integral operators on the space of Henstock Kurzweil integrable distributions, D HK . We obtain new fundamental properties of the fractional derivative and integral, a general version of the fundamental theorem of fractional calculus, semigroup property for the Riemann Liouville integral operators and relations between the Riemann Liouville integral and differential operators. Also, we achieve a generalized characterization of the solution for the Abel integral equation. Finally, we show relations for the Fourier transform of fractional derivative and integral. These results are based on the properties of the distributional Henstock Kurzweil integral and convolution.


Evaluating recommender systems for AI driven biomedical informatics. Motivation Many researchers with domain expertise are unable to easily apply machine learning to their bioinformatics data due to a lack of machine learning and or coding expertise. Methods that have been proposed thus far to automate machine learning mostly require programming experience as well as expert knowledge to tune and apply the algorithms correctly. Here, we study a method of automating biomedical data science using a web based platform that uses AI to recommend model choices and conduct experiments. We have two goals in mind first, to make it easy to construct sophisticated models of biomedical processes and second, to provide a fully automated AI agent that can choose and conduct promising experiments for the user, based on the user's experiments as well as prior knowledge. To validate this framework, we experiment with hundreds of classification problems, comparing to state of the art, automated approaches. Finally, we use this tool to develop predictive models of septic shock in critical care patients. Results We find that matrix factorization based recommendation systems outperform meta learning methods for automating machine learning. This result mirrors the results of earlier recommender systems research in other domains. The proposed AI is competitive with state of the art automated machine learning methods in terms of choosing optimal algorithm configurations for datasets. In our application to prediction of septic shock, the AI driven analysis produces a competent machine learning model (AUROC 0.85 0.02) that performs on par with state of the art deep learning results for this task, with much less computational effort.


Probability theory and public key cryptography. In this short note, we address a common misconception at the interface of probability theory and public key cryptography.


3D Printed Photocathodes for Resonant, Terahertz Field Driven Ultrafast Electron Emission. Ultrashort photoemitted electron bunches can provide high electron currents within sub picosecond timeframes, enabling time resolved investigations of ultrafast physical processes with nanoscale resolution. Non resonant conductive nanotips are typically employed to realize nanoscale photoelectron sources with high brightness. However, such emitters require complex non scalable fabrication procedures featuring poor reproducibility. Planar resonant antennas fabricated via photolithography have been recently investigated, also because of their superior field enhancement properties. Nevertheless, the electron emission from these structures is parallel to the substrate plane, which limits their practical use as electron sources. In this work, we present an innovative out of plane, resonant nanoantenna design for field driven photoemission enabled by high resolution 3D printing. Numerical and experimental evidences demonstrate that gold coated, terahertz resonant nanocones provide large local electric fields at their apex, automatically ensuring out of plane coherent electron emission and acceleration. We show that the resonant structures can be conveniently arranged in an array form, for a further significant electron extraction enhancement via a collective terahertz response. Remarkably, such collective behaviour can also be harvested to boost photoemission from an individual nano source. Our approach opens the path for a new generation of photocathodes that can be reproducibly fabricated and designed at will, significantly relaxing the requirement for intense terahertz drivers.


Singular solutions for coercive quasilinear elliptic inequalities with nonlocal terms. We study the inequality rm div big( x alpha nabla u m 2 nabla u big) geq (I beta ast u p)u q quad mbox in B 1 setminus 0 subset mathbb R N, where alpha 0 , N geq 1 , m 1 , p, q m 1 and I beta denotes the Riesz potential of order beta in(0, N) . We obtain sharp conditions in terms of these parameters for which positive singular solutions exist. We further establish the asymptotic profile of singular solutions to the double inequality a(I beta ast u p)u q geq rm div big( x alpha nabla u m 2 nabla u big) geq b(I beta ast u p)u q quad mbox in B 1 setminus 0 subset mathbb R N, where a geq b 0 are constants.


A generating set for the canonical ideal of HKG curves. The canonical ideal for Harbater Katz Gabber covers satisfying the conditions of Petri's theorem is studied and an explicit non singular model of the above curves is given.


Twist formulas for one row colored A 2 webs and mathfrak sl 3 tails of (2,2m) torus links. The mathfrak sl 3 colored Jones polynomial J lambda mathfrak sl 3 (L) is obtained by coloring the link components with two row Young diagram lambda . Although it is difficult to compute J lambda mathfrak sl 3 (L) in general, we can calculate it by using Kuperberg's A 2 skein relation. In this paper, we show some formulas for twisted two strands colored by one row Young diagram in A 2 web space and compute J (n,0) mathfrak sl 3 (T(2,2m)) for an oriented (2,2m) torus link. These explicit formulas derives the mathfrak sl 3 tail of T(2,2m) . They also give explicit descriptions of the mathfrak sl 3 false theta series with one row coloring because the mathfrak sl 2 tail of T(2,2m) is known as the false theta series.


Rapid forward of gravity and tensor gravity data. The large scale three dimensional inversion of surface gravity tensor gravity data is a very challenging numerical and practical problem, which is a highly physical memory usage, time consuming computation and high precision for large scale gravity models. Equivalent geometric architecture was introduced to avoid to calculate and to save sensitivity matrix. A new equivalent geometric architecture was not rely on symmetrical characteristic of gravity field by added three virtual grids into geophysical model. A new fast forward method was proposed based translation equivalent technique based toeplitz matrix, which a toeplitz matrix carried out fast matrix vector multiplication by using the fast Fourier transform. Numerical experiments show that the method proposed in this paper is require little memory, high efficiency and high precision.


A note on r hypersurfaces intersecting in mathbb P r . We consider the locus of r tuples of homogeneous forms of some fixed degree whose common vanishing locus in mathbb P r is positive dimensional. We show that any component of maximal dimension of that locus either consists of homogeneous forms all vanishing on some line or homogeneous forms where a proper subset fail to intersect properly.


LAI Net Local Ancestry Inference with Neural Networks. Local ancestry inference (LAI), also referred to as ancestry deconvolution, provides high resolution ancestry estimation along the human genome. In both research and industry, LAI is emerging as a critical step in DNA sequence analysis with applications extending from polygenic risk scores (used to predict traits in embryos and disease risk in adults) to genome wide association studies, and from pharmacogenomics to inference of human population history. While many LAI methods have been developed, advances in computing hardware (GPUs) combined with machine learning techniques, such as neural networks, are enabling the development of new methods that are fast, robust and easily shared and stored. In this paper we develop the first neural network based LAI method, named LAI Net, providing competitive accuracy with state of the art methods and robustness to missing or noisy data, while having a small number of layers.


Normalized Laplacians for Gain Graphs. We propose the notion of normalized Laplacian matrix mathcal L ( Phi) for a gain graphs and study its properties in detail, providing insights and counterexamples along the way. We establish bounds for the eigenvalues of mathcal L ( Phi) and characterize the classes of graphs for which equality holds. The relationships between the balancedness, bipartiteness, and their connection to the spectrum of mathcal L ( Phi) are also studied. Besides, we extend the edge version of eigenvalue interlacing for the gain graphs. Thereupon, we determine the coefficients for the characteristic polynomial of mathcal L ( Phi) .


Duality of Session Types The Final Cut. Duality is a central concept in the theory of session types. Since a flaw was found in the original definition of duality for recursive types, several other definitions have been published. As their connection is not obvious, we compare the competing definitions, discuss tradeoffs, and prove some equivalences. Some of the results are mechanized in Agda.


Fundamental trigonometric interpolation and approximating polynomials and splines. The paper deals with two fundamental types of trigonometric polynomials and splines on uniform grids, which allow us to construct interpolation approximations that depend linearly on the values of the interpolated function. Fundamental on the same grids are trigonometric LS polynomials and LS splines, which allow us to construct the approximation of functions by the least squares method and also depend linearly on the values of the approximate function. Trigonometric splines were considered as splines with polynomial analogues in some cases. The material is illustrated in graphs. The considered fundamental trigonometric polynomials and splines can be recommended for use in many problems related to approximation of functions, in particular, mathematical modeling of signals and processes.


A Kaczmarz Algorithm for Solving Tree Based Distributed Systems of Equations. The Kaczmarz algorithm is an iterative method for solving systems of linear equations. We introduce a modified Kaczmarz algorithm for solving systems of linear equations in a distributed environment, i.e. the equations within the system are distributed over multiple nodes within a network. The modification we introduce is designed for a network with a tree structure that allows for passage of solution estimates between the nodes in the network. We prove that the modified algorithm converges under no additional assumptions on the equations. We demonstrate that the algorithm converges to the solution, or the solution of minimal norm, when the system is consistent. We also demonstrate that in the case of an inconsistent system of equations, the modified relaxed Kaczmarz algorithm converges to a weighted least squares solution as the relaxation parameter approaches 0 .


Iterative Nadaraya Watson Distribution Transfer for Colour Grading. We propose a new method with Nadaraya Watson that maps one N dimensional distribution to another taking into account available information about correspondences. We extend the 2D 3D problem to higher dimensions by encoding overlapping neighborhoods of data points and solve the high dimensional problem in 1D space using an iterative projection approach. To show potentials of this mapping, we apply it to colour transfer between two images that exhibit overlapped scene. Experiments show quantitative and qualitative improvements over previous state of the art colour transfer methods.


PyRetri A PyTorch based Library for Unsupervised Image Retrieval by Deep Convolutional Neural Networks. Despite significant progress of applying deep learning methods to the field of content based image retrieval, there has not been a software library that covers these methods in a unified manner. In order to fill this gap, we introduce PyRetri, an open source library for deep learning based unsupervised image retrieval. The library encapsulates the retrieval process in several stages and provides functionality that covers various prominent methods for each stage. The idea underlying its design is to provide a unified platform for deep learning based image retrieval research, with high usability and extensibility. To the best of our knowledge, this is the first open source library for unsupervised image retrieval by deep learning.


Onset of turbulence in channel flows with scale invariant roughness. Using 3D direct numerical simulations of the Navier Stokes equations, we study the effect of wall roughness on the onset of turbulence in channel flow. The dependence of the friction factor on the Reynolds number, mathrm Re , is found to follow a generalized Forchheimer law, which interpolates between the laminar and inertial asymptotes. The transition between these two asymptotes occurs at a first critical mathrm Re , mathrm Re mathrm c , that depends nontrivially on the roughness amplitude. We identify the transition from subcritical to supercritical onset by looking at the dependence of the velocity fluctuations on Re for different roughness amplitudes. We find that this second critical mathrm Re is comparable in magnitude to mathrm Re mathrm c , implying that transitional flow is an integral part of flow in open fractures when mathrm Re and the roughness amplitude are sufficiently high.


A Survey and Taxonomy of Distributed Data Mining Research Studies A Systematic Literature Review. Context Data Mining (DM) method has been evolving year by year and as of today there is also the enhancement of DM technique that can be run several times faster than the traditional one, called Distributed Data Mining (DDM). It is not a new field in data processing actually, but in the recent years many researchers have been paying more attention on this area. Problems The number of publication regarding DDM in high reputation journals and conferences has increased significantly. It makes difficult for researchers to gain a comprehensive view of DDM that require further research. Solution We conducted a systematic literature review to map the previous research in DDM field. Our objective is to provide the motivation for new research by identifying the gap in DDM field as well as the hot area itself. Result Our analysis came up with some conclusions by answering 7 research questions proposed in this literature review. In addition, the taxonomy of DDM research area is presented in this paper. Finally, this systematic literature review provides the statistic of development of DDM since 2000 to 2015, in which this will help the future researchers to have a comprehensive overview of current situation of DDM.


Nondefective stationary discs and 2 jet determination in higher codimension. We discuss the links between stationary discs, the defect of analytic discs, and 2 jet determination of CR automorphisms of generic nondegenerate real submanifolds of C N of class C 4.


Efficient triangulations and boundary slopes. For a compact, irreducible, partial irreducible, an annular bounded 3 manifold M ne mathbb B 3 , then any triangulation mathcal T of M can be modified to an ideal triangulation mathcal T of stackrel circ M . We use the inverse relationship of crushing a triangulation along a normal surface and that of inflating an ideal triangulation to introduce and study boundary efficient triangulations and end efficient ideal triangulations. We prove that the topological conditions necessary for a compact 3 manifold M admitting an annular efficient triangulation are sufficient to modify any triangulation of M to a boundary efficient triangulation which is also annular efficient. From the proof we have for any ideal triangulation T and any inflation mathcal T Lambda , there is a bijective correspondence between the closed normal surfaces in mathcal T and the closed normal surfaces in mathcal T Lambda with corresponding normal surfaces being homeomorphic. It follows that for an ideal triangulation mathcal T that is 0 efficient, 1 efficient, or end efficient, then any inflation mathcal T Lambda of mathcal T is 0 efficient, 1 efficient, or partial efficient, respectively. There are algorithms to decide if a given triangulation or ideal triangulation of a 3 manifold is one of these efficient triangulations. Finally, it is shown that for an annular efficient triangulation, there are only a finite number of boundary slopes for normal surfaces of a bounded Euler characteristic hence, in a compact, orientable, irreducible, partial irreducible, and an annular 3 manifold, there are only finitely many boundary slopes for incompressible and partial incompressible surfaces of a bounded Euler characteristic.


The freeness theorem for equivariant cohomology of Rep( C 2 ) complexes. Let C 2 be the cyclic group of order two. We show that the RO(C 2) graded Bredon cohomology of a finite Rep( C 2 ) complex is free as a module over the cohomology of a point when using coefficients in the constant Mackey functor underline mathbb F 2 . This paper corrects some errors in Kronholm's proof of this freeness theorem. It also extends the freeness result to finite type complexes, those with finitely many cells of each fixed set dimension. We give a counterexample showing the theorem does not hold for locally finite complexes.


Can Clean New Code reduce Technical Debt Density?. While technical debt grows in absolute numbers as software systems evolve over time, the density of technical debt (technical debt divided by lines of code) is reduced in some cases. This can be explained by either the application of refactorings or the development of new artifacts with limited Technical Debt. In this paper we explore the second explanation, by investigating the relation between the amount of Technical Debt in new code and the evolution of Technical Debt in the system. To this end, we compare the Technical Debt Density of new code with existing code, and we investigate which of the three major types of code changes (additions, deletions and modifications) is primarily responsible for changes in the evolution of Technical Debt density. Furthermore, we study whether there is a relation between code quality practices and the 'cleanness' of new code. To obtain the required data, we have performed a large scale case study on twenty seven open source software projects by the Apache Software Foundation, analyzing 66,661 classes and 56,890 commits. The results suggest that writing "clean" (or at least "cleaner") new code can be an efficient strategy for reducing Technical Debt Density, and thus preventing software decay over time. The findings also suggest that projects adopting an explicit policy for quality improvement, e.g. through discussions on code quality in board meetings, are associated with a higher frequency of cleaner new code commits. Therefore, we champion the establishment of processes that monitor the density of Technical Debt of new code to control the accumulation of Technical Debt in a software system.


Supercontinuum generation assisted by dispersive waves trapping in dispersion managed integrated silicon waveguides. Compact chip scale comb sources are of significant interest for many practical applications. Here, we experimentally study the generation of supercontinuum (SC) in an axially varying integrated waveguide. We show that the local tuning of the dispersion enables the continuous blue shift of dispersive waves thanks to their trapping by the strongly compressed pump pulse. This mechanism provides new insight into supercontinuum generation in a dispersion varying integrated waveguide. Pumped close to 2.2 mu m in the femtosecond regime and at a pulse energy of sim 4 pJ, the output spectrum extends from 1.1 mu m up to 2.76 mu m and shows good coherence properties. Octave spanning SC is also observed at input energy as low as sim 0.9 pJ. We show that the supercontinuum is more robust against variations of the input pulse parameters and is also spectrally flatter in our numerically optimized waveguide than in fixed width waveguides. This research demonstrates the potential of dispersion varying waveguides for coherent SC generation and paves the way for integrated low power applications, such as chip scale frequency comb generation, precision spectroscopy, optical frequency metrology, and wide band wavelength division multiplexing in the near infrared.


A new approach to the characteristic polynomial of a random unitary matrix. Since the seminal work of Keating and Snaith, the characteristic polynomial of a random Haar distributed unitary matrix has seen several of its functional studied or turned into a conjecture for instance bullet its value in 1 (Keating Snaith theorem), bullet the truncation of its Fourier series up to any fraction of its degree, bullet the computation of the relative volume of the Birkhoff polytope, bullet its products and ratios taken in different points, bullet the product of its iterated derivatives in different points, bullet functionals in relation with sums of divisor functions in mathbb F q X . bullet its mid secular coefficients, bullet the "moments of moments", etc. We revisit or compute for the first time the asymptotics of the integer moments of these last functionals and several others. The method we use is a very general one based on reproducing kernels, a symmetric function generalisation of some classical orthogonal polynomials interpreted as the Fourier transform of particular random variables and a local Central Limit Theorem for these random variables. We moreover provide an equivalent paradigm based on a randomisation of the mid secular coefficients to rederive them all. These methodologies give a new and unified framework for all the considered limits and explain the apparition of Hankel determinants or Wronskians in the limiting functional.


Can rhythm be touched? An evaluation of rhythmic sketch performance with augmented multimodal feedback. Although it has been shown that augmented multimodal feedback has a facilitatory effect on motor performance for motor learning and music training, the functionality of haptic feedback combined with other modalities in rhythmic movement tasks has rarely been explored and analysed. In this paper, we evaluate the functionality of visual haptic feedback in a rhythmic sketch task by comparing it with other multimodal conditions. Further, we examine the possibility of accessing the quality of task execution through kinematic analysis. Based on participants' speed profiles, we investigate the quality of motor control and movement smoothness under different feedback conditions. Results revealed better motor control ability with auditory feedback and improved movement smoothness with haptic feedback. Finally, we propose that haptic feedback can be integrated with other modal stimuli for different interaction purposes, and that kinematic analysis can be a complementary approach to gesture analysis as well as providing subjective evaluation of interaction performance.


Prediction of flow characteristics in the bubble column reactor by the artificial pheromone based communication of biological ants. In order to perceive the behavior presented by the multiphase chemical reactors, the ant colony optimization algorithm was combined with computational fluid dynamics (CFD) data. This intelligent algorithm creates a probabilistic technique for computing flow and it can predict various levels of three dimensional bubble column reactor (BCR). This artificial ant algorithm is mimicking real ant behavior. This method can anticipate the flow characteristics in the reactor using almost 30 of the whole data in the domain. Following discovering the suitable parameters, the method is used for predicting the points not being simulated with CFD, which represent mesh refinement of Ant colony method. In addition, it is possible to anticipate the bubble column reactors in the absence of numerical results or training of exact values of evaluated data. The major benefits include reduced computational costs and time savings. The results show a great agreement between ant colony prediction and CFD outputs in different sections of the BCR. The combination of ant colony system and neural network framework can provide the smart structure to estimate biological and nature physics base phenomena. The ant colony optimization algorithm (ACO) framework based on ant behavior can solve all local mathematical answers throughout 3D bubble column reactor. The integration of all local answers can provide the overall solution in the reactor for different characteristics. This new overview of modelling can illustrate new sight into biological behavior in nature.


The giant component and 2 core in sparse random outerplanar graphs. Let A(n,m) be a graph chosen uniformly at random from the class of all vertex labelled outerplanar graphs with n vertices and m edges. We consider A(n,m) in the sparse regime when m n 2 s for s o(n) . We show that with high probability the giant component in A(n,m) emerges at m n 2 O left(n 2 3 right) and determine the typical order of the 2 core. In addition, we prove that if s omega left(n 2 3 right) , with high probability every edge in A(n,m) belongs to at most one cycle.


On Competing Definitions for the Diederich Forn ae ss Index. Let Omega subset mathbb C n be a bounded pseudoconvex domain. We define the Diederich Forn ae ss index with respect to a family of functions to be the supremum over the set of all exponents 0 eta 1 such that there exists a function rho eta in this family such that rho eta is comparable to the distance to the boundary of Omega on Omega and such that ( rho eta) eta is plurisubharmonic on Omega . We first prove that computing the Diederich Forn ae ss index with respect to the family of upper semi continuous functions is the same as computing the Diederich Forn ae ss index with respect to the family of Lipschitz functions. When the boundary of Omega is C k , k geq 2 , we prove that the Diederich Forn ae ss index with respect to the family of C k functions is the same as the Diederich Forn ae ss index with respect to the family of C 2 functions.


Zirconia nano colloids transfer from continuous hydrothermal synthesis to inkjet printing. Water dispersion of nanometric yttria stabilized zirconia (YSZ) particles synthesized by continuous hydrothermal synthesis are transferred into nanoinks for thin film deposition. YSZ nanoparticles are synthesized in supercritical conditions resulting in highly dispersed crystals of 10 nm in size. The rheology of the colloid is tailored to achieve inkjet printability (Z) by using additives for regulating viscosity and surface tension. Inks with a wide range of properties are produced. A remarkable effect of nanoparticles on the ink printability is registered even at solid load 1 vol. In particular, nanoparticles hinder the droplet formation at low values of the printability while suitable jetting is observed at high Z values, i.e. Z ca. 20. For the optimized inks, we achieve high quality printing with lateral and thickness resolution of 70 um and ca. 250 nm respectively, as well as self levelling effect with a reduction of the substrate roughness. Densification is achieved at sintering temperatures below 1200 C.


Multi Resolution Graph Neural Network for Large Scale Pointcloud Segmentation. In this paper, we propose a multi resolution deep learning architecture to semantically segment dense large scale pointclouds. Dense pointcloud data require a computationally expensive feature encoding process before semantic segmentation. Previous work has used different approaches to drastically downsample from the original pointcloud so common computing hardware can be utilized. While these approaches can relieve the computation burden to some extent, they are still limited in their processing capability for multiple scans. We present MuGNet, a memory efficient, end to end graph neural network framework to perform semantic segmentation on large scale pointclouds. We reduce the computation demand by utilizing a graph neural network on the preformed pointcloud graphs and retain the precision of the segmentation with a bidirectional network that fuses feature embedding at different resolutions. Our framework has been validated on benchmark datasets including Stanford Large Scale 3D Indoor Spaces Dataset(S3DIS) and Virtual KITTI Dataset. We demonstrate that our framework can process up to 45 room scans at once on a single 11 GB GPU while still surpassing other graph based solutions for segmentation on S3DIS with an 88.5 ( 3 ) overall accuracy and 69.8 ( 7.7 ) mIOU accuracy.


A CUPID Li 2 100 MoO 4 scintillating bolometer tested in the CROSS underground facility. A scintillating bolometer based on a large cubic Li 2 100 MoO 4 crystal (45 mm side) and a Ge wafer (scintillation detector) has been operated in the CROSS cryogenic facility at the Canfranc underground laboratory in Spain. The dual readout detector is a prototype of the technology that will be used in the next generation 0 nu2 beta experiment CUPID. The measurements were performed at 18 and 12 mK temperature in a pulse tube dilution refrigerator. This setup utilizes the same technology as the CUORE cryostat that will host CUPID and so represents an accurate estimation of the expected performance. The Li 2 100 MoO 4 bolometer shows a high energy resolution of 6 keV FWHM at the 2615 keV gamma line. The detection of scintillation light for each event triggered by the Li 2 100 MoO 4 bolometer allowed for a full separation ( sim 8 sigma ) between gamma ( beta ) and alpha events above 2 MeV. The Li 2 100 MoO 4 crystal also shows a high internal radiopurity with 228 Th and 226 Ra activities of less than 3 and 8 mu Bq kg, respectively. Taking also into account the advantage of a more compact and massive detector array, which can be made of cubic shaped crystals (compared to the cylindrical ones), this test demonstrates the great potential of cubic Li 2 100 MoO 4 scintillating bolometers for high sensitivity searches for the 100 Mo 0 nu2 beta decay in CROSS and CUPID projects.


A Good Sample is Hard to Find Noise Injection Sampling and Self Training for Neural Language Generation Models. Deep neural networks (DNN) are quickly becoming the de facto standard modeling method for many natural language generation (NLG) tasks. In order for such models to truly be useful, they must be capable of correctly generating utterances for novel meaning representations (MRs) at test time. In practice, even sophisticated DNNs with various forms of semantic control frequently fail to generate utterances faithful to the input MR. In this paper, we propose an architecture agnostic self training method to sample novel MR text utterance pairs to augment the original training data. Remarkably, after training on the augmented data, even simple encoder decoder models with greedy decoding are capable of generating semantically correct utterances that are as good as state of the art outputs in both automatic and human evaluations of quality.


Event based Feature Extraction Using Adaptive Selection Thresholds. Unsupervised feature extraction algorithms form one of the most important building blocks in machine learning systems. These algorithms are often adapted to the event based domain to perform online learning in neuromorphic hardware. However, not designed for the purpose, such algorithms typically require significant simplification during implementation to meet hardware constraints, creating trade offs with performance. Furthermore, conventional feature extraction algorithms are not designed to generate useful intermediary signals which are valuable only in the context of neuromorphic hardware limitations. In this work a novel event based feature extraction method is proposed that focuses on these issues. The algorithm operates via simple adaptive selection thresholds which allow a simpler implementation of network homeostasis than previous works by trading off a small amount of information loss in the form of missed events that fall outside the selection thresholds. The behavior of the selection thresholds and the output of the network as a whole are shown to provide uniquely useful signals indicating network weight convergence without the need to access network weights. A novel heuristic method for network size selection is proposed which makes use of noise events and their feature representations. The use of selection thresholds is shown to produce network activation patterns that predict classification accuracy allowing rapid evaluation and optimization of system parameters without the need to run back end classifiers. The feature extraction method is tested on both the N MNIST benchmarking dataset and a dataset of airplanes passing through the field of view. Multiple configurations with different classifiers are tested with the results quantifying the resultant performance gains at each processing stage.


A 2D Surgical Simulation Framework for Tool Tissue Interaction. The control and task automation of robotic surgical system is very challenging, especially in soft tissue manipulation, due to the unpredictable deformations. Thus, an accurate simulator of soft tissues with the ability of interacting with robot manipulators is necessary. In this work, we propose a novel 2D simulation framework for tool tissue interaction. This framework continuously tracks the motion of manipulator and simulates the tissue deformation in presence of collision detection. The deformation energy can be computed for the control and planning task.


Quotienting Impertinent Camera Kinematics for 3D Video Stabilization. With the recent advent of methods that allow for real time computation, dense 3D flows have become a viable basis for fast camera motion estimation. Most importantly, dense flows are more robust than the sparse feature matching techniques used by existing 3D stabilization methods, able to better handle large camera displacements and occlusions similar to those often found in consumer videos. Here we introduce a framework for 3D video stabilization that relies on dense scene flow alone. The foundation of this approach is a novel camera motion model that allows for real world camera poses to be recovered directly from 3D motion fields. Moreover, this model can be extended to describe certain types of non rigid artifacts that are commonly found in videos, such as those resulting from zooms. This framework gives rise to several robust regimes that produce high quality stabilization of the kind achieved by prior full 3D methods while avoiding the fragility typically present in feature based approaches. As an added benefit, our framework is fast the simplicity of our motion model and efficient flow calculations combine to enable stabilization at a high frame rate.


The local information of equivariant sheaves and elliptic difference equations. We study the singularities of algebraic difference equations on curves from the point of view of equivariant sheaves. We propose a definition for the formal local type of an equivariant sheaf at a point in the case of a reduced curve acted on by a group which is virtually the integers. We show that with this definition, equivariant sheaves can be glued from an "open cover". Precisely, we show that an equivariant sheaf can be uniquely recovered from the following data the restriction to the complement of a point, the local type at the point itself, and an isomorphism between the two over the punctured neighborhood of said point. We study symmetric elliptic difference equations ("elliptic equations" from now on) from this point of view. We consider several natural notions for an algebraic version of symmetric elliptic difference equations, i.e. symmetric elliptic difference modules ("elliptic modules"). We show that different versions are not equivalent, but we detail how they are related all the versions embed fully faithfully into the same category of equivariant sheaves. This implies that we can use the theory for equivariant sheaves to study singularities of elliptic equations as well. One reason to study elliptic equations is that they generalize, and degenerate to, (q )difference equations (i.e. equivariant sheaves) and differential equations (i.e. D modules) on the projective line. We discuss this from the elliptic module point of view, which requires studying elliptic modules on singular curves. We study the relation between elliptic modules on singular curves and their normalization. We show that for modules which are flat at the singular points there is an equivalence and we give examples showing that this cannot be improved upon.


Move to See Better Self Improving Embodied Object Detection. Passive methods for object detection and segmentation treat images of the same scene as individual samples and do not exploit object permanence across multiple views. Generalization to novel or difficult viewpoints thus requires additional training with lots of annotations. In contrast, humans often recognize objects by simply moving around, to get more informative viewpoints. In this paper, we propose a method for improving object detection in testing environments, assuming nothing but an embodied agent with a pre trained 2D object detector. Our agent collects multi view data, generates 2D and 3D pseudo labels, and fine tunes its detector in a self supervised manner. Experiments on both indoor and outdoor datasets show that (1) our method obtains high quality 2D and 3D pseudo labels from multi view RGB D data (2) fine tuning with these pseudo labels improves the 2D detector significantly in the test environment (3) training a 3D detector with our pseudo labels outperforms a prior self supervised method by a large margin (4) given weak supervision, our method can generate better pseudo labels for novel objects.


Surpassing Real World Source Training Data Random 3D Characters for Generalizable Person Re Identification. Person re identification has seen significant advancement in recent years. However, the ability of learned models to generalize to unknown target domains still remains limited. One possible reason for this is the lack of large scale and diverse source training data, since manually labeling such a dataset is very expensive and privacy sensitive. To address this, we propose to automatically synthesize a large scale person re identification dataset following a set up similar to real surveillance but with virtual environments, and then use the synthesized person images to train a generalizable person re identification model. Specifically, we design a method to generate a large number of random UV texture maps and use them to create different 3D clothing models. Then, an automatic code is developed to randomly generate various different 3D characters with diverse clothes, races and attributes. Next, we simulate a number of different virtual environments using Unity3D, with customized camera networks similar to real surveillance systems, and import multiple 3D characters at the same time, with various movements and interactions along different paths through the camera networks. As a result, we obtain a virtual dataset, called RandPerson, with 1,801,816 person images of 8,000 identities. By training person re identification models on these synthesized person images, we demonstrate, for the first time, that models trained on virtual data can generalize well to unseen target images, surpassing the models trained on various real world datasets, including CUHK03, Market 1501, DukeMTMC reID, and almost MSMT17. The RandPerson dataset is available at https github.com VideoObjectSearch RandPerson.


On the importance of trip destination for modeling individual human mobility patterns. Getting insights on human mobility patterns and being able to reproduce them accurately is of the utmost importance in a wide range of applications from public health, to transport and urban planning. Still the relationship between the effort individuals will invest in a trip and its purpose importance is not taken into account in the individual mobility models that can be found in the recent literature. Here, we address this issue by introducing a model hypothesizing a relation between the importance of a trip and the distance traveled. In most practical cases, quantifying such importance is undoable. We overcome this difficulty by focusing on shopping trips (for which we have empirical data) and by taking the price of items as a proxy. Our model is able to reproduce the long tailed distribution in travel distances empirically observed and to explain the scaling relationship between distance traveled and item value found in the data.


The existence phase transition for two Poisson random fractal models. In this paper we study the existence phase transition of the random fractal ball model and the random fractal box model. We show that both of these are in the empty phase at the critical point of this phase transition.


Rotational analysis of ChaCha permutation. We show that the underlying permutation of ChaCha20 stream cipher does not behave as a random permutation for up to 17 rounds with respect to rotational cryptanalysis. In particular, we derive a lower and an upper bound for the rotational probability through ChaCha quarter round, we show how to extend the bound to a full round and then to the full permutation. The obtained bounds show that the probability to find what we call a parallel rotational collision is, for example, less than 2 488 for 17 rounds of ChaCha permutation, while for a random permutation of the same input size, this probability is 2 511 . We remark that our distinguisher is not an attack to ChaCha20 stream cipher, but rather a theoretical analysis of its internal permutation from the point of view of rotational cryptanalysis.


An integer program and new lower bounds for computing the strong rainbow connection numbers of graphs. We present an integer programming model to compute the strong rainbow connection number, src(G) , of any simple graph G . We introduce several enhancements to the proposed model, including a fast heuristic, and a variable elimination scheme. Moreover, we present a novel lower bound for src(G) which may be of independent research interest. We solve the integer program both directly and using an alternative method based on iterative lower bound improvement, the latter of which we show to be highly effective in practice. To our knowledge, these are the first computational methods for the strong rainbow connection problem. We demonstrate the efficacy of our methods by computing the strong rainbow connection numbers of graphs containing up to 379 vertices.


On Tur 'an good graphs. For graphs H and F , the generalized Tur 'an number ex(n,H,F) is the largest number of copies of H in an F free graph on n vertices. We say that H is F Tur 'an good if ex(n,H,F) is the number of copies in the ( chi(F) 1) partite Tur 'an graph, provided n is large enough. We present a general theorem in case F has an edge whose deletion decreases the chromatic number. In particular, this determines ex(n,P k,C 2 ell 1 ) and ex(n,C 2k ,C 2 ell 1 ) exactly, if n is large enough. We also study the case when F has a vertex whose deletion decreases the chromatic number.


On classification of non unital amenable simple C algebras, III, the range and the reduction. Following Elliott's earlier work, we show that the Elliott invariant of any finite separable simple C algebra with finite nuclear dimension can always be described as a scaled simple ordered group pairing together with a countable abelian group which unifies the unital and nonunital, as well as stably projectionless cases. We also show that, for any given such invariant set, there is a finite separable simple C algebra, whose Elliott invariant is the given set, a refinement of the range theorem of Elliott in the stable case. In the stably projectionless case, modified model C algebras are constructed in such a way that they are of generalized tracial rank one and have other technical features. We also show that every stably projectionless separable simple amenable C algebra in the UCT class has rationally generalized tracial rank one.


Guaranteed estimates for the length of branches of periodic orbits for equivariant Hopf bifurcation. Connected branches of periodic orbits originating at a Hopf bifurcation point of a differential system are considered. A computable estimate for the range of amplitudes of periodic orbits contained in the branch is provided under the assumption that the nonlinear terms satisfy a linear estimate in a ball. If the estimate is global, then the branch is unbounded. The results are formulated in an equivariant setting where the system can have multiple branches of periodic orbits characterized by different groups of symmetries. The non local analysis is based on the equivariant degree method, which allows us to handle both generic and degenerate Hopf bifurcations. This is illustrated by examples.


U 2 Net Going Deeper with Nested U Structure for Salient Object Detection. In this paper, we design a simple yet powerful deep network architecture, U 2 Net, for salient object detection (SOD). The architecture of our U 2 Net is a two level nested U structure. The design has the following advantages (1) it is able to capture more contextual information from different scales thanks to the mixture of receptive fields of different sizes in our proposed ReSidual U blocks (RSU), (2) it increases the depth of the whole architecture without significantly increasing the computational cost because of the pooling operations used in these RSU blocks. This architecture enables us to train a deep network from scratch without using backbones from image classification tasks. We instantiate two models of the proposed architecture, U 2 Net (176.3 MB, 30 FPS on GTX 1080Ti GPU) and U 2 Net dagger (4.7 MB, 40 FPS), to facilitate the usage in different environments. Both models achieve competitive performance on six SOD datasets. The code is available https github.com NathanUA U 2 Net.


Characterizing information leaders in Twitter during COVID 19 crisis. Information is key during a crisis such as the one produced by the current COVID 19 pandemic as it greatly shapes people opinion, behavior and their psychology. Infodemic of misinformation is an important secondary crisis associated to the pandemic. Infodemics can amplify the real negative consequences of the pandemic in different dimensions social, economic and even sanitary. For instance, infodemics can lead to hatred between population groups that fragment the society influencing its response or result in negative habits that help the pandemic propagate. On the contrary, reliable and trustful information along with messages of hope and solidarity can be used to control the pandemic, build safety nets and help promote resilience. We propose the foundation of a framework to characterize leaders in Twitter based on the analysis of the social graph derived from the activity in this social network. Centrality metrics are used to characterize the topology of the network and the nodes as potential leaders. These metrics are compared with the user popularity metrics managed by Twitter. We then assess the resulting topology of clusters of leaders visually. We propose this tool to be the basis for a system to detect and empower users with a positive influence in the collective behavior of the network and the propagation of information.


LinSBFT Linear Communication One Step BFT Protocol for Public Blockchains. This paper presents LinSBFT, a Byzantine Fault Tolerance (BFT) protocol with the capacity of processing over 2000 smart contract transactions per second in production. LinSBFT applies to a permissionless, public blockchain system, in which there is no public key infrastructure, based on the classic PBFT with 4 improvements ( romannumeral1) LinSBFT achieves O(n) worst case communication volume, in contract to PBFT's O(n 4) ( romannumeral2) LinSBFT rotates the leader of protocol randomly to reduce the risk of denial of service attacks on leader and ( romannumeral3) each run of LinSBFT finalizes one block, which is robust against participants that are honest in one run of the protocol, and dishonest in another, and the set of participants is dynamic, which is update periodically. ( romannumeral4) LinSBFT helps the delayed nodes to catch up via a synchronization mechanism to promise the liveness. Further, in the ordinary case, LinSBFT involves only a single round of voting instead of two in PBFT, which reduces both communication overhead and confirmation time, and employs the emph proof of stake scheme to reward all participants. Extensive experiments using data obtained from the Ethereum demonstrate that LinSBFT consistently and significantly outperforms existing in production BFT protocols for blockchains.


Access based Intuitionistic Knowledge. We introduce the concept of access based intuitionistic knowledge which relies on the intuition that agent i knows varphi if i has found access to a proof of varphi . Basic principles are distribution and factivity of knowledge as well as square varphi rightarrow K i varphi and K i( varphi vee psi) rightarrow (K i varphi vee K i psi) , where square varphi reads varphi is proved'. The formalization extends a family of classical modal logics designed in Lewitzka 2015, 2017, 2019 as combinations of IPC and CPC and as systems for the reasoning about proof, i.e. intuitionistic truth. We adopt a formalization of common knowledge from Lewitzka 2011 and interpret it here as access based common knowledge. We compare our proposal with recent approaches to intuitionistic knowledge Artemov and Protopopescu 2016 Lewitzka 2017, 2019 and bring together these different concepts in a unifying semantic framework based on Heyting algebra expansions.


Artificial chemistry experiments with chemlambda, lambda calculus, interaction combinators. Given a graph rewrite system, a graph G is a quine graph if it has a non void maximal collection of non conflicting matches of left patterns of graphs rewrites, such that after the parallel application of the rewrites we obtain a graph isomorphic with G. Such graphs exhibit a metabolism, they can multiply or they can die, when reduced by a random rewriting algorithm. These are introductory notes to the pages of artificial chemistry experiments with chemlambda, lambda calculus or interaction combinators, available from the entry page https chemlambda.github.io index.html . The experiments are bundled into pages, all of them based on a library of programs, on a database which contains hundreds of graphs and on a database of about 150 pages of text comments and a collection of more than 200 animations, most of them which can be re done live, via the programs. There are links to public repositories of other contributors to these experiments, with versions of these programs in python, haskell, awk or javascript.


Defining Digital Quadruplets in the Cyber Physical Social Space for Parallel Driving. Parallel driving is a novel framework to synthesize vehicle intelligence and transport automation. This article aims to define digital quadruplets in parallel driving. In the cyber physical social systems (CPSS), based on the ACP method, the names of the digital quadruplets are first given, which are descriptive, predictive, prescriptive and real vehicles. The objectives of the three virtual digital vehicles are interacting, guiding, simulating and improving with the real vehicles. Then, the three virtual components of the digital quadruplets are introduced in detail and their applications are also illustrated. Finally, the real vehicles in the parallel driving system and the research process of the digital quadruplets are depicted. The presented digital quadruplets in parallel driving are expected to make the future connected automated driving safety, efficiently and synergistically.


Template based Minor Embedding for Adiabatic Quantum Optimization. Quantum Annealing (QA) can be used to quickly obtain near optimal solutions for Quadratic Unconstrained Binary Optimization (QUBO) problems. In QA hardware, each decision variable of a QUBO should be mapped to one or more adjacent qubits in such a way that pairs of variables defining a quadratic term in the objective function are mapped to some pair of adjacent qubits. However, qubits have limited connectivity in existing QA hardware. This has spurred work on preprocessing algorithms for embedding the graph representing problem variables with quadratic terms into the hardware graph representing qubits adjacencies, such as the Chimera graph in hardware produced by D Wave Systems. In this paper, we use integer linear programming to search for an embedding of the problem graph into certain classes of minors of the Chimera graph, which we call template embeddings. One of these classes corresponds to complete bipartite graphs, for which we show the limitation of the existing approach based on minimum Odd Cycle Transversals (OCTs). One of the formulations presented is exact, and thus can be used to certify the absence of a minor embedding using that template. On an extensive test set consisting of random graphs from five different classes of varying size and sparsity, we can embed more graphs than a state of the art OCT based approach, our approach scales better with the hardware size, and the runtime is generally orders of magnitude smaller.


Noise Robust Named Entity Understanding for Voice Assistants. Named Entity Recognition (NER) and Entity Linking (EL) play an essential role in voice assistant interaction, but are challenging due to the special difficulties associated with spoken user queries. In this paper, we propose a novel architecture that jointly solves the NER and EL tasks by combining them in a joint reranking module. We show that our proposed framework improves NER accuracy by up to 3.13 and EL accuracy by up to 3.6 in F1 score. The features used also lead to better accuracies in other natural language understanding tasks, such as domain classification and semantic parsing.


Multitransition solutions for a generalized Frenkel Kontorova model. We study a generalized Frenkel Kontorova model. Using minimal and Birkhoff solutions as building blocks, we construct a lot of homoclinic solutions and heteroclinic solutions for this generalized Frenkel Kontorova model under gap conditions. These new solutions are not minimal and Birkhoff any more. We use constrained minimization method to prove our results.


Linear codes of 2 designs associated with subcodes of the ternary generalized Reed Muller codes. In this paper, the 3 rank of the incidence matrices of 2 designs supported by the minimum weight codewords in a family of ternary linear codes considered in C. Ding, C. Li, Infinite families of 2 designs and 3 designs from linear codes, Discrete Mathematics 340(10) (2017) 2415 2431 are computed. A lower bound on the minimum distance of the ternary codes spanned by the incidence matrices of these designs is derived, and it is proved that the codes are subcodes of the 4th order generalized Reed Muller codes.


Mutual algebraicity and cellularity. We prove two results intended to streamline proofs about cellularity that pass through mutual algebraicity. First, we show that a countable structure M is cellular if and only if M is omega categorical and mutually algebraic. Second, if a countable structure M in a finite relational language is mutually algebraic non cellular, we show it admits an elementary extension adding infinitely many infinite MA connected components. Towards these results, we introduce MA presentations of a mutually algebraic structure, in which every atomic formula is mutually algebraic. This allows for an improved quantifier elimination and a decomposition of the structure into independent pieces. We also show this decomposition is largely independent of the MA presentation chosen.


Data driven modelling of nonlinear spatio temporal fluid flows using a deep convolutional generative adversarial network. Deep learning techniques for improving fluid flow modelling have gained significant attention in recent years. Advanced deep learning techniques achieve great progress in rapidly predicting fluid flows without prior knowledge of the underlying physical relationships. Advanced deep learning techniques achieve great progress in rapidly predicting fluid flows without prior knowledge of the underlying physical relationships. However, most of existing researches focused mainly on either sequence learning or spatial learning, rarely on both spatial and temporal dynamics of fluid flows (Reichstein et al., 2019). In this work, an Artificial Intelligence (AI) fluid model based on a general deep convolutional generative adversarial network (DCGAN) has been developed for predicting spatio temporal flow distributions. In deep convolutional networks, the high dimensional flows can be converted into the low dimensional "latent" representations. The complex features of flow dynamics can be captured by the adversarial networks. The above DCGAN fluid model enables us to provide reasonable predictive accuracy of flow fields while maintaining a high computational efficiency. The performance of the DCGAN is illustrated for two test cases of Hokkaido tsunami with different incoming waves along the coastal line. It is demonstrated that the results from the DCGAN are comparable with those from the original high fidelity model (Fluidity). The spatio temporal flow features have been represented as the flow evolves, especially, the wave phases and flow peaks can be captured accurately. In addition, the results illustrate that the online CPU cost is reduced by five orders of magnitude compared to the original high fidelity model simulations. The promising results show that the DCGAN can provide rapid and reliable spatio temporal prediction for nonlinear fluid flows.


HeM3D Heterogeneous Manycore Architecture Based on Monolithic 3D Vertical Integration. Heterogeneous manycore architectures are the key to efficiently execute compute and data intensive applications. Through silicon via (TSV) based 3D manycore system is a promising solution in this direction as it enables integration of disparate computing cores on a single system. However, the achievable performance of conventional through silicon via (TSV) based 3D systems is ultimately bottlenecked by the horizontal wires (wires in each planar die). Moreover, current TSV 3D architectures suffer from thermal limitations. Hence, TSV based architectures do not realize the full potential of 3D integration. Monolithic 3D (M3D) integration, a breakthrough technology to achieve More Moore and More Than Moore and opens up the possibility of designing cores and associated network routers using multiple layers by utilizing monolithic inter tier vias (MIVs) and hence, reducing the effective wire length. Compared to TSV based 3D ICs, M3D offers the true benefits of vertical dimension for system integration the size of a MIV used in M3D is over 100x smaller than a TSV. In this work, we demonstrate how M3D enabled vertical core and uncore elements offer significant performance and thermal improvements in manycore heterogeneous architectures compared to its TSV based counterpart. To overcome the difficult optimization challenges due to the large design space and complex interactions among the heterogeneous components (CPU, GPU, Last Level Cache, etc.) in an M3D based manycore chip, we leverage novel design space exploration algorithms to trade off different objectives. The proposed M3D enabled heterogeneous architecture, called HeM3D, outperforms its state of the art TSV equivalent counterpart by up to 18.3 in execution time while being up to 19 degrees Celcius cooler.


Experimental investigation of the turbulent Schmidt number in supersonic film cooling with shock interaction. The interaction of an impinging shock and a supersonic helium cooling film is investigated experimentally by high speed particle image velocimetry. A laminar helium jet is tangentially injected into a turbulent air freestream at a freestream Mach number Ma infty 2.45 . The helium cooling film is injected at a Mach number Ma i 1.30 at a total temperature ratio T 0,i T 0, infty 0.75 . A deflection beta 8 deg generates a shock that impinges upon the cooling film. A shock interaction case and a reference case without shock interaction are considered. The helium mass fraction fluctuations are measured and the turbulent mass flux as well as the turbulent Schmidt number are determined qualitatively. For comparison, large eddy simulation (LES) results of a comparable flow configuration are used. The streamwise and wall normal turbulent mass fluxes are in qualitative agreement with the LES data. The turbulent Schmidt number differs significantly from unity. Without shock interaction, the turbulent Schmidt number is in the range 0.5 leq Sc t leq 1.5 which is in agreement with the literature. With shock interaction, the turbulent Schmidt number varies drastically in the vicinity of the shock interaction. Thus, the experimental results confirm the numerical data showing a massively varying turbulent Schmidt number in supersonic film cooling flows, i.e., the standard assumption of a constant turbulent Schmidt number is valid neither without nor with shock interaction.


Weak normality and seminormality in the mixed characteristic case. In this article, we give a few examples of local rings in relation to weak normality and seminormality in mixed characteristic. It is known that two concepts can differ in the equal prime characteristic case, while they coincide in the equal characteristic zero case. No explicit examples seem to be documented in the existing literature in the mixed characteristic case. We also establish the local Bertini theorem for weak normality in mixed characteristic under a certain condition.


Hypergraph Lambek Calculus. It is known that context free grammars can be extended to generating graphs resulting in graph grammars one of such fundamental approaches is hyperedge replacement grammars. On the other hand there are type logical grammars which also serve to describe string languages. In this paper, we investigate how to extend the Lambek calculus ( mathrm L ) and grammars based on it to graphs. The resulting approach is called hypergraph Lambek calculus ( mathrm HL ). It is a logical sequential calculus whose sequents are graphs it naturally extends the Lambek calculus and also allows one to embed its variants (commutative mathrm L , mathrm NL diamondsuit , mathrm L mathbf 1 ast ). Besides, many properties of the Lambek calculus (cut elimination, counters, models) can be lifted to mathrm HL . However, while Lambek grammars are equivalent to context free grammars in the string case, hypergraph Lambek grammars are much more powerful than hyperedge replacement grammars. Particularly, the former can generate the language of all graphs without isolated nodes the language of all bipartite graphs finite intersections of languages generated by hyperedge replacement grammars. Nevertheless, the derivability problem in mathrm HL and the membership problem for grammars based on mathrm HL are NP complete as well as the membership problem for hyperedge replacement grammars.


Chaotic quasi point vortices and inertial range in two dimensional turbulence. Effects of quasi point vortices on inertial range of scales in homogeneous two dimensional turbulence have been studied using notion of distributed chaos. Results of direct numerical simulations of decaying turbulence, of turbulence with small scale forcing and of turbulent thermal convection on a sphere as well as results of the Global Atmospheric Sampling Program (GASP) measurements in the tropospheric and stratospheric turbulence over mountainous terrain (the small scale forcing) have been used for this purpose.


RLC Circuits based Distributed Mirror Descent Method. We consider distributed optimization with smooth convex objective functions defined on an undirected connected graph. Inspired by mirror descent mehod and RLC circuits, we propose a novel distributed mirror descent method. Compared with mirror prox method, our algorithm achieves the same ( mathcal O (1 k) ) iteration complexity with only half the computation cost per iteration. We further extend our results to cases where a) gradients are corrupted by stochastic noise, and b) objective function is composed of both smooth and non smooth terms. We demonstrate our theoretical results via numerical experiments.


Some multivariate master polynomials for permutations, set partitions, and perfect matchings, and their continued fractions. We find Stieltjes type and Jacobi type continued fractions for some "master polynomials" that enumerate permutations, set partitions or perfect matchings with a large (sometimes infinite) number of simultaneous statistics. Our results contain many previously obtained identities as special cases, providing a common refinement of all of them.


Video Motion Capture from the Part Confidence Maps of Multi Camera Images by Spatiotemporal Filtering Using the Human Skeletal Model. This paper discusses video motion capture, namely, 3D reconstruction of human motion from multi camera images. After the Part Confidence Maps are computed from each camera image, the proposed spatiotemporal filter is applied to deliver the human motion data with accuracy and smoothness for human motion analysis. The spatiotemporal filter uses the human skeleton and mixes temporal smoothing in two time inverse kinematics computations. The experimental results show that the mean per joint position error was 26.1mm for regular motions and 38.8mm for inverted motions.


Interpreting Epsilon of Differential Privacy in Terms of Advantage in Guessing or Approximating Sensitive Attributes. There are numerous methods of achieving epsilon differential privacy (DP). The question is what is the appropriate value of epsilon , since there is no common agreement on a "sufficiently small" epsilon , and its goodness depends on the query as well as the data. In this paper, we show how to compute epsilon that corresponds to delta , defined as the adversary's advantage in probability of guessing some specific property of the output. The attacker's goal can be stated as Boolean expression over guessing particular attributes, possibly within some precision. The attributes combined in this way should be independent. We assume that both the input and the output distributions have corresponding probability density functions, or probability mass functions.


Optimal symplectic connections on holomorphic submersions. The main result of this paper gives a new construction of extremal K "ahler metrics on the total space of certain holomorphic submersions, giving a vast generalisation and unification of results of Hong, Fine and others. The principal new ingredient is a novel geometric partial differential equation on such fibrations, which we call the optimal symplectic connection equation. We begin with a smooth fibration for which all fibres admit a constant scalar curvature K "ahler metric. When the fibres admit automorphisms, such metrics are not unique in general, but rather are unique up to the action of the automorphism group of each fibre. We define an equation which, at least conjecturally, determines a canonical choice of constant scalar curvature K "ahler metric on each fibre. When the fibration is a projective bundle, this equation specialises to asking that the hermitian metric determining the fibrewise Fubini Study metric is Hermite Einstein. Assuming the existence of an optimal symplectic connection, and the existence of an appropriate twisted extremal metric on the base of the fibration, we show that the total space of the fibration itself admits an extremal metric for certain polarisations making the fibres small.


Imputation of Missing Data with Class Imbalance using Conditional Generative Adversarial Networks. Missing data is a common problem faced with real world datasets. Imputation is a widely used technique to estimate the missing data. State of the art imputation approaches, such as Generative Adversarial Imputation Nets (GAIN), model the distribution of observed data to approximate the missing values. Such an approach usually models a single distribution for the entire dataset, which overlooks the class specific characteristics of the data. Class specific characteristics are especially useful when there is a class imbalance. We propose a new method for imputing missing data based on its class specific characteristics by adapting the popular Conditional Generative Adversarial Networks (CGAN). Our Conditional Generative Adversarial Imputation Network (CGAIN) imputes the missing data using class specific distributions, which can produce the best estimates for the missing values. We tested our approach on benchmark datasets and achieved superior performance compared with the state of the art and popular imputation approaches.


Can Attention Masks Improve Adversarial Robustness?. Deep Neural Networks (DNNs) are known to be susceptible to adversarial examples. Adversarial examples are maliciously crafted inputs that are designed to fool a model, but appear normal to human beings. Recent work has shown that pixel discretization can be used to make classifiers for MNIST highly robust to adversarial examples. However, pixel discretization fails to provide significant protection on more complex datasets. In this paper, we take the first step towards reconciling these contrary findings. Focusing on the observation that discrete pixelization in MNIST makes the background completely black and foreground completely white, we hypothesize that the important property for increasing robustness is the elimination of image background using attention masks before classifying an object. To examine this hypothesis, we create foreground attention masks for two different datasets, GTSRB and MS COCO. Our initial results suggest that using attention mask leads to improved robustness. On the adversarially trained classifiers, we see an adversarial robustness increase of over 20 on MS COCO.


Vanishing theorems for the mod p cohomology of some simple Shimura varieties. We show that the mod p cohomology of a simple Shimura variety treated in Harris Taylor's book vanishes outside a certain nontrivial range after localizing at any non Eisenstein ideal of the Hecke algebra. In cases of low dimensions, we show the vanishing outside the middle degree.


Trends in Development of Databases and Blockchain. This work is about the mutual influence between two technologies Databases and Blockchain. It addresses two questions 1. How the database technology has influenced the development of blockchain technology?, and 2. How blockchain technology has influenced the introduction of new functionalities in some modern databases? For the first question, we explain how database technology contributes to blockchain technology by unlocking different features such as ACID (Atomicity, Consistency, Isolation, and Durability) transactional consistency, rich queries, real time analytics, and low latency. We explain how the CAP (Consistency, Availability, Partition tolerance) theorem known for databases influenced the DCS (Decentralization, Consistency, Scalability) theorem for the blockchain systems. By using an analogous relaxation approach as it was used for the proof of the CAP theorem, we postulate a "DCS satisfiability conjecture." For the second question, we review different databases that are designed specifically for blockchain and provide most of the blockchain functionality like immutability, privacy, censorship resistance, along with database features.


On Pair Correlation of Sequences. We give a survey on the concept of Poissonian pair correlation (PPC) of sequences in the unit interval, on existing and recent results and we state a list of open problems. Moreover, we present and discuss a quite recent multi dimensional version of PPC.


Implications of beam filling patterns on the design of recirculating Energy Recovery Linacs. Recirculating energy recovery linacs are a promising technology for delivering high power particle beams ( sim GW) while only requiring low power ( sim kW) RF sources. This is achieved by decelerating the used bunches and using the energy they deposit in the accelerating structures to accelerate new bunches. We present studies of the impact of the bunch packet filling pattern on the performance of the accelerating RF system. We perform RF beam loading simulations under various noise levels and beam loading phases with different injection schemes. We also present a mathematical description of the RF system during the beam loading, which can identify optimal beam filling patterns under different conditions. The results of these studies have major implications for design constraints for future energy recovery linacs, by providing a quantitative metric for different machine designs and topologies.


Empirica a virtual lab for high throughput macro level experiments. Virtual labs allow researchers to design high throughput and macro level experiments that are not feasible in traditional in person physical lab settings. Despite the increasing popularity of online research, researchers still face many technical and logistical barriers when designing and deploying virtual lab experiments. While several platforms exist to facilitate the development of virtual lab experiments, they typically present researchers with a stark trade off between usability and functionality. We introduce Empirica a modular virtual lab that offers a solution to the usability functionality trade off by employing a "flexible defaults" design strategy. This strategy enables us to maintain complete "build anything" flexibility while offering a development platform that is accessible to novice programmers. Empirica's architecture is designed to allow for parameterizable experimental designs, reusable protocols, and rapid development. These features will increase the accessibility of virtual lab experiments, remove barriers to innovation in experiment design, and enable rapid progress in the understanding of distributed human computation.