title: Hierarchical Attention Generative Adversarial Networks for Cross-domain Sentiment Classification

abstract: Cross-domain sentiment classification (CDSC) is an importance task in domain adaptation and sentiment classification. Due to the domain discrepancy, a sentiment classifier trained on source domain data may not works well on target domain data. In recent years, many researchers have used deep neural network models for cross-domain sentiment classification task, many of which use Gradient Reversal Layer (GRL) to design an adversarial network structure to train a domain-shared sentiment classifier. Different from those methods, we proposed Hierarchical Attention Generative Adversarial Networks (HAGAN) which alternately trains a generator and a discriminator in order to produce a document representation which is sentiment-distinguishable but domain-indistinguishable. Besides, the HAGAN model applies Bidirectional Gated Recurrent Unit (Bi-GRU) to encode the contextual information of a word and a sentence into the document representation. In addition, the HAGAN model use hierarchical attention mechanism to optimize the document representation and automatically capture the pivots and non-pivots. The experiments on Amazon review dataset show the effectiveness of HAGAN.


title: Effect of MTU length on child-adult difference in neuromuscular fatigue

abstract: Purpose The purpose of this study was to compare the development and etiology of neuromuscular fatigue of the knee extensor muscles (KE) at different muscle-tendon unit (MTU) lengths during repeated maximal voluntary isometric contractions (MVIC) between boys and men.Methods Twenty-two pre-pubertal boys (9-11 years) and 22 men (18-30 years) performed three KE fatigue protocols at short (SHORT), optimal (OPT) and long (LONG) MTU lengths, consisting of repeating 5-s MVIC interspersed with 5-s passive recovery periods until torque reached 60% of the initial MVIC torque. The etiology of neuromuscular fatigue was identified using non-invasive methods such as surface electromyography, near-infrared spectroscopy, magnetic nerve stimulation and twitch interpolation technique.Results The number of repetitions was significantly lower in men at OPT (14.8$\pm$3.2) and LONG (15.8$\pm$5.8) than boys (39.7$\pm$18.4 and 29.5 $\pm$10.2, respectively; p<0.001), while no difference was found at SHORT between both age groups (boys: 33.7$\pm$15.4, men: 40.9$\pm$14.2). At OPT and LONG boys showed a lower reduction in the single potentiated twitch (Qtwpot) and a greater decrease in the voluntary activation level (VA) than men. At SHORT, both populations displayed a moderate Qtwpot decrement and a significant VA reduction (p<0.001). The differences in maximal torque between boys and men were almost twice greater at OPT (223.9 N.m) than at SHORT (123.3 N.m) and LONG (136.5 N.m).Conclusion The differences in neuromuscular fatigue between children and adults are dependent on MTU length. Differences in maximal torque could underpin differences in neuromuscular fatigue between children and adults at OPT and SHORT. However, at LONG these differences do not seem to be explained by differences in maximal torque. The origins of this specific effect of MTU length remain to be determined.


title: Locally generated $\mathcal{C}^1$-splines over triangular meshes

abstract: We classify all possible local linear procedures over triangular meshes resulting in polynomial $C^1$-spline functions with affinely uniform shape for the basic functions at the edges, and fitting the 9 value- and gradient data at the vertices of the mesh members. There is a unique procedure among them with shape functions and basic polynomials of degree 5 and all other admissible procedures are its perturbations with higher degree.


title: Chance-Constrained AC Optimal Power Flow -- A Polynomial Chaos Approach

abstract: As the share of renewables in the grid increases, the operation of power systems becomes more challenging. The present paper proposes a method to formulate and solve chance-constrained optimal power flow while explicitly considering the full nonlinear AC power flow equations and stochastic uncertainties. We use polynomial chaos expansion to model the effects of arbitrary uncertainties of finite variance, which enables to predict and optimize the system state for a range of operating conditions. We apply chance constraints to limit the probability of violations of inequality constraints. Our method incorporates a more detailed and a more flexible description of both the controllable variables and the resulting system state than previous methods. Two case studies highlight the efficacy of the method, with a focus on satisfaction of the AC power flow equations and on the accurate computation of moments of all random variables.


title: Branching processes in correlated random environment

abstract: We consider the critical branching processes in correlated random environment which is positively associated and study the probability of survival up to the n-th generation. Moreover, when the environment is given by fractional Brownian motion, we estimate also the tail of progeny as well as the tail of width.


title: Probabilistic Teleportation of a Single Qubit: Unearthing New W-Class of States

abstract: In this work, we propose a probabilistic teleportation protocol to teleport a single qubit via three-qubit W-states using two-qubit measurement basis. We show that for the proper choice of the state parameter of the resource state, it is possible to make success probability of the protocol very high. We deduce the condition for the successful execution of our teleportation protocol and this gives us new class of three-qubit W-states which act as a resource state. We have constructed operators that can be used to verify the condition of teleportation in experiment. This verification is necessary for the detection of whether the given three-qubit state is useful in our teleportation protocol or not. Further we quantify the amount of entanglement contained in the newly identified shared W-class of states. Moreover, we show that the W-class of shared state used in the teleportation protocol can be prepared using NMR set up.


title: Multilevel Text Normalization with Sequence-to-Sequence Networks and Multisource Learning

abstract: We define multilevel text normalization as sequence-to-sequence processing that transforms naturally noisy text into a sequence of normalized units of meaning (morphemes) in three steps: 1) writing normalization, 2) lemmatization, 3) canonical segmentation. These steps are traditionally considered separate NLP tasks, with diverse solutions, evaluation schemes and data sources. We exploit the fact that all these tasks involve sub-word sequence-to-sequence transformation to propose a systematic solution for all of them using neural encoder-decoder technology. The specific challenge that we tackle in this paper is integrating the traditional know-how on separate tasks into the neural sequence-to-sequence framework to improve the state of the art. We address this challenge by enriching the general framework with mechanisms that allow processing the information on multiple levels of text organization (characters, morphemes, words, sentences) in combination with structural information (multilevel language model, part-of-speech) and heterogeneous sources (text, dictionaries). We show that our solution consistently improves on the current methods in all three steps. In addition, we analyze the performance of our system to show the specific contribution of the integrating components to the overall improvement.


title: Diversity with Cooperation: Ensemble Methods for Few-Shot Classification

abstract: Few-shot classification consists of learning a predictive model that is able to effectively adapt to a new class, given only a few annotated samples. To solve this challenging problem, meta-learning has become a popular paradigm that advocates the ability to "learn to adapt". Recent works have shown, however, that simple learning strategies without meta-learning could be competitive. In this paper, we go a step further and show that by addressing the fundamental high-variance issue of few-shot learning classifiers, it is possible to significantly outperform current meta-learning techniques. Our approach consists of designing an ensemble of deep networks to leverage the variance of the classifiers, and introducing new strategies to encourage the networks to cooperate, while encouraging prediction diversity. Evaluation is conducted on the mini-ImageNet and CUB datasets, where we show that even a single network obtained by distillation yields state-of-the-art results.


title: Sequent calculi and interpolation for non-normal modal and deonticlogics

abstract: G3-style sequent calculi for the logics in the cube of non-normal modal logics and for their deontic extensions are studied. For each calculus we prove that weakening and contraction are height-preserving admissible, and we give a syntactic proof of the admissibility of cut. This implies that the subformula property holds and that derivability can be decided by a terminating proof search whose complexity is in PSPACE. These calculi are shown to be equivalent to the axiomatic ones and, therefore, they are sound and complete with respect to neighbourhood semantics. Finally, it is given a Maehara-style proof of Craig's interpolation theorem for most of the logics considered.


title: Nonlinear Evolution of Ion Kinetic Instabilities in the Solar Wind

abstract: In-situ observations of the solar wind (SW) plasma from 0.29 to 1AU show that the protons and alpha particles are often non-Maxwellian, with evidence of kinetic instabilities, temperature anisotropies, differential ion streaming, and associated magnetic fluctuations spectra. The kinetic instabilities in the SW multi-ion plasma can lead to preferential heating of alpha particles and the dissipation of magnetic fluctuation energy, affecting the kinetic and global properties of the SW. Using for the first time a three-dimensional hybrid model, where ions are modeled as particle using the Particle-In-Cell (PIC) method and electrons are treated as fluid, we study the onset, nonlinear evolution and dissipation of ion kinetic instabilities. The Alfven/ion-cyclotron, and the ion drift instabilities are modeled in the region close to the Sun (~10R_s). Solar wind expansion is incorporated in the model. The model produces self-consistent non-Maxwellian velocity distribution functions (VDFs) of unstable ion populations, the associated temperature anisotropies, and wave spectra for several typical SW instability cases in the nonlinear growth and saturation stage of the instabilities. The 3D hybrid modeling of the multi-ion SW plasma could be used to study the SW acceleration region close to the Sun that will be explored by the Parker Solar Probe mission.


title: Positive Consensus of Directed Multi-agent Systems using Dynamic Output-feedback Control

abstract: This paper addresses the problem of positive consensus of directed multi-agent systems with observer-type output-feedback protocols. More specifically, directed graph is used to model the communication topology of the multi-agent system and linear matrix inequalities (LMIs) are used in the consensus analysis in this paper. Using positive systems theory and graph theory, a convex programming algorithm is developed to design appropriate protocols such that the multi-agent system is able to reach consensus with its state trajectory always remaining in the non-negative orthant. Finally, numerical simulations are given to illustrate the effectiveness of the derived theoretical results.


title: Astro2020 Science White Paper: The Extended Cool Gas Reservoirs Within z > 1 (Proto-)Cluster Environments

abstract: High-redshift ($z$) proto-clusters will serve as testing grounds to probe the gas supply furnishing the emerging metals, stars, and large-scale structures we see at the current epoch. This work focuses on the major role large radio/millimeter (mm) single dish facilities will have in constraining the bulk, cold (T $= 10^{1-4}$K) molecular and atomic gas content. To highlight the need for large radio/mm single dishes, we calculate how the high-sensitivity of the Green Bank Telescope's (GBT) unblocked 100m aperture provides vital interferometric short-spacing coverage to support higher-resolution ngVLA observations of the cold neutral gas at the largest scales. These combined observations are optimal for revealing low-surface brightness emission, and thus aid in the total baryonic mass estimates across cosmic time.


title: Solutions to inverse moment estimation problems in dimension 2, using best constrained approximation

abstract: We study an inverse problem that consists in estimating the first (zero-order) moment of some R2-valued distribution m supported within a closed interval S $\subset$ R, from partial knowledge of the solution to the Poisson-Laplace partial differential equation with source term equal to the divergence of m on another interval parallel to and located at some distance from S. Such a question coincides with a 2D version of an inverse magnetic "net" moment recovery question that arises in paleomagnetism, for thin rock samples. We formulate and constructively solve a best approximation problem under constraint in L2 and in Sobolev spaces involving the restriction of the Poisson extension of the divergence of m. Numerical results obtained from the described algorithms for the net moment approximation are also furnished.


title: System of Hodge Bundles and Generalized Opers on Smooth Projective Varieties

abstract: Let $k$ be an algebraically closed field of any characteristic. Let $X$ be a polarized irreducible smooth projective algebraic variety over $k$. We give criterion for semistability and stability of system of Hodge bundles on $X$. We define notion of generalized opers on $X$, and prove semistability of the Higgs bundle associated to generalized opers. We also show that existence of partial oper structure on a vector bundle $E$ together with a connection $\nabla$ over $X$ implies semistability of the pair $(E, \nabla)$.


title: Effect of A-site ionic radius on metamagnetic transition in charge ordered $Sm_{0.5}(Ca_{0.5-y}Sr_{y})MnO_3$ compounds

abstract: We investigate the ultra-sharp jump in the isothermal magnetization and the resistivity in the polycrystalline $Sm_{0.5}(Ca_{0.5-y}Sr_{y})MnO_3$ $(y = 0, 0.1, 0.2, 0.25, 0.3, 0.5)$ compounds. The critical field $(H_{cr})$, required for the ultra-sharp jump, decreases with increase of `Sr' concentration, i.e. with increase of average A-site ionic radius $\langle r_A\rangle$. The magnetotransport data indicate that the phase separation increases with the increase of $\langle r_A\rangle$, i.e. with $y$. The dependency of $H_{cr}$ with magnetic field sweep rate reveals that the ultra-sharp jump from antiferromagnetic (AFM) state to the ferromagnetic (FM) state is of martensitic in nature. Our two-band double exchange model Hamiltonian calculations show that the `Sr' doping induces the ferromagnetic clusters in the antiferromagnetic insulating phase and in turn reduces the critical field. In the end we present a phenomenological picture obtained from our combined experimental and theoretical study.


title: Monge-Kantorovich distance for PDEs: the coupling method

abstract: We informally review a few PDEs for which the Monge-Kantorovich distance between pairs of solutions, possibly with some judicious cost function, decays: heat equation, Fokker-Planck equation, heat equation with varying coefficients, fractional heat equation with varying coefficients, homogeneous Boltzmann equation for Maxwell molecules, and some nonlinear integro-differential equations arising in neurosciences. We always use the same method, that consists in building a coupling between two solutions. This amounts to solve a well-chosen PDE posed on the Euclidian square of the physical space, i.e. doubling the variables. Finally, although the above method fails, we recall a simple idea to treat the case of the porous media equation. We also introduce another method based on the dual Monge-Kantorovich problem.


title: Polygamy relations of multipartite entanglement beyond qubits

abstract: We investigate the polygamy relations related to the concurrence of assistance for any multipartite pure states. General polygamy inequalities given by the $\alpha$th $(0\leq \alpha\leq 2)$ power of concurrence of assistance is first presented for multipartite pure states in arbitrary-dimensional quantum systems. We further show that the general polygamy inequalities can even be improved to be tighter inequalities under certain conditions on the assisted entanglement of bipartite subsystems. Based on the improved polygamy relations, lower bound for distribution of bipartite entanglement is provided in a multipartite system. Moreover, the $\beta$th ($0\leq \beta \leq 1$) power of polygamy inequalities are obtained for the entanglement of assistance as a by-product, which are shown to be tighter than the existing ones. A detailed example is presented.


title: Lifespan of semilinear generalized Tricomi equation with Strauss type exponent

abstract: In this paper, we consider the blow-up problem of semilinear generalized Tricomi equation. Two blow-up results with lifespan upper bound are obtained under subcritical and critical Strauss type exponent. In the subcritical case, the proof is based on the test function method and the iteration argument. In the critical case, an iteration procedure with the slicing method is employed. This approach has been successfully applied to the critical case of semilinear wave equation with perturbed Laplacian or the damped wave equation of scattering damping case. The present work gives its application to the generalized Tricomi equation.


title: Relativistic dispersion relation and putative metric structure in noncommutative phase-space

abstract: The deformation of the relativistic dispersion relation caused by noncommutative (NC) Quantum Mechanics (QM) is studied using the extended phase-space formalism. The introduction of the additional commutation relations induces Lorentz invariance violation. It is shown that this deformation does not affect the propagation speed of free massless particles. From the deformation of the dispersion relation for massless particles, gamma ray burst data is used to establish an upper bound on the noncommutative parameter, $\eta$, namely $\sqrt{\eta} \lesssim 10^{-12} \,\mathrm{eV/c}$. Additionally, a putative metric structure for the noncommutative phase-space is discussed.


title: Scale Dependence of Nucleon-Nucleon Potentials

abstract: The scale-dependence of the nucleon-nucleon interaction, which in recent years has been extensively analysed within the context of chiral effective field theory, is, in fact, inherent in any potential models constrained by a fit to scattering data. A comparison between a purely phenomenological potential and local interactions derived from chiral effective field theory suggests that--thanks to the ability to describe nucleon-nucleon scattering at higher energies, as well as the deuteron momentum distribution extracted from electro-disintegration data--phenomenological potentials are best suited for the description of nuclear dynamics at the scale relevant to neutron star matter.


title: Transverse instability in the "light sail" ion acceleration

abstract: Acceleration of ultrathin plasma foils by laser radiation pressure promises compact alternatives to the conventional ion accelerators. It was shown, that a major showstopper for such schemes is a strong transverse instability, which develops the surface ripples, and is often attributed to the Rayleigh-Taylor (RT) type. However, simulations indicate, that these perturbations develop the features, that cannot be consistently explained by the RT mechanism. Here we develop a three-dimensional (3D) theory of this instability, which shows that its linear stage is mainly driven by strong electron-ion coupling, while the RT contribution is actually weak. Our model provides the instability spectral structure and its growth rate, that agrees with the large scale 3D particle-in-cell simulations. Numerical modeling shows, that target destruction results from a rapid plasma heating induced by the instability field. Possible paths to instability mitigation are discussed.


title: Superactivation of monogamy relations for nonadditive quantum correlation measures

abstract: We investigate the general monogamy and polygamy relations satisfied by quantum correlation measures. We show that there exist two real numbers $\alpha$ and $\beta$ such that for any quantum correlation measure $Q$, $Q^x$ is monogamous if $x\geq \alpha$ and polygamous if $0\leq x\leq \beta$ for a given multipartite state $\rho$. For $\beta <x<\alpha$, we show that the monogamy relation can be superactivated by finite $m$ copies $\rho^{\otimes m}$ of $\rho$ for nonadditive correlation measures. As a detailed example, we use the negativity as the quantum correlation measure to illustrate such superactivation of monogamy properties. A tighter monogamy relation is presented at last.


title: Dictionary Learning for Two-Dimensional Kendall Shapes

abstract: We propose a novel sparse dictionary learning method for planar shapes in the sense of Kendall, namely configurations of landmarks in the plane considered up to similitudes. Our shape dictionary method provides a good trade-off between algorithmic simplicity and faithfulness with respect to the nonlinear geometric structure of Kendall's shape space. Remarkably, it boils down to a classical dictionary learning formulation modified using complex weights. Existing dictionary learning methods extended to nonlinear spaces either map the manifold to a reproducing kernel Hilbert space or to a tangent space. The first approach is unnecessarily heavy in the case of Kendall's shape space and causes the geometrical understanding of shapes to be lost, while the second one induces distortions and theoretical complexity. Our approach does not suffer from these drawbacks. Instead of embedding the shape space into a linear space, we rely on the hyperplane of centered configurations, including pre-shapes from which shapes are defined as rotation orbits. In this linear space, the dictionary atoms are scaled and rotated using complex weights before summation. Furthermore, our formulation is more general than Kendall's original one: it applies to discretely-defined configurations of landmarks as well as continuously-defined interpolating curves. We implemented our algorithm by adapting the method of optimal directions combined to a Cholesky-optimized order recursive matching pursuit. An interesting feature of our shape dictionary is that it produces visually realistic atoms, while guaranteeing reconstruction accuracy. Its efficiency can mostly be attributed to a clear formulation of the framework with complex numbers. We illustrate the strong potential of our approach for the characterization of datasets of shapes up to similitudes and the analysis of patterns in deforming 2D shapes.


title: An agglomeration-based massively parallel non-overlapping additive Schwarz preconditioner for high-order discontinuous Galerkin methods on polytopic grids

abstract: In this article we design and analyze a class of two-level non-overlapping additive Schwarz preconditioners for the solution of the linear system of equations stemming from discontinuous Galerkin discretizations of second-order elliptic partial differential equations on polytopic meshes. The preconditioner is based on a coarse space and a non-overlapping partition of the computational domain where local solvers are applied in parallel. In particular, the coarse space can potentially be chosen to be non-embedded with respect to the finer space; indeed it can be obtained from the fine grid by employing agglomeration and edge coarsening techniques. We investigate the dependence of the condition number of the preconditioned system with respect to the diffusion coefficient and the discretization parameters, i.e., the mesh size and the polynomial degree of the fine and coarse spaces. Numerical examples are presented which confirm the theoretical bounds.


title: Two-Loop ${\cal O}(\alpha_t^2)$ Corrections to the Neutral Higgs Boson Masses in the CP-Violating NMSSM

abstract: We present our calculation of the two-loop corrections of ${\cal O}(\alpha_t^2)$ to the neutral Higgs boson masses of the CP-violating Next-to-Minimal Supersymmetric extension of the Standard Model (NMSSM). The calculation is performed in the Feynman diagrammatic approach in the gaugeless limit at vanishing external momentum. We apply a mixed $\overline{\mathrm{DR}}$-on-shell (OS) renormalization scheme for the NMSSM input parameters. Furthermore, we exploit a $\overline{\mathrm{DR}}$ as well as an OS renormalization in the top/stop sector. The corrections are implemented in the Fortran code NMSSMCALC for the calculation of the Higgs spectrum both in the CP-conserving and CP-violating NMSSM. The code also provides the Higgs boson decays including the state-of-the-art higher-order corrections. The corrections computed in this work improve the already available corrections in NMSSMCALC which are the full one-loop corrections without any approximation and the two-loop ${\cal O}(\alpha_t \alpha_s)$ corrections in the gaugeless limit and at vanishing external momentum. Depending on the chosen parameter point, we find that the ${\cal O}(\alpha_t \alpha_s + \alpha_t^2)$ corrections add about 4-7% to the one-loop mass of the SM-like Higgs boson for $\overline{\mathrm{DR}}$ renormalization in the top/stop sector and they reduce the mass by about 6-9% if OS renormalization is applied. For an estimate of the theoretical uncertainty we vary the renormalization scale and change the renormalization scheme and show that care has to be taken in the corresponding interpretation.


title: Scaling up the randomized gradient-free adversarial attack reveals overestimation of robustness using established attacks

abstract: Modern neural networks are highly non-robust against adversarial manipulation. A significant amount of work has been invested in techniques to compute lower bounds on robustness through formal guarantees and to build provably robust models. However, it is still difficult to get guarantees for larger networks or robustness against larger perturbations. Thus attack strategies are needed to provide tight upper bounds on the actual robustness. We significantly improve the randomized gradient-free attack for ReLU networks [9], in particular by scaling it up to large networks. We show that our attack achieves similar or significantly smaller robust accuracy than state-of-the-art attacks like PGD or the one of Carlini and Wagner, thus revealing an overestimation of the robustness by these state-of-the-art methods. Our attack is not based on a gradient descent scheme and in this sense gradient-free, which makes it less sensitive to the choice of hyperparameters as no careful selection of the stepsize is required.


title: A General Framework for Endowment Effects in Combinatorial Markets

abstract: The endowment effect, coined by Nobel Laureate Richard Thaler, posits that people tend to inflate the value of items they own. This bias was studied, both theoretically and empirically, with respect to a single item. Babaioff et al. [EC'18] took a first step at extending this study beyond a single item. They proposed a specific formulation of the endowment effect in combinatorial settings, and showed that equilibrium existence with respect to the endowed valuations extends from gross substitutes to submodular valuations, but provably fails to extend to XOS valuations. Extending the endowment effect to combinatorial settings can take different forms. In this work, we devise a framework that captures a space of endowment effects, upon which we impose a partial order, which preserves endowment equilibrium existence. Within this framework, we provide existence and welfare guarantees for endowment equilibria corresponding to various endowment effects. Our main results are the following: (1) For markets with XOS valuations, we introduce an endowment effect that is stronger than that of Babaioff et al., for which an endowment equilibrium is guaranteed to exist and gives at least half of the optimal welfare. Moreover, this equilibrium can be reached via a variant of the flexible ascent auction. (2) For markets with arbitrary valuations, we show that bundling leads to a sweeping positive result. In particular, if items can be prepacked into indivisible bundles, there always exists an endowment equilibrium with optimal welfare. Moreover, we provide a polynomial algorithm that given an arbitrary allocation $S$, computes an endowment equilibrium with the same welfare guarantee as in $S$.


title: Foundations and their practical implications for the constitutive coefficients of poromechanical dual-continuum models

abstract: A dual-continuum model can offer a practical approach to understanding first-order behaviours of poromechanically coupled multiscale systems. To close the governing equations, constitutive equations with models to calculate effective constitutive coefficients are required. Several coefficient models have been proposed within the literature. However, a holistic overview of the different modelling concepts is still missing. To address this we first compare and contrast the dominant models existing within the literature. In terms of the constitutive relations themselves, early relations were indirectly postulated that implicitly neglected the effect of the mechanical interaction arising between continuum pressures. Further, recent users of complete constitutive systems that include inter-continuum pressure coupling have explicitly neglected these couplings as a means of providing direct relations between composite and constituent properties, and to simplify coefficient models. Within the framework of micromechanics, we show heuristically that these explicit decouplings are in fact coincident with bounds on the effective parameters themselves. Depending on the formulation, these bounds correspond to end-member states of isostress or isostrain. We show the impacts of using constitutive coefficient models, decoupling assumptions and parameter bounds on poromechanical behaviours using analytical solutions for a 2D model problem. Based on the findings herein, we offer recommendations for how and when to use different coefficient modelling concepts.


title: The Effect of Mobility on Delayed Data Offloading

abstract: Delayed offloading is a widely accepted solution for mobile users to offload their traffic through Wi-Fi when they are moving in urban areas. However, delayed offloading enhances offloading efficiency at the expense of delay performance. Previous works mainly focus on the improvement of offloading efficiency while keeping delay performance in an acceptable region. In this paper, we study the impact of the user mobility on delayed data offloading in respect to the tradeoff between offloading efficiency and delay performance. We model a mobile terminal with delayed data offloading as an M/MMSP/1 queuing system with three service states. To be practical, we consider the feature of currently commercial mobile terminals in our analysis. Our analytical result shows that the mobility of the users can reduce the queueing delay incurred by the delayed offloading, and suggests that delayed offloading strategies can be optimized according to the mobility of the terminals once the delay requirement is given.


title: Neutrinos and gamma rays from long-lived mediator decays in the Sun

abstract: We investigate a scenario where dark matter (DM) particles can be captured and accumulate in the Sun, and subsequently annihilate into a pair of long-lived mediators. These mediators can decay further out in the Sun or outside of the Sun. Compared to the standard scenario where DM particles annihilate directly into Standard Model particles close to the solar core, here we also obtain fluxes of gamma rays and charged cosmic rays. We simulate this scenario using a full three-dimensional model of the Sun, and include interactions and neutrino oscillations. In particular, we perform a model-independent study of the complementarity between neutrino and gamma ray fluxes by comparing the recent searches from IceCube, Super-Kamiokande, Fermi-LAT, ARGO and HAWC. We find that the resulting neutrino fluxes are significantly higher at high energy when the mediators decay further out in the Sun. We also find that gamma ray searches place stronger constraints than neutrino searches on these models even in cases where the mediators decay mainly inside the Sun, except in the approximately inner 10% of the Sun where neutrino searches are more powerful. We present our results in a model-independent manner and release a new version of the WimpSim code that can be used to simulate this scenario for arbitrary mediator models.


title: Quantum aspects of antisymmetric tensor field with spontaneous Lorentz violation

abstract: We study the quantization of a simple model of antisymmetric tensor field with spontaneous Lorentz violation in curved spacetime. We evaluate the 1-loop corrections at first order of metric perturbation, using a general covariant effective action approach. We revisit the issue of quantum equivalence, and find that it holds for non-Lorentz-violating modes but breaks down for Lorentz violating modes.


title: Energy-Efficient Power Control in Cell-Free and User-Centric Massive MIMO at Millimeter Wave

abstract: In a cell-free massive MIMO architecture a very large number of distributed access points simultaneously and jointly serves a much smaller number of mobile stations; a variant of the cell-free technique is the user-centric approach, wherein each access point just serves a reduced set of mobile stations. This paper introduces and analyzes the cell-free and user-centric architectures at millimeter wave frequencies, considering a training-based channel estimation phase, and the downlink and uplink data transmission phases. First of all, a multiuser clustered millimeter wave channel model is introduced in order to account for the correlation among the channels of nearby users; second, an uplink multiuser channel estimation scheme is described along with low-complexity hybrid analog/digital beamforming architectures. Third, the non-convex problem of power allocation for downlink global energy efficiency maximization is addressed. Interestingly, in the proposed schemes no channel estimation is needed at the mobile stations, and the beamforming schemes used at the mobile stations are channel-independent and have a very simple structure. Numerical results show the benefits granted by the power control procedure, that the considered architectures are effective, and permit assessing the loss incurred by the use of the hybrid beamformers and by the channel estimation errors.


title: A Method for Convex Black-Box Integer Global Optimization

abstract: We study the problem of minimizing a convex function on a nonempty, finite subset of the integer lattice when the function cannot be evaluated at noninteger points. We propose a new underestimator that does not require access to (sub)gradients of the objective but, rather, uses secant linear functions that interpolate the objective function at previously evaluated points. These linear mappings are shown to underestimate the objective in disconnected portions of the domain. Therefore, the union of these conditional cuts provides a nonconvex underestimator of the objective. We propose an algorithm that alternates between updating the underestimator and evaluating the objective function. We prove that the algorithm converges to a global minimum of the objective function on the feasible set. We present two approaches for representing the underestimator and compare their computational effectiveness. We also compare implementations of our algorithm with existing methods for minimizing functions on a subset of the integer lattice. We discuss the difficulty of this problem class and provide insights into why a computational proof of optimality is challenging even for moderate problem sizes.


title: Does My Rebuttal Matter? Insights from a Major NLP Conference

abstract: Peer review is a core element of the scientific process, particularly in conference-centered fields such as ML and NLP. However, only few studies have evaluated its properties empirically. Aiming to fill this gap, we present a corpus that contains over 4k reviews and 1.2k author responses from ACL-2018. We quantitatively and qualitatively assess the corpus. This includes a pilot study on paper weaknesses given by reviewers and on quality of author responses. We then focus on the role of the rebuttal phase, and propose a novel task to predict after-rebuttal (i.e., final) scores from initial reviews and author responses. Although author responses do have a marginal (and statistically significant) influence on the final scores, especially for borderline papers, our results suggest that a reviewer's final score is largely determined by her initial score and the distance to the other reviewers' initial scores. In this context, we discuss the conformity bias inherent to peer reviewing, a bias that has largely been overlooked in previous research. We hope our analyses will help better assess the usefulness of the rebuttal phase in NLP conferences.


title: Out-of-equilibrium operation of a quantum heat engine: The cost of thermal coupling control

abstract: Real quantum heat engines lack the separation of time and length scales that is characteristic for classical engines. They must be understood as open quantum systems in non-equilibrium with time-controlled coupling to thermal reservoirs as integral part. Here, we present a systematic approach to describe a broad class of engines and protocols beyond conventional weak coupling treatments starting from a microscopic modeling. For the four stroke Otto engine the full dynamical range down to low temperatures is explored and the crucial role of the work associated with the coupling/decoupling to/from reservoirs in the energy balance is revealed. Quantum correlations turn out to be instrumental to enhance the efficiency which opens new ways for optimal control techniques.


title: A class of stochastic products on the convex set of quantum states

abstract: We introduce the notion of stochastic product as a binary operation on the convex set of quantum states (the density operators) that preserves the convex structure, and we investigate its main consequences. We consider, in particular, stochastic products that are covariant wrt a symmetry action of a locally compact group. We then construct an interesting class of group-covariant, associative stochastic products, the so-called twirled stochastic products. Every binary operation in this class is generated by a triple formed by a square integrable projective representation of a locally compact group, by a probability measure on that group and by a fiducial density operator acting in the carrier Hilbert space of the representation. The salient properties of such a product are studied. It is argued, in particular, that, extending this binary operation from the density operators to the whole Banach space of trace class operators, this space becomes a Banach algebra, a so-called twirled stochastic algebra. This algebra is shown to be commutative in the case where the relevant group is abelian. In particular, the commutative stochastic products generated by the Weyl system are treated in detail. Finally, the physical interpretation of twirled stochastic products and various interesting connections with the literature are discussed.


title: Large Deviations of Bivariate Gaussian Extrema

abstract: We establish sharp tail asymptotics for component-wise extreme values of bivariate Gaussian random vectors with arbitrary correlation between the components. We consider two scaling regimes for the tail event in which we demonstrate the existence of a restricted large deviations principle, and identify the unique rate function associated with these asymptotics. Our results identify when the maxima of both coordinates are typically attained by two different vs. the same index, and how this depends on the correlation between the coordinates of the bivariate Gaussian random vectors. Our results complement a growing body of work on the extremes of Gaussian processes. The results are also relevant for steady-state performance and simulation analysis of networks of infinite server queues.


title: Non-parametric Archimedean generator estimation with implications for multiple testing

abstract: In multiple testing, the family-wise error rate can be bounded under some conditions by the copula of the test statistics. Assuming that this copula is Archimedean, we consider two non-parametric Archimedean generator estimators. More specifically, we use the non-parametric estimator from Genest et al. (2011) and a slight modification thereof. In simulations, we compare the resulting multiple tests with the Bonferroni test and the multiple test derived from the true generator as baselines.


title: Jaccard/Tanimoto similarity test and estimation methods

abstract: Binary data are used in a broad area of biological sciences. Using binary presence-absence data, we can evaluate species co-occurrences that help elucidate relationships among organisms and environments. To summarize similarity between occurrences of species, we routinely use the Jaccard/Tanimoto coefficient, which is the ratio of their intersection to their union. It is natural, then, to identify statistically significant Jaccard/Tanimoto coefficients, which suggest non-random co-occurrences of species. However, statistical hypothesis testing using this similarity coefficient has been seldom used or studied. We introduce a hypothesis test for similarity for biological presence-absence data, using the Jaccard/Tanimoto coefficient. Several key improvements are presented including unbiased estimation of expectation and centered Jaccard/Tanimoto coefficients, that account for occurrence probabilities. We derived the exact and asymptotic solutions and developed the bootstrap and measurement concentration algorithms to compute statistical significance of binary similarity. Comprehensive simulation studies demonstrate that our proposed methods produce accurate p-values and false discovery rates. The proposed estimation methods are orders of magnitude faster than the exact solution. The proposed methods are implemented in an open source R package called jaccard (https://cran.r-project.org/package=jaccard). We introduce a suite of statistical methods for the Jaccard/Tanimoto similarity coefficient, that enable straightforward incorporation of probabilistic measures in analysis for species co-occurrences. Due to their generality, the proposed methods and implementations are applicable to a wide range of binary data arising from genomics, biochemistry, and other areas of science.


title: Dynamic Control of Stochastic Evolution: A Deep Reinforcement Learning Approach to Adaptively Targeting Emergent Drug Resistance

abstract: The challenge in controlling stochastic systems in which low-probability events can set the system on catastrophic trajectories is to develop a robust ability to respond to such events without significantly compromising the optimality of the baseline control policy. This paper presents CelluDose, a stochastic simulation-trained deep reinforcement learning adaptive feedback control prototype for automated precision drug dosing targeting stochastic and heterogeneous cell proliferation. Drug resistance can emerge from random and variable mutations in targeted cell populations; in the absence of an appropriate dosing policy, emergent resistant subpopulations can proliferate and lead to treatment failure. Dynamic feedback dosage control holds promise in combatting this phenomenon, but the application of traditional control approaches to such systems is fraught with challenges due to the complexity of cell dynamics, uncertainty in model parameters, and the need in medical applications for a robust controller that can be trusted to properly handle unexpected outcomes. Here, training on a sample biological scenario identified single-drug and combination therapy policies that exhibit a 100% success rate at suppressing cell proliferation and responding to diverse system perturbations while establishing low-dose no-event baselines. These policies were found to be highly robust to variations in a key model parameter subject to significant uncertainty and unpredictable dynamical changes.


title: An open microscopic model of heat conduction: evolution and non-equilibrium stationary states

abstract: We consider a one-dimensional chain of coupled oscillators in contact at both ends with heat baths at different temperatures, and subject to an external force at one end. The Hamiltonian dynamics in the bulk is perturbed by random exchanges of the neighbouring momenta such that the energy is locally conserved. We prove that in the stationary state the energy and the volume stretch profiles, in large scale limit, converge to the solutions of a diffusive system with Dirichlet boundary conditions. As a consequence the macroscopic temperature stationary profile presents a maximum inside the chain higher than the thermostats temperatures, as well as the possibility of uphill diffusion (energy current against the temperature gradient). Finally, we are also able to derive the non-stationary macroscopic coupled diffusive equations followed by the energy and volume stretch profiles.


title: Convergence to normal forms of integrable PDEs

abstract: In an infinite dimensional Hilbert space we consider a family of commuting analytic vector fields vanishing at the origin and which are nonlinear perturbations of some fundamental linear vector fields. We prove that one can construct by the method of Poincar\'e normal form a local analytic coordinate transformation near the origin transforming the family into a normal form. The result applies to the KdV and NLS equations and to the Toda lattice with periodic boundary conditions. One gets existence of Birkhoff coordinates in a neighbourhood of the origin. The proof is obtained by directly estimating, in an iterative way, the terms of the Poincar\'e normal form and of the transformation to it, through a rapid convergence algorithm.


title: Towards predictive band gaps for halide perovskites: Lessons from one-shot and eigenvalue self-consistent GW

abstract: Halide perovskites constitute a chemically-diverse class of crystals with great promise as photovoltaic absorber materials, featuring band gaps between about 1 and 3.5 eV depending on composition. Their diversity calls for a general computational approach to predicting their band gaps. However, such an approach is still lacking. Here, we use density functional theory (DFT) and many-body perturbation theory within the GW approximation to compute the quasiparticle or fundamental band gap of a set of ten representative halide perovskites: CH$_3$NH$_3$PbI$_3$ (MAPbI$_3$), MAPbBr$_3$, CsSnBr$_3$, (MA)$_2$BiTlBr$_6$, Cs$_2$TlAgBr$_6$, Cs$_2$TlAgCl$_6$, Cs$_2$BiAgBr$_6$, Cs$_2$InAgCl$_6$, Cs$_2$SnBr$_6$, and Cs$_2$Au$_2$I$_6$. Comparing with recent measurements, we find that a standard generalized gradient exchange-correlation functional can significantly underestimate the experimental band gaps of these perovskites, particularly in cases with strong spin-orbit coupling (SOC) and highly dispersive band edges, to a degree that varies with composition. We show that these nonsystematic errors are inherited by one-shot G$_0$W$_0$ and eigenvalue self-consistent GW$_0$ calculations, demonstrating that semilocal DFT starting points are insufficient for MAPbI$_3$, MAPbBr$_3$, CsSnBr$_3$, (MA)$_2$BiTlBr$_6$, Cs$_2$TlAgBr$_6$, and Cs$_2$TlAgCl$_6$. On the other hand, we find that DFT with hybrid functionals leads to an improved starting point and GW$_0$ results in better agreement with experiment for these perovskites. Our results suggest that GW$_0$ with hybrid functional-based starting points are promising for predicting band gaps of systems with large SOC and dispersive bands in this technologically important class of semiconducting crystals.


title: Finite element based Green's function integral equation for modelling light scattering

abstract: We revisit the volume Green's function integral equation for modelling light scattering with discretization strategies as well as numerical integration recipes borrowed from finite element method. The merits of introducing finite element techniques into Green's function integral equation are apparent. Firstly, the finite element discretization provides a much better geometric approximation of the scatters, compared with that of the conventional discretization method using staircase approximation. Secondly, the accuracy of numerical integral inside one element associated with all different types of Green's function integral equations can be greatly improved by introducing quadrature rules. Within the standard framework of Green's function integral equation, we seamlessly introduce finite element techniques into the Green's function integral equation by introducing the auxiliary variables that confines the singular integrand inside each element, leading to a better and more flexible approximation of the geometry of the scatters and a more accurate numerical integral. We then illustrate the advantages of our finite element based Green's function integral equation method via a few concrete examples in modelling light scattering by optically large and complex scatters.


title: On the intersection of principal ideals in function spaces

abstract: We give a method for constructing principal ideals in spaces of real functions whose intersection is not a finitely generated ideal. This problem is also discussed for spaces of holomorphic functions.


title: Non-recursive equivalent of the conjugate gradient method without the need to restart

abstract: A simple alternative to the conjugate gradient(CG) method is presented; this method is developed as a special case of the more general iterated Ritz method (IRM) for solving a system of linear equations. This novel algorithm is not based on conjugacy, i.e. it is not necessary to maintain overall orthogonalities between various vectors from distant steps. This method is more stable than CG, and restarting techniques are not required. As in CG, only one matrix-vector multiplication is required per step with appropriate transformations. The algorithm is easily explained by energy considerations without appealing to the A-orthogonality in n-dimensional space. Finally, relaxation factor and preconditioning-like techniques can be adopted easily.


title: Binary LCD Codes from $\mathbb{Z}_2\mathbb{Z}_2[u]$

abstract: Linear complementary dual (LCD) codes over finite fields are linear codes satisfying $C\cap C^{\perp}=\{0\}$. We generalize the LCD codes over finite fields to $\mathbb{Z}_2\mathbb{Z}_2[u]$-LCD codes over the ring $\mathbf{Z}_2\times(\mathbf{Z}_2+u\mathbf{Z}_2)$. Under suitable conditions, $\mathbb{Z}_2\mathbb{Z}_2[u]$-linear codes that are $\mathbb{Z}_2\mathbb{Z}_2[u]$-LCD codes are characterized. We then prove that the binary image of a $\mathbb{Z}_2\mathbb{Z}_2[u]$-LCD code is a binary LCD code. Finally, by means of these conditions, we construct new binary LCD codes using $\mathbb{Z}_2\mathbb{Z}_2[u]$-LCD codes, most of which have better parameters than current binary LCD codes available.


title: Minimizing Classification Energy of Binarized Neural Network Inference for Wearable Devices

abstract: In this paper, we propose a low-power hardware for efficient deployment of binarized neural networks (BNNs) that have been trained for physiological datasets. BNNs constrain weights and feature-map to 1 bit, can pack in as many 1-bit weights as the width of a memory entry provides, and can execute multiple multiply-accumulate (MAC) operations with one fused bit-wise xnor and population-count instruction over aligned packed entries. Our proposed hardware is scalable with the number of processing engines (PEs) and the memory width, both of which adjustable for the most energy efficient configuration given an application. We implement two real case studies including Physical Activity Monitoring and Stress Detection on our platform, and for each case study on the target platform, we seek the optimal PE and memory configurations. Our implementation results indicate that a configuration with a good choice of memory width and number of PEs can be optimized up to 4x and 2.5x in energy consumption respectively on Artix-7 FPGA and on 65nm CMOS ASIC implementation. We also show that, generally, wider memories make more efficient BNN processing hardware. To further reduce the energy, we introduce Pool-Skipping technique that can skip at least 25% of the operations that are accompanied by a Max-Pool layer in BNNs, leading to a total of 22% operation reduction in the Stress Detection case study. Compared to the related works using the same case studies on the same target platform and with the same classification accuracy, our hardware is respectively 4.5x and 250x more energy efficient for the Stress Detection on FPGA and Physical Activity Monitoring on ASIC, respectively.


title: Pentagonal Subdivision

abstract: We develop a theory of simple pentagonal subdivision of quadrilateral tilings, on orientable as well as non-orientable surfaces. Then we apply the theory to answer questions related to pentagonal tilings of surfaces, especially those related to pentagonal or double pentagonal subdivisions.


title: Determining Fundamental Supply and Demand Curves in a Wholesale Electricity Market

abstract: In this paper we develop a novel method of wholesale electricity market modeling. Our optimization-based model decomposes wholesale supply and demand curves into buy and sell orders of individual market participants. In doing so, the model detects and removes arbitrage orders. As a result, we construct an innovative fundamental model of a wholesale electricity market. First, our fundamental demand curve has a unique composition. The demand curve lies in between the wholesale demand curve and a perfectly inelastic demand curve. Second, our fundamental supply and demand curves contain only actual (i.e. non-arbitrage) transactions with physical assets on buy and sell sides. Third, these transactions are designated to one of the three groups of wholesale electricity market participants: retailers, suppliers, or utility companies. To evaluate the performance of our model, we use the German wholesale market data. Our fundamental model yields a more precise approximation of the actual load values than a model with perfectly inelastic demand. Moreover, we conduct a study of wholesale demand elasticities. The obtained conclusions regarding wholesale demand elasticity are consistent with the existing academic literature.


title: Euler's difference table and decomposition of tensor powers of adjoint representation of $A_n$ Lie algebra

abstract: By using of Euler's difference table, we obtain simple explicit formula for the decomposition of $k$-th tensor power of adjoint representation of $A_n$ Lie algebra at $2 k \le{n+1}$.


title: Signal Demodulation with Machine Learning Methods for Physical Layer Visible Light Communications: Prototype Platform, Open Dataset and Algorithms

abstract: In this paper, we investigate the design and implementation of machine learning (ML) based demodulation methods in the physical layer of visible light communication (VLC) systems. We build a flexible hardware prototype of an end-to-end VLC system, from which the received signals are collected as the real data. The dataset is available online, which contains eight types of modulated signals. Then, we propose three ML demodulators based on convolutional neural network (CNN), deep belief network (DBN), and adaptive boosting (AdaBoost), respectively. Specifically, the CNN based demodulator converts the modulated signals to images and recognizes the signals by the image classification. The proposed DBN based demodulator contains three restricted Boltzmann machines (RBMs) to extract the modulation features. The AdaBoost method includes a strong classifier that is constructed by the weak classifiers with the k-nearest neighbor (KNN) algorithm. These three demodulators are trained and tested by our online open dataset. Experimental results show that the demodulation accuracy of the three data-driven demodulators drops as the transmission distance increases. A higher modulation order negatively influences the accuracy for a given transmission distance. Among the three ML methods, the AdaBoost modulator achieves the best performance.


title: Irrelevant speech effect in open plan offices: A laboratory study

abstract: It seems now accepted that speech noise in open plan offices is the main source of discomfort for employees. This work follows a series of studies conducted at INRS France and INSA Lyon based on Hongisto's theoretical model (2005) linking the Decrease in Performance (DP) and the Speech Transmission Index (STI). This model predicts that for STI values between 0.7 and 1, which means a speech signal close to 100% of intelligibility, the DP remains constant at about 7%. The experiment that we carried out aimed to gather more information about the relation between DP and STI, varying the STI value up to 0.9. Fifty-five subjects between 25-59 years old participated in the experiment. First, some psychological parameters were observed in order to better characterize the inter-subjects variability. Then, subjects performed a Working-Memory (WM) task in silence and in four different sound conditions (STI from 0.25 to 0.9). This task was customized by an initial measure of mnemonic span so that two different cognitive loads (low/high) were equally defined for each subject around their span value. Subjects also subjectively evaluated their mental load and discomfort at the end of each WM task, for each noise condition. Results show a significant effect of the STI on the DP, the mental load and the discomfort. Furthermore, a significant correlation was found between the age of subjects and their performance during the WM task. This result was confirmed by a cluster analysis that enabled us to separate the subjects on two different groups, one group of younger and more efficient subjects and one group of older and less efficient subjects. General results did not show any increase of DP for the highest STI values, so the "plateau" hypothesis of Hongisto's model cannot be rejected on the basis of this experiment.


title: Physical bounds and radiation modes for MIMO antennas

abstract: Modern antenna design for communication systems revolves around two extremes: devices, where only a small region is dedicated to antenna design, and base stations, where design space is not shared with other components. Both imply different restrictions on what performance is realizable. In this paper properties of both ends of the spectrum in terms of MIMO performance is investigated. For electrically small antennas the size restriction dominates the performance parameters. The regions dedicated to antenna design induce currents on the rest of the device. Here a method for studying fundamental bound on spectral efficiency of such configurations is presented. This bound is also studied for $N$-degree MIMO systems. For electrically large structures the number of degrees of freedom available per unit area is investigated for different shapes. Both of these are achieved by formulating a convex optimization problem for maximum spectral efficiency in the current density on the antenna. A computationally efficient solution for this problem is formulated and investigated in relation to constraining parameters, such as size and efficiency.


title: Experimental and numerical investigation of photoacoustic resonator for solid samples

abstract: The photoacoustic signal in a closed T-cell resonator is generated and measured using laser based photoacoustic spectroscopy. The signal is modelled using the amplitude mode expansion method, which is based on eigenmode expansion and introduction of losses in form of loss factors. The measurement reproduced almost all the calculated resonances from the numerical models with fairly good agreement. The cause of the differences between the measured and the simulated resonances are explained. In addition, the amplitude mode expansion simulation model is established as a quicker and computationally less demanding photoacoustic simulation alternative to the viscothermal model. The resonance frequencies obtained from the two models deviate by less than 1.8%. It was noted that the relative height of the amplitudes of the two models depended on the location of the antinodes within the resonator.


title: UU Aqr - No superhumps but variations on the time scale of days

abstract: Recently, brightness variations occurring on twice the accretion disk precession period in the old nova and permanent superhump system V603 Aql have been observed by Bruch & Cook (2018). In an attempt to detect a similar effect in other cataclysmic variables reported to contain permanent superhumps the novalike variable UU Aqr was observed during 11 nights in September 2018. While no traces of superhumps were seen in the data, rendering the quest for variations related to the disk precession period obsolete, the system exhibits regular variations with a period of ~4 days.


title: Network analyses of student engagement with on-line textbook problems

abstract: Problem solving in physics and mathematics have been characterized in terms of five phases by Schonfeld and these have previously been used to describe also online and blended behavior. We argue that expanding the use of server logs to make detailed categorizations of student actions can help increase knowledge about how students solve problems. We present a novel approach for analyzing server logs that relies on network analysis and principal component analysis. We use the approach to analyze student interactions with an online textbook that features physics problems. We find five 'components of behavioral structure': Complexity, Linear Length, Navigation, Mutuality, and Erraticism. Further, we find that problem solving sessions can be divided into three over-arching groups that differ in their Complexity and further into ten clusters that also differ on the other components. Analyzing typical sessions in each cluster, we find ten different behavioral structures,which we describe in terms of Schonfeld's phases. We suggest that further research integrates this approach with other methodological approaches to get a fuller picture of how learning strategies are employed by students in settings with online features.


title: Local Search for Fast Matrix Multiplication

abstract: Laderman discovered a scheme for computing the product of two 3x3 matrices using only 23 multiplications in 1976. Since then, some more such schemes were proposed, but it remains open how many there are and whether there exist schemes with fewer than 23 multiplications. In this paper we present two independent SAT-based methods for finding new schemes. Both methods allow computing a few hundred new schemes individually, and many thousands when combined. Local search SAT solvers outperform CDCL solvers consistently in this application.


title: Efficient Equilibration of Hard Spheres with Newtonian Event Chains

abstract: An important task in the simulation of hard spheres and other hard particles is structure prediction via equilibration. Event-driven molecular dynamics is efficient because its Newtonian dynamics equilibrates fluctuations with the speed of sound. Monte Carlo simulation is efficient if performed with correlated position updates in event chains. Here, we combine the core concepts of molecular dynamics and event chains into a new algorithm involving Newtonian event chains. Measurements of the diffusion coefficient, nucleation rate, and melting speed demonstrate that Newtonian event chains outperform other algorithms. Newtonian event chains scale well to large systems and can be extended to anisotropic hard particles without approximations.

categories: cond-mat.soft cond-mat.mtrl-sci cond-mat.stat-mech physics.chem-ph physics.comp-ph


title: Learning semantic sentence representations from visually grounded language without lexical knowledge

abstract: Current approaches to learning semantic representations of sentences often use prior word-level knowledge. The current study aims to leverage visual information in order to capture sentence level semantics without the need for word embeddings. We use a multimodal sentence encoder trained on a corpus of images with matching text captions to produce visually grounded sentence embeddings. Deep Neural Networks are trained to map the two modalities to a common embedding space such that for an image the corresponding caption can be retrieved and vice versa. We show that our model achieves results comparable to the current state-of-the-art on two popular image-caption retrieval benchmark data sets: MSCOCO and Flickr8k. We evaluate the semantic content of the resulting sentence embeddings using the data from the Semantic Textual Similarity benchmark task and show that the multimodal embeddings correlate well with human semantic similarity judgements. The system achieves state-of-the-art results on several of these benchmarks, which shows that a system trained solely on multimodal data, without assuming any word representations, is able to capture sentence level semantics. Importantly, this result shows that we do not need prior knowledge of lexical level semantics in order to model sentence level semantics. These findings demonstrate the importance of visual information in semantics.


title: Motion Deblurring with an Adaptive Network

abstract: In this paper, we address the problem of dynamic scene deblurring in the presence of motion blur. Restoration of images affected by severe blur necessitates a network design with a large receptive field, which existing networks attempt to achieve through simple increment in the number of generic convolution layers, kernel-size, or the scales at which the image is processed. However, increasing the network capacity in this manner comes at the expense of increase in model size and inference speed, and ignoring the non-uniform nature of blur. We present a new architecture composed of spatially adaptive residual learning modules that implicitly discover the spatially varying shifts responsible for non-uniform blur in the input image and learn to modulate the filters. This capability is complemented by a self-attentive module which captures non-local relationships among the intermediate features and enhances the receptive field. We then incorporate a spatiotemporal recurrent module in the design to also facilitate efficient video deblurring. Our networks can implicitly model the spatially-varying deblurring process, while dispensing with multi-scale processing and large filters entirely. Extensive qualitative and quantitative comparisons with prior art on benchmark dynamic scene deblurring datasets clearly demonstrate the superiority of the proposed networks via reduction in model-size and significant improvements in accuracy and speed, enabling almost real-time deblurring.


title: The Gauss quadrature for general linear functionals, Lanczos algorithm, and minimal partial realization

abstract: The concept of Gauss quadrature can be generalized to approximate linear functionals with complex moments. Following the existing literature, this survey will revisit such generalization. It is well known that the (classical) Gauss quadrature for positive definite linear functionals is connected with orthogonal polynomials, and with the (Hermitian) Lanczos algorithm. Analogously, the Gauss quadrature for linear functionals is connected with formal orthogonal polynomials, and with the non-Hermitian Lanczos algorithm with look-ahead strategy; moreover, it is related to the minimal partial realization problem. We will review these connections pointing out the relationships between several results established independently in related contexts. Original proofs of the Mismatch Theorem and of the Matching Moment Property are given by using the properties of formal orthogonal polynomials and the Gauss quadrature for linear functionals.


title: Multimaterial Heat Flow Verification

abstract: Multimaterial heat diffusion can be a challenging numerical problem when the material boundaries are misaligned with the numerical grid. Even when the boundaries start out aligned, they typically become misaligned through hydrodynamic motion. There are usually a number of methods for handling multimaterial cells in any given hydro code. One of the simplest methods is to replace the multimaterial cell by an average single-material cell whose heat capacity and conductivity are averages over the constituent materials. One can further refine this model by using either the arithmetic or harmonic averages, thereby providing two distinct (albeit naive) multimaterial models for the arithmetic and harmonic averages. More sophisticated models typically involve a surrogate mesh of some kind, as with the thin mesh and static condensation methods. In this paper, we perform rigorous code verification of the multiphysics hydrocode FLAG, including grid resolution studies. We employ a number of newly constructed 2D heat flow solutions that generalize the standard {\em planar sandwich} solution, and this paper offers a smorgasbord of exact solutions for heat flow verification. To perform the analyses and to produce the corresponding convergence plots, we employ the code verification tool ExactPack.


title: Lost in translation: Exposing hidden compiler optimization opportunities

abstract: Existing iterative compilation and machine-learning-based optimization techniques have been proven very successful in achieving better optimizations than the standard optimization levels of a compiler. However, they were not engineered to support the tuning of a compiler's optimizer as part of the compiler's daily development cycle. In this paper, we first establish the required properties which a technique must exhibit to enable such tuning. We then introduce an enhancement to the classic nightly routine testing of compilers which exhibits all the required properties, and thus, is capable of driving the improvement and tuning of the compiler's common optimizer. This is achieved by leveraging resource usage and compilation information collected while systematically exploiting prefixes of the transformations applied at standard optimization levels. Experimental evaluation using the LLVM v6.0.1 compiler demonstrated that the new approach was able to reveal hidden cross-architecture and architecture-dependent potential optimizations on two popular processors: the Intel i5-6300U and the Arm Cortex-A53-based Broadcom BCM2837 used in the Raspberry Pi 3B+. As a case study, we demonstrate how the insights from our approach enabled us to identify and remove a significant shortcoming of the CFG simplification pass of the LLVM v6.0.1 compiler.


title: Einstein-Born-Infeld gravastar models, dark matter and accretion mechanisms

abstract: Gravastar models have recently been proposed as an alternative to black holes, mainly to avoid the pro\-ble\-ma\-tic issues associated with event horizons and singularities. In this work, a regular variety of gravastar models within the context of Einstein-Born-Infeld (EBI) nonlinear electrodynamics are builded. These models presented here are truly regular in the sense that both the metric and its derivatives are continuous throughout space-time, contrary to other cases in the literature where matching conditions are necessary in the interior and exterior regions of the event horizon. We investigated the accretion process for spherically symmetric space-time geometries generated for a nonlinear electromagnetic field where the energy momentum tensor have the same form that an anisotropic fluid that is the general EBI case. We analyse this procedure using the most general static spherically symmetric metric ansatz. In this theoretical context, we examined the accretion process for specific sphe\-ri\-ca\-lly symmetric compact configuration obtaining the accretion rates and the accretion velocities during the process and the flow of the fluid around the black hole. In addition, we study the behaviour of the rate of change of the mass for each chosen metric.


title: Augmented Ultrasonic Data for Machine Learning

abstract: Flaw detection in non-destructive testing, especially in complex signals like ultrasonic data, has thus far relied heavily on the expertise and judgement of trained human inspectors. While automated systems have been used for a long time, these have mostly been limited to using simple decision automation, such as signal amplitude threshold. The recent advances in various machine learning algorithms have solved many similarly difficult classification problems, that have previously been considered intractable. For non-destructive testing, encouraging results have already been reported in the open literature, but the use of machine learning is still very limited in NDT applications in the field. Key issue hindering their use, is the limited availability of representative flawed data-sets to be used for training. In the present paper, we develop modern, very deep convolutional network to detect flaws from phased-array ultrasonic data. We make extensive use of data augmentation to enhance the initially limited raw data and to aid learning. The data augmentation utilizes virtual flaws - a technique, that has successfully been used in training human inspectors and is soon to be used in nuclear inspection qualification. The results from the machine learning classifier are compared to human performance. We show, that using sophisticated data augmentation, modern deep learning networks can be trained to achieve superhuman performance by significant margin.


title: Botnet fingerprinting method based on anomaly detection in SMTP conversations

abstract: The paper presents the results obtained during research on detection of unsolicited e-mails which are sent by botnets. The distinction from most of the existing solutions is the fact that the presented approach is based on the analysis of network traffic - the sequence and syntax of SMTP commands observed during email delivery process. The paper presents several improvements for detection of unsolicited email sources from different botnets (fingerprinting), which can be used during network forensic investigation.


title: Smoothed finite element method for stress intensity factor estimation: benefits and limitations

abstract: The aim of this study was to check how efficient can be smoothed finite element method (FEM) for solution of the linear fracture mechanics problems. Accuracy of stress intensity factor (SIF) computation were investigated using three types of smoothed FEM (namely ES-FEM, NS-FEM and $\alpha$-FEM). Two types of simple benchmark problems (uniaxial tension of the specimens with central and edge cracks) have been considered. SIF values were calculated by virtual crack extension and modified crack closure integral methods on almost uniform meshes. Influence of the mesh density and type of the method used for SIF determination were investigated too. Conclusions: 1) $\alpha$-FEM has the highest accuracy among all tested methods. 2) In the case of the simplest linear triangles, ES-FEM accuracy is same as in the case of traditional FEM when second order (quadratic) elements are used. 3) NS-FEM always overestimates SIF values. Unfortunately, solutions obtained using this method or $\alpha$-FEM contain unphysical oscillations of displacements and stress near the crack tip.


title: Studying the morphology of reionisation with the triangle correlation function of phases

abstract: We present a new statistical tool, called the triangle correlation function (TCF), inspired by the earlier work of Obreschkow et al. It is derived from the three-point correlation function and aims to probe the characteristic scale of ionized regions during the epoch of reionization from 21cm interferometric observations. Unlike most works, which focus on power spectrum, i.e. amplitude information, our statistic is based on the information we can extract from the phases of the Fourier transform of the ionization field. In this perspective, it may benefit from the well-known interferometric concept of closure phases. We find that this statistical estimator performs very well on simple ionization fields. For example, with well-defined fully ionized discs, there is a peaking scale, which we can relate to the radius of the ionized bubbles. We explore the robustness of the TCF when observational effects such as angular resolution and noise are considered. We also get interesting results on fields generated by more elaborate simulations such as 21CMFAST. Although the variety of sources and ionized morphologies in the early stages of the process make its interpretation more challenging, the nature of the signal can tell us about the stage of reionization. Finally, and in contrast to other bubble size distribution algorithms, we show that the TCF can resolve two different characteristic scales in a given map.


title: Zeros of partition function for Continuous Phase Transitions using cumulants

abstract: This paper explores the use of a cumulant method to determine the zeros of partition functions for continuous phase transitions. Unlike a first-order transition, with a uniform density of zeros near the transition point, a continuous transition is expected to show a power law dependence of the density with a nontrivial slope for the line of zeros. Different types of models and methods of generating cumulants are used as a testing ground for the method. These include exactly solvable DNA melting problem on hierarchical lattices, heterogeneous DNA melting with randomness in sequence, Monte Carlo simulations for the well-known square lattice Ising model. The method is applicable for closest zeros near the imaginary axis, as these are needed for dynamical quantum phase transitions. In all cases, the method is found to provide the basic information about the transition, and most importantly, avoids root finding methods.


title: Switching of magnetism via modifying phase shift of quantum-well states by tailoring the interface electronic structure

abstract: We demonstrate control of the magnetism of Pd(100) ultrathin films, which show d-electron quantum-well induced ferromagnetism, via modulation of the interface electronic state using density functional calculation. From an analysis based on the phase model, forming the Au/Pd(100) interface induces hybridization of the wave function of d-electron quantum-well states, and modulates the term of the scattering phase shift as a function of the reciprocal lattice point. In contrast, forming the Al interface, which has only s-electrons at the Fermi energy, cannot modify the scattering phase shift. Our finding indicates the possibility of modifying the phase shift by tailoring the interface electronic states using hybridization of the wave function, and this efficiently changes the density of states near the Fermi energy of Pd films, and the switching between paramagnetism and ferromagnetism occurs based on the condition for ferromagnetism (Stoner criterion).


title: Handling Anisotropic Conductivities in the EEG Forward Problem with a Symmetric Formulation

abstract: The electroencephalography (EEG) forward problem, the computation of the electric potential generated by a known electric current source configuration in the brain, is a key step of EEG source analysis. In this problem, it is often desired to model the anisotropic conductivity profiles of the skull and of the white matter. These profiles, however, cannot be handled by standard surface integral formulations and the use of volume finite elements is required. Leveraging on the representation theorem using an anisotropic fundamental solution, this paper proposes a modified symmetric formulation for solving the EEG forward problem by a surface integral equation which can take into account anisotropic conductivity profiles. A set of numerical results is presented to corroborate theoretical treatments and to show the impact of the proposed approach on both canonical and real case scenarios.


title: Analyzing Knowledge Graph Embedding Methods from a Multi-Embedding Interaction Perspective

abstract: Knowledge graph is a popular format for representing knowledge, with many applications to semantic search engines, question-answering systems, and recommender systems. Real-world knowledge graphs are usually incomplete, so knowledge graph embedding methods, such as Canonical decomposition/Parallel factorization (CP), DistMult, and ComplEx, have been proposed to address this issue. These methods represent entities and relations as embedding vectors in semantic space and predict the links between them. The embedding vectors themselves contain rich semantic information and can be used in other applications such as data analysis. However, mechanisms in these models and the embedding vectors themselves vary greatly, making it difficult to understand and compare them. Given this lack of understanding, we risk using them ineffectively or incorrectly, particularly for complicated models, such as CP, with two role-based embedding vectors, or the state-of-the-art ComplEx model, with complex-valued embedding vectors. In this paper, we propose a multi-embedding interaction mechanism as a new approach to uniting and generalizing these models. We derive them theoretically via this mechanism and provide empirical analyses and comparisons between them. We also propose a new multi-embedding model based on quaternion algebra and show that it achieves promising results using popular benchmarks. Source code is available on GitHub at https://github.com/tranhungnghiep/AnalyzeKGE.


title: Geometry for evolving topographies of light-responsive plastic sheets

abstract: Recently, topography change by illumination of pre-stretched, flat sheets covered in ink of optical density varying in-plane has been demonstrated by Mailen\textit{ et al}, Smart Materials and Structures, 2019. They reduce an analysis of the problem to one of metric change in the sheets in the thin limit, that is, to a question of geometry. We present the explicit form of the contraction field needed to produce the bowls these authors were interested in, using a method that can also yield the contraction field for more general desired, circularly-symmetric topography development. We give as examples the fields required for developing paraboloids and catenoids.


title: Fully Polarizable QM/Fluctuating Charge Approach to Two-Photon Absorption of Aqueous Solutions

abstract: We present the extension of the quantum/classical polarizable fluctuating charge model to the calculation of single residues of quadratic response functions, as required for the computational modeling of two-photon absorption cross-sections. By virtue of a variational formulation of the quantum/classical polarizable coupling, we are able to exploit an atomic orbital-based quasienergy formalism to derive the additional coupling terms in the response equations. Our formalism can be extended to the calculation of arbitrary order response functions and their residues. The approach has been applied to the challenging problem of one- and two-photon spectra of rhodamine 6G (R6G) in aqueous solution. Solvent effects on one- and two-photon spectra of R6G in aqueous solution have been analyzed by considering three different approaches, from a continuum (QM/PCM) to two QM/MM models (non-polarizable QM/TIP3P and polarizable QM/FQ). Both QM/TIP3P and QM/FQ simulated OPA and TPA spectra show that the inclusion of discrete water solvent molecules is essential to increase the agreement between theory and experiment. QM/FQ has been shown to give the best agreement with experiments.


title: Batched Sparse Matrix Multiplication for Accelerating Graph Convolutional Networks

abstract: Graph Convolutional Networks (GCNs) are recently getting much attention in bioinformatics and chemoinformatics as a state-of-the-art machine learning approach with high accuracy. GCNs process convolutional operations along with graph structures, and GPUs are used to process enormous operations including sparse-dense matrix multiplication (SpMM) when the graph structure is expressed as an adjacency matrix with sparse matrix format. However, the SpMM operation on small graph, where the number of nodes is tens or hundreds, hardly exploits high parallelism or compute power of GPU. Therefore, SpMM becomes a bottleneck of training and inference in GCNs applications. In order to improve the performance of GCNs applications, we propose new SpMM algorithm especially for small sparse matrix and Batched SpMM, which exploits high parallelism of GPU by processing multiple SpMM operations with single CUDA kernel. To the best of our knowledge, this is the first work of batched approach for SpMM. We evaluated the performance of the GCNs application on TSUBAME3.0 implementing NVIDIA Tesla P100 GPU, and our batched approach shows significant speedups of up to 1.59x and 1.37x in training and inference, respectively.


title: Structural Neural Encoders for AMR-to-text Generation

abstract: AMR-to-text generation is a problem recently introduced to the NLP community, in which the goal is to generate sentences from Abstract Meaning Representation (AMR) graphs. Sequence-to-sequence models can be used to this end by converting the AMR graphs to strings. Approaching the problem while working directly with graphs requires the use of graph-to-sequence models that encode the AMR graph into a vector representation. Such encoding has been shown to be beneficial in the past, and unlike sequential encoding, it allows us to explicitly capture reentrant structures in the AMR graphs. We investigate the extent to which reentrancies (nodes with multiple parents) have an impact on AMR-to-text generation by comparing graph encoders to tree encoders, where reentrancies are not preserved. We show that improvements in the treatment of reentrancies and long-range dependencies contribute to higher overall scores for graph encoders. Our best model achieves 24.40 BLEU on LDC2015E86, outperforming the state of the art by 1.1 points and 24.54 BLEU on LDC2017T10, outperforming the state of the art by 1.24 points.


title: The Toucher-Isolator game

abstract: We introduce a new positional game called `Toucher-Isolator', which is a quantitative version of a Maker-Breaker type game. The playing board is the set of edges of a given graph G, and the two players, Toucher and Isolator, claim edges alternately. The aim of Toucher is to `touch' as many vertices as possible (i.e. to maximise the number of vertices that are incident to at least one of her chosen edges), and the aim of Isolator is to minimise the number of vertices that are so touched. We analyse the number of untouched vertices u(G) at the end of the game when both Toucher and Isolator play optimally, obtaining results both for general graphs and for particularly interesting classes of graphs, such as cycles, paths, trees, and k-regular graphs. We also provide tight examples.


title: Self-Supervised Learning via Conditional Motion Propagation

abstract: Intelligent agent naturally learns from motion. Various self-supervised algorithms have leveraged motion cues to learn effective visual representations. The hurdle here is that motion is both ambiguous and complex, rendering previous works either suffer from degraded learning efficacy, or resort to strong assumptions on object motions. In this work, we design a new learning-from-motion paradigm to bridge these gaps. Instead of explicitly modeling the motion probabilities, we design the pretext task as a conditional motion propagation problem. Given an input image and several sparse flow guidance vectors on it, our framework seeks to recover the full-image motion. Compared to other alternatives, our framework has several appealing properties: (1) Using sparse flow guidance during training resolves the inherent motion ambiguity, and thus easing feature learning. (2) Solving the pretext task of conditional motion propagation encourages the emergence of kinematically-sound representations that poss greater expressive power. Extensive experiments demonstrate that our framework learns structural and coherent features; and achieves state-of-the-art self-supervision performance on several downstream tasks including semantic segmentation, instance segmentation, and human parsing. Furthermore, our framework is successfully extended to several useful applications such as semi-automatic pixel-level annotation. Project page: "http://mmlab.ie.cuhk.edu.hk/projects/CMP/".


title: Estimation and Verification of Partially-Observed Discrete-Event Systems

abstract: This article considers state estimation and veri cation problems for an important class of man-made cyber-physical systems called Discrete-Event Systems (DES).


title: Materials Physics and Spin Glasses

abstract: Comparisons and analogies are drawn between materials ferroic glasses and conventional spin glasses, in terms of both experiment and theoretical modelling, with inter-system conceptual transfers leading to suggestions of further issues to investigate.


title: The smoothness of convolutions of orbital measures on complex Grassmannian symmetric spaces

abstract: It is well known that if $G/K$ is any irreducible symmetric space and $\mu _{a}$ is a continuous orbital measure supported on the double coset $KaK,$ then the convolution product, $\mu _{a}^{k},$ is absolutely continuous for some suitably large $k\leq \dim G/K$. The minimal value of $k$ is known in some symmetric spaces and in the special case of groups or rank one symmetric spaces it has even been shown that $\mu _{a}^{k}$ belongs to the smaller space $L^{2}$ for some $k$. Here we prove that this $L^{2}$ property holds for all the compact, complex Grassmanian symmetric spaces, $% SU(p+q)/S(U(p)\times U(q))$. Moreover, for the orbital measures at a dense set of points $a$, we prove that $\mu _{a}^{2}\in L^{2}$ (or $\mu _{a}^{3}\in L^{2}$ if $p=q$).


title: The ENUBET narrow band neutrino beam

abstract: The narrow band beam of ENUBET is the first implementation of the "monitored neutrino beam" technique proposed in 2015. ENUBET has been designed to monitor lepton production in the decay tunnel of neutrino beams and to provide a 1% measurement of the neutrino flux at source. In particular, the three body semi-leptonic decay of kaons monitored by large angle positron production offers a fully controlled $\nu_{e}$ source at the GeV scale for a new generation of short baseline experiments. In this contribution the performances of the positron tagger prototypes tested at CERN beamlines in 2016-2018 are presented.


title: Are there Goldstone bosons in ${d\leq z+1}$ ?

abstract: We study the viability of spontaneous breaking of continuous symmetries in theories with Lifshitz scaling, according to the number of space-time dimensions $d$ and the dynamical scaling $z$. Then, the answer to the question in the title is no (quantum field theoretically) and yes (holographically). With field theory tools, we show that symmetry breaking is indeed prevented by large quantum fluctuations when $d\leq z+1$, as expected from scaling arguments. With holographic tools, on the other hand, we find nothing that prevents the existence of a vacuum expectation value. This difference is made possible by the large $N$ limit of holography. An important subtlety in this last framework is that in order to get a proper description of a conserved current, renormalization of the temporal mode of the bulk vector requires an alternative quantization. We also comment on the implications of turning on temperature.


title: Overcommuting pairs in groups and 3-manifolds bounding them

abstract: We introduce the notions of overcommutation and overcommutation length in groups, and show that these concepts are closely related to representations of the fundamental groups of 3-manifold and their Heegaard genus. We give many examples including translations in the affine group of the line and provide upper bounds for the overcommutation length in SL_2, related to the Steinberg relation.


title: Robust and efficient transport of two-qubit entanglement via disordered spin chains

abstract: We investigate how robust is the modified XX spin-1/2 chain of [R. Vieira and G. Rigolin, Phys. Lett. A 382, 2586 (2018)] in transmitting entanglement when several types of disorder and noise are present. First, we consider how deviations about the optimal settings that lead to almost perfect transmission of a maximally entangled two-qubit state affect the entanglement reaching the other side of the chain. Those deviations are modeled by static, dynamic, and fluctuating disorder. We then study how spurious or undesired interactions and external magnetic fields diminish the entanglement transmitted through the chain. For chains of the order of hundreds of qubits, we show for all types of disorder and noise here studied that the system is not appreciably affected when we have weak disorder (deviations of less than 1% about the optimal settings) and that for moderate disorder it still beats the standard and ordered XX model when deployed to accomplish the same task.


title: Do Not Trust Additive Explanations

abstract: Explainable Artificial Intelligence (XAI)has received a great deal of attention recently. Explainability is being presented as a remedy for the distrust of complex and opaque models. Model agnostic methods such as LIME, SHAP, or Break Down promise instance-level interpretability for any complex machine learning model. But how faithful are these additive explanations? Can we rely on additive explanations for non-additive models? In this paper, we (1) examine the behavior of the most popular instance-level explanations under the presence of interactions, (2) introduce a new method that detects interactions for instance-level explanations, (3) perform a large scale benchmark to see how frequently additive explanations may be misleading.


title: Social Behavioral Phenotyping of Drosophila with a2D-3D Hybrid CNN Framework

abstract: Behavioural phenotyping of Drosophila is an important means in biological and medical research to identify genetic, pathologic or psychologic impact on animal behaviour.


title: Investigation of Room Temperature Ferroelectricity and Ferrimagnetism in Multiferroic AlxFe2-xO3 Epitaxial Thin Films

abstract: Multiferroic materials open up the possibility to design novel functionality in electronic devices, with low energy consumption. However, there are very few materials that show multiferroicity at room temperature, which is essential to be practically useful. AlxFe2-xO3 (x-AFO) thin films, belonging to the k-Al2O3 family are interesting because they show room temperature ferrimagnetism and have a polar crystal structure. However, it is difficult to realise its ferroelectric properties at room temperature, due to low resistivity of the films. In this work, we have deposited x-AFO (0.5 <= x <= 1) epitaxial thin films with low leakage, on SrTiO3<111> substrates by Pulsed Laser Deposition. Magnetic measurements confirmed room temperature ferrimagnetism of the films, however the Curie temperature was found to be influenced by deposition conditions. First principle calculations suggested that ferroelectric domain switching occurs through shearing of in-plane oxygen layers, and predicted a high polarization value of 24 uC/cm2. However, actual ferroelectric measurements showed the polarization to be two order less. Presence of multiple in-plane domains which oppose polarization switching of adjacent domains, was found to be the cause for the small observed polarization. Comparing dielectric relaxation studies and ferroelectric characterization showed that oxygen-vacancy defects assist domain wall motion, which in turn facilitates polarization switching.


title: Relation between the weak itinerant magnetism in $A_2$Ni$_7$ compounds ($A$ = Y, La) and their stacked crystal structures

abstract: The weak itinerant magnetic properties of $A_2$Ni$_7$ compounds with $A$ = {Y, La} have been investigated using electronic band structure calculations in the relation with their polymorphic crystal structures. These compounds crystallizes in two structures resulting from the stacking of two and three blocks of [$A_2$Ni$_4$ + 2 $A$Ni$_5$] units for hexagonal $2H$-La$_2$Ni$_7$ (Ce$_2$Ni$_7$ type) and rhombohedral $3R$-Y$_2$Ni$_7$ (Gd$_2$Co$_7$ type) respectively. Experimentally, $2H$-La$_2$Ni$_7$ is a weak itinerant antiferromagnet whereas $3R$-Y$_2$Ni$_7$ is a weak itinerant ferromagnet. From the present first principles calculation within non-spin polarized state, both compounds present an electronic density of state with a sharp and narrow peak centered at the Fermi level corresponding to flat bands from $3d$-Ni. This induces a magnetic instability and both compounds are more stable in a ferromagnetic (FM) order compared to a paramagnetic state ($\Delta E \simeq$ -35 meV/f.u.). The magnetic moment of each of the five Ni sites varies with their positions relative to the [$A_2$Ni$_4$] and [$A$Ni$_5$] units: they are minimum in the [$A_2$Ni$_4$] unit and maximum at the interface between two [$A$Ni$_5$] units. For $2H$-La$_2$Ni$_7$, an antiferromagnetic (AFM) structure has been proposed and found with an energy comparable to that of the FM state. This AFM structure is described by two FM unit blocks of opposite Ni spin sign separated by a non-magnetic layer at z = 0 and $\frac12$. The Ni ($2a$) atoms belonging to this intermediate layer are located in the [La$_2$Ni$_4$] unit and are at a center of symmetry of the hexagonal cell ($P6_3/mmc$) where the resultant molecular field is cancelled. Further non-collinear spin calculations have been performed to determine the Ni moment orientations which are found preferentially parallel to the $c$ axis for both FM and AFM structures.


title: A generalization of the Kowalski -S\{l} odkowski theorem and its application to 2-local maps on function spaces

abstract: In this paper, we extend a spherical variant of the Kowalski-S\{l}odkowski theorem due to Li, Peralta, Wang and Wang. As a corollary, we prove that every 2-local map in the set of all surjective isometries (without assuming linearity) on a certain function space is in fact a surjective isometry. This gives an affirmative answer to the problem on 2-local isometries posed by Moln\'ar.