title: An FFT-based algorithm for efficient computation of Green's functions for the Helmholtz and Maxwell's equations in periodic domains

abstract: The integral equation method is widely used in numerical simulations of 2D/3D acoustic and electromagnetic scattering problems, which needs a large number of values of the Green's functions. A significant topic is the scattering problems in periodic domains, where the corresponding Green's functions are quasi-periodic. The quasi-periodic Green's functions are defined by series that converge too slowly to be used for calculations. Many mathematicians have developed several efficient numerical methods to calculate quasi-periodic Green's functions. In this paper, we will propose a new FFT-based fast algorithm to compute the 2D/3D quasi-periodic Green's functions for both the Helmholtz equations and Maxwell's equations. The convergence results and error estimates are also investigated in this paper. Further, the numerical examples are given to show that, when a large number of values are needed, the new algorithm is very competitive.


title: Optimal vector beams maintaining robust intensity profile on propagation through turbulence

abstract: We report experiments on propagation of scalar and vector optical beams through random phase screens mimicking turbulence and show that the intensity profile of the beam containing a C-point polarization singularity shows maximally robust behavior. This observation is explained in terms of the polarization and orbital angular momentum (OAM) diversity in the beam. The $l = 0$ and $l = 1$ OAM states whose vector combination leads to the C-point singularity are seen to produce complementary speckle intensity patterns with significant negative correlation on propagation through a random phase screen. This unique property of C-point singularity makes it superior to other inhomogeneous polarization states as demonstrated in our experiments. The results provide an important generic guideline for designing beams that can maintain optimally robust beam intensity profile on passing through random phase fluctuations and are expected to have a number of applications.


title: On Krull-Gabriel dimension and Galois coverings

abstract: Assume that $K$ is an algebraically closed field, $R$ a locally support-finite locally bounded $K$-category, $G$ a torsion-free admissible group of $K$-linear automorphisms of $R$ and $A=R/G$. We show that the Krull-Gabriel dimension $KG(R)$ of $R$ is finite if and only if the Krull-Gabriel dimension $KG(A)$ of $A$ is finite. In these cases $KG(R)=KG(A)$. We apply this result to determine the Krull-Gabriel dimension of standard selfinjective algebras of polynomial growth. Finally, we show that there are no super-decomposable pure-injective modules over standard selfinjective algebras of domestic type.


title: Photon-Mediated Quantum Gate between Two Trapped Neutral Atoms in an Optical Cavity

abstract: Quantum logic gates are fundamental building blocks of quantum computers. Their integration into quantum networks requires strong qubit coupling to network channels, as can be realized with neutral atoms and optical photons in cavity quantum electrodynamics. Here we demonstrate that the long-range interaction mediated by a flying photon performs a gate between two stationary atoms inside an optical cavity from which the photon is reflected. This single step executes the gate in $2\,\mathrm{\mu s}$. We show an entangling operation between the two atoms by generating a Bell state with 76(2)% fidelity. The gate also operates as a CNOT. We demonstrate 74.1(1.6)% overlap between the observed and the ideal gate output, limited by the state preparation fidelity of 80.2(0.8)%. As the atoms are efficiently connected to a photonic channel, our gate paves the way towards quantum networking with multiqubit nodes and the distribution of entanglement in repeater-based long-distance quantum networks.


title: Doubling Algorithms for Stationary Distributions of Fluid Queues: A Probabilistic Interpretation

abstract: Fluid queues are mathematical models frequently used in stochastic modelling. Their stationary distributions involve a key matrix recording the conditional probabilities of returning to an initial level from above, often known in the literature as the matrix $\Psi$. Here, we present a probabilistic interpretation of the family of algorithms known as \emph{doubling}, which are currently the most effective algorithms for computing the return probability matrix $\Psi$. To this end, we first revisit the links described in \cite{ram99, soares02} between fluid queues and Quasi-Birth-Death processes; in particular, we give new probabilistic interpretations for these connections. We generalize this framework to give a probabilistic meaning for the initial step of doubling algorithms, and include also an interpretation for the iterative step of these algorithms. Our work is the first probabilistic interpretation available for doubling algorithms.


title: Modulus D-term Inflation

abstract: We propose a new model of single-field D-term inflation in supergravity, where the inflation is driven by a single modulus field which transforms non-linearly under the U(1) gauge symmetry. One of the notable features of our modulus D-term inflation scenario is that the global U(1) remains unbroken in the vacuum and hence our model is not plagued by the cosmic string problem which can exclude most of the conventional D-term inflation models proposed so far due to the CMB observations.


title: A magnetic reconnection event in the solar atmosphere driven by relaxation of a twisted arch filament system

abstract: We present high-resolution observations of a magnetic reconnection event in the solar atmosphere taken with the New Vacuum Solar Telescope, AIA and HMI. The reconnection event occurred between the threads of a twisted arch filament system (AFS) and coronal loops. Our observations reveal that the relaxation of the twisted AFS drives some of its threads to encounter the coronal loops, providing inflows of the reconnection. The reconnection is evidenced by flared X-shape features in the AIA images, a current-sheet-like feature apparently connecting post-reconnection loops in the \halpha$+$1 \AA\ images, small-scale magnetic cancellation in the HMI magnetograms and flows with speeds of 40--80 km/s along the coronal loops. The post-reconnection coronal loops seen in AIA 94 \AA\ passband appear to remain bright for a relatively long time, suggesting that they have been heated and/or filled up by dense plasmas previously stored in the AFS threads. Our observations suggest that the twisted magnetic system could release its free magnetic energy into the upper solar atmosphere through reconnection processes. While the plasma pressure in the reconnecting flux tubes are significantly different, the reconfiguration of field lines could result in transferring of mass among them and induce heating therein.


title: Prediction of the Optimal Threshold Value in DF Relay Selection Schemes Based on Artificial Neural Networks

abstract: In wireless communications, the cooperative communication (CC) technology promises performance gains compared to traditional Single-Input Single Output (SISO) techniques. Therefore, the CC technique is one of the nominees for 5G networks. In the Decode-and-Forward (DF) relaying scheme which is one of the CC techniques, determination of the threshold value at the relay has a key role for the system performance and power usage. In this paper, we propose prediction of the optimal threshold values for the best relay selection scheme in cooperative communications, based on Artificial Neural Networks (ANNs) for the first time in literature. The average link qualities and number of relays have been used as inputs in the prediction of optimal threshold values using Artificial Neural Networks (ANNs): Multi-Layer Perceptron (MLP) and Radial Basis Function (RBF) networks. The MLP network has better performance from the RBF network on the prediction of optimal threshold value when the same number of neurons is used at the hidden layer for both networks. Besides, the optimal threshold values obtained using ANNs are verified by the optimal threshold values obtained numerically using the closed form expression derived for the system. The results show that the optimal threshold values obtained by ANNs on the best relay selection scheme provide a minimum Bit-Error-Rate (BER) because of the reduction of the probability that error propagation may occur. Also, for the same BER performance goal, prediction of optimal threshold values provides 2dB less power usage, which is great gain in terms of green communicationBER performance goal, prediction of optimal threshold values provides 2dB less power usage, which is great gain in terms of green communication.


title: $\tau$ Ori and $\tau$ Lib: Two new massive heartbeat binaries

abstract: We report the discovery of two massive eccentric systems with BRITE data, $\tau$ Ori and $\tau$ Lib, showing heartbeat effects close to the periastron passage. $\tau$ Lib exhibits shallow eclipses that will soon vanish due to the apsidal motion in the system. In neither system, tidally excited oscillations were detected.


title: Radial Distributions of Surface Mass Density and Mass-to-Luminosity Ratio in Spiral Galaxies

abstract: We present radial profiles of the surface mass density (SMD) in spiral galaxies directly calculated using rotation curves (RC) on two approximations of flat-disk (SMD-F) and spherical mass distribution (SMD-S). The SMDs are combined with surface brightness (SB) using photometric data to derive radial variations of the mass-to-luminosity ratio (ML). It is found that ML has generally a central peak or a plateau, and decreases to a local minimum at $R\sim 0.1-0.2 h$, where $R$ is the radius and $h$ is the scale radius of optical disk. The ML ratio, then, increases rapidly till $\sim 0.5h$, and is followed by gradual rise till $\sim 2h$, remaining at around ML$\sim 2$ in w1 band (infrared $\lambda$ 3.4 $\mu$m) and $\sim 10\ [M_\odot L_\odot^{-1}]$ in r-band ($\lambda$6200-7500 A). Beyond this radius, ML steeply increases toward the observed edges at $R\sim 5h$, attaining values as high as ML$\sim 20$ in w1 and $\sim 10^2\ [M_\odot L_\odot^{-1}]$ in r-band, indicative of dominant dark matter. The general properties of the ML distributions will be useful to constrain cosmological formation models of spiral galaxies. The radial profiles of the RC, SMD, and ML are available in pdf/eps figures and machine-readable tables as an archival atlas at URL http://www.ioa.s.u-tokyo.ac.jp/$\sim$sofue/smd2018/ and as the supplementary data on PASJ home page.


title: Sum-frequency ionic Raman scattering

abstract: In a recent report sum-frequency excitation of a Raman-active phonon was experimentally demonstrated for the first time. This mechanism is the sibling of impulsive stimulated Raman scattering, in which difference-frequency components of a light field excite a Raman-active mode. Here we propose that ionic Raman scattering analogously has a sum-frequency counterpart. We compare the four Raman mechanisms, photonic and ionic difference- and sum-frequency excitation, for three different example materials using a generalized oscillator model for which we calculate the parameters with density functional theory. Sum-frequency ionic Raman scattering completes the toolkit for controlling materials properties by means of selective excitation of lattice vibrations.


title: Measurements of the Branching Fractions of the Singly-Cabibbo-Suppressed Decays $D^0\to\omega\eta$, $\eta^{(\prime)}\pi^0$ and $\eta^{(\prime)}\eta$

abstract: By analyzing a data sample of 2.93 fb$^{-1}$ collected at $\sqrt s=$ 3.773 GeV with the BESIII detector operated at the BEPCII storage rings, we measure the branching fractions ${\mathcal B}(D^0\to\omega\eta)=(2.15\pm0.17_{\rm stat.}\pm0.15_{\rm sys.})\times 10^{-3}$, ${\mathcal B}(D^0\to\eta\pi^0)=(0.58\pm0.05_{\rm stat.}\pm0.05_{\rm sys.})\times 10^{-3}$, ${\mathcal B}(D^0\to\eta^\prime\pi^0)=(0.93\pm0.11_{\rm stat.}\pm0.09_{\rm sys.})\times 10^{-3}$, ${\mathcal B}(D^0\to\eta\eta)=(2.20\pm0.07_{\rm stat.}\pm0.06_{\rm sys.})\times 10^{-3}$ and ${\mathcal B}(D^0\to\eta^\prime\eta)=(0.94\pm0.25_{\rm stat.}\pm0.11_{\rm sys.})\times 10^{-3}$. We note that ${\mathcal B}(D^0\to \omega\eta)$ is measured for the first time and that ${\mathcal B}(D^0\to \eta\eta)$ is measured with much improved precision.


title: Code Constructions for Distributed Storage With Low Repair Bandwidth and Low Repair Complexity

abstract: We present the construction of a family of erasure correcting codes for distributed storage that achieve low repair bandwidth and complexity at the expense of a lower fault tolerance. The construction is based on two classes of codes, where the primary goal of the first class of codes is to provide fault tolerance, while the second class aims at reducing the repair bandwidth and repair complexity. The repair procedure is a two- step procedure where parts of the failed node are repaired in the first step using the first code. The downloaded symbols during the first step are cached in the memory and used to repair the remaining erased data symbols at minimal additional read cost during the second step. The first class of codes is based on MDS codes modified using piggybacks, while the second class is designed to reduce the number of additional symbols that need to be downloaded to repair the remaining erased symbols. We numerically show that the proposed codes achieve better repair bandwidth compared to MDS codes, codes constructed using piggybacks, and local reconstruction/Pyramid codes, while a better repair complexity is achieved when compared to MDS, Zigzag, Pyramid codes, and codes constructed using piggybacks.


title: Recent results at SPARC_LAB

abstract: The current activity of the SPARC_LAB test-facility is focused on the realization of plasma-based acceleration experiments with the aim to provide accelerating field of the order of several GV/m while maintaining the overall quality (in terms of energy spread and emittance) of the accelerated electron bunch. In the following, the current status of such an activity is presented. We also show results related to the usability of plasmas as focusing lenses in view of a complete plasma-based focusing and accelerating system.


title: Why the critical temperature of high-$T_{\rm c}$ cuprate superconductors is so low: The importance of the dynamical vertex structure

abstract: To fathom the mechanism of high-temperature ($T_{\rm c}$) superconductivity, the dynamical vertex approximation (D$\Gamma$A) is evoked for the two-dimensional repulsive Hubbard model. After showing that our results well reproduce the cuprate phase diagram with a reasonable $T_{\rm c}$ and dome structure, we keep track of the scattering processes that primarily affect $T_{\rm c}$. We find that local particle-particle diagrams significantly screen the bare interaction at low frequencies, which in turn suppresses antiferromagnetic spin fluctuations and hence the pairing interaction. Thus we identify dynamical vertex corrections as one of the main oppressors of $T_{\rm c}$, which may provide a hint toward higher $T_{\rm c}$'s.


title: A universality theorem for allowable sequences with applications

abstract: Order types are a well known abstraction of combinatorial properties of a point set. By Mn\"ev's universality theorem for each semi-algebraic set $V$ there is an order type with a realization space that is \emph{stably equivalent} to $V$. We consider realization spaces of \emph{allowable sequences}, a refinement of order types. We show that the realization spaces of allowable sequences are \emph{universal} and consequently deciding the realizability is complete in the \emph{existential theory of the reals} (\ER). This result holds even if the realization space of the order type induced by the allowable sequence is non-empty. Furthermore, we argue that our result is a useful tool for further geometric reductions. We support this by giving \ER-hardness proofs for the realizability of abstract convex geometries and for the recognition problem of visibility graphs of polygons with holes using the hardness result for allowable sequences. This solves two longstanding open problems.


title: Direct sampling method for imaging small dielectric inhomogeneities: analysis and improvement

abstract: The direct sampling method (DSM) has been introduced for non-iterative imaging of small inhomogeneities and is known to be fast, robust, and effective for inverse scattering problems. However, to the best of our knowledge, a full analysis of the behavior of the DSM has not been provided yet. Such an analysis is proposed here within the framework of the asymptotic hypothesis in the 2D case leading to the expression of the DSM indicator function in terms of the Bessel function of order zero and the sizes, shapes and permittivities of the inhomogeneities. Thanks to this analytical expression the limitations of the DSM method when one of the inhomogeneities is smaller and/or has lower permittivity than the others is exhibited and illustrated. An improved DSM is proposed to overcome this intrinsic limitation in the case of multiple incident waves. Then we show that both the traditional and improved DSM are closely related to a normalized version of the Kirchhoff migration. The theoretical elements of our proposal are supported by various results from numerical simulations with synthetic and experimental data.


title: Some model theory for the modal $\mu$-calculus: syntactic characterisations of semantic properties

abstract: This paper contributes to the theory of the modal $\mu$-calculus by proving some model-theoretic results. More in particular, we discuss a number of semantic properties pertaining to formulas of the modal $\mu$-calculus. For each of these properties we provide a corresponding syntactic fragment, in the sense that a $\mu$-formula $\xi$ has the given property iff it is equivalent to a formula $\xi'$ in the corresponding fragment. Since this formula $\xi'$ will always be effectively obtainable from $\xi$, as a corollary, for each of the properties under discussion, we prove that it is decidable in elementary time whether a given $\mu$-calculus formula has the property or not. The properties that we study all concern the way in which the meaning of a formula $\xi$ in a model depends on the meaning of a single, fixed proposition letter $p$. For example, consider a formula $\xi$ which is monotone in $p$; such a formula a formula $\xi$ is called continuous (respectively, fully additive), if in addition it satisfies the property that, if $\xi$ is true at a state $s$ then there is a finite set (respectively, a singleton set) $U$ such that $\xi$ remains true at $s$ if we restrict the interpretation of $p$ to the set $U$. Each of the properties that we consider is, in a similar way, associated with one of the following special kinds of subset of a tree model: singletons, finite sets, finitely branching subtrees, noetherian subtrees (i.e., without infinite paths), and branches. Our proofs for these characterization results will be automata-theoretic in nature; we will see that the effectively defined maps on formulas are in fact induced by rather simple transformations on modal automata. Thus our results can also be seen as a contribution to the model theory of modal automata.


title: The origin of multi-TeV flares from the nearest blazar Markarian 421

abstract: Markarian 421 is a high-peaked BL Lac object and it has undergone many strong outbursts since its discovery as a TeV source in 1992. Markarian 421 has been stud- ied intensively and was observed by various Cherenkov tele- scope arrays ever since. The outbursts of April 2004 observed by the Whipple telescope and of February 2010 by the HESS telescopes are explained well in this work by using the photohadronic model. To account for the attenuation of these high- energy gamma-rays by the extragalactic background light (EBL), we use template EBL models. The intrinsic spectrum of each epoch is different even though the high-energy protons have almost the same spectral index. We observe that this difference in intrinsic spectra is due to the change in the spectral index of the low-energy tail of the synchrotron self Compton (SSC) photons during different epochs of flaring. Our results show that the contemporaneous multiwavelength observations, particularly in the low-energy tail region of the SSC emission of the source, are important in explaining the flaring phenomenon.


title: $\varepsilon$-Approximability of Harmonic Functions in $L^p$ Implies Uniform Rectifiability

abstract: Suppose that $\Omega \subset \mathbb{R}^{n+1}$, $n \ge 2$, is an open set satisfying the corkscrew condition with an $n$-dimensional ADR boundary, $\partial \Omega$. In this note, we show that if harmonic functions are $\varepsilon$-approximable in $L^p$ for any $p > n/(n-1)$, then $\partial \Omega$ is uniformly rectifiable. Combining our results with those in [HT] (Hofmann-Tapiola) gives us a new characterization of uniform rectifiability which complements the recent results in [HMM] (Hofmann-Martell-Mayboroda), [GMT] (Garnett-Mourgoglou-Tolsa) and [AGMT] (Azzam-Garnett-Mourgoglou-Tolsa).


title: An Energy-Efficient FPGA-based Deconvolutional Neural Networks Accelerator for Single Image Super-Resolution

abstract: Convolutional neural networks (CNNs) demonstrate excellent performance in various computer vision applications. In recent years, FPGA-based CNN accelerators have been proposed for optimizing performance and power efficiency. Most accelerators are designed for object detection and recognition algorithms that are performed on low-resolution (LR) images. However, real-time image super-resolution (SR) cannot be implemented on a typical accelerator because of the long execution cycles required to generate high-resolution (HR) images, such as those used in ultra-high-definition (UHD) systems. In this paper, we propose a novel CNN accelerator with efficient parallelization methods for SR applications. First, we propose a new methodology for optimizing the deconvolutional neural networks (DCNNs) used for increasing feature maps. Secondly, we propose a novel method to optimize CNN dataflow so that the SR algorithm can be driven at low power in display applications. Finally, we quantize and compress a DCNN-based SR algorithm into an optimal model for efficient inference using on-chip memory. We present an energy-efficient architecture for SR and validate our architecture on a mobile panel with quad-high-definition (QHD) resolution. Our experimental results show that, with the same hardware resources, the proposed DCNN accelerator achieves a throughput up to 108 times greater than that of a conventional DCNN accelerator. In addition, our SR system achieves an energy efficiency of 144.9 GOPS/W, 293.0 GOPS/W, and 500.2 GOPS/W at SR scale factors of 2, 3, and 4, respectively. Furthermore, we demonstrate that our system can restore HR images to a high quality while greatly reducing the data bit-width and the number of parameters compared to conventional SR algorithms.


title: A single server queue with batch arrivals and semi-Markov services

abstract: We investigate the transient and stationary queue-length distributions of a class of service systems with correlated service times. The classical $M^X/G/1$ queue with semi-Markov service times is the most prominent example in this class and serves as a vehicle to display our results. The sequence of service times is governed by a modulating process $J(t)$. The state of $J(\cdot)$ at a service initiation time determines the joint distribution of the subsequent service duration and the state of $J(\cdot)$ at the next service initiation. Several earlier works have imposed technical conditions, on the zeros of a matrix determinant arising in the analysis, that are required in the computation of the stationary queue length probabilities. The imposed conditions in several of these articles are difficult or impossible to verify. Without such assumptions, we determine both the transient and the steady-state joint distribution of the number of customers immediately after a departure and the state of the process $J(t)$ at the start of the next service. We numerically investigate how the mean queue length is affected by variability in the number of customers that arrive during a single service time. Our main observations here are that increasing variability may {\em reduce} the mean queue length, and that the Markovian dependence of service times can lead to large queue lengths, even if the system is not in heavy traffic.


title: On the characterisations of wave front sets via the short-time Fourier transform

abstract: It is well known that the classical and Sobolev wave fronts were extended into non-equivalent global versions by the use of the short-time Fourier transform. In this very short paper we give complete characterisations of initial wave front sets via the short-time Fourier transform.


title: Lorentz Violation, Gravitoelectromagnetic Field and Bhabha Scattering

abstract: Lorentz symmetry is a fundamental symmetry in the Standard Model (SM) and in General Relativity (GR). This symmetry holds true for all models at low energies. However at energies near the Planck scale, it is conjectured that there may be a very small violation of Lorentz symmetry. The Standard Model Extension (SME) is a quantum field theory that includes a systematic description of Lorentz symmetry violations in all sectors of particle physics and gravity. In this paper SME is considered to study the physical process of Bhabha Scattering in the Gravitoelectromagnetism (GEM) theory. GEM is an important formalism that is valid in a suitable approximation of general relativity. A new non-minimal coupling term that violates Lorentz symmetry is used in this paper. Differential cross section for gravitational Bhabha scattering is calculated. The Lorentz violation contributions to this GEM scattering cross section are small and are similar in magnitude to the case of the electromagnetic field.


title: Generalized power central group identities in almost subnormal subgroups of $\GL_n(D)$

abstract: In this paper, we study almost subnormal subgroups of the general linear group $\GL_n(D)$ of degree $n\ge 1$ over a division ring $D$ that satisfy a generalized power central group identity.


title: Short walk adventures

abstract: We review recent development of short uniform random walks, with a focus on its connection to (zeta) Mahler measures and modular parametrisation of the density functions. Furthermore, we extend available "probabilistic" techniques to cover a variation of random walks and reduce some three-variable Mahler measures, which are conjectured to evaluate in terms of $L$-values of modular forms, to hypergeometric form.

categories: math.NT math-ph math.CA math.KT math.MP math.PR


title: Twisted Gravitational Waves

abstract: In general relativity (GR), linearized gravitational waves propagating in empty Minkowski spacetime along a fixed spatial direction have the property that the wave front is the Euclidean plane. Beyond the linear regime, exact plane waves in GR have been studied theoretically for a long time and many exact vacuum solutions of the gravitational field equations are known that represent plane gravitational waves. These have parallel rays and uniform wave fronts. It turns out, however, that GR also admits exact solutions representing gravitational waves propagating along a fixed direction that are nonplanar. The wave front is then nonuniform and the bundle of rays is twisted. We find a class of solutions representing nonplanar unidirectional gravitational waves and study some of the properties of these twisted waves.


title: Scattered classes of graphs

abstract: For a class $\mathcal C$ of graphs $G$ equipped with functions $f_G$ defined on subsets of $E(G)$ or $V(G)$, we say that $\mathcal{C}$ is $k$-scattered with respect to $f_G$ if there exists a constant $\ell$ such that for every graph $G\in \mathcal C$, the domain of $f_G$ can be partitioned into subsets of size at most $k$ so that the union of every collection of the subsets has $f_G$ value at most $\ell$. We present structural characterizations of graph classes that are $k$-scattered with respect to several graph connectivity functions. In particular, our theorem for cut-rank functions provides a rough structural characterization of graphs having no $mK_{1,n}$ vertex-minor, which allows us to prove that such graphs have bounded linear rank-width.


title: VUV Pump and probe of phase separation and oxygen interstitials in La2NiO4+y using spectromicroscopy

abstract: While it is known that strongly correlated transition metal oxides described by multi-band Hubbard model show microscopic multiscale phase separation little is known on the possibility to manipulate them with vacuum ultraviolet (VUV) 27 eV lighting. We have investigated the photo-induced effects of VUV illumination of a super-oxygenated La2NiO4+y single crystal by means of scanning photoelectron microscopy. VUV light exposure induces the increase of the density of states (DOS) in the binding energy range around Eb =1.4 eV below EF. The photo-induced states in this energy region have been predicted as due to clustering of oxygen interstitials by band structure calculations for large supercell of La2CuO4.125. We finally show that it possible to generate and manipulate oxygen rich domains by VUV illumination as it was reported for X-ray illumination of La2CuO4+y. This phenomenology is assigned to oxygen-interstitials ordering and clustering by photo-illumination forming segregated domains in the La2NiO4+y surface


title: Bounds for higher topological complexity of real projective space implied by BP

abstract: We use Brown-Peterson cohomology to obtain lower bounds for the higher topological complexity, TC_k(RP^n), of real projective spaces, which are often much stronger than those implied by ordinary mod-2 cohomology.


title: Layered TPOT: Speeding up Tree-based Pipeline Optimization

abstract: With the demand for machine learning increasing, so does the demand for tools which make it easier to use. Automated machine learning (AutoML) tools have been developed to address this need, such as the Tree-Based Pipeline Optimization Tool (TPOT) which uses genetic programming to build optimal pipelines. We introduce Layered TPOT, a modification to TPOT which aims to create pipelines equally good as the original, but in significantly less time. This approach evaluates candidate pipelines on increasingly large subsets of the data according to their fitness, using a modified evolutionary algorithm to allow for separate competition between pipelines trained on different sample sizes. Empirical evaluation shows that, on sufficiently large datasets, Layered TPOT indeed finds better models faster.


title: Convergence of the solutions of the discounted Hamilton-Jacobi equation: a counterexample

abstract: This paper provides a counterexample about the asymptotic behavior of the solutions of a discounted Hamilton-Jacobi equation, as the discount factor vanishes. The Hamiltonian of the equation is a 1-dimensional continuous and coercive Hamiltonian.


title: Thermodynamics of network model fitting with spectral entropies

abstract: An information theoretic approach inspired by quantum statistical mechanics was recently proposed as a means to optimize network models and to assess their likelihood against synthetic and real-world networks. Importantly, this method does not rely on specific topological features or network descriptors, but leverages entropy-based measures of network distance. Entertaining the analogy with thermodynamics, we provide a physical interpretation of model hyperparameters and propose analytical procedures for their estimate. These results enable the practical application of this novel and powerful framework to network model inference. We demonstrate this method in synthetic networks endowed with a modular structure, and in real-world brain connectivity networks.


title: Divisibility properties of motivic cohomology

abstract: We extend results of Colliot-Th\'el\`ene and Raskind on the $\mathcal{K}_2$-cohomology of smooth projective varieties over a separably closed field $k$ to the \'etale motivic cohomology of smooth, not necessarily projective, varieties over $k$. Some consequences are drawn, such as the degeneration of the Bloch-Lichtenbaum spectral sequence for any field containing $k$.


title: Forecasting User Attention During Everyday Mobile Interactions Using Device-Integrated and Wearable Sensors

abstract: Visual attention is highly fragmented during mobile interactions, but the erratic nature of attention shifts currently limits attentive user interfaces to adapting after the fact, i.e. after shifts have already happened. We instead study attention forecasting -- the challenging task of predicting users' gaze behaviour (overt visual attention) in the near future. We present a novel long-term dataset of everyday mobile phone interactions, continuously recorded from 20 participants engaged in common activities on a university campus over 4.5 hours each (more than 90 hours in total). We propose a proof-of-concept method that uses device-integrated sensors and body-worn cameras to encode rich information on device usage and users' visual scene. We demonstrate that our method can forecast bidirectional attention shifts and predict whether the primary attentional focus is on the handheld mobile device. We study the impact of different feature sets on performance and discuss the significant potential but also remaining challenges of forecasting user attention during mobile interactions.


title: A unified formulation of dichroic signals using the Borrmann effect and twisted photon beams

abstract: Dichroic signals derived from the Borrmann effect and a twisted photon beam with topological charge l = 1 are formulated with an effective wavevector. The unification applies for non-magnetic and magnetic materials. Electronic degrees of freedom associated with an ion are encapsulated in multipoles previously used to interpret conventional dichroism and Bragg diffraction enhanced by an atomic resonance. A dichroic signal exploiting the Borrmann effect with a linearly polarized beam presents charge-like multipoles that include a hexadecapole. A difference between dichroic signals obtained with a twisted beam carrying spin polarization (circular polarization) and opposite winding numbers presents charge-like atomic multipoles, whereas a twisted beam carrying linear polarization alone presents magnetic (time-odd) multipoles. Charge-like multipoles include a quadrupole, and magnetic multipoles include a dipole and an octupole. We discuss the practicalities and relative merits of spectroscopy exploiting the two remarkably closely-related processes.


title: Inverse of Infinite Hankel Moment Matrices

abstract: Let $(s_n)_{n\ge 0}$ denote an indeterminate Hamburger moment sequence and let $\mathcal H=\{s_{m+n}\}$ be the corresponding positive definite Hankel matrix. We consider the question if there exists an infinite symmetric matrix $\mathcal A=\{a_{j,k}\}$, which is an inverse of $\mathcal H$ in the sense that the matrix product $\mathcal A\mathcal H$ is defined by absolutely convergent series and $\mathcal A\mathcal H$ equals the identity matrix $\mathcal I$, a property called (aci). A candidate for $\mathcal A$ is the coefficient matrix of the reproducing kernel of the moment problem, considered as an entire function of two complex variables. We say that the moment problem has property (aci), if (aci) holds for this matrix $\mathcal A$. We show that this is true for many classical indeterminate moment problems but not for the symmetrized version of a cubic birth-and-death process studied by Valent and co-authors. We consider mainly symmetric indeterminate moment problems and give a number of sufficient conditions for (aci) to hold in terms of the recurrence coefficients for the orthonormal polynomials. A sufficient condition is a rapid increase of the recurrence coefficients in the sense that the quotient between consecutive terms is uniformly bounded by a constant strictly smaller than one. We also give a simple example, where (aci) holds, but an inverse matrix of $\mathcal H$ is highly non-unique.


title: Image Enhancement and Noise Reduction Using Modified Delay-Multiply-and-Sum Beamformer: Application to Medical Photoacoustic Imaging

abstract: Photoacoustic imaging (PAI) is an emerging biomedical imaging modality capable of providing both high contrast and high resolution of optical and UltraSound (US) imaging. When a short duration laser pulse illuminates the tissue as a target of imaging, tissue induces US waves and detected waves can be used to reconstruct optical absorption distribution. Since receiving part of PA consists of US waves, a large number of beamforming algorithms in US imaging can be applied on PA imaging. Delay-and-Sum (DAS) is the most common beamforming algorithm in US imaging. However, make use of DAS beamformer leads to low resolution images and large scale of off-axis signals contribution. To address these problems a new paradigm namely Delay-Multiply-and-Sum (DMAS), which was used as a reconstruction algorithm in confocal microwave imaging for breast cancer detection, was introduced for US imaging. Consequently, DMAS was used in PA imaging systems and it was shown this algorithm results in resolution enhancement and sidelobe degrading. However, in presence of high level of noise the reconstructed image still suffers from high contribution of noise. In this paper, a modified version of DMAS beamforming algorithm is proposed based on DAS inside DMAS formula expansion. The quantitative and qualitative results show that proposed method results in more noise reduction and resolution enhancement in expense of contrast degrading. For the simulation, two-point target, along with lateral variation in two depths of imaging are employed and it is evaluated under high level of noise in imaging medium. Proposed algorithm in compare to DMAS, results in reduction of lateral valley for about 19 dB followed by more distinguished two-point target. Moreover, levels of sidelobe are reduced for about 25 dB.


title: Neural network-based preprocessing to estimate the parameters of the X-ray emission of a single-temperature thermal plasma

abstract: We present data preprocessing based on an artificial neural network to estimate the parameters of the X-ray emission spectra of a single-temperature thermal plasma. The method finds appropriate parameters close to the global optimum. The neural network is designed to learn the parameters of the thermal plasma (temperature, abundance, normalisation, and redshift) of the input spectra. After training using 9000 simulated X-ray spectra, the network has grown to predict all the unknown parameters with uncertainties of about a few percent. The performance dependence on the network structure has been studied. We applied the neural network to an actual high-resolution spectrum obtained with {\it Hitomi}. The predicted plasma parameters agreed with the known best-fit parameters of the Perseus cluster within $\lesssim10$\% uncertainties. The result shows a possibility that neural networks trained by simulated data can be useful to extract a feature built in the data, which would reduce human-intensive preprocessing costs before detailed spectral analysis, and help us make the best use of large quantities of spectral data coming in the next decades.


title: On improving the numerical convergence of highly nonlinear elasticity problems

abstract: Finite elasticity problems commonly include material and geometric nonlinearities and are solved using various numerical methods. However, for highly nonlinear problems, achieving convergence is relatively difficult and requires small load step sizes. In this work, we present a new method to transform the discretized governing equations so that the transformed problem has significantly reduced nonlinearity and, therefore, Newton solvers exhibit improved convergence properties. We study exponential-type nonlinearity in soft tissues and geometric nonlinearity in compression, and propose novel formulations for the two problems. We test the new formulations in several numerical examples and show significant reduction in iterations required for convergence, especially at large load steps. Notably, the proposed formulation is capable of yielding convergent solution even when 10 to 100 times larger load steps are applied. The proposed framework is generic and can be applied to other types of nonlinearities as well.


title: Spin networks on adiabatic quantum computer

abstract: The article is addressing a possibility of implementation of spin network states on adiabatic quantum computer. The discussion is focused on application of currently available technologies and analyzes a concrete example of D-Wave machine. A class of simple spin network states which can be implemented on the Chimera graph architecture of the D-Wave quantum processor is introduced. However, extension beyond the currently available quantum processor topologies is required to simulate more sophisticated spin network states, which may inspire development of new generations of adiabatic quantum computers. A possibility of simulating Loop Quantum Gravity is discussed and a method of solving a graph non-changing scalar (Hamiltonian) constraint with the use of adiabatic quantum computations is proposed.


title: Time-Slotted Scheduling Schemes for Multi-hop Concurrent Transmission in WPANs with Directional Antenna

abstract: To achieve high-speed (giga-bit) connectivity for short-range wireless multimedia applications, the millimeter-wave (mmWave) wireless personal area networks with directional antennas are gaining increased interest. Due to the use of directional antennas and mmWave communications, the probability of non-interfering transmissions increases in a localized region. Network throughput can be increased immensely by the concurrent time allocation of non-interfering transmissions. The problem of finding optimum time allocation for concurrent transmissions is an NP-hard problem. In this paper, we propose two enhanced versions of previously proposed multi-hop concurrent transmission (MHCT) schemes. To increase network capacity, the proposed schemes efficiently make use of the free holes in the time-allocation map of the MHCT scheme; thus, making it more compact.


title: G331.512-0.103: An Interstellar Laboratory for Molecular Synthesis I. The Ortho-to-para Ratios for CH$_3$OH and CH$_3$CN

abstract: Spectral line surveys reveal rich molecular reservoirs in G331.512-0.103, a compact radio source in the center of an energetic molecular outflow. In this first work, we analyse the physical conditions of the source by means of CH$_3$OH and CH$_3$CN. The observations were performed with the APEX telescope. Six different system configurations were defined to cover most of the band within (292-356) GHz; as a consequence we detected a forest of lines towards the central core. A total of 70 lines of $A/E$-CH$_3$OH and $A/E$-CH$_3$CN were analysed, including torsionally excited transitions of CH$_3$OH ($\nu_t$=1). In a search for all the isotopologues, we identified transitions of $^{13}$CH$_3$OH. The physical conditions were derived considering collisional and radiative processes. We found common temperatures for each $A$ and $E$ symmetry of CH$_3$OH and CH$_3$CN; the derived column densities indicate an $A/E$ equilibrated ratio for both tracers. The results reveal that CH$_3$CN and CH$_3$OH trace a hot and cold component with $T_k \sim$ 141 K and $T_k \sim$ 74 K, respectively. In agreement with previous ALMA observations, the models show that the emission region is compact ($\lesssim$ 5.5 arcsec) with gas density $n$(H$_2$)=(0.7-1) $\times$ 10$^7$ cm$^{-3}$. The CH$_3$OH/CH$_3$CN abundance ratio and the evidences for pre-biotic and complex organic molecules suggest a rich and active chemistry towards G331.512-0.103.


title: A search for new supernova remnant shells in the Galactic plane with H.E.S.S

abstract: A search for new supernova remnants (SNRs) has been conducted using TeV gamma-ray data from the H.E.S.S. Galactic plane survey. As an identification criterion, shell morphologies that are characteristic for known resolved TeV SNRs have been used. Three new SNR candidates were identified in the H.E.S.S. data set with this method. Extensive multiwavelength searches for counterparts were conducted. A radio SNR candidate has been identified to be a counterpart to HESS J1534-571. The TeV source is therefore classified as a SNR. For the other two sources, HESS J1614-518 and HESS J1912+101, no identifying counterparts have been found, thus they remain SNR candidates for the time being. TeV-emitting SNRs are key objects in the context of identifying the accelerators of Galactic cosmic rays. The TeV emission of the relativistic particles in the new sources is examined in view of possible leptonic and hadronic emission scenarios, taking the current multiwavelength knowledge into account.


title: Li-Yau inequality for unbounded Laplacian on graphs

abstract: In this paper, we derive Li-Yau inequality for unbounded Laplacian on complete weighted graphs with the assumption of the curvature-dimension inequality $CDE'(n,K)$, which can be regarded as a notion of curvature on graphs. Furthermore, we obtain some applications of Li-Yau inequality, including Harnack inequality, heat kernel bounds and Cheng's eigenvalue estimate. These are first kind of results on this direction for unbounded Laplacian on graphs.


title: Reconstruction Codes for DNA Sequences with Uniform Tandem-Duplication Errors

abstract: DNA as a data storage medium has several advantages, including far greater data density compared to electronic media. We propose that schemes for data storage in the DNA of living organisms may benefit from studying the reconstruction problem, which is applicable whenever multiple reads of noisy data are available. This strategy is uniquely suited to the medium, which inherently replicates stored data in multiple distinct ways, caused by mutations. We consider noise introduced solely by uniform tandem-duplication, and utilize the relation to constant-weight integer codes in the Manhattan metric. By bounding the intersection of the cross-polytope with hyperplanes, we prove the existence of reconstruction codes with greater capacity than known error-correcting codes, which we can determine analytically for any set of parameters.


title: A Digital Predistortion Scheme Exploiting Degrees-of-Freedom for Massive MIMO Systems

abstract: The primary source of nonlinear distortion in wireless transmitters is the power amplifier (PA). Conventional digital predistortion (DPD) schemes use high-order polynomials to accurately approximate and compensate for the nonlinearity of the PA. This is not practical for scaling to tens or hundreds of PAs in massive multiple-input multiple-output (MIMO) systems. There is more than one candidate precoding matrix in a massive MIMO system because of the excess degrees-of-freedom (DoFs), and each precoding matrix requires a different DPD polynomial order to compensate for the PA nonlinearity. This paper proposes a low-order DPD method achieved by exploiting massive DoFs of next-generation front ends. We propose a novel indirect learning structure which adapts the channel and PA distortion iteratively by cascading adaptive zero forcing precoding and DPD. Our solution uses a 3rd order polynomial to achieve the same performance as the conventional DPD using an 11th order polynomial for a 100x10 massive MIMO configuration. Experimental results show a 70% reduction in computational complexity, enabling ultra-low latency communications.


title: Natural Language Multitasking: Analyzing and Improving Syntactic Saliency of Hidden Representations

abstract: We train multi-task autoencoders on linguistic tasks and analyze the learned hidden sentence representations. The representations change significantly when translation and part-of-speech decoders are added. The more decoders a model employs, the better it clusters sentences according to their syntactic similarity, as the representation space becomes less entangled. We explore the structure of the representation space by interpolating between sentences, which yields interesting pseudo-English sentences, many of which have recognizable syntactic structure. Lastly, we point out an interesting property of our models: The difference-vector between two sentences can be added to change a third sentence with similar features in a meaningful way.


title: Characterizing Complementary Bipolar Junction Transistors by Early Modelling, Image Analysis, and Pattern Recognition

abstract: This work reports an approach to study complementary pairs of bipolar junction transistors, often used in push-pull circuits typically found at the output stages of operational amplifiers. After the data is acquired and pre-processed, an Early modeling approach is applied to estimate the two respective parameters (the Early voltage $V_a$ and the proportionality parameter $s$). A voting procedure, inspired on the Hough transform image analysis method, is adopted to improve the identification of $V_a$. Analytical relationships are derived between the traditional parameters current gain ($\beta$) and output resistance ($R_o$) and the two Early parameters. It is shown that $\beta$ tends to increase with $s$ for fixed $V_a$, while $R_o$ depends only on $V_a$, varying linearly with this parameter. Several interesting results are obtained with respect to 7 pairs of complementary BJTs, each represented by 10 samples. First, we have that the considered BJTs occupy a restricted band along the Early parameter space, and also that the NPN and PNP groups are mostly segregated into two respective regions in this space. In addition, PNP devices tended to present an intrinsically larger parameter variation. The NPN group tended to have higher $V_a$ magnitude and smaller $s$ than PNP devices. NPN transistors yielded comparable $\beta$ and larger $R_o$ than PNP transistors. A pattern recognition method was employed to obtain a linear separatrix between the NPN and PNP groups in the Early space and the respective average parameters were used to estimate respective prototype devices. Two complementary pairs of the real-world BJTs with large and small parameters differences were used in three configurations of push pull circuits, and the respective total harmonic distortions were measured and discussed, indicating a definite influence of parameter matching on the results.


title: On power subgroups of Dehn twists in hyperelliptic mapping class groups

abstract: This paper contains two topics, the index of a power subgroup in the mapping class group $\mathcal{M}(0,2n)$ of a $2n$-punctured sphere and in the hyperelliptic mapping class group $\Delta(g,0)$ of an oriented closed surface of genus $g$. The main tool is a projective representation of $\mathcal{M}(0,2n)$ obtained through the Kauffman bracket skein module. For $\mathcal{M}(0,2n)$, we prove that the normal closure of the fifth power of a half-twist has infinite index. This is the remaining case of a Masbaum's work. For $\Delta(g,0)$, we consider the normal closure of $m$-th powers of Dehn twists along all symmetric simple closed curves. We show the subgroup has infinite index if $m\geq 5$ and $m\neq 6$ for any $g\geq 2$.


title: In-RDBMS Hardware Acceleration of Advanced Analytics

abstract: The data revolution is fueled by advances in machine learning, databases, and hardware design. Programmable accelerators are making their way into each of these areas independently. As such, there is a void of solutions that enables hardware acceleration at the intersection of these disjoint fields. This paper sets out to be the initial step towards a unifying solution for in-Database Acceleration of Advanced Analytics (DAnA). Deploying specialized hardware, such as FPGAs, for in-database analytics currently requires hand-designing the hardware and manually routing the data. Instead, DAnA automatically maps a high-level specification of advanced analytics queries to an FPGA accelerator. The accelerator implementation is generated for a User Defined Function (UDF), expressed as a part of an SQL query using a Python-embedded Domain-Specific Language (DSL). To realize an efficient in-database integration, DAnA accelerators contain a novel hardware structure, Striders, that directly interface with the buffer pool of the database. Striders extract, cleanse, and process the training data tuples that are consumed by a multi-threaded FPGA engine that executes the analytics algorithm. We integrate DAnA with PostgreSQL to generate hardware accelerators for a range of real-world and synthetic datasets running diverse ML algorithms. Results show that DAnA-enhanced PostgreSQL provides, on average, 8.3x end-to-end speedup for real datasets, with a maximum of 28.2x. Moreover, DAnA-enhanced PostgreSQL is, on average, 4.0x faster than the multi-threaded Apache MADLib running on Greenplum. DAnA provides these benefits while hiding the complexity of hardware design from data scientists and allowing them to express the algorithm in =30-60 lines of Python.


title: A closed-form formula for pricing bonds between coupon payments

abstract: We derive a closed-form formula for computing bond prices between coupon payments. Our results cover both the `Treasury' and the `Street' pricing methods used by sovereign and corporate issuers. We apply our formulas to two UK gilts, the 8% Treasury Gilt 2015, and the 0.5% Treasury Gilt 2022, and show that we can obtain the dirty price of these bonds at any date with a minimum of calculations, and without intensive computational resources.


title: rcss: Subgradient and duality approach for dynamic programming

abstract: This short paper gives an introduction to the \emph{rcss} package. The R package \emph{rcss} provides users with a tool to approximate the value functions in the Bellman recursion using convex piecewise linear functions formed using operations on tangents. A pathwise method is then used to gauge the quality of the numerical results.


title: Multi-measures fusion based on multi-objective genetic programming for full-reference image quality assessment

abstract: In this paper, we exploit the flexibility of multi-objective fitness functions, and the efficiency of the model structure selection ability of a standard genetic programming (GP) with the parameter estimation power of classical regression via multi-gene genetic programming (MGGP), to propose a new fusion technique for image quality assessment (IQA) that is called Multi-measures Fusion based on Multi-Objective Genetic Programming (MFMOGP). This technique can automatically select the most significant suitable measures, from 16 full-reference IQA measures, used in aggregation and finds weights in a weighted sum of their outputs while simultaneously optimizing for both accuracy and complexity. The obtained well-performing fusion of IQA measures are evaluated on four largest publicly available image databases and compared against state-of-the-art full-reference IQA approaches. Results of comparison reveal that the proposed approach outperforms other state-of-the-art recently developed fusion approaches.


title: Geometric coherence and quantum state discrimination

abstract: The operational meaning of coherence measure lies at very heart of the coherence theory. In this paper, we provide an operational interpretation for geometric coherence, by proving that the geometric coherence of a quantum state is equal to the minimum error probability to discriminate a set of pure states with von Neumann measurement. On the other hand, we also show that a task to ambiguously discriminate a set of linearly independent pure states can be also regards as a problem of calculating geometric coherence. That is, we reveal an equivalence relation between ambiguous quantum state discrimination and geometric coherence. Based on this equivalence, moreover, we improve the upper bound for geometric coherence and give the explicit expression of geometric coherence for a class of states. Besides, we establish a complementarity relation of geometric coherence and path distinguishability, with which the relationship between $l_1$-norm of coherence and geometric coherence is obtained. Finally, with geometric coherence, we study multiple copies quantum state discrimination and give an example to show how to discriminate two pure states.


title: A new look inside Planetary Nebula LoTr 5: A long-period binary with hints of a possible third component

abstract: LoTr 5 is a planetary nebula with an unusual long-period binary central star. As far as we know, the pair consists of a rapidly rotating G-type star and a hot star, which is responsible for the ionization of the nebula. The rotation period of the G-type star is 5.95 days and the orbital period of the binary is now known to be $\sim$2700 days, one of the longest in central star of planetary nebulae. The spectrum of the G central star shows a complex H$\alpha$ double-peaked profile which varies with very short time scales, also reported in other central stars of planetary nebulae and whose origin is still unknown. We present new radial velocity observations of the central star which allow us to confirm the orbital period for the long-period binary and discuss the possibility of a third component in the system at $\sim$129 days to the G star. This is complemented with the analysis of archival light curves from SuperWASP, ASAS and OMC. From the spectral fitting of the G-type star, we obtain a effective temperature of $T_{\rm eff}$ = 5410$\pm$250 K and surface gravity of $\log g$ = 2.7$\pm$0.5, consistent with both giant and subgiant stars. We also present a detailed analysis of the H$\alpha$ double-peaked profile and conclude that it does not present correlation with the rotation period and that the presence of an accretion disk via Roche lobe overflow is unlikely.


title: Synchronization transition in Sakaguchi-Kuramoto model on complex networks with partial degree-frequency correlation

abstract: We investigate transition to synchronization in Sakaguchi-Kuramoto (SK) model on complex networks analytically as well as numerically. Natural frequencies of a percentage ($f$) of higher degree nodes of the network are assumed to be correlated with their degrees and that of the remaining nodes are drawn from some standard distribution namely Lorenz distribution. The effects of variation of $f$ and phase frustration parameter $\alpha$ on transition to synchronization are investigated in detail. Self-consistent equations involving critical coupling strength ($\lambda_c$) and group angular velocity ($\Omega_c$) at the onset of synchronization have been derived analytically in the thermodynamic limit. For the detailed investigation we considered SK model on scale-free as well as Erd\H{o}s-R\'{e}nyi (ER) networks. Interestingly explosive synchronization (ES) has been observed in both the networks for different ranges of values of $\alpha$ and $f$. For scale-free networks, as the value of $f$ is set within $10\% \leq f \leq 70\%$, the range of the values of $\alpha$ for existence of the ES is greatly enhanced compared to the fully degree-frequency correlated case. On the other hand, for random networks, ES observed in a narrow window of $\alpha$ when the value of $f$ is taken within $30\% \leq f \leq 50\%$. In all the cases critical coupling strengths for transition to synchronization computed from the analytically derived self-consistent equations show a very good agreement with the numerical results.


title: Boolean degree 1 functions on some classical association schemes

abstract: We investigate Boolean degree 1 functions for several classical association schemes, including Johnson graphs, Grassmann graphs, graphs from polar spaces, and bilinear forms graphs, as well as some other domains such as multislices (Young subgroups of the symmetric group). In some settings, Boolean degree 1 functions are also known as \textit{completely regular strength 0 codes of covering radius 1}, \textit{Cameron--Liebler line classes}, and \textit{tight sets}. We classify all Boolean degree $1$ functions on the multislice. On the Grassmann scheme $J_q(n, k)$ we show that all Boolean degree $1$ functions are trivial for $n \geq 5$, $k, n-k \geq 2$ and $q \in \{ 2, 3, 4, 5 \}$, and that for general $q$, the problem can be reduced to classifying all Boolean degree $1$ functions on $J_q(n, 2)$. We also consider polar spaces and the bilinear forms graphs, giving evidence that all Boolean degree $1$ functions are trivial for appropriate choices of the parameters.


title: The motivic Mahowald invariant

abstract: The classical Mahowald invariant is a method for producing nonzero classes in the stable homotopy groups of spheres from classes in lower stems. We study the Mahowald invariant in the setting of motivic stable homotopy theory over $Spec(\mathbb{C})$. We compute a motivic version of the $C_2$-Tate construction for various motivic spectra, and show that this construction produces "blueshift" in these cases. We use these computations to show that the Mahowald invariant of $\eta^i$, $i \geq 1$, is the first element in Adams filtration $i$ of the $w_1$-periodic families constructed by Andrews ~\cite{And14}. This provides an exotic periodic analog of Mahowald and Ravenel's computation ~\cite{MR93} that the classical Mahowald invariant of $2^i$, $i \geq 1$, is the first element in Adams filtration $i$ of the $v_1$-periodic families constructed by Adams ~\cite{Ada66}.


title: The contact binary VW Cephei revisited: surface activity and period variation

abstract: Context. Despite the fact that VW Cephei is one of the well-studied contact binaries in the literature, there is no fully consistent model available that can explain every observed property of this system. Aims. Our motivation is to obtain new spectra along with photometric measurements, to analyze what kind of changes may have happened in the system in the past two decades, and to propose new ideas for explaining them. Methods. For the period analysis we determined 10 new times of minima from our light curves, and constructed a new O$-$C diagram of the system. Radial velocities of the components were determined using the cross-correlation technique. The light curves and radial velocities were modelled simultaneously with the PHOEBE code. All observed spectra were compared to synthetic spectra and equivalent widths of the H$\alpha$ line were measured on their differences. Results. We have re-determined the physical parameters of the system according to our new light curve and spectral models. We confirm that the primary component is more active than the secondary, and there is a correlation between spottedness and the chromospheric activity. We propose that flip-flop phenomenon occurring on the primary component could be a possible explanation of the observed nature of the activity. To explain the period variation of VW Cep, we test two previously suggested scenarios: presence of a fourth body in the system, and the Applegate-mechanism caused by periodic magnetic activity. We conclude that although none of these mechanisms can be ruled out entirely, the available data suggest that mass transfer with a slowly decreasing rate gives the most likely explanation for the period variation of VW Cep.


title: The annoying null boundaries

abstract: We consider a class of globally hyperbolic space-times with "expanding singularities". Under suitable assumptions we show that no $C^0$-extensions across a compact boundary exist, while the boundary must be null wherever differentiable (which is almost everywhere) in the non-compact case.


title: Characterising the nature of Subpulse Drifting in Pulsars

abstract: We report a detailed study of subpulse drifting in four long period pulsars. These pulsars were observed in the Meterwavelength Single-pulse Polarimetric Emission Survey and the presence of phase modulated subpulse drifting was reported in each case. We have carried out longer duration and more sensitive observations lasting 7000-12000 periods, between frequency range of 306 and 339 MHz. The drifting features were characterised in great detail including the phase variations across the pulse window. In two pulsars J0820$-$1350 and J1720$-$2933 the phases changed steadily across the pulse window. The pulsar J1034$-$3224 has five components. The leading component was very weak and was barely detectable in our observations. The four trailing components showed the presence of subpulse drifting. The phase variations changed in alternate components with a reversal in the sign of the gradient. This phenomenon is known as bi-drifting. The pulsar J1555$-$3134 showed the presence of two distinct peak frequencies of comparable strengths in the fluctuation spectrum. The two peaks did not appear to be harmonically related and were most likely a result of different physical processes. Additionally, the long observations enabled us to explore the temporal variations of the drifting features. The subpulse drifting was largely constant with time but small fluctuations around a mean value was seen.


title: Reason and Method in Einstein's Relativity

abstract: Relativity was Einstein's main research program and scientific project. It was an open-ended program that developed throughout Einstein's scientific career, giving rise to special relativity, general relativity and unified field theory. In this paper, we want to uncover the methodological logic of the Einsteinian program, which animated the whole program and its development, and as it was revealed in SR, GR, and unified field theory. We aver that the same methodological logic animated all these theories as Einstein's work progressed. Each of these theories contributed towards constructing Einstein's ambitious program. This paper is not a paper in the history of Relativity, but, rather, it utilizes our knowledge of this history to uncover the methodological logic of the relativity program and its development. This logic is latent in the historical narrative, but is not identical to it. We hope to show that the Einsteinian relativity project is still relevant today as a theoretical scheme, despite its failures and despite quantum mechanics.


title: The Higson-Roe sequence for \'{e}tale groupoids. I. Dual algebras and compatibility with the BC map

abstract: We introduce the dual Roe algebras for proper \'{e}tale groupoid actions and deduce the expected Higson-Roe short exact sequence. When the action is cocompact, we show that the Roe $C^*$-ideal of locally compact operators is Morita equivalent to the reduced $C^*$-algebra of our groupoid, and we further identify the boundary map of the associated periodic six-term exact sequence with the Baum-Connes map, via a Paschke-Higson map for groupoids. For proper actions on continuous families of manifolds of bounded geometry, we associate with any $G$-equivariant Dirac-type family, a coarse index class which generalizes the Paterson index class and also the Moore-Schochet Connes' index class for laminations.


title: Constrained locating arrays for combinatorial interaction testing

abstract: This paper introduces the notion of Constrained Locating Arrays (CLAs), mathematical objects which can be used for fault localization in software testing. CLAs extend ordinary locating arrays to make them applicable to testing of systems that have constraints on test parameters. Such constraints are common in real-world systems; thus CLA enhances the applicability of locating arrays to practical testing problems. The paper also proposes an algorithm for constructing CLAs. Experimental results show that the proposed algorithm scales to problems of practical sizes.


title: Setting the Foundation for Scientific Inquiry and Computational Thinking in Early Childhood using Lego Machines and Mechanism Education Kit

abstract: We present a case study and an experience report on teaching engineering skills to young learners in the 7 to 10 years age group. Teaching engineering skills through a constructivist approach involving hands-on activities by designing and building machines and mechanism through concrete objects helps in developing the problem solving abilities of the child. Such activities also helps in laying the foundation for computer programming courses and scientific inquiry at elementary level. We present a learning environment and a curriculum using Lego simple machines and mechanism kit. Our objective is not only to teach concepts of basic machines but also develop essential skills like team work and collaboration, communication and time management in students belonging to the early childhood age group. We conduct experiments on a batch of five students during a summer camp and used a mixed method approach to collect both qualitative and quantitative data about their learning and behavior. Our research and findings provides empirical evidences that it is possible to develop engineering skills at early childhood level in addition to developing language literacy and mathematical thinking.


title: Optimal Weighting for Exam Composition

abstract: A problem faced by many instructors is that of designing exams that accurately assess the abilities of the students. Typically these exams are prepared several days in advance, and generic question scores are used based on rough approximation of the question difficulty and length. For example, for a recent class taught by the author, there were 30 multiple choice questions worth 3 points, 15 true/false with explanation questions worth 4 points, and 5 analytical exercises worth 10 points. We describe a novel framework where algorithms from machine learning are used to modify the exam question weights in order to optimize the exam scores, using the overall class grade as a proxy for a student's true ability. We show that significant error reduction can be obtained by our approach over standard weighting schemes, and we make several new observations regarding the properties of the "good" and "bad" exam questions that can have impact on the design of improved future evaluation methods.


title: Analysis of the Relation between Artificial Intelligence and the Internet from the Perspective of Brain Science

abstract: Artificial intelligence (AI) like deep learning, cloud AI computation has been advancing at a rapid pace since 2014. There is no doubt that the prosperity of AI is inseparable with the development of the Internet. However, there has been little attention to the link between AI and the internet. This paper explores them with brain insights mainly from four views:1) How is the general relation between artificial intelligence and Internet of Things, cloud computing, big data and Industrial Internet from the perspective of brain science. 2) Construction of a new AI system model with the Internet and brain science.


title: Ordered group-valued probability, positive operators, and integral representations

abstract: Probability maps are additive and normalised maps taking values in the unit interval of a lattice ordered Abelian group. They appear in theory of affine representations and they are also a semantic counterpart of Hajek's probability logic. In this paper we obtain a correspondence between probability maps and positive operators between certain Riesz spaces, which extends the well-known representation theorem of real-valued MV-algebraic states by positive linear functionals. When the codomain algebra contains all continuous functions, the set of all probability maps is convex, and we prove that its extreme points coincide with homomorphisms. We also show that probability maps can be viewed as a collection of states indexed by maximal ideals of a codomain algebra and we characterise this collection in special cases.


title: Conditions for wave trains in spiking neural networks

abstract: Spatiotemporal patterns such as traveling waves are frequently observed in recordings of neural activity. The mechanisms underlying the generation of such patterns are largely unknown. Previous studies have investigated the existence and uniqueness of different types of waves or bumps of activity using neural-field models, phenomenological coarse-grained descriptions of neural-network dynamics. But it remains unclear how these insights can be transferred to more biologically realistic networks of spiking neurons, where individual neurons fire irregularly. Here, we employ mean-field theory to reduce a microscopic model of leaky integrate-and-fire (LIF) neurons with distance-dependent connectivity to an effective neural-field model. In contrast to existing phenomenological descriptions, the dynamics in this neural-field model depends on the mean and the variance in the synaptic input, both determining the amplitude and the temporal structure of the resulting effective coupling kernel. For the neural-field model we employ liner stability analysis to derive conditions for the existence of spatial and temporal oscillations and wave trains, that is, temporally and spatially periodic traveling waves. We first prove that wave trains cannot occur in a single homogeneous population of neurons, irrespective of the form of distance dependence of the connection probability. Compatible with the architecture of cortical neural networks, wave trains emerge in two-population networks of excitatory and inhibitory neurons as a combination of delay-induced temporal oscillations and spatial oscillations due to distance-dependent connectivity profiles. Finally, we demonstrate quantitative agreement between predictions of the analytically tractable neural-field model and numerical simulations of both networks of nonlinear rate-based units and networks of LIF neurons.


title: Engagement in Foundational Computer Science Courses Through Supplementary Content for Algorithms

abstract: Engaging students in teaching foundational Computer Science concepts is vital for the student's continual success in more advanced topics in the field. An idea of a series of Jupyter notebooks was conceived as a way of using Bloom's Taxonomy to reinforce concepts taught in an introductory algorithms class. The idea of the notebook is to keep the student's engaged in the lesson and in turn motivate them to persevere through the end of the course.


title: Deep Learning for Fatigue Estimation on the Basis of Multimodal Human-Machine Interactions

abstract: The new method is proposed to monitor the level of current physical load and accumulated fatigue by several objective and subjective characteristics. It was applied to the dataset targeted to estimate the physical load and fatigue by several statistical and machine learning methods. The data from peripheral sensors (accelerometer, GPS, gyroscope, magnetometer) and brain-computing interface (electroencephalography) were collected, integrated, and analyzed by several statistical and machine learning methods (moment analysis, cluster analysis, principal component analysis, etc.). The hypothesis 1 was presented and proved that physical activity can be classified not only by objective parameters, but by subjective parameters also. The hypothesis 2 (experienced physical load and subsequent restoration as fatigue level can be estimated quantitatively and distinctive patterns can be recognized) was presented and some ways to prove it were demonstrated. Several "physical load" and "fatigue" metrics were proposed. The results presented allow to extend application of the machine learning methods for characterization of complex human activity patterns (for example, to estimate their actual physical load and fatigue, and give cautions and advice).


title: Effects of Home Resources and School Environment on Eighth-Grade Mathematics Achievement in Taiwan

abstract: Over the past decades, researchers have explored the relationship among home resources, school environment, and students' mathematics achievement in a large amount of studies. Many of them suggested that rich home resources for learning were related to higher average academic achievement. Some also suggested that the home background was closely associated with the learning environment, and therefore, influenced students' achievements. Thus, this study hypothesized that students who own more home resources would perform better than students who possess fewer resources and that schools that have more socioeconomically advantaged students, located in high-income neighborhoods, and possess more instructional resources would have better mathematics performance. The study focuses on eighth graders in Taiwan and explores the variance in mathematics achievement of students as a function of student and school level differences.


title: A taxonomy of video lecture styles

abstract: Many educational organizations are employing instructional video in their pedagogy, but there is limited understanding of the possible presentation styles. In practice, the presentation style of video lectures ranges from a direct recording of classroom teaching with a stationary camera and screencasts with voice-over, up to highly elaborate video post-production. Previous work evaluated the effectiveness of several presentation styles, but there has not been any consistent taxonomy, which would have made comparisons and meta-analyses possible. In this article, we surveyed the research literature and we examined contemporary video-based courses, which have been produced by diverse educational organizations and teachers across various academic disciplines. We organized video lectures in two dimensions according to the level of human presence and according to the type of instructional media. In addition to organizing existing video lectures in a comprehensive way, the proposed taxonomy offers a design space that facilitates the choice of a suitable presentation style, as well as the preparation of new ones.


title: Noncommutative effects of charged black hole on holographic superconductors

abstract: In this paper, we analytically investigate the noncommutative effects of a charged black hole on holographic superconductors. The effects of charge of the black hole is investigated in our study. Employing the Sturm-Liouville eigenvalue method, the relation between the critical temperature and charge density is analytically investigated. The condensation operator is then computed. It is observed that condensate gets harder to form for large values of charge of the black hole.


title: Big Data and Learning Analytics in Higher Education: Demystifying Variety, Acquisition, Storage, NLP and Analytics

abstract: Different sectors have sought to take advantage of opportunities to invest in big data analytics and Natural language processing, in order to improve their productivity and competitiveness. Current challenges facing the higher education sector include a rapidly changing and evolving environment, which necessitates the development of new ways of thinking. Interest has therefore increased in analytics as part of the solution to many issues in higher education, including the rate of student attrition and learner support. This study provides a comprehensive discussion of big data, learning analytics and use of NLP in higher education. In addition, it introduces an integrated learning analytics solution leveraging a distributed technology system capable of supporting academic authorities and advisors at educational institutions in making decisions concerning individual students.


title: Lab Based Curriculum for CIS and Related Technology

abstract: The Computer Information System (CIS) is information and communication technology in support of business processes. In this paper, we present a typical undergraduate computer information system curriculum examining the degree of lab intensity and its effect on the course efficacy. A CIS program is usually part of the school of business as it is in support of business processes. We also explore the differences between a CIS curriculum and other computer related technology courses, such as Information Technology (IT), Computer Science (CS), and Software Engineering (SE). The curriculum is composed of several elements such as content and sequence of subjects, classrooms equipped with computer projection, internet, and local network access, and appropriate computing and software infrastructure. We will focus on the importance and adequacy of labs for the CIS curriculum. The proposed CIS curriculum works for a 4-year as well as a 3-year program. This paper provides a recommendation for local and Federal Accreditation agencies and curriculum committees.


title: The Four Dimensional Dirac Equation in Five Dimensions

abstract: The Dirac equation may be thought as originating from a theory of five-dimensional (5D) space-time. We define a special 5D Clifford algebra and introduce a spin-1/2 constraint equation to describe null propagation in a 5D space-time manifold. We explain how the 5D null formalism breaks down to four dimensions to recover two single-particle theories. Namely, we obtain Dirac's relativistic quantum mechanics and a formulation of statistical mechanics. Exploring the non-relativistic limit in five and four dimensions, we identify a new spin-electric interaction with possible applications to magnetic resonance spectroscopy (within quantum mechanics) and superconductivity (within statistical mechanics).


title: Detecting Low Rapport During Natural Interactions in Small Groups from Non-Verbal Behaviour

abstract: Rapport, the close and harmonious relationship in which interaction partners are "in sync" with each other, was shown to result in smoother social interactions, improved collaboration, and improved interpersonal outcomes. In this work, we are first to investigate automatic prediction of low rapport during natural interactions within small groups. This task is challenging given that rapport only manifests in subtle non-verbal signals that are, in addition, subject to influences of group dynamics as well as inter-personal idiosyncrasies. We record videos of unscripted discussions of three to four people using a multi-view camera system and microphones. We analyse a rich set of non-verbal signals for rapport detection, namely facial expressions, hand motion, gaze, speaker turns, and speech prosody. Using facial features, we can detect low rapport with an average precision of 0.7 (chance level at 0.25), while incorporating prior knowledge of participants' personalities can even achieve early prediction without a drop in performance. We further provide a detailed analysis of different feature sets and the amount of information contained in different temporal segments of the interactions.


title: The user's guide project: giving experiential context to research papers

abstract: This paper was written in 2015, and published in the Journal of Humanistic Mathematics. This paper announces the first issue (2015) of Enchiridion: Mathematics User's Guides, a project to produce peer-reviewed User's Guides as companions to published papers. These User's Guides are meant to explain the key insights and organizing principles in their companion papers, the metaphors and imagery used by the authors, the story of the development of the companion papers, and a colloquial summary appropriate for a non-mathematical audience. Examples of User's Guides can be found at https://mathusersguides.com/


title: Ontological Motivation in Obtaining Certain Quantum Equations: A Case for Panexperientialism

abstract: In this work I argue for the existence of an ontological state in which no entity in it can be more basic than the others in such a state. This is used to provide conceptual justification for a method that is applied to obtain the Schr\"{o}dinger equation, the Klein-Gordon equation, and the Klein-Gordon equation for a particle in an electromagnetic field. Additionally, it is argued that the existence of such state is incompatible with indirect realism; and the discussion suggests that a panexeperientialist view is a straightforward means to embrace it.


title: Output Feedback Control Based on State and Disturbance Estimation

abstract: Recently developed control methods with strong disturbance rejection capabilities provide a useful option for control design. The key lies in a general concept of disturbance and effective ways to estimate and compensate the disturbance. This work extends the concept of disturbance as the mismatch between a system model and the true dynamics, and estimates and compensates the disturbance for multi-input multi-output linear/nonlinear systems described in a general form. The results presented do not need to assume the disturbance to be independent of the control inputs or satisfy a certain matching condition, and do not require the system to be expressible in an integral canonical form as required by algorithms previously described in literature. The estimator and controller are designed under a state tracking framework, and sufficient conditions for the closed-loop stability are presented. The performance of the resulting controller relies on a co-design of the system model, the state and disturbance observer, and the controller. Numerical experiments on a first-order system and an inverted pendulum under uncertainties are used to illustrate the control design method and demonstrate its efficacy.


title: Tamil Open-Source Landscape - Opportunities and Challenges

abstract: We report in this paper, Tamil open-source software community is a vibrant place with software developers, font designers, translators, voice-over artists, and general user testers, who come together for love of their language, and promotion of critical thinking, and modern language usage in Tamil. We identify a need for institutional support at various stages from grooming software developers in Tamil, to marketing platform for Tamil software. There is bright future for tamil software if we will meet challenges it brings with it.


title: Flat ideals in the unit interval with the canonical fuzzy order

abstract: A characterization of flat ideals in the unit interval with the canonical fuzzy order is obtained with the help of the ordinal sum decomposition of continuous t-norms. This characterization will be useful in the study of topological and domain theoretic properties of fuzzy orders.


title: Double Stage Delay Multiply and Sum Beamforming Algorithm Applied to Ultrasound Medical Imaging

abstract: In Ultrasound (US) imaging, Delay and Sum (DAS) is the most common beamformer, but it leads to low quality images. Delay Multiply and Sum (DMAS) was introduced to address this problem. However, the reconstructed images using DMAS still suffer from level of sidelobes and low noise suppression. In this paper, a novel beamforming algorithm is introduced based on the expansion of DMAS formula. It is shown that there is a DAS algebra inside the expansion, and it is proposed to use DMAS instead of the DAS algebra. The introduced method, namely Double Stage DMAS (DS-DMAS), is evaluated numerically and experimentally. The quantitative results indicate that DS-DMAS results in about 25% lower level of sidelobes compared to DMAS. Moreover, the introduced method leads to 23%, 22% and 43% improvement in Signal-to-Noise Ratio, Full-Width-Half-Maximum and Contrast Ratio, respectively, in comparison with DMAS beamformer.


title: Multi-fidelity uncertainty quantification of irradiated particle-laden turbulence

abstract: The study of complex systems is often based on computationally intensive, high-fidelity, simulations. To build confidence in the prediction accuracy of such simulations, the impact of uncertainties in model inputs on the quantities of interest must be measured. This, however, requires a computational budget that is a possibly large multiple of the cost of a single simulation, and thus may become infeasible for expensive simulation models featuring a large number of uncertain inputs and highly nonlinear behavior. Therefore, this work explores multi-fidelity strategies to accelerate the estimation of the effect of uncertainties. The main idea behind multi-fidelity models is to utilize cheaper, lower-fidelity models - than the intended high-fidelity, expensive model of the problem - to generate a baseline solution that together, with relatively small number of high-fidelity simulations can lead to accurate predictions. The methods are briefly presented, and their performance assessed on an irradiated particle-laden turbulent flow case related to Stanford's PSAAP II particle-based solar energy receiver.


title: Constituent quarks and systematic errors in mid-rapidity charged multiplicity $dN_{\rm ch}/d\eta$ distributions

abstract: Centrality definition in A$+$A collisions at colliders such as RHIC and LHC suffers from a correlated systematic uncertainty caused by the efficiency of detecting a p$+$p collision ($50\pm 5\%$ for PHENIX at RHIC). In A$+$A collisions where centrality is measured by the number of nucleon collisions, $N_{\rm coll}$, or the number of nucleon participants, $N_{\rm part}$, or the number of constituent quark participants, $N_{\rm qp}$, the error in the efficiency of the primary interaction trigger (Beam-Beam Counters) for a p$+$p collision leads to a correlated systematic uncertainty in $N_{\rm part}$, $N_{\rm coll}$ or $N_{\rm qp}$ which reduces binomially as the A$+$A collisions become more central. If this is not correctly accounted for in projections of A$+$A to p$+$p collisions, then mistaken conclusions can result. A recent example is presented in whether the mid-rapidity charged multiplicity per constituent quark participant $({dN_{\rm ch}/d\eta})/{N_{\rm qp}}$ in Au$+$Au at RHIC was the same as the value in p$+$p collisions.


title: Boundedness and compactness of commutators associated with Lipschitz functions

abstract: Let $\alpha\in (0, 1]$, $\beta\in [0, n)$ and $T_{\Omega,\beta}$ be a singular or fractional integral operator with homogeneous kernel $\Omega$. In this article, a CMO type space ${\rm CMO}_\alpha(\mathbb R^n)$ is introduced and studied. In particular, the relationship between ${\rm CMO}_\alpha(\mathbb R^n)$ and the Lipchitz space $Lip_\alpha(\mathbb R^n)$ is discussed. Moreover, a necessary condition of restricted boundedness of the iterated commutator $(T_{\Omega,\beta})^m_b$ on weighted Lebesgue spaces via functions in $Lip_\alpha(\mathbb R^n)$, and an equivalent characterization of the compactness for $(T_{\Omega,\beta})^m_b$ via functions in ${\rm CMO}_\alpha(\mathbb R^n)$ are obtained. Some results are new even in the unweighted setting for the first order commutators.


title: Wildly Compatible Systems and Six Operations

abstract: For a scheme $X$ separated and of finite type over an excellent regular scheme $S$, we define wildly compatible systems of constructible sheaves of modules over finite fields on $X$ for certain vector spaces $V$. The main result is that for $\dim S \leq 1$, wildly compatible systems are preserved by Grothendieck's six operations and Verdier's duality. Finally, for a smooth integral scheme $X$ over a finite field, we prove that all $\ell$-adic compatible systems gives wildly compatible systems.


title: RED-Net: A Recurrent Encoder-Decoder Network for Video-based Face Alignment

abstract: We propose a novel method for real-time face alignment in videos based on a recurrent encoder-decoder network model. Our proposed model predicts 2D facial point heat maps regularized by both detection and regression loss, while uniquely exploiting recurrent learning at both spatial and temporal dimensions. At the spatial level, we add a feedback loop connection between the combined output response map and the input, in order to enable iterative coarse-to-fine face alignment using a single network model, instead of relying on traditional cascaded model ensembles. At the temporal level, we first decouple the features in the bottleneck of the network into temporal-variant factors, such as pose and expression, and temporal-invariant factors, such as identity information. Temporal recurrent learning is then applied to the decoupled temporal-variant features. We show that such feature disentangling yields better generalization and significantly more accurate results at test time. We perform a comprehensive experimental analysis, showing the importance of each component of our proposed model, as well as superior results over the state of the art and several variations of our method in standard datasets.


title: The radiative corrections to double-Dalitz decays revisited

abstract: In this study, we revisit and complete the full next-to-leading order corrections to pseudoscalar double-Dalitz decays within the soft-photon approximation. Comparing to the previous study, we find small differences, which are nevertheless relevant for extracting information about the pseudoscalar transition form factors. Concerning the latter, these processes could offer the opportunity to test them-for the first time-in their double-virtual regime


title: Light curve solutions of the eclipsing eccentric binaries KIC 8111622, KIC 10518735, KIC 8196180 and their out-of-eclipse variability

abstract: We determined the orbits and stellar parameters of three eccentric eclipsing binaries by light curve solutions of their Kepler data. KIC 8111622 and KIC 10518735 undergo total eclipses while KIC 8196180 reveals partial eclipses. The target components are G and K stars, excluding the primary of KIC 8196180 which is early F star. KIC 8196180 reveals well-visible tidally-induced feature at periastron, i.e. it is an eclipsing heartbeat star. The characteristics of the observed periastron feature (shape, width and amplitude) confirm the theoretical predictions. There are additional out-of-eclipse variations of KIC 8196180 with the orbital period which may be explained by spot activity of synchronously rotating component. Besides worse visible periastron feature KIC 811162 exhibits small amplitude light variations whose period is around 2.3 times shorter than the orbital one. These oscillations were attributed to spot(s) on asynchronously rotating component.


title: Graphical models for mediation analysis

abstract: Mediation analysis seeks to infer how much of the effect of an exposure on an outcome can be attributed to specific pathways via intermediate variables or mediators. This requires identification of so-called path-specific effects. These express how a change in exposure affects those intermediate variables (along certain pathways), and how the resulting changes in those variables in turn affect the outcome (along subsequent pathways). However, unlike identification of total effects, adjustment for confounding is insufficient for identification of path-specific effects because their magnitude is also determined by the extent to which individuals who experience large exposure effects on the mediator, tend to experience relatively small or large mediator effects on the outcome. This chapter therefore provides an accessible review of identification strategies under general nonparametric structural equation models (with possibly unmeasured variables), which rule out certain such dependencies. In particular, it is shown which path-specific effects can be identified under such models, and how this can be done.


title: Approximate Early Output Asynchronous Adders Based on Dual-Rail Data Encoding and 4-Phase Return-to-Zero and Return-to-One Handshaking

abstract: Approximate computing is emerging as an alternative to accurate computing due to its potential for realizing digital circuits and systems with low power dissipation, less critical path delay, and less area occupancy for an acceptable trade-off in the accuracy of results. In the domain of computer arithmetic, several approximate adders and multipliers have been designed and their potential have been showcased versus accurate adders and multipliers for practical digital signal processing applications. Nevertheless, in the existing literature, almost all the approximate adders and multipliers reported correspond to the synchronous design method. In this work, we consider robust asynchronous i.e. quasi-delay-insensitive realizations of approximate adders by employing delay-insensitive codes for data representation and processing, and the 4-phase handshake protocols for data communication. The 4-phase handshake protocols used are the return-to-zero and the return-to-one protocols. Specifically, we consider the implementations of 32-bit approximate adders based on the return-to-zero and return-to-one handshake protocols by adopting the delay-insensitive dual-rail code for data encoding. We consider a range of approximations varying from 4-bits to 20-bits for the least significant positions of the accurate 32-bit asynchronous adder. The asynchronous adders correspond to early output (i.e. early reset) type, which are based on the well-known ripple carry adder architecture. The experimental results show that approximate asynchronous adders achieve reductions in the design metrics such as latency, cycle time, average power dissipation, and silicon area compared to the accurate asynchronous adders. Further, the reductions in the design metrics are greater for the return-to-one protocol compared to the return-to-zero protocol. The design metrics were estimated using a 32/28nm CMOS technology.


title: Quiver varieties and symmetric pairs

abstract: We study fixed-point loci of Nakajima varieties under symplectomorphisms and their anti-symplectic cousins, which are compositions of a diagram automorphism, a reflection functor and a transpose defined by certain bilinear forms. These subvarieties provide a natural home for geometric representation theory of symmetric pairs. In particular, the cohomology of a Steinberg-type variety of the symplectic fixed-point subvarieties is conjecturally related to the universal enveloping algebra of the subalgebra in a symmetric pair. The latter symplectic subvarieties are further used to construct geometrically an action of a twisted Yangian on torus equivariant cohomology of Nakajima varieties. In type $A$ case, these subvarieties provide a quiver model for partial Springer resolutions of nilpotent Slodowy slices of classical groups and associated symmetric spaces, which leads to a rectangular symmetry and a refinement of Kraft-Procesi row/column removal reductions.


title: On a conjecture about Morita algebras

abstract: We give an example of a Morita algebra $A$ with a tilting module $T$ such that the algebra $End_A(T)$ has dominant dimension at least two but is not a Morita algebra. This provides a counterexample to a conjecture by Chen and Xi from \cite{CX}.