title: BC Type Z-measures and Determinantal Point Processes

abstract: The (BC type) z-measures are a family of four parameter $z, z', a, b$ probability measures on the path space of the nonnegative Gelfand-Tsetlin graph with Jacobi-edge multiplicities. We can interpret the $z$-measures as random point processes $\mathcal{P}_{z, z', a, b}$ on the punctured positive real line $\mathfrak{X} = \mathbb{R}_+\setminus\{1\}$. Our main result is that these random processes are determinantal and moreover we compute their correlation kernels explicitly in terms of hypergeometric functions. For very special values of the parameters $z, z'$, the processes $\mathcal{P}_{z, z', a, b}$ on $\mathfrak{X}$ are essentially scaling limits of Racah orthogonal polynomial ensembles and their correlation kernels can be computed simply from some limits of the Racah polynomials. Thus, in the language of random matrices, we study certain analytic continuations of processes that are limits of Racah ensembles, and such that they retain the determinantal structure. Another interpretation of our results, and the main motivation of this paper, is the representation theory of big groups. In representation-theoretic terms, this paper solves a natural problem of harmonic analysis for several infinite-dimensional symmetric spaces.


title: Measures of Entropy and Complexity in altered states of consciousness

abstract: Quantification of complexity in neurophysiological signals has been studied using different methods, especially those from information or dynamical system theory. These studies revealed the dependence on different states of consciousness, particularly that wakefulness is characterized by larger complexity of brain signals perhaps due to the necessity of the brain to handle varied sensorimotor information. Thus these frameworks are very useful in attempts at quantifying cognitive states. We set out to analyze different types of signals including scalp and intracerebral electroencephalography (EEG), and magnetoencephalography (MEG) in subjects during different states of consciousness: awake, sleep stages and epileptic seizures. The signals were analyzed using a statistical (Permutation Entropy) and a deterministic (Permutation Lempel Ziv Complexity) analytical method. The results are presented in a complexity vs entropy graph, showing that the values of entropy and complexity of the signals tend to be greatest when the subjects are in fully alert states, falling in states with loss of awareness or consciousness. These results are robust for all three types of recordings. We propose that the investigation of the structure of cognition using the frameworks of complexity will reveal mechanistic aspects of brain dynamics associated not only with altered states of consciousness but also with normal and pathological conditions.


title: Modeling of Hybridized IR Arrays for Characterization of Interpixel Capacitive Coupling

abstract: Inter pixel capacitance (IPC) is a deterministic electronic coupling resulting in a portion of signal incident on one pixel of a hybridized detector array being measured in adjacent pixels. Data collected by light sensitive HgCdTe arrays which exhibit this coupling typically goes uncorrected or is corrected by treating the coupling as a fixed point spread function. Evidence suggests that this coupling is not uniform across signal and background levels. Sub-arrays of pixels using design parameters based upon HgCdTe indium hybridized arrays akin to those contained in the James Webb Space Telescope's NIRcam have been modeled from first principles using Lumerical DEVICE software. This software simultaneously solves Poisson's Equation and the Drift Diffusion Equations yielding charge distributions and electric fields. Modeling of this sort generates the local point spread function across a range of detector parameters. This results in predictive characterization of IPC across scene and device parameters that would permit proper photometric correction and signal restoration to the data. Additionally, the ability to visualize potential distributions and couplings as generated by the models yields insight that can be used to minimize IPC coupling in the design of future detectors.


title: Review of Inductive Pulsed Power Generators for Railguns

abstract: This literature review addresses inductive pulsed power generators and their major components. Different inductive storage designs like solenoids, toroids and force-balanced coils are briefly presented and their advantages and disadvantages are mentioned. Special emphasis is given to inductive circuit topologies which have been investigated in railgun research such as the XRAM, meat grinder or pulse transformer topologies. One section deals with opening switches as they are indispensable for inductive storages and another one deals briefly with SMES for pulsed power applications. In the end, the most relevant inductor systems which were realized in respect to railgun research are summarized in a table, together with its main characteristics.


title: Summatory relations and prime products for the Stieltjes constants, and other related results

abstract: The Stieltjes constants $\gamma_k(a)$ appear in the regular part of the Laurent expansion for the Hurwitz zeta function $\zeta(s,a)$. We present summatory results for these constants $\gamma_k(a)$ in terms of fundamental mathematical constants such as the Catalan constant, and further relate them to products of rational functions of prime numbers. We provide examples of infinite series of differences of Stieltjes constants evaluating as volumes in hyperbolic $3$-space. We present a new series representation for the difference of the first Stieltjes constant at rational arguments. We obtain expressions for $\zeta(1/2)L_{-p}(1/2)$, where for primes $p>7$, $L_{-p}(s)$ are certain $L$-series, and remarkably tight bounds for the value $\zeta(1/2)$, $\zeta(s)=\zeta(s,1)$ being the Riemann zeta function.


title: Bulk Properties of the Medium Produced in Relativistic Heavy-Ion Collisions from the Beam Energy Scan Program

abstract: We present measurements of bulk properties of the matter produced in Au+Au collisions at $\sqrt{s_{NN}}=$ 7.7, 11.5, 19.6, 27, and 39 GeV using identified hadrons ($\pi^\pm$, $K^\pm$, $p$ and $\bar{p}$) from the STAR experiment in the Beam Energy Scan (BES) Program at the Relativistic Heavy Ion Collider (RHIC). Midrapidity ($|y|<$0.1) results for multiplicity densities $dN/dy$, average transverse momenta $\langle p_T \rangle$ and particle ratios are presented. The chemical and kinetic freeze-out dynamics at these energies are discussed and presented as a function of collision centrality and energy. These results constitute the systematic measurements of bulk properties of matter formed in heavy-ion collisions over a broad range of energy (or baryon chemical potential) at RHIC.


title: A geometrical proof of sum of $\cos n\varphi$

abstract: In this article, we present a geometrical proof of sum of $\cos n\varphi$ where $n$ goes from $1$ up to $m$. Although there exist some summation forms and the proofs are simple, they use complex numbers. Our proof comes from a geometrical construction. Moreover, from this geometrical construction we obtain an other summation form.


title: Semirelativity in Semiconductors: a Review

abstract: Analogy between behavior of electrons in narrow-gap semiconductors (NGS) and relativistic electrons is reviewed. Energy bands in NGS correspond to special relativity, the latter is analogous to two-band k.p description for NGS. Maximum electron velocity in NGS is u=(okolo)1x 10^8 cm/s corresponding to the light velocity. An effective mass of electrons in semiconductors is introduced relating their velocity to quasimomentum. This mass depends on energy similarly to the mass of relativistic electrons. In Hg_(1-x)Cd_(x)Te alloys one can reach vanishing energy gap at which electrons and light holes are 3D massless Dirac fermions. Wavelength lam_z is defined for NGS, in analogy to the Compton wavelength, lam_z is around tens of Angstroms in semiconducting materials, in agreement with tunneling experiments. Interband electron tunneling in NGS is in close analogy to tunneling between negative and positive energies of the Dirac equation. Relativistic analogy holds for orbital and spin properties of electrons in an external magnetic field. The spin magnetic moment of both NGS electrons and relativistic electrons approaches zero with increasing energy. Electrons in crossed electric and magnetic fields are described. It is the semirelativistic two-band description that gives a correct account of experiments in this situation. A transverse Doppler shift is observed in crossed fields indicating that there exists a time dilatation between an electron and an observer. Phenomenon of Zitterbewegung (ZB, trembling motion) for semiconductor electrons follows an analogy to free relativistic electrons. Graphene, carbon nanotubes, topological insulators illustrate extreme semirelativistic regime. Approximations and restrictions of the relativistic analogy are emphasized. It is often easier to observe semirelativistic effects in semiconductors than relativistic effects in vacuum.


title: Complete renormalization of QCD at five loops

abstract: We present new analytical five-loop Feynman-gauge results for the anomalous dimensions of ghost field and -vertex, generalizing the known values for SU(3) to a general gauge group. Together with previously published results on the quark mass and -field anomalous dimensions and the Beta function, this completes the 5-loop renormalization program of gauge theories in that gauge.


title: The Differing Relationships Between Size, Mass, Metallicity and Core Velocity Dispersion of Central and Satellite Galaxies

abstract: We study the role of environment in the evolution of central and satellite galaxies with the Sloan Digital Sky Survey. We begin by studying the size-mass relation, replicating previous studies, which showed no difference between the sizes of centrals and satellites at fixed stellar mass, before turning our attention to the size-core velocity dispersion ($\sigma_0$) and mass-$\sigma_0$ relations. By comparing the median size and mass of the galaxies at fixed velocity dispersion we find that the central galaxies are consistently larger and more massive than their satellite counterparts in the quiescent population. In the star forming population we find there is no difference in size and only a small difference in mass. To analyse why these difference may be present we investigate the radial mass profiles and stellar metallicity of the galaxies. We find that in the cores of the galaxies there is no difference in mass surface density between centrals and satellites, but there is a large difference at larger radii. We also find almost no difference between the stellar metallicity of centrals and satellites when they are separated into star forming and quiescent groups. Under the assumption that $\sigma_0$ is invariant to environmental processes, our results imply that central galaxies are likely being increased in mass and size by processes such as minor mergers, particularly at high $\sigma_0$, while satellites are being slightly reduced in mass and size by tidal stripping and harassment, particularly at low $\sigma_0$, all of which predominantly affect the outer regions of the galaxies.


title: Direct measurement of the ballistic motion of a freely floating colloid in Newtonian and viscoelastic fluids

abstract: A thermal colloid suspended in a liquid will transition from a short time ballistic motion to a long time diffusive motion. However, the transition between ballistic and diffusive motion is highly dependent on the properties and structure of the particular liquid. We directly observe a free floating tracer particle's ballistic motion and its transition to the long time regime in both a Newtonian fluid and a viscoelastic Maxwell fluid. We examine the motion of the free particle in a Newtonian fluid and demonstrate a high degree of agreement with the accepted Clercx-Schram model for motion in a dense fluid. Measurements of the functional form of the ballistic-to-diffusive transition provide direct measurements of the temperature, viscosity, and tracer radius. We likewise measure the motion in a viscoelastic Maxwell fluid and find a significant disagreement between the theoretical asymptotic behavior and our measured values of the microscopic properties of the fluid. We observe a greatly increased effective mass for a freely moving particle and a decreased plateau modulus.


title: Hydrodynamic Swarming of Thermally Active Dimeric Colloids

abstract: Self-propelled phoretic colloids have recently emerged as a promising avenue for the design of artificial swimmers. These swimmers combine purely phoretic interactions with intricate hydrodynamics which critically depend on the swimmer shape. Thermophobic dimer shaped colloids are here investigated by means of hydrodynamic simulations, from the single particle motion to their collective behavior. The combination of phoretic repulsion with hydrodynamic lateral attraction favors the formation of planar moving clusters. The resulting hydrodynamic assembly in flattened swarms is therefore very specific to these dimeric active colloids.


title: Operator Locality in Quantum Simulation of Fermionic Models

abstract: Simulating fermionic lattice models with qubits requires mapping fermionic degrees of freedom to qubits. The simplest method for this task, the Jordan-Wigner transformation, yields strings of Pauli operators acting on an extensive number of qubits. This overhead can be a hindrance to implementation of qubit-based quantum simulators, especially in the analog context. Here we thus review and analyze alternative fermion-to-qubit mappings, including the two approaches by Bravyi and Kitaev and the Auxiliary Fermion transformation. The Bravyi-Kitaev transform is reformulated in terms of a classical data structure and generalized to achieve a further locality improvement for local fermionic models on a rectangular lattice. We conclude that the most compact encoding of the fermionic operators can be done using ancilla qubits with the Auxiliary Fermion scheme. Without introducing ancillas, a variant of the Bravyi-Kitaev transform provides the most compact fermion-to-qubit mapping for Hubbard-like models.


title: Observational evidence for high neutronization in supernova remnants: implications for Type Ia supernova progenitors

abstract: The physical process whereby a carbon--oxygen white dwarf explodes as a Type Ia supernova (SN Ia) remains highly uncertain. The degree of neutronization in SN Ia ejecta holds clues to this process because it depends on the mass and the metallicity of the stellar progenitor, and on the thermodynamic history prior to the explosion. We report on a new method to determine ejecta neutronization using Ca and S lines in the X-ray spectra of Type Ia supernova remnants (SNRs). Applying this method to \textit{Suzaku} data of Tycho, Kepler, 3C 397 and G337.2$-$0.7 in the Milky Way, and N103B in the Large Magellanic Cloud, we find that the neutronization of the ejecta in N103B is comparable to that of Tycho and Kepler, which suggests that progenitor metallicity is not the only source of neutronization in SNe Ia. We then use a grid of SN Ia explosion models to infer the metallicities of the stellar progenitors of our SNRs. The implied metallicities of 3C 397, G337.2$-$0.7, and N103B are major outliers compared to the local stellar metallicity distribution functions, indicating that progenitor metallicity can be ruled out as the origin of neutronization for these SNRs. Although the relationship between ejecta neutronization and equivalent progenitor metallicity is subject to uncertainties stemming from the $^{12}$C$\,$+$^{16}$O reaction rate, which affects the Ca/S mass ratio, our main results are not sensitive to these details.


title: Recurrence sequences in the hyperbolic Pascal triangle corresponding to the regular mosaic $\{4,5\}

abstract: Recently, a new generalization of Pascal's triangle, the so-called hyperbolic Pascal triangles were introduced. The mathematical background goes back to the regular mosaics in the hyperbolic plane. In this article, we investigate the paths in the hyperbolic Pascal triangle corresponding to the regular mosaic $\{4,5\}$, in which the binary recursive sequences $f_{n}=\alpha f_{n-1}\pm f_{n-2}$ are represented ($\alpha\in\mathbb{N}^+$).


title: Privacy Protection for Mobile Cloud Data: A Network Coding Approach

abstract: Taking into account of both the huge computing power of intruders and untrusted cloud servers, we develop an enhanced secure pseudonym scheme to protect the privacy of mobile cloud data. To face the huge computing power challenge, we develop an unconditionally secure lightweight network coding pseudonym scheme. For the privacy issue of untrusted cloud server, we further design a two tier network coding to decouple the stored mobile cloud data from the owner pseudonyms. Therefore, our proposed network coding based pseudonym scheme can simultaneously defend against attackers from both outside and inside. We implement our proposed two-tier light-weight network coding mechanism in a group location based service (LBS) using untrusted cloud database. Compared to computationally secure Hash-based pseudonym, our proposed scheme is not only unconditionally secure, but also can reduce more than 90 percent of processing time as well as 10 percent of energy consumption.


title: Operator of Time and Properties of Solutions of Schroedinger Equation for Time Dependent Hamiltonian

abstract: Within the framework of self-adjoint operator of time in non-relativistic quantum mechanics some properties of solutions of Schroedinger equation, related to Hilbert space formalism, are investigated for two types of time dependent Hamiltonian.


title: Characterizing the number of coloured $m$-ary partitions modulo $m$, with and without gaps

abstract: In a pair of recent papers, Andrews, Fraenkel and Sellers provide a complete characterization for the number of $m$-ary partitions modulo $m$, with and without gaps. In this paper we extend these results to the case of coloured $m$-ary partitions, with and without gaps. Our method of proof is different, giving explicit expansions for the generating functions modulo $m$


title: Measurement-to-Track Association and Finite-Set Statistics

abstract: This is a shortened, clarified, and mathematically more rigorous version of the original arXiv version. Its first four findings remain unchanged from the original: 1) measurement-to-track associations (MTAs) in multitarget tracking (MTT) are heuristic and physically erroneous multitarget state models; 2) MTAs occur in the labeled random finite set (LRFS) approach only as purely mathematical abstractions that do not occur singly; 3) the labeled random finite set (LRFS) approach is not a mathematically obfuscated replication of multi-hypothesis tracking (MHT); and 4) the conventional interpretation of MHT is more consistent with classical than Bayesian statistics. This version goes beyond the original in including the following additional main finding: 5) a generalized, RFS-like interpretation results in a correct Bayesian formulation of MHT, based on MTA likelihood functions and MTA Markov transitions/.


title: The Chern-Mather class of the multiview variety

abstract: The multiview variety associated to a collection of $N$ cameras records which sequences of image points in $\mathbb{P}^{2N}$ can be obtained by taking pictures of a given world point $x\in\mathbb{P}^3$ with the cameras. In order to reconstruct a scene from its picture under the different cameras it is important to be able to find the critical points of the function which measures the distance between a general point $u\in\mathbb{P}^{2N}$ and the multiview variety. In this paper we calculate a specific degree $3$ polynomial that computes the number of critical points as a function of $N$. In order to do this, we construct a resolution of the multiview variety, and use it to compute its Chern-Mather class.


title: Kondo behavior and conductance through $3d$ impurities in gold chains doped with oxygen

abstract: Combining ab initio calculations and effective models derived from them, we discuss the electronic structure of oxygen doped gold chains when one Au atom is replaced by any transition-metal atom of the $3d$ series. The effect of O doping is to bring extended Au $5d_{xz}$ and $5d_{yz}$ states to the Fermi level, which together with the Au states of zero angular momentum projection, lead to three possible channels for the screening of the magnetism of the impurity. For most 3d impurities the expected physics is similar to that of the underscreened Kondo model, with singular Fermi liquid behavior. For Fe and Co under a tetragonal crystal field introduced by leads, the system might display a non-Fermi liquid behavior. Ni and Cu impurities are described by a $S = 1$ two channel Kondo model and an SU(4) impurity Anderson model in the intermediate valence regime, respectively. In both cases, the system is a Fermi liquid, but the conductance shows some observable differences with the ordinary SU(2) Anderson model.


title: Instability of the non-Fermi liquid state of the Sachdev-Ye-Kitaev Model

abstract: We study a series of perturbations on the Sachdev-Ye-Kitaev (SYK) model. We show that the chaotic non-Fermi liquid phase described by the ordinary $q = 4$ SYK model has marginally relevant/irrelevant (depending on the sign of the coupling constants) four-fermion perturbations allowed by symmetry. Changing the sign of one of these four-fermion perturbations leads to a continuous chaotic-nonchaotic quantum phase transition of the system accompanied by a spontaneous time-reversal symmetry breaking. Starting with the SYK$_q$ model with a $q-$fermion interaction, similar perturbations can lead to a series of new interacting conformal field theory fixed points.


title: Height functions for motives

abstract: We define various height functions for motives over number fields. We compare these height functions with classical height functions on algebraic varieties, and also with analogous height functions for variations of Hodge structures on curves over C. These comparisons provide new questions on motives over number fields.


title: Harnessing the Web for Population-Scale Physiological Sensing: A Case Study of Sleep and Performance

abstract: Human cognitive performance is critical to productivity, learning, and accident avoidance. Cognitive performance varies throughout each day and is in part driven by intrinsic, near 24-hour circadian rhythms. Prior research on the impact of sleep and circadian rhythms on cognitive performance has typically been restricted to small-scale laboratory-based studies that do not capture the variability of real-world conditions, such as environmental factors, motivation, and sleep patterns in real-world settings. Given these limitations, leading sleep researchers have called for larger in situ monitoring of sleep and performance. We present the largest study to date on the impact of objectively measured real-world sleep on performance enabled through a reframing of everyday interactions with a web search engine as a series of performance tasks. Our analysis includes 3 million nights of sleep and 75 million interaction tasks. We measure cognitive performance through the speed of keystroke and click interactions on a web search engine and correlate them to wearable device-defined sleep measures over time. We demonstrate that real-world performance varies throughout the day and is influenced by both circadian rhythms, chronotype (morning/evening preference), and prior sleep duration and timing. We develop a statistical model that operationalizes a large body of work on sleep and performance and demonstrates that our estimates of circadian rhythms, homeostatic sleep drive, and sleep inertia align with expectations from laboratory-based sleep studies. Further, we quantify the impact of insufficient sleep on real-world performance and show that two consecutive nights with less than six hours of sleep are associated with decreases in performance which last for a period of six days. This work demonstrates the feasibility of using online interactions for large-scale physiological sensing.


title: Type, cotype and twisted sums induced by complex interpolation

abstract: This paper deals with extensions or twisted sums of Banach spaces that come induced by complex interpolation and the relation between the type and cotype of the spaces in the interpolation scale and the nontriviality and singularity of the induced extension. The results are presented in the context of interpolation of families of Banach spaces, and are applied to the study of submodules of Schatten classes. We also obtain nontrivial extensions of spaces without the CAP which also fail the CAP.


title: A measure of the torsional performances of partially hinged rectangular plates

abstract: We introduce a new functional, named gap function, which measures the torsional instability of a partially hinged rectangular plate, aiming to model the deck of a bridge. Then we test the performances of the gap function on a plate subject to two kinds of loads: one modeled by a force concentrating on one of the free edges and one in resonance with the eigenmodes.


title: The Minimum Regularized Covariance Determinant estimator

abstract: The Minimum Covariance Determinant (MCD) approach robustly estimates the location and scatter matrix using the subset of given size with lowest sample covariance determinant. Its main drawback is that it cannot be applied when the dimension exceeds the subset size. We propose the Minimum Regularized Covariance Determinant (MRCD) approach, which differs from the MCD in that the scatter matrix is a convex combination of a target matrix and the sample covariance matrix of the subset. A data-driven procedure sets the weight of the target matrix, so that the regularization is only used when needed. The MRCD estimator is defined in any dimension, is well-conditioned by construction and preserves the good robustness properties of the MCD. We prove that so-called concentration steps can be performed to reduce the MRCD objective function, and we exploit this fact to construct a fast algorithm. We verify the accuracy and robustness of the MRCD estimator in a simulation study and illustrate its practical use for outlier detection and regression analysis on real-life high-dimensional data sets in chemistry and criminology.


title: Ion-Beam-Induced Defects in CMOS Technology: Methods of Study

abstract: Ion implantation is a non-equilibrium doping technique which introduces impurity atoms into a solid regardless of thermodynamic considerations. The formation of metastable alloys above the solubility limit, minimized contribution of lateral diffusion processes in device fabrication, and possibility to reach high concentrations of doping impurities can be considered as distinct advantages of ion implantation. Owing to excellent controllability, uniformity, and the dose insensitive relative accuracy ion implantation has grown to be the principal doping technology used in the manufacturing of integrated circuits. Originally developed from particle accelerator technology ion implanters operate in the energy range from tens eV to several MeV (corresponding to a few nm to several microns in depth). The main feature of ion implantation is the formation of point defects in the energetic ion collisions. Very minute concentrations of defects and impurities in semiconductors drastically alter their electrical and optical properties. This chapter presents methods of defect spectroscopy to study the defect origin and characterize the defect density of states in thin film and semiconductor interfaces. The methods considered are positron annihilation spectroscopy, electron spin resonance, and approaches for electrical characterization of semiconductor devices.


title: Glassy nature of hierarchical organizations

abstract: The question of why and how animal and human groups form temporarily stable hierarchical organizations has long been a great challenge from the point of quantitative interpretations. The prevailing observation/consensus is that a hierarchical social or technological structure is optimal considering a variety of aspects. Here we introduce a simple quantitative interpretation of this situation using an approach reminiscent of those developed for describing complex behaviour in terms of statistical mechanics. We look for the optimum of the efficiency function $E_{\rm eff}=1/N \sum_{i,j} J_{ij} a_i a_j$ with $J_{ij}$ denoting the nature of the interaction between the units $i$ and $j$ and $a_i$ standing for the ability of member $i$ to contribute to the efficiency of the system. Notably, this expression for $E_{\rm eff}$ has a similar structure to that of the energy as defined for spin-glasses. There is, however, an essential and novel feature of our approach: instead of optimizing by looking for a locally optimal state of the units in the nodes of a pre-defined network, we search for extrema in the complex efficiency landscape by finding locally optimal network topologies using a standard Monte Carlo method.


title: A de Bruijn identity for discrete random variables

abstract: We discuss properties of the "beamsplitter addition" operation, which provides a non-standard scaled convolution of random variables supported on the non-negative integers. We give a simple expression for the action of beamsplitter addition using generating functions. We use this to give a self-contained and purely classical proof of a heat equation and de Bruijn identity, satisfied when one of the variables is geometric.


title: Chomology of Heisenberg Hom-Lie algebras

abstract: In this paper, we define the Heisenberg Hom-Lie algebra. We determine the minimal dimension of faithful representation for Heisenberg Hom-Lie algebra.We study the adjoint representation, the trivial representation and the faithful representation of Heisenberg Hom-Lie algebra.


title: EUSO-TA fluorescence detector

abstract: EUSO-TA is a pathfinder experiment for the space based JEM-EUSO mission for the detection of ultra-high energy cosmic rays. EUSO-TA is an high-resolution fluorescence telescope installed in front of the Black Rock Mesa fluorescence detectors of the Telescope Array (TA) experiment, in Utah (USA). At the TA site, a Central Laser Facility is installed for calibration purposes, since it emits laser beams with known energy and geometry. EUSO-TA consists of two 1 $\mbox{m}^2$ Fresnel lenses, with a field of view of 10.5{\deg} that focus the light on a Photo Detector Module (PDM). The PDM currently consists of 36 Hamamatsu Multi-Anode Photo-Multipliers Tubes (MAPMTs) with 64 channels each. Front-end readout is performed by 36 ASICS, with two FPGA boards that send the data to a CPU and a storage system. The detector was installed in February 2015. Tests using the mentioned light sources have been performed and observations of cosmic ray events, as well as those of stars with different magnitude and color index have been done. The data acquisition is triggered by TA fluorescence detectors, although a self-trigger algorithm is currently in the last phases of development and test. With TA, thanks to its large field of view and the surface detectors, the cosmic ray shower events are reconstructed and the parameters are used to perform simulations of the response of EUSO-TA detector using EUSO-Offline. Simulations of the detected events are compared with data and the results are shown in this work.


title: Inverting the Kasteleyn matrix for holey hexagons

abstract: Consider a semi-regular hexagon on the triangular lattice (that is, the lattice consisting of unit equilateral triangles, drawn so that one family of lines is vertical). Rhombus (or lozenge) tilings of this region may be represented in at least two very different ways: as families of non-intersecting lattice paths; or alternatively as perfect matchings of a certain sub-graph of the hexagonal lattice. In this article we show how the lattice path representation of tilings may be utilised in order to calculate the entries of the inverse Kasteleyn matrix that arises from interpreting tilings as perfect matchings. Our main result gives precisely the inverse Kasteleyn matrix (up to a possible change in sign) for a semi-regular hexagon of side lengths $a,b,c,a,b,c$ (going clockwise from the south-west side). Not only does this theorem generalise a number of known results regarding tilings of hexagons that contain punctures, but it also provides a new formulation through which we may attack problems in statistical physics such as Ciucu's electrostatic conjecture.


title: A New Continuum Formulation for Materials--Part II. Some Applications in Fluid Mechanics

abstract: In part I of this paper, I proposed a new set of equations, which I refer to as the M(D,{\eta})-formulation and which differs from the Navier-Stokes-Fourier description of fluid motion. Here, I use these equations to model several classic examples in fluid mechanics, with the intention of providing a general sense of comparison between the two approaches. A few broad facts emerge: (1) it is as simple--or in most cases, much simpler--to find solutions with the M(D,{\eta})-formulation, (2) for some examples, there is not much of a difference in predictions--in fact, for sound propagation and for examples in which there is only a rotational part of the velocity, my transport coefficients D and {\eta} are chosen to match Navier-Stokes-Fourier solutions in the appropriate regimes, (3) there are, however, examples in which pronounced differences in predictions appear, such as light scattering, and (4) there arise, moreover, important conceptual differences, as seen in examples like sound at a non-infinite impedance boundary, thermophoresis, and gravity's effect on the atmosphere.


title: Quantifying the role of folding in nonautonomous flows: the unsteady Double-Gyre

abstract: We analyze chaos in the well-known nonautonomous Double-Gyre system. A key focus is on folding, which is possibly the less-studied aspect of the "stretching + folding = chaos" mantra of chaotic dynamics. Despite the Double-Gyre not having the classical homoclinic structure for the usage of the Smale-Birkhoff theorem to establish chaos, we use the concept of folding to prove the existence of an embedded horseshoe-map. We also show how curvature of manifolds can be used to identify fold points in the Double-Gyre. This method is applicable to general nonautonomous flows in two dimensions, defined for either finite or infinite times.


title: Validation of Internal Meters of Mobile Android Devices

abstract: In this paper we outline our results for validating the precision of the internal power meters of smart-phones under different workloads. We compare its results with an external power meter. This is the first step towards creating customized energy models on the fly and towards optimizing battery efficiency using genetic program improvements. Our experimental results indicate that the internal meters are sufficiently precise when large enough time windows are considered. This is part of our work on the "dreaming smart-phone". For a technical demonstration please watch our videos https://www.youtube.com/watch?v=xeeFz2GLFdU and https://www.youtube.com/watch?v=C7WHoLW1KYw.


title: A new quantum scheme for normal-form games

abstract: We give a strict mathematical description for a refinement of the Marinatto-Weber quantum game scheme. The model allows the players to choose projector operators that determine the state on which they perform their local operators. The game induced by the scheme generalizes finite strategic form game. In particular, it covers normal representations of extensive games, i.e., strategic games generated by extensive ones. We illustrate our idea with an example of extensive game and prove that rational choices in the classical game and its quantum counterpart may lead to significantly different outcomes.


title: The Brauer trees of unipotent blocks

abstract: In this paper we complete the determination of the Brauer trees of unipotent blocks (with cyclic defect groups) of finite groups of Lie type. These trees were conjectured by the first author. As a consequence, the Brauer trees of principal $\ell$-blocks of finite groups are known for $\ell>71$.


title: A novel alternative to Cloud RAN for throughput densification: Coded pilots and fast user-packet scheduling at remote radio heads

abstract: We consider wireless networks of remote radio heads (RRH) with large antenna-arrays, operated in TDD, with uplink (UL) training and channel-reciprocity based downlink (DL) transmission. To achieve large area spectral efficiencies, we advocate the use of methods that rely on rudimentary scheduling, decentralized operation at each RRH and user-centric DL transmission. A slotted system is assumed, whereby users are randomly scheduled (e.g., via shuffled round robin) in slots and across the limited pilot dimensions per slot. As a result, multiple users in the vicinity of an RRH can simultaneously transmit pilots on the same pilot dimension (and thus interfering with one another). Each RRH performs rudimentary processing of the pilot observations in "sectors". In a sector, the RRH is able to resolve a scheduled user's channel when that user is determined to be the only one among the scheduled users (on the same pilot dimension) with significant received power in the sector. Subsequently, only the subset of scheduled users whose channels are resolved in at least one sector can be served by the system. We consider a spatially consistent evaluation of the area multiplexing gains by means of a Poisson Point Process (PPP) problem formulation where RRHs, blockers, scatterers and scheduled user terminals are all PPPs with individual intensities. Also, we study directional training at the user terminals. Our simulations suggest that, by controlling the intensity of the scheduled user PPP and the user-pilot beam-width, many fold improvements can be expected in area multiplexing gains with respect to conventional spatial pilot reuse systems.


title: Hypothesis Testing under Maximal Leakage Privacy Constraints

abstract: The problem of publishing privacy-guaranteed data for hypothesis testing is studied using the maximal leakage (ML) as a metric for privacy and the type-II error exponent as the utility metric. The optimal mechanism (random mapping) that maximizes utility for a bounded leakage guarantee is determined for the entire leakage range for binary datasets. For non-binary datasets, approximations in the high privacy and high utility regimes are developed. The results show that, for any desired leakage level, maximizing utility forces the ML privacy mechanism to reveal partial to complete knowledge about a subset of the source alphabet. The results developed on maximizing a convex function over a polytope may also of an independent interest.


title: Quantification of myosin distribution predicts global morphogenetic flow in the fly embryo

abstract: During embryogenesis tissue layers continuously rearrange and fold into specific shapes. Developmental biology identified patterns of gene expression and cytoskeletal regulation underlying local tissue dynamics, but how actions of multiple domains of distinct cell types coordinate to remodel tissues at the organ scale remains unclear. We use in toto light-sheet microscopy, automated image analysis, and physical modeling to quantitatively investigate the link between kinetics of global tissue transformations and force generation patterns during Drosophila gastrulation. We find embryo-scale shape changes are represented by a temporal sequence of three simple flow field configurations. Each phase is accompanied by a characteristic spatial myosin distribution, quantified in terms of a coarse-grained 'myosin tensor' that captures both concentration and anisotropy. Our model assumes tissue flow is driven by stress proportional to the myosin tensor, and is effectively visco-elastic with two parameters that control 'irrotational' and 'divergence-less' components of the flow. With just three global parameters, this model achieves up to 90% agreement between predicted and measured flow. The analysis uncovers importance of a) spatial modulation of myosin distribution and b) long-range spreading of its effect due to mechanical interaction of cells. In particular, we find germband extension phase is associated with the onset of effective areal incompressibility of the epithelium, which makes the relation of flow and myosin forcing strongly non-local. Our analysis also revealed a new function for basal myosin in generating a dorsally directed flow and, combined with mutant analysis, identified an unconventional control mechanism through twist dependent reduction of basal myosin levels on the ventral side. We conclude that understanding morphogenetic flow requires a fundamentally global perspective.


title: The switch Markov chain for sampling irregular graphs and digraphs

abstract: The problem of efficiently sampling from a set of (undirected, or directed) graphs with a given degree sequence has many applications. One approach to this problem uses a simple Markov chain, which we call the switch chain, to perform the sampling. The switch chain is known to be rapidly mixing for regular degree sequences, both in the undirected and directed setting. We prove that the switch chain for undirected graphs is rapidly mixing for any degree sequence with minimum degree at least 1 and with maximum degree $d_{\max}$ which satisfies $3\leq d_{\max}\leq \frac{1}{3}\, \sqrt{M}$, where $M$ is the sum of the degrees. The mixing time bound obtained is only a factor $n$ larger than that established in the regular case, where $n$ is the number of vertices. Our result covers a wide range of degree sequences, including power-law graphs with parameter $\gamma > 5/2$ and sufficiently many edges. For directed degree sequences such that the switch chain is irreducible, we prove that the switch chain is rapidly mixing when all in-degrees and out-degrees are positive and bounded above by $\frac{1}{4}\, \sqrt{m}$, where $m$ is the number of arcs, and not all in-degrees and out-degrees equal 1. The mixing time bound obtained in the directed case is an order of $m^2$ larger than that established in the regular case.


title: A Comprehensive Physics-Informed Machine Learning Framework for Predictive Turbulence Modeling

abstract: Although an increased availability of computational resources has enabled high-fidelity simulations of turbulent flows, the RANS models are still the dominant tools for industrial applications. However, the predictive capabilities of RANS models are limited by potential inaccuracy driven by hypotheses in the Reynolds stress closure. Recently, a Physics-Informed Machine Learning (PIML) approach has been proposed to learn the functional form of Reynolds stress discrepancy in RANS simulations based on available data. It has been demonstrated that the learned discrepancy function can be used to improve Reynolds stresses in different flows where data are not available. However, owing to a number of challenges, the improvements have been demonstrated only in the Reynolds stress prediction but not in the corresponding propagated quantities of interest. In this work, we introduce the procedures toward a complete PIML framework for predictive turbulence modeling, including learning Reynolds stress discrepancy function, predicting Reynolds stresses in different flows, and propagating to mean flow fields. The process of Reynolds stress propagation and predictive accuracy of the propagated velocity field are investigated. To improve the learning-prediction performance, the input features are enriched based on an integrity basis of invariants. The fully developed turbulent flow in a square duct is used as the test case. The discrepancy model is trained on flow fields obtained from several Reynolds numbers and evaluated on a duct flow at a Reynolds number higher than any of the training cases. The predicted Reynolds stresses are propagated to velocity field through RANS equations. Numerical results show excellent predictive performances in both Reynolds stresses and their propagated velocities, demonstrating the merits of the PIML approach in predictive turbulence modeling.


title: Artificial Intelligence Approaches To UCAV Autonomy

abstract: This paper covers a number of approaches that leverage Artificial Intelligence algorithms and techniques to aid Unmanned Combat Aerial Vehicle (UCAV) autonomy. An analysis of current approaches to autonomous control is provided followed by an exploration of how these techniques can be extended and enriched with AI techniques including Artificial Neural Networks (ANN), Ensembling and Reinforcement Learning (RL) to evolve control strategies for UCAVs.


title: Spherical steady-state accretion of a relativistic collisionless gas into a Schwarzschild black hole

abstract: In previous work, we derived the most general solution of the collisionless Boltzmann equation describing the accretion of a kinetic gas into a Schwarzschild black hole background, and we gave explicit expressions for the corresponding observables (the current density and stress energy-momentum tensor) in terms of certain integrals over the distribution function. In this article, we numerically compute these integrals for the particular case of the steady-state, spherical symmetric accretion flows which, at infinity, are described by an equilibrium distribution function of given temperature. We analyze in detail the behavior of the observables as a function of the temperature and the radial coordinate, comparing our results with the perfect fluid model of Bondi-Michel accretion.


title: Universality in quasi-2D granular shock fronts above an intruder

abstract: We experimentally study quasi-2d dilute granular flow around intruders whose shape, size and relative impact speed are systematically varied. Direct measurement of the flow field reveals that three in-principle independent measurements of the non-uniformity of the flow field are in fact all linearly related: 1) granular temperature, 2) flow field divergence and 3) shear-strain rate. The shock front is defined as the local maxima in each of these measurements. The shape of the shock front is well described by an inverted catenary and is driven by the formation of a dynamic arch during steady flow. We find universality in the functional form of the shock front within the range of experimental values probed. Changing the intruder size, concavity and impact speed only results in a scaling and shifting of the shock front. We independently measure the horizontal lift force on the intruder and find that it can be understood as a result of the interplay between the shock profile and the intruder shape.


title: On Hardening Problems in Critical Infrastructure Systems

abstract: The power and communication networks are highly interdependent and form a part of the critical infrastructure of a country. Similarly, dependencies exist within the networks itself. It is essential to have a model which captures these dependencies precisely. Previous research has proposed certain models but these models have certain limitations. The limitations of the aforementioned models have been overcome by the Implicative Interdependency Model, which uses Boolean Logic to denote the dependencies. This paper formulates the Entity Hardening problem and the Targeted Entity Hardening problem using the Implicative Interdependency Model. The Entity Hardening problem describes a situation where an operator, with a limited budget, must decide which entities to harden, which in turn would minimize the damage, provided a set of entities fail initially. The Targeted Entity Hardening problem is a restricted version of the Entity Hardening problem. This problem presents a scenario where, the protection of certain entities is of higher priority. If these entities were to be nonfunctional, the economic and societal damage would be higher when compared to other entities being nonfunctional. It has been shown that both problems are NP-Complete. An Integer Linear Program (ILP) has been devised to find the optimal solution. A heuristic has been described whose accuracy is found by comparing its performance with the optimal solution using real-world and simulated data.


title: Destructive interference of direct and crossed Andreev pairing in a system of two nanowires coupled via an s-wave superconductor

abstract: We consider a system of two one-dimensional nanowires coupled via an $s$-wave superconducting strip, a geometry that is capable of supporting Kramers pairs of Majorana fermions. By performing an exact analytical diagonalization of a tunneling Hamiltonian describing the proximity effect (via a Bogoliubov transformation), we show that the excitation gap of the system varies periodically on the scale of the Fermi wavelength in the limit where the interwire separation is shorter than the superconducting coherence length. Comparing with the excitation gaps in similar geometries containing only direct pairing, where one wire is decoupled from the superconductor, or only crossed Andreev pairing, where each nanowire is considered as a spin-polarized edge of a quantum Hall state, we find that the gap is always reduced, by orders of magnitude in certain cases, when both types of pairing are present. Our analytical results are further supported by numerical calculations on a tight-binding lattice. Finally, we show that treating the proximity effect by integrating out the superconductor using the bulk Green's function does not reproduce the results of our exact diagonalization.


title: Frequency analysis and the representation of slowly diffusing planetary solutions

abstract: Over short time intervals planetary ephemerides have been traditionally represented in analytical form as finite sums of periodic terms or sums of Poisson terms that are periodic terms with polynomial amplitudes. Nevertheless, this representation is not well adapted for the evolution of the planetary orbits in the solar system over million of years as they present drifts in their main frequencies, due to the chaotic nature of their dynamics. The aim of the present paper is to develop a numerical algorithm for slowly diffusing solutions of a perturbed integrable Hamiltonian system that will apply to the representation of the chaotic planetary motions with varying frequencies. By simple analytical considerations, we first argue that it is possible to recover exactly a single varying frequency. Then, a function basis involving time-dependent fundamental frequencies is formulated in a semi-analytical way. Finally, starting from a numerical solution, a recursive algorithm is used to numerically decompose the solution on the significant elements of the function basis. Simple examples show that this algorithm can be used to give compact representations of different types of slowly diffusing solutions. As a test example, we show how this algorithm can be successfully applied to obtain a very compact approximation of the La2004 solution of the orbital motion of the Earth over 40 Myr ([-35Myr,5Myr]). This example has been chosen as this solution is widely used for the reconstruction of the climates of the past.


title: Selective probing of hidden spin-polarized states in inversion-symmetric bulk MoS2

abstract: Spin- and angle-resolved photoemission spectroscopy is used to reveal that a large spin polarization is observable in the bulk centrosymmetric transition metal dichalcogenide MoS2. It is found that the measured spin polarization can be reversed by changing the handedness of incident circularly-polarized light. Calculations based on a three-step model of photoemission show that the valley and layer-locked spin-polarized electronic states can be selectively addressed by circularly-polarized light, therefore providing a novel route to probe these hidden spin-polarized states in inversion-symmetric systems as predicted by Zhang et al. [Nature Physics 10, 387 (2014)].


title: By chance is not enough: Preserving relative density through non uniform sampling

abstract: Dealing with visualizations containing large data set is a challenging issue and, in the field of Information Visualization, almost every visual technique reveals its drawback when visualizing large number of items. To deal with this problem we introduce a formal environment, modeling in a virtual space the image features we are interested in (e.g, absolute and relative density, clusters, etc.) and we define some metrics able to characterize the image decay. Such metrics drive our automatic techniques (i.e., not uniform sampling) rescuing the image features and making them visible to the user. In this paper we focus on 2D scatter-plots, devising a novel non uniform data sampling strategy able to preserve in an effective way relative densities.


title: Performance of Dynamic and Static TDD in Self-backhauled mmWave Cellular Networks

abstract: Initial deployments of millimeter wave (mmWave) cellular networks are likely to be enabled with self-backhauling. In this work, we propose a random spatial model to analyze uplink (UL) and downlink (DL) SINR distribution and mean rates corresponding to different access-backhaul and UL-DL resource allocation schemes in a self-backhauled mmWave cellular network with Poisson point process (PPP) deployment of users and base stations. In particular, we focus on heuristic implementations of static and dynamic time division duplexing (TDD) for access links with synchronized or unsynchronized access-backhaul (SAB or UAB) time splits. We propose PPP approximations to characterize the distribution of the new types of interference encountered with dynamic TDD and UAB. These schemes offer better resource utilization than static TDD and SAB, however potentially higher interference makes their choice non-trivial and the offered gains sensitive to different network parameters, including UL/DL traffic asymmetry, user load per BS or number of slave BSs per master BS. One can harness notable gains from UAB and/or dynamic TDD only if backhaul links are designed to have much larger throughput than the access links.


title: Attaining Capacity with Algebraic Geometry Codes through the $(U|U+V)$ Construction and Koetter-Vardy Soft Decoding

abstract: In this paper we show how to attain the capacity of discrete symmetric channels with polynomial time decoding complexity by considering iterated $(U|U+V)$ constructions with Reed-Solomon code or algebraic geometry code components. These codes are decoded with a recursive computation of the {\em a posteriori} probabilities of the code symbols together with the Koetter-Vardy soft decoder used for decoding the code components in polynomial time. We show that when the number of levels of the iterated $(U|U+V)$ construction tends to infinity, we attain the capacity of any discrete symmetric channel in this way. This result follows from the polarization theorem together with a simple lemma explaining how the Koetter-Vardy decoder behaves for Reed-Solomon codes of rate close to $1$. However, even if this way of attaining the capacity of a symmetric channel is essentially the Ar{\i}kan polarization theorem, there are some differences with standard polar codes. Indeed, with this strategy we can operate succesfully close to channel capacity even with a small number of levels of the iterated $(U|U+V)$ construction and the probability of error decays quasi-exponentially with the codelength in such a case (i.e. exponentially if we forget about the logarithmic terms in the exponent). We can even improve on this result by considering the algebraic geometry codes constructed in \cite{TVZ82}. In such a case, the probability of error decays exponentially in the codelength for any rate below the capacity of the channel. Moreover, when comparing this strategy to Reed-Solomon codes (or more generally algebraic geometry codes) decoded with the Koetter-Vardy decoding algorithm, it does not only improve the noise level that the code can tolerate, it also results in a significant complexity gain.


title: Molecular outflows: Explosive versus protostellar

abstract: With the recent recognition of a second, distinctive class of molecular outflows, namely the explosive ones not directly connected to the accretion-ejection process in the star formation, a juxtaposition of the morphological and kinematic properties of both classes is warranted. By applying the same method used in Zapata et al. (2009), and using $^{12}$CO(J=2-1) archival data from the Submillimeter Array (SMA), we contrast two well known explosive objects, Orion KL and DR21, to HH211 and DG Tau B, two flows representative of classical low-mass protostellar outflows. At the moment there are only two well established cases of explosive outflows, but with the full availability of ALMA we expect that more examples will be found in the near future. Main results are the largely different spatial distributions of the explosive flows, consisting of numerous narrow straight filament-like ejections with different orientations and in almost an isotropic configuration, the red with respect to the blueshifted components of the flows (maximally separated in protostellar, largely overlapping in explosive outflows), the very well-defined Hubble flow-like increase of velocity with distance from the origin in the explosive filaments versus the mostly non-organized CO velocity field in protostellar objects, and huge inequalities in mass, momentum and energy of the two classes, at least for the case of low-mass flows. Finally, all the molecular filaments in the explosive outflows point back to approximately a central position i.e. the place where its "exciting source" was located, contrary to the bulk of the molecular material within the protostellar outflows.


title: On the Effectiveness of Discretizing Quantitative Attributes in Linear Classifiers

abstract: Learning algorithms that learn linear models often have high representation bias on real-world problems. In this paper, we show that this representation bias can be greatly reduced by discretization. Discretization is a common procedure in machine learning that is used to convert a quantitative attribute into a qualitative one. It is often motivated by the limitation of some learners to qualitative data. Discretization loses information, as fewer distinctions between instances are possible using discretized data relative to undiscretized data. In consequence, where discretization is not essential, it might appear desirable to avoid it. However, it has been shown that discretization often substantially reduces the error of the linear generative Bayesian classifier naive Bayes. This motivates a systematic study of the effectiveness of discretizing quantitative attributes for other linear classifiers. In this work, we study the effect of discretization on the performance of linear classifiers optimizing three distinct discriminative objective functions --- logistic regression (optimizing negative log-likelihood), support vector classifiers (optimizing hinge loss) and a zero-hidden layer artificial neural network (optimizing mean-square-error). We show that discretization can greatly increase the accuracy of these linear discriminative learners by reducing their representation bias, especially on big datasets. We substantiate our claims with an empirical study on $42$ benchmark datasets.


title: Coded Caching with Linear Subpacketization is Possible using Ruzsa-Szem\'eredi Graphs

abstract: Coded caching is a problem where encoded broadcasts are used to satisfy users requesting popular files and having caching capabilities. Recent work by Maddah-Ali and Niesen showed that it is possible to satisfy a scaling number of users with only a constant number of broadcast transmissions by exploiting coding and caching. Unfortunately, all previous schemes required the splitting of files into an exponential number of packets before the significant coding gains of caching appeared. The question of what can be achieved with polynomial subpacketization (in the number of users) has been a central open problem in this area. We resolve this problem and present the first coded caching scheme with polynomial (in fact, linear) subpacketization. We obtain a number of transmissions that is not constant, but can be any polynomial in the number of users with an exponent arbitrarily close to zero. Our central technical tool is a novel connection between Ruzsa-Szem\'eredi graphs and coded caching.


title: Automorphism-invariant non-singular rings and modules

abstract: $\textbf{Theorem 1.2.}$ For a ring $A$, the following conditions are equivalent. $\textbf{1)}$ $A$ is a right automorphism-invariant right non-singular ring. $\textbf{2)}$ $A$ is a right automorphism-invariant regular ring. $\textbf{3)}$ $A=S\times T$, where $S$ is a right injective regular ring and $T$ is a strongly regular ring which contains all invertible elements of its maximal right ring of quotients. $\textbf{Theorem 1.5.}$ For a ring $A$ with right Goldie radical $G(A_A)$, the following conditions are equivalent. $\textbf{1)}$ $A/G(A_A)$ is a semiprime right Goldie ring. $\textbf{2)}$ Any direct sum of automorphism-invariant non-singular right $A$-modules is an automorphism-invariant module. $\textbf{3)}$ Any direct sum of automorphism-invariant non-singular right $A$-modules is an injective module.


title: Modules over strongly semiprime ring

abstract: $\textbf{Theorem 1.3.}$ For a given ring $A$ with right Goldie radical $G(A_A)$, the following conditions are equivalent. $\textbf{1)}$ Every non-singular right $A$-module $X$ which is is injective with respect to some essential right ideal of the ring $A$ is an injective module. $\textbf{2)}$ $A/G(A_A)$ is a right strongly semiprime ring. $\textbf{Theorem 1.4.}$ For a given ring $A$, the following conditions are equivalent. $\textbf{1)}$ $A$ is a right strongly semiprime ring. $\textbf{2)}$ Every right $A$-module which is injective with respect to some essential right ideal of the ring $A$, is an injective module and $A$ is right non-singular.


title: Repairing Reed-Solomon Codes With Two Erasures

abstract: Despite their exceptional error-correcting properties, Reed-Solomon (RS) codes have been overlooked in distributed storage applications due to the common belief that they have poor repair bandwidth: A naive repair approach would require the whole file to be reconstructed in order to recover a single erased codeword symbol. In a recent work, Guruswami and Wootters (STOC'16) proposed a single-erasure repair method for RS codes that achieves the optimal repair bandwidth amongst all linear encoding schemes. We extend their trace collection technique to cope with two erasures.


title: On congruences involving product of variables from short intervals

abstract: We prove several results which imply the following consequences. For any $\varepsilon>0$ and any sufficiently large prime $p$, if $\cI_1,\ldots, \cI_{13}$ are intervals of cardinalities $|\cI_j|>p^{1/4+\varepsilon}$ and $abc\not\equiv 0\pmod p$, then the congruence $$ ax_1\cdots x_6+bx_7\cdots x_{13}\equiv c\pmod p $$ has a solution with $x_j\in\cI_j$. There exists an absolute constant $n_0\in\N$ such that for any $0<\varepsilon<1$ and any sufficiently large prime $p$, any quadratic residue $\lambda$ modulo $p$ can be represented in the form $$ x_1\cdots x_{n_0}\equiv \lambda\pmod p,\quad x_i\in\N,\quad x_i\le p^{1/(4e^{2/3})+\varepsilon}. $$ For any $\varepsilon>0$ there exists $n=n(\varepsilon)\in \N$ such that for any sufficiently large $m\in\N$ the congruence $$ x_1\cdots x_{n}\equiv 1\pmod m,\quad x_i\in\N,\quad x_i\le m^{\varepsilon} $$ has a solution with $x_1\not=1$.


title: Dirac's formalism for time-dependent Hamiltonian systems in the extended phase space

abstract: The Dirac's formalism for constrained systems is applied to the analysis of time-dependent Hamiltonians in the extended phase space. We show that the Lewis invariant is a reparametrization invariant and we calculate the Feynman propagator using the extended phase description. We show that the quantum phase of the Feynman propagator is given by the boundary term of the canonical transformation of the extended phase space.

categories: math-ph math.MP physics.class-ph quant-ph


title: Novel scenario for production of heavy flavored mesons in heavy ion collisions

abstract: The observed strong suppression of heavy flavored hadrons produced with high $p_T$, is caused by final state interactions with the created dense medium. Vacuum radiation of high-pT heavy quarks ceases at a short time scale, as is confirmed by pQCD calculations and by LEP measurements of the fragmentation functions of heavy quarks. Production of a heavy flavored hadrons in a dense medium is considerably delayed due to prompt breakup of the hadrons by the medium. This causes a strong suppression of the heavy quark yield because of the specific shape of the fragmentation function. The parameter-free description is in a good accord with available data.


title: Learning Multi-level Region Consistency with Dense Multi-label Networks for Semantic Segmentation

abstract: Semantic image segmentation is a fundamental task in image understanding. Per-pixel semantic labelling of an image benefits greatly from the ability to consider region consistency both locally and globally. However, many Fully Convolutional Network based methods do not impose such consistency, which may give rise to noisy and implausible predictions. We address this issue by proposing a dense multi-label network module that is able to encourage the region consistency at different levels. This simple but effective module can be easily integrated into any semantic segmentation systems. With comprehensive experiments, we show that the dense multi-label can successfully remove the implausible labels and clear the confusion so as to boost the performance of semantic segmentation systems.


title: Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code

abstract: The current trends in next-generation exascale systems go towards integrating a wide range of specialized (co-)processors into traditional supercomputers. Due to the efficiency of heterogeneous systems in terms of Watts and FLOPS per surface unit, opening the access of heterogeneous platforms to a wider range of users is an important problem to be tackled. However, heterogeneous platforms limit the portability of the applications and increase development complexity due to the programming skills required. Program transformation can help make programming heterogeneous systems easier by defining a step-wise transformation process that translates a given initial code into a semantically equivalent final code, but adapted to a specific platform. Program transformation systems require the definition of efficient transformation strategies to tackle the combinatorial problem that emerges due to the large set of transformations applicable at each step of the process. In this paper we propose a machine learning-based approach to learn heuristics to define program transformation strategies. Our approach proposes a novel combination of reinforcement learning and classification methods to efficiently tackle the problems inherent to this type of systems. Preliminary results demonstrate the suitability of this approach.


title: AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo

abstract: Due to undecidability and complexity of first-order logic, SMT solvers may not terminate on some problems or require a very long time. When this happens, one would like to find the reasons why the solver fails. To this end, we have designed AltGr-Ergo, an interactive graphical interface for the SMT solver Alt-Ergo which allows users and tool developers to help the solver finish some proofs. AltGr-Ergo gives real time feedback in order to evaluate and quantify progress made by the solver, and also offers various syntactic manipulation options to allow a finer grained interaction with Alt-Ergo. This paper describes these features and their implementation, and gives usage scenarios for most of them.


title: jsCoq: Towards Hybrid Theorem Proving Interfaces

abstract: We describe jsCcoq, a new platform and user environment for the Coq interactive proof assistant. The jsCoq system targets the HTML5-ECMAScript 2015 specification, and it is typically run inside a standards-compliant browser, without the need of external servers or services. Targeting educational use, jsCoq allows the user to start interaction with proof scripts right away, thanks to its self-contained nature. Indeed, a full Coq environment is packed along the proof scripts, easing distribution and installation. Starting to use jsCoq is as easy as clicking on a link. The current release ships more than 10 popular Coq libraries, and supports popular books such as Software Foundations or Certified Programming with Dependent Types. The new target platform has opened up new interaction and display possibilities. It has also fostered the development of some new Coq-related technology. In particular, we have implemented a new serialization-based protocol for interaction with the proof assistant, as well as a new package format for library distribution.


title: Tactical Diagrammatic Reasoning

abstract: Although automated reasoning with diagrams has been possible for some years, tools for diagrammatic reasoning are generally much less sophisticated than their sentential cousins. The tasks of exploring levels of automation and abstraction in the construction of proofs and of providing explanations of solutions expressed in the proofs remain to be addressed. In this paper we take an interactive proof assistant for Euler diagrams, Speedith, and add tactics to its reasoning engine, providing a level of automation in the construction of proofs. By adding tactics to Speedith's repertoire of inferences, we ease the interaction between the user and the system and capture a higher level explanation of the essence of the proof. We analysed the design options for tactics by using metrics which relate to human readability, such as the number of inferences and the amount of clutter present in diagrams. Thus, in contrast to the normal case with sentential tactics, our tactics are designed to not only prove the theorem, but also to support explanation.


title: Interactive Proof Presentations with Cobra

abstract: We present Cobra, a modern proof presentation framework, leveraging cutting-edge presentation technology together with a state of the art interactive theorem prover to present formalized mathematics as active documents. Cobra provides both an easy way to present proofs and a novel approach to auditorium interaction. The presentation is checked live by the theorem prover, and moreover allows for live changes both by the presenter and the audience.


title: A complete mean-field theory for dynamics of binary recurrent neural networks

abstract: We develop a unified theory that encompasses the macroscopic dynamics of recurrent interactions of binary units within arbitrary network architectures. Using the martingale theory, our mathematical analysis provides a complete description of nonequilibrium fluctuations in networks with finite size and finite degree of interactions. Our approach allows the investigation of systems for which a deterministic mean-field theory breaks down. To demonstrate this, we uncover a novel dynamic state in which a recurrent network of binary units with statistically inhomogeneous interactions, along with an asynchronous behavior, also exhibits collective nontrivial stochastic fluctuations in the thermodynamical limit.


title: Synthetic Observations of 21cm HI Line Profiles from Inhomogeneous Turbulent Interstellar HI Gas with Magnetic Field

abstract: We carried out synthetic observations of interstellar atomic hydrogen at 21cm wavelength by utilizing the magneto-hydrodynamical numerical simulations of the inhomogeneous turbulent interstellar medium (ISM) Inoue and Inutsuka (2012). The cold neutral medium (CNM) shows significantly clumpy distribution with a small volume filling factor of 3.5%, whereas the warm neutral medium (WNM) distinctly different smooth distribution with a large filling factor of 96.5%. In projection on the sky, the CNM exhibits highly filamentary distribution with a sub-pc width, whereas the WNM shows smooth extended distribution. In the HI optical depth the CNM is dominant and the contribution of the WNM is negligibly small. The CNM has an area covering factor of 30% in projection, while the WNM has a covering factor of 70%. This causes that the emission-absorption measurements toward radio continuum compact sources tend to sample the WNM with a probability of 70%, yielding smaller HI optical depth and smaller HI column density than those of the bulk HI gas. The emission-absorption measurements, which are significantly affected by the small-scale large fluctuations of the CNM properties, are not suitable to characterize the bulk HI gas. Larger-beam emission measurements which are able to fully sample the HI gas will provide a better tool for that purpose, if a reliable proxy for hydrogen column density, possibly dust optical depth and gamma rays, is available.


title: Random Monomial Ideals

abstract: Inspired by the study of random graphs and simplicial complexes, and motivated by the need to understand average behavior of ideals, we propose and study probabilistic models of random monomial ideals. We prove theorems about the probability distributions, expectations and thresholds for events involving monomial ideals with given Hilbert function, Krull dimension, first graded Betti numbers, and present several experimentally-backed conjectures about regularity, projective dimension, strong genericity, and Cohen-Macaulayness of random monomial ideals.


title: Asymptotic behavior of semilinear parabolic equations on the circle with time almost-periodic/recurrent dependence

abstract: We study topological structure of the $\omega$-limit sets of the skew-product semiflow generated by the following scalar reaction-diffusion equation \begin{equation*} u_{t}=u_{xx}+f(t,u,u_{x}),\,\,t>0,\,x\in S^{1}=\mathbb{R}/2\pi \mathbb{Z}, \end{equation*} where $f(t,u,u_x)$ is $C^2$-admissible with time-recurrent structure including almost-periodicity and almost-automorphy. Contrary to the time-periodic cases (for which any $\omega$-limit set can be imbedded into a periodically forced circle flow), it is shown that one cannot expect that any $\omega$-limit set can be imbedded into an almost-periodically forced circle flow even if $f$ is uniformly almost-periodic in $t$. More precisely, we prove that, for a given $\omega$-limit set $\Omega$, if ${\rm dim}V^c(\Omega)\leq 1$ ($V^c(\Omega)$ is the center space associated with $\Omega$), then $\Omega$ is either spatially-homogeneous or spatially-inhomogeneous; and moreover, any spatially-inhomogeneous $\Omega$ can be imbedded into a time-recurrently forced circle flow (resp. imbedded into an almost periodically-forced circle flow if $f$ is uniformly almost-periodic in $t$). On the other hand, when ${\rm dim}V^c(\Omega>1$, it is pointed out that the above embedding property cannot hold anymore. Furthermore, we also show the new phenomena of the residual imbedding into a time-recurrently forced circle flow (resp. into an almost automorphically-forced circle flow if $f$ is uniformly almost-periodic in $t$) provided that $\dim V^c(\Omega)=2$ and $\dim V^u(\Omega)$ is odd. All these results reveal that for such system there are essential differences between time-periodic cases and non-periodic cases.


title: Torsion and Gauge Invariance in Maxwell-Dirac Electrodynamics

abstract: It has been known for a long time that the presence of torsion is in conflict with gauge invariance of the the electromagnetic field in curved Riemann-Cartan space if the Maxwell field is minimally coupled to the curved gravitational space through the covariant derivative. In search for a possible solution, we consider in this note the system of Maxwell-Dirac electrodynamics in Riemann-Cartan space. Through investigating consistency of the field equations, and taking cue from the scale invariance properties of the system, we come up with a solution that satisfies gauge invariance without having to dispense with torsion in the coupled Maxwell-Dirac system. This is achieved by modifying the connection that appears in the covariant derivative for the Maxwell field. The modified connection turns out to be in the form of a Weyl connection, with the torsion trace vector playing the effective role of a Weyl gauge field. With this modified connection, which is symmetrical, the Lorentz-spin current of the photon field is seen to vanish. In addition, except for the Dirac mass term, the system exhibits local scale invariance. The same consideration applies to all gauge theories, abelian or non-ableian, in the standard model of particle physics.


title: Time-of-flight of solitary waves in dry and wet chains of beads: experimental results and phenomenological models

abstract: A solitary wave is generated by impacting a dry chain of beads on one of its ends. Its speed depends on the speed $v_0$ of the striker and the details of the contact force. The time-of-flight (ToF) of the wave was measured as a function of $v_0$, along with the effect of adding a fluid around the contact points. The ToF displays a complex dependence on the fluid's rheological properties not seen in previous works. A power-law dependence of the ToF on $v_0$ in both, dry and wet cases was found. It turned out that the Hertz plus viscoelastic interactions are not enough to account for our results. Two phenomenological models providing a unified and accurate account of our results were developed.


title: Suppression vs enhancement of heavy quarkonia in pA collisions

abstract: We describe production of heavy quarkonia in pA collisions within the dipole approach, assuming dominance of the perturbative color-singlet mechanism (CSM) in the $p_T$-integrated cross section. Although accounting for a nonzero heavy $Q$-$\bar Q$ separation is a higher twist correction, usually neglected, we found it to be the dominant source of nuclear effects, significantly exceeding the effects of leading twist gluon shadowing and energy loss. Moreover, this contribution turns out to be the most reliably predicted, relying on the precise measurements of the dipole cross section at HERA. The nuclear suppression of quarkonia has been anticipated to become stronger with energy, because the dipole cross section steeply rises. However, the measured nuclear effects remain essentially unchanged within the energy range from RHIC to the LHC. A novel production mechanism is proposed, which enhances the charmonium yield. Nuclear effects for the production of $J/\psi$, $\psi(2S)$, $\Upsilon(1S)$ and $\Upsilon(2S)$ are calculated, in agreement with data from RHIC and LHC. The dipole description offers a unique explanation for the observed significant nuclear suppression of $\psi(2S)$ to $J/\psi$ ratio, related to the nontrivial features of the $\psi(2S)$ wave function.


title: Achieving arbitrary polarization control using complex birefringent meta-materials

abstract: We demonstrate that the key to realizing arbitrary control over pairs of polarization states of light, i.e. transforming an arbitrarily polarized pair of input states to an arbitrarily polarized pair of output states, is the ability to generate pairs of states with orthogonal polarizations from non-orthogonal pairs of initial states. We then develop a new class of non-Hermitian meta-materials, termed complex birefringent meta-materials, which are able to do exactly this. Such materials could facilitate the detection of small polarization changes in scattering experiments, as well as enable new polarization multiplexing schemes in communications networks.


title: On the knee of Galactic cosmic rays in light of sub-TeV spectral hardenings

abstract: More than fifty years after the discovery of the knee in the cosmic ray spectra, its physical origin remains a mystery. This is partly due to the ambiguity of the energy spectrum of individual composition. Recently, direct measurements from several balloon/satellite-borne detectors found significant spectral hardenings of cosmic ray nuclei at a few hundred GV rigidities. A joint modeling of the direct and indirect measurements of the cosmic ray spectra may help to understand the experimental systematics and probably the physics of the knee. In this work, we update the phenomenological "poly-gonato" model of the knee to include the spectral hardenings, with a changing spectral index of $\gamma + \beta \cdot \log E$ with respect to energy. We find that there is some tension between the direct and indirect measurements. Specifically, the hard spectra of CREAM suggest a relatively low energy cutoff of the individual cosmic ray spectrum around the knee, which is inconsistent with the light component spectra of the air shower measurements. Furthermore, the light component data from AS$\gamma$/ARGO-YBJ/WFCTA/KASCADE are consistent with the all-particle spectra. We expect that more precise measurements of the cosmic ray spectrum of individual composition at TeV energies and beyond by the operating space detectors such as CALET and DAMPE, and the ground based experiments such as LHAASO, will eventually solve these discrepancies. Finally, as an illustration, we show that a spatial-dependent diffusion under two-halo model is able to reproduce the results of this "modified poly-gonato" model.


title: A bound on degrees of primitive elements of toric graph ideals

abstract: We prove that for any toric ideal of a graph the degree of any element of Graver basis is bounded above by an exponential function of the maximal degree of a circuit.


title: Learning Mid-Level Auditory Codes from Natural Sound Statistics

abstract: Interaction with the world requires an organism to transform sensory signals into representations in which behaviorally meaningful properties of the environment are made explicit. These representations are derived through cascades of neuronal processing stages in which neurons at each stage recode the output of preceding stages. Explanations of sensory coding may thus involve understanding how low-level patterns are combined into more complex structures. Although models exist in the visual domain to explain how mid-level features such as junctions and curves might be derived from oriented filters in early visual cortex, little is known about analogous grouping principles for mid-level auditory representations. We propose a hierarchical generative model of natural sounds that learns combinations of spectrotemporal features from natural stimulus statistics. In the first layer the model forms a sparse convolutional code of spectrograms using a dictionary of learned spectrotemporal kernels. To generalize from specific kernel activation patterns, the second layer encodes patterns of time-varying magnitude of multiple first layer coefficients. Because second-layer features are sensitive to combinations of spectrotemporal features, the representation they support encodes more complex acoustic patterns than the first layer. When trained on corpora of speech and environmental sounds, some second-layer units learned to group spectrotemporal features that occur together in natural sounds. Others instantiate opponency between dissimilar sets of spectrotemporal features. Such groupings might be instantiated by neurons in the auditory cortex, providing a hypothesis for mid-level neuronal computation.


title: The one-loop analysis of the beta-function in the Schroedinger Functional for Moebius Domain Wall Fermions

abstract: We proposed a construction of the Schroedinger functional scheme for the Moebius domain wall fermions (MDWF) by introducing a proper boundary operator to the original MDWF in the last conference. The spectrum of the effective four-dimensional operator was investigated. This year we investigate the fermionic contribution to the beta-function with the Moebius domain wall fermion with the SF boundary term up to the one-loop level and find that our construction properly reproduce the one-loop beta-function.


title: On the transverse M5-branes in matrix theory

abstract: It has been a long-standing problem how the transverse M5-branes are described in the matrix-model formulations of M-theory. We consider this problem for M-theory on the maximally supersymmetric pp-wave geometry, which admits transverse spherical M5-branes with zero light-cone energy. By using the localization, we directly analyze the strong coupling region of the corresponding matrix theory called the plane wave matrix model (PWMM). Under the assumption that the low energy modes of the scalar fields in PWMM become mutually commuting in the strong coupling region, we show that the eigenvalue density of the $SO(6)$ scalars in the low energy region exactly agrees with the shape of the spherical M5-branes in the decoupling limit. This result gives a strong evidence that the transverse M5-branes are indeed contained in the matrix theory and the theory realizes a second quantization of the M-theory.


title: The conformal dilatation and Beltrami forms over quadratic field extensions

abstract: The paper is devoted to an algebraic analogue of a geometric approach to the classical notion of complex dilatation suggested in the paper arXiv:1701.06259 [math.CV] by the author. At the same time it provides an invariant version of this geometric approach. From the algebraic point of view it is only natural to work with a general field extension K/k of degree 2 instead of the fields of real and complex number (under the assumption that the characteristic is not equal to 2). Given a k-linear map between two K-vector spaces of dimension 1 over K, there are two natural measures of deviation of this map from being K-linear: its conformal dilatation, defined in terms of quadratic forms over k, and its Beltrami form, directly generalizing the classical complex dilatation. It turns out that these two measures are related in the same way as in the classical case. Working with a general field extension does not lead to any new difficulties compared to the classical case, but only clarifies the algebraic aspects of the theory.


title: Precise CCD positions of Himalia using Gaia DR1 in 2015-2016

abstract: In order to obtain high precision CCD positions of Himalia, the sixth Jovian satellite, a total of 598 CCD observations have been obtained during the years 2015-2016. The observations were made by using the 2.4 m and 1 m telescopes administered by Yunnan Observatories over 27 nights. Several factors which would influence the positional precision of Himalia were analyzed, including the reference star catalogue used, the geometric distortion and the phase effect. By taking advantage of its unprecedented positional precision, the recently released catalogue Gaia DR1 was chosen to match reference stars in the CCD frames of both Himalia and open clusters which were observed for deriving the geometric distortion. The latest version of SOFA library was used to calculate the positions of reference stars. The theoretical positions of Himalia were retrieved from the Jet Propulsion Laboratory Horizons System which includes the satellite ephemeris JUP300, while the positions of Jupiter were based on the planetary ephemeris DE431. Our results showed that the means of observed minus computed (O-C) residuals are 0.071 and -0.001 arcsec in right ascension and declination, respectively. Their standard deviations are estimated at about 0.03 arcsec in each direction.


title: Spinor helicity methods in high-energy factorization: efficient momentum-space calculations in the Color Glass Condensate formalism

abstract: We use the spinor helicity formalism to calculate the cross section for production of three partons of a given polarization in Deep Inelastic Scattering (DIS) off proton and nucleus targets at small Bjorken x. The target proton or nucleus is treated as a classical color field (shock wave) from which the produced partons scatter multiple times. We reported our result for the final expression for the production cross section and studied the azimuthal angular correlations of the produced partons in [1]. Here we provide the full details of the calculation of the production cross section using the spinor helicity methods.


title: Northern sky Galactic Cosmic Ray anisotropy between 10-1000 TeV with the Tibet Air Shower Array

abstract: We report the analysis of the $10-1000$ TeV large-scale sidereal anisotropy of Galactic cosmic rays (GCRs) with the data collected by the Tibet Air Shower Array from October, 1995 to February, 2010. In this analysis, we improve the energy estimate and extend the declination range down to $-30^{\circ}$. We find that the anisotropy maps above 100 TeV are distinct from that at multi-TeV band. The so-called "tail-in" and "loss-cone" features identified at low energies get less significant and a new component appears at $\sim100$ TeV. The spatial distribution of the GCR intensity with an excess (7.2$\sigma$ pre-trial, 5.2$\sigma$ post-trial) and a deficit ($-5.8\sigma$ pre-trial) are observed in the 300 TeV anisotropy map, in a good agreement with IceCube's results at 400 TeV. Combining the Tibet results in the northern sky with IceCube's results in the southern sky, we establish a full-sky picture of the anisotropy in hundreds of TeV band. We further find that the amplitude of the first order anisotropy increases sharply above $\sim100$ TeV, indicating a new component of the anisotropy. All these results may shed new light on understanding the origin and propagation of GCRs.


title: One fluid to rule them all: viscous hydrodynamic description of event-by-event central p+p, p+Pb and Pb+Pb collisions at $\sqrt{s}=5.02$ TeV

abstract: The matter created in central p+p, p+Pb and Pb+Pb collisions at sqrt{s}=5.02 TeV is simulated event-by-event using the superSONIC model, which combines pre-equilibrium flow, viscous hydrodynamic evolution and late-stage hadronic rescatterings. Employing a generalization of the Monte Carlo Glauber model where each nucleon possesses three constituent quarks, superSONIC describes the experimentally measured elliptic and triangular flow at central rapidity in all systems using a single choice for the fluid parameters, such as shear and bulk viscosities. This suggests a common hydrodynamic origin of the experimentally observed flow patterns in all high energy nuclear collisions, including p+p.


title: Convex Hull of the Quadratic Branch AC Power Flow Equations and Its Application in Radial Distribution Networks

abstract: A branch flow model (BFM) is used to formulate the AC power flow in general networks. For each branch/line, the BFM contains a nonconvex quadratic equality. A mathematical formulation of its convex hull is proposed, which is the tightest convex relaxation of this quadratic equation. The convex hull formulation consists of a second order cone inequality and a linear inequality within the physical bounds of power flows. The convex hull formulation is analytically proved and geometrically validated. An optimal scheduling problem of distributed energy storage (DES) in radial distribution systems with high penetration of photovoltaic resources is investigated in this paper. To capture the performance of both the battery and converter, a second-order DES model is proposed. Following the convex hull of the quadratic branch flow equation, the convex hull formulation of the nonconvex constraint in the DES model is also derived. The proposed convex hull models are used to generate a tight convex relaxation of the DES optimal scheduling (DESOS) problem. The proposed approach is tested on several radial systems. A discussion on the extension to meshed networks is provided.


title: Composition dependent band offsets of ZnO and its ternary alloys

abstract: We report the calculated fundamental band gaps of \emph{wurtzite} ternary alloys Zn$_{1-x}$M$_x$O (M=Mg, Cd) and the band offsets of the ZnO/Zn$_{1-x}$M$_x$O heterojunctions, these II-VI materials are important for electronics and optoelectronics. Our calculation is based on density functional theory within the linear muffin-tin orbital (LMTO) approach where the modified Becke-Johnson (MBJ) semi-local exchange is used to accurately produce the band gaps, and the coherent potential approximation (CPA) is applied to deal with configurational average for the ternary alloys. The combined LMTO-MBJ-CPA approach allows one to simultaneously determine both the conduction band and valence band offsets of the heterojunctions. The calculated band gap data of the ZnO alloys scale as $E_g=3.35+2.33x$ and $E_g=3.36-2.33x+1.77x^2$ for Zn$_{1-x}$Mg$_x$O and Zn$_{1-x}$Cd$_x$O, respectively, where $x$ being the impurity concentration. These scaling as well as the composition dependent band offsets are quantitatively compared to the available experimental data. The capability of predicting the band parameters and band alignments of ZnO and its ternary alloys with the LMTO-CPA-MBJ approach indicate the promising application of this method in the design of emerging electronics and optoelectronics.


title: CP-decomposition with Tensor Power Method for Convolutional Neural Networks Compression

abstract: Convolutional Neural Networks (CNNs) has shown a great success in many areas including complex image classification tasks. However, they need a lot of memory and computational cost, which hinders them from running in relatively low-end smart devices such as smart phones. We propose a CNN compression method based on CP-decomposition and Tensor Power Method. We also propose an iterative fine tuning, with which we fine-tune the whole network after decomposing each layer, but before decomposing the next layer. Significant reduction in memory and computation cost is achieved compared to state-of-the-art previous work with no more accuracy loss.


title: Hierarchical Recurrent Attention Network for Response Generation

abstract: We study multi-turn response generation in chatbots where a response is generated according to a conversation context. Existing work has modeled the hierarchy of the context, but does not pay enough attention to the fact that words and utterances in the context are differentially important. As a result, they may lose important information in context and generate irrelevant responses. We propose a hierarchical recurrent attention network (HRAN) to model both aspects in a unified framework. In HRAN, a hierarchical attention mechanism attends to important parts within and among utterances with word level attention and utterance level attention respectively. With the word level attention, hidden vectors of a word level encoder are synthesized as utterance vectors and fed to an utterance level encoder to construct hidden representations of the context. The hidden vectors of the context are then processed by the utterance level attention and formed as context vectors for decoding the response. Empirical studies on both automatic evaluation and human judgment show that HRAN can significantly outperform state-of-the-art models for multi-turn response generation.


title: Seismic diagnostics of solar-like oscillating stars

abstract: High precision and long-lasting \emph{Kepler} data enabled us to estimate stellar properties with asteroseismology as an accurate tool. We performed asteroseismic analysis on six solar-like stars observed by the \emph{Kepler} mission: KIC 6064910, KIC 6766513, KIC 7107778, KIC 10079226, KIC 10147635 and KIC 12069127. The extraction of seismic information includes two parts. First, we obtained two global asteroseismic parameters, mean large separation $\Delta\nu$ and frequency of maximum power $\nu_{\rm{max}}$, with autocorrelation function and collapsed autocorrelation function. Second, we extracted individual oscillation modes $\nu_{nl}$ with low-$l$ degree using a least-squares fit. Stellar grid models were built with Yale Rotating Stellar Evolution Code (YREC) to analyze stellar properties. They covered the range of $M=0.8\sim1.8$ $M_{\odot}$ with a step of 0.02 $M_{\odot}$ and $\rm{[Fe/H]}=-0.3\sim0.4$ $\rm{dex}$ with a step of 0.1 $\rm{dex}$. We used a Bayesian approach to estimate stellar fundamental parameters of the six stars, under the constraints of asteroseismic parameters ($\Delta\nu$, $\nu_{\rm{max}}$) and non-asteroseismic parameters ($T_{\rm{eff}}$, $\rm{[Fe/H]}$). We discover that the six targets include five sub-giant stars with $1.2\sim1.5$ $M_{\odot}$ and one main-sequence star with $1.08M_{\odot}$, and with ages in the range of $3\sim5$ $\rm{Gyr}$.


title: On the Infinite Loch Ness monster

abstract: In this paper we present in a topological way the construction of the orientable surface with only one end and infinite genus, called \emph{The Infinite Loch Ness Monster}. In fact, we introduce a flat and hyperbolic construction of this surface. We discuss how the name of this surface has evolved and how it has been historically understood.


title: Time Series Copulas for Heteroskedastic Data

abstract: We propose parametric copulas that capture serial dependence in stationary heteroskedastic time series. We develop our copula for first order Markov series, and extend it to higher orders and multivariate series. We derive the copula of a volatility proxy, based on which we propose new measures of volatility dependence, including co-movement and spillover in multivariate series. In general, these depend upon the marginal distributions of the series. Using exchange rate returns, we show that the resulting copula models can capture their marginal distributions more accurately than univariate and multivariate GARCH models, and produce more accurate value at risk forecasts.


title: Throughput Maximization for Wireless Powered Communications Harvesting from Non-dedicated Sources

abstract: We consider the wireless powered communications where users harvest energy from non-dedicated sources. The user follows a harvest-then-transmit protocol: in first phase of a slot time the source node harvests energy from a nearby conventional Access Point, then transmit information to its destination node or relay node in the second phase. We obtain the optimal\textit{ harvesting ratio} to maximize the expected throughput for direct transmission (DT )and decode forward (DF) relay under outage constraint, respectively. Our results reveal that the optimal harvest ratio for DT is dominated by the outage constraint while for DF relay, by the data causality .