title: Memento: Making Sliding Windows Efficient for Heavy Hitters

abstract: Cloud operators require real-time identification of Heavy Hitters (HH) and Hierarchical Heavy Hitters (HHH) for applications such as load balancing, traffic engineering, and attack mitigation. However, existing techniques are slow in detecting new heavy hitters. In this paper, we make the case for identifying heavy hitters through \textit{sliding windows}. Sliding windows detect heavy hitters quicker and more accurately than current methods, but to date had no practical algorithms. Accordingly, we introduce, design and analyze the \textit{Memento} family of sliding window algorithms for the HH and HHH problems in the single-device and network-wide settings. Using extensive evaluations, we show that our single-device solutions attain similar accuracy and are by up to $273\times$ faster than existing window-based techniques. Furthermore, we exemplify our network-wide HHH detection capabilities on a realistic testbed. To that end, we implemented Memento as an open-source extension to the popular HAProxy cloud load-balancer. In our evaluations, using an HTTP flood by 50 subnets, our network-wide approach detected the new subnets faster, and reduced the number of undetected flood requests by up to $37\times$ compared to the alternatives.


title: Imaging the Photochemical Ring-Opening of 1,3-Cyclohexadiene by Ultrafast Electron Diffraction

abstract: The ultrafast photoinduced ring-opening of 1,3-cyclohexadiene constitutes a textbook example of electrocyclic reactions in organic chemistry and a model for photobiological reactions in vitamin D synthesis. Here, we present direct and unambiguous observation of the ring-opening reaction path on the femtosecond timescale and sub-{\AA}ngstr\"om length scale by megaelectronvolt ultrafast electron diffraction. We follow the carbon-carbon bond dissociation and the structural opening of the 1,3-cyclohexadiene ring by direct measurement of time-dependent changes in the distribution of interatomic distances. We observe a substantial acceleration of the ring-opening motion after internal conversion to the ground state due to steepening of the electronic potential gradient towards the product minima. The ring-opening motion transforms into rotation of the terminal ethylene groups in the photoproduct 1,3,5-hexatriene on the sub-picosecond timescale. Our work demonstrates the potential of megaelectronvolt ultrafast electron diffraction to elucidate photochemical reaction paths in organic chemistry.


title: The Hochschild cohomology of the enveloping algebra of a Lie-Rinehart pair

abstract: Let $(S,L)$ be a Lie-Rinehart pair such that $L$ is $S$-projective and let $U$ be its universal enveloping algebra. The purpose of this paper is to present a spectral sequence which converges to the Hochschild cohomology of $U$ and whose second page involves the Lie-Rinehart cohomology of the pair and the Hochschild cohomology of $S$ with values on $U$.


title: Phase separation and self-assembly in vitrimers: hierarchical morphology of molten and semi-crystalline polyethylene/dioxaborolane maleimide systems

abstract: Vitrimers - a class of polymer networks which are covalently crosslinked and insoluble like thermosets, but flow when heated like thermoplastics - contain dynamic links and/or crosslinks that undergo an associative exchange reaction. These dynamic crosslinks enable vitrimers to have interesting mechanical/rheological behavior, self-healing, adhesive, and shape memory properties. We demonstrate that vitrimers can self-assemble into complex meso- and nanostructures when crosslinks and backbone monomers strongly interact. Vitrimers featuring polyethylene (PE) as the backbone and dioxaborolane maleimide as the crosslinkable moiety were studied in both the molten and semi-crystalline states. We observed that PE vitrimers macroscopically phase separated into dioxaborolane maleimide rich and poor regions, and characterized the extent of phase separation by optical transmission measurements. This phase separation can explain the relatively low insoluble fractions and overall crystallinities of PE vitrimers. Using synchrotron-sourced small-angle X-ray scattering (SAXS), we discovered that PE vitrimers and their linear precursors micro-phase separated into hierarchical nanostructures. Fitting of the SAXS patterns to a scattering model strongly suggests that the nanostructures - which persist in both the melt and amorphous fraction of the semi-crystalline state - may be described as dioxaborolane maleimide rich aggregates packed in a mass fractal arrangement. These findings of hierarchical meso- and nanostructures point out that incompatibility effects between network components and resulting self-assembly must be considered for understanding behavior and the rational design of vitrimer materials.


title: Statistics of work done in degenerate parametric amplification process

abstract: We study statistics of work done by two classical electric field pumps (two-photon and one-photon resonant pumps) on a quantum optical oscillator. We compute moment generating function for the energy change of the oscillator, interpreted as work done by the classical drives on the quantum oscillator starting out in a thermalized Boltzmann state. The moment generating function is inverted, analytically when only one of the pumps is turned on and numerically when both the pumps are turned on, to get the probability function for the work. The resulting probability function for the work done by the classical drive is shown to satisfy transient detailed and integral work fluctuation theorems. Interestingly, we find that, in order for the work distribution function to satisfy the fluctuation theorem in presence of both the drivings, relative phase of drivings need to be shifted by $\pi$, this is related to the broken time reversal symmetry of the Hamiltonian.


title: Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing

abstract: We present a new approach to testing file-system crash consistency: bounded black-box crash testing (B3). B3 tests the file system in a black-box manner using workloads of file-system operations. Since the space of possible workloads is infinite, B3 bounds this space based on parameters such as the number of file-system operations or which operations to include, and exhaustively generates workloads within this bounded space. Each workload is tested on the target file system by simulating power-loss crashes while the workload is being executed, and checking if the file system recovers to a correct state after each crash. B3 builds upon insights derived from our study of crash-consistency bugs reported in Linux file systems in the last five years. We observed that most reported bugs can be reproduced using small workloads of three or fewer file-system operations on a newly-created file system, and that all reported bugs result from crashes after fsync() related system calls. We build two tools, CrashMonkey and ACE, to demonstrate the effectiveness of this approach. Our tools are able to find 24 out of the 26 crash-consistency bugs reported in the last five years. Our tools also revealed 10 new crash-consistency bugs in widely-used, mature Linux file systems, seven of which existed in the kernel since 2014. Our tools also found a crash-consistency bug in a verified file system, FSCQ. The new bugs result in severe consequences like broken rename atomicity and loss of persisted files.


title: Bounding Optimality Gap in Stochastic Optimization via Bagging: Statistical Efficiency and Stability

abstract: We study a statistical method to estimate the optimal value, and the optimality gap of a given solution for stochastic optimization as an assessment of the solution quality. Our approach is based on bootstrap aggregating, or bagging, resampled sample average approximation (SAA). We show how this approach leads to valid statistical confidence bounds for non-smooth optimization. We also demonstrate its statistical efficiency and stability that are especially desirable in limited-data situations, and compare these properties with some existing methods. We present our theory that views SAA as a kernel in an infinite-order symmetric statistic, which can be approximated via bagging. We substantiate our theoretical findings with numerical results.


title: Network Distance Based on Laplacian Flows on Graphs

abstract: Distance plays a fundamental role in measuring similarity between objects. Various visualization techniques and learning tasks in statistics and machine learning such as shape matching, classification, dimension reduction and clustering often rely on some distance or similarity measure. It is of tremendous importance to have a distance that can incorporate the underlying structure of the object. In this paper, we focus on proposing such a distance between network objects. Our key insight is to define a distance based on the long term diffusion behavior of the whole network. We first introduce a dynamic system on graphs called Laplacian flow. Based on this Laplacian flow, a new version of diffusion distance between networks is proposed. We will demonstrate the utility of the distance and its advantage over various existing distances through explicit examples. The distance is also applied to subsequent learning tasks such as clustering network objects.


title: Sifaka: Text Mining Above a Search API

abstract: Text mining and analytics software has become popular, but little attention has been paid to the software architectures of such systems. Often they are built from scratch using special-purpose software and data structures, which increases their cost and complexity. This demo paper describes Sifaka, a new open-source text mining application constructed above a standard search engine index using existing application programmer interface (API) calls. Indexing integrates popular annotation software libraries to augment the full-text index with noun phrase and named-entities; n-grams are also provided. Sifaka enables a person to quickly explore and analyze large text collections using search, frequency analysis, and co-occurrence analysis; and import existing document labels or interactively construct document sets that are positive or negative examples of new concepts, perform feature selection, and export feature vectors compatible with popular machine learning software. Sifaka demonstrates that search engines are good platforms for text mining applications while also making common IR text mining capabilities accessible to researchers in disciplines where programming skills are less common.


title: Transition from the wave equation to either the heat or the transport equations through fractional differential expressions

abstract: We study a model that intermediates among the wave, heat, and transport equations. The approach considers the propagation of initial disturbances in a one-dimensional medium that can vibrate. The medium is nonlinear in such a form that nonlocal differential expressions are required to describe the time-evolution of solutions. Non-locality is modeled with a space-time fractional differential equation of order $1 \leq \alpha \leq 2$ in time, and order $1\leq \beta \leq 2$ in space. We adopt the notion of Caputo for time-derivative and the Riesz pseudo-differential operator for space-derivative. The corresponding Cauchy problem is solved for zero initial velocity and initial disturbance represented by either the Dirac delta or the Gaussian distributions. Well known results for the partial differential equations of wave propagation, diffusion and (modified) transport processes are recovered as particular cases. In addition, regular solutions are found for the partial differential equation that arises from $\alpha=2$ and $\beta=1$. Unlike the above cases, the latter equation permits the presence of nodes in its solutions.


title: On the Art and Science of Machine Learning Explanations

abstract: This text discusses several popular explanatory methods that go beyond the error measurements and plots traditionally used to assess machine learning models. Some of the explanatory methods are accepted tools of the trade while others are rigorously derived and backed by long-standing theory. The methods, decision tree surrogate models, individual conditional expectation (ICE) plots, local interpretable model-agnostic explanations (LIME), partial dependence plots, and Shapley explanations, vary in terms of scope, fidelity, and suitable application domain. Along with descriptions of these methods, this text presents real-world usage recommendations supported by a use case and public, in-depth software examples for reproducibility.


title: Shaped nozzles for cryogenic buffer gas beam sources

abstract: Cryogenic buffer gas beams are important sources of cold molecules. In this work we explore the use of a converging-diverging nozzle with a buffer-gas beam. We find that, under appropriate circumstances, the use of a nozzle can produce a beam with improved collimation, lower transverse temperatures, and higher fluxes per solid angle.


title: Tuning for Tissue Image Segmentation Workflows for Accuracy and Performance

abstract: We propose a software platform that integrates methods and tools for multi-objective parameter auto- tuning in tissue image segmentation workflows. The goal of our work is to provide an approach for improving the accuracy of nucleus/cell segmentation pipelines by tuning their input parameters. The shape, size and texture features of nuclei in tissue are important biomarkers for disease prognosis, and accurate computation of these features depends on accurate delineation of boundaries of nuclei. Input parameters in many nucleus segmentation workflows affect segmentation accuracy and have to be tuned for optimal performance. This is a time-consuming and computationally expensive process; automating this step facilitates more robust image segmentation workflows and enables more efficient application of image analysis in large image datasets. Our software platform adjusts the parameters of a nuclear segmentation algorithm to maximize the quality of image segmentation results while minimizing the execution time. It implements several optimization methods to search the parameter space efficiently. In addition, the methodology is developed to execute on high performance computing systems to reduce the execution time of the parameter tuning phase. Our results using three real-world image segmentation workflows demonstrate that the proposed solution is able to (1) search a small fraction (about 100 points) of the parameter space, which contains billions to trillions of points, and improve the quality of segmentation output by 1.20x, 1.29x, and 1.29x, on average; (2) decrease the execution time of a segmentation workflow by up to 11.79x while improving output quality; and (3) effectively use parallel systems to accelerate parameter tuning and segmentation phases.


title: Actor-Attention-Critic for Multi-Agent Reinforcement Learning

abstract: Reinforcement learning in multi-agent scenarios is important for real-world applications but presents challenges beyond those seen in single-agent settings. We present an actor-critic algorithm that trains decentralized policies in multi-agent settings, using centrally computed critics that share an attention mechanism which selects relevant information for each agent at every timestep. This attention mechanism enables more effective and scalable learning in complex multi-agent environments, when compared to recent approaches. Our approach is applicable not only to cooperative settings with shared rewards, but also individualized reward settings, including adversarial settings, as well as settings that do not provide global states, and it makes no assumptions about the action spaces of the agents. As such, it is flexible enough to be applied to most multi-agent learning problems.


title: Predicting the Sufficient-Statistics Power Spectrum for Galaxy Surveys: A Recipe for $P_{A*}(k)$

abstract: Future galaxy surveys hope to realize significantly tighter constraints on various cosmological parameters. The higher number densities achieved by these surveys will allow them to probe the smaller scales affected by non-linear clustering. However, in these regimes, the standard power spectrum can extract only a portion of such surveys' cosmological information. In contrast, the alternate statistic $A^*$ has the potential to double these surveys' information return, provided one can predict the $A^*$-power spectrum for a given cosmology. Thus, in this work we provide a prescription for this power spectrum $P_{A^*}(k)$, finding that the prescription is typically accurate to about 5 per cent for near-concordance cosmologies. This prescription will thus allow us to multiply the information gained from surveys such as Euclid and WFIRST.


title: Large Eddy Simulation of a NACA0015 Circulation Control Airfoil Using Synthetic Jets

abstract: Large eddy simulation of a NACA0015 circulation control airfoil using synthetic jets is conducted. A chord Reynolds number of 110000, the excitation frequency of 175 Hz, the momentum coefficients of 0.0044 to 0.0688, and the angles of attack of 0{\deg}, 6{\deg}, and 12{\deg} are employed in this study. The numerical results presented in this paper show good agreement with the experimental results. Fluctuations in the lift and drag coefficients on the non-actuated airfoil are found to be governed by the vortex shedding frequency. Provided that the momentum coefficient is sufficiently high, the lift and drag coefficients tend to fluctuate at the synthetic jet frequency. The mean lift coefficient linearly increases with the momentum coefficient at a low momentum coefficient range and its incremental rate begins to decline at a high momentum coefficient range. Increasing the angle of attack of the airfoil is observed to slightly reduce the slope of the lift increment.


title: A no-hair theorem for spherically symmetric black holes in $R^2$ gravity

abstract: In a recent paper Ca\~nate (CQG, {\bf 35}, 025018 (2018)) proved a no hair theorem to static and spherically symmetric or stationary axisymmetric black holes in general $f(R)$ gravity. The theorem applies for isolated asymptotically flat or asymptotically de Sitter black holes and also in the case when vacuum is replaced by a minimally coupled source having a traceless energy momentum tensor. This theorem excludes the case of pure quadratic gravity, $f(R) = R^2$. In this paper we use the scalar tensor representation of general $f(R)$ theory to show that there are no hairy black hole in pure $R^2$ gravity. The result is limited to spherically symmetric black holes but does not assume asymptotic flatness or de-Sitter asymptotics as in most of the no-hair theorems encountered in the literature. We include an example of a static and spherically symmetric black hole in $R^2$ gravity with a conformally coupled scalar field having a Higgs-type quartic potential.


title: A High-Fidelity Realization of the Euclid Code Comparison $N$-body Simulation with Abacus

abstract: We present a high-fidelity realization of the cosmological $N$-body simulation from the Schneider et al. (2016) code comparison project. The simulation was performed with our Abacus $N$-body code, which offers high force accuracy, high performance, and minimal particle integration errors. The simulation consists of $2048^3$ particles in a $500\ h^{-1}\mathrm{Mpc}$ box, for a particle mass of $1.2\times 10^9\ h^{-1}\mathrm{M}_\odot$ with $10\ h^{-1}\mathrm{kpc}$ spline softening. Abacus executed 1052 global time steps to $z=0$ in 107 hours on one dual-Xeon, dual-GPU node, for a mean rate of 23 million particles per second per step. We find Abacus is in good agreement with Ramses and Pkdgrav3 and less so with Gadget3. We validate our choice of time step by halving the step size and find sub-percent differences in the power spectrum and 2PCF at nearly all measured scales, with $<0.3\%$ errors at $k<10\ \mathrm{Mpc}^{-1}h$. On large scales, Abacus reproduces linear theory better than $0.01\%$. Simulation snapshots are available at http://nbody.rc.fas.harvard.edu/public/S2016 .


title: Stabilization and modulation of the topological magnetic phase with a $Z_2$-vortex lattice in the Kitaev-Heisenberg honeycomb model: The key role of the third-nearest-neighbor interaction

abstract: The topologically nontrivial magnetic phase with a $Z_2$-vortex (Z$_2$V) lattice is investigated by simulation in the Kitaev-Heisenberg honeycomb model expanded by considering the second- and third-nearest-neighbor Heisenberg interactions ($J_{H2}$ and $J_{H3}$). On the parameter region of the Z$_2$V phase, a gradual modulation of vortex density is observed, together with a transition from single-Z$_2$V to triple-Z$_2$V state driven by the variation of frustration. Additionally, $Z_2$ vortices are arranged in different manners on the whole honeycomb structure for these two types of Z$_2$V states. Moreover, topologically equivalent states are revealed to exist in single-Z$_2$V dominant and triple-Z$_2$V dominant styles on different parameter points, which can be controlled to switch between each other without energy consumption. It is worth noting that $J_{H3}$ plays a key role in expanding the Z$_2$V phase, and also in stabilizing the single-Z$_2$V state.


title: Askey--Wilson polynomials and a double $q$-series transformation formula with twelve parameters

abstract: The Askey--Wilson polynomials are the most general classical orthogonal polynomials that are known and the Nassrallah--Rahman integral is a very general extension of Euler's integral representation of the classical $_2F_1$ function. Based on a $q$-series transformation formula and the Nassrallah--Rahman integral we prove a $q$--beta integral which has twelve parameters, with several other results, both classical and new, included as special cases. This $q$-beta integral also allows us to derive a curious double $q$--series transformation formula, which includes one formula of Al--Salam and Ismail as a special case


title: Interaction and Autonomy in RoboCup@Home and Building-Wide Intelligence

abstract: Efforts are underway at UT Austin to build autonomous robot systems that address the challenges of long-term deployments in office environments and of the more prescribed domestic service tasks of the RoboCup@Home competition. We discuss the contrasts and synergies of these efforts, highlighting how our work to build a RoboCup@Home Domestic Standard Platform League entry led us to identify an integrated software architecture that could support both projects. Further, naturalistic deployments of our office robot platform as part of the Building-Wide Intelligence project have led us to identify and research new problems in a traditional laboratory setting.


title: A Class of Hybrid LQG Mean Field Games with State-Invariant Switching and Stopping Strategies

abstract: A novel framework is presented that combines Mean Field Game (MFG) theory and Hybrid Optimal Control (HOC) theory to obtain a unique $\epsilon$-Nash equilibrium for a non-cooperative game with switching and stopping times. We consider the case where there exists one major agent with a significant influence on the system together with a large number of minor agents constituting two subpopulations, each agent with individually asymptotically negligible effect on the whole system. Each agent has stochastic linear dynamics with quadratic costs, and the agents are coupled in their dynamics and costs by the average state of minor agents (i.e. the empirical mean field). It is shown that for a class of Hybrid LQG MFGs, the optimal switching and stopping times are state-invariant and only depend on the dynamical parameters of each agent. Accordingly, a hybrid systems formulation of the game is presented via the indexing by discrete events: (i) the switching of the major agent between alternative dynamics or (ii) the termination of the agents' trajectories in one or both of the subpopulations of minor agents. Optimal switchings and stopping time strategies together with best response control actions for, respectively, the major agent and all minor agents are established with respect to their individual cost criteria by an application of Hybrid LQG MFG theory.


title: A type III radio burst automatic analysis system and statistic results for a half solar-cycle with the Nan\c{c}ay Decameter Array data

abstract: We design an event recognition-analysis system that can automatically detect solar type III radio burst and can mine information of the burst from the dynamic spectra observed by Nancay Decameter Array (NDA). We investigate the frequency drift rate of type III bursts and the speed of electron beams responsible for the generation of the bursts. Several computer vision methods are used in this automatic analysis system. The Hough transform is performed to recognize the line segment associated with type III bursts in the dynamic spectra. A modified active contour model is used to track the backbone of the burst and estimate the frequency drift rate at different frequency channels. We run this system on the NDA data from 2012 to 2017, and give a statistical survey of the event number distribution, the starting and stopping frequencies of bursts, the frequency dependence of the drift rate, and the exciter speed using three corona density models. The median value of the average frequency drift rates is about 6.94MHz/s for 1389 simple well-isolated type III bursts detected in the frequency range 10--80 MHz of NDA observation. The frequency drift rate changes with frequency as $df/dt = -0.0672 f^{1.23}$ from a least-squares fitting. The average exciter speed is about 0.2c based the density models. We do not find any significant dependence of the drift rate and the exciter speed on the solar activity cycle.


title: Atoms in Quasilocal Integral Domains

abstract: Let $(R,M)$ be a quasilocal integral domain. We investigate the set of irreducible elements (atoms) of $R$. Special attention is given to the set of atoms in $M \backslash M^2$ and to the existence of atoms in $M^2$. While our main interest is in local Cohen-Kaplansky (CK) domains (atomic integral domains with only finitely many non-associate atoms), we endeavor to obtain results in the greatest generality possible. In contradiction to a statement of Cohen and Kaplansky, we construct a local CK domain with precisely eight nonassociate atoms having an atom in $M^2$.


title: Adaptive Geo-Topological Independence Criterion

abstract: Testing two potentially multivariate variables for statistical dependence on the basis finite samples is a fundamental statistical challenge. Here we explore a family of tests that adapt to the complexity of the relationship between the variables, promising robust power across scenarios. Building on the distance correlation, we introduce a family of adaptive independence criteria based on nonlinear monotonic transformations of distances. We show that these criteria, like the distance correlation and RKHS-based criteria, provide dependence indicators. We propose a class of adaptive (multi-threshold) test statistics, which form the basis for permutation tests. These tests empirically outperform some of the established tests in average and worst-case statistical sensitivity across a range of univariate and multivariate relationships, offer useful insights to the data and may deserve further exploration.

categories: stat.ML cs.AI cs.LG math.ST q-bio.NC stat.TH


title: Impact of geometry and non-idealities on electron 'optics' based graphene p-n junction devices

abstract: We articulate the challenges and opportunities of unconventional devices using the photon like flow of electrons in graphene, such as Graphene Klein Tunnel (GKT) transistors. The underlying physics is the employment of momentum rather than energy filtering to engineer a gate tunable transport gap in a 2D Dirac cone bandstructure. In the ballistic limit, we get a clean tunable gap that implies subthermal switching voltages below the Boltzmann limit, while maintaining a high saturating current in the output characteristic. In realistic structures, detailed numerical simulations and experiments show that momentum scattering, especially from the edges, bleeds leakage paths into the transport gap and turns it into a pseudogap. We quantify the importance of reducing edge roughness and overall geometry on the low-bias transfer characteristics of GKT transistors and benchmark against experimental data. We find that geometry plays a critical role in determining the performance of electron optics based devices that utilize angular resolution of electrons.


title: Laser-induced ultrafast transport and demagnetization at the earliest time: First-principles and real-time investigation

abstract: Here we carry out a first-principles time-dependent calculation to investigate how fast electrons actually move under laser excitation and how large the electron transport affects demagnetization on the shortest time scale. To take into account the transport effect, we implement the intraband transition in our theory. In the bulk fcc Ni, we find the effect of the spin transport on the demagnetization is extremely small, no more than 1\%. The collective electron velocity in Ni is 0.4 $\rm \AA/fs$, much smaller than the Fermi velocity, and the collective displacement is no more than 0.1 $\rm \AA$. But this does not mean that electrons do not travel fast; instead we find that electron velocities at two opposite crystal momenta cancel each other. We follow the $\Gamma$-X line and find a huge dispersion in the velocities in the crystal momentum space. In the Fe/W(110) thin film, the overall demagnetization is larger than Ni, and the Fermi velocity is higher than Ni. However, the effect of the spin transport is still small in the Fe/W(110) thin film. Based on our numerical results and existing experimental findings, we propose a different mechanism that can explain two latest experimental results. Our finding sheds new light on the effect of ballistic transport on demagnetization.


title: Analysis of sparse recovery for Legendre expansions using envelope bound

abstract: We provide novel sufficient conditions for the uniform recovery of sparse Legendre expansions using $\ell_1$ minimization, where the sampling points are drawn according to orthogonalization (uniform) measure. So far, conditions of the form $m \gtrsim \Theta^2 s \times \textit{log factors}$ have been relied on to determine the minimum number of samples $m$ that guarantees successful reconstruction of $s$-sparse vectors when the measurement matrix is associated to an orthonormal system. However, in case of sparse Legendre expansions, the uniform bound $\Theta$ of Legendre systems is so high that these conditions are unable to provide meaningful guarantees. In this paper, we present an analysis which employs the envelop bound of all Legendre polynomials instead, and prove a new recovery guarantee for $s$-sparse Legendre expansions, $$ m \gtrsim {s^2} \times \textit{log factors}, $$ which is independent of $\Theta$. Arguably, this is the first recovery condition established for orthonormal systems without assuming the uniform boundedness of the sampling matrix. The key ingredient of our analysis is an extension of chaining arguments, recently developed in [Bou14,CDTW15], to handle the envelope bound. Furthermore, our recovery condition is proved via restricted eigenvalue property, a less demanding replacement of restricted isometry property which is perfectly suited to the considered scenario. Along the way, we derive simple criteria to detect good sample sets. Our numerical tests show that sets of uniformly sampled points that meet these criteria will perform better recovery on average.


title: Scaling All-Goals Updates in Reinforcement Learning Using Convolutional Neural Networks

abstract: Being able to reach any desired location in the environment can be a valuable asset for an agent. Learning a policy to navigate between all pairs of states individually is often not feasible. An all-goals updating algorithm uses each transition to learn Q-values towards all goals simultaneously and off-policy. However the expensive numerous updates in parallel limited the approach to small tabular cases so far. To tackle this problem we propose to use convolutional network architectures to generate Q-values and updates for a large number of goals at once. We demonstrate the accuracy and generalization qualities of the proposed method on randomly generated mazes and Sokoban puzzles. In the case of on-screen goal coordinates the resulting mapping from frames to distance-maps directly informs the agent about which places are reachable and in how many steps. As an example of application we show that replacing the random actions in epsilon-greedy exploration by several actions towards feasible goals generates better exploratory trajectories on Montezuma's Revenge and Super Mario All-Stars games.


title: Science and applications of wafer-scale crystalline carbon nanotube films prepared through controlled vacuum filtration

abstract: Carbon nanotubes (CNTs) make an ideal one-dimensional (1D) material platform for the exploration of exotic physical phenomena under extremely strong quantum confinement. The 1D character of electrons, phonons and excitons in individual CNTs features extraordinary electronic, thermal and optical properties. Since the first discovery, they have been continuing to attract interest in various disciplines, including chemistry, materials science, physics, and engineering. However, the macroscopic manifestation of such properties is still limited, despite significant efforts for decades. Recently, a controlled vacuum filtration method has been developed for the preparation of wafer-scale films of crystalline chirality-enriched CNTs, and such films immediately enable exciting new fundamental studies and applications. In this review, we will first discuss the controlled vacuum filtration technique, and then summarize recent discoveries in optical spectroscopy studies and optoelectronic device applications using films prepared by this technique.


title: System Consequence

abstract: This paper discusses system consequence, a central idea in the project to lift the theory of information flow to the abstract level of universal logic and the theory of institutions. The theory of information flow is a theory of distributed logic. The theory of institutions is abstract model theory. A system is a collection of interconnected parts, where the whole may have properties that cannot be known from an analysis of the constituent parts in isolation. In an information system, the parts represent information resources and the interconnections represent constraints between the parts. System consequence, which is the extension of the consequence operator from theories to systems, models the available regularities represented by an information system as a whole. System consequence (without part-to-part constraints) is defined for a specific logical system (institution) in the theory of information flow. This paper generalizes the idea of system consequence to arbitrary logical systems.


title: Indirect Mechanism Design for Efficient and Stable Renewable Energy Aggregation

abstract: Mechanism design is studied for aggregating renewable power producers (RPPs) in a two-settlement power market. Employing an indirect mechanism design framework, a payoff allocation mechanism (PAM) is derived from the competitive equilibrium (CE) of a specially formulated market with transferrable payoff. Given the designed mechanism, the strategic behaviors of the participating RPPs entail a non-cooperative game: It is proven that a unique pure Nash equilibrium (NE) exists among the RPPs, for which a closed-form expression is found. Moreover, it is proven that the designed mechanism achieves a number of key desirable properties at the NE: these include efficiency (i.e., an ideal "Price of Anarchy" of one), stability (i.e., "in the core" from a coalitional game theoretic perspective), and no collusion. In addition, it is shown that a set of desirable "ex-post" properties are also achieved by the designed mechanism. Extensive simulations are conducted and corroborate the theoretical results.


title: On a Kelvin-Voigt Viscoelastic Wave Equation with Strong Delay

abstract: An initial-boundary value problem for a viscoelastic wave equation subject to a strong time-localized delay in a Kelvin & Voigt-type material law is considered. Transforming the equation to an abstract Cauchy problem on the extended phase space, a global well-posedness theory is established using the operator semigroup theory both in Sobolev-valued $C^{0}$- and BV-spaces. Under appropriate assumptions on the coefficients, a global exponential decay rate is obtained and the stability region in the parameter space is further explored using the Lyapunov's indirect method. The singular limit $\tau \to 0$ is further studied with the aid of the energy method. Finally, a numerical example from a real-world application in biomechanics is presented.


title: Projection for ZZZ Production Cross Section Measurements at the HL-LHC

abstract: Triple gauge boson (tri-boson) production is one of the ways to study the Quartic Gauge Couplings (QGC) and the anomalous QGC beyond the Standard Model of particle physics. In particular, we investigated the signal selection criteria for ZZZ production in the High Luminosity Large Hadron Collider (HL-LHC) scenario. We wrote code which selects and reconstructs 3 desired Z bosons from the produced electrons, muons and jets. We ran the code on selected Monte Carlo Simulation samples, including the ZZZ signal samples and other background (e.g. top pair production TT) samples. We made plots of event variables and looked for variables that can potentially separate the signal from the backgrounds. Then we put constraints on these variables to optimize the signal to background ratio for various types of final states of ZZZ and obtained the expected yields of the decays at the HL-LHC. We expect to see 1.42 +/- 0.25 ZZZ event with 0.82 +/- 0.60 background event in the rare fully leptonic channel. Furthermore, signal extraction in the 2 leptonic Z and 1 hadronic Z channel shows potential and is worth further investigation.


title: Super-Eddington Accretion in the WISE-Selected Extremely Luminous Infrared Galaxy W2246-0526

abstract: We use optical and near-infrared spectroscopy to observe rest-UV emission lines and estimate the black hole mass of WISEA J224607.56-052634.9 (W2246-0526) at z = 4.601, the most luminous hot dust-obscured galaxy yet discovered by WISE. From the broad component of the MgII-2799A emission line, we measure a black hole mass of log (M_BH/M_sun) = 9.6 +- 0.4. The broad CIV-1549A line is asymmetric and significantly blue-shifted. The derived M_BH from the blueshift-corrected broad CIV line width agrees with the MgII result. From direct measurement using a well-sampled SED, the bolometric luminosity is 3.6 * 10^14 L_sun. The corresponding Eddington ratio for W2246-0526 is lambda_Edd = L_AGN / L_Edd = 2.8. This high Eddington ratio may reach the level where the luminosity is saturating due to photon trapping in the accretion flow, and be insensitive to the mass accretion rate. In this case, the M_BH growth rate in W2246-0526 would exceed the apparent accretion rate derived from the observed luminosity.


title: Origin of topologically trivial states and topological phase transitions in low-buckled plumbene

abstract: Combining tight-binding (TB) models with first-principles calculations, we investigate electronic and topological properties of plumbene. Different from the other two-dimensional (2D) topologically nontrivial insulators in group IVA (from graphene to stanene), low-buckled plumbene is a topologically trivial insulator. The plumbene without spin-orbit coupling exhibits simultaneously two kinds of degeneracies, i.e., quadratic non-Dirac and linear Dirac band dispersions around the \Gamma and K/K' points, respectively. Our TB model calculations show that it is the coupling between the two topological states around the \Gamma and K/K' points that triggers the global topologically trivial property of plumbene. Quantum anomalous Hall effects with Chern numbers of 2 or -2 can be, however, achieved after an exchange field is introduced. When the plumbene is functionalized with ethynyl (PbC2H), quantum spin Hall effects appear due to the breaking of the coupling effect of the local topological states.


title: Towards Self-Tuning Parameter Servers

abstract: Recent years, many applications have been driven advances by the use of Machine Learning (ML). Nowadays, it is common to see industrial-strength machine learning jobs that involve millions of model parameters, terabytes of training data, and weeks of training. Good efficiency, i.e., fast completion time of running a specific ML job, therefore, is a key feature of a successful ML system. While the completion time of a long-running ML job is determined by the time required to reach model convergence, practically that is also largely influenced by the values of various system settings. In this paper, we contribute techniques towards building self-tuning parameter servers. Parameter Server (PS) is a popular system architecture for large-scale machine learning systems; and by self-tuning we mean while a long-running ML job is iteratively training the expert-suggested model, the system is also iteratively learning which system setting is more efficient for that job and applies it online. While our techniques are general enough to various PS-style ML systems, we have prototyped our techniques on top of TensorFlow. Experiments show that our techniques can reduce the completion times of a variety of long-running TensorFlow jobs from 1.4x to 18x.


title: FD-GAN: Pose-guided Feature Distilling GAN for Robust Person Re-identification

abstract: Person re-identification (reID) is an important task that requires to retrieve a person's images from an image dataset, given one image of the person of interest. For learning robust person features, the pose variation of person images is one of the key challenges. Existing works targeting the problem either perform human alignment, or learn human-region-based representations. Extra pose information and computational cost is generally required for inference. To solve this issue, a Feature Distilling Generative Adversarial Network (FD-GAN) is proposed for learning identity-related and pose-unrelated representations. It is a novel framework based on a Siamese structure with multiple novel discriminators on human poses and identities. In addition to the discriminators, a novel same-pose loss is also integrated, which requires appearance of a same person's generated images to be similar. After learning pose-unrelated person features with pose guidance, no auxiliary pose information and additional computational cost is required during testing. Our proposed FD-GAN achieves state-of-the-art performance on three person reID datasets, which demonstrates that the effectiveness and robust feature distilling capability of the proposed FD-GAN.


title: The Curses of Blockchain Decentralization

abstract: Decentralization, which has backed the hyper growth of many blockchains, comes at the cost of scalability. To understand this fundamental limitation, this paper proposes a quantitative measure of blockchain decentralization, and discusses its implications to various trust models and consensus algorithms. Further, we identify the major challenges in blockchain decentralization. Our key findings are that true decentralization is hard to achieve due to the skewed mining power and that a fully decentralized blockchain inherently limits scalability as it incurs a throughput upper bound and prevents scaling smart contract execution. To address these challenges, we outline three research directions to explore the trade-offs between decentralization and scalability.


title: Co-Stack Residual Affinity Networks with Multi-level Attention Refinement for Matching Text Sequences

abstract: Learning a matching function between two text sequences is a long standing problem in NLP research. This task enables many potential applications such as question answering and paraphrase identification. This paper proposes Co-Stack Residual Affinity Networks (CSRAN), a new and universal neural architecture for this problem. CSRAN is a deep architecture, involving stacked (multi-layered) recurrent encoders. Stacked/Deep architectures are traditionally difficult to train, due to the inherent weaknesses such as difficulty with feature propagation and vanishing gradients. CSRAN incorporates two novel components to take advantage of the stacked architecture. Firstly, it introduces a new bidirectional alignment mechanism that learns affinity weights by fusing sequence pairs across stacked hierarchies. Secondly, it leverages a multi-level attention refinement component between stacked recurrent layers. The key intuition is that, by leveraging information across all network hierarchies, we can not only improve gradient flow but also improve overall performance. We conduct extensive experiments on six well-studied text sequence matching datasets, achieving state-of-the-art performance on all.


title: Directional lasing at high oblique angle from metasurface exhibiting multivalley dispersion

abstract: We report on a metasurface laser emitting at the valley extremum of a multivalley energy-momentum dispersion. Such peculiar dispersion shape is obtained by hybridizing high quality factor photonic modes of different symmetry and opposite effective mass. The lasing effect takes place at high oblique angle ($\sim$20 degrees), in the telecom wavelength range ($\sim$1580 nm), on silicon substrate and operating at room temperature. Our results show the potential of multivalley dispersion for micro-laser in integrated photonic and beam-steering applications. It also opens the way to study various features of valleytronic physics such as spontaneous momentum symmetry breaking, two-mode squeezing and Josephson oscillation in momentum space.


title: Sharp estimates for the Schr\"odinger equation associated to the twisted Laplacian

abstract: In this note we obtain some Strichartz estimates for the Schr\"odinger equation associated to the twisted Laplacian on $\mathbb{C}^{n}\cong \mathbb{R}^{2n}$. The initial data will be considered in suitable Sobolev spaces associated to the twisted Laplacian.


title: The twisting procedure

abstract: This paper provides a conceptual study of the twisting procedure, which amounts to create functorially new differential graded Lie algebras, associative algebras or operads (as well as their homotopy versions) from a Maurer--Cartan element. On the way, we settle the integration theory of complete pre-Lie algebras in order to describe this twisting procedure in terms of gauge group action. We give a criterion on quadratic operads for the existence of a meaningful twisting procedure of their associated categories of (homotopy) algebras. We also give a new presentation of the twisting procedure for operads \`a la Willwacher and we perform new homology computations of graph complexes.


title: Sr$_3$Ir$_2$O$_7$F$_2$: Topochemical conversion of a relativistic Mott state into a spin-orbit driven band insulator

abstract: The topochemical transformation of single crystals of Sr$_3$Ir$_2$O$_7$ into Sr$_3$Ir$_2$O$_7$F$_2$ is reported via fluorine insertion. Characterization of the newly formed Sr$_3$Ir$_2$O$_7$F$_2$ phase shows a nearly complete oxidation of Ir$^{4+}$ cations into Ir$^{5+}$ that in turn drives the system from an antiferromagnetic Mott insulator with a half-filled J$_{eff}=1/2$ band into a nonmagnetic $J=0$ band insulator. First principles calculations reveal a remarkably flat insertion energy that locally drives the fluorination process to completion. Band structure calculations support the formation of a band insulator whose charge gap relies on the strong spin-orbit coupling inherent to the Ir metal ions of this compound.


title: Generalization of uniqueness theorem for meromorphic mappings sharing hyperplanes

abstract: In this article, by introducing a new method in estimating the counting function of the auxiliary function, we prove a new generalization of uniqueness theorems for meromorphic mappings into $\P^n(\C )$ which share few hyperplanes regardless of multiplicities. Our result improves the previous result in this topic. Moreover our proof is simpler than the previous proofs.


title: $\omega$-chaos without infinite LY-scrambled set on Gehman dendrite

abstract: We answer the last question left open in [Z.~Ko\v{c}an, \emph{Chaos on one-dimensional compact metric spaces}, Internat. J. Bifur. Chaos Appl. Sci. Engrg. \textbf{22}, article id: 1250259 (2012)] which asks whether there is a relation between an infinite LY-scrambled set and $\omega$-chaos for dendrite maps. We construct a continuous self-map of a dendrite without an infinite LY-scrambled set but containing an uncountable $\omega$-scrambled set.


title: Functional Galois connections and a classification of symmetric conservative clones with a finite carrier

abstract: We propose a classification of symmetric conservative clones with a finite carrier. For the study, we use the functional Galois connection $(Inv_Q, Pol_Q)$, which is a natural modification of the connection $(Inv, Pol)$ based on the preservation relation between functions $f$ on a set $A$ (of all finite arities) and sets of functions $h\in A^Q$ for an arbitrary set $Q$.


title: Voros Coefficients for the Hypergeometric Differential Equations and Eynard-Orantin's Topological Recursion - Part II : For the Confluent Family of Hypergeometric Equations

abstract: We show that the each member of the confluent family of the Gauss hypergeometric equations is realized as quantum curves for appropriate spectral curves. As an application, relations between the Voros coefficients of those equations and the free energy of their classical limit computed by the topological recursion are established. We will also find explicit expressions of the free energy and the Voros coefficients in terms of the Bernoulli numbers and Bernoulli polynomials.


title: Generalized squeezed states

abstract: Squeezed states are one of the most useful quantum optical models having various applications in different areas, especially in quantum information processing. Generalized squeezed states are even more interesting since, sometimes, they provide additional degrees of freedom in the system. However, they are very difficult to construct and, therefore, people explore such states for individual setting and, thus, a generic analytical expression for generalized squeezed states is yet inadequate in the literature. In this article, we propose a method for the generalization of such states, which can be utilized to construct the squeezed states for any kind of quantum models. Our protocol works accurately for the case of the trigonometric Rosen-Morse potential, which we have considered as an example. Presumably, the scheme should also work for any other quantum mechanical model. In order to verify our results, we have studied the nonclassicality of the given system using several standard mechanisms. Among them, the Wigner function turns out to be the most challenging from the computational point of view. We, thus, also explore a generalization of the Wigner function and indicate how to compute it for a general system like the trigonometric Rosen-Morse potential with a reduced computation time.


title: Ringel duals of Brauer algebras via super groups

abstract: We prove that the Brauer algebra, for all parameters for which it is quasi-hereditary, is Ringel dual to a category of representations of the orthosymplectic super group. As a consequence we obtain new and algebraic proofs for some results on the fundamental theorems of invariant theory for this super group over the complex numbers and also extend them to some cases in positive characteristic. Our methods also apply to the walled Brauer algebra in which case we obtain a duality with the general linear super group, with similar applications.


title: Generalized hyper-Ramsey resonance with spinors

abstract: The generalized hyper-Ramsey resonance formula originally published in Phys. Rev. A vol 92, 023416 (2015) is derived using a Cayley-Klein spinor parametrization. The shape of the interferometric resonance and the associated composite phase-shift are reformulated including all individual laser pulse parameters. Potential robustness of signal contrast and phase-shift of the wave-function fringe pattern can now be arbitrarily explored tracking any shape distortion due to systematic effects from the probe laser. An exact and simple analytical expression describing a Ramsey's method of separated composite oscillating laser fields with quantum state control allows us to accurately simulate all recent clock interrogation protocols under various pulse defects.


title: Mining Novel Multivariate Relationships in Time Series Data Using Correlation Networks

abstract: In many domains, there is significant interest in capturing novel relationships between time series that represent activities recorded at different nodes of a highly complex system. In this paper, we introduce multipoles, a novel class of linear relationships between more than two time series. A multipole is a set of time series that have strong linear dependence among themselves, with the requirement that each time series makes a significant contribution to the linear dependence. We demonstrate that most interesting multipoles can be identified as cliques of negative correlations in a correlation network. Such cliques are typically rare in a real-world correlation network, which allows us to find almost all multipoles efficiently using a clique-enumeration approach. Using our proposed framework, we demonstrate the utility of multipoles in discovering new physical phenomena in two scientific domains: climate science and neuroscience. In particular, we discovered several multipole relationships that are reproducible in multiple other independent datasets and lead to novel domain insights.


title: Ripple state in the frustrated honeycomb-lattice antiferromagnet

abstract: We discover a new type of multiple-$q$ state, "ripple state", in a frustrated honeycomb-lattice Heisenberg antiferromagnet under magnetic fields. The ground state has an infinite ring-like degeneracy in the wavevector space, exhibiting a cooperative paramagnetic state, "ring-liquid" state. We elucidate that the system exhibits the ripple state as a new low-temperature thermodynamic phase via a second-order phase transition from the ring-liquid state, keeping the ring-like spin structure factor. The spin texture in real space looks like a "water ripple" and can induce a giant electric polarization vortex. Possible relationship to the honeycomb-lattice compound, ${\rm Bi_{3}Mn_{4}O_{12}(NO_{3})}$, is discussed.


title: Social capital at venture capital firms and their financial performance: Evidence from China

abstract: This paper studies the extent to which social capital drives performance in the Chinese venture capital market and explores the trend toward VC syndication in China. First, we propose a hybrid model based on syndicated social networks and the latent-variable model, which describes the social capital at venture capital firms and builds relationships between social capital and performance at VC firms. Then, we build three hypotheses about the relationships and test the hypotheses using our proposed model. Some numerical simulations are given to support the test results. Finally, we show that the correlations between social capital and financial performance at venture capital firms are weak in China and find that China's venture capital firms lack mature social capital links.


title: On shuffle products, acyclic automata and piecewise-testable languages

abstract: We show that the shuffle $L \unicode{x29E2} F$ of a piecewise-testable language $L$ and a finite language $F$ is piecewise-testable. The proof relies on a classic but little-used automata-theoretic characterization of piecewise-testable languages. We also discuss some mild generalizations of the main result, and provide bounds on the piecewise complexity of $L \unicode{x29E2} F$.


title: Adapting to Unknown Noise Distribution in Matrix Denoising

abstract: We consider the problem of estimating an unknown matrix $\boldsymbol{X}\in {\mathbb R}^{m\times n}$, from observations $\boldsymbol{Y} = \boldsymbol{X}+\boldsymbol{W}$ where $\boldsymbol{W}$ is a noise matrix with independent and identically distributed entries, as to minimize estimation error measured in operator norm. Assuming that the underlying signal $\boldsymbol{X}$ is low-rank and incoherent with respect to the canonical basis, we prove that minimax risk is equivalent to $(\sqrt{m}\vee\sqrt{n})/\sqrt{I_W}$ in the high-dimensional limit $m,n\to\infty$, where $I_W$ is the Fisher information of the noise. Crucially, we develop an efficient procedure that achieves this risk, adaptively over the noise distribution (under certain regularity assumptions). Letting $\boldsymbol{X} = \boldsymbol{U}{\boldsymbol{\Sigma}}\boldsymbol{V}^{{\sf T}}$ --where $\boldsymbol{U}\in {\mathbb R}^{m\times r}$, $\boldsymbol{V}\in{\mathbb R}^{n\times r}$ are orthogonal, and $r$ is kept fixed as $m,n\to\infty$-- we use our method to estimate $\boldsymbol{U}$, $\boldsymbol{V}$. Standard spectral methods provide non-trivial estimates of the factors $\boldsymbol{U},\boldsymbol{V}$ (weak recovery) only if the singular values of $\boldsymbol{X}$ are larger than $(mn)^{1/4}{\rm Var}(W_{11})^{1/2}$. We prove that the new approach achieves weak recovery down to the the information-theoretically optimal threshold $(mn)^{1/4}I_W^{1/2}$.


title: Consistency and Computation of Regularized MLEs for Multivariate Hawkes Processes

abstract: This paper proves the consistency property for the regularized maximum likelihood estimators (MLEs) of multivariate Hawkes processes (MHPs). It also develops an alternating minimization type algorithm (AA-iPALM) to compute the MLEs with guaranteed global convergence to the set of stationary points. The performance of this AA-iPALM algorithm on both synthetic and real-world data shows that AA-iPALM consistently improves over iPALM and PALM. Moreover, AA-iPALM is able to identify the causality structure in rental listings on craigslist and herd behavior in the NASDAQ ITCH dataset.


title: Low rank spatial econometric models

abstract: This article presents a re-structuring of spatial econometric models in a linear mixed model framework. To that end, it proposes low rank spatial econometric models that are robust to the existence of noise (i.e., measurement error), and can enjoy fast parameter estimation and inference by Type II restricted likelihood maximization (empirical Bayes) techniques. The small sample properties of the proposed low rank spatial econometric models are examined using Monte Carlo simulation experiments, the results of these experiments confirm that direct effects and indirect effects a la LeSage and Pace (2009) can be estimated with a high degree of accuracy. Also, when data are noisy, estimators for coefficients in the proposed models have lower root mean squared errors compared to conventional specifications, despite them being low rank approximations. The proposed approach is implemented in an R package "spmoran".


title: Resolvent convergence to Dirac operators on planar domains

abstract: Consider a Dirac operator defined on the whole plane with a mass term of size m supported outside a domain Omega. We give a simple proof for the norm resolvent convergence, as m goes to infinity, of this operator to a Dirac operator defined on Omega with infinite mass boundary conditions. The result is valid for bounded and unbounded domains and gives estimates on the speed of convergence. Moreover, the method easily extends when adding external matrix-valued potentials.


title: Investigation of white-light emission in circular-ribbon flares

abstract: Using observations by the Solar Dynamics Observatory from June 2010 to December 2017, we have performed the first statistical investigation of circular-ribbon flares (CFs) and examined the white-light emission in these CFs. We find 90 CFs occurring in 36 active regions (ARs), including 8 X-class, 34 M-class, 48 C- and B-class flares. The occurrence rate of white-light flares (WLFs) is 100\% (8/8) for X-class CFs, $\sim$62\% (21/34) for M-class CFs, and $\sim$8\% (4/48) for C- and B-class CFs. Sometimes we observe several CFs in a single AR, and nearly all of them are WLFs. Compared to normal CFs, CFs with white-light enhancement tend to have a shorter duration, smaller size, stronger electric current and more complicated magnetic field. We find that for X-class WLFs, the white-light enhancement is positively correlated with the flare class, implying that the white-light enhancement is largely determined by the amount of released energy. However, there is no such correlation for M- and C-class WLFs, suggesting that other factors such as the time scale, spatial scale and magnetic field complexity may play important roles in the generation of white-light emission if the released energy is not high enough.


title: Higher-order Spectral Clustering for Heterogeneous Graphs

abstract: Higher-order connectivity patterns such as small induced sub-graphs called graphlets (network motifs) are vital to understand the important components (modules/functional units) governing the configuration and behavior of complex networks. Existing work in higher-order clustering has focused on simple homogeneous graphs with a single node/edge type. However, heterogeneous graphs consisting of nodes and edges of different types are seemingly ubiquitous in the real-world. In this work, we introduce the notion of typed-graphlet that explicitly captures the rich (typed) connectivity patterns in heterogeneous networks. Using typed-graphlets as a basis, we develop a general principled framework for higher-order clustering in heterogeneous networks. The framework provides mathematical guarantees on the optimality of the higher-order clustering obtained. The experiments demonstrate the effectiveness of the framework quantitatively for three important applications including (i) clustering, (ii) link prediction, and (iii) graph compression. In particular, the approach achieves a mean improvement of 43x over all methods and graphs for clustering while achieving a 18.7% and 20.8% improvement for link prediction and graph compression, respectively.


title: Jacobi Fields in Optimal Control I: Morse and Maslov Indices

abstract: In this paper we discuss a general framework based on symplectic geometry for the study of second order conditions in constrained variational problems on curves. Using the notion of L-derivatives we construct Jacobi curves, which represent a generalization of Jacobi fields from the classical calculus of variations, but which also works for non-smooth extremals. This construction includes in particular the previously known constructions for specific types of extremals. We state and prove Morse-type theorems that connect the negative inertia index of the Hessian of the problem to some symplectic invariants of Jacobi curves.


title: The universal Poisson deformation of hypertoric varieties and some classification results

abstract: In this paper, we study and describe the universal Poisson deformation space of hypertoric varieties concretely. In the first application, we show that affine hypertoric varieties as conical symplectic varieties are classified by the associated regular matroids (this is a partial generalization of the result by Arbo and Proudfoot). As a corollary, we obtain a criterion when two quiver varieties whose dimension vector have all coordinates equal to one are isomorphic to each other. Then we describe all 4- and 6-dimensional affine hypertoric varieties as quiver varieties and give some examples of 8-dimensional hypertoric varieties which cannot be raised as such quiver varieties. In the second application, we compute explicitly the number of all projective crepant resolutions of some 4-dimensional hypertoric varieties by using the combinatorics of hyperplane arrangements.


title: Cross validating extensions of kernel, sparse or regular partial least squares regression models to censored data

abstract: When cross-validating standard or extended Cox models, the commonly used criterion is the cross-validated partial loglikelihood using a naive or a van Houwelingen scheme -to make efficient use of the death times of the left out data in relation to the death times of all the data-. Quite astonishingly, we will show, using a strong simulation study involving three different data simulation algorithms, that these two cross-validation methods fail with the extensions, either straightforward or more involved ones, of partial least squares regression to the Cox model. This is quite an interesting result for at least two reasons. Firstly, several nice features of PLS based models, including regularization, interpretability of the components, missing data support, data visualization thanks to biplots of individuals and variables -and even parsimony for SPLS based models-, account for a common use of these extensions by statisticians who usually select their hyperparameters using cross-validation. Secondly, they are almost always featured in benchmarking studies to assess the performance of a new estimation technique used in a high dimensional context and often show poor statistical properties. We carried out a vast simulation study to evaluate more than a dozen of potential cross-validation criteria, either AUC or prediction error based. Several of them lead to the selection of a reasonable number of components. Using these newly found cross-validation criteria to fit extensions of partial least squares regression to the Cox model, we performed a benchmark reanalysis that showed enhanced performances of these techniques. In addition, we defined a new robust measure based on the Schmid score and the R coefficient of determination for least absolute deviation: the integrated R Schmid Score weighted. Simulations were carried out using the R-package plsRcox.


title: Local Boxicity and Maximum Degree

abstract: The \emph{local boxicity} of a graph $G$, denoted by $lbox(G)$, is the minimum positive integer $l$ such that $G$ can be obtained using the intersection of $k$ (, where $k \geq l$,) interval graphs where each vertex of $G$ appears as a non-universal vertex in at most $l$ of these interval graphs. Let $G$ be a graph on $n$ vertices having $m$ edges. Let $\Delta$ denote the maximum degree of a vertex in $G$. We show that, (i) $lbox(G) \leq 2^{13\log^{*}{\Delta}} \Delta$. There exist graphs of maximum degree $\Delta$ having a local boxicity of $\Omega(\frac{\Delta}{\log\Delta})$. (ii) $lbox(G) \in O(\frac{n}{\log{n}})$. There exist graphs on $n$ vertices having a local boxicity of $\Omega(\frac{n}{\log n})$. (iii) $lbox(G) \leq (2^{13\log^{*}{\sqrt{m}}} + 2 )\sqrt{m}$. There exist graphs with $m$ edges having a local boxicity of $\Omega(\frac{\sqrt{m}}{\log m})$. (iv) the local boxicity of $G$ is at most its \emph{product dimension}. This connection helps us in showing that the local boxicity of the \emph{Kneser graph} $K(n,k)$ is at most $\frac{k}{2} \log{\log{n}}$. The above results can be extended to the \emph{local dimension} of a partially ordered set due to the known connection between local boxicity and local dimension. Finally, we show that the \emph{cubicity} of a graph on $n$ vertices of girth greater than $g+1$ is $O(n^{\frac{1}{\lfloor g/2\rfloor}}\log n)$.


title: On the algebraic structure of $E_p^{(m)}$ and applications to cryptography

abstract: In this paper we show that the $\mathbb Z/p^{m}\mathbb Z$-module structure of the ring $E_p^{(m)}$ is isomorphic to a $\mathbb Z/p^{m}\mathbb Z$-submodule of the matrix ring over $\mathbb Z/p^{m}\mathbb Z$. Using this intrinsic structure of $E_p^{(m)}$, solving a linear system over $E_p^{(m)}$ becomes computationally equivalent to solving a linear system over $\mathbb Z/p^{m}\mathbb Z$. As an application we break the protocol based on the Diffie-Hellman Decomposition problem and ElGamal Decomposition problem over $E_p^{(m)}$. Our algorithm terminates in a provable running time of $O(m^{6})$ $\mathbb Z/p^{m}\mathbb Z$-operations.


title: Can Formamide Be Formed on Interstellar Ice? An Atomistic Perspective

abstract: Interstellar formamide (NH2CHO) has recently attracted significant attention due to its potential role as a molecular building block in the formation of precursor biomolecules relevant for the origin of life. Its formation, whether on the surfaces of the interstellar grains or in the gas phase, is currently debated. The present article presents new theoretical quantum chemical computations on possible NH2CHO formation routes in water-rich amorphous ices, simulated by a 33-H2O-molecule cluster. We have considered three possible routes. The first one refers to a scenario used in several current astrochemical models, that is, the radical-radical association reaction between NH2 and HCO. Our calculations show that formamide can indeed be formed, but in competition with formation of NH3 and CO through a direct H transfer process. The final outcome of the NH2 + HCO reactivity depends on the relative orientation of the two radicals on the ice surface. We then analyzed two other possibilities, suggested here for the first time: reaction of either HCN or CN with water molecules of the ice mantle. The reaction with HCN has been found to be characterized by large energy barriers and, therefore, cannot occur under the interstellar ice conditions. On the contrary, the reaction with the CN radical can occur, possibly leading through multiple steps to the formation of NH2CHO. For this reaction, water molecules of the ice act as catalytic active sites since they help the H transfers involved in the process, thus reducing the energy barriers (compared to the gas-phase analogous reaction). Additionally, we apply a statistical model to estimate the reaction rate coefficient when considering the cluster of 33-H2O-molecules as an isolated moiety with respect to the surrounding environment, i.e., the rest of the ice.


title: Understanding Recurrent Neural Architectures by Analyzing and Synthesizing Long Distance Dependencies in Benchmark Sequential Datasets

abstract: In order to build efficient deep recurrent neural architectures, it is essential to analyze the complexityof long distance dependencies (LDDs) of the dataset being modeled. In this paper, we presentdetailed analysis of the dependency decay curve exhibited by various datasets. The datasets sampledfrom a similar process (e.g. natural language, sequential MNIST, Strictlyk-Piecewise languages,etc) display variations in the properties of the dependency decay curve. Our analysis reveal thefactors resulting in these variations; such as (i) number of unique symbols in a dataset, (ii) size ofthe dataset, (iii) number of interacting symbols within a given LDD, and (iv) the distance betweenthe interacting symbols. We test these factors by generating synthesized datasets of the Strictlyk-Piecewise languages. Another advantage of these synthesized datasets is that they enable targetedtesting of deep recurrent neural architectures in terms of their ability to model LDDs with differentcharacteristics. We also demonstrate that analysing dependency decay curves can inform the selectionof optimal hyper-parameters for SOTA deep recurrent neural architectures. This analysis can directlycontribute to the development of more accurate and efficient sequential models.


title: Possible origin of $\beta$-relaxation in amorphous metal alloys from atomic-mass differences of the constituents

abstract: We employ an atomic-scale theory within the framework of nonaffine lattice dynamics to uncover the origin of the Johari-Goldstein (JG) $\beta$-relaxation in metallic glasses (MGs). Combining simulation and experimental data with our theoretical approach, we reveal that the large mass asymmetry between the elements in a La$_{60}$Ni$_{15}$Al$_{25}$ MG leads to a clear separation in the respective relaxation time scales, giving strong evidence that JG relaxation is controlled by the lightest atomic species present. Moreover, we show that only qualitative features of the vibrational density of states determine the overall observed mechanical response of the glass, paving the way for a possible unified theory of secondary relaxations in glasses.


title: Performance Evaluation of VoLTE Based on Field Measurement Data

abstract: Voice over Long-Term Evolution (VoLTE) has been witnessing a rapid deployment by network carriers worldwide. During the phases of VoLTE deployments, carriers would typically face challenges in understanding the factors affecting the VoLTE performance and then optimizing it to meet or exceed the performance of the legacy circuit switched (CS) network (i.e., 2G/3G). The main challenge of VoLTE service quality is the LTE network optimization and the performance aspects of the service in different LTE deployment scenarios. In this paper, we present a detailed practical performance analysis of VoLTE based on commercially deployed 3GPP Release-10 LTE networks. The analysis evaluates VoLTE performance in terms of real-time transport protocol (RTP) error rate, RTP jitter and delays, block error rate (BLER) in different radio conditions and VoLTE voice quality in terms of mean opinion score (MOS). In addition, the paper evaluates key VoLTE features such as RObust Header Compression (ROHC) and transmission time interval (TTI) bundling. This paper provides guidelines for best practices of VoLTE deployment as well as practical performance evaluation based on field measurement data from commercial LTE networks.


title: Counting conjugacy classes in groups with contracting elements

abstract: In this paper, we derive an asymptotic formula for the number of conjugacy classes of elements in a class of statistically convex-cocompact actions with contracting elements. Denote by $\mathcal C(o, n)$ (resp. $\mathcal C'(o, n)$) the set of (resp. primitive) conjugacy classes of pointed length at most $n$ for a basepoint $o$. The main result is an asymptotic formula as follows: $$\sharp \mathcal C(o, n) \asymp \sharp \mathcal C'(o, n) \asymp \frac{\exp(\omega(G)n)}{n}.$$ A similar formula holds for conjugacy classes using stable length. As a consequence of the formulae, the conjugacy growth series is transcendental for all non-elementary relatively hyperbolic groups, graphical small cancellation groups with finite components. As by-product of the proof, we establish several useful properties for an exponentially generic set of elements. In particular, it yields a positive answer to a question of J. Maher that an exponentially generic elements in mapping class groups have their Teichm\"{u}ller axis contained in the principal stratum.


title: Practical Aspects of LTE Network Design and Deployment

abstract: This paper covers the practical aspects of commercial long term evolution (LTE) network design and deployment. The end-to-end architecture of the LTE network and different deployment scenarios are presented. Moreover, the LTE coverage and link budget aspects are discussed in details. Theoretical and practical throughputs of LTE system are analyzed. In addition, capacity dimensioning of LTE system is explained in details and compared with the evolved high-speed packet access (HSPA+) system. Additionally, the quality of service (QoS) of the LTE system and the end-to-end implementation scenarios along with testing results are presented. Finally, the latency of the LTE system is analyzed and compared with the HSPA+ system. This paper can be used as a reference for best practices in LTE network design and deployment.


title: $2\odot 2=4$: Temporal-Spatial Coupling and Beyond in Computational Fluid Dynamics (CFD)

abstract: With increasing engineering demands, there need high order accurate schemes embedded with precise physical information in order to capture delicate small scale structures and strong waves with correct "physics". There are two families of high order methods: One is the method of line, relying on the Runge-Kutta (R-K) time-stepping. The building block is the Riemann solution labeled as the solution element "1". Each step in R-K just has first order accuracy. In order to derive a fourth order accuracy scheme in time, one needs four stages labeled as "$1\odot 1\odot 1\odot 1=4$". The other is the one-stage Lax-Wendroff (L-W) type method, which is more compact but is complicated to design numerical fluxes and hard to use when applied to highly nonlinear problems. In recent years, the pair of solution element and dynamics, labeled as "$2$", are taken as the building black. The direct adoption of the dynamics implies the inherent temporal-spatial coupling. With this type of building blocks, a family of two-stage fourth order accurate schemes, labeled as "$2\odot 2=4$", are designed for the computation of compressible fluid flows. The resulting schemes are compact, robust and efficient. This paper contributes to elucidate how and why high order accurate schemes should be so designed. To some extent, the "$2\odot 2=4$" algorithm extracts the advantages of the method of line and one-stage L-W method. As a core part, the pair "$2$" is expounded and L-W solver is revisited. The generalized Riemann problem (GRP) solver, as the discontinuous and nonlinear version of L-W flow solver, and the gas kinetic scheme (GKS) solver, the microscopic L-W solver, are all reviewed. The compact Hermite-type data reconstruction and high order approximation of boundary conditions are proposed. Besides, the computational performance and prospective discussions are presented.


title: Managing Smartphones Signalling Load in UMTS Networks: A Practical Analysis

abstract: Smartphone users and application behaviors add high pressure to apply smart techniques that stabilize the network capacity and consequently improve the end-user experience. The massive increase in smartphone penetration engenders signalling load, which exceeds the network capacity in terms of signaling. The signalling load leads to network congestion, degradation in the network KPIs. The classical way to tackle the signalling is by network expansion. However, this approach is not efficient in terms of capital expenditure (CAPEX) and also in terms of efficient utilization of the network resources. More specifically, the signaling domain becomes overloaded while the data domain are underutilized. In this paper, two UMTS air-interface features; Cell-PCH (paging channel) and enhanced fast dormancy (E-FD) are analyzed to mitigate the signalling load. Practical performance analysis is conducted based on results from commercial UMTS networks. The deployment of these features offers major improvement in network KPIs and significant relief in the signaling load. It is concluded that these two features in addition to several optimization techniques, discussed in this paper, provide solution to the smartphone signaling load and efficiently utilize the available network and spectrum resources while providing users with better always-on connectivity and improved battery consumption.


title: Optimized determination of the polarized Bjorken sum rule in pQCD

abstract: We present the method of numerical optimization for the perturbative series using the renormalization group in quantum chromodynamics. We apply our approach to the perturbation series in $\alpha_s$ for the coefficient function $C_\text{Bjp}(\alpha_s)$ of the Bjorken sum rule for the polarized deep inelastic lepton-hadron scattering. We optimize the Bjorken sum rule value, $\Gamma_1^\text{p-n}$, at the COMPASS, SLAC and JLab kinematics and compare the obtained results with the experimental measurements and also with the truncated Bjorken sum rule predictions.


title: Alpha Entanglement Codes: Practical Erasure Codes to Archive Data in Unreliable Environments

abstract: Data centres that use consumer-grade disks drives and distributed peer-to-peer systems are unreliable environments to archive data without enough redundancy. Most redundancy schemes are not completely effective for providing high availability, durability and integrity in the long-term. We propose alpha entanglement codes, a mechanism that creates a virtual layer of highly interconnected storage devices to propagate redundant information across a large scale storage system. Our motivation is to design flexible and practical erasure codes with high fault-tolerance to improve data durability and availability even in catastrophic scenarios. By flexible and practical, we mean code settings that can be adapted to future requirements and practical implementations with reasonable trade-offs between security, resource usage and performance. The codes have three parameters. Alpha increases storage overhead linearly but increases the possible paths to recover data exponentially. Two other parameters increase fault-tolerance even further without the need of additional storage. As a result, an entangled storage system can provide high availability, durability and offer additional integrity: it is more difficult to modify data undetectably. We evaluate how several redundancy schemes perform in unreliable environments and show that alpha entanglement codes are flexible and practical codes. Remarkably, they excel at code locality, hence, they reduce repair costs and become less dependent on storage locations with poor availability. Our solution outperforms Reed-Solomon codes in many disaster recovery scenarios.


title: Monopolar and quadrupolar gravitational radiation from magnetically deformed neutron stars in modified gravity

abstract: Some modified theories of gravity are known to predict monopolar, in addition to the usual quadrupolar and beyond, gravitational radiation in the form of `breathing' modes. For the same reason that octupole and higher-multipole terms often contribute negligibly to the overall wave strain, monopole terms tend to dominate. We investigate both monopolar and quadrupolar continuous gravitational radiation from neutron stars deformed through internal magnetic stresses. We adopt the Parameterised-Post-Newtonian formalism to write down equations describing the leading-order stellar properties in a theory-independent way, and derive some exact solutions for stars with mixed poloidal-toroidal magnetic fields. We then turn to the specific case of scalar-tensor theories to demonstrate how observational upper limits on the gravitational-wave luminosity of certain neutron stars may be used to place constraints on modified gravity parameters, most notably the Eddington parameter $\gamma$. For conservative, purely poloidal models with characteristic field strength given by the spindown minimum, upper limits for the Vela pulsar yield $1-\gamma \lesssim 4.2 \times 10^{-3}$. For models containing a strong toroidal field housing $\sim 99\%$ of the internal magnetic energy, we obtain the bound $1- \gamma \lesssim 8.0 \times 10^{-7}$. This latter bound is an order of magnitude tighter than those obtained from current Solar system experiments, though applies to the strong-field regime.


title: Anytime Stochastic Gradient Descent: A Time to Hear from all the Workers

abstract: In this paper, we focus on approaches to parallelizing stochastic gradient descent (SGD) wherein data is farmed out to a set of workers, the results of which, after a number of updates, are then combined at a central master node. Although such synchronized SGD approaches parallelize well in idealized computing environments, they often fail to realize their promised computational acceleration in practical settings. One cause is slow workers, termed stragglers, who can cause the fusion step at the master node to stall, which greatly slowing convergence. In many straggler mitigation approaches work completed by these nodes, while only partial, is discarded completely. In this paper, we propose an approach to parallelizing synchronous SGD that exploits the work completed by all workers. The central idea is to fix the computation time of each worker and then to combine distinct contributions of all workers. We provide a convergence analysis and optimize the combination function. Our numerical results demonstrate an improvement of several factors of magnitude in comparison to existing methods.


title: Fast Object Learning and Dual-arm Coordination for Cluttered Stowing, Picking, and Packing

abstract: Robotic picking from cluttered bins is a demanding task, for which Amazon Robotics holds challenges. The 2017 Amazon Robotics Challenge (ARC) required stowing items into a storage system, picking specific items, and packing them into boxes. In this paper, we describe the entry of team NimbRo Picking. Our deep object perception pipeline can be quickly and efficiently adapted to new items using a custom turntable capture system and transfer learning. It produces high-quality item segments, on which grasp poses are found. A planning component coordinates manipulation actions between two robot arms, minimizing execution time. The system has been demonstrated successfully at ARC, where our team reached second places in both the picking task and the final stow-and-pick task. We also evaluate individual components.


title: Dissecting Apple's Meta-CDN during an iOS Update

abstract: Content delivery networks (CDN) contribute more than 50% of today's Internet traffic. Meta-CDNs, an evolution of centrally controlled CDNs, promise increased flexibility by multihoming content. So far, efforts to understand the characteristics of Meta-CDNs focus mainly on third-party Meta-CDN services. A common, but unexplored, use case for Meta-CDNs is to use the CDNs mapping infrastructure to form self-operated Meta-CDNs integrating third-party CDNs. These CDNs assist in the build-up phase of a CDN's infrastructure or mitigate capacity shortages by offloading traffic. This paper investigates the Apple CDN as a prominent example of self-operated Meta-CDNs. We describe the involved CDNs, the request-mapping mechanism, and show the cache locations of the Apple CDN using measurements of more than 800 RIPE Atlas probes worldwide. We further measure its load-sharing behavior by observing a major iOS update in Sep. 2017, a significant event potentially reaching up to an estimated 1 billion iOS devices. Furthermore, by analyzing data from a European Eyeball ISP, we quantify third-party traffic offloading effects and find third-party CDNs increase their traffic by 438% while saturating seemingly unrelated links.


title: On Mass correction to Chiral Vortical Effect and Chiral Separation Effect

abstract: We study coefficients of axial chiral vortical effect and chiral separation effect at finite temperature and vector chemical potential in massive theories. We present two independent methods of calculating the coefficients: one from field theory and the other using the mass term in axial anomaly equation. An ambiguity in the integration constant similar to hydrodynamic approach to axial chiral vortical effect exists in the latter, but can be fixed naturally in the presence of mass. We obtain perfect agreement between the methods. The results of axial chiral vortical effect and chiral separation effect indicate that the presence of mass generically suppresses the two coefficients, with less suppression at larger chemical potential. For phenomenologically relevant case of quark gluon plasma with three quark flavor, we find the correction is negligible.


title: Personality facets recognition from text

abstract: Fundamental Big Five personality traits (e.g., Extraversion) and their facets (e.g., Activity) are known to correlate with a broad range of linguistic features and, accordingly, the recognition of personality traits from text is a well-known Natural Language Processing task. Labelling text data with facets information, however, may require the use of lengthy personality inventories, and perhaps for that reason existing computational models of this kind are usually limited to the recognition of the fundamental traits. Based on these observations, this paper investigates the issue of personality facets recognition from text labelled only with information available from a shorter personality inventory. In doing so, we provide a low-cost model for the recognition of certain personality facets, and present reference results for further studies in this field.


title: Camera Model Identification Using Convolutional Neural Networks

abstract: Source camera identification is the process of determining which camera or model has been used to capture an image. In the recent years, there has been a rapid growth of research interest in the domain of forensics. In the current work, we describe our Deep Learning approach to the camera detection task of 10 cameras as a part of the Camera Model Identification Challenge hosted by Kaggle.com where our team finished 2nd out of 582 teams with the accuracy on the unseen data of 98%. We used aggressive data augmentations that allowed a model to stay robust against transformations. A number of experiments are carried out on datasets collected by organizers and scraped from the web.


title: A complete solution to the infinite Oberwolfach problem

abstract: Let $F$ be a $2$-regular graph of order $v$. The Oberwolfach problem, $OP(F)$, asks for a $2$-factorization of the complete graph on $v$ vertices in which each $2$-factor is isomorphic to $F$. In this paper, we give a complete solution to the Oberwolfach problem over infinite complete graphs, proving the existence of solutions that are regular under the action of a given involution free group $G$. We will also consider the same problem in the more general contest of graphs $F$ that are spanning subgraphs of an infinite complete graph $\mathbb{K}$ and we provide a solution when $F$ is locally finite. Moreover, we characterize the infinite subgraphs $L$ of $F$ such that there exists a solution to $OP(F)$ containing a solution to $OP(L)$.


title: Eigenvector convergence for minors of unitarily invariant infinite random matrices

abstract: Pickrell has fully characterized the unitarily invariant probability measures on infinite Hermitian matrices, and an alternative proof of this classification has been found by Olshanski and Vershik. Borodin and Olshanski deduced from this proof that under any of these invariant measures, the extreme eigenvalues of the minors, divided by the dimension, converge almost surely. In this paper, we prove that one also has a weak convergence for the eigenvectors, in a sense which is made precise. After mapping Hermitian to unitary matrices via the Cayley transform, our result extends a convergence proven in our paper with Maples and Nikeghbali, for which a coupling of the Circular Unitary Ensemble of all dimensions is considered.


title: Global Well-Posedness and Global Attractor for Two-dimensional Zakharov-Kuznetsov Equation

abstract: The initial value problem for two-dimensional Zakharov-Kuznetsov equation is shown to be globally well-posed in $H^s({\mathbb{R}^2})$ for all $\frac{5}{7}<s<1$ via using $I$-method in the context of atomic spaces. By means of the increment of modified energy, the exsitence of global attractor for weakly damped, forced Zakharov-Kuznetsov equation is also established in $H^s({\mathbb{R}^2})$ for $\frac{10}{11}<s<1$.


title: Polynomial Index in Dedekind Rings

abstract: Let $R$ be a Dedekind ring, $\mathfrak{p}$ a nonzero prime ideal of $R$, $P\in R[X]$ a monic irreducible polynomial, and $K$ the quotient field of $R$. We give in this paper a lower bound for the $\mathfrak{p}$-adic valuation of the index of $P$ over $R$ in terms of the degrees of the monic irreducible factors of the reduction of $P$ modulo $\mathfrak{p}$. As an important application, when the lower bound is greater than zero for some $\mathfrak{p}$, we conclude that no root of $P$ generates a power integral basis in the field extension of $K$ defined by $P$.


title: Correcting HIRES radial velocities for small systematic errors

abstract: The HIRES spectrograph, mounted on the $10$-m Keck-I telescope, belongs to a small group of radial-velocity (RV) instruments that produce stellar RVs with long-term precision down to $\sim1$ ms$^{-1}$. In $2017$, the HIRES team published $64,480$ RVs of $1,699$ stars, collected between $1996$ and $2014$. In this bank of RVs, we identify a sample of RV-quiet stars, whose RV scatter is $<10$ ms$^{-1}$, and use them to reveal two small but significant nightly zero-point effects: a discontinuous jump, caused by major modifications of the instrument in August $2004$, and a long-term drift. The size of the $2004$ jump is $1.5\pm0.1$ ms$^{-1}$, and the slow zero-point variations have a typical magnitude of $\lesssim1$ ms$^{-1}$. In addition, we find a small but significant correlation between stellar RVs and the time relative to local midnight, indicative of an average intra-night drift of $0.051\pm0.004$ ms$^{-1}$hr$^{-1}$. We correct the $64,480$ HIRES RVs for the systematic effects we find, and make the corrected RVs publicly available. Our findings demonstrate the importance of observing RV-quiet stars, even in the era of simultaneously-calibrated RV spectrographs. We hope that the corrected HIRES RVs will facilitate the search for new planet candidates around the observed stars.


title: On the Integral Closedness of $R[\alpha]$

abstract: Let $R$ be a Dedekind ring, $K$ its quotient field, and $L=K(\alpha)$ a finite field extension of $K$ defined by a monic irreducible polynomial $f(x)\in R[x]$. We give an easy version of Dedekind's criterion which computationally improves those versions know in the literature. We further use this result to give a sufficient condition for the integral closedness of $R[\alpha]$ when $f(x)=x^n-a$. In case $R$ is a ring of integers of a number field, we give yet sufficient and necessary conditions for this to hold, generalizing and improving in both cases some known results in this direction. Some highlighting examples are also given.


title: Impact of Angular Deviation from Coincidence Site Lattice Grain Boundaries on Hydrogen Segregation and Diffusion in Alpha-iron

abstract: Coincidence Site Lattice (CSL) grain boundaries (GBs) are believed to be low-energy, resistant to intergranular fracture, as well as to hydrogen embrittlement. Nevertheless, the behavior of CSL-GBs are generally confused with their angular deviations. In the current study, the effect of angular deviation from the perfect sigma3 (111) [1-10] GBs in Alpha-iron on the hydrogen diffusion and the susceptibility of the GB to hydrogen embrittlement is investigated through molecular static and dynamics simulations. By utilizing Rice-Wang model it is shown that the ideal GB shows the highest resistance to decohesion below the hydrogen saturation limit. Finally, the hydrogen diffusivity along the ideal GB is observed to be the highest.


title: Distributed Learning Algorithms for Opportunistic Spectrum Access in Infrastructure-less Networks

abstract: An opportunistic spectrum access (OSA) for the infrastructure-less (or cognitive ad-hoc) network has received significant attention thanks to emerging paradigms such as the Internet of Things (IoTs) and smart grids. Research in this area has evolved from the \r{ho}rand algorithm requiring prior knowledge of the number of active secondary users (SUs) to the musical chair (MC) algorithm where the number of SUs are unknown and estimated independently at each SU. These works ignore the number of collisions in the network leading to wastage of power and bring down the effective life of battery operated SUs. In this paper, we develop algorithms for OSA that learn faster and incurs fewer number of collisions i.e. energy efficient. We consider two types of infrastructure-less decentralized networks: 1) static network where the number of SUs are fixed but unknown, and 2) dynamic network where SUs can independently enter or leave the network. We set up the problem as a multi-player mult-armed bandit and develop two distributed algorithms. The analysis shows that when all the SUs independently implement the proposed algorithms, the loss in throughput compared to the optimal throughput, i.e. regret, is a constant with high probability and significantly outperforms existing algorithms both in terms of regret and number of collisions. Fewer collisions make them ideally suitable for battery operated SU terminals. We validate our claims through exhaustive simulated experiments as well as through a realistic USRP based experiments in a real radio environment.


title: Multi-objective shape optimization of radio frequency cavities using an evolutionary algorithm

abstract: Radio frequency (RF) cavities are commonly used to accelerate charged particle beams. The shape of the RF cavity determines the resonant electromagnetic fields and frequencies, which need to satisfy a variety of requirements for a stable and efficient acceleration of the beam. For example, the accelerating frequency has to match a given target frequency, the shunt impedance usually has to be maximized, and the interaction of higher order modes with the beam minimized. In this paper we formulate such problems as constrained multi-objective shape optimization problems, use a massively parallel implementation of an evolutionary algorithm to find an approximation of the Pareto front, and employ a penalty method to deal with the constraint on the accelerating frequency. Considering vacuated axisymmetric RF cavities, we parameterize and mesh their cross section and then solve time-harmonic Maxwell's equations with perfectly electrically conducting boundary conditions using a fast 2D Maxwell eigensolver. The specific problem we focus on is the hypothetical problem of optimizing the shape of the main RF cavity of the planned upgrade of the Swiss Synchrotron Light Source (SLS), called SLS-2. We consider different objectives and geometry types and show the obtained results, i.e. the computed Pareto front approximations and the RF cavity shapes with desired properties. Finally, we compare these newfound cavity shapes with the current cavity of SLS.