title: Nonequilibrium diagrammatic technique for Hubbard Green functions

abstract: We introduce diagrammatic technique for Hubbard nonequilibrium Green functions (NEGF). The formulation is an extension of equilibrium considerations for strongly correlated lattice models to description of current carrying molecular junctions. Within the technique intra-system interactions are taken into account exactly, while molecular coupling to contacts is used as a small parameter in perturbative expansion. We demonstrate the viability of the approach with numerical simulations for a generic junction model of quantum dot coupled to two electron reservoirs.


title: The homotopy theory of type theories

abstract: We construct a left semi-model structure on the category of intensional type theories (precisely, on $\mathrm{CxlCat_{Id,1,\Sigma(,\Pi_{ext})}}$). This presents an $\infty$-category of such type theories; we show moreover that there is an $\infty$-functor $\mathrm{Cl}_\infty$ from there to the $\infty$-category of suitably structured quasi-categories. This allows a precise formulation of the conjectures that intensional type theory gives internal languages for higher categories, and provides a framework and toolbox for further progress on these conjectures.


title: Non-collinear Order and Spin-Orbit Coupling in Sr$_3$ZnIrO$_6$

abstract: Sr$_{3}$ZnIrO$_{6}$ is an effective spin one-half Mott insulating iridate belonging to a family of magnets which includes a number of quasi-one dimensional systems as well as materials exhibiting three dimensional order. Here we present the results of an extensive investigation into the magnetism including heat capacity, a.c. susceptibility, muon spin rotation ($\mu$SR), neutron diffraction and inelastic neutron scattering on the same sample. It is established that the material exhibits a transition at about $17$ K into a three-dimensional antiferromagnetic structure with propagation vector $\boldsymbol{k}=(0,\frac{1}{2},1)$ in the hexagonal setting of R$\bar{3}$c and non-collinear moments of $0.87$$\mu_B$ on Ir$^{4+}$ ions. Further we have observed a well defined powder averaged spin wave spectrum with zone boundary energy of $\sim 5$ meV at $5$ K. We stress that a theoretical analysis shows that the observed non-collinear magnetic structure arises from anisotropic inter- and intra- chain exchange which has its origin in significant spin-orbit coupling. The model can satisfactorily explain the observed spin wave excitations.


title: Leveraging Contact Network Information in Clustered Randomized Studies of Contagion Processes

abstract: In a randomized study, leveraging covariates related to the outcome (e.g. disease status) may produce less variable estimates of the effect of exposure. For contagion processes operating on a contact network, transmission can only occur through ties that connect affected and unaffected individuals; the outcome of such a process is known to depend intimately on the structure of the network. In this paper, we investigate the use of contact network features as efficiency covariates in exposure effect estimation. Using augmented generalized estimating equations (GEE), we estimate how gains in efficiency depend on the network structure and spread of the contagious agent or behavior. We apply this approach to simulated randomized trials using a stochastic compartmental contagion model on a collection of model-based contact networks and compare the bias, power, and variance of the estimated exposure effects using an assortment of network covariate adjustment strategies. We also demonstrate the use of network-augmented GEEs on a clustered randomized trial evaluating the effects of wastewater monitoring on COVID-19 cases in residential buildings at the the University of California San Diego.


title: A Primer on Coordinate Descent Algorithms

abstract: This monograph presents a class of algorithms called coordinate descent algorithms for mathematicians, statisticians, and engineers outside the field of optimization. This particular class of algorithms has recently gained popularity due to their effectiveness in solving large-scale optimization problems in machine learning, compressed sensing, image processing, and computational statistics. Coordinate descent algorithms solve optimization problems by successively minimizing along each coordinate or coordinate hyperplane, which is ideal for parallelized and distributed computing. Avoiding detailed technicalities and proofs, this monograph gives relevant theory and examples for practitioners to effectively apply coordinate descent to modern problems in data science and engineering.


title: Determining quantum correlations in bipartite systems - from qubit to qutrit and beyond

abstract: We advocate the step change in properties of discrete $d$-level quantum systems, between $d=2$ and $d\geq 3$. Qubit systems, or multipartite systems containing qubit subsystem, are exceptional in their relative simplicity. One faces a step in complexity in valuating measures of quantum correlations for qutrits and then other higher dimensional qudits. There is a growing number of arguments leading to such conclusion: recently found no-go theorem for generalization of the Peres-Horodecki's PPT criterion \cite{sko}, change in geometry of state spaces of qubit and higher degree qudits (the so called 'generalized Bloch ball' is not a ball anymore), restricted possibilities for diagonalization of correlation matrices for bipartite systems, more difficult way for handling the set of relevant families of orthogonal projectors.


title: A Butterfly-Based Direct Integral Equation Solver Using Hierarchical LU Factorization for Analyzing Scattering from Electrically Large Conducting Objects

abstract: A butterfly-based direct combined-field integral equation (CFIE) solver for analyzing scattering from electrically large, perfect electrically conducting objects is presented. The proposed solver leverages the butterfly scheme to compress blocks of the hierarchical LU-factorized discretized CFIE operator and uses randomized butterfly reconstruction schemes to expedite the factorization. The memory requirements and computational cost of the direct butterfly-CFIE solver scale as $O(N\mathrm{log}^2N)$ and $O(N^{1.5}\mathrm{log}N)$, respectively. These scaling estimates permit significant memory and CPU savings when compared to those realized by low-rank (LR) decomposition-based solvers. The efficacy and accuracy of the proposed solver are demonstrated through its application to the analysis of scattering from canonical and realistic objects involving up to 14 million unknowns.


title: Codes for distributed storage from 3-regular graphs

abstract: This paper considers distributed storage systems (DSSs) from a graph theoretic perspective. A DSS is constructed by means of the path decomposition of a 3- regular graph into P4 paths. The paths represent the disks of the DSS and the edges of the graph act as the blocks of storage. We deduce the properties of the DSS from a related graph and show their optimality.


title: Optimal Energy-Delay Tradeoff for Opportunistic Spectrum Access in Cognitive Radio Networks

abstract: Cognitive radio (CR) has been considered as a promising technology to enhance spectrum efficiency via opportunistic transmission at link level. Basic CR features allow SUs to transmit only when the licensed primary channel is not occupied by PUs. However, waiting for idle time slot may include large packet delay and high energy consumption. We further consider that the SU may decide, at any moment, to use another dedicated way of communication (3G) in order to transmit its packets. Thus, we consider an Opportunistic Spectrum Access (OSA) mechanism that takes into account packet delay and energy consumption. We formulate the OSA problem as a Partially Observable Markov Decision Process (POMDP) by explicitly considering the energy consumption as well as packets' delay, which are often ignored in existing OSA solutions. Specifically, we consider a POMDP with an average reward criterion. We derive structural properties of the value function and we show the existence of optimal strategies in the class of the threshold strategies. For implementation purposes, we propose online learning mechanisms that estimate the PU activity and determine the appropriate threshold strategy on the fly. In particular, numerical illustrations validate our theoretical findings.


title: Leaky Modes of Dielectric Cavities

abstract: In the absence of external excitation, light trapped within a dielectric medium generally decays by leaking out (and also by getting absorbed within the medium). We analyze the leaky modes of a parallel-plate slab, a solid glass sphere, and a solid glass cylinder, by examining those solutions of Maxwell's equations (for dispersive as well as non-dispersive media) which admit of a complex-valued oscillation frequency. Under certain circumstances, these leaky modes constitute a complete set into which an arbitrary distribution of the electromagnetic field residing inside a dielectric body can be expanded. We provide completeness proofs, and also present results of numerical calculations that illustrate the relationship between the leaky modes and the resonances of dielectric cavities formed by a simple parallel-plate slab, a glass sphere, and a glass cylinder.


title: On Topologies on the Group $(\Z_p)^{\N}$

abstract: It is proved that, on any Abelian group of infinite cardinality ${\bf m}$, there exist precisely $2^{2^{\bf m}}$ nonequivalent bounded Hausdorff group topologies. Under the continuum hypothesis, the number of nonequivalent compact and locally compact Hausdorff group topologies on the group $(\Z_p)^{\N}$ is determined.


title: Restrictions from Lorentz invariance violation on cosmic ray propagation

abstract: Lorentz Invariance Violation introduced as a generic modification to particle dispersion relations is used to study high energy cosmic ray attenuation processes. It is shown to reproduce the same physical effects for vacuum Cherenkov radiation, as in some particular models with spontaneous breaking of Lorentz symmetry. This approximation is also implemented for the study of photon decay in vacuum, where stringent limits to the violation scale are derived from the direct observation of very high energy cosmic ray photon events on gamma telescopes. Photo production processes by cosmic ray primaries on photon background are also addressed, to show that Lorentz violation may turn off this attenuation process at energies above a well defined secondary threshold.


title: Spatial Temporal Exponential-Family Point Process Models for the Evolution of Social Systems

abstract: We develop a class of exponential-family point processes based on a latent social space to model the coevolution of social structure and behavior over time. Temporal dynamics are modeled as a discrete Markov process specified through individual transition distributions for each actor in the system at a given time. We prove that these distributions have an analytic closed form under certain conditions and use the result to develop likelihood-based inference. We provide a computational framework to enable both simulation and inference in practice. Finally, we demonstrate the value of these models by analyzing alcohol and drug use over time in the context of adolescent friendship networks.


title: Exploiting Universal Redundancy

abstract: Fault tolerance is essential for building reliable services; however, it comes at the price of redundancy, mainly the "replication factor" and "diversity". With the increasing reliance on Internet-based services, more machines (mainly servers) are needed to scale out, multiplied with the extra expense of replication. This paper revisits the very fundamentals of fault tolerance and presents "artificial redundancy": a formal generalization of "exact copy" redundancy in which new sources of redundancy are exploited to build fault tolerant systems. On this concept, we show how to build "artificial replication" and design "artificial fault tolerance" (AFT). We discuss the properties of these new techniques showing that AFT extends current fault tolerant approaches to use other forms of redundancy aiming at reduced cost and high diversity.


title: Upper semicontinuity of the lamination hull

abstract: Let $K \subseteq \mathbb{R}^{2 \times 2}$ be a compact set, let $K^{rc}$ be its rank-one convex hull, and let $L(K)$ be its lamination convex hull. It is shown that the mapping $K \to \overline{L(K)}$ is not upper semicontinuous on the diagonal matrices in $\mathbb{R}^{2 \times 2}$, which was a problem left by Kol\'a\v{r}. This is followed by an example of a 5-point set of $2 \times 2$ symmetric matrices with non-compact lamination hull. Finally, an example of another 5-point set $K$ is given, which has $L(K)$ connected, compact and strictly smaller than $K^{rc}$.


title: Ice Formation on Kaolinite: Insights from Molecular Dynamics Simulations

abstract: The formation of ice affects many aspects of our everyday life as well as technologies such as cryotherapy and cryopreservation. Foreign substances almost always aid water freezing through heterogeneous ice nucleation, but the molecular details of this process remain largely unknown. In fact, insight into the microscopic mechanism of ice formation on different substrates is difficult to obtain even via state-of-the-art experimental techniques. At the same time, atomistic simulations of heterogeneous ice nucleation frequently face extraordinary challenges due to the complexity of the water-substrate interaction and the long timescales that characterize nucleation events. Here, we have investigated several aspects of molecular dynamics simulations of heterogeneous ice nucleation considering as a prototypical ice nucleating material the clay mineral kaolinite, which is of relevance in atmospheric science. We show via seeded molecular dynamics simulations that ice nucleation on the hydroxylated (001) face of kaolinite proceeds exclusively via the formation of the hexagonal ice polytype. The critical nucleus size is two times smaller than that obtained for homogeneous nucleation at the same supercooling. Previous findings suggested that the flexibility of the kaolinite surface can alter the time scale for ice nucleation within molecular dynamics simulations. However, we here demonstrate that equally flexible (or non flexible) kaolinite surfaces can lead to very different outcomes in terms of ice formation, according to whether or not the surface relaxation of the clay is taken into account. We show that very small structural changes upon relaxation dramatically alter the ability of kaolinite to provide a template for the formation of a hexagonal overlayer of water molecules at the water-kaolinite interface, and that this relaxation therefore determines the nucleation ability of this mineral.


title: Directional Phonon Suppression Function as a Tool for the Identification of Ultralow Thermal Conductivity Materials

abstract: Boundary-engineering in nanostructures has the potential to dramatically impact the development of materials for high-efficiency conversion of thermal energy directly into electricity. In particular, nanostructuring of semiconductors can lead to strong suppression of heat transport with little degradation of electrical conductivity. Although this combination of material properties is promising for thermoelectric materials, it remains largely unexplored. In this work, we introduce a novel concept, the directional phonon suppression function, to unravel boundary-dominated heat transport in unprecedented detail. Using a combination of density functional theory and the Boltzmann transport equation, we compute this quantity for nanoporous silicon materials. We first compute the thermal conductivity for the case with aligned circular pores, confirming a significant thermal transport degradation with respect to the bulk. Then, by analyzing the information on the directionality of phonon suppression in this system, we identify a new structure of rectangular pores with the same porosity that enables a four-fold decrease in thermal transport with respect to the circular pores. Our results illustrate the utility of the directional phonon suppression function, enabling new avenues for systematic thermal conductivity minimization and potentially accelerating the engineering of next-generation thermoelectric devices.


title: Superconducting optoelectronic circuits for neuromorphic computing

abstract: Neural networks have proven effective for solving many difficult computational problems. Implementing complex neural networks in software is very computationally expensive. To explore the limits of information processing, it will be necessary to implement new hardware platforms with large numbers of neurons, each with a large number of connections to other neurons. Here we propose a hybrid semiconductor-superconductor hardware platform for the implementation of neural networks and large-scale neuromorphic computing. The platform combines semiconducting few-photon light-emitting diodes with superconducting-nanowire single-photon detectors to behave as spiking neurons. These processing units are connected via a network of optical waveguides, and variable weights of connection can be implemented using several approaches. The use of light as a signaling mechanism overcomes fanout and parasitic constraints on electrical signals while simultaneously introducing physical degrees of freedom which can be employed for computation. The use of supercurrents achieves the low power density necessary to scale to systems with enormous entropy. The proposed processing units can operate at speeds of at least $20$ MHz with fully asynchronous activity, light-speed-limited latency, and power densities on the order of 1 mW/cm$^2$ for neurons with 700 connections operating at full speed at 2 K. The processing units achieve an energy efficiency of $\approx 20$ aJ per synapse event. By leveraging multilayer photonics with deposited waveguides and superconductors with feature sizes $>$ 100 nm, this approach could scale to systems with massive interconnectivity and complexity for advanced computing as well as explorations of information processing capacity in systems with an enormous number of information-bearing microstates.


title: Outlier Detection from Network Data with Subnetwork Interpretation

abstract: Detecting a small number of outliers from a set of data observations is always challenging. This problem is more difficult in the setting of multiple network samples, where computing the anomalous degree of a network sample is generally not sufficient. In fact, explaining why the network is exceptional, expressed in the form of subnetwork, is also equally important. In this paper, we develop a novel algorithm to address these two key problems. We treat each network sample as a potential outlier and identify subnetworks that mostly discriminate it from nearby regular samples. The algorithm is developed in the framework of network regression combined with the constraints on both network topology and L1-norm shrinkage to perform subnetwork discovery. Our method thus goes beyond subspace/subgraph discovery and we show that it converges to a global optimum. Evaluation on various real-world network datasets demonstrates that our algorithm not only outperforms baselines in both network and high dimensional setting, but also discovers highly relevant and interpretable local subnetworks, further enhancing our understanding of anomalous networks.


title: Minimal free resolution of a graded ideal with linear quotients

abstract: Let $I$ be a graded ideal of $K[x_1,\ldots,x_n]$ generated by homogeneous polynomials of a same degree $d$, and assume that $I$ has linear quotients. In this note, we use Horseshoe Lemma to give a relatively direct inductive construction of a minimal free resolution of $I$, which is called a $d$-linear resolution.


title: Pair entanglement in dimerized spin-s chains

abstract: We examine the pair entanglement in the ground state of finite dimerized spin-$s$ chains interacting through anisotropic $XY$ couplings immersed in a transverse magnetic field, by means of a self-consistent pair mean field approximation. The approach, which makes no a priori assumptions on the pair states, predicts, for sufficiently low coupling between pairs, $2s$ distinct dimerized phases for increasing fields below the pair factorizing field, separated by spin parity breaking phases. The dimerized phases lead to approximate magnetization and pair entanglement plateaus, while the parity breaking phases are characterized by weak pair entanglement but non-negligible entanglement of the pair with the rest of the system. These predictions are confirmed by the exact results obtained in finite $s=1$ and $s=3/2$ chains. It is also shown that for increasing values of the spin $s$, the entanglement of an isolated pair, as measured by the negativity, rapidly saturates in the anisotropic $XY$ case but increases as $s^{1/2}$ in the $XX$ case, reflecting a distinct single spin entanglement spectrum.


title: BER Performance of Polar Coded OFDM in Multipath Fading

abstract: Orthogonal Frequency Division Multiplexing (OFDM) has gained a lot of popularity over the years. Due to its popularity, OFDM has been adopted as a standard in cellular technology and Wireless Local Area Network (WLAN) communication systems. To improve the bit error rate (BER) performance, forward error correction (FEC) codes are often utilized to protect signals against unknown interference and channel degradations. In this paper, we apply soft-decision FEC, more specifically polar codes and a convolutional code, to an OFDM system in a quasi-static multipath fading channel, and compare BER performance in various channels. We investigate the effect of interleaving bits within a polar codeword. Finally, the simulation results for each case are presented in the paper.


title: Review of Buffer-Aided Distributed Space-Time Coding Schemes and Algorithms for Cooperative Wireless Systems

abstract: In this work, we propose buffer-aided distributed space-time coding (DSTC) schemes and relay selection algorithms for cooperative direct-sequence code-division multiple access (DS-CDMA) systems. We first devise a relay pair selection algorithm that can form relay pairs and then select the optimum set of relays among both the source-relay phase and the relay-destination phase according to the signal-to-interference-plus-noise ratio (SINR) criterion. Multiple relays equipped with dynamic buffers are then introduced in the network, which allows the relays to store data received from the sources and wait until the most appropriate time for transmission. { A greedy relay pair selection algorithm is then developed to reduce the high cost of the exhaustive search required when a large number of relays are involved.} The proposed techniques effectively improve the quality of the transmission with an acceptable delay as the buffer size is adjustable. An analysis of the computational complexity of the proposed algorithms, the delay and a study of the greedy algorithm are then carried out. Simulation results show that the proposed dynamic buffer-aided DSTC schemes and algorithms outperform prior art.


title: Cross-correlation search for continuous gravitational waves from a compact object in SNR 1987A in LIGO Science Run 5

abstract: We present the results of a cross-correlation search for gravitational waves from SNR 1987A using the second year of LIGO Science Run 5 data. The frequency band 75--450\,Hz is searched. No evidence of gravitational waves is found. A 90\% confidence upper limit of $h_0 \leq 3.8\times10^{-25}$ is placed on the gravitational wave strain at the most sensitive frequency near 150\,Hz. This corresponds to an ellipticity of $\epsilon \leq 8.2\times10^{-4}$ and improves on previously published strain upper limits by a factor $\approx4$. We perform a comprehensive suite of validations of the search algorithm and identify several computational savings which marginally sacrifice sensitivity in order to streamline the parameter space being searched. We estimate detection thresholds and sensitivities through Monte-Carlo simulations.


title: Global well-posedness for passively transported nonlinear moisture dynamics with phase changes

abstract: We study a moisture model for warm clouds that has been used by Klein and Majda as a basis for multiscale asymptotic expansions for deep convective phenomena. These moisture balance equations correspond to a bulk microphysics closure in the spirit of Kessler and of Grabowski and Smolarkiewicz, in which water is present in the gaseous state as water vapor and in the liquid phase as cloud water and rain water. It thereby contains closures for the phase changes condensation and evaporation, as well as the processes of autoconversion of cloud water into rainwater and the collection of cloud water by the falling rain droplets. Phase changes are associated with enormous amounts of latent heat and therefore provide a strong coupling to the thermodynamic equation. In this work we assume the velocity field to be given and prove rigorously the global existence and uniqueness of uniformly bounded solutions of the moisture model with viscosity, diffusion and heat conduction. To guarantee local well-posedness we first need to establish local existence results for linear parabolic equations, subject to the Robin boundary conditions on the cylindric type of domains under consideration. We then derive a priori estimates, for proving the maximum principle, using the Stampacchia method, as well as the iterative method by Alikakos to obtain uniform boundedness. The evaporation term is of power law type, with an exponent in general less or equal to one and therefore making the proof of uniqueness more challenging. However, these difficulties can be circumvented by introducing new unknowns, which satisfy the required cancellation and monotonicity properties in the source terms.

categories: math.AP physics.ao-ph physics.flu-dyn physics.geo-ph


title: Field Stabilization of Alvarez-Type Cavities

abstract: Alvarez-type cavities are commonly used to reliably accelerate high quality hadron beams. Optimization of their longitudinal field homogeneity is usually accomplished by post-couplers, i.e. additional rods being integrated into the cavity. This paper instead proposes to use the stems that keep the drift tubes for that purpose. As their individual azimuthal orientations do not change the cavity's undisturbed operational mode, they comprise a set of free parameters that can be used to modify higher mode field patterns. The latter have significant impact on the robustness of the operational mode w.r.t. eventual perturbations. Several optimized stem configurations are presented and benchmarked against each other. The path to obtain these configurations is paved analytically and worked out in detail through simulations. It is shown that the method provides for flat field distributions and very low field tilt sensitivities without insertion of post-couplers.


title: Influence of the Substrate Material on the Optical Properties of Tungsten Diselenide Monolayers

abstract: Monolayers of transition-metal dichalcogenides such as WSe2 have become increasingly attractive due to their potential in electrical and optical applications. Because the properties of these 2D systems are known to be affected by their surroundings, we report how the choice of the substrate material affects the optical properties of monolayer WSe2. To accomplish this study, pump-density-dependent micro-photoluminescence measurements are performed with time-integrating and time-resolving acquisition techniques. Spectral information and power-dependent mode intensities are compared at 290K and 10K for exfoliated WSe2 on SiO2/Si, sapphire (Al2O3), hBN/Si3N4/Si, and MgF2, indicating substrate-dependent appearance and strength of exciton, trion, and biexciton modes. Additionally, one CVD-grown WSe2 monolayer on sapphire is included in this study for direct comparison with its exfoliated counterpart. Time-resolved micro-photoluminescence shows how radiative decay times strongly differ for different substrate materials. Our data indicates exciton-exciton annihilation as a shortening mechanism at room temperature, and subtle trends in the decay rates in correlation to the dielectric environment at cryogenic temperatures. On the measureable time scales, trends are also related to the extent of the respective 2D-excitonic modes' appearance. This result highlights the importance of further detailed characterization of exciton features in 2D materials, particularly with respect to the choice of substrate.


title: Minimal Inputs/Outputs for a Networked System

abstract: This paper investigates the minimal number of inputs/outputs required to guarantees the controllability/observability of a system, under the condition that its state transition matrix (STM) is prescribed. It has been proved that this minimal number is equal to the maximum geometric multiplicity of the system STM. The obtained conclusions are in sharp contrast to those established for the problems of finding the sparest input/output matrix under the restriction of system controllability/observabilty, which have been proved to be NP-hard, and even impossible to be approximated within a multiplicative factor. Moreover, a complete parametrization is also provided for the input/output matrix of a system with this minimal input/output number.


title: Faster Kernels for Graphs with Continuous Attributes via Hashing

abstract: While state-of-the-art kernels for graphs with discrete labels scale well to graphs with thousands of nodes, the few existing kernels for graphs with continuous attributes, unfortunately, do not scale well. To overcome this limitation, we present hash graph kernels, a general framework to derive kernels for graphs with continuous attributes from discrete ones. The idea is to iteratively turn continuous attributes into discrete labels using randomized hash functions. We illustrate hash graph kernels for the Weisfeiler-Lehman subtree kernel and for the shortest-path kernel. The resulting novel graph kernels are shown to be, both, able to handle graphs with continuous attributes and scalable to large graphs and data sets. This is supported by our theoretical analysis and demonstrated by an extensive experimental evaluation.


title: Realistic inversion of diffraction data for an amorphous solid: the case of amorphous silicon

abstract: We apply a new method "force enhanced atomic refinement" (FEAR) to create a computer model of amorphous silicon (a-Si), based upon the highly precise X-ray diffraction experiments of Laaziri et al. The logic underlying our calculation is to estimate the structure of a real sample a-Si using experimental data and chemical information included in a non-biased way, starting from random coordinates. The model is in close agreement with experiment and also sits at a suitable minimum energy according to density functional calculations. In agreement with experiments, we find a small concentration of coordination defects that we discuss, including their electronic consequences. The gap states in the FEAR model are delocalized compared to a continuous random network model. The method is more efficient and accurate, in the sense of fitting the diffraction data than conventional melt quench methods. We compute the vibrational density of states and the specific heat, and find that both compare favorably to experiments.


title: Examples of non-FSZ p-groups for primes greater than three

abstract: For any prime $p>3$ and $j\in\mathbb{N}$ we construct examples of non-$FSZ_{p^j}$ groups of order $p^{p^j+2j-1}$. In the special case of $j=1$ this yields groups of order $p^{p+1}$, which is the minimum possible order for a non-$FSZ$ $p$-group.


title: On the Stability of Cubic Galileon Accretion

abstract: We examine the stability of steady-state galileon accretion for the case of a Schwarzshild black hole. Considering the galileon action up to the cubic term in a static and spherically symmetric background we obtain the general solution for the equation of motion which is divided in two branches. By perturbing this solution we define an effective metric which determines the propagation of fluctuations. In this general picture we establish the position of the sonic horizon together with the matching condition of the two branches on it. Restricting to the case of a Schwarzschild background, we show, via the analysis of the energy of the perturbations and its time derivative, that the accreting field is linearly stable.


title: Effect heterogeneity and variable selection for standardizing causal effects to a target population

abstract: The participants in randomized trials and other studies used for causal inference are often not representative of the populations seen by clinical decision-makers. To account for differences between populations, researchers may consider standardizing results to a target population. We discuss several different types of homogeneity conditions that are relevant for standardization: Homogeneity of effect measures, homogeneity of counterfactual outcome state transition parameters, and homogeneity of counterfactual distributions. Each of these conditions can be used to show that a particular standardization procedure will result in unbiased estimates of the effect in the target population, given assumptions about the relevant scientific context. We compare and contrast the homogeneity conditions, in particular their implications for selection of covariates for standardization and their implications for how to compute the standardized causal effect in the target population. While some of the recently developed counterfactual approaches to generalizability rely upon homogeneity conditions that avoid many of the problems associated with traditional approaches, they often require adjustment for a large (and possibly unfeasible) set of covariates.


title: The choice of effect measure for binary outcomes: Introducing counterfactual outcome state transition parameters

abstract: Standard measures of effect, including the risk ratio, the odds ratio, and the risk difference, are associated with a number of well-described shortcomings, and no consensus exists about the conditions under which investigators should choose one effect measure over another. In this paper, we introduce a new framework for reasoning about choice of effect measure by linking two separate versions of the risk ratio to a counterfactual causal model. In our approach, effects are defined in terms of "counterfactual outcome state transition parameters", that is, the proportion of those individuals who would not have been a case by the end of follow-up if untreated, who would have responded to treatment by becoming a case; and the proportion of those individuals who would have become a case by the end of follow-up if untreated who would have responded to treatment by not becoming a case. Although counterfactual outcome state transition parameters are generally not identified from the data without strong monotonicity assumptions, we show that when they stay constant between populations, there are important implications for model specification, meta-analysis, and research generalization.


title: Radial Velocity Retrieval for Multichannel SAR Moving Targets with Time-Space Doppler De-ambiguity

abstract: In this paper, with respect to multichannel synthetic aperture radars (SAR), we first formulate the problems of Doppler ambiguities on the radial velocity (RV) estimation of a ground moving target in range-compressed domain, range-Doppler domain and image domain, respectively. It is revealed that in these problems, a cascaded time-space Doppler ambiguity (CTSDA) may encounter, i.e., time domain Doppler ambiguity (TDDA) in each channel arises first and then spatial domain Doppler ambiguity (SDDA) among multi-channels arises second. Accordingly, the multichannel SAR systems with different parameters are investigated in three different cases with diverse Doppler ambiguity properties, and a multi-frequency SAR is then proposed to obtain the RV estimation by solving the ambiguity problem based on Chinese remainder theorem (CRT). In the first two cases, the ambiguity problem can be solved by the existing closed-form robust CRT. In the third case, it is found that the problem is different from the conventional CRT problems and we call it a double remaindering problem in this paper. We then propose a sufficient condition under which the double remaindering problem, i.e., the CTSDA, can also be solved by the closed-form robust CRT. When the sufficient condition is not satisfied for a multi-channel SAR, a searching based method is proposed. Finally, some results of numerical experiments are provided to demonstrate the effectiveness of the proposed methods.


title: Quality of Service (QoS) and Security Provisioning in Cooperative Mobile Ad Hoc Networks (MANETs)

abstract: Cooperative communication can improve communication quality in wireless communication networks through strategic relay selection. However, wireless cooperative communication networks are vulnerable to the attacks initiated on relays. Although applying authentication protocols can secure cooperative communication when the selected relay is malicious, better system throughput could be obtained without executing authentication protocol when the selected relay is free from attacker's attack. In this paper, a game theoretic approach is proposed to quantitatively analyze the attacking strategies of the attacker who chooses one relay to attack so as to make rational decision on relay selection and extent of applying authentication protocols, which reaches the trade-off between system security requirement and quality of service (QoS) in wireless cooperative communication networks.


title: Vocabulary Selection Strategies for Neural Machine Translation

abstract: Classical translation models constrain the space of possible outputs by selecting a subset of translation rules based on the input sentence. Recent work on improving the efficiency of neural translation models adopted a similar strategy by restricting the output vocabulary to a subset of likely candidates given the source. In this paper we experiment with context and embedding-based selection methods and extend previous work by examining speed and accuracy trade-offs in more detail. We show that decoding time on CPUs can be reduced by up to 90% and training time by 25% on the WMT15 English-German and WMT16 English-Romanian tasks at the same or only negligible change in accuracy. This brings the time to decode with a state of the art neural translation system to just over 140 msec per sentence on a single CPU core for English-German.


title: Effects of biaxial strain on the improper multiferroicity in h-LuFeO3 films

abstract: Elastic strain is potentially an important approach in tuning the properties of the improperly multiferroic hexagonal ferrites, the details of which have however been elusive due to the experimental difficulties. Employing the method of restrained thermal expansion, we have studied the effect of isothermal biaxial strain in the basal plane of h-LuFeO3 (001) films. The results indicate that a compressive biaxial strain significantly enhances the ferrodistortion, and the effect is larger at higher temperatures. The compressive biaxial strain and the enhanced ferrodistortion together, cause an increase in the electric polarization and a reduction in the canting of the weak ferromagnetic moments in h-LuFeO3, according to our first principle calculations. These findings are important for understanding the strain effect as well as the coupling between the lattice and the improper multiferroicity in h-LuFeO3. The experimental elucidation of the strain effect in h-LuFeO3 films also suggests that the restrained thermal expansion can be a viable method to unravel the strain effect in many other epitaxial thin film materials.


title: Acoustic Streaming: An Arbitrary Lagrangian-Eulerian Perspective

abstract: We analyze acoustic streaming flows using an ALE perspective. The formulation stems from an explicit separation of time-scales resulting in two subproblems: a first-order problem, formulated in terms of the fluid displacement at the fast scale, and a second-order problem formulated in terms of the Lagrangian flow velocity at the slow time scale. Following a rigorous time-averaging procedure, the second-order problem is shown to be intrinsically steady, and with exact boundary conditions at the oscillating walls. Also, as the second-order problem is solved directly for the Lagrangian velocity, the formulation does not need to employ the notion of Stokes drift, or any associated post-processing, thus facilitating a direct comparison with experiments. Because the first-order problem is formulated in terms of the displacement field, our formulation is directly applicable to more complex fluid-structure interaction problems in microacosutofluidic devices. After the formulation's exposition, we present numerical results that illustrate the advantages of the formulation with respect to current approaches.


title: Asymptotic expansions of the contact angle in nonlocal capillarity problems

abstract: We consider a family of nonlocal capillarity models, where surface tension is modeled by exploiting the family of fractional interaction kernels $|z|^{-n-s}$, with $s\in(0,1)$ and $n$ the dimension of the ambient space. The fractional Young's law (contact angle condition) predicted by these models coincides, in the limit as $s\to 1^-$, with the classical Young's law determined by the Gauss free energy. Here we refine this asymptotics by showing that, for $s$ close to $1$, the fractional contact angle is always smaller than its classical counterpart when the relative adhesion coefficient $\sigma$ is negative, and larger if $\sigma$ is positive. In addition, we address the asymptotics of the fractional Young's law in the limit case $s\to 0^+$ of interaction kernels with heavy tails. Interestingly, near $s=0$, the dependence of the contact angle from the relative adhesion coefficient becomes linear.


title: Rigorous Results in Existence and Selection of Saffman-Taylor Fingers by Kinetic Undercooling

abstract: The selection of Saffman-Taylor fingers by surface tension has been extensively investigated. In this paper we are concerned with the existence and selection of steadily translating symmetric finger solutions in a Hele-Shaw cell by small but non-zero kinetic undercooling ($\epsilon^2 $). We rigorously conclude that for relative finger width $\lambda$ near one half, symmetric finger solutions exist in the asymptotic limit of undercooling $\epsilon^2 ~\rightarrow ~0$ if the Stokes multiplier for a relatively simple nonlinear differential equation is zero. This Stokes multiplier $S$ depends on the parameter $\alpha \equiv \frac{2 \lambda -1}{(1-\lambda)}\epsilon^{-\frac{4}{3}} $ and earlier calculations have shown this to be zero for a discrete set of values of $\alpha$. While this result is similar to that obtained previously for Saffman-Taylor fingers by surface tension, the analysis for the problem with kinetic undercooling exhibits a number of subtleties as pointed out by Chapman and King (2003) [The selection of Saffman-Taylor fingers by kinetic undercooling, Journal of Engineering Mathematics 46, 1-32]. The main subtlety is the behavior of the Stokes lines at the finger tip, where the analysis is complicated by non-analyticity of coefficients in the governing equation.


title: Position and content paradigms in genome rearrangements: the wild and crazy world of permutations in genomics

abstract: Modellers of large scale genome rearrangement events, in which segments of DNA are inverted, moved, swapped, or even inserted or deleted, have found a natural syntax in the language of permutations. Despite this, there has been a wide range of modelling choices, assumptions and interpretations that make navigating the literature a significant challenge. Indeed, even authors of papers that use permutations to model genome rearrangement can struggle to interpret each others' work, because of subtle differences in basic assumptions that are often deeply ingrained (and consequently sometimes not even mentioned). In this paper, we describe the different ways in which permutations have been used to model genomes and genome rearrangement events, presenting some features and limitations of each approach, and show how the various models are related. This paper will help researchers navigate the landscape of genome rearrangement models, and make it easier for authors to present clear and consistent models.


title: Local Hausdorff Measure

abstract: A local Hausdorff dimension is defined on a metric space. We study its properties and use it to define a local Hausdorff measure. We show that in the case that in the local Hausdorff measure is finite we can recover the global Hausdorff dimension from the local one. Lastly, for a variable Ahlfors Q-regular measure on a compact metric space, we show the Ahlfors regular measure is strongly equivalent to the local Hausdorff measure and that the function $Q$ is equal to the local Hausdorff dimension.


title: Finite Element Formulation for a Poroelasticity Problem Stemming from Mixture Theory

abstract: A finite element formulation is developed for a poroelastic medium consisting of an incompressible hyperelastic skeleton saturated by an incompressible fluid. The governing equations stem from mixture theory and the application is motivated by the study of interstitial fluid flow in brain tissue. The formulation is based on the adoption of an ALE perspective. We focus on a flow regime in which inertia forces are negligible. The stability and convergence of the formulation is discussed, and numerical results demonstrate agreement with the theory.


title: Soliton crystals in Kerr resonators

abstract: Strongly interacting solitons confined to an optical resonator would offer unique capabilities for experiments in communication, computation, and sensing with light. Here we report on the discovery of soliton crystals in monolithic Kerr microresonators-spontaneously and collectively ordered ensembles of co-propagating solitons whose interactions discretize their allowed temporal separations. We unambiguously identify and characterize soliton crystals through analysis of their 'fingerprint' optical spectra, which arise from spectral interference between the solitons. We identify a rich space of soliton crystals exhibiting crystallographic defects, and time-domain measurements directly confirm our inference of their crystal structure. The crystallization we observe is explained by long-range soliton interactions mediated by resonator mode degeneracies, and we probe the qualitative difference between soliton crystals and a soliton liquid that forms in the absence of these interactions. Our work explores the rich physics of monolithic Kerr resonators in a new regime of dense soliton occupation and offers a way to greatly increase the efficiency of Kerr combs; further, the extreme degeneracy of the configuration space of soliton crystals suggests an implementation for a robust on-chip optical buffer.


title: Deep Spatio-Temporal Residual Networks for Citywide Crowd Flows Prediction

abstract: Forecasting the flow of crowds is of great importance to traffic management and public safety, yet a very challenging task affected by many complex factors, such as inter-region traffic, events and weather. In this paper, we propose a deep-learning-based approach, called ST-ResNet, to collectively forecast the in-flow and out-flow of crowds in each and every region through a city. We design an end-to-end structure of ST-ResNet based on unique properties of spatio-temporal data. More specifically, we employ the framework of the residual neural networks to model the temporal closeness, period, and trend properties of the crowd traffic, respectively. For each property, we design a branch of residual convolutional units, each of which models the spatial properties of the crowd traffic. ST-ResNet learns to dynamically aggregate the output of the three residual neural networks based on data, assigning different weights to different branches and regions. The aggregation is further combined with external factors, such as weather and day of the week, to predict the final traffic of crowds in each and every region. We evaluate ST-ResNet based on two types of crowd flows in Beijing and NYC, finding that its performance exceeds six well-know methods.


title: PTAS for Ordered Instances of Resource Allocation Problems with Restrictions on Inclusions

abstract: We consider the problem of allocating a set $I$ of $m$ indivisible resources (items) to a set $P$ of $n$ customers (players) competing for the resources. Each resource $j \in I$ has a same value $v_j > 0$ for a subset of customers interested in $j$, and zero value for the remaining customers. The utility received by each customer is the sum of the values of the resources allocated to her. The goal is to find a feasible allocation of the resources to the interested customers such that for the Max-Min allocation problem (Min-Max allocation problem) the minimum of the utilities (maximum of the utilities) received by the customers is maximized (minimized). The Max-Min allocation problem is also known as the \textit{Fair Allocation problem}, or the \textit{Santa Claus problem}. The Min-Max allocation problem is the problem of Scheduling on Unrelated Parallel Machines, and is also known as the $R \, | \, | C_{\max}$ problem. In this paper, we are interested in instances of the problem that admit a Polynomial Time Approximation Scheme (PTAS). We show that an ordering property on the resources and the customers is important and paves the way for a PTAS. For the Max-Min allocation problem, we start with instances of the problem that can be viewed as a \textit{convex bipartite graph}; a bipartite graph for which there exists an ordering of the resources such that each customer is interested in (has a positive evaluation for) a set of \textit{consecutive} resources. We demonstrate a PTAS for the inclusion-free cases. This class of instances is equivalent to the class of bipartite permutation graphs. For the Min-Max allocation problem, we also obtain a PTAS for inclusion-free instances. These instances are not only of theoretical interest but also have practical applications.


title: Estimating stellar atmospheric parameters, absolute magnitudes and elemental abundances from the LAMOST spectra with Kernel-based Principal Component Analysis

abstract: Accurate determination of stellar atmospheric parameters and elemental abundances is crucial for Galactic archeology via large-scale spectroscopic surveys. In this paper, we estimate stellar atmospheric parameters -- effective temperature T_{\rm eff}, surface gravity log g and metallicity [Fe/H], absolute magnitudes M_V and M_{Ks}, {\alpha}-element to metal (and iron) abundance ratio [{\alpha}/M] (and [{\alpha}/Fe]), as well as carbon and nitrogen abundances [C/H] and [N/H] from the LAMOST spectra with amultivariate regressionmethod based on kernel-based principal component analysis, using stars in common with other surveys (Hipparcos, Kepler, APOGEE) as training data sets. Both internal and external examinations indicate that given a spectral signal-to-noise ratio (SNR) better than 50, our method is capable of delivering stellar parameters with a precision of ~100K for Teff, ~0.1 dex for log g, 0.3 -- 0.4mag for M_V and M_{Ks}, 0.1 dex for [Fe/H], [C/H] and [N/H], and better than 0.05 dex for [{\alpha}/M] ([{\alpha}/Fe]). The results are satisfactory even for a spectral SNR of 20. The work presents first determinations of [C/H] and [N/H] abundances from a vast data set of LAMOST, and, to our knowledge, the first reported implementation of absolute magnitude estimation directly based on the observed spectra. The derived stellar parameters for millions of stars from the LAMOST surveys will be publicly available in the form of value-added catalogues.


title: Spectral asymptotics for Kac-Murdock-Szeg\H{o} matrices

abstract: Szeg\H{o}'s First Limit Theorem provides the limiting statistical distribution (LSD) of the eigenvalues of large Toeplitz matrices. Szeg\H{o}'s Second (or Strong) Limit Theorem for Toeplitz matrices gives a second order correction to the First Limit Theorem, and allows one to calculate asymptotics for the determinants of large Toeplitz matrices. In this paper we survey results extending the first and strong limit theorems to Kac-Murdock-Szeg\H{o} (KMS) matrices. These are matrices whose entries along the diagonals are not necessarily constants, but modeled by functions. We clarify and extend some existing results, and explain some apparently contradictory results in the literature.


title: Latent Tree Analysis

abstract: Latent tree analysis seeks to model the correlations among a set of random variables using a tree of latent variables. It was proposed as an improvement to latent class analysis --- a method widely used in social sciences and medicine to identify homogeneous subgroups in a population. It provides new and fruitful perspectives on a number of machine learning areas, including cluster analysis, topic detection, and deep probabilistic modeling. This paper gives an overview of the research on latent tree analysis and various ways it is used in practice.


title: Consistency Ensuring in Social Web Services Based on Commitments Structure

abstract: Web Service is one of the most significant current discussions in information sharing technologies and one of the examples of service oriented processing. To ensure accurate execution of web services operations, it must be adaptable with policies of the social networks in which it signs up. This adaptation implements using controls called 'Commitment'. This paper describes commitments structure and existing research about commitments and social web services, then suggests an algorithm for consistency of commitments in social web services. As regards the commitments may be executed concurrently, a key challenge in web services execution based on commitment structure is consistency ensuring in execution time. The purpose of this research is providing an algorithm for consistency ensuring between web services operations based on commitments structure.


title: Very Deep Convolutional Neural Networks for Raw Waveforms

abstract: Learning acoustic models directly from the raw waveform data with minimal processing is challenging. Current waveform-based models have generally used very few (~2) convolutional layers, which might be insufficient for building high-level discriminative features. In this work, we propose very deep convolutional neural networks (CNNs) that directly use time-domain waveforms as inputs. Our CNNs, with up to 34 weight layers, are efficient to optimize over very long sequences (e.g., vector of size 32000), necessary for processing acoustic waveforms. This is achieved through batch normalization, residual learning, and a careful design of down-sampling in the initial layers. Our networks are fully convolutional, without the use of fully connected layers and dropout, to maximize representation learning. We use a large receptive field in the first convolutional layer to mimic bandpass filters, but very small receptive fields subsequently to control the model capacity. We demonstrate the performance gains with the deeper models. Our evaluation shows that the CNN with 18 weight layers outperform the CNN with 3 weight layers by over 15% in absolute accuracy for an environmental sound recognition task and matches the performance of models using log-mel features.


title: Malcev algebras corresponding to smooth Almost Left Automorphic Moufang Loops

abstract: In this note we introduce the concept of an almost left automorphic Moufang loop and study the properties of tangent algebras of smooth loops of this class.


title: System Identification of NN-based Model Reference Control of RUAV during Hover

abstract: UAV control system is a huge and complex system, and to design and test a UAV control system is time-cost and money-cost. This paper considered the simulation of identification of a nonlinear system dynamics using artificial neural networks approach. This experiment develops a neural network model of the plant that we want to control. In the control design stage, experiment uses the neural network plant model to design (or train) the controller. We use Matlab to train the network and simulate the behavior. This chapter provides the mathematical overview of MRC technique and neural network architecture to simulate nonlinear identification of UAV systems. MRC provides a direct and effective method to control a complex system without an equation-driven model. NN approach provides a good framework to implement MEC by identifying complicated models and training a controller for it.


title: The Complex-Time Segal-Bargmann Transform

abstract: We introduce a new form of the Segal--Bargmann transform for a Lie group $K$ of compact type. We show that the heat kernel $(\rho_{t}(x))_{t>0,x\in K}$ has a space-time analytic continuation to a holomorphic function \[ (\rho_{\mathbb{C}}(\tau,z))_{\mathrm{Re}\,\tau>0,z\in K_{\mathbb{C}}} \] where $K_{\mathbb{C}}$ is the complexification of $K$. The new transform is defined by the integral \[ (B_{\tau}f)(z)=\int_{K}\rho_{\mathbb{C}}(\tau,zk^{-1})f(k)\,dk,\quad z\in K_{\mathbb{C}}. \] If $s>0$ and $\tau\in\mathbb{D}(s,s)$ (the disk of radius $s$ centered at $s$), this integral defines a holomorphic function on $K_{\mathbb{C}}$ for each $f\in L^{2}(K,\rho_{s})$. We construct a heat kernel density $\mu_{s,\tau}$ on $K_{\mathbb{C}}$ such that, for all $s,\tau$ as above, $B_{s,\tau}:=B_{\tau}|_{L^{2}(K,\rho_{s})}$ is an isometric isomorphism from $L^{2}(K,\rho_{s})$ onto the space of holomorphic functions in $L^{2}(K_{\mathbb{C}},\mu_{s,\tau})$. When $\tau=t=s$, the transform $B_{t,t}$ coincides with the one introduced by the second author for compact groups and extended by the first author to groups of compact type. When $\tau=t\in (0,2s)$, the transform $B_{s,t}$ coincides with the one introduced by the first two authors.


title: The ccbar Pentaquarks by a Quark Model

abstract: Recent LHCb experiments have shown us that there are two resonances in the $J/\psi p$ channel in the $\Lambda_b$ decay, whose spin and parity are most probably (3/2$^-$ 5/2$^+$). In this work, we investigate the $I(J^P)=1/2(1/2^-)$, $1/2(3/2^-)$, and $1/2(5/2^-)$ $uudc{\bar c}$ pentaquark states by employing the quark cluster model. It is found that the color-octet isospin-1/2 spin-3/2 $uud$ configuration gives an attraction to such five-quark systems. This configuration together with the color-octet $c{\bar c}$ pair gives structures around the $\Sigma_c^{(*)}{\bar D}{}^{(*)}$ thresholds: one bound state, two resonances, and one large cusp are found in the $uudc{\bar c}$ negative parity channels. We argue that these resonances and cusp may correspond to, or combine to form, the negative parity pentaquark peak observed by LHCb.


title: Bockstein homomorphisms for Hochschild cohomology of group algebras and of block algebras of finite groups

abstract: We give an explicit approach for Bockstein homomorphisms of the Hochschild cohomology of a group algebra and of a block algebra of a finite group and we show some properties. To give explicit definitions for these maps we use an additive decomposition and a Product Formula for the Hochschild cohomology of group algebras given by Siegel and Witherspoon in 1999. For k an algebraically closed field of characteristic p and G a finite group we prove an additive decomposition and a Product Formula for the cohomology algebra of a defect group of a block ideal of kG with coefficients in the source algebra of this block, and we define similar Bockstein homomorphisms.


title: Frobenius induction for algebras

abstract: Let $B\rightarrow A$ be a homomorphism of Hopf algebras and let $C$ be an algebra. We consider the induction from $B$ to $A$ of $C$ in two cases: when $C$ is a $B$-interior algebra and when $C$ is a $B$-module algebra. Our main results establish the connection between the two inductions. The inspiration comes from finite group representation theory, and some constructions work in even more general contexts.


title: Estimating the second-order parameter of regular variation and bias reduction in tail index estimation under random truncation

abstract: In this paper, we propose an estimator of the second-order parameter of randomly right-truncated Pareto-type distributions data and establish its consistency and asymptotic normality. Moreover, we derive an asymptotically unbiased estimator of the tail index and study its asymptotic behaviour. Our considerations are based on a useful Gaussian approximation of the tail product-limit process recently given by Benchaira et al. [Tail product-limit process for truncated data with application to extreme value index estimation. Extremes, 2016; 19: 219-251] and the results of Gomes et al. [Semi-parametric estimation of the second order parameter in statistics of extremes. Extremes, 2002; 5: 387-414]. We show, by simulation, that the proposed estimators behave well, in terms of bias and mean square error.


title: On cohomology of saturated fusion systems and support varieties

abstract: In this short note we study the cohomology algebra of saturated fusion systems using finite groups which realize saturated fusion systems and Hochschild cohomology of group algebras. A similar result to a theorem of Alperin is proved for varieties of cohomology algebras of fusions systems associated to block algebras of finite groups.


title: Magnetic MoS2 Interface Monolayer on CdS Nanowire by Cation Exchange

abstract: MoS2 atomic layers have recently attracted much interest because of their two-dimensional structure as well as tunable optical, electrical, and mechanical properties for next generation electronic and electro-optical devices. Here we have achieved facile fabrication of MoS2 thin films on CdS nanowires by cation exchange in solution at room temperature and importantly observed their extraordinary magnetic properties. We establish the atomic structure of the MoS2/CdS heterostructure by taking atomic images of the MoS2/CdS interface as well as performing first-principles density functional geometry optimizations and STEM-ADF image simulations. Furthermore, our first principles density functional calculations for the MoS2/CdS heterostructure reveal that the magnetism in the MoS2/CdS heterostructure stems from the ferromagnetic MoS2 monolayer next to the MoS2/CdS interface. The ferromagnetism is attributed to the partial occupation of the Mo dx2-y2/dxy conduction band in the interfacial MoS2 monolayer caused by the mixed covalent-ionic bonding among the MoS2 and CdS monolayers near the MoS2/CdS interface. The present findings of the ferromagnetic MoS2 monolayer with large spin polarization at the MoS2-semiconductor interface suggest a new route for fabrication of the transition metal dichalcogenide-based magnetic semiconductor multilayers for applications in spintronic devices.


title: Refinement types for precisely named cache locations

abstract: Many programming language techniques for incremental computation employ programmer-specified names for cached information. At runtime, each name identifies a "cache location" for a dynamic data value or a sub-computation; in sum, these cache location choices guide change propagation and incremental (re)execution. We call a cache location name precise when it identifies at most one value or subcomputation; we call all other names imprecise, or ambiguous. At a minimum, cache location names must be precise to ensure that change propagation works correctly; yet, reasoning statically about names in incremental programs remains an open problem. As a first step, this paper defines and solves the precise name problem, where we verify that incremental programs with explicit names use them precisely. To do so, we give a refinement type and effect system, and prove it sound (every well-typed program uses names precisely). We also demonstrate that this type system is expressive by verifying example programs that compute over efficient representations of incremental sequences and sets. Beyond verifying these programs, our type system also describes their dynamic naming strategies, e.g., for library documentation purposes.


title: Explicit formulas for the Dunkl dihedral kernel and the $(\kappa, a)$-generalized Fourier kernel

abstract: In this paper, a new method is developed to obtain explicit and integral expressions for the kernel of the $(\kappa, a)$-generalized Fourier transform for $\kappa =0$. In the case of dihedral groups, this method is also applied to the Dunkl kernel as well as the Dunkl Bessel function. The method uses the introduction of an auxiliary variable in the series expansion of the kernel, which is subsequently Laplace transformed. The kernel in the Laplace domain takes on a much simpler form, by making use of the Poisson kernel. The inverse Laplace transform can then be computed using the generalized Mittag-Leffler function to obtain integral expressions. In case the parameters involved are integers, explicit formulas are obtained using partial fraction decomposition. New bounds for the kernel of the $(\kappa, a)$-generalized Fourier transform are obtained as well.


title: Finite-momentum nematic fluctuations soften phonons in the superconducting state of Ba(Fe$_{1-x}$Co$_x$)$_2$As$_2$

abstract: Nematic order is ubiquitous in liquid crystals and is characterized by a rotational symmetry breaking in an otherwise uniform liquid. Recently a similar phenomenon has been observed in some electronic phases of quantum materials related to high temperature superconductivity, particularly in the Fe-based superconductors. While several experiments have probed nematic fluctuations, they have been primarily restricted to the uniform nematic susceptibility, i.e. q = 0 fluctuations. Here, we investigate the behavior of finite-momentum nematic fluctuations by measuring transverse acoustic phonon modes with wavelengths of up to 25 unit cells in the prototypical Fe-based compound Ba(Fe$_{1-x}$Co$_x$)$_2$As$_2$. While the slope of the phonon dispersion gives information about the uniform nematic susceptibility, deviations from this linear behavior at finite but small wave-vectors are attributed to finite-momentum nematic fluctuations. Surprisingly, these non-zero q fluctuations lead to a softening of the phonon mode below the superconducting transition temperature, in contrast to the behavior of the phonon velocity at q = 0, which increases below $T_c$. Our work not only establishes a sound method to probe long wavelength nematic fluctuations, but also sheds light on the unique interplay between nematicity and superconductivity in Fe-based compounds.


title: L shell x-ray production in high-Z elements using 4-6 MeV/u fluorine ions

abstract: L shell line and total x-ray production cross sections in 78Pt, 79Au, 82Pb, 83Bi, 90Th, and 92U targets ionized by 4-6 MeV/u fluorine ions were measured. These cross sections are compared with available theories for L shell ionization using single- and multiple-hole fluorescence and the Coster-Kronig yields. The ECPSSR and the ECUSAR theories exhibit good agreement with the measured data, whereas, the FBA theory overestimates them by a factor of two. Although for the F ion charge states q = 6-8 the multiple-hole atomic parameters do not significantly differ from the single-hole values, after an account for the multiple-holes, our data are better in agreement with the ECUSAR than the ECPSSR theory.


title: Measuring effective temperatures in a generalized Gibbs ensemble

abstract: The local physical properties of an isolated quantum statistical system in the stationary state reached long after a quench are generically described by the Gibbs ensemble, which involves only its Hamiltonian and the temperature as a parameter. If the system is instead integrable, additional quantities conserved by the dynamics intervene in the description of the stationary state. The resulting generalized Gibbs ensemble involves a number of temperature-like parameters, the determination of which is practically difficult. Here we argue that in a number of simple models these parameters can be effectively determined by using fluctuation-dissipation relationships between response and correlation functions of natural observables, quantities which are accessible in experiments.


title: Observing Nonclassical Paths by Measuring Bohmian Velocities in Multi-Slit Interferometer with Electron

abstract: Superposition principle of wave function in multi-slit interference experiment has been widely accepted by many quantum mechanics textbooks, however the expression ${\psi _{AB}} = {\psi _A} + {\psi _B}$ does not strictly hold. The non-classical paths in Feynman path integral provide an explanation to the multi-path interference effect, and can be used to quantitatively analyse the multi-slit interference effect. In this work, we apply quantities in Bohmian mechanics to the measurement of multi-order interference by analysing the contribution of non-classical paths to Bohmian velocity in electron's multi-slit interferometer. The result shows that the non-classical paths effect will cause a relative deviation of $10^{-3}$ in electron's Bohmian velocity, which is observable by doing weak measurement similar to previous work.


title: On Non-Newtonian fluids and phase field approach: Existence and Regularity

abstract: The object of this paper is twofold. Firstly, we study a class of generalized Newtonian fluid related to "power law ". For the corresponding non-Newtonian Navier-Stokes problems, the existence of a weak and periodic solutions is proved in the large for a bounded domain in $\mathbb{R}^3$. Further, variational inequalities and local-in-time well-posedness of the initial-boundary value problem are investigated. Secondly, we deduce a generalization of the Graffi-Kazhikhov-Smagulov model based on an advective-diffusion process in the context of multiphase theory. Local-in-time well-posedness of the initial-boundary value problem is investigated


title: A Note on the Entropy of Entanglement and Entanglement Swapping Bounds

abstract: Using the information content of correlations between multipartite systems, together with the notion of partitioning, we show that some general results about the evolution of correlations in quantum systems can be derived with only elementary methods. In particular, we show that for 2 quantum systems A and B, each comprised of a number of sub-systems, in which a partition of A interacts unitarily with a partition of B, then the total correlation can only increase (or remain unchanged) and is given simply by the sum of the initial correlation and the correlation that develops as a result of the interaction. We then show that in a 4 qubit entanglement swapping process the transferred degree of entanglement is bounded by the lower of the initial degrees of entanglements of the qubits.


title: Quantum Information as a Measure of Multipartite Correlation

abstract: The mutual information has been successfully used as a measure of correlation strength between quantum systems, especially for bipartite systems. Here we examine the use of this measure for multipartite quantum systems. For system of qubits we find that the difference between `classical' and `quantum' regimes of correlation strength amounts to just 1 bit of information, at most. We show that the information content of a correlation can be expanded into correlations between pairwise components and demonstrate that in terms of this information-based measure of correlation the GHZ states are the only states that simultaneously optimize these pairwise correlations for systems of qubits.


title: The influence of magnetic fields on absorption and emission spectroscopies

abstract: Spectroscopic observations play a fundamental role in astrophysics. They are crutial to determine important physical parameters, provide information about the composition of various objects in the universe, as well as depict motions in the universe. However, spectroscopic studies often do not consider the influence of magnetic fields. In this paper, we explore the influence of magnetic fields on the spectroscopic observations using the concept of atomic alignment. Synthetic spectra are generated to show the measurable changes of the spectra due to atomic alignment. The influences of atomic alignment on absorption from DLAs, emission from H\,{\sc ii} Regions, submillimeter fine-structure lines from star forming regions are presented as examples to show this effect in diffuse gas. Furthermore, we demonstrate the influence of atomic alignment on physical parameters derived from atomic line ratios, such as the alpha-to-iron ratio([X/Fe]), interstellar temperature, and ionization rate. We conclude that Ground State Alignment (GSA) should be taken into consideration in the error budget of spectroscopic studies with high signal-to-noise(S/N) ratio.


title: Cubic graphs and the golden mean

abstract: The connective constant $\mu(G)$ of a graph $G$ is the exponential growth rate of the number of self-avoiding walks starting at a given vertex. We investigate the validity of the inequality $\mu \ge \phi$ for infinite, transitive, simple, cubic graphs, where $\phi:= \frac12(1+\sqrt 5)$ is the golden mean. The inequality is proved for several families of graphs including (i) Cayley graphs of infinite groups with three generators and strictly positive first Betti number, (ii) infinite, transitive, topologically locally finite (TLF) planar, cubic graphs, and (iii) cubic Cayley graphs with two ends. Bounds for $\mu$ are presented for transitive cubic graphs with girth either $3$ or $4$, and for certain quasi-transitive cubic graphs.


title: A digit reversal property for Stern polynomials

abstract: We consider the following polynomial generalization of Stern's diatomic series: let $s_1(x,y)=1$, and for $n\geq 1$ set $s_{2n}(x,y)=s_n(x,y)$ and $s_{2n+1}(x,y)=x\,s_n(x,y)+y\,s_{n+1}(x,y)$. The coefficient $[x^iy^j]s_n(x,y)$ is the number of hyperbinary expansions of $n-1$ with exactly $i$ occurrences of the digit $\mathtt 2$ and $j$ occurrences of $\mathtt 0$. We prove that the polynomials $s_n$ are invariant under \emph{digit reversal}, that is, $s_n=s_{n^R}$, where $n^R$ is obtained from $n$ by reversing the binary expansion of $n$.


title: Current-Density Functional Theory for the superconductor

abstract: We present the current-density functional theory for the superconductor immersed in the magnetic field. The order parameter of the superconducting state, transverse component of the paramagnetic current-density, and electron density are chosen as basic variables that uniquely determine the equilibrium properties of the system. In order to construct this theory, the development of the approximate form of the exchange-correlation (xc) energy functional is indispensable as well as the derivation of the effective single-particle equation which makes it possible to reproduce the equilibrium densities mentioned above. The rigorous expression of the xc-energy functional is derived using the technique of the coupling-constant integration. Furthermore, the approximate form of the xc energy functional is proposed such that the energy gap resulting from the effective single-particle equation is consistent with the attractive interaction energy of the system.


title: Superconducting energy gap of $2H$-NbSe$_2$ in phonon spectroscopy

abstract: We present a high energy-resolution inelastic x-ray scattering data investigation of the charge-density-wave (CDW) soft phonon mode upon entering the superconducting state in $2H$-NbSe$_2$. Measurements were done close to the CDW ordering wavevector $\mathbf{q}_{CDW}$ at $\mathbf{q}=\mathbf{q}_{CDW}+(0,0,l)$,$0.15\leq l \leq 0.5$, for $T=10\,\rm{K}$ (CDW order) and $3.8\,\rm{K}$ (CDW order + superconductivity). We observe changes of the phonon lineshape that are characteristic for systems with strong electron-phonon coupling in the presence of a superconducting energy gap $2\Delta_c$ and from which we can demonstrate an $l$-dependence of the superconducting gap. Reversely, our data imply that the CDW energy gap is strongly localized along the $c^*$ direction. The confinement of the CDW gap to a very small momentum region explains the rather low competition and easy coexistence of CDW order and superconductivity in $2H$-NbSe$_2$. However, the energy gained by opening $\Delta_{CDW}$ seems to be too small to be the driving force of the phase transition at $T_{CDW}=33\,\rm{K}$ , which is better described as an electron-phonon coupling driven structural phase transition.


title: Norms of vector functionals

abstract: We examine the question of when, and how, the norm of a vector functional on an operator algebra can be controlled by the invariant subspace lattice of the algebra. We introduce a related operator algebraic property, and show that it is satisfied by all von Neumann algebras and by all CSL algebras. We exhibit examples of operator algebras that do not satisfy the property or any scaled version of it.


title: Nanoscale Charge Balancing Mechanism in Alkali Substituted Calcium-Silicate-Hydrate Gels

abstract: Alkali-activated materials and related alternative cementitious systems are sustainable material technologies that have the potential to substantially lower CO$_2$ emissions associated with the construction industry. However, the impact of augmenting the chemical composition of the material on the main binder phase, calcium-silicate-hydrate gel, is far from understood, particularly since this binder phase is disordered at the nanoscale. Here, we reveal the presence of a charge balancing mechanism at the molecular level, which leads to stable structures when alkalis (i.e., Na or K) are incorporated into a calcium-silicate-hydrate gel, as modeled using crystalline 14{\AA} tobermorite. These alkali containing charge balanced structures possess superior mechanical properties compared to their charge unbalanced counterparts. Our results, which are based on first-principles simulations using density functional theory, include the impact of charge balancing on the optimized geometries of the new model phases, formation energies, local bonding environments, bulk moduli and diffusion barriers of the alkali atoms within the crystals.


title: Formation of spin droplet at nu = 5/2 in an asymmetric quantum dot under quantum Hall conditions

abstract: In this work, a quantum dot that is defined asymmetrically by electrostatic means induced on a GaAs/AlGaAs heterostructure is investigated to unravel the effect of geometric constrains on the formation of spin droplets under quantised Hall conditions. The incompressibility of exciting nu = 5/2 state is explored by solving the Schrodinger equation within spin density functional theory, where the confinement potential is obtained self-consistently utilising the Thomas-Fermi approximation. Our numerical investigations show that the spatial distribution of the nu = 2 incompressible strips and electron occupation in the second lowest Landau level considerably differ from the results of the laterally symmetric quantum dots. Our findings yield two important consequences, first the incompressibility of the intriguing nu = 5/2 state is strongly affected by the asymmetry, and second, since the Aharonov-Bohm interference patterns depend on the velocity of the particles, asymmetry yields an additional parameter to adjust the oscillation period, which imposes a boundary condition dependency in observing quasi-particle phases.


title: Emergence of collective dynamical chirality for achiral active particles

abstract: Emergence of collective dynamical chirality (CDC) at mesoscopic scales plays a key role in many formation processes of chiral structures in nature, which may also provide possible routines for people to fabricate complex chiral architectures. So far, most of reported CDCs are found in systems of active objects with individual structure chirality or/and dynamical chirality, and whether CDC can arise from simple and achiral units is still an attractive mystery. Here, we report a spontaneous formation of CDC in a system of both dynamically and structurally achiral particles motivated by active motion of cells. Active moving, confinement and hydrodynamic interaction are found to be the three key factors. Detailed analysis shows that the system can support abundant collective dynamical behaviors, including rotating droplet, rotating bubble, CDC oscillation, array of collective rotation, as well as interesting transitions such as chirality transition, structure transition and state reentrance.


title: Power-law modulation of the scalar power spectrum from a heavy field with a monomial potential

abstract: The effects of heavy fields modulate the scalar power spectrum during inflation. We analytically calculate the modulations of the scalar power spectrum from a heavy field with a separable monomial potential, i.e. V(\phi)~\phi^n. In general the modulation is characterized by a power-law oscillation which is reduced to the logarithmic oscillation in the case of n=2.


title: An improved Moore bound for mixed graphs

abstract: A mixed graph $G$ can contain both (undirected) edges and arcs (directed edges). Here we derive an improved Moore-like bound for the maximum number of vertices of a mixed graph with diameter at least three. Moreover, a complete enumeration of all optimal $(1,1)$-regular mixed graphs with diameter three is presented, so proving that, in general, the proposed bound cannot be improved.


title: Robustness of graph properties

abstract: A typical result in graph theory says that a graph $G$, satisfying certain conditions, has some property $\cal P$. Once such a theorem is established, it is natural to ask how strongly $G$ satisfies $\cal P$. Can one strengthen the result by showing that $G$ possesses $\cal P$ in a robust way? What measures of robustness can one utilize? In this survey, we discuss various measures that can be used to study robustness of graph properties, illustrating them with examples.


title: Low Complexity Channel Estimation for Millimeter Wave Systems with Hybrid A/D Antenna Processing

abstract: The availability of large bandwidth at millimeter wave (mmWave) frequencies is one of the major factors that rendered very high frequencies a promising candidate enabler for fifth generation (5G) mobile communication networks. To confront with the intrinsic characteristics of signal propagation at frequencies of tens of GHz and being able to achieve data rates of the order of gigabits per second, mmWave systems are expected to employ large antenna arrays that implement highly directional beamforming. In this paper, we consider mmWave wireless systems comprising of nodes equipped with large antenna arrays and being capable of performing hybrid analog and digital (A/D) processing. Intending at realizing channel-aware transmit and receive beamforming, we focus on designing low complexity compressed sensing channel estimation. In particular, by adopting a temporally correlated mmWave channel model, we present two compressed sensing algorithms that exploit the temporal correlation to reduce the complexity of sparse channel estimation, one being greedy and the other one being iterative. Our representative performance evaluation results offer useful insights on the interplay among some system and operation parameters, and the accuracy of channel estimation.


title: On the sigma sigma term

abstract: We give some estimates for the light-quark mass dependence of the pole position of the sigma ($f_{0}(500)$) resonance in the complex energy plane, with the help of a chiral Lagrangian for the resonance field and some input from hadronic models constrained by Chiral Perturbation Theory and elastic unitarity. We also speculate on the fate of the sigma resonance when the quark masses become unphysically large.


title: Nonequilibrium fluctuation response relation in a time scale separated system

abstract: We present a theoretical framework to analyze the violation of fluctuation-response relation (FRR) for any observable from a finite Markov system with two well-separated time scales. We find that, generally for both slow and fast observables, a broad plateau exists in the intermediate frequency region, which contributes to a finite hidden entropy production. Assuming that non-equilibrium behavior arises only from coupling of slow and fast processes, we find that, at large observation time scae, the effective temperature for a slow observable deviates only slightly from the bath temperature, accompanied by an emerging well-defined effective potential landscape, while the deviation is significant for a fast observable. Our study also identifies a wider range of applicability of the Harada-Sasa equality in Markov jumping systems.


title: Prediction of Prokaryotic and Eukaryotic Promoters Using Convolutional Deep Learning Neural Networks

abstract: Accurate computational identification of promoters remains a challenge as these key DNA regulatory regions have variable structures composed of functional motifs that provide gene specific initiation of transcription. In this paper we utilize Convolutional Neural Networks (CNN) to analyze sequence characteristics of prokaryotic and eukaryotic promoters and build their predictive models. We trained the same CNN architecture on promoters of four very distant organisms: human, plant (Arabidopsis), and two bacteria (Escherichia coli and Mycoplasma pneumonia). We found that CNN trained on sigma70 subclass of Escherichia coli promoter gives an excellent classification of promoters and non-promoter sequences (Sn=0.90, Sp=0.96, CC=0.84). The Bacillus subtilis promoters identification CNN model achieves Sn=0.91, Sp=0.95, and CC=0.86. For human and Arabidopsis promoters we employ CNNs for identification of two well-known promoter classes (TATA and non-TATA promoters). CNNs models nicely recognize these complex functional regions. For human Sn/Sp/CC accuracy of prediction reached 0.95/0.98/0,90 on TATA and 0.90/0.98/0.89 for non-TATA promoter sequences, respectively. For Arabidopsis we observed Sn/Sp/CC 0.95/0.97/0.91 (TATA) and 0.94/0.94/0.86 (non-TATA) promoters. Thus, the developed CNN models (implemented in CNNProm program) demonstrated the ability of deep learning with grasping complex promoter sequence characteristics and achieve significantly higher accuracy compared to the previously developed promoter prediction programs. As the suggested approach does not require knowledge of any specific promoter features, it can be easily extended to identify promoters and other complex functional regions in sequences of many other and especially newly sequenced genomes. The CNNProm program is available to run at web server http://www.softberry.com.


title: Symmetry of Solutions to Semilinear Equations Involving the Fractional Laplacian on $\mathbb{R}^n$ and $\mathbb{R}^n_+$

abstract: Let $0<\alpha<2$ be any real number. In this paper, we investigate the following semilinear equations involving the fractional Laplacian \begin{equation}(-\bigtriangleup)^{\alpha/2} u(x)=f(u),\end{equation} on $\mathbb{R}^n$ and $\mathbb{R}^n_+$. Applying a direct method of moving planes for the fractional Laplacian, we prove symmetry and nonexistence of positive solutions on $\mathbb{R}^n$ and $\mathbb{R}^n_+$ under mild conditions on $f$.


title: On Newton-Cartan local renormalization group and anomalies

abstract: Weyl consistency conditions are a powerful tool to study the irreversibility properties of the renormalization group. We apply this formalism to non-relativistic theories in 2 spatial dimensions with boost invariance and dynamical exponent z=2. Different possibilities are explored, depending on the structure of the gravitational background used as a source for the energy-momentum tensor.


title: Signatures of bifurcation on quantum correlations: Case of the quantum kicked top

abstract: Quantum correlations reflect the quantumness of a system and are useful resources for quantum information and computational processes. The measures of quantum correlations do not have a classical analog and yet are influenced by the classical dynamics. In this work, by modelling the quantum kicked top as a multi-qubit system, the effect of classical bifurcations on the measures of quantum correlations such as quantum discord, geometric discord, Meyer and Wallach $Q$ measure is studied. The quantum correlation measures change rapidly in the vicinity of a classical bifurcation point. If the classical system is largely chaotic, time averages of the correlation measures are in good agreement with the values obtained by considering the appropriate random matrix ensembles. The quantum correlations scale with the total spin of the system, representing its semiclassical limit. In the vicinity of the trivial fixed points of the kicked top, scaling function decays as a power-law. In the chaotic limit, for large total spin, quantum correlations saturate to a constant, which we obtain analytically, based on random matrix theory, for the $Q$ measure. We also suggest that it can have experimental consequences.


title: Dithen: A Computation-as-a-Service Cloud Platform For Large-Scale Multimedia Processing

abstract: We present Dithen, a novel computation-as-a-service (CaaS) cloud platform specifically tailored to the parallel execution of large-scale multimedia tasks. Dithen handles the upload/download of both multimedia data and executable items, the assignment of compute units to multimedia workloads, and the reactive control of the available compute units to minimize the cloud infrastructure cost under deadline-abiding execution. Dithen combines three key properties: (i) the reactive assignment of individual multimedia tasks to available computing units according to availability and predetermined time-to-completion constraints; (ii) optimal resource estimation based on Kalman-filter estimates; (iii) the use of additive increase multiplicative decrease (AIMD) algorithms (famous for being the resource management in the transport control protocol) for the control of the number of units servicing workloads. The deployment of Dithen over Amazon EC2 spot instances is shown to be capable of processing more than 80,000 video transcoding, face detection and image processing tasks (equivalent to the processing of more than 116 GB of compressed data) for less than $1 in billing cost from EC2. Moreover, the proposed AIMD-based control mechanism, in conjunction with the Kalman estimates, is shown to provide for more than 27% reduction in EC2 spot instance cost against methods based on reactive resource estimation. Finally, Dithen is shown to offer a 38% to 500% reduction of the billing cost against the current state-of-the-art in CaaS platforms on Amazon EC2 (Amazon Lambda and Amazon Autoscale). A baseline version of Dithen is currently available at http://www.dithen.com under the "AutoScale" option.


title: Generalized Kapchinskij-Vladimirskij Distribution and Beam Matrix for Phase-Space Manipulations of High-Intensity Beams

abstract: In an uncoupled linear lattice system, the Kapchinskij-Vladimirskij (KV) distribution, formulated on the basis of the single-particle Courant-Snyder (CS) invariants, has served as a fundamental theoretical basis for the analyses of the equilibrium, stability, and transport properties of high-intensity beams for the past several decades. Recent applications of high-intensity beams, however, require beam phase-space manipulations by intentionally introducing strong coupling. In this Letter, we report the full generalization of the KV model by including all of the linear (both external and space-charge) coupling forces, beam energy variations, and arbitrary emittance partition, which all form essential elements for phase-space manipulations. The new generalized KV model yields spatially uniform density profiles and corresponding linear self-field forces as desired. The corresponding matrix envelope equations and beam matrix for the generalized KV model provide important new theoretical tools for the detailed design and analysis of high-intensity beam manipulations, for which previous theoretical models are not easily applicable.


title: Auditing Australian Senate Ballots

abstract: We explain why the Australian Electoral Commission should perform an audit of the paper Senate ballots against the published preference data files. We suggest four different post-election audit methods appropriate for Australian Senate elections. We have developed prototype code for all of them and tested it on preference data from the 2016 election.


title: A note on rational points near planar curves

abstract: Under fairly natural assumptions, Huang counted the number of rational points lying close to an arc of a planar curve. He obtained upper and lower bounds of the correct order of magnitude, and conjectured an asymptotic formula. In this note, we establish the conjectured asymptotic formula.


title: On the non-thermal energy content of cosmic structures

abstract: 1) Background: the budget of non-thermal energy in galaxy clusters is not well constrained, owing to the observational and theoretical difficulties in studying these diluted plasmas on large scales. 2) Method: we use recent cosmological simulations with complex physics in order to connect the emergence of non-thermal energy to the underlying evolution of gas and dark matter. 3) Results: the impact of non-thermal energy (e.g. cosmic rays, magnetic fields and turbulent motions) is found to increase in the outer region of galaxy clusters. Within numerical and theoretical uncertainties, turbulent motions dominate the budget of non-thermal energy in most of the cosmic volume. 4) Conclusion: assessing the distribution non-thermal energy in galaxy clusters is crucial to perform high-precision cosmology in the future. Constraining the level of non-thermal energy in cluster outskirts will improve our understanding of the acceleration of relativistic particles by cosmic shocks and of the origin of extragalactic magnetic fields.


title: Fast and Compact Planar Embeddings

abstract: There are many representations of planar graphs, but few are as elegant as Tur\'an's (1984): it is simple and practical, uses only 4 bits per edge, can handle self-loops and multi-edges, and can store any specified embedding. Its main disadvantage has been that "it does not allow efficient searching" (Jacobson, 1989). In this paper we show how to add a sublinear number of bits to Tur\'an's representation such that it supports fast navigation while retaining simplicity. As a consequence of the inherited simplicity, we offer the first efficient parallel construction of a compact encoding of a planar graph embedding. Our experimental results show that the resulting representation uses about 6 bits per edge in practice, supports basic navigation operations within a few microseconds, and can be built sequentially at a rate below 1 microsecond per edge, featuring a linear speedup with a parallel efficiency around 50\% for large datasets.


title: Magnetooptical Properties of Rydberg Excitons - Center-of-Mass Quantization Approach

abstract: We show how to compute the magnetooptical functions (absorption, reflection, and transmission) when Rydberg Exciton-Polaritons appear, including the effect of the coherence between the electron-hole pair and the electromagnetic field, and the polaritonic effect. Using the Real Density Matrix Approach the analytical expressions for magnetooptical functions are obtained and numerical calculations for Cu$_2$0 crystal are performed. The influence of the strength of applied external magnetic field on the resonance displacement of excitonic spectra is discussed. We report a good agreement with recently published experimental data.


title: Charles Sanders Peirce and the Abduction of Einstein: On the Comprehensibility of the World

abstract: Einstein was deeply puzzled by the success of natural science, and thought that we would never be able to explain it. He came to this conclusion on the ground that we cannot extract the basic laws of physics from experience using induction or deduction, and he took this to mean that they cannot be arrived at in a logical manner at all. In this paper I use Charles Peirce's logic of abduction, a third mode of reasoning different from deduction and induction, and show that it can be used to explain how laws in physics are arrived at, thereby addressing Einstein's puzzle about the incomprehensible comprehensibility of the universe. Interpreting Einstein's reflections in terms of Peirce's abduction also sheds light on abduction itself, by seeing it applied in an area where our common sense, and with that our intuitions, give us little or no guidance, and is even prone to lead us astray.


title: Riemann surface of complex logarithm and multiplicative calculus

abstract: Could elementary complex analysis, which covers the topics such as algebra of complex numbers, elementary complex functions, complex differentiation and integration, series expansions of complex functions, residues and singularities, and introduction to conformal mappings, be made more elementary? In this paper we demonstrate that a little reorientation of existing elementary complex analysis brings a lot of benefits, including operating with single-valued logarithmic and power functions, making the Cauchy integral formula as a part of fundamental theorem of calculus, removal of residues and singularities, etc. Implicitly, this reorientation consists of resolving the multivalued nature of complex logarithm by considering its Riemann surface. But instead of the advanced mathematical concepts such as manifolds, differential forms, integration on manifolds, etc, which are necessary for introducing complex analysis in Riemann surfaces, we use rather elementary methods of multiplicative calculus. We think that such a reoriented elementary complex analysis could be especially successful as a first course in complex analysis for the students of engineering, physics, even applied mathematics programs who indeed do not see a second and more advanced course in complex analysis. It would be beneficial for the students of pure mathematics programs as well because it is more appropriate introduction to complex analysis on Riemann surfaces rather than the existing one.