title: Dynamical black holes with prescribed masses in spherical symmetry

abstract: We review our recent work on a construction of spherically symmetric global solutions to the Einstein--scalar field system with large bounded variation norms and large Bondi masses. We show that similar ideas, together with Christodoulou's short pulse method, allow us to prove the following result: Given $M_i \geq M_f>0$ and $\epsilon>0$, there exists a spherically symmetric (black hole) solution to the Einstein--scalar field system such that up to an error of size $\epsilon$, the initial Bondi mass is $M_i$ and the final Bondi mass is $M_f$. Moreover, if one assumes a continuity property of the final Bondi mass (which in principle follows from known techniques in the literature), then for $M_i>M_f>0$, the above result holds without an $\epsilon$-error.


title: Perceptual Compressive Sensing based on Contrast Sensitivity Function: Can we avoid non-visible redundancies acquisition?

abstract: In this paper, we propose a novel CS approach in which the acquisition of non-visible information is also avoided.


title: Playing Games with Bounded Entropy

abstract: In this paper, we consider zero-sum repeated games in which the maximizer is restricted to strategies requiring no more than a limited amount of randomness. Particularly, we analyze the maxmin payoff of the maximizer in two models: the first model forces the maximizer to randomize her action in each stage just by conditioning her decision to outcomes of a given sequence of random source, whereas, in the second model, the maximizer is a team of players who are free to privately randomize their corresponding actions but do not have access to any explicit source of shared randomness needed for cooperation. The works of Gossner and Vieille, and Gossner and Tomala adopted the method of types to establish their results; however, we utilize the idea of random hashing which is the core of randomness extractors in the information theory literature. In addition, we adopt the well-studied tool of simulation of a source from another source. By utilizing these tools, we are able to simplify the prior results and generalize them as well. We characterize the maxmin payoff of the maximizer in the repeated games under study. Particularly, the maxmin payoff of the first model is fully described by the function $J(h)$ which is the maximum payoff that the maximizer can secure in a one-shot game by choosing mixed strategies of entropy at most $h$. In the second part of the paper, we study the computational aspects of $J(h)$. We offer three explicit lower bounds on the entropy-payoff trade-off curve. To do this, we provide and utilize new results for the set of distributions that guarantee a certain payoff for Alice. In particular, we study how this set of distributions shrinks as we increase the security level. While the use of total variation distance is common in game theory, our derivation indicates the suitability of utilizing the Renyi-divergence of order two.


title: Simple perfect samplers using monotone birth-and-death processes

abstract: This paper proposes simple perfect samplers using monotone birth-and-death processes (BD-processes), which draw samples from an arbitrary finite discrete target distribution. We first construct a monotone BD-process whose stationary distribution is equal to the target distribution. We then derive upper bounds for the expected coalescence time of the copies of the monotone BD-process. We also establish upper bounds for the expected values and tail probabilities of the running times of two perfect samplers, which are Doubling CFTP and Read-once CFTP using our monotone BD-process. The latter sampler can draw samples exactly from unnormalized target distributions with little memory consumption.


title: Distinguishing between Dirac and Majorana neutrinos in the presence of general interactions

abstract: We revisit the possibility of distinguishing between Dirac and Majorana neutrinos via neutrino-electron elastic scattering in the presence of all possible Lorentz-invariant interactions. Defining proper observables, certain regions of the parameter space can only be reached for Dirac neutrinos, but never for Majorana neutrinos, thus providing an alternative method to differentiate these two possibilities. We first derive analytically and numerically the most general conditions that would allow to distinguish Dirac from Majorana neutrinos, both in the relativistic and non-relativistic cases. Then, we apply these conditions to data on $\nu_\mu$-$e$ and $\bar{\nu}_e$-$e$ scatterings, from the CHARM-II and TEXONO experiments, and find that they are consistent with both types of neutrinos. Finally, we comment on future prospects of this kind of tests.


title: From rate distortion theory to metric mean dimension: variational principle

abstract: The purpose of this paper is to point out a new connection between information theory and dynamical systems. In the information theory side, we consider rate distortion theory, which studies lossy data compression of stochastic processes under distortion constraints. In the dynamical systems side, we consider mean dimension theory, which studies how many parameters per second we need to describe a dynamical system. The main results are new variational principles connecting rate distortion function to metric mean dimension.


title: From Pragmatic to Systematic Software Process Improvement: An Evaluated Approach

abstract: Software processes improvement (SPI) is a challenging task, as many different stakeholders, project settings, and contexts and goals need to be considered. SPI projects are often operated in a complex and volatile environment and, thus, require a sound management that is resource-intensive requiring many stakeholders to contribute to the process assessment, analysis, design, realisation, and deployment. Although there exist many valuable SPI approaches, none address the needs of both process engineers and project managers. This article presents an Artefact-based Software Process Improvement & Management approach (ArSPI) that closes this gap. ArSPI was developed and tested across several SPI projects in large organisations in Germany and Eastern Europe. The approach further encompasses a template for initiating, performing, and managing SPI projects by defining a set of 5 key artefacts and 24 support artefacts. We present ArSPI and discus results of its validation indicating ArSPI to be a helpful instrument to set up and steer SPI projects.


title: On the Use of Variability Operations in the V-Modell XT Software Process Line

abstract: Software process lines provide a systematic approach to develop and manage software processes. It defines a reference process containing general process assets, whereas a well-defined customization approach allows process engineers to create new process variants, e.g., by extending or modifying process assets. Variability operations are an instrument to realize flexibility by explicitly declaring required modifications, which are applied to create a procedurally generated company-specific process. However, little is known about which variability operations are suitable in practice. In this article, we present a study on the feasibility of variability operations to support the development of software process lines in the context of the V-Modell XT. We analyze which variability operations are defined and practically used. We provide an initial catalog of variability operations as an improvement proposal for other process models. Our findings show that 69 variability operation types are defined across several metamodel versions of which, however, 25 remain unused. The found variability operations allow for systematically modifying the content of process model elements and the process documentation, and they allow for altering the structure of a process model and its description. Furthermore, we also find that variability operations can help process engineers to compensate process metamodel evolution.


title: Measurements of the production cross section of a $Z$ boson in association with jets in pp collisions at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: Measurements of the production cross section of a $Z$ boson in association with jets in proton-proton collisions at $\sqrt{s} = 13$ TeV are presented, using data corresponding to an integrated luminosity of 3.16 fb$^{-1}$ collected by the ATLAS experiment at the CERN Large Hadron Collider in 2015. Inclusive and differential cross sections are measured for events containing a $Z$ boson decaying to electrons or muons and produced in association with up to seven jets with $p_T > 30$ GeV and $|y| <2.5$. Predictions from different Monte Carlo generators based on leading-order and next-to-leading-order matrix elements for up to two additional partons interfaced with parton shower and fixed-order predictions at next-to-leading order and next-to-next-to-leading order are compared with the measured cross sections. Good agreement within the uncertainties is observed for most of the modelled quantities, in particular with the generators which use next-to-leading-order matrix elements and the more recent next-to-next-to-leading-order fixed-order predictions.


title: Solving the graphene electronics conundrum: high mobility and high on-off ratio in graphene nanopatterned transistors

abstract: Tens of graphene transistors with nanoperforated channels and different channel lengths were fabricated at the wafer scale. The nanoholes have a central diameter of 20 nm and a period of 100 nm, the lengths of the channel being of 1, 2, 4 or 8 micrometers. We have found that the mobility in these 2 micrometer-wide transistors varies from about 10400 cm2/Vs for a channel length of 1 micrometer to about 550 cm2/Vs for a channel length of 8 micrometer. Irrespective of the mobility value, in all transistors the on-off ratio is in the range 10^3-10^4 at drain and gate voltages less than 2 V. The channel length-dependent mobility and conductance values indicate the onset of strong localization of charge carriers, whereas the high on-off ratio is due to bandgap opening by nanoperforations.


title: Charmonium Mass Spectrum with Spin-Dependent Interaction in Momentum-Helicity Space

abstract: In this paper we have solved the nonrelativistic form of the Lippmann-Schwinger equation in the momentum-helicity space by inserting a spin-dependent quark-antiquark potential model numerically. To this end, we have used the momentum-helicity basis states for describing a nonrelativistic reduction of one gluon exchange potential. Then we have calculated the mass spectrum of the charmonium $\psi(c\bar{c})$, and finally we have compared the results with the another theoretical results and experimental data.


title: Transport coefficients of a hot QCD medium and their relative significance in heavy-ion collisions

abstract: The main focus of this article is to obtain various transport coefficients for a hot QCD medium that is produced while colliding two heavy nuclei ultra-relativistically. As the hot QCD medium follows dissipative hydrodynamics while undergoing space-time evolution, the knowledge of the transport coefficients such as thermal conductivity, electrical conductivity, shear and bulk viscosities are essential to understand the underlying physics there. The approach adopted here is semi-classical transport theory. The determination of all these transport coefficients requires knowledge of the medium away from equilibrium. In this context, we setup the linearized transport equation employing the Chapman-Enskog technique from kinetic theory of many particle system with a collision term that includes the binary collisions of quarks/antiquarks and gluons. In order to include the effects of a strongly interacting, thermal medium, a quasi-particle description of realistic hot QCD equation of state has been employed through the equilibrium modeling of the momentum distributions of gluons and quarks with non-trivial dispersion relations while extending the model for finite but small quark chemical potential. The effective coupling for strong interaction has been redefined following the charge renormalization under the scheme of the quasiparticle model. The consolidated effects on transport coefficients are seen to have significant impact on their temperature dependence. The relative significances of momentum and heat transfer as well as charge diffusion processes in hot QCD have been investigated by studying the ratios of the respective transport coefficients.


title: Person Search with Natural Language Description

abstract: Searching persons in large-scale image databases with the query of natural language description has important applications in video surveillance. Existing methods mainly focused on searching persons with image-based or attribute-based queries, which have major limitations for a practical usage. In this paper, we study the problem of person search with natural language description. Given the textual description of a person, the algorithm of the person search is required to rank all the samples in the person database then retrieve the most relevant sample corresponding to the queried description. Since there is no person dataset or benchmark with textual description available, we collect a large-scale person description dataset with detailed natural language annotations and person samples from various sources, termed as CUHK Person Description Dataset (CUHK-PEDES). A wide range of possible models and baselines have been evaluated and compared on the person search benchmark. An Recurrent Neural Network with Gated Neural Attention mechanism (GNA-RNN) is proposed to establish the state-of-the art performance on person search.


title: On Optimal Ternary Locally Repairable Codes

abstract: In an $[n,k,d]$ linear code, a code symbol is said to have locality $r$ if it can be repaired by accessing at most $r$ other code symbols. For an $(n,k,r)$ \emph{locally repairable code} (LRC), the minimum distance satisfies the well-known Singleton-like bound $d\le n-k-\lceil k/r\rceil +2$. In this paper, we study optimal ternary LRCs meeting this Singleton-like bound by employing a parity-check matrix approach. It is proved that there are only $8$ classes of possible parameters with which optimal ternary LRCs exist. Moreover, we obtain explicit constructions of optimal ternary LRCs for all these $8$ classes of parameters, where the minimum distance could only be 2, 3, 4, 5 and 6.


title: Titchmarsh theorems for Fourier transforms of H\"older-Lipschitz functions on compact homogeneous manifolds

abstract: In this paper we extend classical Titchmarsh theorems on the Fourier transform of H\"older-Lipschitz functions to the setting of compact homogeneous manifolds. As an application, we derive a Fourier multiplier theorem for $L^2$-H\"older-Lipschitz spaces on compact Lie groups. We also derive conditions and a characterisation for Dini-Lipschitz classes on compact homogeneous manifolds in terms of the behaviour of their Fourier coefficients.


title: Low-dose cryo electron ptychography via non-convex Bayesian optimization

abstract: Electron ptychography has seen a recent surge of interest for phase sensitive imaging at atomic or near-atomic resolution. However, applications are so far mainly limited to radiation-hard samples because the required doses are too high for imaging biological samples at high resolution. We propose the use of non-convex, Bayesian optimization to overcome this problem and reduce the dose required for successful reconstruction by two orders of magnitude compared to previous experiments. We suggest to use this method for imaging single biological macromolecules at cryogenic temperatures and demonstrate 2D single-particle reconstructions from simulated data with a resolution of 7.9 \AA$\,$ at a dose of 20 $e^- / \AA^2$. When averaging over only 15 low-dose datasets, a resolution of 4 \AA$\,$ is possible for large macromolecular complexes. With its independence from microscope transfer function, direct recovery of phase contrast and better scaling of signal-to-noise ratio, cryo-electron ptychography may become a promising alternative to Zernike phase-contrast microscopy.

categories: physics.comp-ph math.OC physics.data-an stat.AP


title: Energy loss of heavy quarks and $B$ and $D$ meson spectra in PbPb collisions at LHC energies

abstract: We study the production and evolution of charm and bottom quarks in hot partonic medium produced in heavy ion collisions. The heavy quarks loose energy in the medium which is reflected in the transverse momentum spectra of heavy mesons. The collisional energy loss of heavy quarks has been calculated using QCD calculations. The radiative energy loss is obtained using two models namely reaction operator formalism and generalized dead cone approach. The nuclear modification factors, $R_{AA}$ as a function of transverse momentum by including shadowing and energy loss are calculated for $D^{0}$ and $B^{+}$ mesons in PbPb collisions at $\sqrt{s_{NN}}$ = 5.02 TeV and for $D^{0}$ mesons at $\sqrt{s_{NN}}$ = 2.76 TeV and are compared with the recent measurements. The radiative energy loss from generalized dead cone approach alone is sufficient to produce measured $D^{0}$ meson $R_{AA}$ at both the LHC energies. The radiative energy loss from reaction operator formalism plus collisional energy loss gives good description of $D^{0}$ meson $R_{AA}$. For the case of $B^{+}$ meson, the radiative energy loss from generalized dead cone approach plus collisional energy loss gives good description of the CMS data. The radiative process is dominant for charm quarks while for the bottom, both the radiative process and the elastic collisions are important.


title: Strange hadron production in pp, pPb and PbPb collisions at LHC energies

abstract: We present a systematic analysis of transverse momentum $(p_{T})$ spectra of the strange hadrons in different multiplicity events produced in pp collision at $\sqrt{s}$ = 7 TeV, pPb collision at $\sqrt{s_{NN}}$ = 5.02 TeV and PbPb collision at $\sqrt{s_{NN}}$ = 2.76 TeV. Both the single and differential freeze out scenarios of strange hadrons $K^0_s$, $\Lambda$ and $\Xi^-$ are considered while fitting using a Tsallis distribution which is modified to include transverse flow. The $p_{T}$ distributions of these hadrons in different systems are characterized in terms of the parameters namely, Tsallis temperature $(T)$, power $(n)$ and average transverse flow velocity $(\beta)$. It is found that for all the systems, transverse flow increases as we move from lower to higher multiplicity events. In the case of the differential freeze-out scenario, the degree of thermalization remains similar for events of different multiplicity classes in all the three systems. The Tsallis temperature increases with the mass of the hadrons and also increases with the event multiplicity in pp and pPb system but shows little variation with the multiplicity in PbPb system. In the case of the single freeze-out scenario, the difference between small systems (pp, pPb) and PbPb system becomes more evident. The high multiplicity PbPb events show higher degree of thermalization as compared to the events of pp and pPb systems. The trend of variation of the temperature in PbPb system with event multiplicity is opposite to what is found in the pp and pPb systems.


title: Equational theories of fields

abstract: A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition. Equationality is a strengthening of stability. We show the equationality of the theory of proper extensions of algebraically closed fields of some fixed characteristic and of the theory of separably closed fields of arbitrary imperfection degree. Srour showed that the theory of differentially closed fields in positive characteristic is equational. We give also a different proof of his result.


title: Aspherical neighborhoods on arithmetic surfaces: the local case

abstract: On arithmetic surfaces over local rings of integers we examine whether any geometric point has a basis of \'etale neighborhoods whose $\mathfrak{c}$-completed \'etale homotopy types are of type $K(\pi,1)$ for a given full class~$\mathfrak{c}$ of finite groups.


title: Relaxation of the chiral chemical potential in the dense matter of a neutron star

abstract: A model of the generation of a magnetic field in a neutron star is developed, based on an instability of the magnetic field caused by the electroweak interaction between electrons and nucleons in nuclear matter. The rate of change of the helicity of the electrons as they scatter on protons in the dense matter of a neutron star is calculated with the help of methods of quantum field theory. The influence of the electroweak interaction between electrons and background nucleons on the process of change of the helicity is examined. A kinetic equation is derived for the evolution of the chiral chemical potential. The results obtained are used to describe the evolution of the magnetic field in magnetars.


title: Study of isolated prompt photon production in $ p $-Pb collisions for the ALICE kinematics

abstract: Prompt photon production is known as a powerful tool for testing perturbative QCD predictions and also the validity of parton densities in the nucleon and nuclei especially of the gluon. In this work, we have performed a detailed study on this subject focusing on the isolated prompt photon production in $ p $-Pb collisions at forward rapidity at the LHC. The impact of input nuclear modifications obtained from different global analyses by various groups on several quantities has been investigated to estimate the order of magnitude of the difference between their predictions. We have also studied in detail the theoretical uncertainties in the results due to various sources. We found that there is a remarkable difference between the predictions from the nCTEQ15 and other groups in all ranges of photon transverse momentum $ p_\textrm{T}^\gamma $. Their differences become more explicit in the calculation of the nuclear modification ratio and also the yield asymmetry between the forward and backward rapidities rather than single differential cross sections. We emphasize that future measurements with ALICE will be very useful not only for decreasing the uncertainty of the gluon nuclear modification, but also to accurately determine its central values, especially in the shadowing region.


title: Social learning in a simple task allocation game

abstract: We investigate the effects of social interactions in task al- location using Evolutionary Game Theory (EGT). We propose a simple task-allocation game and study how different learning mechanisms can give rise to specialised and non- specialised colonies under different ecological conditions. By combining agent-based simulations and adaptive dynamics we show that social learning can result in colonies of generalists or specialists, depending on ecological parameters. Agent-based simulations further show that learning dynamics play a crucial role in task allocation. In particular, introspective individual learning readily favours the emergence of specialists, while a process resembling task recruitment favours the emergence of generalists.


title: Fr\'echet barycenters in the Monge-Kantorovich spaces

abstract: We consider the space $\mathcal{P}(X)$ of probability measures on arbitrary Radon space $X$ endowed with a transportation cost $J(\mu, \nu)$ generated by a nonnegative continuous cost function. For a probability distribution on $\mathcal{P}(X)$ we formulate a notion of average with respect to this transportation cost, called here the Fr\'echet barycenter, prove a version of the law of large numbers for Fr\'echet barycenters, and discuss the structure of $\mathcal{P}(X)$ related to the transportation cost $J$.


title: Locally Repairable Codes with Multiple $(r_{i}, \delta_{i})$-Localities

abstract: In distributed storage systems, locally repairable codes (LRCs) are introduced to realize low disk I/O and repair cost. In order to tolerate multiple node failures, the LRCs with \emph{$(r, \delta)$-locality} are further proposed. Since hot data is not uncommon in a distributed storage system, both Zeh \emph{et al.} and Kadhe \emph{et al.} focus on the LRCs with \emph{multiple localities or unequal localities} (ML-LRCs) recently, which said that the localities among the code symbols can be different. ML-LRCs are attractive and useful in reducing repair cost for hot data. In this paper, we generalize the ML-LRCs to the $(r,\delta)$-locality case of multiple node failures, and define an LRC with multiple $(r_{i}, \delta_{i})_{i\in [s]}$ localities ($s\ge 2$), where $r_{1}\leq r_{2}\leq\dots\leq r_{s}$ and $\delta_{1}\geq\delta_{2}\geq\dots\geq\delta_{s}\geq2$. Such codes ensure that some hot data could be repaired more quickly and have better failure-tolerance in certain cases because of relatively smaller $r_{i}$ and larger $\delta_{i}$. Then, we derive a Singleton-like upper bound on the minimum distance for the proposed LRCs by employing the regenerating-set technique. Finally, we obtain a class of explicit and structured constructions of optimal ML-LRCs, and further extend them to the cases of multiple $(r_{i}, \delta)_{i\in [s]}$ localities.


title: Quantifying Angular Correlations between the Atomic Lattice and Superlattice of Nanocrystals Assembled with Directional Linking

abstract: We show that the combination of X-ray scattering with a nanofocused beam and X-ray cross correlation analysis is an efficient means for the full structural characterization of mesocrystalline nanoparticle assemblies with a single experiment. We analyze several hundred diffraction patterns of individual sample locations, i.e. individual grains, to obtain a meaningful statistical distribution of the superlattice and atomic lattice ordering. Simultaneous small- and wide-angle X-ray scattering of the same sample location allows us to determine the structure and orientation of the superlattice as well as the angular correlation of the first two Bragg peaks of the atomic lattices, their orientation with respect to the superlattice, and the average orientational misfit due to local structural disorder. This experiment is particularly advantageous for synthetic mesocrystals made by the simultaneous self-assembly of colloidal nanocrystals and surface-functionalization with conductive ligands. While the structural characterization of such materials has been challenging so far, the present method now allows correlating mesocrystalline structure with optoelectronic properties.


title: DR2-Net: Deep Residual Reconstruction Network for Image Compressive Sensing

abstract: Most traditional algorithms for compressive sensing image reconstruction suffer from the intensive computation. Recently, deep learning-based reconstruction algorithms have been reported, which dramatically reduce the time complexity than iterative reconstruction algorithms. In this paper, we propose a novel \textbf{D}eep \textbf{R}esidual \textbf{R}econstruction Network (DR$^{2}$-Net) to reconstruct the image from its Compressively Sensed (CS) measurement. The DR$^{2}$-Net is proposed based on two observations: 1) linear mapping could reconstruct a high-quality preliminary image, and 2) residual learning could further improve the reconstruction quality. Accordingly, DR$^{2}$-Net consists of two components, \emph{i.e.,} linear mapping network and residual network, respectively. Specifically, the fully-connected layer in neural network implements the linear mapping network. We then expand the linear mapping network to DR$^{2}$-Net by adding several residual learning blocks to enhance the preliminary image. Extensive experiments demonstrate that the DR$^{2}$-Net outperforms traditional iterative methods and recent deep learning-based methods by large margins at measurement rates 0.01, 0.04, 0.1, and 0.25, respectively. The code of DR$^{2}$-Net has been released on: https://github.com/coldrainyht/caffe\_dr2


title: Lessons Learnt in Conducting Survey Research

abstract: Context: Surveys constitute an valuable tool to capture a large-scale snapshot of the state of the practice. Apparently trivial to adopt, surveys hide, however, several pitfalls that might hinder rendering the result valid and, thus, useful. Goal: We aim at providing an overview of main pitfalls in software engineering surveys and report on practical ways to deal with them. Method: We build on the experiences we collected in conducting many studies and distill the main lessons learnt. Results: The eight lessons learnt we report cover different aspects of the survey process ranging from the design of initial research objectives to the design of a questionnaire. Conclusions: Our hope is that by sharing our lessons learnt, combined with a disciplined application of the general survey theory, we contribute to improving the quality of the research results achievable by employing software engineering surveys.


title: Stability of algebraic varieties and Kahler geometry

abstract: This is a survey article, based on the author's lectures in the 2015 AMS Summer Research Institute in Algebraic Geometry, and to appear in the Proceedings.


title: Maxwell's equations in media as a contact Hamiltonian vector field and its information geometry -- An approach with a bundle whose fiber is a contact manifold

abstract: It is shown that Maxwell's equations in media without source can be written as a contact Hamiltonian vector field restricted to a Legendre submanifold, where this submanifold is in a fiber space of a bundle and is generated by either electromagnetic energy functional or co-energy functional. Then, it turns out that Legendre duality for this system gives the induction oriented formulation of Maxwell's equations and field intensity oriented one. Also, information geometry of the Maxwell fields is introduced and discussed.


title: A Survey on Deep Learning in Medical Image Analysis

abstract: Deep learning algorithms, in particular convolutional networks, have rapidly become a methodology of choice for analyzing medical images. This paper reviews the major deep learning concepts pertinent to medical image analysis and summarizes over 300 contributions to the field, most of which appeared in the last year. We survey the use of deep learning for image classification, object detection, segmentation, registration, and other tasks and provide concise overviews of studies per application area. Open challenges and directions for future research are discussed.


title: Kahler-Einstein metrics and algebraic geometry

abstract: This is a survey article, based on the author's lectures in the 2015 Current developments in Mathematics meeting; published in "Current developments in Mathematics". Version 2, references corrected and added.


title: Fixed points and the spontaneous breaking of scale invariance

abstract: We investigate critical $N$-component scalar field theories and the spontaneous breaking of scale invariance in three dimensions using functional renormalisation. Global and local renormalisation group flows are solved analytically in the infinite $N$ limit to establish the phase diagram including the Wilson-Fisher fixed point and a line of asymptotically safe UV fixed points characterised by an exactly marginal sextic coupling. We also study the Bardeen-Moshe-Bander phenomenon of spontaneously broken scale invariance and the stability of the vacuum for general regularisation. Our findings clarify a long-standing puzzle about the apparent unboundedness of the effective potential. Implications for other theories are indicated.


title: Pentavalent symmetric graphs of order four times an odd square-free integer

abstract: A graph is said to be symmetric if its automorphism group is transitive on its arcs. Guo et al. (Electronic J. Combin. 18, \#P233, 2011) and Pan et al. (Electronic J. Combin. 20, \#P36, 2013) determined all pentavalent symmetric graphs of order $4pq$. In this paper, we shall generalize this result by determining all connected pentavalent symmetric graphs of order four times an odd square-free integer. It is shown in this paper that, for each of such graphs $\it\Gamma$, either the full automorphism group ${\sf Aut}\it\Gamma$ is isomorphic to ${\sf PSL}(2,p)$, ${\sf PGL}(2,p)$, ${\sf PSL}(2,p){\times}\mathbb{Z}_2$ or ${\sf PGL}(2,p){\times}\mathbb{Z}_2$, or $\it\Gamma$ is isomorphic to one of 8 graphs.


title: Tunable pseudogaps due to non-local coherent transport in voltage-biased three-terminal Josephson junctions

abstract: We investigate the proximity effect in junctions between $N=3$ superconductors under commensurate voltage bias. The bias is chosen to highlight the role of transport processes that exchange multiple Cooper pairs coherently between more than two superconductors. Such non-local processes can be studied in the dc response, where local transport processes do not contribute. We focus on the proximity-induced normal density of states that we investigate in a wide parameter space. We reveal the presence of deep and highly tunable pseudogaps and other rich structures. These are due to a static proximity effect that is absent for $N=2$ and is sensitive to an emergent superconducting phase associated to non-local coherent transport. In comparison with results for $N=2$, we find similarities in the signature peaks of multiple Andreev reflections. We discuss the effect of electron-hole decoherence and of various types of junction asymmetries. Our predictions can be investigated experimentally using tunneling spectroscopy.


title: Axiomatization of if-then-else over monoids of possibly non-halting programs and tests

abstract: In order to study the axiomatization of the if-then-else construct over possibly non-halting programs and tests, the notion of $C$-sets was introduced in the literature by considering the tests from an abstract $C$-algebra. This paper extends the notion of $C$-sets to $C$-monoids which include the composition of programs as well as composition of programs with tests. For the class of $C$-monoids where the $C$-algebras are adas a canonical representation in terms of functional $C$-monoids is obtained.


title: Probing Higgs boson couplings in H+$\gamma$ production at the LHC

abstract: In this paper, we examine the potential of Higgs boson production associated with a photon at the LHC to probe the new physics effects in the framework of the standard model effective field theory. It is shown that the differential kinematic distributions such as photon transverse momentum and invariant mass of Higgs+$\gamma$ in Higgs associated production are powerful variables to explore the coefficients of dimension six operators. The analysis is performed in the decay channel of Higgs boson into a $b\bar{b}$ pair including the main sources of background processes and a realistic simulation of the detector effects. We provide constraints at $95\%$ confidence level on the Wilson coefficients of dimension-six operators affecting Higgs boson plus a photon production. We show to what extent these limits could be improved at the high luminosity LHC. The effect of these constraints on a well-motivated beyond standard model scenario is presented.


title: Arc-transitive pentavalent Cayley graphs with soluble vertex stabilizer on finite nonabelian simple groups

abstract: A Cayley graph $\Ga=\Cay(G,S)$ is said to be normal if $G$ is normal in $\Aut\Ga$. The concept of normal Cayley graphs was first proposed by M.Y.Xu in [Discrete Math. 182, 309-319, 1998] and it plays an important role in determining the full automorphism groups of Cayley graphs. In this paper, we investigate the normality problem of the connected arc-transitive pentavalent Cayley graphs with soluble vertex stabilizer on finite nonabelian simple groups. We prove that all such graphs $\Ga$ are either normal or $G=\A_{39}$ or $\A_{79}$. Further, a connected arc-transitive pentavalent Cayley graph on $\A_{79}$ is constructed. To our knowledge, this is the first known example of pentavalent 3-arc-transitive Cayley graph on finite nonabelian simple group which is non-normal.


title: Lorentz Violating $p$-form Gauge Theories in Superspace

abstract: Very special relativity (VSR) keeps the main features of special relativity but breaks rotational invariance due to an intrinsic preferred direction. We study the VSR modified extended BRST and anti-BRST symmetry of the Batalin-Vilkovisky (BV) actions corresponding to the $p=1,2,3$-form gauge theories. Within VSR framework, we discuss the extended BRST invariant and extended BRST and anti-BRST invariant superspace formulations for these BV actions. Here we observe that the VSR modified extended BRST invariant BV actions corresponding to the $p=1,2,3$-form gauge theories can be written manifestly covariant manner in a superspace with one Grassmann coordinate. Moreover, two Grassmann coordinates are required to describe the VSR modified extended BRST and extended anti-BRST invariant BV actions in a superspace. These results are consistent with the Lorentz invariant (special relativity) formulation.


title: On the uniqueness of ghost-free special gravity

abstract: Special gravity refers to interacting theories of massless gravitons in Minkowski space-time which are invariant under the abelian gauge invariance $h_{ab}\rightarrow h_{ab}+\partial_{(a}\chi_{b)}$ only. In this article we determine the most general form of special gravity free of Ostrogradski ghosts, meaning its equation of motion is of at most second order. Together with the recent works, this result could be helpful in formulating proofs of General Relativity as the unique physical theory of self-interacting massless gravitons. We also study how to construct gauge invariant couplings to matter fields.


title: Supplying Dark Energy from Scalar Field Dark Matter

abstract: We consider the hypothesis that dark matter and dark energy consists of ultra-light self-interacting scalar particles. It is found that the Klein-Gordon equation with only two free parameters (mass and self-coupling) on a Schwarzschild background, at the galactic length-scales has the solution which corresponds to Bose-Einstein condensate, behaving as dark matter, while the constant solution at supra-galactic scales can explain dark energy.


title: On Divergence of Puiseux Series Asymptotic Expansions of Solutions to the Third Painlev\'{e} Equation

abstract: In this paper we present a family of values of the parameters of the third Painlev\'{e} equation such that Puiseux series formally satisfying this equation -- considered as series of $z^{2/3}$ -- are series of exact Gevrey order one. We prove the divergence of these series and provide analytic functions which are approximated by them in sectors with the vertices at infinity.


title: Probabilistic LCF Risk Evaluation of a Turbine Vane by Combined Size Effect and Notch Support Modeling

abstract: A probabilistic risk assessment for low cycle fatigue (LCF) based on the so-called size effect has been applied on gas-turbine design in recent years. In contrast, notch support modeling for LCF which intends to consider the change in stress below the surface of critical LCF regions is known and applied for decades. Turbomachinery components often show sharp stress gradients and very localized critical regions for LCF crack initiations so that a life prediction should also consider notch and size effects. The basic concept of a combined probabilistic model that includes both, size effect and notch support, is presented. In many cases it can improve LCF life predictions significantly, in particular compared to \textit{E-N} curve predictions of standard specimens where no notch support and size effect is considered. Here, an application of such a combined model is shown for a turbine vane.


title: Hypercube LSH for approximate near neighbors

abstract: A celebrated technique for finding near neighbors for the angular distance involves using a set of \textit{random} hyperplanes to partition the space into hash regions [Charikar, STOC 2002]. Experiments later showed that using a set of \textit{orthogonal} hyperplanes, thereby partitioning the space into the Voronoi regions induced by a hypercube, leads to even better results [Terasawa and Tanaka, WADS 2007]. However, no theoretical explanation for this improvement was ever given, and it remained unclear how the resulting hypercube hash method scales in high dimensions. In this work, we provide explicit asymptotics for the collision probabilities when using hypercubes to partition the space. For instance, two near-orthogonal vectors are expected to collide with probability $(\frac{1}{\pi})^{d + o(d)}$ in dimension $d$, compared to $(\frac{1}{2})^d$ when using random hyperplanes. Vectors at angle $\frac{\pi}{3}$ collide with probability $(\frac{\sqrt{3}}{\pi})^{d + o(d)}$, compared to $(\frac{2}{3})^d$ for random hyperplanes, and near-parallel vectors collide with similar asymptotic probabilities in both cases. For $c$-approximate nearest neighbor searching, this translates to a decrease in the exponent $\rho$ of locality-sensitive hashing (LSH) methods of a factor up to $\log_2(\pi) \approx 1.652$ compared to hyperplane LSH. For $c = 2$, we obtain $\rho \approx 0.302 + o(1)$ for hypercube LSH, improving upon the $\rho \approx 0.377$ for hyperplane LSH. We further describe how to use hypercube LSH in practice, and we consider an example application in the area of lattice algorithms.


title: Width of the confinement-induced resonance in a quasi-one-dimensional trap with transverse anisotropy

abstract: We theoretically study the width of the s-wave confinement-induced resonance (CIR) in quasi-one-dimensional atomic gases under tunable transversely anisotropic confinement. We find that the width of the CIR can be tuned by varying the transverse anisotropy. The change in the width of the CIR can manifest itself in the position of the discontinuity in the interaction energy density, which can be probed experimentally.


title: On a quantitative reversal of Alexandrov's inequality

abstract: Alexandrov's inequalities imply that for any convex body $A$, the sequence of intrinsic volumes $V_1(A),\ldots,V_n(A)$ is non-increasing (when suitably normalized). Milman's random version of Dvoretzky's theorem shows that a large initial segment of this sequence is essentially constant, up to a critical parameter called the Dvoretzky number. We show that this near-constant behavior actually extends further, up to a different parameter associated with $A$. This yields a new quantitative reverse inequality that sits between the approximate reverse Urysohn inequality, due to Figiel--Tomczak-Jaegermann and Pisier, and the sharp reverse Urysohn inequality for zonoids, due to Hug--Schneider. In fact, we study concentration properties of the volume radius and mean width of random projections of $A$ and show how these lead naturally to such reversals.


title: Canonical Representations for Circular-Arc Graphs Using Flip Sets

abstract: We show that computing canonical representations for circular-arc (CA) graphs reduces to computing certain subsets of vertices called flip sets. For a broad class of CA graphs, which we call uniform, it suffices to compute a CA representation to find such flip sets. As a consequence canonical representations for uniform CA graphs can be obtained in polynomial-time. We then investigate what kind of CA graphs pose a challenge to this approach. This leads us to introduce the notion of restricted CA matrices and show that the canonical representation problem for CA graphs is logspace-reducible to that of restricted CA matrices. As a byproduct, we obtain the result that CA graphs without induced 4-cycles can be canonized in logspace.


title: Fast, Warped Graph Embedding: Unifying Framework and One-Click Algorithm

abstract: What is the best way to describe a user in a social network with just a few numbers? Mathematically, this is equivalent to assigning a vector representation to each node in a graph, a process called graph embedding. We propose a novel framework, GEM-D that unifies most of the past algorithms such as LapEigs, DeepWalk and node2vec. GEM-D achieves its goal by decomposing any graph embedding algorithm into three building blocks: node proximity function, warping function and loss function. Based on thorough analysis of GEM-D, we propose a novel algorithm, called UltimateWalk, which outperforms the most-recently proposed state-of-the-art DeepWalk and node2vec. The contributions of this work are: (1) The proposed framework, GEM-D unifies the past graph embedding algorithms and provides a general recipe of how to design a graph embedding; (2) the nonlinearlity in the warping function contributes significantly to the quality of embedding and the exponential function is empirically optimal; (3) the proposed algorithm, UltimateWalk is one-click (no user-defined parameters), scalable and has a closed-form solution.


title: A mass transport model with a simple non-factorized steady-state distribution

abstract: We study a mass transport model on a ring with parallel update, where a continuous mass is randomly redistributed along distinct links of the lattice, choosing at random one of the two partitions at each time step. The redistribution process on a given link depends on the masses on both sites, at variance with the Zero Range Process and its continuous mass generalizations. We show that the steady-state distribution takes a simple non-factorized form that can be written as a sum of two inhomogeneous product measures. A factorized measure is recovered for a symmetric mass redistribution, corresponding to an equilibrium process. A non-equilibrium free energy can be explicitly defined from the partition function. We evaluate different characterizations of the `distance' to equilibrium, either dynamic or static: the mass flux, the entropy production rate, the Gibbs free-energy difference between the equilibrium and non-equilibrium stationary states, and the derivative of the non-equilibrium free energy with respect to the applied driving force. The connection between these different non-equilibrium parameters is discussed.


title: Master equation for She-Leveque scaling and its classification in terms of other Markov models of developed turbulence

abstract: We derive the Markov process equivalent to She-Leveque scaling in homogeneous and isotropic turbulence. The Markov process is a jump process for velocity increments $u(r)$ in scale $r$ in which the jumps occur randomly but with deterministic width in $u$. From its master equation we establish a prescription to simulate the She-Leveque process and compare it with Kolmogorov scaling. To put the She-Leveque process into the context of other established turbulence models on the Markov level, we derive a diffusion process for $u(r)$ from two properties of the Navier-Stokes equation. This diffusion process already includes Kolmogorov scaling, extended self-similarity and a class of random cascade models. The fluctuation theorem of this Markov process implies a "second law" that puts a loose bound on the multipliers of the random cascade models. This bound explicitly allows for inverse cascades, which are necessary to satisfy the fluctuation theorem. By adding a jump process to the diffusion process, we go beyond Kolmogorov scaling and formulate the most general scaling law for the class of Markov processes having both diffusion and jump parts. This Markov scaling law includes She-Leveque scaling and a scaling law derived by Yakhot.


title: Multiscale simulations of topological transformations in magnetic Skyrmions

abstract: Magnetic Skyrmions belong to the most interesting spin structures for the development of future information technology as they have been predicted to be topologically protected. To quantify their stability, we use an innovative multiscale approach to simulating spin dynamics based on the Landau-Lifshitz-Gilbert equation. The multiscale approach overcomes the micromagnetic limitations that have hindered realistic studies using conventional techniques. We first demonstrate how the stability of a Skyrmion is influenced by the refinement of the computational mesh and reveal that conventionally employed traditional micromagnetic simulations are inadequate for this task. Furthermore, we determine the stability quantitatively using our multiscale approach. As a key operation for devices, the process of annihilating a Skyrmion by exciting it with a spin polarized current pulse is analyzed, showing that Skyrmions can be reliably deleted by designing the pulse shape.


title: Almost every real quadratic polynomial has a poly-time computable Julia set

abstract: We prove that Collet-Eckmann rational maps have poly-time computable Julia sets. As a consequence, almost all real quadratic Julia sets are poly-time.


title: Weil Diffeology I: Classical Differential Geometry

abstract: Topos theory is a category-theoretic axiomatization of set theory. Model categories are a category-theoretical framework for abstract homotopy theory. They are complete and cocomplete categories endowed with three classes of morphisms (called fibrations, cofibrations and equivalences) satisfying certain axioms. Functors from the category of Weil algebras to the category of sets are called Weil spaces by Wolfgang Bertram and form the Weil topos} after Eduardo J. Dubuc. The Weil topos is endowed intrinsically with the Dubuc functor, a functor from a larger category containing Weil algebras to the Weil topos standing for the incarnation of each algebraic entity of the category in the Weil topos. The Weil functor and the canonical ring object are to be defined in terms of the Dubuc functor. The principal object in this paper is to present a category-theoretical axiomatization of the Weil topos with the Dubuc functor intended to be an adequate framework for axiomatic classical differential geometry and hopefully comparable with model categories. We will give an appropriate formulation and a rather complete proof of a generalization of the familiar and desired fact that the tangent space of a microlinear Weil space is a module over the canonical ring object.


title: Achieving the Desired Dynamic Behavior in Multi-Robot Systems Interacting with the Environment

abstract: In this paper we consider the problem of controlling the dynamic behavior of a multi-robot system while interacting with the environment. In particular, we propose a general methodology that, by means of locally scaling inter-robot coupling relationships, leads to achieving a desired interactive behavior. The proposed method is shown to guarantee passivity preservation, which ensures a safe interaction. The performance of the proposed methodology is evaluated in simulation, over large-scale multi-robot systems.


title: Predicting Electronic Structure Properties of Transition Metal Complexes with Neural Networks

abstract: High-throughput computational screening has emerged as a critical component of materials discovery. Direct density functional theory (DFT) simulation of inorganic materials and molecular transition metal complexes is often used to describe subtle trends in inorganic bonding and spin-state ordering, but these calculations are computationally costly and properties are sensitive to the exchange-correlation functional employed. To begin to overcome these challenges, we trained artificial neural networks (ANNs) to predict quantum-mechanically-derived properties, including spin-state ordering, sensitivity to Hartree-Fock exchange, and spin- state specific bond lengths in transition metal complexes. Our ANN is trained on a small set of inorganic-chemistry-appropriate empirical inputs that are both maximally transferable and do not require precise three-dimensional structural information for prediction. Using these descriptors, our ANN predicts spin-state splittings of single-site transition metal complexes (i.e., Cr-Ni) at arbitrary amounts of Hartree-Fock exchange to within 3 kcal/mol accuracy of DFT calculations. Our exchange-sensitivity ANN enables improved predictions on a diverse test set of experimentally-characterized transition metal complexes by extrapolation from semi-local DFT to hybrid DFT. The ANN also outperforms other machine learning models (i.e., support vector regression and kernel ridge regression), demonstrating particularly improved performance in transferability, as measured by prediction errors on the diverse test set. We establish the value of new uncertainty quantification tools to estimate ANN prediction uncertainty in computational chemistry, and we provide additional heuristics for identification of when a compound of interest is likely to be poorly predicted by the ANN.


title: Invertibility of Toeplitz operators with polyanalytic symbols

abstract: Given a polyanalytic function, we show that the corresponding Toeplitz operator on the Bergman space of the unit disc can be expressed as a quotient of certain differential operators with holomorphic coefficients. This enables us to obtain several operator theoretic results including a criterion for invertibility of a Toeplitz operator.


title: The independence number of the Birkhoff polytope graph, and applications to maximally recoverable codes

abstract: Maximally recoverable codes are codes designed for distributed storage which combine quick recovery from single node failure and optimal recovery from catastrophic failure. Gopalan et al [SODA 2017] studied the alphabet size needed for such codes in grid topologies and gave a combinatorial characterization for it. Consider a labeling of the edges of the complete bipartite graph $K_{n,n}$ with labels coming from $F_2^d$ , that satisfies the following condition: for any simple cycle, the sum of the labels over its edges is nonzero. The minimal d where this is possible controls the alphabet size needed for maximally recoverable codes in n x n grid topologies. Prior to the current work, it was known that d is between $(\log n)^2$ and $n\log n$. We improve both bounds and show that d is linear in n. The upper bound is a recursive construction which beats the random construction. The lower bound follows by first relating the problem to the independence number of the Birkhoff polytope graph, and then providing tight bounds for it using the representation theory of the symmetric group.


title: Machine Learning Predicts Laboratory Earthquakes

abstract: Forecasting fault failure is a fundamental but elusive goal in earthquake science. Here we show that by listening to the acoustic signal emitted by a laboratory fault, machine learning can predict the time remaining before it fails with great accuracy. These predictions are based solely on the instantaneous physical characteristics of the acoustical signal, and do not make use of its history. Surprisingly, machine learning identifies a signal emitted from the fault zone previously thought to be low-amplitude noise that enables failure forecasting throughout the laboratory quake cycle. We hypothesize that applying this approach to continuous seismic data may lead to significant advances in identifying currently unknown signals, in providing new insights into fault physics, and in placing bounds on fault failure times.


title: Lattice corrections to the quark quasidistribution at one-loop

abstract: We calculate radiative corrections to the quark quasidistribution in lattice perturbation theory at one loop to leading orders in the lattice spacing. We also consider one-loop corrections in continuum Euclidean space. We find the infrared behavior of the corrections in Euclidean and Minkowski space are different. We explore features of momentum loop integrals and demonstrate why loop corrections from the lattice perturbation theory and Euclidean continuum do not correspond with their Minkowski brethren, and comment on a recent suggestion for transcending the differences in the results. Further, we examine the role of the lattice spacing $a$ and of the $r$ parameter in the Wilson action in these radiative corrections.


title: Open quantum systems with delayed coherent feedback

abstract: We present an elementary derivation and generalisation of a recently reported method of simulating feedback in open quantum systems. We use our generalised method to simulate systems with multiple delays, as well as cascaded systems with delayed backscatter. In addition, we derive a generalisation of the quantum regression formula that applies to systems with delayed feedback, and show how to use the formula to compute two-time correlation functions of the system as well as output field properties. Finally, we show that delayed coherent feedback can be simulated as a quantum teleportation protocol that requires only Markovian resources, pre-shared entanglement, and time travel. The requirement for time travel can be avoided by using a probabilistic protocol.


title: Exponentially vanishing sub-optimal local minima in multilayer neural networks

abstract: Background: Statistical mechanics results (Dauphin et al. (2014); Choromanska et al. (2015)) suggest that local minima with high error are exponentially rare in high dimensions. However, to prove low error guarantees for Multilayer Neural Networks (MNNs), previous works so far required either a heavily modified MNN model or training method, strong assumptions on the labels (e.g., "near" linear separability), or an unrealistic hidden layer with $\Omega\left(N\right)$ units. Results: We examine a MNN with one hidden layer of piecewise linear units, a single output, and a quadratic loss. We prove that, with high probability in the limit of $N\rightarrow\infty$ datapoints, the volume of differentiable regions of the empiric loss containing sub-optimal differentiable local minima is exponentially vanishing in comparison with the same volume of global minima, given standard normal input of dimension $d_{0}=\tilde{\Omega}\left(\sqrt{N}\right)$, and a more realistic number of $d_{1}=\tilde{\Omega}\left(N/d_{0}\right)$ hidden units. We demonstrate our results numerically: for example, $0\%$ binary classification training error on CIFAR with only $N/d_{0}\approx 16$ hidden neurons.


title: The Absent-Minded Driver Problem Redux

abstract: This paper reconsiders the problem of the absent-minded driver who must choose between alternatives with different payoff with imperfect recall and varying degrees of knowledge of the system. The classical absent-minded driver problem represents the case with limited information and it has bearing on the general area of communication and learning, social choice, mechanism design, auctions, theories of knowledge, belief, and rational agency. Within the framework of extensive games, this problem has applications to many artificial intelligence scenarios. It is obvious that the performance of the agent improves as information available increases. It is shown that a non-uniform assignment strategy for successive choices does better than a fixed probability strategy. We consider both classical and quantum approaches to the problem. We argue that the superior performance of quantum decisions with access to entanglement cannot be fairly compared to a classical algorithm. If the cognitive systems of agents are taken to have access to quantum resources, or have a quantum mechanical basis, then that can be leveraged into superior performance.


title: Evaluation of Lane Departure Correction Systems Using a Stochastic Driver Model

abstract: Evaluating the effectiveness and benefits of driver assistance systems is crucial for improving the system performance. In this paper, we propose a novel framework for testing and evaluating lane departure correction systems at a low cost by using lane departure events reproduced from naturalistic driving data. First, 529,096 lane departure events were extracted from the Safety Pilot Model Deployment (SPMD) database collected by the University of Michigan Transportation Research Institute. Second, a stochastic lane departure model consisting of eight random key variables was developed to reduce the dimension of the data description and improve the computational efficiency. As such, we used a bounded Gaussian mixture model (BGM) model to describe drivers' stochastic lane departure behaviors. Then, a lane departure correction system with an aim point controller was designed, and a batch of lane departure events were reproduced from the learned stochastic driver model. Finally, we assessed the developed evaluation approach by comparing lateral departure areas of vehicles between with and without correction controller. The simulation results show that the proposed method can effectively evaluate lane departure correction systems.


title: The Component Graph of the Uniform Spanning Forest: Transitions in Dimensions $9,10,11,\ldots$

abstract: We prove that the uniform spanning forests of $\mathbb{Z}^d$ and $\mathbb{Z}^{\ell}$ have qualitatively different connectivity properties whenever $\ell >d \geq 4$. In particular, we consider the graph formed by contracting each tree of the uniform spanning forest down to a single vertex, which we call the component graph. We introduce the notion of ubiquitous subgraphs and show that the set of ubiquitous subgraphs of the component graph changes whenever the dimension changes and is above $8$. To separate dimensions $5,6,7,$ and $8$, we prove a similar result concerning ubiquitous subhypergraphs in the component hypergraph. Our result sharpens a theorem of Benjamini, Kesten, Peres, and Schramm, who proved that the diameter of the component graph increases by one every time the dimension increases by four.


title: Distributed Gauss-Newton Method for State Estimation Using Belief Propagation

abstract: We present a novel distributed Gauss-Newton method for the non-linear state estimation (SE) model based on a probabilistic inference method called belief propagation (BP). The main novelty of our work comes from applying BP sequentially over a sequence of linear approximations of the SE model, akin to what is done by the Gauss-Newton method. The resulting iterative Gauss-Newton belief propagation (GN-BP) algorithm can be interpreted as a distributed Gauss-Newton method with the same accuracy as the centralized SE, however, introducing a number of advantages of the BP framework. The paper provides extensive numerical study of the GN-BP algorithm, provides details on its convergence behavior, and gives a number of useful insights for its implementation.


title: A Maximum Entropy Principle for inferring the Distribution of 3D Plasmoids

abstract: The Principle of Maximum Entropy, a powerful and general method for inferring the distribution function given a set of constraints, is applied to deduce the overall distribution of 3D plasmoids (flux ropes/tubes) for systems where resistive MHD is applicable and large numbers of plasmoids are produced. The analysis is undertaken for the 3D case, with mass, total flux and velocity serving as the variables of interest, on account of their physical and observational relevance. The distribution functions for the mass, width, total flux and helicity exhibit a power-law behavior with exponents of $-4/3$, $-2$, $-3$ and $-2$ respectively for small values, whilst all of them display an exponential falloff for large values. In contrast, the velocity distribution, as a function of $v = |{\bf v}|$, is shown to be flat for $v \rightarrow 0$, and becomes a power law with an exponent of $-7/3$ for $v \rightarrow \infty$. Most of these results are nearly independent of the free parameters involved in this specific problem. A preliminary comparison of our results with the observational evidence is presented, and some of the ensuing space and astrophysical implications are briefly discussed.

categories: astro-ph.HE astro-ph.SR cond-mat.stat-mech physics.plasm-ph physics.space-ph


title: Liberation, free mutual information and orbital free entropy

abstract: We present here some connections between the liberation process for projections $(P,Q)\mapsto(P,U_tQU_t^*)$ and its counterpart $(R,S)\mapsto(R,U_tSU_t^*)$ for symmetries when the projections $\{P,Q\}$ and the symmetries $\{R,S\}$ are associated, where $U_t$ is a free unitary Brownian motion freely independent from $\{P,Q\}$ (and so $\{R,S\}$). We relate the moments of their actions on the operators $X_t:=PU_tQU_t^*$ and $Y_t:=U_tRU_t^*S$ and use this to prove a relationship between the corresponding spectral measures (hereafter $\mu_t$ and $\nu_t$). On the other hand, we focus in the process of unitary random variables $Y_t$ in the case of arbitrary trace values $\tau(R),\tau(S)$. More precisely, we use stochastic calculus to derive a partial differential equation (PDE for short) for its Herglotz transform and use it to develop subordination results in terms of L\"owner equations. The paper is closed with an improved proof of $i^*\left( \mathbb{C}P+\mathbb{C}(I-P); \mathbb{C}Q+\mathbb{C}(I-Q) \right)=-\chi_{orb}\left(P,Q\right)$ as an application.


title: Structure and minimal generating sets of Sylow 2-subgroups of alternating groups, properties of its commutator subgroup

abstract: In this article the investigation of Sylows p-subgroups of ${{A}_{n}}$ and ${{S}_{n}}$, which was started in article of U. Dmitruk, V. Suschansky "Structure of 2-sylow subgroup of symmetric and alternating group" and article of R.~Skuratovskii "Corepresentation of a Sylow p-subgroup of a group S_n" \cite{Dm, Sk, Paw} is continued. Let $Syl_2{A_{2^k}}$ and $Syl_2{A_{n}}$ be Sylow 2-subgroups of corresponding alternating groups $A_{2^k}$ and $A_{n}$. We find a least generating set and a structure for such subgroups $Sy{{l}_{2}}{{A}_{{{2}^{k}}}}$ and $Syl_2{A_{n}}$ and commutator width of $Syl_2{A_{2^k}}$ \cite{Mur}. The authors of \cite{Dm, Paw} didn't proof minimality of finding by them system of generators for such Sylow 2-subgroups of $A_n$ and structure of it were founded only descriptively. The purpose of this paper is to research the structure of a Sylow 2-subgroups and to construct a minimal generating system for such subgroups. In other words, the problem is not simply in the proof of existence of a generating set with elements for the Sylow 2-subgroup of alternating group of degree $2^k $ and proof its minimality. The main result is the proof of minimality of this generating set of the above described subgroups and also the description of their structure.


title: Point-contact spectroscopy of superconducting energy gap in $\rm DyNi_2B_2C$

abstract: The superconducting energy gap in $\rm DyNi_2B_2C$ has been investigated using a point-contact technique based on the Andreev reflection from a normal (N)-superconductor (S) boundary, where N is Ag. The observed differential resistance $dV/dI$ is well described by the Blonder-Tinkham-Klapwijk (BTK) theory based on the BSC density of states with zero broadening parameter. Typically, the intensity of the gap structure amounts to several percentage of the normal state resistance, which is an order of magnitude less than predicted by the theory. For $\rm DyNi_2B_2C$ with $T_c<T_N$ (the Neel temperature), we found gap values satisfying the ratio of $2\Delta_0/k_BT_c=3.63\pm 0.05$ similar to other superconducting nickel-borocarbides, both nonmagnetic and magnetic with $T_c\geq T_N$. The superconducting gap nonlinearity is superimposed on the antiferromagnetic structure in $dV/dI(V)$ which is suppressed at the magnetic field of the order of 3T applied nominally in the $ab$-plane and temperature $\geq 11~K$. The observed superconducting properties depend on the exact composition and structure at the surface of the crystal.


title: Generic Phase Portrait Analysis of the Finite-time Singularities and Generalized Teleparallel Gravity

abstract: We analyze the common four types of the finite-time singularities using a generic framework of the phase portrait geometric approach. This technique requires that the Friedmann system to be written as a one dimensional autonomous system. We employ a scale factor that has been used widely in literature to realize the four finite-time singularity types, then we show a detailed discussion for each case showing possible novel models. Moreover, we show how different singularity types can play essential roles in different cosmological scenarios. Among several modified gravity theories, we show that the f (T) cosmology is in comfort with the phase portrait analysis, since the field equations include Hubble derivatives only up to first order. Therefore, we reconstruct the f (T) theory which generates these phase portraits. We also perform a complementary analysis using the effective equation of state. Furthermore, we investigate the role of the torsion fluid in realizing the cosmic singularities.


title: Planar graphs and Stanley's Chromatic Functions

abstract: This article is dedicated to the study of positivity phenomena for the chromatic symmetric function of a graph with respect to various bases of symmetric functions. We give a new proof of Gasharov's theorem on the Schur-positivity of the chromatic symmetric function of a $(3 + 1)$-free poset. We present a combinatorial interpretation of the Schur-coefficients in terms of planar networks. Compared to Gasharov's proof, it gives a clearer visual illustration of the cancellation procedures and is quite similar in spirit to the proof of monomial positivity of Schur functions via the Lindstrom-Gessel-Viennot lemma. We apply a similar device to the $e$-positivity problem of chromatic functions. Following Stanley, we analyze certain analogs of symmetric functions attached to graphs instead of working with chromatic symmetric functions of graphs directly. We introduce a new combinatorial object: the correct sequences of unit interval orders, and, using these, we reprove monomial positivity of $G$-analogues of the power sum symmetric functions.


title: A Hubble Space Telescope Survey for Novae in M87. II. Snuffing out the Maximum Magnitude - Rate of Decline Relation for Novae as a Non-Standard Candle, and a Prediction of the Existence of Ultrafast Novae

abstract: The extensive grid of numerical simulations of nova eruptions of Yaron et al.(2005) first predicted that some classical novae might deviate significantly from the Maximum Magnitude - Rate of Decline (MMRD) relation, which purports to characterise novae as standard candles. Kasliwal et al. (2011) have announced the observational detection of an apparently new class of faint, fast classical novae in the Andromeda galaxy. These objects deviate strongly from the MMRD relationship, exactly as predicted by Yaron et al. (2005). Shara et al. (2016) recently reported the first detections of faint, fast novae in M87. These previously overlooked objects are as common in the giant elliptical galaxy M87 as they are in the giant spiral M31; they comprise about 40% of all classical nova eruptions and greatly increase the observational scatter in the MMRD relation. We use the extensive grid of nova simulations of Yaron et al. (2005) to identify the underlying causes of the existence of faint, fast novae. These are systems which have accreted, and can thus eject, only very low mass envelopes, of order 10^-7 - 10^-8 Msun, on massive white dwarfs. Such binaries include, but are not limited to, the recurrent novae. These same models predict the existence of ultrafast novae which display decline times t2 as short as five hours. We outline a strategy for their future detection.


title: An alternative quadratic formula

abstract: The classical quadratic formula and some of its lesser known variants for solving the quadratic equation are reviewed. Then, a new formula for the roots of a quadratic polynomial is presented.


title: Constant angle surfaces in the Lorentzian Heisenberg group

abstract: In this paper, we define and, then, we characterize constant angle spacelike and timelike surfaces in the three-dimensional Heisenberg group, equipped with a 1-parameter family of Lorentzian metrics. In particular, we give an explicit local parametrization of these surfaces and we produce some examples.


title: A new approach to $e$-positivity for Stanley's chromatic functions

abstract: In this paper, we study positivity phenomena for the $e$-coefficients of Stanley's chromatic function of a graph. We introduce a new combinatorial object: the {\em correct} sequences of unit interval orders, and using these, in certain cases, we succeed to construct combinatorial models of the coefficients appearing in Stanley's conjecture. Our main result is the proof of positivity of the coefficients $c_{n-k,1^k}$, $c_{n-2,2}$, $c_{n-3,2,1}$ and $c_{2^k,1^{n-2k}}$ of the expansion of the chromatic symmetric function in terms of the basis of the elementary symmetric polynomials for the case of $(3+1)$-free posets.


title: Improving Localization Accuracy in Connected Vehicle Networks Using Rao-Blackwellized Particle Filters: Theory, Simulations, and Experiments

abstract: A crucial function for automated vehicle technologies is accurate localization. Lane-level accuracy is not readily available from low-cost Global Navigation Satellite System (GNSS) receivers because of factors such as multipath error and atmospheric bias. Approaches such as Differential GNSS can improve localization accuracy, but usually require investment in expensive base stations. Connected vehicle technologies provide an alternative approach to improving the localization accuracy. It will be shown in this paper that localization accuracy can be enhanced using crude GNSS measurements from a group of connected vehicles, by matching their locations to a digital map. A Rao-Blackwellized particle filter (RBPF) is used to jointly estimate the common biases of the pseudo-ranges and the vehicle positions. Multipath biases, which introduce receiver-specific (non-common) error, are mitigated by a multi-hypothesis detection-rejection approach. The temporal correlation of the estimations is exploited through the prediction-update process. The proposed approach is compared to existing methods using both simulations and experimental results. It was found that the proposed algorithm can eliminate the common biases and reduce the localization error to below 1 meter under open sky conditions.


title: Harmonic Grammar, Optimality Theory, and Syntax Learnability: An Empirical Exploration of Czech Word Order

abstract: This work presents a systematic theoretical and empirical comparison of the major algorithms that have been proposed for learning Harmonic and Optimality Theory grammars (HG and OT, respectively). By comparing learning algorithms, we are also able to compare the closely related OT and HG frameworks themselves. Experimental results show that the additional expressivity of the HG framework over OT affords performance gains in the task of predicting the surface word order of Czech sentences. We compare the perceptron with the classic Gradual Learning Algorithm (GLA), which learns OT grammars, as well as the popular Maximum Entropy model. In addition to showing that the perceptron is theoretically appealing, our work shows that the performance of the HG model it learns approaches that of the upper bound in prediction accuracy on a held out test set and that it is capable of accurately modeling observed variation.


title: Cosmic Ray RF detection with the ASTRONEU array

abstract: Results will be shown from the ASTRONEU array developed and operated in the outskirts of Patras, Greece. An array of 9 scintillator detectors and 3 antennas were deployed to study Extensive Air Showers (EAS) as a tool for calibrating an underwater neutrino telescope, possible other applications in muon tomography, education purposes, and last but not least, the detection of air showers via their electromagnetic signature. This is the first stage of a total of 24 scintillator counters and 6 RF antennas to complete the array. In this work, results with regard to the electromagnetic detection of showers will be shown. The method of operation and analysis will be presented. The purpose of this project was to demonstrate the adequacy of the method to detect cosmic events even in the presence of high urban electromagnetic background, using noise filters, timing, signal polarization, and eventual comparison with well understood event reconstruction using the scintillator detectors. The results indicate that cosmic showers were detected and the method can be used for the complete array.


title: Intuitionistic Layered Graph Logic: Semantics and Proof Theory

abstract: Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature. We describe an intuitionistic substructural logic called ILGL that gives an account of layering. The logic is a bunched system, combining the usual intuitionistic connectives, together with a non-commutative, non-associative conjunction (used to capture layering) and its associated implications. We give soundness and completeness theorems for a labelled tableaux system with respect to a Kripke semantics on graphs. We then give an equivalent relational semantics, itself proven equivalent to an algebraic semantics via a representation theorem. We utilise this result in two ways. First, we prove decidability of the logic by showing the finite embeddability property holds for the algebraic semantics. Second, we prove a Stone-type duality theorem for the logic. By introducing the notions of ILGL hyperdoctrine and indexed layered frame we are able to extend this result to a predicate version of the logic and prove soundness and completeness theorems for an extension of the layered graph semantics . We indicate the utility of predicate ILGL with a resource-labelled bigraph model.


title: Collaborative Deep Reinforcement Learning

abstract: Besides independent learning, human learning process is highly improved by summarizing what has been learned, communicating it with peers, and subsequently fusing knowledge from different sources to assist the current learning goal. This collaborative learning procedure ensures that the knowledge is shared, continuously refined, and concluded from different perspectives to construct a more profound understanding. The idea of knowledge transfer has led to many advances in machine learning and data mining, but significant challenges remain, especially when it comes to reinforcement learning, heterogeneous model structures, and different learning tasks. Motivated by human collaborative learning, in this paper we propose a collaborative deep reinforcement learning (CDRL) framework that performs adaptive knowledge transfer among heterogeneous learning agents. Specifically, the proposed CDRL conducts a novel deep knowledge distillation method to address the heterogeneity among different learning tasks with a deep alignment network. Furthermore, we present an efficient collaborative Asynchronous Advantage Actor-Critic (cA3C) algorithm to incorporate deep knowledge distillation into the online training of agents, and demonstrate the effectiveness of the CDRL framework using extensive empirical evaluation on OpenAI gym.


title: Exponentially slow mixing in the mean-field Swendsen-Wang dynamics

abstract: Swendsen-Wang dynamics for the Potts model was proposed in the late 1980's as an alternative to single-site heat-bath dynamics, in which global updates allow this MCMC sampler to switch between metastable states and ideally mix faster. Gore and Jerrum (1999) found that this dynamics may in fact exhibit slow mixing: they showed that, for the Potts model with $q\geq 3$ colors on the complete graph on $n$ vertices at the critical point $\beta_c(q)$, Swendsen-Wang dynamics has $t_{\mathrm{mix}}\geq \exp(c\sqrt n)$. The same lower bound was extended to the critical window $(\beta_s,\beta_S)$ around $\beta_c$ by Galanis et al. (2015), as well as to the corresponding mean-field FK model by Blanca and Sinclair (2015). In both cases, an upper bound of $t_{\mathrm{mix}} \leq \exp(c' n)$ was known. Here we show that the mixing time is truly exponential in $n$: namely, $t_{\mathrm{mix}} \geq \exp (cn)$ for Swendsen-Wang dynamics when $q\geq 3$ and $\beta\in(\beta_s,\beta_S)$, and the same bound holds for the related MCMC samplers for the mean-field FK model when $q>2$.


title: Population Vulnerability Models for Asteroid Impact Risk Assessment

abstract: An asteroid impact is a low probability event with potentially devastating consequences. The Asteroid Risk Mitigation Optimization and Research (ARMOR) software tool calculates whether a colliding asteroid experiences an airburst or surface impact and calculates effect severity as well as reach on the global map. To calculate the consequences of an impact in terms of loss of human life, new vulnerability models are derived that connect the severity of seven impact effects (strong winds, overpressure shockwave, thermal radiation, seismic shaking, ejecta deposition, cratering and tsunamis) with lethality to human populations. With the new vulnerability models ARMOR estimates casualties of an impact under consideration of the local population and geography. The presented algorithms and models are employed in two case studies to estimate total casualties as well as the damage contribution of each impact effect. The case studies highlight that aerothermal effects are most harmful except for deep water impacts, where tsunamis are the dominant hazard. Continental shelves serve a protective function against the tsunami hazard caused by impactors on the shelf. Furthermore, the calculation of impact consequences facilitates asteroid risk estimation to better characterize a given threat and the concept of risk as well as its applicability to the asteroid impact scenario are presented.


title: On a non-separable quantum many-particle system on the half-line

abstract: In this paper we will report on a one-dimensional, non-separable quantum many-particle system introduced in [arXiv:1504.08283,arXiv:1604.06693]. It consists of two (distinguishable) particles moving on the half-line being subjected to two different kinds of two-particle interactions: singular many-particle interactions localised at the origin and a binding-potential leading to a molecular-like state. We will formulate the model precisely, obtaining a well-defined self-adjoint operator (the Hamiltonian of our system) and elaborate on its spectral properties. In addition, we will present possible directions for future research.


title: Revisiting Distributed Synchronous SGD

abstract: Distributed training of deep learning models on large-scale training data is typically conducted with asynchronous stochastic optimization to maximize the rate of updates, at the cost of additional noise introduced from asynchrony. In contrast, the synchronous approach is often thought to be impractical due to idle time wasted on waiting for straggling workers. We revisit these conventional beliefs in this paper, and examine the weaknesses of both approaches. We demonstrate that a third approach, synchronous optimization with backup workers, can avoid asynchronous noise while mitigating for the worst stragglers. Our approach is empirically validated and shown to converge faster and to better test accuracies.


title: Singularity formation for the two-dimensional harmonic map flow into $S^2$

abstract: We construct finite time blow-up solutions to the 2-dimensional harmonic map flow into the sphere $S^2$, \begin{align*} u_t & = \Delta u + |\nabla u|^2 u \quad \text{in } \Omega\times(0,T) \\ u &= \varphi \quad \text{on } \partial \Omega\times(0,T) \\ u(\cdot,0) &= u_0 \quad \text{in } \Omega , \end{align*} where $\Omega$ is a bounded, smooth domain in $\mathbb{R}^2$, $u: \Omega\times(0,T)\to S^2$, $u_0:\bar\Omega \to S^2$ is smooth, and $\varphi = u_0\big|_{\partial\Omega}$. Given any points $q_1,\ldots, q_k$ in the domain, we find initial and boundary data so that the solution blows-up precisely at those points. The profile around each point is close to an asymptotically singular scaling of a 1-corrotational harmonic map. We build a continuation after blow-up as a $H^1$-weak solution with a finite number of discontinuities in space-time by "reverse bubbling", which preserves the homotopy class of the solution after blow-up.


title: Metric for two equal Kerr black holes

abstract: We show that the exact solution of Einstein's equations describing a system of two aligned identical Kerr black holes separated by a massless strut follows straightforwardly from the extended 2-soliton solution possessing equatorial symmetry, and we give its concise analytic representation in terms of physical parameters.


title: Deep learning-based assessment of tumor-associated stroma for diagnosing breast cancer in histopathology images

abstract: Diagnosis of breast carcinomas has so far been limited to the morphological interpretation of epithelial cells and the assessment of epithelial tissue architecture. Consequently, most of the automated systems have focused on characterizing the epithelial regions of the breast to detect cancer. In this paper, we propose a system for classification of hematoxylin and eosin (H&E) stained breast specimens based on convolutional neural networks that primarily targets the assessment of tumor-associated stroma to diagnose breast cancer patients. We evaluate the performance of our proposed system using a large cohort containing 646 breast tissue biopsies. Our evaluations show that the proposed system achieves an area under ROC of 0.92, demonstrating the discriminative power of previously neglected tumor-associated stroma as a diagnostic biomarker.


title: The influence of topological phase transition on the superfluid density of overdoped copper oxides

abstract: We show that a topological quantum phase transition, generating flat bands and altering Fermi surface topology, is a primary reason for the exotic behavior of the overdoped high-temperature superconductors represented by $\rm La_{2-x}Sr_xCuO_4$, whose superconductivity features differ from what is described by the classical Bardeen-Cooper-Schrieffer theory [J.I. Bo\^zovi\'c, X. He, J. Wu, and A. T. Bollinger, Nature 536, 309 (2016)]. We demonstrate that 1) at temperature $T=0$, the superfluid density $n_s$ turns out to be considerably smaller than the total electron density; 2) the critical temperature $T_c$ is controlled by $n_s$ rather than by doping, and is a linear function of the $n_s$; 3) at $T>T_c$ the resistivity $\rho(T)$ varies linearly with temperature, $\rho(T)\propto \alpha T$, where $\alpha$ diminishes with $T_c\to 0$, while in the normal overdoped (non superconducting) region with $T_c=0$, the resistivity becomes $\rho(T)\propto T^2$. The theoretical results presented are in good agreement with recent experimental observations, closing the colossal gap between these empirical findings and Bardeen-Cooper-Schrieffer-like theories.


title: Conditional Lower Bounds for All-Pairs Max-Flow

abstract: We provide evidence that computing the maximum flow value between every pair of nodes in a directed graph on $n$ nodes, $m$ edges,and capacities in the range $[1..n]$, which we call the All-Pairs Max-Flow problem, cannot be solved in time that is significantly faster (i.e., by a polynomial factor) than $O(n^3)$ even for sparse graphs. Since a single maximum $st$-flow can be solved in time $\tilde{O}(m\sqrt{n})$ [Lee and Sidford, FOCS 2014], we conclude that the all-pairs version might require time equivalent to $\tilde\Omega(n^{3/2})$ computations of maximum $st$-flow,which strongly separates the directed case from the undirected one. Moreover, if maximum $st$-flow can be solved in time $\tilde{O}(m)$,then the runtime of $\tilde\Omega(n^2)$ computations is needed. The latter settles a conjecture of Lacki, Nussbaum, Sankowski, and Wulf-Nilsen [FOCS 2012] negatively. Specifically, we show that in sparse graphs $G=(V,E,w)$, if one can compute the maximum $st$-flow from every $s$ in an input set of sources $S\subseteq V$ to every $t$ in an input set of sinks $T\subseteq V$ in time $O((|S| |T| m)^{1-\epsilon})$,for some $|S|$, $|T|$, and a constant $\epsilon>0$,then MAX-CNF-SAT with $n'$ variables and $m'$ clauses can be solved in time ${m'}^{O(1)}2^{(1-\delta)n'}$ for a constant $\delta(\epsilon)>0$,a problem for which not even $2^{n'}/poly(n')$ algorithms are known. Such runtime for MAX-CNF-SAT would in particular refute the Strong Exponential Time Hypothesis (SETH). Hence, we improve the lower bound of Abboud, Vassilevska-Williams, and Yu [STOC 2015], who showed that for every fixed $\epsilon>0$ and $|S|=|T|=O(\sqrt{n})$, if the above problem can be solved in time $O(n^{3/2-\epsilon})$, then some incomparable conjecture is false. Furthermore, a larger lower bound than ours implies strictly super-linear time for maximum $st$-flow problem, which would be an amazing breakthrough.


title: Topographically anisotropic photonics for broadband integrated polarization diversity

abstract: Integrated polarimetric receivers have the potential to define a new generation of lightweight, high-performance instrumentation for remote sensing. To date, on-chip polarization-selective devices such as polarizing beam-splitters have yet to even approach the necessary performance, due to fundamental design limitations. Here, we propose, simulate and experimentally demonstrate a method for realizing spatially-mapped birefringence onto integrated photonic circuits, deemed topographically anisotropic photonics. With this robust and widely tolerant approach, devices can be constructed with strongly polarization-dependent modal properties and minimal wavelength dependence. An integrated polarizing beam-splitter (PBS) is realized with unprecedented performance: a record 0.52 octaves of fractional bandwidth (116 THz), maximum insertion loss of 1.4 +/- 0.8 dB, and a minimum extinction ratio of 16 +/- 3 dB, pushing it into the realm of wideband spectroscopy and imaging applications. Additionally, novel photonic structures such as polarization-selective beam-taps and polarization-selective microring resonators are demonstrated, enabling new on-chip polarimetric receiver architectures.


title: Precise Null Pointer Analysis Through Global Value Numbering

abstract: Precise analysis of pointer information plays an important role in many static analysis techniques and tools today. The precision, however, must be balanced against the scalability of the analysis. This paper focusses on improving the precision of standard context and flow insensitive alias analysis algorithms at a low scalability cost. In particular, we present a semantics-preserving program transformation that drastically improves the precision of existing analyses when deciding if a pointer can alias NULL. Our program transformation is based on Global Value Numbering, a scheme inspired from compiler optimizations literature. It allows even a flow-insensitive analysis to make use of branch conditions such as checking if a pointer is NULL and gain precision. We perform experiments on real-world code to measure the overhead in performing the transformation and the improvement in the precision of the analysis. We show that the precision improves from 86.56% to 98.05%, while the overhead is insignificant.


title: Enumerating multiplex juggling patterns

abstract: Mathematics has been used in the exploration and enumeration of juggling patterns. In the case when we catch and throw one ball at a time the number of possible juggling patterns is well-known. When we are allowed to catch and throw any number of balls at a given time (known as multiplex juggling) the enumeration is more difficult and has only been established in a few special cases. We give a method of using cards related to "embeddings" of ordered partitions to enumerate the count of multiplex juggling sequences, determine these counts for small cases, and establish some combinatorial properties of the set of cards needed.


title: Network-based Anomaly Detection for Insider Trading

abstract: Insider trading is one of the numerous white collar crimes that can contribute to the instability of the economy. Traditionally, the detection of illegal insider trades has been a human-driven process. In this paper, we collect the insider tradings made available by the US Securities and Exchange Commissions (SEC) through the EDGAR system, with the aim of initiating an automated large-scale and data-driven approach to the problem of identifying illegal insider tradings. The goal of the study is the identification of interesting patterns, which can be indicators of potential anomalies. We use the collected data to construct networks that capture the relationship between trading behaviors of insiders. We explore different ways of building networks from insider trading data, and argue for a need of a structure that is capable of capturing higher order relationships among traders. Our results suggest the discovery of interesting patterns.


title: Resolving the debate about proposed expressions for the classical entropy

abstract: Despite well over a century of effort, the proper expression for the classical entropy in statistical mechanics remains a subject of debate. The Boltzmann entropy (calculated from a surface in phase space) has been criticized as not being an adiabatic invariant. It has been suggested that the Gibbs entropy (volume in phase space) is correct, which would forbid the concept of negative temperatures. An apparently innocuous assumption turns out to be responsible for much of the controversy, namely, that the energy $E$ and the number of particles $N$ are given exactly. The true distributions are known to be extremely narrow (of order $1/\sqrt{N}$), so that it is surprising that this is a problem. The canonical and grand canonical ensembles provide alternative expressions for the entropy that satisfy all requirements. The consequences are that negative temperatures are thermodynamically valid, the validity of the Gibbs entropy is limited to increasing densities of states, and the completely correct expression for the entropy is given by the grand canonical formulation. The Boltzmann entropy is shown to provide an excellent approximation in almost all cases.


title: Global-in-time Strichartz estimates for Schrodinger on scattering manifolds

abstract: We study the global-in-time Strichartz estimates for the Schr\"odinger equation on a class of scattering manifolds $X^{\circ}$. Let $\mathcal{L}_V=\Delta_g+V$ where $\Delta_g$ is the Beltrami-Laplace operator on the scattering manifold and $V$ is a real potential function on this setting. We first extend the global-in-time Strichartz estimate in Hassell-Zhang \cite{HZ} on the requirement of $V(z)=O(\langle z\rangle^{-3})$ to $O(\langle z\rangle^{-2})$ and secondly generalize the result to the scattering manifold with a mild trapped set as well as Bouclet-Mizutani\cite{BM} but with a potential. We also obtain a global-in-time local smoothing estimate on this geometry setting.


title: Sprites and State Channels: Payment Networks that Go Faster than Lightning

abstract: Bitcoin, Ethereum and other blockchain-based cryptocurrencies, as deployed today, cannot scale for wide-spread use. A leading approach for cryptocurrency scaling is a smart contract mechanism called a payment channel which enables two mutually distrustful parties to transact efficiently (and only requires a single transaction in the blockchain to set-up). Payment channels can be linked together to form a payment network, such that payments between any two parties can (usually) be routed through the network along a path that connects them. Crucially, both parties can transact without trusting hops along the route. In this paper, we propose a novel variant of payment channels, called Sprites, that reduces the worst-case "collateral cost" that each hop along the route may incur. The benefits of Sprites are two-fold. 1) In Lightning Network, a payment across a path of $\ell$ channels requires locking up collateral for $\Theta(\ell\Delta)$ time, where $\Delta$ is the time to commit an on-chain transaction. Sprites reduces this cost to $O(\ell + \Delta)$. 2) Unlike prior work, Sprites supports partial withdrawals and deposits, during which the channel can continue to operate without interruption. In evaluating Sprites we make several additional contributions. First, our simulation-based security model is the first formalism to model timing guarantees in payment channels. Our construction is also modular, making use of a generic abstraction from folklore, called the "state channel," which we are the first to formalize. We also provide a simulation framework for payment network protocols, which we use to confirm that the Sprites construction mitigates against throughput-reducing attacks.


title: Global-in-time Strichartz estimates and cubic Schrodinger equation on metric cone

abstract: We study the Strichartz estimates for Schr\"odinger equation on a metric cone $X$, where the metric cone $X=C(Y)=(0,\infty)_r\times Y$ and the cross section $Y$ is a $(n-1)$-dimensional closed Riemannian manifold $(Y,h)$. The equipped metric on $X$ is given by $g=dr^2+r^2h$, and let $\Delta_g$ be the Friedrich extension positive Laplacian on $X$ and $V=V_0 r^{-2}$ where $V_0\in\CC^\infty(Y)$ is a real function such that the operator $\Delta_h+V_0+(n-2)^2/4$ is a strictly positive operator on $L^2(Y)$. We establish the full range of the global-in-time Strichartz estimate without loss for the Sch\"odinger equation associated with the operator $\LL_V=\Delta_g+V_0 r^{-2}$ including the endpoint estimate both in homogeneous and inhomogeneous cases. As an application, we study the well-posed theory and scattering theory for the Sch\"odinger equation with cubic nonlinearity on this setting.


title: Boundary Quotient C*-algebras of Products of Odometers

abstract: In this paper, we study the boundary quotient C*-algebras associated to products of odometers. One of our main results shows that the boundary quotient C*-algebra of the standard product of $k$ odometers over $n_i$-letter alphabets ($1\le i\le k$) is always nuclear, and that it is a UCT Kirchberg algebra if and only if $\{\ln n_i: 1\le i\le k\}$ is rationally independent, if and only if the associated single-vertex $k$-graph C*-algebra is simple. To achieve this, one of our main steps is to construct a topological $k$-graph such that its associated Cuntz-Pimsner C*-algebra is isomorphic to the boundary quotient C*-algebra. Some relations between the boundary quotient C*-algebra and the C*-algebra $\Q_\bN$ introduced by Cuntz are also investigated. As an easy consequence of our main results, it settles a boundary quotient C*-algebra constructed by Brownlowe-Ramagge-Robertson-Whittaker.