title: High conduction hopping behavior induced in transition metal dichalcogenides by percolating defect networks: toward atomically thin circuits

abstract: Atomically thin circuits have recently been explored for applications in next-generation electronics and optoelectronics and have been demonstrated with two-dimensional lateral heterojunctions. In order to form true 2D circuitry from a single material, electronic properties must be spatially tunable. Here, we report tunable transport behavior which was introduced into single layer tungsten diselenide and tungsten disulfide by focused He$^+$ irradiation. Pseudo-metallic behavior was induced by irradiating the materials with a dose of ~1x10$^{16} He^+/cm^2$ to introduce defect states, and subsequent temperature-dependent transport measurements suggest a nearest neighbor hopping mechanism is operative. Scanning transmission electron microscopy and electron energy loss spectroscopy reveal that Se is sputtered preferentially, and extended percolating networks of edge states form within WSe$_2$ at a critical dose of 1x10$^{16} He^+/cm^2$. First-principles calculations confirm the semiconductor-to-metallic transition of WSe$_2$ after pore and edge defects were introduced by He$^+$ irradiation. The hopping conduction was utilized to direct-write resistor loaded logic circuits in WSe$_2$ and WS$_2$ with a voltage gain of greater than 5. Edge contacted thin film transistors were also fabricated with a high on/off ratio (> 10$^6$), demonstrating potential for the formation of atomically thin circuits.


title: A large moment antiferromagnetic order in overdoped high-Tc superconductor 154SmFeAsO1-xDx

abstract: In iron-based superconductors, high critical temperature (Tc) superconductivity over 50 K has only been accomplished in electron-doped hREFeAsO (hRE = heavy rare earth (RE) element). While hREFeAsO has the highest bulk Tc (58 K), progress in understanding its physical properties has been relatively slow due to difficulties in achieving high concentration electron-doping and carrying out neutron-experiments. Here, we present a systematic neutron powder diffraction (NPD) study of 154SmFeAsO1-xDx, and the discovery of a new long-range antiferromagnetic ordering with x >= 0.56 (AFM2) accompanying a structural transition from tetragonal to orthorhombic. Surprisingly, the Fe magnetic moment in AFM2 reaches a magnitude of 2.73 muB/Fe, which is the largest in all non-doped iron pnictides and chalcogenides. Theoretical calculations suggest that the AFM2 phase originates in kinetic frustration of the Fe-3dxy orbital, in which the nearest neighbor hopping parameter becomes zero. The unique phase diagram, i. e., highest-Tc superconducting phase is adjacent to the strongly correlated phase in electron-overdoped regime, yields important clues to the unconventional origins of superconductivity.


title: On the $16$-rank of class groups of $\mathbb{Q}(\sqrt{-2p})$ for primes $p \equiv 1 \bmod 4$

abstract: We use Vinogradov's method to prove equidistribution of a spin symbol governing the $16$-rank of class groups of quadratic number fields $\mathbb{Q}(\sqrt{-2p})$, where $p \equiv 1 \bmod 4$ is a prime.


title: Stochastic trajectory optimization for mechanical systems with parametric uncertainties

abstract: In this paper we develop a novel, discrete-time optimal control framework for mechanical systems with uncertain model parameters. We consider finite-horizon problems where the performance index depends on the statistical moments of the stochastic system. Our approach constitutes an extension of the original Differential Dynamic Programming method and handles uncertainty through generalized Polynomial Chaos (gPC) theory. The developed iterative scheme is capable of controlling the probabilistic evolution of the dynamic system and can be used in planning and control. Moreover, its scalable and fast converging nature play a key role when dealing with complex, high-dimensional problems. Based on Lagrangian mechanics principles, we also prove that Variational Integrators can be designed to properly propagate and linearize the gPC representations of stochastic, forced mechanical systems in discrete time. We utilize this benefit to further improve the efficiency of our trajectory-optimization methodology. Numerical simulations are included to validate the applicability of our approach.


title: Nonthermal Particle Acceleration in 3D Relativistic Magnetic Reconnection in Pair Plasma

abstract: As a fundamental process converting magnetic to plasma energy in high-energy astrophysical plasmas, relativistic magnetic reconnection is a leading explanation for the acceleration of particles to the ultrarelativistic energies necessary to power nonthermal emission (especially X-rays and gamma-rays) in pulsar magnetospheres and pulsar wind nebulae, coronae and jets of accreting black holes, and gamma-ray bursts. An important objective of plasma astrophysics is therefore the characterization of nonthermal particle acceleration (NTPA) effected by reconnection. Reconnection-powered NTPA has been demonstrated over a wide range of physical conditions using large two-dimensional (2D) kinetic simulations. However, its robustness in realistic 3D reconnection -- in particular, whether the 3D relativistic drift-kink instability (RDKI) disrupts NTPA -- has not been systematically investigated, although pioneering 3D simulations have observed NTPA in isolated cases. Here we present the first comprehensive study of NTPA in 3D relativistic reconnection in collisionless electron-positron plasmas, characterizing NTPA as the strength of 3D effects is varied systematically via the length in the third dimension and the strength of the guide magnetic field. We find that, while the RDKI prominently perturbs 3D reconnecting current sheets, it does not suppress particle acceleration, even for zero guide field; fully 3D reconnection robustly and efficiently produces nonthermal power-law particle spectra closely resembling those obtained in 2D. This finding provides strong support for reconnection as the key mechanism powering high-energy flares in various astrophysical systems. We also show that strong guide fields significantly inhibit NTPA, slowing reconnection and limiting the energy available for plasma energization, yielding steeper and shorter power-law spectra.


title: Automated Body Structure Extraction from Arbitrary 3D Mesh

abstract: This paper presents an automated method for 3D character skeleton extraction that can be applied for generic 3D shapes. Our work is motivated by the skeleton-based prior work on automatic rigging focused on skeleton extraction and can automatically aligns the extracted structure to fit the 3D shape of the given 3D mesh. The body mesh can be subsequently skinned based on the extracted skeleton and thus enables rigging process. In the experiment, we apply public dataset to drive the estimated skeleton from different body shapes, as well as the real data obtained from 3D scanning systems. Satisfactory results are obtained compared to the existing approaches.


title: New quaternary sequences of even length with optimal auto-correlation

abstract: Sequences with low auto-correlation property have been applied in code-division multiple access communication systems, radar and cryptography. Using the inverse Gray mapping, a quaternary sequence of even length $N$ can be obtained from two binary sequences of the same length, which are called component sequences. In this paper, using interleaving method, we present several classes of component sequences from twin-prime sequences pairs or GMW sequences pairs given by Tang and Ding in 2010; two, three or four binary sequences defined by cyclotomic classes of order $4$. Hence we can obtain new classes of quaternary sequences, which are different from known ones, since known component sequences are constructed from a pair of binary sequences with optimal auto-correlation or Sidel'nikov sequences.


title: Antimatroids Induced by Matchings

abstract: We explore novel connections between antimatroids and matchings in bipartite graphs. In particular, we prove that a combinatorial structure induced by stable matchings or maximum-weight matchings is an antimatroid. Moreover, we demonstrate that every antimatroid admits such a representation by stable matchings and maximum-weight matchings.


title: Ab initio electromagnetic observables with the in-medium similarity renormalization group

abstract: We present the formalism for consistently transforming transition operators within the in-medium similarity renormalization group framework. We implement the operator transformation in both the equations-of-motion and valence-space variants, and present first results for electromagnetic transitions and moments in medium-mass nuclei using consistently-evolved operators, including the induced two-body parts. These results are compared to experimental values, and--where possible--the results of no-core shell model calculations using the same input chiral interaction. We find good agreement between the equations-of-motion and valence space approaches. Magnetic dipole observables are generally in reasonable agreement with experiment, while the more collective electric quadrupole and octupole observables are significantly underpredicted, often by over an order of magnitude, indicating missing physics at the present level of truncation.


title: Cooperative Learning with Visual Attributes

abstract: Learning paradigms involving varying levels of supervision have received a lot of interest within the computer vision and machine learning communities. The supervisory information is typically considered to come from a human supervisor -- a "teacher" figure. In this paper, we consider an alternate source of supervision -- a "peer" -- i.e. a different machine. We introduce cooperative learning, where two agents trying to learn the same visual concepts, but in potentially different environments using different sources of data (sensors), communicate their current knowledge of these concepts to each other. Given the distinct sources of data in both agents, the mode of communication between the two agents is not obvious. We propose the use of visual attributes -- semantic mid-level visual properties such as furry, wooden, etc.-- as the mode of communication between the agents. Our experiments in three domains -- objects, scenes, and animals -- demonstrate that our proposed cooperative learning approach improves the performance of both agents as compared to their performance if they were to learn in isolation. Our approach is particularly applicable in scenarios where privacy, security and/or bandwidth constraints restrict the amount and type of information the two agents can exchange.


title: Spider Evaluation and Representations of Web Groups

abstract: The topology of $SU(3)$-representation varieties of the fundamental groups of planar webs so that the meridians are sent to matrices with trace equal to $-1$ are explored, and compared to data coming from spider evaluation of the webs. Corresponding to an evaluation of a web as a spider is a rooted tree. We associate to each geodesic $\gamma$ from the root of the tree to the tip of a leaf an irreducible component $C_{\gamma}$ of the representation variety of the web, and a graded subalgebra $A_{\gamma}$ of $H^*(C_{\gamma};\mathbb{Q})$. The spider evaluation of geodesic $\gamma$ is the symmetrized Poincare polynomial of $A_{\gamma}$. The spider evaluation of the web is the sum of the symmetrized Poincare polynomials of the graded subalgebras associated to all maximal geodesics from the root of the tree to the leaves


title: Concolic Execution as a General Method of Determining Local Malware Signatures

abstract: A commonly shared component of antivirus suites is a local database of malware signatures that is used during the static analysis process. Despite possible encryption, heuristic obfuscation, or attempts to hide this database from malicious end-users (or competitors), a currently avoidable eventuality for offline static analysis is a need to use the contents of the database in local computation to detect malicious files. This work serves as a preliminary exploration of the use of concolic execution as a general-case technique for reverse-engineering malware signature database contents: indeed, the existence of a practical technique to such an end would certainly require the use of true (in the sense of provable security) obfuscation in order for malware databases to remain private against capable attackers--a major obstacle given the scarcity of truly practical secure obfuscation constructions. Our work, however, only shows that existing tools (at the time of this report) for concolic execution have severe limitations which prevent the realization of this strategy.


title: A Method for Determining Weights of Criterias and Alternative of Fuzzy Group Decision Making Problem

abstract: In this paper, we constructed a model to determine weights of criterias and presented a solution for determining the optimal alternative by using the constructed model and relationship analysis between criterias in fuzzy group decision-making problem with different forms of preference information of decision makers on criterias.


title: Neutrino-dominated accretion flows as the central engine of gamma-ray bursts

abstract: Neutrino-dominated accretion flows (NDAFs) around rotating stellar-mass black holes (BHs) are plausible candidates for the central engines of gamma-ray bursts (GRBs). NDAFs are hyperaccretion disks with accretion rates in the range of around 0.001-10 $M_\odot ~\rm s^{-1}$, which have high density and temperature and therefore are extremely optically thick and geometrically slim or even thick. We review the theoretical progresses in studying the properties of NDAFs as well as their applications to the GRB phenomenology. The topics include: the steady radial and vertical structure of NDAFs and the implications for calculating neutrino luminosity and annihilation luminosity, jet power due to neutrino-antineutrino annihilation and Blandford-Znajek mechanism and their dependences on parameters such as BH mass, spin, and accretion rate, time evolution of NDAFs, effect of magnetic fields, applications of NDAF theories to the GRB phenomenology such as lightcurve variability, extended emission, X-ray flares, kilonovae, etc., as well as probing NDAFs using multi-messenger signals such as MeV neutrinos and gravitational waves.


title: On the boundary conditions for eliminating negative energy states in the infinite square well model

abstract: For a quantum confinement model, the wave function of a particle is zero outside the confined region. Due to this, the negative energy states are, in fact, square integrable. As negative energy states are not physical, we need to impose some boundary conditions in order to avoid these states. For the case of the infinite square well model, we show the possible boundary conditions that avoid the existence of the negative energy states. The well-known boundary condition requiring the wave function be continuous on both sides of the well is one of the boundary conditions that avoids negative energy states. However, there are other types of boundary condition that can also avoid the negative energy states. This shows that there are the different branch of physical systems that can be established on the infinite square well model.


title: Optimal boundary gradient estimates for Lam\'{e} systems with partially infinite coefficients

abstract: In this paper, we derive the pointwise upper bounds and lower bounds on the gradients of solutions to the Lam\'{e} systems with partially infinite coefficients as the surface of discontinuity of the coefficients of the system is located very close to the boundary. When the distance tends to zero, the optimal blow-up rates of the gradients are established for inclusions with arbitrary shapes and in all dimensions.


title: Defects and oxidation resilience in $InSe$

abstract: We use density functional theory to study intrinsic defects and oxygen related defects in indium selenide. We find that ${InSe}$ is prone to oxidation, but however not reacting with oxygen as strongly as phosphorene. The dominant intrinsic defects in ${In}$-rich material are the ${In}$ interstitial, a shallow donor, and the ${Se}$ vacancy, which introduces deep traps. The latter can be passivated by oxygen, which is isoelectronic with ${Se}$. The dominant intrinsic defects in ${Se}$-rich material have comparatively higher formation energies.


title: An approach to 1000 T using the Electro-Magnetic Flux Compression

abstract: An ultra-high magnetic field was generated by the electro-magnetic flux compression technique under a reduced seed magnetic field condition and achieved maximum magnetic field intensity was investigated. An ordinal pickup coil measurement fails due to the dielectric breakdown at around 500 T. On the other hand, by utilizing the magneto-optical Faraday rotation method with a small probe, the measureable maximum magnetic field increased significantly. It was found that reduced seed field increases the maximum magnetic field, but with a reduced size of the final bore. A highest magnetic field over 763 T and possibly up to 985 T approaching 1000 T was detected.


title: An Axiomatic Review of Israel-Stewart Hydrodynamics and Extended Irreversible Thermodynamics

abstract: The causality of dissipative phenomena can not be treated in traditional theories of dissipations, Fourier laws and Navier-Stokes equations. This is the reason why the dissipative phenomena have not been studies well in relativistic situations. Furthermore, the interactions among dissipations, e.g. the heating of fluid due to viscous flow and the occurrence of viscous flow due to heat flux, are not explicitly described in those traditional laws. One of the phenomenologies which describe the causality and interaction of dissipations is the Extended Irreversible Thermodynamics (EIT). (Israel-Stewart theory of dissipative hydrodynamics is one approximate form of EIT.) This manuscript reviews an axiomatic construction of EIT and Israel-Stewart hydrodynamic theory. Also, we point out that the EIT is also applicable to radiative transfer in optically \emph{thick} matters. However, radiative transfer in optically \emph{thin} matters can not be described by EIT, because the non-self-interacting nature of photons is incompatible with a basic requirement of EIT, "the bilinear form of entropy production rate". The break down of EIT in optically thin situation is not explicitly recognized in standard references of EIT and Israel-Stewart theory. Some detail of how EIT fails to describe a radiative transfer in optically thin situations is also explained. (This manuscript is a revision of the contribution to a book Ref.[26] published in 2011. So, recent developments made after 2011 may not be cited.)


title: Category of mixed plectic Hodge structures

abstract: The purpose of this article is to investigate the properties of the category of mixed plectic Hodge structures defined by Nekov\'a\v{r} and Scholl. We give an equivalent description of mixed plectic Hodge structures in terms of the weight and partial Hodge filtrations. We also construct an explicit complex calculating the extension groups in this category.


title: Limit theorems in bi-free probability theory

abstract: In this paper additive bi-free convolution is defined for general Borel probability measures, and the limiting distributions for sums of bi-free pairs of selfadjoint commuting random variables in an infinitesimal triangular array are determined. These distributions are characterized by their bi-freely infinite divisibility, and moreover, a transfer principle is established for limit theorems in classical probability theory and Voiculescu's bi-free probability theory. Complete descriptions of bi-free stability and fullness of planar probability distributions are also set down. All these results reveal one important feature about the theory of bi-free probability that it parallels the classical theory perfectly well. The emphasis in the whole work is not on the tool of bi-free combinatorics but only on the analytic machinery.


title: Learning Hard Alignments with Variational Inference

abstract: There has recently been significant interest in hard attention models for tasks such as object recognition, visual captioning and speech recognition. Hard attention can offer benefits over soft attention such as decreased computational cost, but training hard attention models can be difficult because of the discrete latent variables they introduce. Previous work used REINFORCE and Q-learning to approach these issues, but those methods can provide high-variance gradient estimates and be slow to train. In this paper, we tackle the problem of learning hard attention for a sequential task using variational inference methods, specifically the recently introduced VIMCO and NVIL. Furthermore, we propose a novel baseline that adapts VIMCO to this setting. We demonstrate our method on a phoneme recognition task in clean and noisy environments and show that our method outperforms REINFORCE, with the difference being greater for a more complicated task.


title: Boundary regularity, Pohozaev identities, and nonexistence results

abstract: In this expository paper we survey some recent results on Dirichlet problems of the form $Lu=f(x,u)$ in $\Omega$, $u\equiv0$ in $\mathbb R^n\backslash\Omega$. We first discuss in detail the boundary regularity of solutions, stating the main known results of Grubb and of the author and Serra. We also give a simplified proof of one of such results, focusing on the main ideas and on the blow-up techniques that we developed in \cite{RS-K,RS-stable}. After this, we present the Pohozaev identities established in \cite{RS-Poh,RSV,Grubb-Poh} and give a sketch of their proofs, which use strongly the fine boundary regularity results discussed previously. Finally, we show how these Pohozaev identities can be used to deduce nonexistence of solutions or unique continuation properties. The operators $L$ under consideration are integro-differential operator of order $2s$, $s\in(0,1)$, the model case being the fractional Laplacian $L=(-\Delta)^s$.


title: Tidal Disruption of a White Dwarf by a Black Hole: The Diversity of Nucleosynthesis, Explosion Energy, and the Fate of Debris Streams

abstract: We run a suite of hydrodynamics simulations of tidal disruption events (TDEs) of a white dwarf (WD) by a black hole (BH) with a wide range of WD/BH masses and orbital parameters. We implement nuclear reactions to study nucleosynthesis and its dynamical effect through release of nuclear energy. The released nuclear energy effectively increases the fraction of unbound ejecta. This effect is weaker for a heavy WD with 1.2 $\mathrm{M}_{\odot}$, because the specific orbital energy distribution of the debris is predominantly determined by the tidal force, rather than by the explosive reactions. The elemental yield of a TDE depends critically on the initial composition of a WD, while the BH mass and the orbital parameters also affect the total amount of synthesized elements. Tanikawa et al. (2017) find that simulations of WD-BH TDEs with low resolution suffer from spurious heating and inaccurate nuclear reaction results. In order to examine the validity of our calculations, we compare the amounts of the synthesized elements with the upper limits of them derived in a way where we can avoid uncertainties due to low resolution. The results are largely consistent, and thus support our findings. We find particular TDEs where early self-intersection of a WD occurs during the first pericentre passage, promoting formation of an accretion disc. We expect that relativistic jets and/or winds would form in these cases because accretion rates would be super-Eddington. The WD-BH TDEs result in a variety of events depending on the WD/BH mass and pericentre radius of the orbit.


title: Rigidity and Edge Universality of Discrete $\beta$-Ensembles

abstract: We study discrete $\beta$-ensembles as introduced in [17]. We obtain rigidity estimates on the particle locations, i.e. with high probability, the particles are close to their classical locations with an optimal error estimate. We prove the edge universality of the discrete $\beta$-ensembles, i.e. for $\beta\geq 1$, the distribution of extreme particles converges to the Tracy-Widom $\beta$ distribution. As far as we know, this is the first proof of general Tracy-Widom $\beta$ distributions in the discrete setting. A special case of our main results implies that under the Jack deformation of the Plancherel measure, the distribution of the lengths of the first few rows in Young diagrams, converges to the Tracy-Widom $\beta$ distribution, which answers an open problem in [39]. Our proof relies on Nekrasov's (or loop) equations, a multiscale analysis and a comparison argument with continuous $\beta$-ensembles.


title: Short Codes with Mismatched Channel State Information: A Case Study

abstract: The rising interest in applications requiring the transmission of small amounts of data has recently lead to the development of accurate performance bounds and of powerful channel codes for the transmission of short-data packets over the AWGN channel. Much less is known about the interaction between error control coding and channel estimation at short blocks when transmitting over channels with states (e.g., fading channels, phase-noise channels, etc...) for the setup where no a priori channel state information (CSI) is available at the transmitter and the receiver. In this paper, we use the mismatched-decoding framework to characterize the fundamental tradeoff occurring in the transmission of short data packet over an AWGN channel with unknown gain that stays constant over the packet. Our analysis for this simplified setup aims at showing the potential of mismatched decoding as a tool to design and analyze transmission strategies for short blocks. We focus on a pragmatic approach where the transmission frame contains a codeword as well as a preamble that is used to estimate the channel (the codeword symbols are not used for channel estimation). Achievability and converse bounds on the block error probability achievable by this approach are provided and compared with simulation results for schemes employing short low-density parity-check codes. Our bounds turn out to predict accurately the optimal trade-off between the preamble length and the redundancy introduced by the channel code.


title: Perovskites for Solar and Thermal Energy Harvesting: State of the Art Technologies, Current Scenario and Future Directions

abstract: Solar energy is anticipated to be the most viable source of sustainable green energy. Perovskites have gained significant research attention in recent years as a solar energy harvesting material due to their desirable photovoltaic enabling properties. The potential strategies for a more effective use of these materials can involve multiple energy conversion mechanisms through a single device or employing materials where a solar or thermal input provides multiple electrical outputs to enhance the overall energy harvesting capability. In this context, the present review focuses on perovskites, including both organic halide perovskites and inorganic oxide perovskites, due to their proven properties as photovoltaic materials and their intriguing potential for additional functionality, such as ferroelectricity. Ferroelectrics are a special class of perovskites that have been studied in detail for photoferroic, pyroelectric and thermoelectric effects and energy storage, which we briefly review here. Furthermore, the possibilities of simultaneously tuning these mechanisms in perovskite materials for multiple energy conversion mechanisms and storage for ultra-high density capacitor and battery applications is also examined in order to attain a better understanding and to present novel opportunities. An understanding of all these mechanisms and device prospects will inspire and inform the selection of appropriate materials and potential novel designs so that the available solar and thermal resource could be utilized in a more effective manner. This review will not only help in selecting an appropriate material from the existing pool of perovskite materials, but will also provide an outlook and assistance to researchers in developing new material systems.


title: Towards understanding the Planck thermal dust models

abstract: Understanding the properties of dust emission in the microwave domain is an important premise for the next generation of cosmic microwave background (CMB) experiments, devoted to the measurement of the primordial $B$-modes of polarization. In this paper, we compare three solutions to thermal dust emission by the Planck Collaboration \cite{PlanckDust03,planck_16,planck_com} to point out significant differences between their respective parameters (the spectral index $\beta$, the optical depth $\tau$ and the dust temperature $T_d$). These differences originate from e.g. the priors on the parameters or the contribution of the Cosmic infrared background (CIB).


title: A moment-angle manifold whose cohomology is not torsion free

abstract: In this paper we give a method to construct moment-angle manifolds whose cohomologies are not torsion free. We also give method to describe the corresponding simplicial sphere by its non-faces.


title: Measurement of the response of a liquid scintillation detector to monoenergetic electrons and neutrons

abstract: The response of the liquid scintillator (EJ-301 equivalent to NE-213) to the monoenergetic electrons produced in Compton scattered $\gamma$-ray tagging has been carried out for various radioactive $\gamma$-ray sources. The measured electron response is found to be linear up to $\sim$4~MeVee and the resolution of the liquid scintillator at 1~MeVee is observed to be $\sim$~11\%. The pulse shape discrimination and pulse height response of the liquid scintillator for neutrons has been measured using $^7$Li(p,n$_1$)$^7$Be*(0.429 MeV) reaction. Non linear response to mono-energetic neutrons for the liquid scintillator is observed at E$_n$=5.3, 9.0 and 12.7 MeV. The measured response of the liquid scintillator for electrons and neutrons have been compared with Geant4 simulation.


title: Resonant lattice Kerker effect in metasurfaces with electric and magnetic optical responses

abstract: To achieve efficient light control at subwavelength dimensions, plasmonic and all-dielectric nanoparticles have been utilized both as a single element as well as in the arrays. Here we study 2D periodic nanoparticle arrays (metasurfaces) that support lattice resonances near the Rayleigh anomaly due to the electric dipole (ED) and magnetic dipole (MD) resonant coupling between the nanoparticles. Silicon and core-shell particles are considered. We demonstrate for the first time that, choosing of lattice periods independently in each mutual-perpendicular direction, it is possible to achieve a full overlap between the ED-lattice resonance and MD resonances of nanoparticles in certain spectral range and to realize the resonant lattice Kerker effect (resonant suppression of the scattering or reflection). At the effect conditions, the strong suppression of light reflectance in the structure is appeared due to destructive interference between electromagnetic waves scattered by ED and MD moments of every nanoparticle in the backward direction with respect to the incident light wave. Influence of the array size on the revealed reflectance and transmittance behavior is discussed. The resonant lattice Kerker effect based on the overlap of both ED and MD lattice resonances is also demonstrated.


title: Cones of Heegner divisors

abstract: We show that the cone of primitive Heegner divisors is finitely generated for many orthogonal Shimura varieties, including the moduli space of polarized K3-surfaces. The proof relies on the growth of coefficients of modular forms.


title: Atmospheric escape from the TRAPPIST-1 planets and implications for habitability

abstract: The presence of an atmosphere over sufficiently long timescales is widely perceived as one of the most prominent criteria associated with planetary surface habitability. We address the crucial question as to whether the seven Earth-sized planets transiting the recently discovered ultracool dwarf star TRAPPIST-1 are capable of retaining their atmospheres. To this effect, we carry out numerical simulations to characterize the stellar wind of TRAPPIST-1 and the atmospheric ion escape rates for all the seven planets. We also estimate the escape rates analytically and demonstrate that they are in good agreement with the numerical results. We conclude that the outer planets of the TRAPPIST-1 system are capable of retaining their atmospheres over billion-year timescales. The consequences arising from our results are also explored in the context of abiogenesis, biodiversity, and searches for future exoplanets. In light of the many unknowns and assumptions involved, we recommend that these conclusions must be interpreted with due caution.


title: Cyclotron absorption lines in the era of Suzaku and NuSTAR

abstract: Cyclotron resonance scattering features or cyclotron absorption lines are unique features observed in the hard X-ray spectra of accretion powered X-ray pulsars with magnetic field of the order of 10$^{12}$ G. Detection of these features enables us for the direct estimation of strength of the magnetic field close to the neutron star surface. Corresponding to magnetic field of $\sim$10$^{12}$ G, the fundamental cyclotron lines are expected in 10-100 keV energy range with harmonics expected at multiples of fundamental line energy. However, we detected first harmonic of cyclotron line at less than twice of the fundamental line energy ($\sim$1.7 times the fundamental line energy) in Be/X-ray binary pulsar Cep X-4. With the broadband spectral capability of $Suzaku$ and $NuSTAR$ observatories, we have investigated cyclotron resonance scattering features in several X-ray pulsars to understand the shape of the lines, width, magnetic field mapping, anharmonicity in the line energies and luminosity-dependent properties of cyclotron lines. The results obtained from these works and new detection of cyclotron line in unknown/poorly studied sources are presented in this paper.


title: Active sorting of particles as an illustration of the Gibbs mixing paradox

abstract: The Gibbs Mixing Paradox is a conceptual touchstone for understanding mixtures in statistical mechanics. While debates over the theoretical subtleties of particle distinguishability continue to this day, we seek to extend the discussion in another direction by considering devices which can only distinguish particles with limited accuracy. We introduce two illustrative models of sorting devices which are designed to separate a binary mixture, but which sometimes make mistakes. In the first model, discrimination between particle types is passive and sorting is driven, while the second model is based on an active proofreading network, where both discrimination and sorting have a tunable active component. We show that the performance of these devices may be enhanced out of equilibrium, and we further probe how the quality of particle sorting is maintained by trade-offs between the time taken and the energy dissipated. Considering these examples, we demonstrate how increasing the similarity between particles gradually increases the work required to sort them, eliminating the paradox, while preserving the limits imposed by standard equilibrium statistical mechanics.


title: Comment on "Three-dimensional study of the six-body bound-state for the case of effective three-body configuration model" [Int. J. Mod. Phys. E 25, 9 (2016) 1650072]

abstract: The authors argue that the calculated $^6$He binding energies by the solution of the coupled Faddeev-Yakubovsky integral equation in a Three-dimensional scheme reported by E. Ahmadi Pouya and A. A. Rajabi [Int. J. Mod. Phys. E 25, 9 (2016) 1650072] are incorrect. The formalism of the paper has serious mistakes and the numerical results are quite misleading because such a calculation even with small grids for Jacobi momenta and the angle variables leads to a huge memory of 37.8 PB (petabyte) which cannot even be achieved on present supercomputers.


title: Description of odd-mass nuclei within the interacting boson-fermion model based on the Gogny energy density functional

abstract: Spectroscopic properties of odd-mass nuclei are studied within the framework of the interacting boson-fermion model (IBFM) with parameters based on the Hartree-Fock-Bogoliubov (HFB) approximation. The parametrization D1M of the Gogny energy density functional (EDF) has been used at the mean-field level to obtain the deformation energy surfaces for the considered nuclei in terms of the quadrupole deformations ($\beta,\gamma$). In addition to the energy surfaces, both single particle energies and occupation probabilities have been used as a microscopic input for building the IBFM Hamiltonian. Only three strength parameters for the particle-boson-core coupling are fitted to experimental spectra. The IBFM Hamiltonian is then used to compute the energy spectra and electromagnetic transition rates for selected odd-mass Eu and Sm nuclei as well as for $^{195}$Pt and $^{195}$Au. A reasonable agreement with the available experimental data is obtained for the considered odd-mass nuclei.


title: Supersymmetric hybrid inflation with non-minimal coupling to gravity

abstract: We have studied the paradigm of cosmic inflation using the simplest model based on the idea of supersymmetric hybrid inflation with non-minimal coupling to gravity, specially under the slow-roll approximation following the superconformal approach to supergravity. It is found that within a range of values of the non-minimal coupling parameter $\xi$, the model can accommodate the inflation data reported by the Planck ($n_s$ and upper limit of $r$) and BICEP2/Keck (upper limit of $r$) collaborations. The study shows that the most probable value of $\xi$ should be $\sim 0.0134\pm0.0005$. That is coupling is found to be very week. Within this range of $\xi$, the values of $r$ estimated from our model for $50 - 70$ e-foldings are found to be laying well below the upper limits set by the Planck and BICEP2/Keck collaborations. Similarly, values of $n_s$ obtained for the said parameters are in good agreement with its latest data of the Planck collaboration. The constraint equations for the running of the scalar spectral index $n_{sk}$ and its running $n_{skk}$ are derived from the numerical solutions of our model for these parameters. These equations can be used to test our model from the data of future cosmological observations.


title: Algorithm-Directed Crash Consistence in Non-Volatile Memory for HPC

abstract: Fault tolerance is one of the major design goals for HPC. The emergence of non-volatile memories (NVM) provides a solution to build fault tolerant HPC. Data in NVM-based main memory are not lost when the system crashes because of the non-volatility nature of NVM. However, because of volatile caches, data must be logged and explicitly flushed from caches into NVM to ensure consistence and correctness before crashes, which can cause large runtime overhead. In this paper, we introduce an algorithm-based method to establish crash consistence in NVM for HPC applications. We slightly extend application data structures or sparsely flush cache blocks, which introduce ignorable runtime overhead. Such extension or cache flushing allows us to use algorithm knowledge to \textit{reason} data consistence or correct inconsistent data when the application crashes. We demonstrate the effectiveness of our method for three algorithms, including an iterative solver, dense matrix multiplication, and Monte-Carlo simulation. Based on comprehensive performance evaluation on a variety of test environments, we demonstrate that our approach has very small runtime overhead (at most 8.2\% and less than 3\% in most cases), much smaller than that of traditional checkpoint, while having the same or less recomputation cost.


title: Production of Charm Quarks in a Parton Cascade Model for Relativistic Heavy Ion Collisions at $\sqrt{s_{\textrm {NN}}}$= 200 GeV

abstract: We study the production and dynamics of heavy quarks in the parton cascade model for relativistic heavy ion collisions. The model is motivated by the QCD parton picture and describes the dynamics of an ultra-relativistic heavy-ion collision in terms of cascading partons which undergo scattering and multiplication while propagating. We focus on the dynamics of charm quark production and evolution in p+p and Au+Au collisions for several different interaction scenarios, i.e. collisions only between primary partons without radiation of gluons, multiple collisions without radiation of gluons and multiple collisions with radiation of gluons, allowing us to isolate the contributions of parton rescattering and radiation to charm production. We also discuss results of an eikonal approximation of the collision which provides a valuable comparison with mini-jet calculations and clearly brings out the importance of multiple collisions.


title: In Defense of the Indefensible: A Very Naive Approach to High-Dimensional Inference

abstract: A great deal of interest has recently focused on conducting inference on the parameters in a high-dimensional linear model. In this paper, we consider a simple and very na\"{i}ve two-step procedure for this task, in which we (i) fit a lasso model in order to obtain a subset of the variables, and (ii) fit a least squares model on the lasso-selected set. Conventional statistical wisdom tells us that we cannot make use of the standard statistical inference tools for the resulting least squares model (such as confidence intervals and $p$-values), since we peeked at the data twice: once in running the lasso, and again in fitting the least squares model. However, in this paper, we show that under a certain set of assumptions, with high probability, the set of variables selected by the lasso is identical to the one selected by the noiseless lasso and is hence deterministic. Consequently, the na\"{i}ve two-step approach can yield asymptotically valid inference. We utilize this finding to develop the \emph{na\"ive confidence interval}, which can be used to draw inference on the regression coefficients of the model selected by the lasso, as well as the \emph{na\"ive score test}, which can be used to test the hypotheses regarding the full-model regression coefficients.


title: Detection of Cyclotron Resonance Scattering Feature in High Mass X-ray Binary Pulsar SMC X-2

abstract: We report broadband spectral properties of the high mass X-ray binary pulsar SMC X-2 by using three simultaneous $NuSTAR$ and $Swift$/XRT observations during its 2015 outburst. The pulsar was significantly bright, reaching a luminosity up to as high as $\sim$5.5$\times$10$^{38}$~ergs~s$^{-1}$ in 1-70 keV range. Spin period of the pulsar was estimated to be 2.37 s. Pulse profiles were found to be strongly luminosity dependent. The 1-70 keV energy spectrum of the pulsar was well described with three different continuum models such as (i) negative and positive power-law with exponential cutoff, (ii) Fermi-Dirac cutoff power-law and (iii) cutoff power-law models. Apart from the presence of an iron line at $\sim$6.4 keV, a model independent absorption like feature at $\sim$27 keV was detected in the pulsar spectrum. This feature was identified as a cyclotron absorption line and detected for the first time in this pulsar. Corresponding magnetic field of the neutron star was estimated to be $\sim$2.3$\times$10$^{12}$ G. The cyclotron line energy showed a marginal negative dependence on the luminosity. The cyclotron line parameters were found to be variable with pulse phase and interpreted as due to the effect of emission geometry or complicated structure of the pulsar magnetic field.


title: Tropical Geometric Compactification of Moduli, II - $A_g$ case and holomorphic limits -

abstract: We compactify the classical moduli variety $A_g$ of principally polarized abelian varieties of complex dimension $g$ by attaching the moduli of flat tori of real dimensions at most $g$ in an explicit manner. Equivalently, we explicitly determine the Gromov-Hausdorff limits of principally polarized abelian varieties. This work is analogous to the first of our series (available at arXiv:1406.7772v2), which compactified the moduli of curves by attaching the moduli of metrized graphs. Then, we also explicitly specify the Gromov-Hausdorff limits along holomorphic family of abelian varieties and show that they form special non-trivial subsets of the whole boundary. We also do it for algebraic curves case and observe a crucial difference with the case of abelian varieties.


title: Through a Gender Lens: Learning Usage Patterns of Emojis from Large-Scale Android Users

abstract: Based on a large data set of emoji using behavior collected from smartphone users over the world, this paper investigates gender-specific usage of emojis. We present various interesting findings that evidence a considerable difference in emoji usage by female and male users. Such a difference is significant not just in a statistical sense; it is sufficient for a machine learning algorithm to accurately infer the gender of a user purely based on the emojis used in their messages. In real world scenarios where gender inference is a necessity, models based on emojis have unique advantages over existing models that are based on textual or contextual information. Emojis not only provide language-independent indicators, but also alleviate the risk of leaking private user information through the analysis of text and metadata.


title: A refinement of Hardy Inequality via superquadratic function

abstract: A refinement of the Hardy inequality has been presented by use of superquadratic function.


title: Intel RealSense Stereoscopic Depth Cameras

abstract: We present a comprehensive overview of the stereoscopic Intel RealSense RGBD imaging systems. We discuss these systems' mode-of-operation, functional behavior and include models of their expected performance, shortcomings, and limitations. We provide information about the systems' optical characteristics, their correlation algorithms, and how these properties can affect different applications, including 3D reconstruction and gesture recognition. Our discussion covers the Intel RealSense R200 and the Intel RealSense D400 (formally RS400).


title: Towards understanding the physics of collisionless relativistic shocks

abstract: Relativistic astrophysical collisionless shocks represent outstanding dissipation agents of the huge power of relativistic outflows produced by accreting black holes, core collapsed supernovae and other objects into multi-messenger radiation (cosmic rays, neutrinos, electromagnetic radiation). This article provides a theoretical discussion of the fundamental physical ingredients of these extreme phenomena. In the context of weakly magnetized shocks, in particular, it is shown how the filamentation type instabilities, which develop in the precursor of pair dominated or electron-ion shocks, provide the seeds for the scattering of high energy particles as well as the agent which preheats and slows down the incoming precursor plasma. This analytical discussion is completed with a mesoscopic, non-linear model of particle acceleration in relativistic shocks based on Monte Carlo techniques. This Monte Carlo model uses a semi-phenomenological description of particle scattering which allows it to calculate the back-reaction of accelerated particles on the shock structure on length and momentum scales which are currently beyond the range of microscopic particle-in-cell (PIC) simulations.


title: A phenomenological modification of thermohaline mixing in globular cluster red giants

abstract: Thermohaline mixing is a favoured mechanism for the so-called "extra mixing" on the red giant branch of low-mass stars. The mixing is triggered by the molecular weight inversion created above the hydrogen shell during first dredge-up when helium-3 burns via 3He(3He,2p)4He. The standard 1D diffusive mixing scheme cannot simultaneously match carbon and lithium abundances to NGC 6397 red giants. We investigate two modifications to the standard scheme: (1) an advective two stream mixing algorithm, and (2) modifications to the standard 1D thermohaline mixing formalism. We cannot simultaneously match carbon and lithium abundances using our two stream mixing approach. However we develop a modified diffusive scheme with an explicit temperature dependence that can simultaneously fit carbon and lithium abundances to NGC 6397 stars. Our modified diffusive scheme induces mixing that is faster than the standard theory predicts in the hotter part of the thermohaline region and mixing that is slower in the cooler part. Our results infer that the extra mixing mechanism needs further investigation and more observations are required, particularly for stars in different clusters spanning a range in metallicity.


title: New Reinforcement Learning Using a Chaotic Neural Network for Emergence of "Thinking" - "Exploration" Grows into "Thinking" through Learning -

abstract: Expectation for the emergence of higher functions is getting larger in the framework of end-to-end reinforcement learning using a recurrent neural network. However, the emergence of "thinking" that is a typical higher function is difficult to realize because "thinking" needs non fixed-point, flow-type attractors with both convergence and transition dynamics. Furthermore, in order to introduce "inspiration" or "discovery" in "thinking", not completely random but unexpected transition should be also required. By analogy to "chaotic itinerancy", we have hypothesized that "exploration" grows into "thinking" through learning by forming flow-type attractors on chaotic random-like dynamics. It is expected that if rational dynamics are learned in a chaotic neural network (ChNN), coexistence of rational state transition, inspiration-like state transition and also random-like exploration for unknown situation can be realized. Based on the above idea, we have proposed new reinforcement learning using a ChNN as an actor. The positioning of exploration is completely different from the conventional one. The chaotic dynamics inside the ChNN produces exploration factors by itself. Since external random numbers for stochastic action selection are not used, exploration factors cannot be isolated from the output. Therefore, the learning method is also completely different from the conventional one. At each non-feedback connection, one variable named causality trace takes in and maintains the input through the connection according to the change in its output. Using the trace and TD error, the weight is updated. In this paper, as the result of a recent simple task to see whether the new learning works or not, it is shown that a robot with two wheels and two visual sensors reaches a target while avoiding an obstacle after learning though there are still many rooms for improvement.


title: IAN: The Individual Aggregation Network for Person Search

abstract: Person search in real-world scenarios is a new challenging computer version task with many meaningful applications. The challenge of this task mainly comes from: (1) unavailable bounding boxes for pedestrians and the model needs to search for the person over the whole gallery images; (2) huge variance of visual appearance of a particular person owing to varying poses, lighting conditions, and occlusions. To address these two critical issues in modern person search applications, we propose a novel Individual Aggregation Network (IAN) that can accurately localize persons by learning to minimize intra-person feature variations. IAN is built upon the state-of-the-art object detection framework, i.e., faster R-CNN, so that high-quality region proposals for pedestrians can be produced in an online manner. In addition, to relieve the negative effect caused by varying visual appearances of the same individual, IAN introduces a novel center loss that can increase the intra-class compactness of feature representations. The engaged center loss encourages persons with the same identity to have similar feature characteristics. Extensive experimental results on two benchmarks, i.e., CUHK-SYSU and PRW, well demonstrate the superiority of the proposed model. In particular, IAN achieves 77.23% mAP and 80.45% top-1 accuracy on CUHK-SYSU, which outperform the state-of-the-art by 1.7% and 1.85%, respectively.


title: OGLE-2016-BLG-1469L: Microlensing Binary Composed of Brown Dwarfs

abstract: We report the discovery of a binary composed of two brown dwarfs, based on the analysis of the microlensing event OGLE-2016-BLG-1469. Thanks to detection of both finite-source and microlens-parallax effects, we are able to measure both the masses $M_1\sim 0.05\ M_\odot$, $M_2\sim 0.01\ M_\odot$, and distance $D_{\rm L} \sim 4.5$ kpc, as well as the projected separation $a_\perp \sim 0.33$ au. This is the third brown-dwarf binary detected using the microlensing method, demonstrating the usefulness of microlensing in detecting field brown-dwarf binaries with separations less than 1 au.


title: High-Order Retractions on Matrix Manifolds using Projected Polynomials

abstract: We derive a family of high-order, structure-preserving approximations of the Riemannian exponential map on several matrix manifolds, including the group of unitary matrices, the Grassmannian manifold, and the Stiefel manifold. Our derivation is inspired by the observation that if $\Omega$ is a skew-Hermitian matrix and $t$ is a sufficiently small scalar, then there exists a polynomial of degree $n$ in $t\Omega$ (namely, a Bessel polynomial) whose polar decomposition delivers an approximation of $e^{t\Omega}$ with error $O(t^{2n+1})$. We prove this fact and then leverage it to derive high-order approximations of the Riemannian exponential map on the Grassmannian and Stiefel manifolds. Along the way, we derive related results concerning the supercloseness of the geometric and arithmetic means of unitary matrices.


title: Propagation of transition fronts in nonlinear chains with non-degenerate on-site potentials

abstract: We address the problem of a front propagation in chains with a bi-stable nondegenerate on-site potential and a nonlinear gradient coupling. For a generic nonlinear coupling, one encounters a special regime of transitions, characterized by extremely narrow fronts, far supersonic velocities of propagation and long waves in the oscillatory tail. This regime can be qualitatively associated with a shock wave. The front propagation can be described with the help of a simple reduced-order model; the latter delivers a kinetic law, which is almost not sensitive to fine details of the on-site potential. Besides, it is possible to predict all main characteristics of the transition front, including its shape and frequency and amplitude of the oscillatory tail. The numerical results are in a good agreement with the analytical predictions. The suggested approach allows one to consider the effects of an external pre-load and on-site damping. When the damping is moderate, the analysis remains in the frame of the reduced-order model. It is possible to consider the solution for the front propagating in the damped chain as a perturbation of the undamped dynamics. This approach yield reasonable predictions. When the damping is high, the transition front enters a completely different asymptotic regime. The gradient nonlinearity generically turns negligible, and the propagating front converges to the exact solution obtained from a simple linear continuous model.


title: Driven by Excess? Climatic Implications of New Global Mapping of Near-Surface Water-Equivalent Hydrogen on Mars

abstract: We present improved Mars Odyssey Neutron Spectrometer (MONS) maps of near-surface Water-Equivalent Hydrogen (WEH) on Mars that have intriguing implications for the global distribution of "excess" ice, which occurs when the mass fraction of water ice exceeds the threshold amount needed to saturate the pore volume in normal soils. We have refined the crossover technique of Feldman et al. (2011) by using spatial deconvolution and Gaussian weighting to create the first globally self-consistent map of WEH. At low latitudes, our new maps indicate that WEH exceeds 15% in several near-equatorial regions, such as Arabia Terra, which has important implications for the types of hydrated minerals present at low latitudes. At high latitudes, we demonstrate that the disparate MONS and Phoenix Robotic Arm (RA) observations of near surface WEH can be reconciled by a three-layer model incorporating dry soil over fully saturated pore ice over pure excess ice: such a three-layer model can also potentially explain the strong anticorrelation of subsurface ice content and ice table depth observed at high latitudes. At moderate latitudes, we show that the distribution of recently formed impact craters is also consistent with our latest MONS results, as both the shallowest ice-exposing crater and deepest non-ice-exposing crater at each impact site are in good agreement with our predictions of near-surface WEH. Overall, we find that our new mapping is consistent with the widespread presence at mid-to-high Martian latitudes of recently deposited shallow excess ice reservoirs that are not yet in equilibrium with the atmosphere.


title: Separability criterion for three-qubit states with a four dimensional norm

abstract: We give a separability criterion for three qubit states in terms of diagonal and anti-diagonal entries. This gives us a complete characterization of separability when all the entries are zero except for diagonal and anti-diagonals. The criterion is expressed in terms of a norm arising from anti-diagonal entries. We compute this norm in several cases, so that we get criteria with which we can decide the separability by routine computations.


title: Functional perturbative RG and CFT data in the $\epsilon$-expansion

abstract: We show how the use of standard perturbative RG in dimensional regularization allows for a renormalization group based computation of both the spectrum and a family of coefficients of the operator product expansion (OPE) for a given universality class. The task is greatly simplified by a straightforward generalization of perturbation theory to a functional perturbative RG approach. We illustrate our procedure in the $\epsilon$-expansion by obtaining the next-to-leading corrections for the spectrum and the leading corrections for the OPE coefficients of Ising and Lee-Yang universality classes and then give several results for the whole family of renormalizable multicritical models $\phi^{2n}$. Whenever comparison is possible our RG results explicitly match the ones recently derived in CFT frameworks.


title: On a non-solenoidal approximation to the incompressible Navier-Stokes equations

abstract: We establish an asymptotic profile that sharply describes the behavior as $t\to\infty$ for solutions to a non-solenoidal approximation of the incompressible Navier-Stokes equations introduced by Temam. The solutions of Temam's model are known to converge to the corresponding solutions of the classical Navier-Stokes, e.g., in $L^3\_{\rm loc} (R^+ \times R^3)$, provided $\epsilon\to0$, where $\epsilon>0$ is the physical parameter related to the artificial compressibility term. However, we show that such model is no longer a good approximation of Navier-Stokes for large times: indeed, its solutions can decay much slower as $t\to+\infty$ than the corresponding solutions of Navier-Stokes.


title: Theoretical Prediction of the Robust Intrinsic Half-Metallicity in Ni2N MXene with Different Types of Surface Terminations

abstract: Bare and surface-passivated Fe2N, Co2N, and Ni2N MXene were investigated by using density functional theory. Fe2N(OH)2, Fe2NO2, Co2NO2, Ni2NF2, Ni2N(OH)2, and Ni2NO2 are intrinsic half-metals, while other structures have antiferromagnetic ground states. The half-metallicity of Ni2NT2 (T = F, OH, and O) does not depend on the type of surface terminations and should be more realizable in experiments. The energy differences between the ferromagnetic and antiferromagnetic configurations of Ni2NT2 are several hundreds of meV per primitive cell. The Curie temperature should be above room temperature from the point of view of mean field approximation.


title: Stellar magnetic activity and exoplanets

abstract: It has been proposed that magnetic activity could be enhanced due to interactions between close-in massive planets and their host stars. In this article, I present a brief overview of the connection between stellar magnetic activity and exoplanets. Stellar activity can be probed in chromospheric lines, coronal emission, surface spot coverage, etc. Since these are manifestations of stellar magnetism, these measurements are often used as proxies for the magnetic field of stars. Here, instead of focusing on the magnetic proxies, I overview some recent results of magnetic field measurements using spectropolarimetric observations. Firstly, I discuss the general trends found between large-scale magnetism, stellar rotation, and coronal emission and show that magnetism seems to be correlated to the internal structure of the star. Secondly, I overview some works that show evidence that exoplanets could (or not) act as to enhance the activity of their host stars.


title: Integral representations and asymptotic behaviours of Mittag-Leffler type functions of two variables

abstract: The paper explores various special functions which generalize the two-parametric Mittag-Leffler type function of two variables. Integral representations for these functions in different domains of variation of arguments for certain values of the parameters are obtained. The asymptotic expansions formulas and asymptotic properties of such functions are also established for large values of the variables. This provides statements of theorems for these formulas and their corresponding properties.


title: Kinematics, workspace and singularity analysis of a multi-mode parallel robot

abstract: A family of reconfigurable parallel robots can change motion modes by passing through constraint singularities by locking and releasing some passive joints of the robot. This paper is about the kinematics, the workspace and singularity analysis of a 3-PRPiR parallel robot involving lockable Pi and R (revolute) joints. Here a Pi joint may act as a 1-DOF planar parallelogram if its lock-able P (prismatic) joint is locked or a 2-DOF RR serial chain if its lockable P joint is released. The operation modes of the robot include a 3T operation modes to three 2T1R operation modes with two different directions of the rotation axis of the moving platform. The inverse kinematics and forward kinematics of the robot in each operation modes are dealt with in detail. The workspace analysis of the robot allow us to know the regions of the workspace that the robot can reach in each operation mode. A prototype built at Heriot-Watt University is used to illustrate the results of this work.


title: Invariance: a Theoretical Approach for Coding Sets of Words Modulo Literal (Anti)Morphisms

abstract: Let $A$ be a finite or countable alphabet and let $\theta$ be literal (anti)morphism onto $A^*$ (by definition, such a correspondence is determinated by a permutation of the alphabet). This paper deals with sets which are invariant under $\theta$ ($\theta$-invariant for short).We establish an extension of the famous defect theorem. Moreover, we prove that for the so-called thin $\theta$-invariant codes, maximality and completeness are two equivalent notions. We prove that a similar property holds in the framework of some special families of $\theta$-invariant codes such as prefix (bifix) codes, codes with a finite deciphering delay, uniformly synchronized codes and circular codes. For a special class of involutive antimorphisms, we prove that any regular $\theta$-invariant code may be embedded into a complete one.


title: Mixing rate in infinite measure for Z^d-extension, application to the periodic Sinai billiard

abstract: We study the rate of mixing of observables of Z^d-extensions of probability preserving dynamical systems. We explain how this question is directly linked to the local limit theorem and establish a rate of mixing for general classes of observables of the Z^2-periodic Sinai billiard. We compare our approach with the induction method.


title: Opportunistic Communication in Extreme Wireless Sensor Networks

abstract: Sensor networks can nowadays deliver 99.9% of their data with duty cycles below 1%. This remarkable performance is, however, dependent on some important underlying assumptions: low traffic rates, medium size densities and static nodes. In this thesis, we investigate the performance of these same resource-constrained devices, but under scenarios that present extreme conditions: high traffic rates, high densities and mobility: the so-called Extreme Wireless Sensor Networks (EWSNs).


title: Primordial black hole constraints for extended mass functions

abstract: We revisit the cosmological and astrophysical constraints on the fraction of the dark matter in primordial black holes (PBHs) with an extended mass function. We consider a variety of mass functions, all of which are described by three parameters: a characteristic mass and width and a dark matter fraction. Various observations then impose constraints on the dark matter fraction as a function of the first two parameters. We show how these constraints relate to those for a monochromatic mass function, demonstrating that they usually become more stringent in the extended case than the monochromatic one. Considering only the well-established bounds, and neglecting the ones that depend on additional astrophysical assumptions, we find that there are three mass windows, around $4\times 10^{-17}M_\odot,$ $2\times 10^{-14}M_\odot$ and $25-100M_\odot$, where PBHs can constitute all dark matter. However, if one includes all the bounds, PBHs can only constitute of order $10\%$ of the dark matter.


title: Raman study of electron-phonon coupling in thin films of LiTi$_2$O$_4$ spinel oxide superconductor

abstract: We performed a Raman scattering study of thin films of LiTi$_2$O$_4$ spinel oxide superconductor. We detected four out of five Raman active modes, with frequencies in good accordance with our first-principles calculations. Three T$_{2g}$ modes show a Fano lineshape from 5 K to 295 K, which suggests an electron-phonon coupling in LiTi$_2$O$_4$. Interestingly, the electron-phonon coupling shows an anomaly across the negative to positive magnetoresistance transition at 50 K, which may be due to the unset of other competing orders. The strength of the electron-phonon interaction estimated from the Allen's formula and the observed lineshape parameters suggests that the three T$_{2g}$ modes contribute little to superconductivity.


title: Two-Planar Graphs Are Quasiplanar

abstract: It is shown that every 2-planar graph is quasiplanar, that is, if a simple graph admits a drawing in the plane such that every edge is crossed at most twice, then it also admits a drawing in which no three edges pairwise cross. We further show that quasiplanarity is witnessed by a simple topological drawing, that is, any two edges cross at most once and adjacent edges do not cross.


title: Muscle Fatigue Analysis Using OpenSim

abstract: In this research, attempts are made to conduct concrete muscle fatigue analysis of arbitrary motions on OpenSim, a digital human modeling platform. A plug-in is written on the base of a muscle fatigue model, which makes it possible to calculate the decline of force-output capability of each muscle along time. The plug-in is tested on a three-dimensional, 29 degree-of-freedom human model. Motion data is obtained by motion capturing during an arbitrary running at a speed of 3.96 m/s. Ten muscles are selected for concrete analysis. As a result, the force-output capability of these muscles reduced to 60%-70% after 10 minutes' running, on a general basis. Erector spinae, which loses 39.2% of its maximal capability, is found to be more fatigue-exposed than the others. The influence of subject attributes (fatigability) is evaluated and discussed.


title: A Tropical F5 algorithm

abstract: Let K be a field equipped with a valuation. Tropical varieties over K can be defined with a theory of Gr{\"o}bner bases taking into account the valuation of K. While generalizing the classical theory of Gr{\"o}bner bases, it is not clear how modern algorithms for computing Gr{\"o}bner bases can be adapted to the tropical case. Among them, one of the most efficient is the celebrated F5 Algorithm of Faug{\`e}re. In this article, we prove that, for homogeneous ideals, it can be adapted to the tropical case. We prove termination and correctness. Because of the use of the valuation, the theory of tropical Gr{\"o}b-ner bases is promising for stable computations over polynomial rings over a p-adic field. We provide numerical examples to illustrate time-complexity and p-adic stability of this tropical F5 algorithm.


title: A Novel Approach to Quantification of Model Risk for Practitioners

abstract: Models continue to increase their already broad use across industry as well as their sophistication. Worldwide regulation oblige financial institutions to manage and address model risk with the same severity as any other type of risk, which besides defines model risk as the potential for adverse consequences from decisions based on incorrect and misused model outputs and reports. Model risk quantification is essential not only in meeting these requirements but for institution's basic internal operative. It is however a complex task as any comprehensive quantification methodology should at least consider the data used for building the model, its mathematical foundations, the IT infrastructure, overall performance and (most importantly) usage. Besides, the current amount of models and different mathematical modelling techniques is overwhelming. Our proposal is to define quantification of model risk as a calculation of the norm of some appropriate function that belongs to a Banach space, defined over a weighted Riemannian manifold endowed with the Fisher--Rao metric. The aim of the present contribution is twofold: Introduce a sufficiently general and sound mathematical framework to cover the aforementioned points and illustrate how a practitioner may identify the relevant abstract concepts and put them to work.


title: Balancing the Migration of Virtual Network Functions with Replications in Data Centers

abstract: The Network Function Virtualization (NFV) paradigm is enabling flexibility, programmability and implementation of traditional network functions into generic hardware, in form of the so-called Virtual Network Functions (VNFs). Today, cloud service providers use Virtual Machines (VMs) for the instantiation of VNFs in the data center (DC) networks. To instantiate multiple VNFs in a typical scenario of Service Function Chains (SFCs), many important objectives need to be met simultaneously, such as server load balancing, energy efficiency and service execution time. The well-known \emph{VNF placement} problem requires solutions that often consider \emph{migration} of virtual machines (VMs) to meet this objectives. Ongoing efforts, for instance, are making a strong case for migrations to minimize energy consumption, while showing that attention needs to be paid to the Quality of Service (QoS) due to service interruptions caused by migrations. To balance the server allocation strategies and QoS, we propose using \emph{replications} of VNFs to reduce migrations in DC networks. We propose a Linear Programming (LP) model to study a trade-off between replications, which while beneficial to QoS require additional server resources, and migrations, which while beneficial to server load management can adversely impact the QoS. The results show that, for a given objective, the replications can reduce the number of migrations and can also enable a better server and data center network load balancing.


title: Poly-freeness of even Artin groups of FC type

abstract: We prove that even Artin groups of FC type are poly-free and residually finite.


title: Non-differentiable functions defined in terms of classical representations of real numbers

abstract: The present article is devoted to functions from a certain subclass of non-differentiable functions. The arguments and values of considered functions represented by the s-adic representation or the nega-s-adic representation of real numbers. The technique of modeling such functions is the simplest as compared with well-known techniques of modeling non-differentiable functions. In other words, values of these functions are obtained from the s-adic or nega-s-adic representation of the argument by a certain change of digits or combinations of digits.


title: Existence and uniqueness of functional differential equations with n delay

abstract: In this paper we give a necessary and suffcient conditions for the existence and uniqueness of periodic solutions of functional differential equations with n delay d dt x(t) = Ax(t) + n j=1 Bx(t -- r j) + f (t). The conditions are obtained in terms of R-boundedness of operator valued Fourier multipliers.


title: Propagation of epistemic uncertainty in queueing models with unreliable server using chaos expansions

abstract: In this paper, we develop a numerical approach based on Chaos expansions to analyze the sensitivity and the propagation of epistemic uncertainty through a queueing systems with breakdowns. Here, the quantity of interest is the stationary distribution of the model, which is a function of uncertain parameters. Polynomial chaos provide an efficient alternative to more traditional Monte Carlo simulations for modelling the propagation of uncertainty arising from those parameters. Furthermore, Polynomial chaos expansion affords a natural framework for computing Sobol' indices. Such indices give reliable information on the relative importance of each uncertain entry parameters. Numerical results show the benefit of using Polynomial Chaos over standard Monte-Carlo simulations, when considering statistical moments and Sobol' indices as output quantities.


title: Matrix product state techniques for two-dimensional systems at finite temperature

abstract: The density matrix renormalization group is one of the most powerful numerical methods for computing ground-state properties of two-dimensional (2D) quantum lattice systems. Here we show its finite-temperature extensions are also viable for 2D, using the following strategy: At high temperatures, we combine density-matrix purification and numerical linked-cluster expansions to extract static observables directly in the thermodynamic limit. At low temperatures inaccessible to purification, we use the minimally entangled typical thermal state (METTS) algorithm on cylinders. We consider the triangular Heisenberg antiferromagnet as a first application, finding excellent agreement with other state of the art methods. In addition, we present a METTS-based approach that successfully extracts critical temperatures, and apply it to a frustrated lattice model. On a technical level, we compare two different schemes for performing imaginary-time evolution of 2D clusters, finding that a Suzuki-Trotter decomposition with swap gates is currently the most accurate and efficient.


title: Comparison of variational balance models for the rotating shallow water equations

abstract: We present an extensive numerical comparison of a family of balance models appropriate to the semi-geostrophic limit of the rotating shallow water equations, and derived by variational asymptotics in Oliver (2006) for small Rossby numbers ${\mathrm{Ro}}$. This family of generalized large-scale semi-geostrophic (GLSG) models contains the $L_1$-model introduced by Salmon (1983) as a special case. We use these models to produce balanced initial states for the full shallow water equations. We then numerically investigate how well these models capture the dynamics of an initially balanced shallow water flow. It is shown that, whereas the $L_1$-member of the GLSG family is able to reproduce the balanced dynamics of the full shallow water equations on time scales of ${\mathcal{O}}(1/{\mathrm{Ro}})$ very well, all other members develop significant unphysical high wavenumber contributions in the ageostrophic vorticity which spoil the dynamics.


title: A Markov's theorem for extended welded braids and links

abstract: Extended welded links are a generalization of Fenn, Rim\'{a}nyi, and Rourke's welded links. Their braided counterpart are extended welded braids, which are closely related to ribbon braids and loop braids. In this paper we prove versions of Alexander and Markov's theorems for extended welded braids and links, following Kamada's approach to the case of welded objects.


title: Constructive mathematics

abstract: This text is reproduced with the kind permission of Fran\c{c}ois Ap\'ery. It was originally edited by Fran\c{c}ois Gu\'enard and Gilbert Leli\`evre for the book "Penser les math\'ematiques". It is the modified and abridged version of a text that appeared previously as S\'eminaire de philosophie et math\'ematiques de l'\'Ecole normale sup\'erieure (s\'eance du 26 avril 1976), Paris, IREM Paris-Nord, 1980, 15 pp., http://www.numdam.org/item?id=SPHM_1976___1_A1_0, as well as in Langage et pens\'ee math\'ematiques: actes du colloque international (Luxembourg, 9-11 juin 1976), Luxembourg, Centre universitaire de Luxembourg, 1976, pp. 391--410. In its introduction, Ap\'ery writes: "In default of convincing, this text can set the record straight: we show that the constructive conception does not mutilate, on the contrary, it enriches classical mathematics."


title: Machine Learning of Explicit Order Parameters: From the Ising Model to SU(2) Lattice Gauge Theory

abstract: We present a procedure for reconstructing the decision function of an artificial neural network as a simple function of the input, provided the decision function is sufficiently symmetric. In this case one can easily deduce the quantity by which the neural network classifies the input. The procedure is embedded into a pipeline of machine learning algorithms able to detect the existence of different phases of matter, to determine the position of phase transitions and to find explicit expressions of the physical quantities by which the algorithm distinguishes between phases. We assume no prior knowledge about the Hamiltonian or the order parameters except Monte Carlo-sampled configurations. The method is applied to the Ising Model and SU(2) lattice gauge theory. In both systems we deduce the explicit expressions of the known order parameters from the decision functions of the neural networks.


title: Tight Analysis for the 3-Majority Consensus Dynamics

abstract: We present a tight analysis for the well-studied randomized 3-majority dynamics of stabilizing consensus, hence answering the main open question of Becchetti et al. [SODA'16]. Consider a distributed system of n nodes, each initially holding an opinion in {1, 2, ..., k}. The system should converge to a setting where all (non-corrupted) nodes hold the same opinion. This consensus opinion should be \emph{valid}, meaning that it should be among the initially supported opinions, and the (fast) convergence should happen even in the presence of a malicious adversary who can corrupt a bounded number of nodes per round and in particular modify their opinions. A well-studied distributed algorithm for this problem is the 3-majority dynamics, which works as follows: per round, each node gathers three opinions --- say by taking its own and two of other nodes sampled at random --- and then it sets its opinion equal to the majority of this set; ties are broken arbitrarily, e.g., towards the node's own opinion. Becchetti et al. [SODA'16] showed that the 3-majority dynamics converges to consensus in O((k^2\sqrt{\log n} + k\log n)(k+\log n)) rounds, even in the presence of a limited adversary. We prove that, even with a stronger adversary, the convergence happens within O(k\log n) rounds. This bound is known to be optimal.


title: Metaheuristic Design of Feedforward Neural Networks: A Review of Two Decades of Research

abstract: Over the past two decades, the feedforward neural network (FNN) optimization has been a key interest among the researchers and practitioners of multiple disciplines. The FNN optimization is often viewed from the various perspectives: the optimization of weights, network architecture, activation nodes, learning parameters, learning environment, etc. Researchers adopted such different viewpoints mainly to improve the FNN's generalization ability. The gradient-descent algorithm such as backpropagation has been widely applied to optimize the FNNs. Its success is evident from the FNN's application to numerous real-world problems. However, due to the limitations of the gradient-based optimization methods, the metaheuristic algorithms including the evolutionary algorithms, swarm intelligence, etc., are still being widely explored by the researchers aiming to obtain generalized FNN for a given problem. This article attempts to summarize a broad spectrum of FNN optimization methodologies including conventional and metaheuristic approaches. This article also tries to connect various research directions emerged out of the FNN optimization practices, such as evolving neural network (NN), cooperative coevolution NN, complex-valued NN, deep learning, extreme learning machine, quantum NN, etc. Additionally, it provides interesting research challenges for future research to cope-up with the present information processing era.


title: Measuring the effects of Loop Quantum Cosmology in the CMB data

abstract: In this Essay we investigate the observational signatures of Loop Quantum Cosmology (LQC) in the CMB data. First, we concentrate on the dynamics of LQC and we provide the basic cosmological functions. We then obtain the power spectrum of scalar and tensor perturbations in order to study the performance of LQC against the latest CMB data. We find that LQC provides a robust prediction for the main slow-roll parameters, like the scalar spectral index and the tensor-to-scalar fluctuation ratio, which are in excellent agreement within $1\sigma$ with the values recently measured by the Planck collaboration. This result indicates that LQC can be seen as an alternative scenario with respect to that of standard inflation.


title: Sequences, modular forms and cellular integrals

abstract: It is well-known that the Ap\'ery sequences which arise in the irrationality proofs for $\zeta(2)$ and $\zeta(3)$ satisfy many intriguing arithmetic properties and are related to the $p$th Fourier coefficients of modular forms. In this paper, we prove that the connection to modular forms persists for sequences associated to Brown's cellular integrals and state a general conjecture concerning supercongruences.


title: Strong Coordination of Signals and Actions over Noisy Channels

abstract: -We develop a random binning scheme for strong coordination in a network of two nodes separated by a noisy channel, in which the input and output signals have to be coordinated with the source and its reconstruction. In the case of non-causal encoding and decoding, we propose a joint source-channel coding scheme and develop inner and outer bounds for the strong coordination region. While the set of achievable target distributions is the same as for empirical coordination, we characterize the rate of common randomness required for strong coordination.


title: A coarse Cartan-Hadamard theorem with application to the coarse Baum-Connes conjecture

abstract: We establish a coarse version of the Cartan-Hadamard theorem, which states that proper coarsely convex spaces are coarsely homotopy equivalent to the open cones of their ideal boundaries. As an application, we show that such spaces satisfy the coarse Baum-Connes conjecture. Combined with the result of Osajda-Przytycki, it implies that systolic groups and locally finite systolic complexes satisfy the coarse Baum-Connes conjecture.


title: Advanced reduced-order models for moisture diffusion in porous media

abstract: It is of great concern to produce numerically efficient methods for moisture diffusion through porous media, capable of accurately calculate moisture distribution with a reduced computational effort. In this way, model reduction methods are promising approaches to bring a solution to this issue since they do not degrade the physical model and provide a significant reduction of computational cost. Therefore, this article explores in details the capabilities of two model-reduction techniques - the Spectral Reduced-Order Model (Spectral-ROM) and the Proper Generalised Decomposition (PGD) - to numerically solve moisture diffusive transfer through porous materials. Both approaches are applied to three different problems to provide clear examples of the construction and use of these reduced-order models. The methodology of both approaches is explained extensively so that the article can be used as a numerical benchmark by anyone interested in building a reduced-order model for diffusion problems in porous materials. Linear and non-linear unsteady behaviors of unidimensional moisture diffusion are investigated. The last case focuses on solving a parametric problem in which the solution depends on space, time and the diffusivity properties. Results have highlighted that both methods provide accurate solutions and enable to reduce significantly the order of the model around ten times lower than the large original model. It also allows an efficient computation of the physical phenomena with an error lower than 10^{-2} when compared to a reference solution.

categories: physics.comp-ph cs.NA math.AP math.NA physics.class-ph


title: Edge-Caching Wireless Networks: Performance Analysis and Optimization

abstract: Edge-caching has received much attention as an efficient technique to reduce delivery latency and network congestion during peak-traffic times by bringing data closer to end users. Existing works usually design caching algorithms separately from physical layer design. In this paper, we analyse edge-caching wireless networks by taking into account the caching capability when designing the signal transmission. Particularly, we investigate multi-layer caching where both base station (BS) and users are capable of storing content data in their local cache and analyse the performance of edge-caching wireless networks under two notable uncoded and coded caching strategies. Firstly, we propose a coded caching strategy that is applied to arbitrary values of cache size. The required backhaul and access rates are derived as a function of the BS and user cache size. Secondly, closed-form expressions for the system energy efficiency (EE) corresponding to the two caching methods are derived. Based on the derived formulas, the system EE is maximized via precoding vectors design and optimization while satisfying a predefined user request rate. Thirdly, two optimization problems are proposed to minimize the content delivery time for the two caching strategies. Finally, numerical results are presented to verify the effectiveness of the two caching methods.


title: Learning Convex Regularizers for Optimal Bayesian Denoising

abstract: We propose a data-driven algorithm for the maximum a posteriori (MAP) estimation of stochastic processes from noisy observations. The primary statistical properties of the sought signal is specified by the penalty function (i.e., negative logarithm of the prior probability density function). Our alternating direction method of multipliers (ADMM)-based approach translates the estimation task into successive applications of the proximal mapping of the penalty function. Capitalizing on this direct link, we define the proximal operator as a parametric spline curve and optimize the spline coefficients by minimizing the average reconstruction error for a given training set. The key aspects of our learning method are that the associated penalty function is constrained to be convex and the convergence of the ADMM iterations is proven. As a result of these theoretical guarantees, adaptation of the proposed framework to different levels of measurement noise is extremely simple and does not require any retraining. We apply our method to estimation of both sparse and non-sparse models of L\'{e}vy processes for which the minimum mean square error (MMSE) estimators are available. We carry out a single training session and perform comparisons at various signal-to-noise ratio (SNR) values. Simulations illustrate that the performance of our algorithm is practically identical to the one of the MMSE estimator irrespective of the noise power.


title: Ensemble of heterogeneous flexible neural trees using multiobjective genetic programming

abstract: Machine learning algorithms are inherently multiobjective in nature, where approximation error minimization and model's complexity simplification are two conflicting objectives. We proposed a multiobjective genetic programming (MOGP) for creating a heterogeneous flexible neural tree (HFNT), tree-like flexible feedforward neural network model. The functional heterogeneity in neural tree nodes was introduced to capture a better insight of data during learning because each input in a dataset possess different features. MOGP guided an initial HFNT population towards Pareto-optimal solutions, where the final population was used for making an ensemble system. A diversity index measure along with approximation error and complexity was introduced to maintain diversity among the candidates in the population. Hence, the ensemble was created by using accurate, structurally simple, and diverse candidates from MOGP final population. Differential evolution algorithm was applied to fine-tune the underlying parameters of the selected candidates. A comprehensive test over classification, regression, and time-series datasets proved the efficiency of the proposed algorithm over other available prediction methods. Moreover, the heterogeneous creation of HFNT proved to be efficient in making ensemble system from the final population.


title: Unconventional Superconductivity

abstract: Conventional superconductivity, as used in this review, refers to electron-phonon coupled superconducting electron-pairs described by BCS theory. Unconventional superconductivity refers to superconductors where the Cooper pairs are not bound together by phonon exchange but instead by exchange of some other kind, e. g. spin fluctuations in a superconductor with magnetic order either coexistent or nearby in the phase diagram. Such unconventional superconductivity has been known experimentally since heavy fermion CeCu2Si2, with its strongly correlated 4f electrons, was discovered to superconduct below 0.6 K in 1979. Since the discovery of unconventional superconductivity in the layered cuprates in 1986, the study of these materials saw Tc jump to 164 K by 1994. Further progress in high temperature superconductivity would be aided by understanding the cause of such unconventional pairing. This review compares the fundamental properties of 9 unconventional superconducting classes of materials - from 4f-electron heavy fermions to organic superconductors to classes where only three known members exist to the cuprates with over 200 examples, with the hope that common features will emerge to help theory explain (and predict!) these phenomena. In addition, three new emerging classes of superconductors (topological, interfacial [e. g. FeSe on SrTiO3], and H2S under high pressure) are briefly covered, even though their conventionality is not yet fully determined.


title: Riesz means of the Dedekind function II

abstract: Let $\psi$ denote the Dedekind totient function defined by $ \psi(n)=\sum_{d|n}d\mu^2\l({n}/{d}\r) $ with $\mu$ being the M\"{o}bius function. We shall consider the $k$-th Riesz mean of the arithmetical function $n/\psi(n)$ for any non-negative integer $k$ on the assumptions that the Riemann Hypothesis is true, and all the zeros $\rho$ on the critical line of the Riemann zeta function $\zeta$ are simple. Our result is an explicit representation of the error term in the formula obtained in a previous work of the second author and I. Kiuchi \cite{IK}. We also give an improvement on the error estimate under the assumption of the Gonek-Hejhal Hypothesis. And, we propose a proposition that is equivalent to the Riemann Hypothesis.


title: GraphH: High Performance Big Graph Analytics in Small Clusters

abstract: It is common for real-world applications to analyze big graphs using distributed graph processing systems. Popular in-memory systems require an enormous amount of resources to handle big graphs. While several out-of-core approaches have been proposed for processing big graphs on disk, the high disk I/O overhead could significantly reduce performance. In this paper, we propose GraphH to enable high-performance big graph analytics in small clusters. Specifically, we design a two-stage graph partition scheme to evenly divide the input graph into partitions, and propose a GAB (Gather-Apply-Broadcast) computation model to make each worker process a partition in memory at a time. We use an edge cache mechanism to reduce the disk I/O overhead, and design a hybrid strategy to improve the communication performance. GraphH can efficiently process big graphs in small clusters or even a single commodity server. Extensive evaluations have shown that GraphH could be up to 7.8x faster compared to popular in-memory systems, such as Pregel+ and PowerGraph when processing generic graphs, and more than 100x faster than recently proposed out-of-core systems, such as GraphD and Chaos when processing big graphs.


title: Construction of Parallel RIO Codes using Coset Coding with Hamming Codes

abstract: Random input/output (RIO) code is a coding scheme that enables reading of one logical page using a single read threshold in multilevel flash memory. The construction of RIO codes is equivalent to the construction of WOM codes. Parallel RIO (P-RIO) code is an RIO code that encodes all pages in parallel. In this paper, we utilize coset coding with Hamming codes in order to construct P-RIO codes. Coset coding is a technique that constructs WOM codes using linear binary codes. We leverage the information on the data of all pages to encode each page. Our constructed codes store more pages than RIO codes constructed via coset coding.


title: Electrical processes in planetary atmospheres

abstract: Lightning is common throughout the Solar System, and charging of particles occurs in all atmospheres due to ionization from galactic cosmic rays. Here, some electrical processes relevant to the atmosphere of Venus are outlined and discussed in a comparative planetology context.


title: Learning how to explain neural networks: PatternNet and PatternAttribution

abstract: DeConvNet, Guided BackProp, LRP, were invented to better understand deep neural networks. We show that these methods do not produce the theoretically correct explanation for a linear model. Yet they are used on multi-layer networks with millions of parameters. This is a cause for concern since linear models are simple neural networks. We argue that explanation methods for neural nets should work reliably in the limit of simplicity, the linear models. Based on our analysis of linear models we propose a generalization that yields two explanation techniques (PatternNet and PatternAttribution) that are theoretically sound for linear models and produce improved explanations for deep networks.


title: The Parameterized Complexity of the Equidomination Problem

abstract: A graph $G=(V,E)$ is called equidominating if there exists a value $t \in \mathbb{N}$ and a weight function $\omega : V \rightarrow \mathbb{N}$ such that the total weight of a subset $D\subseteq V$ is equal to $t$ if and only if $D$ is a minimal dominating set. To decide whether or not a given graph is equidominating is referred to as the Equidomination problem. In this paper we show that two parameterized versions of the Equidomination problem are fixed-parameter tractable: the first parameterization considers the target value $t$ leading to the Target-$t$ Equidomination problem. The second parameterization allows only weights up to a value $k$, which yields the $k$-Equidomination problem. In addition, we characterize the graphs whose every induced subgraph is equidominating. We give a finite forbidden induced subgraph characterization and derive a fast recognition algorithm.


title: Notes on the bicategory of W*-bimodules

abstract: Categories of W*-bimodules are shown in an explicit and algebraic way to constitute an involutive W*-bicategory.


title: Approximation of Non-Decaying Signals From Shift-Invariant Subspaces

abstract: In our recent work, the sampling and reconstruction of non-decaying signals, modeled as members of weighted-$L_p$ spaces, were shown to be stable with an appropriate choice of the generating kernel for the shift-invariant reconstruction space. In this paper, we extend the Strang-Fix theory to show that, for $d$-dimensional signals whose derivatives up to order $L$ are all in some weighted-$L_p$ space, the weighted norm of the approximation error can be made to go down as $O(h^L)$ when the sampling step $h$ tends to $0$. The sufficient condition for this decay rate is that the generating kernel belongs to a particular hybrid-norm space and satisfies the Strang-Fix conditions of order $L$. We show that the $O(h^L)$ behavior of the error is attainable for both approximation schemes using projection (when the signal is prefiltered with the dual kernel) and interpolation (when a prefilter is unavailable). The requirement on the signal for the interpolation method, however, is slightly more stringent than that of the projection because we need to increase the smoothness of the signal by a margin of $d/p+\varepsilon$, for arbitrary $\varepsilon >0$. This extra amount of derivatives is used to make sure that the direct sampling is stable.