title: Learning Key-Value Store Design

abstract: We introduce the concept of design continuums for the data layout of key-value stores. A design continuum unifies major distinct data structure designs under the same model. The critical insight and potential long-term impact is that such unifying models 1) render what we consider up to now as fundamentally different data structures to be seen as views of the very same overall design space, and 2) allow seeing new data structure designs with performance properties that are not feasible by existing designs. The core intuition behind the construction of design continuums is that all data structures arise from the very same set of fundamental design principles, i.e., a small set of data layout design concepts out of which we can synthesize any design that exists in the literature as well as new ones. We show how to construct, evaluate, and expand, design continuums and we also present the first continuum that unifies major data structure designs, i.e., B+tree, B-epsilon-tree, LSM-tree, and LSH-table. The practical benefit of a design continuum is that it creates a fast inference engine for the design of data structures. For example, we can predict near instantly how a specific design change in the underlying storage of a data system would affect performance, or reversely what would be the optimal data structure (from a given set of designs) given workload characteristics and a memory budget. In turn, these properties allow us to envision a new class of self-designing key-value stores with a substantially improved ability to adapt to workload and hardware changes by transitioning between drastically different data structure designs to assume a diverse set of performance properties at will.


title: On the Optimality of Trees Generated by ID3

abstract: Since its inception in the 1980s, ID3 has become one of the most successful and widely used algorithms for learning decision trees. However, its theoretical properties remain poorly understood. In this work, we introduce a novel metric of a decision tree algorithm's performance, called mean iteration statistical consistency (MIC), which measures optimality of trees generated by ID3. As opposed to previous metrics, MIC can differentiate between different decision tree algorithms and compare their performance. We provide theoretical and empirical evidence that the TopDown variant of ID3, introduced by Kearns and Mansour (1996), has near-optimal MIC in various settings for learning read-once DNFs under product distributions. In contrast, another widely used variant of ID3 has MIC which is not near-optimal. We show that the MIC analysis predicts well the performance of these algorithms in practice. Our results present a novel view of decision tree algorithms which may lead to better and more practical guarantees for these algorithms.


title: Eccentricity function in distance-hereditary graphs

abstract: A graph $G=(V,E)$ is distance hereditary if every induced path of $G$ is a shortest path. In this paper, we show that the eccentricity function $e(v)=\max\{d(v,u): u\in V\}$ in any distance-hereditary graph $G$ is almost unimodal, that is, every vertex $v$ with $e(v)> rad(G)+1$ has a neighbor with smaller eccentricity. Here, $rad(G)=\min\{e(v): v\in V\}$ is the radius of graph $G$. Moreover, we use this result to fully characterize the centers of distance-hereditary graphs. Several bounds on the eccentricity of a vertex with respect to its distance to the center of $G$ or to the ends of a diametral path are established. Finally, we propose a new linear time algorithm to compute all eccentricities in a distance-hereditary graph.


title: General Evaluation for Instruction Conditioned Navigation using Dynamic Time Warping

abstract: In instruction conditioned navigation, agents interpret natural language and their surroundings to navigate through an environment. Datasets for studying this task typically contain pairs of these instructions and reference trajectories. Yet, most evaluation metrics used thus far fail to properly account for the latter, relying instead on insufficient similarity comparisons. We address fundamental flaws in previously used metrics and show how Dynamic Time Warping (DTW), a long known method of measuring similarity between two time series, can be used for evaluation of navigation agents. For such, we define the normalized Dynamic Time Warping (nDTW) metric, that softly penalizes deviations from the reference path, is naturally sensitive to the order of the nodes composing each path, is suited for both continuous and graph-based evaluations, and can be efficiently calculated. Further, we define SDTW, which constrains nDTW to only successful paths. We collect human similarity judgments for simulated paths and find nDTW correlates better with human rankings than all other metrics. We also demonstrate that using nDTW as a reward signal for Reinforcement Learning navigation agents improves their performance on both the Room-to-Room (R2R) and Room-for-Room (R4R) datasets. The R4R results in particular highlight the superiority of SDTW over previous success-constrained metrics.


title: Grounding Value Alignment with Ethical Principles

abstract: An important step in the development of value alignment (VA) systems in AI is understanding how values can interrelate with facts. Designers of future VA systems will need to utilize a hybrid approach in which ethical reasoning and empirical observation interrelate successfully in machine behavior. In this article we identify two problems about this interrelation that have been overlooked by AI discussants and designers. The first problem is that many AI designers commit inadvertently a version of what has been called by moral philosophers the "naturalistic fallacy," that is, they attempt to derive an "ought" from an "is." We illustrate when and why this occurs. The second problem is that AI designers adopt training routines that fail fully to simulate human ethical reasoning in the integration of ethical principles and facts. Using concepts of quantified modal logic, we proceed to offer an approach that promises to simulate ethical reasoning in humans by connecting ethical principles on the one hand and propositions about states of affairs on the other.


title: Analysis and Design of First-Order Distributed Optimization Algorithms over Time-Varying Graphs

abstract: This work concerns the analysis and design of distributed first-order optimization algorithms over time-varying graphs. The goal of such algorithms is to optimize a global function that is the average of local functions using only local computations and communications. Several different algorithms have been proposed that achieve linear convergence to the global optimum when the local functions are strongly convex. We provide a unified analysis that yields the worst-case linear convergence rate as a function of the condition number of the local functions, the spectral gap of the graph, and the parameters of the algorithm. The framework requires solving a small semidefinite program whose size is fixed; it does not depend on the number of local functions or the dimension of their domain. The result is a computationally efficient method for distributed algorithm analysis that enables the rapid comparison, selection, and tuning of algorithms. Finally, we propose a new algorithm, which we call SVL, that is easily implementable and achieves a faster worst-case convergence rate than all other known algorithms.


title: A novel, compact and portable 2-LTD-Brick x-pinch radiation source: its development and radiation performance

abstract: Almost all well-known x-pinch x-ray radiation machines are large, based on a conventional Marx generator, and lack portability. The literature suggests that a current rate of rise of 1 kA/ns or more is required for "good" x-pinch radiation performance, which, for reasonable current rise times, translates to a current requirement of 100 kA or more. Those requirements are difficult to achieve in a limited volume, if one wants to build a compact machine without the use of traditional Marx generators, pulse-forming lines, and transmission lines. In this work we describe a new, compact and portable x-pinch driver based on two "slow" LTD bricks combined into one solid unit. The short-circuit tests demonstrated the required 1-kA/ns current rate-of-rise and x-pinch shots confirmed "good" x-pinch radiation performance and revealed the potential for many x-pinch applications.


title: Correlations between azimuthal anisotropy Fourier harmonics in PbPb collisions at $\sqrt{s_{_{\mathrm{NN}}}}=2.76$ TeV in the HYDJET++ and AMPT models

abstract: Correlations between azimuthal anisotropy Fourier harmonics $v_{n}$ ($n = 2, 3, 4$) are studied using the events from PbPb collisions at $\sqrt{s_{_{\mathrm{NN}}}}=2.76$ TeV generated by the HYDJET++ and AMPT models, and compared to the corresponding experimental results obtained by the ATLAS Collaboration. The Fourier harmonics $v_{n}$ are measured over a wide centrality range using the two-particle azimuthal correlation method. The slopes of the $v_{2}$--$v_{3}$ correlation from both models are in a good agreement with the ATLAS data. The HYDJET++ model predicts a stronger slope for the $v_{2}$--$v_{4}$ and $v_{3}$--$v_{4}$ correlations than the ones experimentally measured, while the results from the AMPT model are in a rather good agreement with the experimental results. In contrast to the HYDJET++ predictions, the AMPT model predicts a boomerang-like shape in the structure of the correlations as found in the experimental data.


title: Compositional Inference Metaprogramming with Convergence Guarantees

abstract: Inference metaprogramming enables effective probabilistic programming by supporting the decomposition of executions of probabilistic programs into subproblems and the deployment of hybrid probabilistic inference algorithms that apply different probabilistic inference algorithms to different subproblems. We introduce the concept of independent subproblem inference (as opposed to entangled subproblem inference in which the subproblem inference algorithm operates over the full program trace) and present a mathematical framework for studying convergence properties of hybrid inference algorithms that apply different Markov-Chain Monte Carlo algorithms to different parts of the inference problem. We then use this formalism to prove asymptotic convergence results for probablistic programs with inference metaprogramming. To the best of our knowledge this is the first asymptotic convergence result for hybrid probabilistic inference algorithms defined by (subproblem-based) inference metaprogramming.


title: Nonlocal diffusion currents at the nanoscale

abstract: An integro-differential expression for the diffusion current of the impurities diffusing by the mechanism of bound impurity-defect pairs has been derived. The ensuing nonlocal diffusion equation generalizes the existing theories of diffusion by the pair mechanism in unbounded systems with homogeneous defect distributions on the systems with boundaries and variable defect concentration. It has been established that the nonlocality manifests itself only at short diffusion times while at large times, in particular, under the stationary conditions, the predictions of the nonlocal theory would coincide with existing approaches based on local diffusion currents. Possibilities of experimental verification of the nonlocal theory have been suggested. In particular, the explanation of the uphill diffusion in silicon by the pair drag can be tested within slightly modified conventional experimental setups. Also, it has been shown that in the nonlocal theory the impurity segregation profile caused by the drag should differ at the initial stage of evolution from the predictions of the local theories. Because the segregation influences mechanical, corrosive, and electronic properties of materials, the nonlocal character of the pair diffusion may have important implications for nanostructured materials.


title: Model based Level Shift Detection in Autocorrelated Data Streams using a moving window

abstract: Standard Control Chart techniques to detect level shift in data streams assume independence between observations. As data today is collected with high frequency, this assumption is seldom valid. To overcome this, we propose to adapt the off-line test procedure for detection of outliers based on one-step prediction errors proposed by Tsay (1988) into an on-line framework by considering a moving window. Further, we present two algorithms, that in combination, estimate an appropriate test value for our control chart. We test our method on AR(1) processes exposed to level shifts of different sizes and compare it to CUSUM applied to one-step prediction errors. We find that, even though both methods perform comparable when tuned correctly, our method has higher probability of identifying the correct change point of the process. Furthermore, for more complicated processes our method is easier to tune, as the range of window size to be tested is independent of the process.


title: Data by Proxy -- Material Traces as Autographic Visualizations

abstract: Information visualization limits itself, per definition, to the domain of symbolic information. This paper discusses arguments why the field should also consider forms of data that are not symbolically encoded, including physical traces and material indicators. Continuing a provocation presented by Pat Hanrahan in his 2004 IEEE Vis capstone address, this paper compares physical traces to visualizations and describes the techniques and visual practices for producing, revealing, and interpreting them. By contrasting information visualization with a speculative counter model of autographic visualization, this paper examines the design principles for material data. Autographic visualization addresses limitations of information visualization, such as the inability to directly reflect the material circumstances of data generation. The comparison between the two models allows probing the epistemic assumptions behind information visualization and uncovers linkages with the rich history of scientific visualization and trace reading.


title: Wild boundary behaviour of holomorphic functions in domains of $\mathbb{C}^N$

abstract: Given a domain of holomorphy $D$ in $\mathbb{C}^N$, $N\geq 2$, we show that the set of holomorphic functions in $D$ whose cluster sets along any finite length paths to the boundary of $D$ is maximal, is residual, densely lineable and spaceable in the space $\mathcal{O}(D)$ of holomorphic functions in $D$. Besides, if $D$ is a strictly pseudoconvex domain in $\mathbb{C}^N$, and if a suitable family of smooth curves $\gamma(x,r)$, $x\in bD$, $r\in [0,1)$, ending at a point of $bD$ is given, then we exhibit a spaceable, densely lineable and residual subset of $\mathcal{O}(D)$, every element $f$ of which satisfies the following property: For any measurable function $h$ on $bD$, there exists a sequence $(r_n)_n \in [0,1)$ tending to $1$, such that \[ f\circ \gamma(x,r_n) \rightarrow h (x),\,n\rightarrow \infty, \] for almost every $x$ in $bD$.


title: Growth of C-Axis Textured AlN Films on Vertical Sidewalls of Silicon Micro-Fins

abstract: A fabrication process is developed to grow c-axis textured aluminum nitride (AlN) films on the sidewall of single crystal silicon (Si) micro-fins to realize fin bulk acoustic wave resonators (FinBAR). FinBARs enable ultra-dense integration of high quality-factor (Q) resonators and low-loss filters on a small chip footprint and provide extreme lithographical frequency scalability over ultra- and super-high-frequency regimes. Si micro-fins with large aspect ratio are patterned and their sidewall surfaces are atomically smoothened. The reactive magnetron sputtering AlN deposition is engineered to optimize the hexagonal crystallinity of the sidewall AlN film with c-axis perpendicular to the sidewall of Si micro-fin. The effect of bottom metal electrode and surface roughness on the texture and crystallinity of the sidewall AlN film is explored. The atomic-layer-deposited platinum film with (111) crystallinity is identified as a suitable bottom electrode for deposition of c-axis textured AlN on the sidewall with c-axis orientation of 88.5 deg and arc-angle of ~12 deg around (002) diffraction spot over film thickness. 4.2 GHz FinBAR prototype is implemented showing a Q of 1,574 and effective electromechanical coupling (keff2) of 2.75%, when operating in 3rd width-extensional resonance mode. The lower measured Q and keff2 compared to simulations highlights the effect of granular texture of sidewall AlN film on limiting the performance of FinBARs. The developed c-axis textured sidewall AlN film technology paves the way for realization and monolithic integration of multi-frequency and multi-band FinBAR spectral processors for the emerging carrier aggregated wireless communication systems.


title: Schatten Norms in Matrix Streams: Hello Sparsity, Goodbye Dimension

abstract: Spectral functions of large matrices contains important structural information about the underlying data, and is thus becoming increasingly important. Many times, large matrices representing real-world data are \emph{sparse} or \emph{doubly sparse} (i.e., sparse in both rows and columns), and are accessed as a \emph{stream} of updates, typically organized in \emph{row-order}. In this setting, where space (memory) is the limiting resource, all known algorithms require space that is polynomial in the dimension of the matrix, even for sparse matrices. We address this challenge by providing the first algorithms whose space requirement is \emph{independent of the matrix dimension}, assuming the matrix is doubly-sparse and presented in row-order. Our algorithms approximate the Schatten $p$-norms, which we use in turn to approximate other spectral functions, such as logarithm of the determinant, trace of matrix inverse, and Estrada index. We validate these theoretical performance bounds by numerical experiments on real-world matrices representing social networks. We further prove that multiple passes are unavoidable in this setting, and show extensions of our primary technique, including a trade-off between space requirements and number of passes.


title: Scalable Panel Fusion Using Distributed Min Cost Flow

abstract: Modern audience measurement requires combining observations from disparate panel datasets. Connecting and relating such panel datasets is a process termed panel fusion. This paper formalizes the panel fusion problem and presents a novel approach to solve it. We cast the panel fusion as a network flow problem, allowing the application of a rich body of research. In the context of digital audience measurement, where panel sizes can grow into the tens of millions, we propose an efficient algorithm to partition the network into sub-problems. While the algorithm solves a relaxed version of the original problem, we provide conditions under which it guarantees optimality. We demonstrate our approach by fusing two real-world panel datasets in a distributed computing environment.


title: On the Cottingham formula and the electromagnetic contribution to the proton-neutron mass splitting

abstract: The excess mass of the neutron over the proton arises from two sources within the Standard Model, electromagnetism and the splitting of the down and up quark masses. The Cottingham Formula provides a means of determining the QED corrections from the forward Compton Amplitude, but this is challenged by the need for a subtraction function and the mixing of the QED and QCD (electro-weak) effects. I review the present understanding of the Cottingham Formula, including a discussion on the development of the formula, its renormalization which induces the mixing of QED and QCD effects, and the necessary modeling of the subtraction function that must be done to arrive a numerical prediction. I summarize the Regge Model originally proposed by Gasser and Leutwyler and I also review the proposed model by Walker-Loud, Carlson and Miller, which is an interpolation function between the low and high $Q^2$ regimes, both of which are anchored by rigorous theoretical underpinnings, for which I argue a more reliable theoretical uncertainty estimate can be obtained.


title: Infinitesimal Gribov copies in gauge-fixed topological Yang-Mills theories

abstract: We study the Gribov problem in four-dimensional topological Yang-Mills theories following the Baulieu-Singer approach in the (anti-)self-dual Landau gauges. This is a gauge-fixed approach that allows to recover the topological spectrum, as first constructed by Witten, by means of an equivariant (or constrained) BRST cohomology. As standard gauge-fixed Yang-Mills theories suffer from the gauge copy (Gribov) ambiguity, one might wonder if and how this has repercussions for this analysis. The resolution of the small (infinitesimal) gauge copies, in general, affects the dynamics of the underlying theory. In particular, treating the Gribov problem for the standard Landau gauge condition in non-topological Yang-Mills theories strongly affects the dynamics of the theory in the infrared. In the current paper, although the theory is investigated with the same gauge condition, the effects of the copies turn out to be completely different. In other words: in both cases, the copies are there, but the effects are very different. As suggested by the tree-level exactness of the topological model in this gauge choice, the Gribov copies are shown to be inoffensive at the quantum level. To be more precise, following Gribov, we discuss the path integral restriction to the Gribov horizon. The associated gap equation, which fixes the so-called Gribov parameter, is however shown to only possess a trivial solution, making the restriction obsolete. We relate this to the absence of radiative corrections in both gauge and ghost sectors. We give further evidence by employing the renormalization group which shows that, for this kind of topological model, the gap equation indeed forbids the introduction of a massive Gribov parameter.


title: Study of the B$^+$ $\to$ J$/\psi\overline{\Lambda}$p decay in proton-proton collisions at $\sqrt{s} =$ 8 TeV

abstract: A study of the B$^+$ $\to$ J$/\psi\overline{\Lambda}$p decay using proton-proton collision data collected at $\sqrt{s} =$ 8 TeV by the CMS experiment at the LHC, corresponding to an integrated luminosity of 19.6 fb$^{-1}$, is presented. The ratio of branching fractions $\mathcal{B}$(B$^+$ $\to$ J$/\psi\overline{\Lambda}$p ) / $\mathcal{B}$(B$^+$ $\to$ J$/\psi$K$^*$(892)$^+$) is measured to be (1.054 $\pm$ 0.057 (stat) $\pm$ 0.035 (syst) $\pm$ 0.011 ($\mathcal{B}$))%, where the last uncertainty reflects the uncertainties in the world-average branching fractions of $\overline{\Lambda}$ and K$^*$(892)$^+$ decays to reconstructed final states. The invariant mass distributions of the J$/\psi\overline{\Lambda}$, J$/\psi$p, and $\overline{\Lambda}$p systems produced in the B$^+$ $\to$ J$/\psi\overline{\Lambda}$p decay are investigated and found to be inconsistent with the pure phase space hypothesis. The analysis is extended by using a model-independent angular amplitude analysis, which shows that the observed invariant mass distributions are consistent with the contributions from excited kaons decaying to the $\overline{\Lambda}$p system.


title: Sequences of positive homoclinic solutions to difference equations with variable exponent

abstract: We study the existence of infinitely many positive homoclinic solutions to a second-order difference equation on integers with $p_k$-Laplacian. To achieve our goal we use the critical point theory and the general variational principle of Ricceri.


title: Violation of the Kluberg-Stern--Zuber theorem in SCET

abstract: A classic result, originally due to Kluberg-Stern and Zuber, states that operators that vanish by the classical equation of motion (eom) do not mix into "physical" operators. Here we show that and explain why this result does not hold in soft-collinear effective theory (SCET) for the renormalization of power-suppressed operators. We calculate the non-vanishing mixing of eom operators for the simplest case of $N$-jet operators with a single collinear field in every direction. The result implies that---for the computation of the anomalous dimension but not for on-shell matrix elements---there exists a preferred set of fields that must be used to reproduce the infrared singularities of QCD scattering amplitudes. We identify these fields and explain their relation to the gauge-invariant SCET Lagrangian. Further checks reveal another generic property of SCET beyond leading power, which will be relevant to resummation at the next-to-leading logarithmic level, the divergence of convolution integrals with the hard matching coefficients. We propose an operator solution that allows to consistently renormalize such divergences.


title: Integrated Offline and Online Optimization-Based Control in a Base-Parallel Architecture

abstract: We propose an integrated control architecture to address the gap that currently exists for efficient real-time implementation of MPC-based control approaches for highly nonlinear systems with fast dynamics and a large number of control constraints. The proposed architecture contains two types of controllers: base controllers that are tuned or optimized offline, and parallel controllers that solve an optimization-based control problem online. The control inputs computed by the base controllers provide starting points for the optimization problem of the parallel controllers, which operate in parallel within a limited time budget that does not exceed the control sampling time. The resulting control system is very flexible and its architecture can easily be modified or changed online, e.g., by adding or eliminating controllers, for online improvement of the performance of the controlled system. In a case study, the proposed control architecture is implemented for highway traffic, which is characterized by nonlinear, fast dynamics with multiple control constraints, to minimize the overall travel time of the vehicles, while increasing their total traveled distance within the fixed simulation time window. The results of the simulation show the excellent real-time (i.e., within the given time budget) performance of the proposed control architecture, with the least realized value of the overall cost function. Moreover, among the online control approaches considered for the case study, the average cost per vehicle for the base-parallel control approach is the closest to the online MPC-based controllers, which have excellent performance but may involve computation times that exceed the given time budget.


title: Crystalline clusters in mW water: stability, growth, and grain boundaries

abstract: With numerical simulations of the mW model of water, we investigate the energetic stability of crystalline clusters for both Ice I (cubic and hexagonal ice) and for the metastable Ice 0 phase as a function of the cluster size. Under a large variety of forming conditions, we find that the most stable cluster changes as a function of size: at small sizes the Ice 0 phase produces the most stable clusters, while at large sizes there is a crossover to Ice I clusters. We further investigate the growth of crystalline clusters with the seeding technique and study the growth patterns of different crystalline clusters. While energetically stable at small sizes, the growth of metastable phases (cubic and Ice 0) is hindered by the formation of coherent grain boundaries. A five-fold symmetric twin boundary for cubic ice, and a newly discovered coherent grain boundary in Ice 0, that promotes cross nucleation of cubic ice. Our work reveals that different local structures can compete with the stable phase in mW water, and that the low energy cost of particular grain boundaries might play an important role in polymorph selection.


title: Quantum rotation sensing with dual Sagnac interferometers in an atom-optical waveguide

abstract: Sensitive and accurate rotation sensing is a critical requirement for applications such as inertial navigation [1], north-finding [2], geophysical analysis [3], and tests of general relativity [4]. One effective technique used for rotation sensing is Sagnac interferometry, in which a wave is split, traverses two paths that enclose an area, and then recombined. The resulting interference signal depends on the rotation rate of the system and the area enclosed by the paths [5]. Optical Sagnac interferometers are an important component in present-day navigation systems [6], but suffer from limited sensitivity and stability. Interferometers using matter waves are intrinsically more sensitive and have demonstrated superior gyroscope performance [7-9], but the benefits have not been large enough to offset the substantial increase in apparatus size and complexity that atomic systems require. It has long been hoped that these problems might be overcome using atoms confined in a guiding potential or trap, as opposed to atoms falling in free space [10-12]. This allows the atoms to be supported against gravity, so a long measurement time can be achieved without requiring a large drop distance. The guiding potential can also be used to control the trajectory of the atoms, causing them to move in a circular loop that provides the optimum enclosed area for a given linear size [13]. Here we use such an approach to demonstrate a rotation measurement with Earth-rate sensitivity.


title: A construction of pseudo-Anosov homeomorphisms using positive twists

abstract: We introduce a construction of pseudo-Anosov homeomorphisms on n-times punctured spheres and surfaces with higher genus using only sufficiently many positive half-twists. These constructions can produce explicit examples of pseudo-Anosov maps with various number-theoretic properties associated to the stretch factors, including examples where the trace field is not totally real and the Galois conjugates of the stretch factor are on the unit circle.


title: Electroweak corrections to the fermionic decays of heavy Higgs states

abstract: Extensions of the Standard Model often come with additional, possibly electroweakly charged Higgs states, the prototypal example being the Two-Higgs-Doublet Model. While collider phenomenology does not exclude the possibility for some of these new scalar fields to be light, it is relatively natural to consider masses in the multi-TeV range, in which case the only remaining light Higgs boson automatically receives SM-like properties. The appearance of a hierarchy between the new-physics states and the electroweak scale then leads to sizable electroweak corrections, e. g. in the decays of the heavy Higgs bosons, which are dominated by effects of infrared type, namely Sudakov logarithms. Such radiative contributions obviously affect the two-body decays, but should also be paired with the radiation of electroweak gauge bosons (or lighter Higgs bosons) for a consistent picture at the one-loop order. Resummation of the leading terms is also relatively easy to achieve. We re-visit these questions in the specific case of the fermionic decays of heavy Higgs particles in the Next-to-Minimal Supersymmetric Standard Model, in particular pointing out the consequences of the three-body final states for the branching ratios of the heavy scalars.


title: Coverage Probability Analysis Under Clustered Ambient Backscatter Nodes

abstract: In this paper, we consider a new large-scale communication scheme where randomly distributed AmBC nodes are involved as secondary users to primary transmitter (PT) and primary receiver (PR) pairs. The secondary communication between a backscatter transmitter (BT) and a backscatter receiver (BR) is conducted by the BT's reflecting its corresponding PT's signal with different antenna impedances, which introduces additional double fading channels and potential inter-symbol-interference to the primary communications. Thus, at a typical PR, the backscatter signals are regarded as either decodable signals or interference. Assuming the locations of PTs form a Poisson point process and the locations of BTs form a Poisson cluster process, we derive the SINR and SIR based coverage probabilities for two network configuration scenarios. Numerical results on the coverage probabilities indicate the possibility to involve a large amount of AmBC nodes in existing wireless networks.


title: Nearly Frobenius Algebras

abstract: In this introductory paper we study nearly Frobenius algebras which are generalizations of the concept of a Frobenius algebra which appear naturally in topology: nearly Frobenius algebras have no traces (co-units). We survey the most basic foundational results and some of the applications they encounter in geometry, topology and representation theory.


title: Experimental investigation of $\alpha$-condensation in light nuclei

abstract: Method: To examine signatures of this alpha-condensation, a compound nucleus reaction using 160, 280, and 400 MeV 16O beams impinging on a carbon target was used to investigate the 12C(16O,7a) reaction. This permits a search for near-threshold states in the alpha-conjugate nuclei up to 24Mg. Results: Events up to an alpha-particle multiplicity of 7 were measured and the results were compared to both an Extended Hauser-Feshbach calculation and the Fermi break-up model. The measured multiplicity distribution exceeded that predicted from a sequential decay mechanism and had a better agreement with the multi-particle Fermi break-up model. Examination of how these 7 alpha final states could be reconstructed to form 8Be and 12C(0_2+) showed a quantitative difference in which decay modes were dominant compared to the Fermi break-up model. No new states were observed in 16O, 20Ne, and 24Mg due to the effect of the N-alpha penetrability suppressing the total alpha-particle dissociation decay mode. Conclusion: The reaction mechanism for a high energy compound nucleus reaction can only be described by a hybrid of sequential decay and multi-particle breakup. Highly alpha-clustered states were seen which did not originate from simple binary reaction processes. Direct investigations of near-threshold states in N-alpha systems are inherently impeded by the Coulomb barrier prohibiting the observation of states in the N-alpha decay channel. No evidence of a highly clustered 15.1 MeV state in 16O was observed from (28Si*,12C(0_2+))16O(0_6+) when reconstructing the Hoyle state from 3 alpha-particles. Therefore, no experimental signatures for alpha-condensation were observed.


title: Quasi-cyclic modules and coregular sequences

abstract: We develop the theory of coregular sequences and codepth for modules that need not be finitely generated or artinian over a Noetherian ring. We use this theory to give a new version of a theorem of Hellus characterizing set-theoretic complete intersections in terms of local cohomology modules. We also define quasi-cyclic modules as increasing unions of cyclic modules, and show that modules of codepth at least two are quasi-cyclic. We then focus our attention on curves in projective three-space and give a number of necessary conditions for a curve to be a set-theoretic complete intersection. Thus an example of a curve for which any of these necessary conditions does not hold would provide a negative answer to the still open problem, whether every connected curve in projective three-space is a set-theoretic complete intersection


title: Non-uniform Geometric Set Cover and Scheduling on Multiple Machines

abstract: We consider the following general scheduling problem studied recently by Moseley. There are $n$ jobs, all released at time $0$, where job $j$ has size $p_j$ and an associated arbitrary non-decreasing cost function $f_j$ of its completion time. The goal is to find a schedule on $m$ machines with minimum total cost. We give an $O(1)$ approximation for the problem, improving upon the previous $O(\log \log nP)$ bound ($P$ is the maximum to minimum size ratio), and resolving the open question of Moseley. We first note that the scheduling problem can be reduced to a clean geometric set cover problem where points on a line with arbitrary demands, must be covered by a minimum cost collection of given intervals with non-uniform capacity profiles. Unfortunately, current techniques for such problems based on knapsack cover inequalities and low union complexity, completely lose the geometric structure in the non-uniform capacity profiles and incur at least an $\Omega(\log\log P)$ loss. To this end, we consider general covering problems with non-uniform capacities, and give a new method to handle capacities in a way that completely preserves their geometric structure. This allows us to use sophisticated geometric ideas in a black-box way to avoid the $\Omega(\log \log P)$ loss in previous approaches. In addition to the scheduling problem above, we use this approach to obtain $O(1)$ or inverse Ackermann type bounds for several basic capacitated covering problems.


title: Introduction to a renormalisation group method

abstract: This book provides an introduction to a renormalisation group method in the spirit of that of Wilson. It starts with a concise overview of the theory of critical phenomena and the introduction of several tools required in the renormalisation group approach, including Gaussian integration and finite range decomposition. The bulk of the book consists of an analysis of the 4-dimensional hierarchical $|\varphi|^4$ model. This includes definition of the renormalisation group map, perturbation theory, development of a general family of norms that we use to analysis the renormalisation group map, and of a stability analysis of the dynamical system that the renormalisation group map defines. The analysis of the hierarchical $|\varphi|^4$ model is presented in a pedagodical way and set up in such that the extension to the more complicated Euclidean nearest-neighbour setting is very much parallel. This extension is outlined in an appendix with precise pointers to the literature where it is carried out in detail. Finally, we provide a short introduction to supersymmetry and the supersymmetric representation of self-avoiding walks. The renormalisation group method can be extended to this supersymmetric setting and has been used to study the 4-dimensional weakly self-avoiding walk.


title: Astrophysical limits on very light axion-like particles from Chandra grating spectroscopy of NGC 1275

abstract: Axions/axion-like particles (ALPs) are a well motivated extension of the Standard Model and are generic within String Theory. The X-ray transparency of the intracluster medium (ICM) in galaxy clusters is a powerful probe of light ALPs (with mass $<10^{-11}\,{\rm eV}$); as X-ray photons from an embedded or background source propagate through the magnetized ICM, they may undergo energy-dependent quantum mechanical conversion into ALPs (and vice versa), imprinting distortions on the X-ray spectrum. We present Chandra data for the active galactic nucleus NGC1275 at the center of the Perseus cluster. Employing a 490ks High-Energy Transmission Gratings (HETG) exposure, we obtain a high-quality 1-9keV spectrum free from photon pileup and ICM contamination. Apart from iron-band features, the spectrum is described by a power-law continuum, with any spectral distortions at the $<3\%$ level. We compute photon survival probabilities as a function of ALP mass $m_a$ and ALP-photon coupling constant $g_{a\gamma}$ for an ensemble of ICM magnetic field models, and then use the NGC1275 spectrum to constraint the $(m_a, g_{a\gamma})$-plane. Marginalizing over magnetic field realizations, the 99.7% credible region limits the ALP-photon coupling to $g_{a\gamma}<6-8\times 10^{-13}\, {\rm GeV}^{-1}$ (depending upon magnetic field model) for masses $m_a<1\times 10^{-12}\,{\rm eV}$. These are the most stringent limit to date on $g_{a\gamma}$ for these light ALPs, and have already reached the sensitivity limits of next-generation helioscopes and light-shining-through-wall experiments. We highlight the potential of these studies with the next-generation X-ray observatories Athena and Lynx, but note the critical importance of advances in relative calibration of these future X-ray spectrometers.


title: Minimizers of the Empirical Risk and Risk Monotonicity

abstract: Plotting a learner's average performance against the number of training samples results in a learning curve. Studying such curves on one or more data sets is a way to get to a better understanding of the generalization properties of this learner. The behavior of learning curves is, however, not very well understood and can display (for most researchers) quite unexpected behavior. Our work introduces the formal notion of \emph{risk monotonicity}, which asks the risk to not deteriorate with increasing training set sizes in expectation over the training samples. We then present the surprising result that various standard learners, specifically those that minimize the empirical risk, can act \emph{non}monotonically irrespective of the training sample size. We provide a theoretical underpinning for specific instantiations from classification, regression, and density estimation. Altogether, the proposed monotonicity notion opens up a whole new direction of research.


title: Spectrally pure single photons at telecommunications wavelengths using commercial birefringent optical fiber

abstract: We report a bright and tunable source of spectrally pure heralded single photons in the telecom O-Band, based on cross-polarized four wave mixing in a commercial birefringent optical fiber. The source can achieve a purity of 85%, heralding efficiency of 30% and high coincidences to accidentals ratio of 108. Furthermore, the possibility of building multiple identical sources is explored. Through the measurements of joint spectral intensities, we find that the fiber is homogeneous over atleast 45 centimeters and can potentially realize 4 identical sources. This paves the way for a cost-effective fiber-optic approach to implement multi-photon quantum optics experiments.


title: An $L^2_T$-error bound for time-limited balanced truncation

abstract: Model order reduction (MOR) is often applied to spatially-discretized partial differential equations to reduce their order and hence decrease computational complexity. A reduced system can be obtained, e.g., by time-limited balanced truncation, a method that aims to construct an accurate reduced order model on a given finite time interval $[0, T]$. This particular balancing related MOR technique is studied in this paper. An $L^2_T$-error bound based on the truncated time-limited singular values is proved and is the main result of this paper. The derived error bound converges (as $T\rightarrow \infty$) to the well-known $\mathcal H_\infty$-error bound of unrestricted balanced truncation, a scheme that is used to construct a good reduced system on the entire time line. The techniques within the proofs of this paper can also be applied to unrestricted balanced truncation so that a relatively short time domain proof of the $\mathcal H_\infty$-error bound is found here.


title: DC Electrical Degradation of YSZ: Voltage Controlled Electrical Metallization of A Fast Ion Conducting Insulator

abstract: DC electrical degradation as a form of dielectric and resistance breakdown is a common phenomenon in thin-film devices including resistance-switching memory. To obtain design data and to probe the degradation mechanism, highly accelerated lifetime tests (HALT) are often conducted at higher temperatures with thicker samples. While the mechanism is well established in semiconducting oxides such as perovskite titanates, it is not in stabilized zirconia and other fast oxygen-ion conductors that have little electronic conductivity. Here we model the mechanism by an oxygen-driven, transport-limited, metal-insulator transition, which finds support in rich experimental observations - including in situ videos and variable temperature studies - of yttria-stabilized zirconia. They are contrasted with the findings in semiconducting titanates and resistance memory, and provide new insight into ceramic processing with extremely rapid heating and cooling such as flash sintering and melt processing.


title: Simulating the interaction of a non-magnetized planet with the stellar wind produced by a sun-like star using the FLASH Code

abstract: The study of the interaction between solid objects and magnetohydrodynamic (MHD) fluids is of great importance in physics as consequence of the significant phenomena generated, such as planets interacting with stellar wind produced by their host stars. There are several computational tools created to simulate hydrodynamic and MHD fluids, such as the FLASH code. In this code there is a feature which permits the placement of rigid bodies in the domain to be simulated. However, it is available and tested for pure hydrodynamic cases only. Our aim here is to adapt the existing resources of FLASH to enable the placement of a rigid body in MHD scenarios and, with such a scheme, to produce the simulation of a non-magnetized planet interacting with the stellar wind produced by a sun-like star. Besides, we consider that the planet has no significant atmosphere. We focus our analysis on the patterns of the density, magnetic field and velocity around the planet, as well as the influence of the viscosity on such patterns. At last, an improved methodological approach is available to other interested users.


title: On Relevant Equilibria in Reachability Games

abstract: We study multiplayer reachability games played on a finite directed graph equipped with target sets, one for each player. In those reachability games, it is known that there always exists a Nash equilibrium (NE) and a subgame perfect equilibrium (SPE). But sometimes several equilibria may coexist such that in one equilibrium no player reaches his target set whereas in another one several players reach it. It is thus very natural to identify "relevant" equilibria. In this paper, we consider different notions of relevant equilibria including Pareto optimal equilibria and equilibria with high social welfare. We provide complexity results for various related decision problems.


title: Mobility restores the mechanism which supports cooperation in the voluntary prisoner's dilemma game

abstract: It is generally believed that in a situation where individual and collective interests are in conflict, the availability of optional participation is a key mechanism to maintain cooperation. Surprisingly, this effect is sensitive to the use of microscopic dynamics and can easily be broken when agents make a fully rational decision during their strategy updates. In the framework of the celebrated prisoner's dilemma game, we show that this discrepancy can be fixed automatically if we leave the strict and frequently artifact condition of a fully occupied interaction graph, and allow agents to change not just their strategies but also their positions according to their success. In this way, a diluted graph where agents may move offers a natural and alternative way to handle artifacts arising from the application of specific and sometimes awkward microscopic rules.


title: A quantum annealer with fully programmable all-to-all coupling via Floquet engineering

abstract: Quantum annealing is a promising approach to heuristically solving difficult combinatorial optimization problems. However, the connectivity limitations in current devices lead to an exponential degradation of performance on general problems. We propose an architecture for a quantum annealer that achieves full connectivity and full programmability while using a number of physical resources only linear in the number of spins. We do so by application of carefully engineered periodic modulations of oscillator-based qubits, resulting in a Floquet Hamiltonian in which all the interactions are tunable; this flexibility comes at a cost of the coupling strengths between spins being smaller than they would be had the spins been directly coupled. Our proposal is well-suited to implementation with superconducting circuits, and we give analytical and numerical evidence that fully connected, fully programmable quantum annealers with $1000$ qubits could be constructed with Josephson parametric oscillators having cavity-photon lifetimes of $\sim 100$ microseconds, and other system-parameter values that are routinely achieved with current technology. Our approach could also have impact beyond quantum annealing, since it readily extends to bosonic quantum simulators and would allow the study of models with arbitrary connectivity between lattice sites.


title: Generalized Mutual Information

abstract: Mutual information is one of the essential building blocks of information theory. Yet, it is only finitely defined for distributions with fast decaying tails on a countable joint alphabet of two random elements. The unboundedness of mutual information over the general class of all distributions on a joint alphabet prevents its potential utility to be fully realized. This is in fact a void in the foundation of information theory that needs to be filled. This article proposes a family of generalized mutual information all of whose members 1) are finitely defined for each and every distribution of two random elements on a joint countable alphabet, except the one by Shannon, and 2) enjoy all utilities of a finite Shannon's mutual information.


title: Releasable micro-waveplates

abstract: A simple procedure is demonstrated for fabrication of waveplates which can be released from substrate by laser cutting. Oblique angle deposition, chemical etching and laser inscription steps were used for the final lift-off and release of micro-waveplates in HCl solution.


title: A Combined Computational and Experimental Investigation on Evaporation of a Sessile Water Droplet on a Heated Hydrophilic Substrate

abstract: We numerically and experimentally investigate evaporation of a sessile droplet on a heated substrate. We develop a finite element (FE) model in two-dimensional axisymmetric coordinates to solve coupled transport of heat in the droplet and substrate, and of the mass of liquid vapor in surrounding ambient while assuming diffusion-limited, quasi-steady evaporation of the droplet. The two-way coupling is implemented using an iterative scheme and under-relaxation is used to ensure numerical stability. The FE model is validated against the published spatial profile of the evaporation mass flux and temperature of the liquid-gas interface. We discuss cases in which the two-way coupling is significantly accurate than the one-way coupling. In experiments, we visualized side view of an evaporating microliter water droplet using a high-speed camera at different substrate temperatures and recorded temperature of the liquid-gas interface from the top using an infrared camera. We examine the dependency of inversion of the temperature profile across the liquid-gas interface on the ratio of the substrate thickness to the wetted radius, the ratio of the thermal conductivity of the substrate to that of the droplet and contact angle. A comparison of measured evaporation mass rate with the computed values at different substrate temperature show that the evaporation mass rate increases non-linearly with respect to the substrate temperature, and FE model predicts these values close to the experimental data. Comparisons of time-averaged evaporation mass rate obtained by the previous and present models against the measurements suggest that the evaporative cooling at the interface and variation of diffusion coefficient with temperature should be taken into account in the model in order to accurately capture the measurements.


title: Emergence of long-term rhythmicity within a frustrated triangle oscillator-network

abstract: This study tries to simulate a brain cell network using an electric circuit oscillator called electronic firefly. Multiple stability was observed in the electric circuit oscillator which is expressed by simple mathematical models.


title: Analysis of azimuthal magnetorotational instability of rotating MHD flows and Tayler instability via an extended Hain-Lust equation

abstract: We consider a differentially rotating flow of an incompressible electrically conducting and viscous fluid subject to an external axial magnetic field and to an azimuthal magnetic field that is allowed to be generated by a combination of an axial electric current external to the fluid and electrical currents in the fluid itself. In this setting we derive an extended version of the celebrated Hain-Lust differential equation for the radial Lagrangian displacement that incorporates the effects of the axial and azimuthal magnetic fields, differential rotation, viscosity, and electrical resistivity. We apply the Wentzel-Kramers-Brillouin method to the extended Hain-Lust equation and derive a new comprehensive dispersion relation for the local stability analysis of the flow to three-dimensional disturbances. We confirm that in the limit of low magnetic Prandtl numbers, in which the ratio of the viscosity to the magnetic diffusivity is vanishing, the rotating flows with radial distributions of the angular velocity beyond the Liu limit, become unstable subject to a wide variety of the azimuthal magnetic fields, and so is the Keplerian flow. In the analysis of the dispersion relation we find an evidence of a new long-wavelength instability which is caught also by the numerical solution of the boundary value problem for a magnetized Taylor-Couette flow.


title: Exploration of an augmented set of Leggett-Garg inequalities using a noninvasive continuous-in-time velocity measurement

abstract: Macroscopic realism (MR) is the view that a system may possess definite properties at any time independent of past or future measurements, and may be tested experimentally using the Leggett-Garg inequalities (LGIs). In this work we advance the study of LGIs in two ways using experiments carried out on a nuclear magnetic resonance spectrometer. Firstly, we addresses the fact that the LGIs are only necessary conditions for MR but not sufficient ones. We implement a recently-proposed test of necessary and sufficient conditions for MR which consists of a combination of the original four three-time LGIs augmented with a set of twelve two-time LGIs. We explore different regimes in which the two- and three-time LGIs may each be satisfied or violated. Secondly, we implement a recent proposal for a measurement protocol which determines the temporal correlation functions in an approximately non-invasive manner. It employs a measurement of the velocity of a dichotomic variable $Q$, continuous in time, from which a possible sign change of $Q$ may be determined in a single measurement of an ancilla coupled to the velocity. This protocol involves a significantly different set of assumptions to the traditional ideal negative measurement protocol and a comparison with the latter is carried out.


title: A Classical Model Correspondence for G-symmetric Random Tensor Networks

abstract: We consider the scaling of entanglement entropy in random Projected Entangled Pairs States (PEPS) with an internal symmetry given by a finite group G. We systematically demonstrate a correspondence between this entanglement entropy and the difference of free energies of a classical Ising model with an addition non-local term. This non-local term counts the number of domain walls in a particular configuration of the classical spin model. We argue that for that overwhelming majority of such states, this gives rise to an area law scaling with well-defined topological entanglement entropy. The topological entanglement entropy is shown to be log|G| for a simply connected region A and which manifests as a difference in the number of domain walls of ground state energies for the two spin models.


title: Using psychometric tools as a window into students' quantitative reasoning in introductory physics

abstract: The Physics Inventory of Quantitative Literacy (PIQL), a reasoning inventory under development, aims to assess students' physics quantitative literacy at the introductory level. The PIQL's design presents the challenge of isolating types of mathematical reasoning that are independent of each other in physics questions. In its current form, the PIQL spans three principle reasoning subdomains previously identified in mathematics and physics education research: ratios and proportions, covariation, and signed (negative) quantities. An important psychometric objective is to test the orthogonality of these three reasoning subdomains. We present results from exploratory factor analysis, confirmatory factor analysis, and module analysis that inform interpretations of the underlying structure of the PIQL from a student viewpoint, emphasizing ways in which these results agree and disagree with expert categorization. In addition to informing the development of existing and new PIQL assessment items, these results are also providing exciting insights into students' quantitative reasoning at the introductory level.


title: All-optical tuning of a diamond micro-disk resonator on silicon

abstract: High quality integrated diamond photonic devices have previously been demonstrated in applications from non-linear photonics to on-chip quantum optics. However, the small sample sizes of single crystal material available, and the difficulty in tuning its optical properties, are barriers to the scaling of these technologies. Both of these issues can be addressed by integrating micron scale diamond devices onto host photonic integrated circuits using a highly accurate micro-assembly method. In this work a diamond micro-disk resonator is integrated with a standard single mode silicon-on-insulator waveguide, exhibiting an average loaded Q-factor of 3.1x10^4 across a range of spatial modes, with a maximum loaded Q-factor of 1.05x10^5. The micron scale device size and high thermal impedance of the silica interface layer allow for significant thermal loading and continuous resonant wavelength tuning across a 450 pm range using a mW level optical pump. This diamond-on-demand integration technique paves the way for tunable devices coupled across large scale photonic circuits.


title: Variational approximations to exact solutions in shell-model valence spaces: calcium isotopes in the pf-shell

abstract: We study the performance of self-consistent mean-field and beyond-mean-field approximations in shell-model valence spaces. In particular, Hartree-Fock-Bogolyubov, particle-number variation after projection and projected generator coordinate methods are applied to obtain ground-state and excitation energies for even-even and odd-even Calcium isotopes in the pf-shell. The standard (and non-trivial) KB3G nuclear effective interaction has been used. The comparison with the exact solutions -- provided by the full diagonalization of the Hamiltonian -- shows an outstanding agreement when particle-number and angular-momentum restorations are performed and both quadrupole and neutron-neutron pairing degrees of freedom are explicitly explored as collective coordinates.


title: Entropy Estimation of Physically Unclonable Functions via Chow Parameters

abstract: A physically unclonable function (PUF) is an electronic circuit that produces an intrinsic identifier in response to a challenge. These identifiers depend on uncontrollable variations of the manufacturing process, which make them hard to predict or to replicate. Various security protocols leverage on such intrinsic randomness for authentification, cryptographic key generation, anti-counterfeiting, etc. Evaluating the entropy of PUFs (for all possible challenges) allows one to assess the security properties of such protocols. In this paper, we estimate the probability distribution of certain kinds of PUFs composed of $n$ delay elements. This is used to evaluate relevant R\'enyi entropies and determine how they increase with $n$. Such a problem was known to have extremely high complexity (in the order of $2^{2^n}$) and previous entropy estimations were carried out up to $n=7$. Making the link with the theory of Boolean threshold functions, we leverage on the representation by Chow parameters to estimate probability distributions up to $n=10$. The resulting Shannon entropy of the PUF is close to the max-entropy, which is asymptotically quadratic in $n$.


title: Do the planets in the HD 34445 system really exist?

abstract: In 2010 the first planet was discovered around star HD 34445. Recently, another five planets were announced orbiting the same star. It is a rather dense multi-planet system with some of its planets having separations of fractions of an au and minimum masses ranging from Neptune to sub-Jupiter ones. Given the number of planets and the various uncertainties in their masses and orbital elements, the HD 34445 planetary system is quite interesting as there is the potential for mean motion and secular resonances that could render the outcome of its dynamical evolution and fate an open question. In this paper we investigate the dynamical stability of the six planet system in order to check the validity of the orbital solution acquired. This is achieved by a series of numerical experiments, where the dynamical evolution of the system is tested on different timescales. We vary the orbital elements and masses of the system within the error ranges provided. We find that for a large area of the parameter space we can produce stable configurations and therefore conclude it is very likely that the HD 34445 planetary system is real. Some discussion about the potential habitability of the system is also done.


title: Online Learning to Estimate Warfarin Dose with Contextual Linear Bandits

abstract: Warfarin is one of the most commonly used oral blood anticoagulant agent in the world, the proper dose of Warfarin is difficult to establish not only because it is substantially variant among patients, but also adverse even severe consequences of taking an incorrect dose. Typical practice is to prescribe an initial dose, then doctor closely monitor patient response and adjust accordingly to the correct dosage. The three commonly used strategies for an initial dosage are the fixed-dose approach, the Warfarin Clinical algorithm, and the Pharmacogenetic algorithm developed by the IWPC (International Warfarin Pharmacogenetics Consortium). It is always best to prescribe correct initial dosage, motivated by this challenge, this work explores the performance of multi-armed bandit algorithms to best predict the correct dosage of Warfarin instead of trial-and-error procedure. Real data from the Pharmacogenetics and Pharmacogenomics Knowledge Base (PharmGKB) is used, with it a series of linear bandit algorithms and variants are developed and evaluated on Warfarin dataset. All proposed algorithms outperformed the fixed-dose baseline algorithm, and some even matched up the Warfarin Clinical Dosing Algorithm. In addition, a few promising future directions are given for further exploration and development.


title: Texture corrections for total scattering functions

abstract: Many functional materials are today synthesised in form of nanoparticles displaying preferred orientation effects to some small or large extent. The analysis of diffraction data of such kind of systems is best performed in the framework of the total scattering approach that prescinds from translation symmetry assumptions. We therefore derived modified expressions for the most common total scattering functions, in particular the Debye Scattering Equation (DSE) that yields the texture-averaged differential cross section as a function of atomic coordinates and texture parameters. The modified DSE encodes higher-order even spherical Bessel functions which account for the texture effect. Selection rules arising from experimental geometries and symmetries are discussed. In addition the duality of the texture effect is introduced showing the effects of texture on both the I(Q) and G(r). The paper includes several definitions and appendices which are meant to be useful for those involved in the development of crystallographic computing.


title: Infinite $\frac{3}{2}$-generated groups

abstract: Every finite simple group can be generated by two elements, and Guralnick and Kantor proved that, moreover, every nontrivial element is contained in a generating pair. Groups with this property are said to be $\frac{3}{2}$-generated. Thompson's group $V$ was the first finitely presented infinite simple group to be discovered. The Higman--Thompson groups $V_n$ and the Brin--Thompson groups $mV$ are two families of finitely presented groups that generalise $V$. In this paper, we prove that all of the groups $V_n$, $V_n'$ and $mV$ are $\frac{3}{2}$-generated. As far as the authors are aware, the only previously known examples of infinite noncyclic $\frac{3}{2}$-generated groups are the pathological Tarski monsters. We conclude with several open questions motivated by our results.


title: Logarithmic correlation functions for critical dense polymers on the cylinder

abstract: We compute lattice correlation functions for the model of critical dense polymers on a semi-infinite cylinder of perimeter $n$. In the lattice loop model, contractible loops have a vanishing fugacity whereas non-contractible loops have a fugacity $\alpha\in(0,\infty)$. These correlators are defined as ratios $Z(x)/Z_0$ of partition functions, where $Z_0$ is a reference partition function wherein only simple arcs are attached to the boundary of the cylinder. For $Z(x)$, the boundary is also decorated with simple arcs, but it also has two positions $1$ and $x$ where the boundary condition is different. We investigate two such kinds of boundary conditions: (i) there is a single node at each of these points where a long arc is attached, and (ii) there are pairs of adjacent nodes at these points where two long arcs are attached. We find explicit expressions for these correlators for finite $n$ using the representation of the enlarged periodic Temperley-Lieb algebra in the XX spin chain. The resulting asymptotics as $n\to\infty$ are expressed as simple integrals that depend on the parameter $\tau=\frac{x-1}n\in(0,1)$. For small $\tau$, the leading behaviours are proportional to $\tau^{1/4}$, $\tau^{1/4}\log \tau$, $\log\tau$ and $\log^2\tau$. We interpret the lattice results in terms of ratios of conformal correlation functions. We assume that the corresponding boundary changing fields are highest weight states in irreducible, Kac or staggered Virasoro modules, with central charge $c=-2$ and conformal dimensions $\Delta = -\frac18$ or $\Delta=0$. We obtain differential equations satisfied by the conformal correlators, solve these equations, and find a perfect agreement with the lattice results. We compute structure constants and ratios thereof which appear in the operator product expansions of the boundary condition changing fields. The fusion of these fields is found to be non-abelian.

categories: cond-mat.stat-mech hep-th math-ph math.MP


title: Active Flow Control for Drag Reduction of a Plunging Airfoil under Deep Dynamic Stall

abstract: High-fidelity simulations are performed to study active flow control techniques for alleviating deep dynamic stall of a SD7003 airfoil in plunging motion. The flow Reynolds number is $Re=60{,}000$ and the freestream Mach number is $M=0.1$. Numerical simulations are performed with a finite difference based solver that incorporates high-order compact schemes for differentiation, interpolation and filtering on a staggered grid. A mesh convergence study is conducted and results show good agreement with available data in terms of aerodynamic coefficients. Different spanwise arrangements of actuators are implemented to simulate blowing and suction at the airfoil leading edge. We observe that, for a specific frequency range of actuation, mean drag and drag fluctuations are substantially reduced while mean lift is maintained almost unaffected, especially for a 2D actuator setup. For this frequency range, 2D flow actuation disrupts the formation of the dynamic stall vortex, what leads to drag reduction due to a pressure increase along the airfoil suction side, towards the trailing edge region. At the same time, pressure is reduced on the suction side near the leading edge, increasing lift and further reducing drag.


title: A higher order perturbation approach for electromagnetic scattering problems on random domains

abstract: We consider time-harmonic electromagnetic scattering problems on perfectly conducting scatterers with uncertain shape. Thus, the scattered field will also be uncertain. Based on the knowledge of the two-point correlation of the domain boundary variations around a reference domain, we derive a perturbation analysis for the mean of the scattered field. Therefore, we compute the second shape derivative of the scattering problem for a single perturbation. Taking the mean, this leads to an at least third order accurate approximation with respect to the perturbation amplitude of the domain variations. To compute the required second order correction term, a tensor product equation on the domain boundary has to be solved. We discuss its discretization and efficient solution using boundary integral equations. Numerical experiments in three dimensions are presented.


title: $\mathcal{U}$-Frequent hypercyclicity notions and related weighted densities

abstract: We study dynamical notions lying between $\mathcal{U}$-frequent hypercyclicity and reiterative hypercyclicity by investigating weighted upper densities between the unweighted upper density and the upper Banach density. While chaos implies reiterative hypercyclicity, we show that chaos does not imply $\mathcal{U}$-frequent hypercyclicity with respect to any weighted upper density. Moreover, we show that if $T$ is $\mathcal{U}$-frequently hypercyclic (resp. reiteratively hypercyclic) then the n-fold product of $T$ is still $\mathcal{U}$-frequently hypercyclic (resp. reiteratively hypercyclic) and that this implication is also satisfied for each of the considered $\mathcal{U}$-frequent hypercyclicity notions.


title: Modeling and prediction of the peak radiated sound in sub-sonic axisymmetric air jets using acoustic analogy based asymptotic analysis

abstract: This paper uses asymptotic analysis within the generalized acoustic analogy formulation (Goldstein. J. Fluid Mech 488, pp. 315-333, 2003) to develop a noise prediction model for the peak sound of axisymmetric round jets at subsonic acoustic Mach numbers ($Ma$). The analogy shows that the exact formula for the acoustic pressure is given by a convolution product of a propagator tensor (determined by the vector Green's function of the adjoint linearized Euler equations for a given jet mean flow) and a generalized source term representing the jet turbulence field. Using a low frequency/small spread rate asymptotic expansion of the propagator, mean flow non-parallelism enters the lowest order Green's function solution via the streamwise component of the mean flow advection vector in a hyperbolic partial differential equation (PDE). We then address the predictive capability of the solution to this PDE when used in the analogy through first-of-its-kind numerical calculations when an experimentally-verified model of the turbulence source structure is used together with Reynolds-averaged Navier Stokes solutions for the jet mean flow. Our noise predictions show a reasonable level of accuracy in the peak noise direction at $Ma=0.9$, for Strouhal number up to about $0.6$, and at $Ma=0.5$ using modified source coefficients. Possible reasons for this are discussed. Moreover, the prediction range can be extended beyond unity Strouhal number by using an approximate composite asymptotic formula for the vector Green's function that reduces to the locally parallel flow limit at high frequencies.


title: Patterned Probes for High Precision 4D-STEM Bragg Measurements

abstract: Nanoscale strain mapping by four-dimensional scanning transmission electron microscopy (4D-STEM) relies on determining the precise locations of Bragg-scattered electrons in a sequence of diffraction patterns, a task which is complicated by dynamical scattering, inelastic scattering, and shot noise. These features hinder accurate automated computational detection and position measurement of the diffracted disks, limiting the precision of measurements of local deformation. Here, we investigate the use of patterned probes to improve the precision of strain mapping. We imprint a "bullseye" pattern onto the probe, by using a binary mask in the probe-forming aperture, to improve the robustness of the peak finding algorithm to intensity modulations inside the diffracted disks. We show that this imprinting leads to substantially improved strain-mapping precision at the expense of a slight decrease in spatial resolution. In experiments on an unstrained silicon reference sample, we observe an improvement in strain measurement precision from 2.7% of the reciprocal lattice vectors with standard probes to 0.3% using bullseye probes for a thin sample, and an improvement from 4.7% to 0.8% for a thick sample. We also use multislice simulations to explore how sample thickness and electron dose limit the attainable accuracy and precision for 4D-STEM strain measurements.


title: Artificial Intelligence as a Services (AI-aaS) on Software-Defined Infrastructure

abstract: This paper investigates a paradigm for offering artificial intelligence as a service (AI-aaS) on software-defined infrastructures (SDIs). The increasing complexity of networking and computing infrastructures is already driving the introduction of automation in networking and cloud computing management systems. Here we consider how these automation mechanisms can be leveraged to offer AI-aaS. Use cases for AI-aaS are easily found in addressing smart applications in sectors such as transportation, manufacturing, energy, water, air quality, and emissions. We propose an architectural scheme based on SDIs where each AI-aaS application is comprised of a monitoring, analysis, policy, execution plus knowledge (MAPE-K) loop (MKL). Each application is composed as one or more specific service chains embedded in SDI, some of which will include a Machine Learning (ML) pipeline. Our model includes a new training plane and an AI-aaS plane to deal with the model-development and operational phases of AI applications. We also consider the role of an ML/MKL sandbox in ensuring coherency and consistency in the operation of multiple parallel MKL loops. We present experimental measurement results for three AI-aaS applications deployed on the SAVI testbed: 1. Compressing monitored data in SDI using autoencoders; 2. Traffic monitoring to allocate CPUs resources to VNFs; and 3. Highway segment classification in smart transportation.


title: The Composition and Mineralogy of Rocky Exoplanets: A Survey of >4,000 Stars from the Hypatia Catalog

abstract: We present a survey of >4,000 star compositions from the Hypatia Catalog to examine whether rocky exoplanets (i.e., those with rocky surfaces, dominated by silicates) might be geologically similar to Earth, at least with respect to composition and mineralogy. To do so, we explore the variety of reported stellar compositions to then determine a possible range of exoplanetary mantle mineralogies. We find that exoplanetary mantles will likely be dominated by olivine and/or orthopyroxene, depending upon Fe partitioning during core formation. Some exoplanets may be magnesiowustite- or quartz-saturated, and we present a new classification scheme based on the weight $\%$ ratio (FeO+MgO)/SiO$_{2}$, to differentiate rock types. But wholly exotic mineralogies should be rare to absent. We find that half or more of the range of exoplanet mantle mineralogy is controlled by core formation, which we model using $\alpha_{Fe}$ = $Fe^{BSP}$/$Fe^{BP}$, where $Fe^{BSP}$ is Fe in a Bulk Silicate Planet (bulk planet, minus core), on a cation weight $\%$ basis (elemental weight proportions, absent anions) and $Fe^{BP}$ is the cation weight $\%$ of Fe for a Bulk Planet. In our solar system, $\alpha_{Fe}$ varies from 0 (Mercury) to about 0.54 (Mars). Remaining variations in exoplanet mantle mineralogy result from non-trivial variations in star compositions. Our major oxide analysis also verifies earlier, isotopic studies indicating that Earth is non-solar (non-chondritic). We also find that major oxide estimates for Earth's mantle appear to preclude a hidden component in the deep mantle that would allow for a bulk solar/chondritic Earth. If it did exist, such a hidden component must comprise at least 28% of the mass of the total mantle (to avoid negative concentrations of some oxides) and would not look anything like the sources of ocean island or mid-ocean ridge basalts.


title: Collaborative Multi-Agent Dialogue Model Training Via Reinforcement Learning

abstract: We present the first complete attempt at concurrently training conversational agents that communicate only via self-generated language. Using DSTC2 as seed data, we trained natural language understanding (NLU) and generation (NLG) networks for each agent and let the agents interact online. We model the interaction as a stochastic collaborative game where each agent (player) has a role ("assistant", "tourist", "eater", etc.) and their own objectives, and can only interact via natural language they generate. Each agent, therefore, needs to learn to operate optimally in an environment with multiple sources of uncertainty (its own NLU and NLG, the other agent's NLU, Policy, and NLG). In our evaluation, we show that the stochastic-game agents outperform deep learning based supervised baselines.


title: Constructions of optimal rank-metric codes from automorphisms of rational function fields

abstract: We define a class of automorphisms of rational function fields of finite characteristic and employ these to construct different types of optimal linear rank-metric codes. The first construction is of generalized Gabidulin codes over rational function fields. Reducing these codes over finite fields, we obtain maximum rank distance (MRD) codes which are not equivalent to generalized twisted Gabidulin codes. We also construct optimal Ferrers diagram rank-metric codes which settles further a conjecture by Etzion and Silberstein.


title: Image of dynamic local exchange interactions in the dc magnetoresistance of spin-polarized current through a dopant

abstract: We predict strong, dynamical effects in the dc magnetoresistance of current flowing from a spin-polarized electrical contact through a magnetic dopant in a nonmagnetic host. Using the stochastic Liouville formalism we calculate clearly-defined resonances in the dc magnetoresistance when the applied magnetic field matches the exchange interaction with a nearby spin. At these resonances spin precession in the applied magnetic field is canceled by spin evolution in the exchange field, preserving a dynamic bottleneck for spin transport through the dopant. Similar features emerge when the dopant spin is coupled to nearby nuclei through the hyperfine interaction. These features provide a precise means of measuring exchange or hyperfine couplings between localized spins near a surface using spin-polarized scanning tunneling microscopy, without any ac electric or magnetic fields, even when the exchange or hyperfine energy is orders of magnitude smaller than the thermal energy.


title: Hard superconducting gap and diffusion-induced superconductors in Ge-Si nanowires

abstract: We show a hard induced superconducting gap in a Ge-Si nanowire Josephson transistor up to in-plane magnetic fields of $250$ mT, an important step towards creating and detecting Majorana zero modes in this system. A hard induced gap requires a highly homogeneous tunneling heterointerface between the superconducting contacts and the semiconducting nanowire. This is realized by annealing devices at $180$ $^\circ$C during which aluminium inter-diffuses and replaces the germanium in a section of the nanowire. Next to Al, we find a superconductor with lower critical temperature ($T_\mathrm{C}=0.9$ K) and a higher critical field ($B_\mathrm{C}=0.9-1.2$ T). We can therefore selectively switch either superconductor to the normal state by tuning the temperature and the magnetic field and observe that the additional superconductor induces a proximity supercurrent in the semiconducting part of the nanowire even when the Al is in the normal state. In another device where the diffusion of Al rendered the nanowire completely metallic, a superconductor with a much higher critical temperature ($T_\mathrm{C}=2.9$ K) and critical field ($B_\mathrm{C}=3.4$ T) is found. The small size of diffusion-induced superconductors inside nanowires may be of special interest for applications requiring high magnetic fields in arbitrary direction.


title: A nonunitary interpretation for a single vector leptoquark combined explanation to the $B$-decay anomalies

abstract: In order to simultaneously account for both $R_{D^{(\ast)}}$ and $R_{K^{(\ast)}}$ anomalies in $B$-decays, we consider an extension of the Standard Model by a single vector leptoquark field, and study how one can achieve the required lepton flavour non-universality, starting from a priori universal gauge couplings. While the unitary quark-lepton mixing induced by $SU(2)_L$ breaking is insufficient, we find that effectively nonunitary mixings hold the key to simultaneously address the $R_{K^{(\ast)}}$ and $R_{D^{(\ast)}}$ anomalies. As an intermediate step towards various UV-complete models, we show that the mixings of charged leptons with additional vector-like heavy leptons successfully provide a nonunitary framework to explain $R_{K^{(\ast)}}$ and $R_{D^{(\ast)}}$. These realisations have a strong impact for electroweak precision observables and for flavour violating ones: isosinglet heavy lepton realisations are already excluded due to excessive contributions to lepton flavour violating $Z$-decays. Furthermore, in the near future, the expected progress in the sensitivity of charged lepton flavour violation experiments should allow to fully probe this class of vector leptoquark models.


title: The Super Eight Galaxies: Properties of a Sample of Very Bright Galaxies at $7 < z < 8$

abstract: We present the Super Eight galaxies - a set of very luminous, high-redshift ($7.1<z<8.0$) galaxy candidates found in Brightest of Reionizing Galaxies (BoRG) Survey fields. The original sample includes eight galaxies that are $Y$-band dropout objects with $H$-band magnitudes of $m_H<25.5$. Four of these objects were originally reported in Calvi et al. 2016. Combining new Hubble Space Telescope (HST) WFC3/F814W imaging and $Spitzer$ IRAC data with archival imaging from BoRG and other surveys, we explore the properties of these galaxies. Photometric redshift fitting places six of these galaxies in the redshift range of $7.1<z<8.0$, resulting in three new high-redshift galaxies and confirming three of the four high-redshift galaxy candidates from Calvi et al. 2016. We calculate the half-light radii of the Super Eight galaxies using the HST F160W filter and find that the Super Eight sizes are in line with typical evolution of size with redshift. The Super Eights have a mean mass of log(M$_*$/M$_\odot$) $\sim10$, which is typical for sources in this luminosity range. Finally, we place our sample on the UV $z\sim8$ luminosity function and find that the Super Eight number density is consistent with other surveys in this magnitude and redshift range.


title: Mean field stability map of hard-sphere glasses

abstract: The response of amorphous solids to an applied shear deformation is an important problem, both in fundamental and applied research. To tackle this problem, we focus on a system of hard spheres in infinite dimensions as a solvable model for colloidal systems and granular matter. The system is prepared above the dynamical glass transition density, and we discuss the phase diagram of the resulting glass under compression, decompression, and shear strain, expanding on previous results [P. Urbani and F. Zamponi, Phys.Rev.Lett. 118, 038001 (2017)]. We show that the solid region is bounded by a "shear jamming" line, at which the solid reaches close packing, and a "shear yielding" line, at which the solid undergoes a spinodal instability towards a liquid, flowing phase. Furthermore, we characterize the evolution of these lines upon varying the glass preparation density. This work aims to provide a general overview of yielding and jamming phenomena in hard-sphere systems by a systematic exploration of the phase diagram.


title: Hybrid Residual Attention Network for Single Image Super Resolution

abstract: The extraction and proper utilization of convolution neural network (CNN) features have a significant impact on the performance of image super-resolution (SR). Although CNN features contain both the spatial and channel information, current deep techniques on SR often suffer to maximize performance due to using either the spatial or channel information. Moreover, they integrate such information within a deep or wide network rather than exploiting all the available features, eventually resulting in high computational complexity. To address these issues, we present a binarized feature fusion (BFF) structure that utilizes the extracted features from residual groups (RG) in an effective way. Each residual group (RG) consists of multiple hybrid residual attention blocks (HRAB) that effectively integrates the multiscale feature extraction module and channel attention mechanism in a single block. Furthermore, we use dilated convolutions with different dilation factors to extract multiscale features. We also propose to adopt global, short and long skip connections and residual groups (RG) structure to ease the flow of information without losing important features details. In the paper, we call this overall network architecture as hybrid residual attention network (HRAN). In the experiment, we have observed the efficacy of our method against the state-of-the-art methods for both the quantitative and qualitative comparisons.


title: Spherical Discrepancy Minimization and Algorithmic Lower Bounds for Covering the Sphere

abstract: Inspired by the boolean discrepancy problem, we study the following optimization problem which we term \textsc{Spherical Discrepancy}: given $m$ unit vectors $v_1, \dots, v_m$, find another unit vector $x$ that minimizes $\max_i \langle x, v_i\rangle$. We show that \textsc{Spherical Discrepancy} is APX-hard and develop a multiplicative weights-based algorithm that achieves optimal worst-case error bounds up to lower order terms. We use our algorithm to give the first non-trivial lower bounds for the problem of covering a hypersphere by hyperspherical caps of uniform volume at least $2^{-o(\sqrt{n})}$. We accomplish this by proving a related covering bound in Gaussian space and showing that in this \textit{large cap regime} the bound transfers to spherical space. Up to a log factor, our lower bounds match known upper bounds in the large cap regime.


title: Probing observational bounds on scalar-tensor theories from standard sirens

abstract: Standard sirens are the gravitational wave (GW) analog of the astronomical standard candles, and can provide powerful information about the dynamics of the Universe. In this work, we simulate a catalog with 1000 standard siren events from binary neutron star mergers, within the sensitivity predicted for the third generation of the ground GW detector called Einstein telescope. After correctly modifying the propagation of GWs as input to generate the catalog, we apply our mock data set on scalar-tensor theories where the speed of GW propagation is equal to the speed of light. As a first application, we find new observational bounds on the running of the Planck mass, when considering appropriate values within the stability condition of the theory, and we discuss some consequences on the amplitude of the running of the Planck mass. In the second part, we combine our simulated standard sirens catalog with other geometric cosmological tests (Supernovae Ia and cosmic chronometers measurements) to constrain the Hu-Sawicki $f(R)$ gravity model. We thus find new and non-null deviations from the standard $\Lambda$CDM model, showing that in the future the $f(R)$ gravity can be tested up to 95\% confidence level. The results obtained here show that the statistical accuracy achievable by future ground based GW observations, mainly with the ET detector (and planed detectors with a similar sensitivity), can provide strong observational bounds on modified gravity theories.


title: The Gain of Energy Accumulation in Multi-hop Wireless Network Broadcast

abstract: Broadcast is a fundamental network operation, widely used in wireless networks to disseminate messages. The energy-efficiency of broadcast is important particularly when devices in the network are energy constrained. To improve the efficiency of broadcast, different approaches have been taken in the literature. One of these approaches is broadcast with energy accumulation. Through simulations, it has been shown in the literature that broadcast with energy accumulation can result in energy saving. The amount of this saving, however, has only been analyzed for linear multi-hop wireless networks. In this work, we extend this analysis to two-dimensional (2D) multi-hop networks. The analysis of saving in 2D networks is much more challenging than that in linear networks. It is because, unlike in linear networks, in 2D networks, finding minimum-energy broadcasts with or without energy accumulation are both NP-hard problems. Nevertheless, using a novel approach, we prove that this saving is constant when the path loss exponent alpha is strictly greater than two. Also, we prove that the saving is theta(log n) when alpha=2, where n denotes the number of nodes in the network.


title: Graph-Structured Visual Imitation

abstract: We cast visual imitation as a visual correspondence problem. Our robotic agent is rewarded when its actions result in better matching of relative spatial configurations for corresponding visual entities detected in its workspace and teacher's demonstration. We build upon recent advances in Computer Vision,such as human finger keypoint detectors, object detectors trained on-the-fly with synthetic augmentations, and point detectors supervised by viewpoint changes and learn multiple visual entity detectors for each demonstration without human annotations or robot interactions. We empirically show the proposed factorized visual representations of entities and their spatial arrangements drive successful imitation of a variety of manipulation skills within minutes, using a single demonstration and without any environment instrumentation. It is robust to background clutter and can effectively generalize across environment variations between demonstrator and imitator, greatly outperforming unstructured non-factorized full-frame CNN encodings of previous works.


title: The Breakthrough Listen Search for Extraterrestrial Intelligence

abstract: The discovery of the ubiquity of habitable extrasolar planets, combined with revolutionary advances in instrumentation and observational capabilities, have ushered in a renaissance in the millenia-old quest to answer our most profound question about the Universe and our place within it - Are we alone? The Breakthrough Listen Initiative, announced in July 2015 as a 10-year 100M USD program, is the most comprehensive effort in history to quantify the distribution of advanced, technologically capable life in the universe. In this white paper, we outline the status of the on-going observing campaign with our primary observing facilities, as well as planned activities with these instruments over the next few years. We also list collaborative facilities which will conduct searches for technosignatures in either primary observing mode, or commensally. We highlight some of the novel analysis techniques we are bringing to bear on multi-petabyte data sets, including machine learning tools we are deploying to search for a broader range of technosignatures than was previously possible.


title: The Landscape of Non-convex Empirical Risk with Degenerate Population Risk

abstract: The landscape of empirical risk has been widely studied in a series of machine learning problems, including low-rank matrix factorization, matrix sensing, matrix completion, and phase retrieval. In this work, we focus on the situation where the corresponding population risk is a degenerate non-convex loss function, namely, the Hessian of the population risk can have zero eigenvalues. Instead of analyzing the non-convex empirical risk directly, we first study the landscape of the corresponding population risk, which is usually easier to characterize, and then build a connection between the landscape of the empirical risk and its population risk. In particular, we establish a correspondence between the critical points of the empirical risk and its population risk without the strongly Morse assumption, which is required in existing literature but not satisfied in degenerate scenarios. We also apply the theory to matrix sensing and phase retrieval to demonstrate how to infer the landscape of empirical risk from that of the corresponding population risk.


title: Cui Prodest? Reciprocity of collaboration measured by Russian Index of Science Citation

abstract: Scientific collaboration is often not perfectly reciprocal. Scientifically strong countries/institutions/laboratories may help their less prominent partners with leading scholars, or finance, or other resources. What is interesting in such type of collaboration is that (1) it may be measured by bibliometrics and (2) it may shed more light on the scholarly level of both collaborating organizations themselves. In this sense measuring institutions in collaboration sometimes may tell more than attempts to assess them as stand-alone organizations. Evaluation of collaborative patterns was explained in detail, for example, by Glanzel (2001; 2003). Here we combine these methods with a new one, made available by separating 'the best' journals from 'others' on the same platform of Russian Index of Science Citation (RISC). Such sub-universes of journals from 'different leagues' provide additional methods to study how collaboration influences the quality of papers published by organizations.


title: Localised flexural waves in wedges of power-law profile and their relationship with acoustic black holes

abstract: In the present paper, the relationship between localised flexural waves in wedges of power-law profile and flexural wave reflection from acoustic black holes is examined. The geometrical acoustics theory of localised flexural waves in wedges of power-law profile is briefly discussed. It is noted that, for wedge profiles with power-law exponents equal or larger than two, the velocities of all localised modes take zero values, unless there is a wedge truncation. It is demonstrated that this effect of zero velocities of localised flexural waves in ideal wedges is closely related to the phenomenon of zero reflection of flexural waves from ideally sharp one-dimensional acoustic black holes. A possible influence of localised wedge modes on flexural wave reflection from one-dimensional acoustic black holes having rough edges is discussed. With regard to two-dimensional acoustic black holes, the role of localised flexural waves propagating along wedge edges that are curved in their middle plane is considered. Such waves can propagate along edges of inner holes in two-dimensional acoustic black holes formed by circular indentations in plates of constant thickness. A possible impact of such localised waves on the processes of scattering of flexural waves by edge imperfections of inner holes in two-dimensional acoustic black holes is discussed, including their influence on the efficiency of two-dimensional acoustic black holes as vibration dampers.


title: Towards a Verified Model of the Algorand Consensus Protocol in Coq

abstract: The Algorand blockchain is a secure and decentralized public ledger based on pure proof of stake rather than proof of work. At its core it is a novel consensus protocol with exactly one block certified in each round: that is, the protocol guarantees that the blockchain does not fork. In this paper, we report on our effort to model and formally verify the Algorand consensus protocol in the Coq proof assistant. Similar to previous consensus protocol verification efforts, we model the protocol as a state transition system and reason over reachable global states. However, in contrast to previous work, our model explicitly incorporates timing issues (e.g., timeouts and network delays) and adversarial actions, reflecting a more realistic environment faced by a public blockchain. Thus far, we have proved asynchronous safety of the protocol: two different blocks cannot be certified in the same round, even when the adversary has complete control of message delivery in the network. We believe that our model is sufficiently general and other relevant properties of the protocol such as liveness can be proved for the same model.


title: Solving Hard Coreference Problems

abstract: Coreference resolution is a key problem in natural language understanding that still escapes reliable solutions. One fundamental difficulty has been that of resolving instances involving pronouns since they often require deep language understanding and use of background knowledge. In this paper, we propose an algorithmic solution that involves a new representation for the knowledge required to address hard coreference problems, along with a constrained optimization framework that uses this knowledge in coreference decision making. Our representation, Predicate Schemas, is instantiated with knowledge acquired in an unsupervised way, and is compiled automatically into constraints that impact the coreference decision. We present a general coreference resolution system that significantly improves state-of-the-art performance on hard, Winograd-style, pronoun resolution cases, while still performing at the state-of-the-art level on standard coreference resolution datasets.