title: The fundamental solution matrix and relative stable maps

abstract: Givental's Lagrangian cone $\mathcal{L}_X$ is a Lagrangian submanifold of a symplectic vector space which encodes the genus-zero Gromov-Witten invariants of $X$. Building on work of Braverman, Coates has obtained the Lagrangian cone as the push-forward of a certain class on the moduli space of stable maps to $X \times \mathbb{P}^1$. This provides a conceptual description for an otherwise mysterious change of variables called the dilaton shift. In this note we recast this construction in its natural context, namely the moduli space of stable maps to $X \times \mathbb{P}^1$ relative the divisor $X \times \infty$. We find that the resulting push-forward is another familiar object, namely the transform of the Lagrangian cone under the action of the fundamental solution matrix. This hints at a generalisation of Givental's quantisation formalism to the setting of relative invariants. Finally, we use a hidden polynomiality property implied by our construction to obtain a sequence of universal relations for the Gromov-Witten invariants, as well as new proofs of several foundational results concerning both the Lagrangian cone and the fundamental solution matrix.


title: Local BPS Invariants: Enumerative Aspects and Wall-Crossing

abstract: We study the BPS invariants for local del Pezzo surfaces, which can be obtained as the signed Euler characteristic of the moduli spaces of stable one-dimensional sheaves on the surface $S$. We calculate the Poincare polynomials of the moduli spaces for the curve classes $\beta$ having arithmetic genus at most 2. We formulate a conjecture that these Poincare polynomials are divisible by the Poincare polynomials of $((-K_S).\beta-1)$-dimensional projective space. This conjecture motivates upcoming work on log BPS numbers.


title: A freely generated ring for N=1 models in class S_k

abstract: We study 4d N=1 supersymmetric theories of class S_k, obtained from flux compactifications on a Riemann surface of 6d (1,0) conformal theories describing the low energy physics on a stack of M5 branes probing a Z_k singularity. We conjecture that the protected spectrum of class S_k theories contains a freely generated ring, generalizing the Coulomb branch of the N=2 theories. We derive this by examining a limit of the supersymmetric index of 4d N=1 class S_k theories. The limit generalizes the Coulomb limit of N=2 theories, which coincides with the case of k=1 for a particular choice of flux. We conjecture a general simple formula for the index in the aforementioned limit.


title: Stochastic EM for Shuffled Linear Regression

abstract: We consider the problem of inference in a linear regression model in which the relative ordering of the input features and output labels is not known. Such datasets naturally arise from experiments in which the samples are shuffled or permuted during the protocol. In this work, we propose a framework that treats the unknown permutation as a latent variable. We maximize the likelihood of observations using a stochastic expectation-maximization (EM) approach. We compare this to the dominant approach in the literature, which corresponds to hard EM in our framework. We show on synthetic data that the stochastic EM algorithm we develop has several advantages, including lower parameter error, less sensitivity to the choice of initialization, and significantly better performance on datasets that are only partially shuffled. We conclude by performing two experiments on real datasets that have been partially shuffled, in which we show that the stochastic EM algorithm can recover the weights with modest error.


title: Should China build the Great Collider?

abstract: We address the question of the title from the scientific, economic, and cultural points of view, and argue strongly for a positive answer. We respond to various issues that have been raised.


title: Soliton-Generating ${\tau}$-Functions Revisited

abstract: Within the framework of the Inverse-Scattering formalism and the Hirota algorithm, soliton solutions of evolution equations are images of {\tau}-functions. Typically, the latter are expressed in terms of exponentials, the arguments of which are linear in the coordinates. Consequently, often, {\tau}-functions are unbounded in space and time. However, they are not unique. Exploitation of their non-uniqueness uncovers physically interesting possibilities: 1) One can construct equivalent {\tau}-functions, which generate the same traditional (Inverse-Scattering/Hirota)) soliton solutions, yet allow for the extension of the family of soliton solutions to a wider, parametric family, in which the traditional solutions are a subset. The parameters are shifts in individual soliton trajectories. 2) When two wave numbers in a multi-soliton solution are made to coincide, the reduction of the solution to one with a lower number of solitons is qualitatively different for solutions that are within the traditional subset and those that are outside this subset. 3) One can construct {\tau}-functions that are bounded in space and time, in terms of which soliton solutions become images of localized sources.


title: Graph-Based Deep Modeling and Real Time Forecasting of Sparse Spatio-Temporal Data

abstract: We present a generic framework for spatio-temporal (ST) data modeling, analysis, and forecasting, with a special focus on data that is sparse in both space and time. Our multi-scaled framework is a seamless coupling of two major components: a self-exciting point process that models the macroscale statistical behaviors of the ST data and a graph structured recurrent neural network (GSRNN) to discover the microscale patterns of the ST data on the inferred graph. This novel deep neural network (DNN) incorporates the real time interactions of the graph nodes to enable more accurate real time forecasting. The effectiveness of our method is demonstrated on both crime and traffic forecasting.


title: The Unruh effect without thermality

abstract: We show that uniformly accelerated detectors can display genuinely thermal features even if the Kubo-Martin-Schwinger (KMS) condition fails to hold. These features include satisfying thermal detailed balance and having a Planckian response identical to cases in which the KMS condition is satisfied. In this context, we discuss that satisfying the KMS condition for accelerated trajectories is just sufficient but not necessary for the Unruh effect to be present in a given quantum field theory. Furthermore, we extract the necessary and sufficient conditions for the response function of an accelerated detector to be thermal in the infinitely adiabatic limit. This analysis provides new insights about the interplay between the KMS condition and the Unruh effect, and a solid framework in which the robustness of the Unruh effect against deformations of quantum field theories (perhaps Lorentz-violating) can be answered unambiguously.


title: Newton complementary duals of $f$-ideals

abstract: A square-free monomial ideal $I$ of $k[x_1,\ldots,x_n]$ is said to be an $f$-ideal if the facet complex and non-face complex associated with $I$ have the same $f$-vector. We show that $I$ is an $f$-ideal if and only if its Newton complementary dual $\widehat{I}$ is also an $f$-ideal. Because of this duality, previous results about some classes of $f$-ideals can be extended to a much larger class of $f$-ideals. An interesting by-product of our work is an alternative formulation of the Kruskal-Katona theorem for $f$-vectors of simplicial complexes.


title: Gapped ground state in the zigzag pseudospin-1/2 quantum antiferromagnetic chain compound PrTiNbO6

abstract: We report a single-crystal study on the magnetism of the rare-earth compound PrTiNbO$_6$ that experimentally realizes the zigzag pseudospin-$\frac{1}{2}$ quantum antiferromagnetic chain model. Random crystal electric field caused by the site mixing between non-magnetic Ti$^{4+}$ and Nb$^{5+}$, results in the non-Kramers ground state quasi-doublet of Pr$^{3+}$ with the effective pseudospin-$\frac{1}{2}$ Ising moment. Despite the antiferromagnetic intersite coupling of about 4 K, no magnetic freezing is detected down to 0.1 K, whilst the system approaches its ground state with almost zero residual spin entropy. At low temperatures, a sizable gap of about 1 K is observed in zero field. We ascribe this gap to off-diagonal anisotropy terms in the pseudospin Hamiltonian, and argue that rare-earth oxides open an interesting venue for studying magnetism of quantum spin chains.


title: Right core inverse and the related generalized inverses

abstract: In this paper, we introduce the notion of a (generalized) right core inverse and give its characterizations and expressions. Then, we provide the relation schema of (one-sided) core inverses, (one-sided) pseudo core inverses and EP elements.


title: Neutrino Signals of Core-Collapse Supernovae in Underground Detectors

abstract: For a suite of fourteen core-collapse models during the dynamical first second after bounce, we calculate the detailed neutrino "light" curves expected in the underground neutrino observatories Super-Kamiokande, DUNE, JUNO, and IceCube. These results are given as a function of neutrino-oscillation modality (normal or inverted hierarchy) and progenitor mass (specifically, post-bounce accretion history), and illuminate the differences between the light curves for 1D (spherical) models that don't explode with the corresponding 2D (axisymmetric) models that do. We are able to identify clear signatures of explosion (or non-explosion), the post-bounce accretion phase, and the accretion of the silicon/oxygen interface. In addition, we are able to estimate the supernova detection ranges for various physical diagnostics and the distances out to which various temporal features embedded in the light curves might be discerned. We find that the progenitor mass density profile and supernova dynamics during the dynamical explosion stage should be identifiable for a supernova throughout most of the galaxy in all the facilities studied and that detection by any one of them, but in particular more than one in concert, will speak volumes about the internal dynamics of supernovae.


title: On the third moment of $L(\tfrac{1}{2}, \chi_d)$ II: the number field case

abstract: We establish a smoothed asymptotic formula for the third moment of quadratic {D}irichlet $L$-functions at the central value. In addition to the main term, which is known, we prove the existence of a secondary term of size $x^{\frac{3}{4}}$. The error term in the asymptotic formula is on the order of $O(x^{\frac{2}{3}+\delta})$ for every $\delta > 0.$


title: On the ideals and essential algebras of shifted functors of linear representations

abstract: We present a study on the Yoneda-Dress construction of biset functors of linear representations over a field of characteristic zero. We give a characterization of their lattices of ideals and we provide a criterion of vanishing for their essential algebras. We provide a parametrization for a family of simple modules over the functor of rational representations. Finally, we give an equivalence between the category of modules over the shifted functor of complex class functions and the category of modules over a semisimple algebra.


title: The generators of $3$-class group of some fields of degree $6$ over $\mathbb{Q}$

abstract: Let $\mathrm{k}=\mathbb{Q}\left(\sqrt[3]{p},\zeta_3\right)$, where $p$ is a prime number such that $p \equiv 1 \pmod 9$, and let $C_{\mathrm{k},3}$ be the $3$-component of the class group of $\mathrm{k}$. In \cite{GERTH3}, Frank Gerth III proves a conjecture made by Calegari and Emerton \cite{Cal-Emer} which gives necessary and sufficient conditions for $C_{\mathrm{k},3}$ to be of $\operatorname{rank}\,$ two. The purpose of the present work is to determine generators of $C_{\mathrm{k},3}$, whenever it is isomorphic to $\mathbb{Z}/9\mathbb{Z} \times \mathbb{Z}/3\mathbb{Z}$.


title: Correlation lengths in quasi-one-dimensional systems via transfer matrices

abstract: Using transfer matrices up to next-nearest-neighbour (NNN) interactions, we examine the structural correlations of quasi-one-dimensional systems of hard disks confined by two parallel lines and hard spheres confined in cylinders. Simulations have shown that the non-monotonic and non-smooth growth of the correlation length in these systems accompanies structural crossovers (Fu et al., Soft Matter, 2017, 13, 3296). Here, we identify the theoretical basis for these behaviour. In particular, we associate kinks in the growth of correlation lengths with eigenvalue crossing and splitting. Understanding the origin of such structural crossovers answers questions raised by earlier studies, and thus bridges the gap between theory and simulations for these reference models.


title: Branes and 2d N=(2,2) gauge theories with orthogonal and symplectic groups

abstract: We construct two-dimensional N=(2,2) supersymmetric gauge theories with orthogonal and symplectic groups using branes and orientifold planes in Type IIA string theory. A number of puzzles regarding the construction, including the effect of exchanging NS5-branes on an orientifold 2-plane, are resolved by lifting the configurations to M theory. The low energy properties and conjectured dualities of these theories are reproduced in the M-brane description. A similar construction of N=(4,4) theories with orthogonal and symplectic groups leads to new duality conjectures for these theories.


title: Sparse Matrix-Matrix Multiplication on Multilevel Memory Architectures : Algorithms and Experiments

abstract: Architectures with multiple classes of memory media are becoming a common part of mainstream supercomputer deployments. So called multi-level memories offer differing characteristics for each memory component including variation in bandwidth, latency and capacity. This paper investigates the performance of sparse matrix multiplication kernels on two leading high-performance computing architectures -- Intel's Knights Landing processor and NVIDIA's Pascal GPU. We describe a data placement method and a chunking-based algorithm for our kernels that exploits the existence of the multiple memory spaces in each hardware platform. We evaluate the performance of these methods w.r.t. standard algorithms using the auto-caching mechanisms. Our results show that standard algorithms that exploit cache reuse performed as well as multi-memory-aware algorithms for architectures such as KNLs where the memory subsystems have similar latencies. However, for architectures such as GPUs where memory subsystems differ significantly in both bandwidth and latency, multi-memory-aware methods are crucial for good performance. In addition, our new approaches permit the user to run problems that require larger capacities than the fastest memory of each compute node without depending on the software-managed cache mechanisms.


title: Absence of zero-point entropy in a triangular Ising antiferromagnet

abstract: Frustrated Ising magnets host exotic excitations, such as magnetic monopoles in spin ice. The ground state (GS) in this case is characterized by an extensive degeneracy and associated residual entropy going back to the pioneering work by G. Wannier who established large residual entropy of nearly 50%Rln2 per mole spins in a triangular Ising antiferromagnet (TIAF) already in 1950. Here, we endeavor to verify this result experimentally using TmMgGaO4, a novel rare-earth-based frustrated antiferromagnet with Ising spins arranged on a perfect triangular lattice. Contrary to theoretical expectations, we find almost no residual entropy and ascribe this result to the presence of a weak second-neighbor coupling J2zz ~ 0.09J1zz that lifts the GS degeneracy and gives rise to several ordered states, the stripe order, 1/3-plateau, and 1/2-plateau. TmMgGaO4 gives experimental access to these novel phases of Ising spins on the triangular lattice.


title: Finite-Density Monte Carlo Calculations on Sign-Optimized Manifolds

abstract: We present a general technique for addressing sign problems that arise in Monte Carlo simulations of field theories. This method deforms the domain of the path integral to a manifold in complex field space that maximizes the average sign (therefore reducing the sign problem) within a parameterized family of manifolds. We presents results for the $1+1$ dimensional Thirring model with Wilson fermions on lattice sizes up to $40\times 10$. This method reaches higher $\mu$ then previous techniques while substantially decreasing the computational time required.


title: Closed-form solution of polynomial equations

abstract: Integral Cauchy theorem is used to derive closed-form expressions of the roots of a univariate polynomial of any degree as integrals of elementary functions.


title: The direct imaging search for Earth 2.0: Quantifying biases and planetary false positives

abstract: Direct imaging is likely the best way to characterize the atmospheres of Earth-sized exoplanets in the habitable zone of Sun-like stars. Previously, Stark et al. (2014, 2015, 2016) estimated the Earth twin yield of future direct imaging missions, such as LUVOIR and HabEx. We extend this analysis to other types of planets, which will act as false positives for Earth twins. We define an Earth twin as any exoplanet within half an e-folding of 1 AU in semi-major axis and 1 $R_{\oplus}$ in planetary radius, orbiting a G-dwarf. Using Monte Carlo analyses, we quantify the biases and planetary false positive rates of Earth searches. That is, given a pale dot at the correct projected separation and brightness to be a candidate Earth, what are the odds that it is, in fact, an Earth twin? Our notional telescope has a diameter of 10 m, an inner working angle of 3{\lambda}/D, and an outer working angle of 10{\lambda}/D (62 mas and 206 mas at 1.0 {\mu}m). With no precursor knowledge and one visit per star, 77% of detected candidate Earths are actually un-Earths; their mean radius is 2.3 $R_{\oplus}$, a sub-Neptune. The odds improve if we image every planet at its optimal orbital phase, either by relying on precursor knowledge, or by performing multi-epoch direct imaging. In such a targeted search, 47% of detected Earth twin candidates are false positives, and they have a mean radius of 1.7 $R_{\oplus}$. The false positive rate is insensitive to stellar spectral type and the assumption of circular orbits.


title: A Uniform Field-of-Definition/Field-of-Moduli Bound for Dynamical Systems on $\mathbf{P}^N$

abstract: Let $f:\mathbb{P}^N\to\mathbb{P}^N$ be an endomorphism of degree $d\ge2$ defined over $\overline{\mathbb{Q}}$ or $\overline{\mathbb{Q}}_p$, and let $K$ be the field of moduli of $f$. We prove that there is a field of definition $L$ for $f$ whose degree $[L:K]$ is bounded solely in terms of $N$ and $d$.


title: Persistent Memory Transactions

abstract: This paper presents a comprehensive analysis of performance trade offs between implementation choices for transaction runtime systems on persistent memory. We compare three implementations of transaction runtimes: undo logging, redo logging, and copy-on-write. We also present a memory allocator that plugs into these runtimes. Our microbenchmark based evaluation focuses on understanding the interplay between various factors that contribute to performance differences between the three runtimes -- read/write access patterns of workloads, size of the persistence domain (portion of the memory hierarchy where the data is effectively persistent), cache locality, and transaction runtime bookkeeping overheads. No single runtime emerges as a clear winner. We confirm our analysis in more realistic settings of three "real world" applications we developed with our transactional API: (i) a key-value store we implemented from scratch, (ii) a SQLite port, and (iii) a persistified version of memcached, a popular key-value store. These findings are not only consistent with our microbenchmark analysis, but also provide additional interesting insights into other factors (e.g. effects of multithreading and synchronization) that affect application performance.


title: ROLP: Runtime Object Lifetime Profiling for Big Data Memory Management

abstract: Low latency services such as credit-card fraud detection and website targeted advertisement rely on Big Data platforms (e.g., Lucene, Graphchi, Cassandra) which run on top of memory managed runtimes, such as the JVM. These platforms, however, suffer from unpredictable and unacceptably high pause times due to inadequate memory management decisions (e.g., allocating objects with very different lifetimes next to each other, resulting in memory fragmentation). This leads to long and frequent application pause times, breaking Service Level Agreements (SLAs). This problem has been previously identified and results show that current memory management techniques are ill-suited for applications that hold in memory massive amounts of middle to long-lived objects (which is the case for a wide spectrum of Big Data applications). Previous works try to reduce such application pauses by allocating objects off-heap or in special allocation regions/generations, thus alleviating the pressure on memory management. However, all these solutions require a combination of programmer effort and knowledge, source code access, or off-line profiling, with clear negative impact on programmer productivity and/or application performance. This paper presents ROLP, a runtime object lifetime profiling system. ROLP profiles application code at runtime in order to identify which allocation contexts create objects with middle to long lifetimes, given that such objects need to be handled differently (regarding short-lived ones). This profiling information greatly improves memory management decisions, leading to long tail latencies reduction of up to 51% for Lucene, 85% for GraphChi, and 60% for Cassandra, with negligible throughput and memory overhead. ROLP is implemented for the OpenJDK 8 HotSpot JVM and it does not require any programmer effort or source code access.


title: A Complete Model for Modular Simulation of Data Centre Power Load

abstract: Data centres are very fast growing structures with significant contribution to the world's energy consumption. Reducing the energy consumption of data centres is easier when the components that comprise a data centre and their respective energy consumption are known. A complete model for a modular design of a data centre and a technique for simulating each module's energy consumption are presented. Detailed power consumption modelling for each component as well as their interactions are the merits of this model. Unlike existing research, the present modular simulation model can take different design structures of data centres into account and provide us with hourly power consumption profiles for each component. The impacts of environmental parameters such as temperature and humidity are also investigated and incorporated into the model. The flexibility, scalability, comprehensiveness and modularity of this model provides researchers and designers with a powerful tool for energy analysis, management and planning of data centres with different designs and locations.


title: A study of coordination logic description and execution for dynamic device coordination services

abstract: Recently, IoT technologies have been progressed, and many devices are connected to networks. Previously, IoT services were developed by vertical integration style. But now Open IoT concept has attracted attentions which achieves various IoT services by integrating horizontal separated devices and services. For Open IoT era, we have proposed the Tacit Computing technology to discover the devices with necessary data for users on demand and use them dynamically. Although Tacit Computing can discover and use the device based on the situation, a study of coordination logic description is insufficient when multiple devices are coordinated. In this paper, we study coordination logic description and execution to coordinate multiple devices dynamically. We compare methods with ideas to convert abstract description to specific interface access means at execution time, study merits and demerits and propose an appropriate method.


title: Reactive NaN Repair for Applying Approximate Memory to Numerical Applications

abstract: Applications in the AI and HPC fields require much memory capacity, and the amount of energy consumed by main memory of server machines is ever increasing. Energy consumption of main memory can be greatly reduced by applying approximate computing in exchange for increased bit error rates. AI and HPC applications are to some extent robust to bit errors because small numerical errors are amortized by their iterative nature. However, a single occurrence of a NaN due to bit-flips corrupts the whole calculation result. The issue is that fixing every bit-flip using ECC incurs too much overhead because the bit error rate is much higher than in normal environments. We propose a low-overhead method to fix NaNs when approximate computing is applied to main memory. The main idea is to reactively repair NaNs while leaving other non-fatal numerical errors as-is to reduce the overhead. We implemented a prototype by leveraging floating-point exceptions of x86 CPUs, and the preliminary evaluations showed that our method incurs negligible overhead.


title: Synergy: A HW/SW Framework for High Throughput CNNs on Embedded Heterogeneous SoC

abstract: Convolutional Neural Networks (CNN) have been widely deployed in diverse application domains. There has been significant progress in accelerating both their training and inference using high-performance GPUs, FPGAs, and custom ASICs for datacenter-scale environments. The recent proliferation of mobile and IoT devices have necessitated real-time, energy-efficient deep neural network inference on embedded-class, resource-constrained platforms. In this context, we present {\em Synergy}, an automated, hardware-software co-designed, pipelined, high-throughput CNN inference framework on embedded heterogeneous system-on-chip (SoC) architectures (Xilinx Zynq). {\em Synergy} leverages, through multi-threading, all the available on-chip resources, which includes the dual-core ARM processor along with the FPGA and the NEON SIMD engines as accelerators. Moreover, {\em Synergy} provides a unified abstraction of the heterogeneous accelerators (FPGA and NEON) and can adapt to different network configurations at runtime without changing the underlying hardware accelerator architecture by balancing workload across accelerators through work-stealing. {\em Synergy} achieves 7.3X speedup, averaged across seven CNN models, over a well-optimized software-only solution. {\em Synergy} demonstrates substantially better throughput and energy-efficiency compared to the contemporary CNN implementations on the same SoC architecture.


title: Phase Control in a Spin-Triplet SQUID

abstract: It is now well established that a Josephson junction made from conventional spin-singlet superconductors containing ferromagnetic layers can carry spin-triplet supercurrent under certain conditions. The first experimental signature of that fact is the propagation of such supercurrent over long distances through strong ferromagnetic materials. Surprisingly, one of the most salient predictions of the theory has yet to be verified experimentally -- namely that a Josephson junction containing three magnetic layers with coplanar magnetizations should exhibit a ground-state phase shift of either zero or pi depending on the relative orientations of those magnetizations. Here we demonstrate this property using Josephson junctions containing three different types of magnetic layers, chosen so that the magnetization of one layer can be switched by 180 degrees without disturbing the other two. Phase-sensitive detection is accomplished using a superconducting quantum interference device, or SQUID. Such a phase-controllable junction could be used as the memory element in a fully-superconducting computer.


title: EZ gauge is singular at the event horizon

abstract: We prove that the EZ gauge of black-hole perturbation theory, introduced by the late Steve Detweiler in his exploration of the physical consequences of the gravitational self-force, is necessarily singular at the event horizon.


title: Generative Adversarial Learning for Spectrum Sensing

abstract: A novel approach of training data augmentation and domain adaptation is presented to support machine learning applications for cognitive radio. Machine learning provides effective tools to automate cognitive radio functionalities by reliably extracting and learning intrinsic spectrum dynamics. However, there are two important challenges to overcome, in order to fully utilize the machine learning benefits with cognitive radios. First, machine learning requires significant amount of truthed data to capture complex channel and emitter characteristics, and train the underlying algorithm (e.g., a classifier). Second, the training data that has been identified for one spectrum environment cannot be used for another one (e.g., after channel and emitter conditions change). To address these challenges, a generative adversarial network (GAN) with deep learning structures is used to 1)~generate additional synthetic training data to improve classifier accuracy, and 2) adapt training data to spectrum dynamics. This approach is applied to spectrum sensing by assuming only limited training data without knowledge of spectrum statistics. Machine learning classifiers are trained with limited, augmented and adapted training data to detect signals. Results show that training data augmentation increases the classifier accuracy significantly and this increase is sustained with domain adaptation as spectrum conditions change.


title: 5G and Beyond: Smart Devices as part of the Network Fabric

abstract: 5G networks mainly rely on infrastructure-centric cellular solutions to address data traffic and service demands. Continuously scaling infrastructure-centric cellular networks is not exempt of challenges, and beyond 5G networks should consider the active coexistence and coordination of infrastructure-centric and device-centric wireless networks. Device-centric wireless networks will build from D2D and MCNs. Device-centric wireless networks can push the limits of edge computing and networking to smart devices (including smartphones, vehicles, machines and robots), and exploit their mobile computing, storage and connectivity capabilities. These capabilities can be more efficiently utilized using demand-driven opportunistic networking that establishes the connections between devices and nodes based on their capacity to support the requested demand and services. This paper presents results from experimental field tests that demonstrate the cellular spectral efficiency gains that can be achieved from the combined use of device-centric wireless communications and demand-driven opportunistic networking. The field trials demonstrate that these technologies can improve the cellular spectral efficiency of conventional cellular communications by up to a factor of 4.7 and 12 in outdoor pedestrian and vehicular scenarios, respectively. These gains have been obtained using 4G and IEEE 802.11 technologies. However, the potential of device-centric wireless networks is not constrained to any particular radio interface. The results presented in this paper provide empirical evidences that further motivate progressing towards a new paradigm where edge networking capabilities are moved to smart mobile devices that become part of the network fabric, and can opportunistically and locally integrate network management functions to ensure that sufficient resources are placed where the demand arises.


title: Approximation of mild solutions of a semilinear fractional elliptic equation with random noise

abstract: We study for the first time the Cauchy problem for semilinear fractional elliptic equation. This paper is concerned with the Gaussian white noise model for the initial Cauchy data. We establish the ill-posedness of the problem. Then, under some assumption on the exact solution, we propose the Fourier truncation method for stabilizing the ill-posed problem. Some convergence rates between the exact solution and the regularized solution is established in $L^2$ and $H^q$ norms.


title: FORC+ Analysis of Perpendicular Magnetic Tunnel Junctions

abstract: We have studied magnetic tunnel junction (MTJ) thin-film stacks using the First Order Reversal Curve (FORC) method. These have very sharp structures in the FORC distribution, unlike most particulate systems or patterned films. These structures are hard to study using conventional FORC analysis programs that require smoothing, because this washes out the structure. We have used a new analysis program (FORC+) that is designed to distinguish fine-scale structure from noise without the use of smoothing, to identify these structures and gain information about the switching mechanism of the stack.


title: Controllable photonic time-bin qubits from a quantum dot

abstract: Photonic time bin qubits are well suited to transmission via optical fibres and waveguide circuits. The states take the form $\frac{1}{\sqrt{2}}(\alpha \ket{0} + e^{i\phi}\beta \ket{1})$, with $\ket{0}$ and $\ket{1}$ referring to the early and late time bin respectively. By controlling the phase of a laser driving a spin-flip Raman transition in a single-hole-charged InAs quantum dot we demonstrate complete control over the phase, $\phi$. We show that this photon generation process can be performed deterministically, with only a moderate loss in coherence. Finally, we encode different qubits in different energies of the Raman scattered light, demonstrating wavelength division multiplexing at the single photon level.


title: Predicting Electric Vehicle Charging Station Usage: Using Machine Learning to Estimate Individual Station Statistics from Physical Configurations of Charging Station Networks

abstract: Electric vehicles (EVs) have been gaining popularity due to their environmental friendliness and efficiency. EV charging station networks are scalable solutions for supporting increasing numbers of EVs within modern electric grid constraints, yet few tools exist to aid the physical configuration design of new networks. We use neural networks to predict individual charging station usage statistics from the station's physical location within a network. We have shown this quickly gives accurate estimates of average usage statistics given a proposed configuration, without the need for running many computationally expensive simulations. The trained neural network can help EV charging network designers rapidly test various placements of charging stations under additional individual constraints in order to find an optimal configuration given their design objectives.


title: On the number of characters in blocks of quasi-simple groups

abstract: We prove, for primes $p\ge5$, two inequalities between the fundamental invariants of Brauer $p$-blocks of finite quasi-simple groups: the number of characters in the block, the number of modular characters, the number of height zero characters, and the number of conjugacy classes of a defect group and of its derived subgroup. For this, we determine these invariants explicitly, or at least give bounds for them for several classes of classical groups.


title: Aristotle, projectiles and guns

abstract: When guns were developed in Europe in the 14th century, the theory of projectile motion was not the one we are familiar with today due to Galileo and Newton but the one taught by Aristotle approximately 1700 years earlier. In addition to Aristotle's wide-ranging philosophical concerns, his theory arose from the observation in everyday life that if an object is moving something must be moving it. This idea works very well for the horse and cart but is puzzling if you apply it to a thrown stone or spear. Problems with Aristotle's theory of projectile motion were identified by one or two people between his time and the 14th century, particularly John Philoponus (6th century AD) and John Buridan (14th century AD). An archer or a spearman does not need a theory of projectile motion, just a great deal of practice. But once the gun was invented it became important to know what angle a barrel should be oriented at and how much propellant to use, particularly as gunpowder was expensive. However, for many years afterwards the manufacturing techniques used meant that cannonballs were a loose fit to gun-barrels making cannons both inaccurate and of poor reproducibility shot-to-shot. Also air resistance makes the trajectory both impossible to calculate and qualitatively similar to theories based on Aristotle's writings. It was not until Galileo and Newton worked on the problem that a better theory of ideal projectile motion was arrived at.


title: Pullback diagrams, syzygy finite classes and Igusa-Todorov algebras

abstract: For an abelian category $\mathcal{A}$, we define the category PEx($\mathcal{A}$) of pullback diagrams of short exact sequences in $\mathcal{A}$, as a subcategory of the functor category Fun($\Delta, \mathcal{A}$) for a fixed diagram category $\Delta$. For any object $M$ in ${\rm PEx}(\mathcal{A}),$ we prove the existence of a short exact sequence $0 {\to} K {\to} P {\to} M {\to} 0$ of functors, where the objects are in PEx($\mathcal{A}$) and $P(i) \in {\rm Proj(\mathcal{A})}$ for any $i \in \Delta$. As an application, we prove that if $(\mathcal{C}, \mathcal{D}, \mathcal{E})$ is a triple of syzygy finite classes of objects in $\mathrm{mod}\,\Lambda$ satisfying some special conditions, then $\Lambda$ is an Igusa-Todorov algebra. Finally, we study lower triangular matrix Artin algebras and determine in terms of their components, under reasonable hypothesis, when these algebras are syzygy finite or Igusa-Todorov.


title: Spin torques and magnetic texture dynamics driven by the supercurrent in superconductor/ferromagnet structures

abstract: We introduce the general formalism to describe spin torques induced by the supercurrents injected from the adjacent superconducting electrodes into the spin-textured ferromagnets. By considering the adiabatic limit for the equal-spin superconducting correlations in the ferromagnet we show that the supercurrent can generate both the field-like spin transfer torque and the spin-orbital torque. These dissipationless spin torques are expressed through the current-induced corrections to the effective field derived from the system energy. The general formalism is applied to show that the supercurrent can either shift or move the magnetic domain walls depending on their structure and the type of spin-orbital interaction in the system. These results can be used for the prediction and interpretation of the experiments studying magnetic texture dynamics in superconductor/ferromagnet/superconductor Josephson junctions and other hybrid structures.


title: ACM line bundles on polarized K3 surfaces

abstract: An ACM bundle on a polarized algebraic variety is defined as a vector bundle whose intermediate cohomology vanishes. We are interested in ACM bundles of rank one with respect to a very ample line bundle on a K3 surface. In this paper, we give a necessary and sufficient condition for a non-trivial line bundle $\mathcal{O}_X(D)$ on $X$ with $|D|=\emptyset$ and $D^2\geq L^2-6$ to be an ACM and initialized line bundle with respect to $L$, for a given K3 surface $X$ and a very ample line bundle $L$ on $X$.


title: Simple and Effective Semi-Supervised Question Answering

abstract: Recent success of deep learning models for the task of extractive Question Answering (QA) is hinged on the availability of large annotated corpora. However, large domain specific annotated corpora are limited and expensive to construct. In this work, we envision a system where the end user specifies a set of base documents and only a few labelled examples. Our system exploits the document structure to create cloze-style questions from these base documents; pre-trains a powerful neural network on the cloze style questions; and further fine-tunes the model on the labeled examples. We evaluate our proposed system across three diverse datasets from different domains, and find it to be highly effective with very little labeled data. We attain more than 50% F1 score on SQuAD and TriviaQA with less than a thousand labelled examples. We are also releasing a set of 3.2M cloze-style questions for practitioners to use while building QA systems.


title: On generalized constant ratio surfaces with higher codimension

abstract: In this paper, we study generalized constant ratio surfaces in the Euclidean 4-space. We also obtain a classifications of constant slope surfaces.


title: Hierarchical Novelty Detection for Visual Object Recognition

abstract: Deep neural networks have achieved impressive success in large-scale visual object recognition tasks with a predefined set of classes. However, recognizing objects of novel classes unseen during training still remains challenging. The problem of detecting such novel classes has been addressed in the literature, but most prior works have focused on providing simple binary or regressive decisions, e.g., the output would be "known," "novel," or corresponding confidence intervals. In this paper, we study more informative novelty detection schemes based on a hierarchical classification framework. For an object of a novel class, we aim for finding its closest super class in the hierarchical taxonomy of known classes. To this end, we propose two different approaches termed top-down and flatten methods, and their combination as well. The essential ingredients of our methods are confidence-calibrated classifiers, data relabeling, and the leave-one-out strategy for modeling novel classes under the hierarchical taxonomy. Furthermore, our method can generate a hierarchical embedding that leads to improved generalized zero-shot learning performance in combination with other commonly-used semantic embeddings.


title: Nodeless superconductivity in type-II Dirac semimetal PdTe2: low-temperature London penetration depth and symmetry analysis

abstract: Superconducting gap structure was probed in type-II Dirac semimetal PdTe$_2$ by measuring the London penetration depth using tunnel diode resonator technique. At low temperatures, the data for two samples are well described by weak coupling exponential fit yielding $\lambda(T=0)=230$~nm as the only fit parameter at a fixed $\Delta(0)/T_c\approx 1.76$, and the calculated superfluid density is consistent with a fully gapped superconducting state characterized by a single gap scale. Electrical resistivity measurements for in-plane and inter-plane current directions find very low and nearly temperature-independent normal- state anisotropy. The temperature dependence of resistivity is typical for conventional phonon scattering in metals. We compare these experimental results with expectations from a detailed theoretical symmetry analysis and reduce the number of possible superconducting pairing states in PdTe$_2$ to only three nodeless candidates: a regular, topologically trivial, $s$-wave pairing, and two distinct odd-parity triplet states that both can be topologically non-trivial depending on the microscopic interactions driving the superconducting instability.


title: A regularized weighted least gradient problem for conductivity imaging

abstract: We propose and study a regularization method for recovering an approximate electrical conductivity solely from the magnitude of one interior current density field. Without some minimal knowledge of the boundary voltage potential, the problem has been recently shown to have nonunique solutions, thus recovering the exact conductivity is impossible. The method is based on solving a weighted least gradient problem in the subspace of functions of bounded variations with square integrable traces. The computational effectiveness of this method is demonstrated in numerical experiments.


title: Third order WENO scheme on sparse grids for hyperbolic equations

abstract: The weighted essentially non-oscillatory (WENO) schemes are a popular class of high order accurate numerical methods for solving hyperbolic partial differential equations (PDEs). The computational cost of such schemes increases significantly when the spatial dimensions of the PDEs are high, due to large number of spatial grid points and nonlinearity of high order accuracy WENO schemes. How to achieve fast computations by WENO methods for high spatial dimension PDEs is a challenging and important question. Recently, sparse-grid has become a major approximation tool for high dimensional problems. The open question is how to design WENO computations on sparse grids such that comparable high order accuracy of WENO schemes in smooth regions and essentially non-oscillatory stability in non-smooth regions of the solutions can still be achieved as that for computations on regular single grids? In this paper, we combine the third order finite difference WENO method with sparse-grid combination technique and solve high spatial dimension hyperbolic equations on sparse grids. WENO interpolation is proposed for the prolongation part in sparse grid combination techniques to deal with discontinuous solutions of hyperbolic equations. Numerical examples are presented to show that significant computational times are saved while both high order accuracy and stability of the WENO scheme are maintained for simulations on sparse grids.


title: Simplified Thermodynamics for Quantum Impurity Models

abstract: Quantum impurity models play an important role in many areas of physics from condensed matter to AMO and quantum information. They are important models for many physical systems but also provide key insights to understanding much more complicated scenarios. In this paper we introduce a simplified method to describe the thermodynamic properties of integrable quantum impurity models. We show this method explicitly using the anisotropic Kondo and the interacting resonant level models. We derive a simplified expression for the free energy of both models in terms of a single physically transparent integral equation which is valid at all temperatures and values of the coupling constants.


title: Momentum-Space Renormalization Group Transformation in Bayesian Image Modeling by Gaussian Graphical Model

abstract: A new Bayesian modeling method is proposed by combining the maximization of the marginal likelihood with a momentum-space renormalization group transformation for Gaussian graphical models. Moreover, we present a scheme for computint the statistical averages of hyperparameters and mean square errors in our proposed method based on a momentumspace renormalization transformation.


title: Some results on the reduced power graph of a group

abstract: The reduced power graph $\mathcal{RP}(G)$ of a group $G$ is the graph with vertex set $G$ and two vertices $u$ and $v$ are adjacent if and only if $\left\langle v\right\rangle \subset \left\langle u \right\rangle $ or $\left\langle u\right\rangle \subset \left\langle v \right\rangle $. The proper reduced power graph $\mathcal{RP}^*(G)$ of $G$ is the subgraph of $\mathcal{RP}(G)$ induced on $G\setminus \{e\}$. In this paper, we classify the finite groups whose reduced power graph (resp. proper reduced power graph) is one of complete $k$-partite, acyclic, triangle free or claw-free (resp. complete $k$-partite, acyclic, triangle free, claw-free, star or tree). In addition, we obtain the clique number and the chromatic number of $\mathcal{RP}(G)$ and $\mathcal{RP}^*(G)$ for any torsion group $G$. Also, for a finite group $G$, we determine the girth of $\mathcal{RP}^*(G)$. Further, we discuss the cut vertices, cut edges and perfectness of these graphs. Then we investigate the connectivity, the independence number and the Hamiltonicity of the reduced power graph (resp. proper reduced power graph) of some class of groups. Finally, we determine the number of components and the diameter of $\mathcal{RP}^*(G)$ for any finite group $G$.


title: Robust Scale-Free Synthesis for Frequency Control in Power Systems

abstract: The AC frequency in electrical power systems is conventionally regulated by synchronous machines. The gradual replacement of these machines by asynchronous renewable-based generation, which provides little or no frequency control, increases system uncertainty and the risk of instability. This imposes hard limits on the proportion of renewables that can be integrated into the system. In this paper we address this issue by developing a framework for performing frequency control in power systems with arbitrary mixes of conventional and renewable generation. Our approach is based on a robust stability criterion that can be used to guarantee the stability of a full power system model on the basis of a set of decentralised tests, one for each component in the system. It can be applied even when using detailed heterogeneous component models, and can be verified using several standard frequency response, state-space, and circuit theoretic analysis tools. Furthermore the stability guarantees hold independently of the operating point, and remain valid even as components are added to and removed from the grid. By designing decentralised controllers for individual components to meet these decentralised tests, every component can contribute to the regulation of the system frequency in a simple and provable manner. Notably, our framework certifies the stability of several existing (non-passive) power system control schemes and models, and allows for the study of robustness with respect to delays.


title: The impact of clogging on the transfer dynamics of hydraulic networks

abstract: We investigate how clogging affects the transfer properties of a generic class of materials featuring a hydraulic network embedded in a matrix. We consider the flow of a liquid through fully saturated hydraulic networks which transfer heat (or mass) by advection and diffusion, and a matrix in which only diffusion operates. Networks are subjected to different clogging scenarios (or attacks), changing their microstructure and flow field. A series of canonical cooling tests are simulated using a tracer method prior to and following attack. Results quantify the threat posed by different types and degrees of attack to a system's transfer properties. An analytical framework is introduced to predict this vulnerability to attacks, rationalised in terms of their effect on the physical mechanisms underlying the transfer dynamics.


title: An interpretation of system F through bar recursion

abstract: There are two possible computational interpretations of second-order arithmetic: Girard's system F or Spector's bar recursion and its variants. While the logic is the same, the programs obtained from these two interpretations have a fundamentally different computational behavior and their relationship is not well understood. We make a step towards a comparison by defining the first translation of system F into a simply-typed total language with a variant of bar recursion. This translation relies on a realizability interpretation of second-order arithmetic. Due to G\"odel's incompleteness theorem there is no proof of termination of system F within second-order arithmetic. However, for each individual term of system F there is a proof in second-order arithmetic that it terminates, with its realizability interpretation providing a bound on the number of reduction steps to reach a normal form. Using this bound, we compute the normal form through primitive recursion. Moreover, since the normalization proof of system F proceeds by induction on typing derivations, the translation is compositional. The flexibility of our method opens the possibility of getting a more direct translation that will provide an alternative approach to the study of polymorphism, namely through bar recursion.


title: Speaker-Invariant Training via Adversarial Learning

abstract: We propose a novel adversarial multi-task learning scheme, aiming at actively curtailing the inter-talker feature variability while maximizing its senone discriminability so as to enhance the performance of a deep neural network (DNN) based ASR system. We call the scheme speaker-invariant training (SIT). In SIT, a DNN acoustic model and a speaker classifier network are jointly optimized to minimize the senone (tied triphone state) classification loss, and simultaneously mini-maximize the speaker classification loss. A speaker-invariant and senone-discriminative deep feature is learned through this adversarial multi-task learning. With SIT, a canonical DNN acoustic model with significantly reduced variance in its output probabilities is learned with no explicit speaker-independent (SI) transformations or speaker-specific representations used in training or testing. Evaluated on the CHiME-3 dataset, the SIT achieves 4.99% relative word error rate (WER) improvement over the conventional SI acoustic model. With additional unsupervised speaker adaptation, the speaker-adapted (SA) SIT model achieves 4.86% relative WER gain over the SA SI acoustic model.


title: Photo-induced tunable Anomalous Hall and Nernst effects in tilted Weyl Semimetals using Floquet theory

abstract: In this paper, we discuss the effect of a periodically driving circularly polarized laser beam in the high frequency limit, on the band structure and thermal transport properties of type-I and type-II Weyl semimetals (WSMs). We develop the notion of an effective Fermi surface stemming from the time-averaged Floquet Hamiltonian and discuss its effects on the steady-state occupation numbers of electrons and holes in the linearized model. In order to compute the transport coefficients averaged over a period of the incident laser source, we employ the Kubo formalism for Floquet states and show that the Kubo formula for the conductivity tensor retains its well known form with the difference that the eigenstates and energies are replaced by the Floquet states and their quasi-energies. We find that for type-I WSMs the anomalous thermal Hall conductivity grows quadratically with the amplitude $A_{0}$ of the U(1) gauge field for low tilt, while the Nernst conductivity remains unaffected. For type-II WSMs, the Hall conductivity decreases non-linearly with $A_{0}$ due to the contribution from the physical momentum cutoff, required to keep finite electron and hole pocket sizes, and the Nernst conductivity falls of logarithmically with $A_{0}^2$. These results may serve as a diagnostic for material characterization and transport parameter tunability in WSMs, which are currently the subject of a wide range of experiments.


title: Ab initio calculations of hyperfine structures of zinc and evaluation of the nuclear quadrupole moment $Q(^{67}{\rm Zn})$

abstract: The relativistic multiconfiguration Dirac-Hartree-Fock (MCDHF) and the non-relativistic multiconfiguration Hartree-Fock (MCHF) methods have been employed to calculate the magnetic dipole and electric quadrupole hyperfine structure constants of zinc. The calculated electric field gradients for the $ 4s 4p \,\, ^3 \! P^o_{1} $ and $ 4s 4p \,\, ^3 \! P^o_{2} $ states, together with experimental values of the electric quadrupole hyperfine structure constants, made it possible to extract a nuclear electric quadrupole moment $ Q(^{67}{\rm Zn}) = 0.122(10) $ b. The error bar has been evaluated in a quasi-statistical approach - the calculations had been carried out with eleven different methods, and then the error bar has been estimated from the differences between the results obtained with those methods.


title: A Fast Divide-and-Conquer Sparse Cox Regression

abstract: We propose a computationally and statistically efficient divide-and-conquer (DAC) algorithm to fit sparse Cox regression to massive datasets where the sample size $n_0$ is exceedingly large and the covariate dimension $p$ is not small but $n_0\gg p$. The proposed algorithm achieves computational efficiency through a one-step linear approximation followed by a least square approximation to the partial likelihood (PL). These sequences of linearization enable us to maximize the PL with only a small subset and perform penalized estimation via a fast approximation to the PL. The algorithm is applicable for the analysis of both time-independent and time-dependent survival data. Simulations suggest that the proposed DAC algorithm substantially outperforms the full sample-based estimators and the existing DAC algorithm with respect to the computational speed, while it achieves similar statistical efficiency as the full sample-based estimators. The proposed algorithm was applied to an extraordinarily large time-independent survival dataset and an extraordinarily large time-dependent survival dataset for the prediction of heart failure-specific readmission within 30 days among Medicare heart failure patients.


title: Deep Spatiotemporal Models for Robust Proprioceptive Terrain Classification

abstract: Terrain classification is a critical component of any autonomous mobile robot system operating in unknown real-world environments. Over the years, several proprioceptive terrain classification techniques have been introduced to increase robustness or act as a fallback for traditional vision based approaches. However, they lack widespread adaptation due to various factors that include inadequate accuracy, robustness and slow run-times. In this paper, we use vehicle-terrain interaction sounds as a proprioceptive modality and propose a deep Long-Short Term Memory (LSTM) based recurrent model that captures both the spatial and temporal dynamics of such a problem, thereby overcoming these past limitations. Our model consists of a new Convolution Neural Network (CNN) architecture that learns deep spatial features, complemented with LSTM units that learn complex temporal dynamics. Experiments on two extensive datasets collected with different microphones on various indoor and outdoor terrains demonstrate state-of-the-art performance compared to existing techniques. We additionally evaluate the performance in adverse acoustic conditions with high ambient noise and propose a noise-aware training scheme that enables learning of more generalizable models that are essential for robust real-world deployments.


title: Explicit equations of the Cartwright-Steger surface

abstract: We construct explicit equations of Cartwright-Steger and related surfaces.


title: On the stable Cannon Conjecture

abstract: The Cannon Conjecture for a torsionfree hyperbolic group G with boundary homeomorphic to S^2 says that G is the fundamental group of an aspherical closed 3-manifold M. It is known that then M is a hyperbolic 3-manifold. We prove the stable version that for any closed manifold N of dimension greater or equal to 2 there exists a closed manifold M together with a simple homotopy equivalence from M to the cartesian product of N and BG. If N is aspherical and pi_1(N) satisfies the Farrell-Jones Conjecture, then M is unique up to homeomorphism.


title: Virtualized Application Function Chaining: Maximizing the Wearable System Lifetime

abstract: The number of smart devices wear and carry by users is growing rapidly which is driven by innovative new smart wearables and interesting service o erings. This has led to applications that utilize multiple devices around the body to provide immersive environments such as mixed reality. These applications rely on a number of di erent types of functions such as sensing, communication and various types of processing, that require considerable resources. Thus one of the major challenges in supporting of these applications is dependent on the battery lifetime of the devices that provide the necessary functionality. The battery lifetime can be extended by either incorporating a battery with larger capacity and/or by utilizing the available resources e ciently. However, the increases in battery capacity are not keeping up with the demand and larger batteries add to both the weight and size of the device. Thus, the focus of this paper is to improve the battery e ciency through intelligent resources utilization. We show that, when the same resource is available on multiple devices that form part of the wearable system, and or is in close proximity, it is possible consider them as a resource pool and further utilize them intelligently to improve the system lifetime. Speci cally, we formulate the function allocation algorithm as a Mixed Integer Linear Programming (MILP) optimization problem and propose an e cient heuristic solution. The experimental data driven simulation results show that approximately 40-50% system battery life improvement can be achieved with proper function allocation and orchestration.


title: A Trichotomy for Rectangles Inscribed in Jordan Loops

abstract: Let g be an arbitrary Jordan loop and let G denote the space of rectangles R which are inscribed in g in such a way that the cyclic order of the vertices of R is the same whether it is induced by R or by g. We prove that G contains a connected set S satisfying one of three properties: 1. S consists of rectangles of uniformly large area, including a square, and every point of g is the vertex of a rectangle in S. 2. S consists of rectangles having all possible aspect ratios, and all but at most 4 points of g are vertices of rectangles in S. 3. S contains rectangles of every sufficiently small diameter, and all but at most 2 points of g are vertices of rectangles in S.


title: Fast Winds Drive Slow Shells: A Model for the Circumgalactic Medium as Galactic Wind-Driven Bubbles

abstract: Successful models of the low redshift circumgalactic medium (CGM) must account for (1) a large amount of gas, (2) relatively slow gas velocities, (3) a high degree of metal enrichment, (4) the similar absorption properties around both star-forming and passive galaxies, and (5) the observationally inferred temperature and densities of the CGM gas. We show that galactic wind-driven bubbles can account for these observed properties. We develop a model describing the motion of bubbles driven by a hot, fast galactic wind characteristic of supernova energy injection. The bubble size grows slowly to hundreds of kiloparsecs over $5-10$ Gyr. For high star formation rates or high wind mass loading $\dot M_w/\dot M_\star$, the free-flowing hot wind, the shocked hot wind in the interior of the bubble, and the swept-up halo gas within the bubble shell can all radiatively cool and contribute to low-ionization state metal line absorption. We verify that if the free-flowing wind cools, the shocked wind does as well. We find effective mass loading factors of $(M_w+M_\mathrm{swept})/M_\star\sim5-12$ as the bubbles sweep into the CGM. We predict cool gas masses, velocities, column densities, metal content, and absorption line velocities and linewidths of the bubble for a range of parameter choices. This picture can reproduce many of the COS-Halos and Keeney et al. (2017) observations of low-ionization state metal absorption lines around both star-forming and passive galaxies.


title: Minimizing Content Staleness in Dynamo-Style Replicated Storage Systems

abstract: Consistency in data storage systems requires any read operation to return the most recent written version of the content. In replicated storage systems, consistency comes at the price of delay due to large-scale write and read operations. Many applications with low latency requirements tolerate data staleness in order to provide high availability and low operation latency. Using age of information as the staleness metric, we examine a data updating system in which real-time content updates are replicated and stored in a Dynamo-style quorum- based distributed system. A source sends updates to all the nodes in the system and waits for acknowledgements from the earliest subset of nodes, known as a write quorum. An interested client fetches the update from another set of nodes, defined as a read quorum. We analyze the staleness-delay tradeoff in replicated storage by varying the write quorum size. With a larger write quorum, an instantaneous read is more likely to get the latest update written by the source. However, the age of the content written to the system is more likely to become stale as the write quorum size increases. For shifted exponential distributed write delay, we derive the age optimized write quorum size that balances the likelihood of reading the latest update and the freshness of the latest update written by the source.


title: The need for a far-infrared cold space telescope to understand the chemistry of planet formation

abstract: At a time when ALMA produces spectacular high resolution images of gas and dust in circumstellar disks, the next observational frontier in our understanding of planet formation and the chemistry of planet-forming material may be found in the mid- to far-infrared wavelength range. A large, actively cooled far-infrared telescope in space will offer enormous spectroscopic sensitivity improvements of 3-4 orders of magnitude, making it possible to uniquely survey certain fundamental properties of planet formation. Specifically, the Origins Space Telescope (OST), a NASA flagship concept to be submitted to the 2020 decadal survey, will provide a platform that allows complete surveys of warm and cold water around young stars of all masses and across all evolutionary stages, and to measure their total planet-forming gas mass using the ground-state line of HD. While this white paper is formulated in the context of the NASA Origins Space Telescope concept, it can be applied in general to inform any future space-based, cold far-infrared observatory.


title: Doubling, T-Duality and Generalized Geometry: a Simple Model

abstract: A simple mechanical system, the three-dimensional isotropic rigid rotator, is here investigated as a 0+1 field theory, aiming at further investigating the relation between Generalized/Double Geometry on the one hand and Doubled World-Sheet Formalism/Double Field Theory, on the other hand. The model is defined over the group manifold of SU(2) and a dual model is introduced having the Poisson-Lie dual of SU(2) as configuration space. A generalized action with configuration space SL(2,C), i.e. the Drinfel'd double of the group SU(2), is then defined: it reduces to the original action of the rotator or to its dual, once constraints are implemented. The new action contains twice as many variables as the original. Moreover, its geometric structures can be understood in terms of Generalized Geometry. keywords: Generalized Geometry, Double Field Theory, T-Duality, Poisson-Lie symmetry.


title: Analysis of Mesh Effects on Turbulent Flow Statistics

abstract: Turbulence models, such as the Smagorinsky model herein, are used to represent the energy lost from resolved to under-resolved scales due to the energy cascade (i.e. non-linearity). Analytic estimates of the energy dissipation rates of a few turbulence models have recently appeared, but none (yet) study energy dissipation restricted to resolved scales, i.e. after spacial discretization with $h >$ micro scale. We do so herein for the Smagorinsky model. Upper bounds are derived on the \textit{computed} time-averaged energy dissipation rate, $\langle \varepsilon (u^h)\rangle$, for an under-resolved mesh $h$ for turbulent shear flow. For coarse mesh size $ \mathcal{O}(\mathcal{Re}^{-1}) < h < L $, it is proven, $$ \langle \varepsilon (u^h)\rangle\leq \big[ (\frac{C_s\, \delta}{h})^2+ \frac{L^5}{(C_s \delta)^4\,h}+\frac{L^{\frac{5}{2}}}{(C_s\, \delta)^{4}}\, {h^{\frac{3}{2}}}\big]\, \frac{U^3}{L}, $$ where $U$ and $L$ are global velocity and length scale and $C_s$ and $\delta$ are model parameters. This upper bound is independent of the viscosity at high Reynolds number, is in accord with the scaling theory of turbulent. This estimate suggests over-dissipation for any of $C_s>0$ and $\delta>0$, consistent with numerical evidence on the effects of model viscosity (without wall damping function). Moreover, the analysis indicates that the turbulent boundary layer is a more important length scale for shear flow than the Kolmogorov microscale.


title: The simple essence of automatic differentiation

abstract: Automatic differentiation (AD) in reverse mode (RAD) is a central component of deep learning and other uses of large-scale optimization. Commonly used RAD algorithms such as backpropagation, however, are complex and stateful, hindering deep understanding, improvement, and parallel execution. This paper develops a simple, generalized AD algorithm calculated from a simple, natural specification. The general algorithm is then specialized by varying the representation of derivatives. In particular, applying well-known constructions to a naive representation yields two RAD algorithms that are far simpler than previously known. In contrast to commonly used RAD implementations, the algorithms defined here involve no graphs, tapes, variables, partial derivatives, or mutation. They are inherently parallel-friendly, correct by construction, and usable directly from an existing programming language with no need for new data types or programming style, thanks to use of an AD-agnostic compiler plugin.


title: Analysis of thresholding for codimension two motion by mean curvature: a gradient-flow approach

abstract: The Merriman-Bence-Osher (MBO) scheme, also known as thresholding or diffusion generated motion, is an efficient numerical algorithm for computing mean curvature flow (MCF). It is fairly well understood in the case of hypersurfaces. This paper establishes the first convergence proof of the scheme in codimension two. We concentrate on the case of the curvature motion of a filament (curve) in $\mathbb{R}^3$. Our proof is based on a new generalization of the minimizing movements interpretation for hypersurfaces (Esedoglu-Otto '15) by means of an energy that approximates the Dirichlet energy of the state function. As long as a smooth MCF exists, we establish uniform energy estimates for the approximations away from the smooth solution and prove convergence towards this MCF. The current result which holds in codimension two relies in a very crucial manner on a new sharp monotonicity formula for the thresholding energy. This is an improvement of an earlier approximate version.


title: On the joint spectral radius for isometries of non-positively curved spaces and uniform growth

abstract: We recast the notion of joint spectral radius in the setting of groups acting by isometries on non-positively curved spaces and give geometric versions of results of Berger-Wang and Bochi valid for $\delta$-hyperbolic spaces and for symmetric spaces of non-compact type. This method produces nice hyperbolic elements in many classical geometric settings. Applications to uniform growth are given, in particular a new proof and a generalization of a theorem of Besson-Courtois-Gallot.


title: A no-go theorem for observer-independent facts

abstract: In his famous thought experiment, Wigner assigns an entangled state to the composite quantum system made up of Wigner's friend and her observed system. While the two of them have different accounts of the process, each Wigner and his friend can in principle verify his/her respective state assignments by performing an appropriate measurement. As manifested through a click in a detector or a specific position of the pointer, the outcomes of these measurements can be regarded as reflecting directly observable "facts". Reviewing arXiv:1507.05255, I will derive a no-go theorem for observer-independent facts, which would be common both for Wigner and the friend. I will then analyze this result in the context of a newly derived theorem in arXiv:1604.07422, where Frauchiger and Renner prove that "single-world interpretations of quantum theory cannot be self-consistent". It is argued that "self-consistency" has the same implications as the assumption that observational statements of different observers can be compared in a single (and hence an observer-independent) theoretical framework. The latter, however, may not be possible, if the statements are to be understood as relational in the sense that their determinacy is relative to an observer.


title: DeepSigns: A Generic Watermarking Framework for IP Protection of Deep Learning Models

abstract: Deep Learning (DL) models have caused a paradigm shift in our ability to comprehend raw data in various important fields, ranging from intelligence warfare and healthcare to autonomous transportation and automated manufacturing. A practical concern, in the rush to adopt DL models as a service, is protecting the models against Intellectual Property (IP) infringement. The DL models are commonly built by allocating significant computational resources that process vast amounts of proprietary training data. The resulting models are therefore considered to be the IP of the model builder and need to be protected to preserve the owner's competitive advantage. This paper proposes DeepSigns, a novel end-to-end IP protection framework that enables insertion of coherent digital watermarks in contemporary DL models. DeepSigns, for the first time, introduces a generic watermarking methodology that can be used for protecting DL owner's IP rights in both white-box and black-box settings, where the adversary may or may not have the knowledge of the model internals. The suggested methodology is based on embedding the owner's signature (watermark) in the probability density function (pdf) of the data abstraction obtained in different layers of a DL model. DeepSigns can demonstrably withstand various removal and transformation attacks, including model compression, model fine-tuning, and watermark overwriting. Proof-of-concept evaluations on MNIST, and CIFAR10 datasets, as well as a wide variety of neural network architectures including Wide Residual Networks, Convolution Neural Networks, and Multi-Layer Perceptrons corroborate DeepSigns' effectiveness and applicability.


title: On Local Lipschitz Regularity For Quasilinear equations in the Heisenberg Group

abstract: The goal of this article is to establish local Lipschitz continuity of weak solutions for a class of degenerated elliptic equations of divergence form, in the Heisenberg Group. The considered hypothesis for the growth and ellipticity condition is a natural generalization of the p-Laplace equation and more general quasilinear elliptic equations with polynomial or exponential type growth.


title: Investigation of the cosmic ray population and magnetic field strength in the halo of NGC 891

abstract: Low-frequency radio continuum observations of edge-on galaxies are ideal to study cosmic-ray electrons (CREs) in halos via radio synchrotron emission and to measure magnetic field strengths. We obtained new observations of the edge-on spiral galaxy NGC 891 at 129-163 MHz with the LOw Frequency ARray (LOFAR) and at 13-18 GHz with the Arcminute Microkelvin Imager (AMI) and combine them with recent high-resolution Very Large Array (VLA) observations at 1-2 GHz, enabling us to study the radio continuum emission over two orders of magnitude in frequency. The spectrum of the integrated nonthermal flux density can be fitted by a power law with a spectral steepening towards higher frequencies or by a curved polynomial. Spectral flattening at low frequencies due to free-free absorption is detected in star-forming regions of the disk. The mean magnetic field strength in the halo is 7 +- 2 $\mu$G. The scale heights of the nonthermal halo emission at 146 MHz are larger than those at 1.5 GHz everywhere, with a mean ratio of 1.7 +- 0.3, indicating that spectral ageing of CREs is important and that diffusive propagation dominates. The halo scale heights at 146 MHz decrease with increasing magnetic field strengths which is a signature of dominating synchrotron losses of CREs. On the other hand, the spectral index between 146 MHz and 1.5 GHz linearly steepens from the disk to the halo, indicating that advection rather than diffusion is the dominating CRE transport process. This issue calls for refined modelling of CRE propagation.


title: Using Unit Testing to Detect Sanitization Flaws

abstract: Input sanitization mechanisms are widely used to mitigate vulnerabilities to injection attacks such as cross-site scripting. Static analysis tools and techniques commonly used to ensure that applications utilize sanitization functions. Dynamic analysis must be to evaluate the correctness of sanitization functions. The proposed approach is based on unit testing to bring the advantages of both static and dynamic techniques to the development time. Our approach introduces a technique to automatically extract the sanitization functions and then evaluate their effectiveness against attacks using automatically generated attack vectors. The empirical results show that the proposed technique can detect security flaws cannot find by the static analysis tools.


title: Automatic Web Security Unit Testing: XSS Vulnerability Detection

abstract: Integrating security testing into the workflow of software developers not only can save resources for separate security testing but also reduce the cost of fixing security vulnerabilities by detecting them early in the development cycle. We present an automatic testing approach to detect a common type of Cross Site Scripting (XSS) vulnerability caused by improper encoding of untrusted data. We automatically extract encoding functions used in a web application to sanitize untrusted inputs and then evaluate their effectiveness by automatically generating XSS attack strings. Our evaluations show that this technique can detect 0-day XSS vulnerabilities that cannot be found by static analysis tools. We will also show that our approach can efficiently cover a common type of XSS vulnerability. This approach can be generalized to test for input validation against other types injections such as command line injection.


title: Detecting Cross-Site Scripting Vulnerabilities through Automated Unit Testing

abstract: The best practice to prevent Cross Site Scripting (XSS) attacks is to apply encoders to sanitize untrusted data. To balance security and functionality, encoders should be applied to match the web page context, such as HTML body, JavaScript, and style sheets. A common programming error is the use of a wrong encoder to sanitize untrusted data, leaving the application vulnerable. We present a security unit testing approach to detect XSS vulnerabilities caused by improper encoding of untrusted data. Unit tests for the XSS vulnerability are automatically constructed out of each web page and then evaluated by a unit test execution framework. A grammar-based attack generator is used to automatically generate test inputs. We evaluate our approach on a large open source medical records application, demonstrating that we can detect many 0-day XSS vulnerabilities with very low false positives, and that the grammar-based attack generator has better test coverage than industry best practices.


title: Subwavelength localized modes for acoustic waves in bubbly crystals with a defect

abstract: The ability to control wave propagation is of fundamental interest in many areas of physics. Photonic and phononic crystals have proved very useful for this purpose but, because they are based on Bragg interference, these artificial media require structures with large dimensions. In [Ammari et al., Subwavelength phononic bandgap opening in bubbly media, J. Diff. Eq., 263 (2017), 5610--5629], it has been proved that a subwavelength bandgap opening occurs in bubbly phononic crystals. To demonstrate the opening of a subwavelength phononic bandgap, a periodic arrangement of bubbles is considered and their subwavelength Minnaert resonance is exploited. In this paper, this subwavelength bandgap is used to demonstrate cavities, very similar to those obtained in photonic and phononic crystals, albeit of deeply subwavelength dimensions. The key idea is to perturb the size of a single bubble inside the crystal, thus creating a defect. The goal is then to analytically and numerically show that this crystal has a localized eigenmode close to the defect bubble.


title: Hybrid Optimal Theory and Predictive Control for Power Management in Hybrid Electric Vehicle

abstract: This paper presents a nonlinear-model based hybrid optimal control technique to compute a suboptimal power-split strategy for power/energy management in a parallel hybrid electric vehicle (PHEV). The power-split strategy is obtained as model predictive control solution to the power management control problem (PMCP) of the PHEV, i.e., to decide upon the power distribution among the internal combustion engine, an electric drive, and other subsystems. A hierarchical control structure of the hybrid vehicle, i.e., supervisory level and local or subsystem level is assumed in this study. The PMCP consists of a dynamical nonlinear model, and a performance index, both of which are formulated for power flows at the supervisory level. The model is described as a bi-modal switched system, consistent with the operating mode of the electric ED. The performance index prescribing the desired behavior penalizes vehicle tracking errors, fuel consumption, and frictional losses, as well as sustaining the battery state of charge (SOC). The power-split strategy is obtained by first creating the embedded optimal control problem (EOCP) from the original bi-modal switched system model with the performance index. Direct collocation is applied to transform the problem into a nonlinear programming problem. A nonlinear predictive control technique (NMPC) in conjunction with a sequential quadratic programming solver is used to compute suboptimal numerical solutions to the PMCP. Methods for approximating the numerical solution to the EOCP with trajectories of the original bi-modal PHEV are also presented in this paper. The usefulness of the approach is illustrated via simulation results on several case studies.


title: Optical measurements of three-dimensional microscopic temperature distributions around gold nanorods excited by surface plasmonics

abstract: The measurement and control of the temperature in microscopic systems, which are increasingly required in diverse applications, are fundamentally important. Yet, the measurement of the three-dimensional (3D) temperature distribution in microscopic systems has not been demonstrated. Here, we propose and experimentally demonstrate the measurement of the 3D temperature distribution by exploiting the temperature dependency of the refractive index (RI). Measurement of the RI distribution of water makes it possible to quantitatively obtain its 3D temperature distribution above a glass substrate coated with gold nanorods with sub-micrometer resolution, in a temperature range of 100C and with a sensitivity of 2.88C. The 3D temperature distributions that are obtained enable various thermodynamic properties including the maximum temperature, heat flux, and thermal conductivity to be extracted and analyzed quantitatively.


title: A Gaia study of the Hyades open cluster

abstract: We present a study of the membership of the Hyades open cluster, derive kinematically-modelled parallaxes of its members, and study the colour-absolute magnitude diagram of the cluster. We use Gaia DR1 Tycho-Gaia Astrometric Solution (TGAS) data complemented by Hipparcos-2 data for bright stars not contained in TGAS. We supplement the astrometric data with radial velocities collected from a dozen literature sources. By assuming that all cluster members move with the mean cluster velocity to within the velocity dispersion, we use the observed and the expected motions of the stars to determine individual cluster membership probabilities. We subsequently derive improved parallaxes through maximum-likelihood kinematic modelling of the cluster. This method has an iterative component to deal with 'outliers', caused for instance by double stars or escaping members. Our method extends an existing method and supports the mixed presence of stars with and without radial velocities. We find 251 candidate members, 200 of which have a literature radial velocity, and 70 of which are new candidate members with TGAS astrometry. The cluster is roughly spherical in its centre but significantly flattened at larger radii. The observed colour-absolute magnitude diagram shows a clear binary sequence. The kinematically-modelled parallaxes that we derive are a factor ~1.7 / 2.9 more precise than the TGAS / Hipparcos-2 values and allow to derive an extremely sharp main sequence. This sequence shows evidence for fine-detailed structure which is elegantly explained by the full spectrum turbulence model of convection.


title: Process Control with Highly Left Censored Data

abstract: The need to monitor industrial processes, detecting changes in process parameters in order to promptly correct problems that may arise, generates a particular area of interest. This is particularly critical and complex when the measured value falls below the sensitivity limits of the measuring system or below detection limits, causing much of their observations are incomplete. Such observations to be called incomplete observations or left censored data. With a high level of censorship, for example greater than 70%, the application of traditional methods for monitoring processes is not appropriate. It is required to use appropriate data analysis statistical techniques, to assess the actual state of the process at any time. This paper proposes a way to estimate process parameters in such cases and presents the corresponding control chart, from an algorithm that is also presented.


title: BBCPOP: A Sparse Doubly Nonnegative Relaxation of Polynomial Optimization Problems with Binary, Box and Complementarity Constraints

abstract: The software package BBCPOP is a MATLAB implementation of a hierarchy of sparse doubly nonnegative (DNN) relaxations of a class of polynomial optimization (minimization) problems (POPs) with binary, box and complementarity (BBC) constraints. Given a POP in the class and a relaxation order, BBCPOP constructs a simple conic optimization problem (COP), which serves as a DNN relaxation of the POP, and then solves the COP by applying the bisection and projection (BP) method. The COP is expressed with a linear objective function and constraints described as a single hyperplane and two cones, which are the Cartesian product of positive semidefinite cones and a polyhedral cone induced from the BBC constraints. BBCPOP aims to compute a tight lower bound for the optimal value of a large-scale POP in the class that is beyond the comfort zone of existing software packages. The robustness, reliability and efficiency of BBCPOP are demonstrated in comparison to the state-of-the-art software SDP package SDPNAL+ on randomly generated sparse POPs of degree 2 and 3 with up to a few thousands variables, and ones of degree 4, 5, 6. and 8 with up to a few hundred variables. Comparison with other BBC POPs that arise from combinatorial optimization problems such as quadratic assignment problems are also reported. The software package BBCPOP is available at https://sites.google.com/site/bbcpop1/.


title: Stress-Based Navigation for Microscopic Robots in Viscous Fluids

abstract: Objects moving in fluids experience patterns of stress on their surfaces determined by their motion and the geometry of nearby boundaries. Fish and underwater robots can use these patterns for navigation. This paper extends this stress-based navigation to microscopic robots in tiny vessels, where robots can exploit the physics of fluids at low Reynolds number. This applies, for instance, in vessels with sizes and flow speeds comparable to those of capillaries in biological tissues. We describe how a robot can use simple computations to estimate its motion, orientation and distance to nearby vessel walls from fluid-induced stresses on its surface. Numerically evaluating these estimates for a variety of vessel sizes and robot positions shows they are most accurate when robots are close to vessel walls.


title: Constraining the climate and ocean pH of the early Earth with a geological carbon cycle model

abstract: The early Earth's environment is controversial. Climatic estimates range from hot to glacial, and inferred marine pH spans strongly alkaline to acidic. Better understanding of early climate and ocean chemistry would improve our knowledge of the origin of life and its coevolution with the environment. Here, we use a geological carbon cycle model with ocean chemistry to calculate self-consistent histories of climate and ocean pH. Our carbon cycle model includes an empirically justified temperature and pH dependence of seafloor weathering, allowing the relative importance of continental and seafloor weathering to be evaluated. We find that the Archean climate was likely temperate (0-50 {\deg}C) due to the combined negative feedbacks of continental and seafloor weathering. Ocean pH evolves monotonically from 6.6 (+0.6,-0.4) (2{\sigma}) at 4.0 Ga to 7.0 (+0.7,-0.5) (2{\sigma}) at the Archean-Proterozoic boundary, and to 7.9 (+0.1,-0.2) (2{\sigma}) at the Proterozoic-Phanerozoic boundary. This evolution is driven by the secular decline of pCO2, which in turn is a consequence of increasing solar luminosity, but is moderated by carbonate alkalinity delivered from continental and seafloor weathering. Archean seafloor weathering may have been a comparable carbon sink to continental weathering, but is less dominant than previously assumed, and would not have induced global glaciation. We show how these conclusions are robust to a wide range of scenarios for continental growth, internal heat flow evolution and outgassing history, greenhouse gas abundances, and changes in the biotic enhancement of weathering.


title: Constant Proportion Debt Obligations, Zeno's Paradox, and the Spectacular Financial Crisis of 2008

abstract: We study a coin-tossing model used by a ratings agency to justify the sale of constant proportion debt obligations (CPDOs), and prove that it was impossible for CPDOs to achieve in a finite lifetime the Cash-In event of doubling its capital. In the best-case scenario of a two-headed coin, we show that the goal of attaining the Cash-In event in a finite lifetime is precisely the goal, described more than two thousand years ago in Zeno's Paradox of the Dichotomy, of obtaining the sum of an infinite geometric series with only a finite number of terms. In the worst-case scenario of a two-tailed coin, we prove that the Cash-Out event occurs in exactly ten tosses. If the coin is fair, we show that if a CPDO were allowed to toss the coin without regard for the Cash-Out rule then the CPDO eventually has a high probability of attaining large net capital levels; however, hundreds of thousands of tosses may be needed to do so. Moreover, if after many tosses the CPDO shows a loss then the probability is high that it will Cash-Out on the very next toss. If a CPDO experiences a tail on the first toss or on an early toss, we show that, with high probability, the CPDO will have capital losses thereafter for hundreds of tosses; moreover, its sequence of net capital levels is a martingale. When the Cash-Out rule holds, we modify the Cash-In rule to mean that the CPDO attains a profit of 90 percent on its capital; then we prove that the CPDO game, almost surely, will end in finitely many tosses and the probability of Cash-Out is at least 89 percent. In light of our results, our fears about the durability of worldwide financial crises are heightened by the existence of other financial derivatives more arcane than CPDOs. In particular, we view askance all later-generation CPDOs that depend mean-reversion assumptions or use a betting strategy similar to their first-generation counterparts.


title: Starshapedeness for fully-nonlinear equations in Carnot groups

abstract: In this paper we establish the starshapedness of the level sets of the capacitary potential of a large class of fully-nonlinear equations for condensers in Carnot groups, once a natural notion of starshapedness has been introduced. Our main result is Theorem 1.2 below.


title: Calibration of Sobol indices estimates in case of noisy output

abstract: This paper presents a simple noise correction method for Sobol' indices estimation. Sobol' indices, especially total Sobol' indices are quite sensitive to the noise in the output and tend to be severly biased (overestimated) if no noise correction is done, which may make their computation meaningless in case of even quite moderate noise levels. Proposed method allows to get approximately unbiased noise free estimation of Sobol' indices at the cost of variance of estimate increase if noise can be represented as a combination of additive and multiplicative stationary noise. %Also we show that it is impossible to do precise noise correction for more complex noise settings. Proposed method is more straightforward than schemes found in the literature and does not introduce any assumptions on the function and noise distribution (except that it assumes noise to be stationary and be a combination of additive and multiplicative). One of the appealing features is that there is actual analytical noise correction expression derived.


title: $3$-rank of ambiguous class groups of cubic Kummer extensions

abstract: Let $k=k_0(\sqrt[3]{d})$ be a cubic Kummer extension of $k_0=\mathbb{Q}(\zeta_3)$ with $d>1$ a cube-free integer and $\zeta_3$ a primitive third root of unity. Denote by $C_{k,3}^{(\sigma)}$ the $3$-group of ambiguous classes of the extension $k/k_0$ with relative group $G=\operatorname{Gal}(k/k_0)=\langle\sigma\rangle$. The aims of this paper are to characterize all extensions $k/k_0$ with cyclic $3$-group of ambiguous classes $C_{k,3}^{(\sigma)}$ of order $3$, to investigate the multiplicity $m(f)$ of the conductors $f$ of these abelian extensions $k/k_0$, and to classify the fields $k$ according to the cohomology of their unit groups $E_{k}$ as Galois modules over $G$. The techniques employed for reaching these goals are relative $3$-genus fields, Hilbert norm residue symbols, quadratic $3$-ring class groups modulo $f$, the Herbrand quotient of $E_{k}$, and central orthogonal idempotents. All theoretical achievements are underpinned by extensive computational results.


title: A Bi-population Particle Swarm Optimizer for Learning Automata based Slow Intelligent System

abstract: Particle Swarm Optimization (PSO) is an Evolutionary Algorithm (EA) that utilizes a swarm of particles to solve an optimization problem. Slow Intelligence System (SIS) is a learning framework which slowly learns the solution to a problem performing a series of operations. Moreover, Learning Automata (LA) are minuscule but effective decision making entities which are best suited to act as a controller component. In this paper, we combine two isolate populations of PSO to forge the Adaptive Intelligence Optimizer (AIO) which harnesses the advantages of a bi-population PSO to escape from the local minimum and avoid premature convergence. Furthermore, using the rich framework of SIS and the nifty control theory that LA derived from, we find the perfect matching between SIS and LA where acting slowly is the pillar of both of them. Both SIS and LA need time to converge to the optimal decision where this enables AIO to outperform standard PSO having an incomparable performance on evolutionary optimization benchmark functions.


title: Complex Analysis of Real Functions VI: On the Convergence of Fourier Series

abstract: We define a compact version of the Hilbert transform, which we then use to write explicit expressions for the partial sums and remainders of arbitrary Fourier series. The expression for the partial sums reproduces the known result in terms of Dirichlet integrals. The expression for the remainder is written in terms of a similar type of integral. Since the asymptotic limit of the remainder being zero is a necessary and sufficient condition for the convergence of the series, this same condition on the asymptotic behavior of the corresponding integrals constitutes such a necessary and sufficient condition.


title: VerdictDB: Universalizing Approximate Query Processing

abstract: Despite 25 years of research in academia, approximate query processing (AQP) has had little industrial adoption. One of the major causes of this slow adoption is the reluctance of traditional vendors to make radical changes to their legacy codebases, and the preoccupation of newer vendors (e.g., SQL-on-Hadoop products) with implementing standard features. Additionally, the few AQP engines that are available are each tied to a specific platform and require users to completely abandon their existing databases---an unrealistic expectation given the infancy of the AQP technology. Therefore, we argue that a universal solution is needed: a database-agnostic approximation engine that will widen the reach of this emerging technology across various platforms. Our proposal, called VerdictDB, uses a middleware architecture that requires no changes to the backend database, and thus, can work with all off-the-shelf engines. Operating at the driver-level, VerdictDB intercepts analytical queries issued to the database and rewrites them into another query that, if executed by any standard relational engine, will yield sufficient information for computing an approximate answer. VerdictDB uses the returned result set to compute an approximate answer and error estimates, which are then passed on to the user or application. However, lack of access to the query execution layer introduces significant challenges in terms of generality, correctness, and efficiency. This paper shows how VerdictDB overcomes these challenges and delivers up to 171$\times$ speedup (18.45$\times$ on average) for a variety of existing engines, such as Impala, Spark SQL, and Amazon Redshift, while incurring less than 2.6% relative error. VerdictDB is open-sourced under Apache License.


title: Functional equations of Nekrasov functions proposed by Ito-Maruyoshi-Okuda

abstract: We prove functional equations of Nekrasov partition functions for $A_{1}$-singularity, suggested by Ito-Maruyoshi-Okuda. Our proof uses the method by Nakajima-Yoshioka based on the theory of wall-crossing formula developed by Mochizuki.