title: Targeting excited states in all-trans polyenes with electron-pair states

abstract: Wavefunctions restricted to electron pair states are promising models for strongly-correlated systems. Specifically, the pair Coupled Cluster Doubles (pCCD) ansatz allows us to accurately describe bond dissociation processes and heavy-element containing compounds with multiple quasi-degenerate single-particle states. Here, we extend the pCCD method to model excited states using the equation of motion (EOM) formalism. As the cluster operator of pCCD is restricted to electron-pair excitations, EOM-pCCD allows us to target excited electron-pair states only. To model singly excited states within EOM-pCCD, we modify the configuration interaction ansatz of EOM-pCCD to contain also single excitations. Our proposed model represents a simple and cost-effective alternative to conventional EOM-CC methods to study singly excited electronic states. The performance of the excited state models is assessed against the lowest-lying excited states of the uranyl cation and the two lowest-lying excited states of all-trans polyenes. Our numerical results suggest that EOM-pCCD including single excitations is a good starting point to target singly excited states.


title: Targeting doubly-excited states with Equation of Motion Coupled Cluster theory restricted to double excitations

abstract: The accurate description of doubly-excited states using conventional electronic structure methods is remarkably challenging, primarily because such excited states require the inclusion of doubly or higher excited configurations or the application of multi-reference methods. We present a new approach to target electronically excited states that feature a double-electron transfer. Our method uses the equation of motion (EOM) formalism with a pair coupled cluster doubles (pCCD) reference function, where dynamical correlation is accounted for by a linearized coupled cluster correction with singles and doubles (LCCSD). Specifically, our proposed EOM-pCCD-LCCSD model represents a simplification of the conventional EOM-CCSD approach, where the electron-pair amplitudes of CCSD are tailored by pCCD. The performance of EOM-pCCD-LCCSD is assessed for the lowest-lying excited states in CH$^+$ and all-trans polyenes. In contrast to conventional EOM-CC methods with at most double excitations, EOM-pCCD-LCCSD predicts the right order of states in polyenes with excitation energies closest to experiment, outperforming even highly-accurate methods such as the density matrix renormalization group algorithm.


title: QCL-based frequency metrology from the mid-infrared to the THz range: a review

abstract: Quantum cascade lasers (QCLs) are becoming a key tool for plenty of applications, from the mid-infrared (mid-IR) to the THz range. Progress in related areas, such as the development of ultra-low-loss crystalline microresonators, optical frequency standards, and optical fiber networks for time and frequency dissemination, is paving the way for unprecedented applications in many fields. For most demanding applications, a thorough control of QCLs emission must be achieved. In the last few years, QCLs unique spectral features have been unveiled, while multifrequency QCLs have been demonstrated. Ultra-narrow frequency linewidths are necessary for metrological applications, ranging from cold molecules interaction and ultra-high sensitivity spectroscopy to infrared-THz metrology. A review of the present status of research in this field is presented, with a view of perspectives and future applications.


title: A quasi-optimal variant of the Hybrid High-Order method for elliptic PDEs with $H^{-1}$ loads

abstract: Hybrid High-Order methods for elliptic diffusion problems have been originally formulated for loads in the Lebesgue space $L^2(\Omega)$. In this paper we devise and analyze a variant thereof, which is defined for any load in the dual Sobolev space $H^{-1}(\Omega)$. The main feature of the present variant is that its $H^1$-norm error can be bounded only in terms of the $H^1$-norm best error in a space of broken polynomials. We establish this estimate with the help of recent results on the quasi-optimality of nonconforming methods. We prove also an improved error bound in the $L^2$-norm by duality. Compared to previous works on quasi-optimal nonconforming methods, the main novelties are that Hybrid High-Order methods handle pairs of unknowns, and not a single function, and, more crucially, that these methods employ a reconstruction that is one polynomial degree higher than the discrete unknowns. The proposed modification affects only the formulation of the discrete right-hand side. This is obtained by properly mapping discrete test functions into $H^1_0(\Omega)$.


title: Superconductivity of strongly correlated electrons on the honeycomb lattice

abstract: A microscopic theory of the electronic spectrum and of superconductivity within the t-J model on the honeycomb lattice is developed. We derive the equations for the normal and anomalous Green functions in terms of the Hubbard operators by applying the projection technique. Superconducting pairing of d + id'-type mediated by the antiferromagnetic exchange is found. The superconducting Tc as a function of hole doping exhibits a two-peak structure related to the van Hove singularities of the density of states for the two-band t-J model. At half-filling and for large enough values of the exchange coupling, gapless superconductivity may occur. For small doping the coexistence of antiferromagnetic order and superconductivity is suggested. It is shown that the s-wave pairing is prohibited, since it violates the constraint of no-double-occupancy.


title: A scalable saliency-based Feature selection method with instance level information

abstract: Classic feature selection techniques remove those features that are either irrelevant or redundant, achieving a subset of relevant features that help to provide a better knowledge extraction. This allows the creation of compact models that are easier to interpret. Most of these techniques work over the whole dataset, but they are unable to provide the user with successful information when only instance information is needed. In short, given any example, classic feature selection algorithms do not give any information about which the most relevant information is, regarding this sample. This work aims to overcome this handicap by developing a novel feature selection method, called Saliency-based Feature Selection (SFS), based in deep-learning saliency techniques. Our experimental results will prove that this algorithm can be successfully used not only in Neural Networks, but also under any given architecture trained by using Gradient Descent techniques.


title: Biometric Template Storage with Blockchain: A First Look into Cost and Performance Tradeoffs

abstract: We explore practical tradeoffs in blockchain-based biometric template storage. We first discuss opportunities and challenges in the integration of blockchain and biometrics, with emphasis in biometric template storage and protection, a key problem in biometrics still largely unsolved. Blockchain technologies provide excellent architectures and practical tools for securing and managing the sensitive and private data stored in biometric templates, but at a cost. We explore experimentally the key tradeoffs involved in that integration, namely: latency, processing time, economic cost, and biometric performance. We experimentally study those factors by implementing a smart contract on Ethereum for biometric template storage, whose cost-performance is evaluated by varying the complexity of state-of-the-art schemes for face and handwritten signature biometrics. We report our experiments using popular benchmarks in biometrics research, including deep learning approaches and databases captured in the wild. As a result, we experimentally show that straightforward schemes for data storage in blockchain (i.e., direct and hash-based) may be prohibitive for biometric template storage using state-of-the-art biometric methods. A good cost-performance tradeoff is shown by using a blockchain approach based on Merkle trees.


title: On the regularity of critical points for O'Hara's knot energies: From smoothness to analyticity

abstract: We prove the analyticity of smooth critical points for O'Hara's knot energies $\mathcal{E}^{\alpha,p}$, with $p=1$ and $2<\alpha< 3$, subject to a fixed length constraint. This implies, together with the main result in \cite{BR13}, that bounded energy critical points of $\mathcal{E}^{\alpha,1}$ subject to a fixed length constraint are not only $C^\infty$ but also analytic. Our approach is based on Cauchy's method of majorants and a decomposition of the gradient that was adapted from the M\"obius energy case $\mathcal{E}^{2,1}$ in \cite{BV19}.


title: Noncommutative Geometry of Quantized Coverings

abstract: There are theories of coverings of $C^*$-algebras which can be included into a following list: coverings of commutative $C^*$-algebras, coverings of $C^*$-algebras of foliations, coverings of noncommutative tori, the double covering of the quantum group $SO_q(3)$. This work is devoted to a single general theory which includes all theories of this list, i.e. we develop a system of axioms which can be applied for every element of the list. Otherwise since topological coverings are related to the set of geometric constructions one can obtain noncommutative generalizations of these constructions. Here the generalizations of the universal covering space, fundamental group, homotopy theory, Hurewicz homomorphism, covering of the Riemannian manifold, flat connection are explained. The theory gives pure algebraic proof well known results of the topology and the differential geometry. Besides there are applications of the theory to (unbounded) operator spaces and this theme is also discussed here.


title: A matrix-free approach for finite-strain hyperelastic problems using geometric multigrid

abstract: The performance of finite element solvers on modern computer architectures is typically memory bound for sufficiently large problems. The main cause for this is that loading matrix elements from RAM into CPU cache is significantly slower than performing the arithmetic operations when solving the problem. In order to improve the performance of iterative solvers within the high-performance computing context, so-called matrix-free methods are widely adopted in the fluid mechanics community, where matrix-vector products are computed on-the-fly. To date, there have been few (if any) assessments into the applicability of the matrix-free approach to problems in solid mechanics. In this work, we perform an initial investigation on the application of the matrix-free approach to problems in quasi-static finite-strain hyperelasticity to determine whether it is viable for further extension. Specifically, we study different numerical implementations of the finite element tangent operator, and determine whether generalized methods of incorporating complex constitutive behavior might be feasible. In order to improve the convergence behavior of iterative solvers, we also propose a method by which to construct level tangent operators and employ them to define a geometric multigrid preconditioner. The performance of the matrix-free operator and the geometric multigrid preconditioner is compared to the matrix-based implementation with an algebraic multigrid preconditioner on a single node for a representative numerical example of a heterogeneous hyperelastic material in two and three dimensions. We conclude that the application of matrix-free methods to finite-strain solid mechanics is promising, and that is it possible to develop numerically efficient implementations that are independent of the hyperelastic constitutive law.


title: A critical analysis of self-supervision, or what we can learn from a single image

abstract: We look critically at popular self-supervision techniques for learning deep convolutional neural networks without manual labels. We show that three different and representative methods, BiGAN, RotNet and DeepCluster, can learn the first few layers of a convolutional network from a single image as well as using millions of images and manual labels, provided that strong data augmentation is used. However, for deeper layers the gap with manual supervision cannot be closed even if millions of unlabelled images are used for training. We conclude that: (1) the weights of the early layers of deep networks contain limited information about the statistics of natural images, that (2) such low-level statistics can be learned through self-supervision just as well as through strong supervision, and that (3) the low-level statistics can be captured via synthetic transformations instead of using a large image dataset.


title: Amenability and paradoxicality in semigroups and C*-algebras

abstract: We analyze the dichotomy amenable/paradoxical in the context of (discrete, countable, unital) semigroups and corresponding semigroup rings. We consider also F{\o}lner's type characterizations of amenability and give an example of a semigroup whose semigroup ring is algebraically amenable but has no F{\o}lner sequence. In the context of inverse semigroups $S$ we give a characterization of invariant measures on $S$ (in the sense of Day) in terms of two notions: $domain$ $measurability$ and $localization$. Given a unital representation of $S$ in terms of partial bijections on some set $X$ we define a natural generalization of the uniform Roe algebra of a group, which we denote by $\mathcal{R}_X$. We show that the following notions are then equivalent: (1) $X$ is domain measurable; (2) $X$ is not paradoxical; (3) $X$ satisfies the domain F{\o}lner condition; (4) there is an algebraically amenable dense *-subalgebra of $\mathcal{R}_X$; (5) $\mathcal{R}_X$ has an amenable trace; (6) $\mathcal{R}_X$ is not properly infinite and (7) $[0]\not=[1]$ in the $K_0$-group of $\mathcal{R}_X$. We also show that any tracial state on $\mathcal{R}_X$ is amenable. Moreover, taking into account the localization condition, we give several C*-algebraic characterizations of the amenability of $X$. Finally, we show that for a certain class of inverse semigroups, the quasidiagonality of $C_r^*\left(X\right)$ implies the amenability of $X$. The converse implication is false.


title: Measurement of dynamic interferometer baseline perturbations by means of wavelength-scanning interferometry

abstract: A novel approach for measuring fast oscillations of an absolute value of interferometer optical path difference (OPD) has been developed. The principles of frequency-scanning interferometry are utilized for registration of the interferometer spectral function, from which the OPD is calculated. The proposed approach enables one to capture the absolute baseline variations at frequencies much higher than the spectral acquisition rate. Despite the conventional approaches, associating a single baseline indication to the registered spectrum, in the proposed method a specially developed demodulation procedure is applied to the spectrum. This provides an ability to capture the baseline variations which took place during the spectrum acquisition. An analytical model describing the limitations on the parameters of the possibly registered baseline variations are formulated. The experimental verification of the proposed approach and the developed model has been performed.


title: The algebra of rewriting for presentations of inverse monoids

abstract: We describe a formalism, using groupoids, for the study of rewriting for presentations of inverse monoids, that is based on the Squier complex construction for monoid presentations. We introduce the class of pseudoregular groupoids, an example of which now arises as the fundamental groupoid of our version of the Squier complex. A further key ingredient is the factorisation of the presentation map from a free inverse monoid as the composition of an idempotent pure map and an idempotent separating map. The relation module of a presentation is then defined as the abelianised kernel of this idempotent separating map. We then use the properties of idempotent separating maps to derive a free presentation of the relation module. The construction of its kernel - the module of identities - uses further facts about pseudoregular groupoids.


title: Corrugated silicon metasurface optimized within the Rayleigh hypothesis for anomalous refraction at large angles

abstract: We optimize optical performance of metasurfaces based on periodically corrugated silicon layers by adjusting the Fourier coefficients of their surface profile. For smooth corrugations, we demonstrate an excellent quantitative accuracy of semi-analytical approach based on the Rayleigh hypothesis. We employ the approach to design metasurfaces with anomalous refraction due to dominant first order diffraction. Unlike conventional Huygens' dielectric metasurfaces, corrugated silicon layers are capable of efficient anomalous refraction in grazing directions: we obtain corrugation shapes allowing to deflect 70-80% of the energy of normally incident green light into the range of 68{\deg}-85{\deg} of angles with respect to the normal.


title: Finite-dimensional Leibniz algebra representations of $\mathfrak{sl}_2$

abstract: All finite-dimensional Leibniz algebra bimodules of a Lie algebra $\mathfrak{sl}_2$ over a field of characteristic zero are described.


title: BlockLoc: Secure Localization in the Internet-of-Things using Blockchain

abstract: Several IoT applications are tightly dependent on the locations of the devices. However, localization algorithms can be easily compromised by injecting false locations. In this paper, we propose a Blockchain-based secure localization algorithm for the Internet of Things (IoT). The algorithm uses a public ledger (Blockchain) that contains nodes position and the list of their neighbor nodes. This ledger is shared among the IoT devices. Once an IoT device is localized its new position and the list of neighbor nodes are added to the Blockchain. This shared localization data will be used later by other IoT devices for their localization process. To avoid the attack where a malicious node sends a fake position, the correctness of the claimed position are verified before adding it to the Blockchain. Moreover, data exchanged between nodes (IoT devices) are signed to guarantee their authenticity and integrity. The integration of these security mechanisms into the localization process permits to exclude false data and therefore reduces the localization error. The simulation results show that adding the proposed security mechanism improves the localization accuracy of the algorithm when running in the presence of malicious nodes.


title: Signal detection algorithms for interferometric sensors with harmonic phase modulation: distortion analysis and suppression

abstract: In current paper, distortions in digital demodulation schemes with harmonic phase modulation for interferometric optical sensors are considered. In particular, the influence of target signal variations on phase demodulation errors is theoretically evaluated. An analytical expression, describing the phase error magnitude dependence on first derivative and mean value of measured signal and amplitude of the phase modulation in case of simple 4-point demodulation algorithm is derived. After that, an approach for synthesizing algorithms with suppressed sensitivity to target signal variations is developed. Based on this approach, a novel 4+1 demodulation algorithm is proposed. It is shown analytically that the demodulation error of new 4+1 algorithm is proportional to the second derivative of target signal, and therefore, is typically several orders of magnitude smaller than in case of 4-point algorithm. The correspondence between analytical expressions and real phase errors, induced by target signal variations is verified by means of numeric simulation.


title: Signal detection algorithms for interferometric sensors with harmonic phase modulation: miscalibration of modulation parameters

abstract: In the current paper, we have developed an analytical apparatus, allowing to calculate the phase error, produced by miscalibration of modulation parameters. The case of harmonic modulation is considered, the analysis is performed for cases of two parameters miscalibration: amplitude and start phase. Two demodulation algorithms are considered: conventional 4-point algorithm, based on ordinary least squares approach and previously developed 4+1 algorithm with high immunity to phase error, induced by change of target phase on demodulation interval. Predictions, given by developed analytical equations are verified by means of numeric modeling.


title: Waveguided Approach for Difference Frequency Generation of Broadly-Tunable Continuous-Wave Terahertz Radiation

abstract: The 1-10 terahertz (THz) spectral window is emerging as a key region for plenty of applications, requiring not yet available continuous-wave room-temperature THz spectrometers with high spectral purity and ultra-broad tunability. In this regard, the spectral features of stabilized telecom sources can actually be transferred to the THz range by difference frequency generation, considering that the width of the accessible THz spectrum generally scales with the area involved in the nonlinear interaction. For this reason, in this paper we extensively discuss the role of Lithium Niobate (LN) channel waveguides in the experimental accomplishment of a room-temperature continuous wave (CW) spectrometer, with uW-range power levels and a spectral coverage of up to 7.5 THz.To this purpose, and looking for further improvements, a thought characterization of specially-designed LN waveguides is presented, whilst discussing its nonlinear efficiency and its unprecedented capability to handle high optical power (10 7 W/cm 2 ), on the basis of a three-wave-mixing theoretical model.


title: Incorporating Symbolic Sequential Modeling for Speech Enhancement

abstract: In a noisy environment, a lossy speech signal can be automatically restored by a listener if he/she knows the language well. That is, with the built-in knowledge of a "language model", a listener may effectively suppress noise interference and retrieve the target speech signals. Accordingly, we argue that familiarity with the underlying linguistic content of spoken utterances benefits speech enhancement (SE) in noisy environments. In this study, in addition to the conventional modeling for learning the acoustic noisy-clean speech mapping, an abstract symbolic sequential modeling is incorporated into the SE framework. This symbolic sequential modeling can be regarded as a "linguistic constraint" in learning the acoustic noisy-clean speech mapping function. In this study, the symbolic sequences for acoustic signals are obtained as discrete representations with a Vector Quantized Variational Autoencoder algorithm. The obtained symbols are able to capture high-level phoneme-like content from speech signals. The experimental results demonstrate that the proposed framework can obtain notable performance improvement in terms of perceptual evaluation of speech quality (PESQ) and short-time objective intelligibility (STOI) on the TIMIT dataset.


title: Bow-Tie Cavity for Terahertz Radiation

abstract: We report on the development, testing, and performance analysis of a bow-tie resonant cavity for terahertz (THz) radiation, injected with a continuous-wave 2.55 THz quantum cascade laser. The bow-tie cavity employs a wire-grid polarizer as input/output coupler and a pair of copper spherical mirrors coated with an unprotected 500 nm thick gold layer. The improvements with respect to previous setups have led to a measured finesse value F=123, and a quality factor Q = 5.1x10^5. The resonator performances and the relevant parameters are theoretically predicted and discussed, and a comparison among simulated and experimental spectra is given.


title: Current Correlations in a Quantum Dot Ring: A Role of Quantum Interference

abstract: We present studies of the electron transport and circular currents induced by the bias voltage and the magnetic flux threading a ring of three quantum dots coupled with two electrodes. Quantum interference of electron waves passing through the states with opposite chirality plays a relevant role in transport, where one can observe Fano resonance with destructive interference. The quantum interference effect is quantitatively described by local bond currents and their correlation functions. Fluctuations of the transport current are characterized by the Lesovik formula for the shot noise, which is a composition of the bond current correlation functions. In the presence of circular currents, the cross-correlation of the bond currents can be very large, but it is negative and compensates for the large positive auto-correlation functions.


title: Distributed Algorithm for Economic Dispatch Problem with Separable Losses

abstract: Economic dispatch problem for a networked power system has been considered. The objective is to minimize the total generation cost while meeting the overall supply-demand balance and generation capacity. In particular, a more practical scenario has been studied by considering the power losses. A non-convex optimization problem has been formulated where the non-convexity comes from the nonlinear equality constraint representing the supply-demand balance with the power losses. It is shown that the optimization problem can be solved using convex relaxation and dual decomposition. A simple distributed algorithm is proposed to solve the optimization problem. Specifically, the proposed algorithm does not require any initialization process and hence robust to various changes in operating condition. In addition, the behavior of the proposed algorithm is analyzed when the problem is infeasible.


title: Observation of strong nonlinear interactions in parametric down-conversion of x-rays into ultraviolet radiation

abstract: Nonlinear interactions between x-rays and long wavelengths can be used as a powerful atomic scale probe for light-matter interactions and for properties of valence electrons. This probe can provide novel microscopic information in solids that existing methods cannot reveal, hence to advance the understanding of many phenomena in condensed matter physics. However, thus far, reported x-ray nonlinear effects were very small and their observations required tremendous efforts. Here we report the observation of unexpected strong nonlinearities in parametric down-conversion (PDC) of x-rays to long wavelengths in gallium arsenide (GaAs) and in lithium niobate (LiNbO3) crystals, with efficiencies that are about 4 orders of magnitude stronger than the efficiencies measured in any material studied before. These strong nonlinearities cannot be explained by any known theory and indicate on possibilities for the development of a new spectroscopy method that is orbital and band selective. In this work we demonstrate the ability to use PDC of x-rays to investigate the spectral response of materials in a very broad range of wavelengths from the infrared regime to the soft x-ray regime.


title: Asymptotic Distribution of the Score Test for Detecting Marks in Hawkes Processes

abstract: The asymptotic distribution of the score test of the null hypothesis that marks do not impact the intensity of a Hawkes marked self-exciting point process is shown to be chi-squared. For local asymptotic power, the distribution against local alternatives is also established as non-central chi-squared. These asymptotic results are derived using existing asymptotic results for likelihood estimates of the unmarked Hawkes process model together with mild additional conditions on the moments and ergodicity of the marks process and an additional uniform boundedness assumption, shown to be true for the exponential decay Hawkes process.


title: PR Product: A Substitute for Inner Product in Neural Networks

abstract: In this paper, we analyze the inner product of weight vector w and data vector x in neural networks from the perspective of vector orthogonal decomposition and prove that the direction gradient of w decreases with the angle between them close to 0 or {\pi}. We propose the Projection and Rejection Product (PR Product) to make the direction gradient of w independent of the angle and consistently larger than the one in standard inner product while keeping the forward propagation identical. As a reliable substitute for standard inner product, the PR Product can be applied into many existing deep learning modules, so we develop the PR Product version of fully connected layer, convolutional layer and LSTM layer. In static image classification, the experiments on CIFAR10 and CIFAR100 datasets demonstrate that the PR Product can robustly enhance the ability of various state-of-the-art classification networks. On the task of image captioning, even without any bells and whistles, our PR Product version of captioning model can compete or outperform the state-of-the-art models on MS COCO dataset. Code has been made available at:https://github.com/wzn0828/PR_Product.


title: Nonclassicality and entanglement for wavepackets

abstract: Mode-entanglement based criteria and measures become insufficient for broadband emission, e.g. from spasers (plasmonic nano-lasers). We introduce criteria and measures for the (i) total entanglement of two wavepackets, (ii) entanglement of a wavepacket with an ensemble and (iii) total nonclassicality of a wavepacket~(WP). We discuss these criteria in the context of (i) entanglement of two WPs emitted from two initially entangled cavities (or two initially entangled atoms) and (ii) entanglement of an emitted WP with the ensemble/atom for the spontaneous emission and the single-photon superradiance. We also show that, (iii) when the two constituent modes of a WP are entangled, this creates nonclassicality in the WP as a noise reduction below the standard quantum limit. The criteria we introduce are, all, compatible with near-field detectors.


title: Dynamic Spatiotemporal Beams that Combine Two Independent and Controllable Orbital-Angular-Momenta Using Multiple Optical-Frequency-Comb Lines

abstract: Novel forms of beam generation and propagation based on structured light and orbital angular momentum (OAM) have gained significant interest over the past several years. Indeed, dynamic OAM can manifest at a given propagation distance in different forms , including: (1) a simple Gaussian-like beam "dot" "revolves" around an offset central axis in time, and (2) a Laguerre-Gaussian (LG) beam with a helically "twisting" phase front that "rotates" around its own central null in time. In this paper, we numerically generate dynamic spatiotemporal beams that combine these two forms of orbital-angular-momenta by coherently adding multiple frequency comb lines such that each carries a superposition of multiple LG(l,p) modes containing one l value but multiple p values. The generated beams can have different non-zero rotating l values with high modal purities that exhibit both "rotation" and "revolution" in time at a given propagation distance. In our simulation results, we were able to control and vary several parameters, including the: (i) rotating l value from +1 to +3 with modal purities of ~96%, (ii) revolving speed of 0.2-0.6 THz, (iii) beam waist of 0.15-0.5 mm, and (iv) revolving radius of 0.75-1.5 mm.


title: Theory of a cavity around a large floating sphere in complex (dusty) plasma

abstract: In the last experiment with the PK-3 Plus laboratory onboard the International Space Station, interactions of millimeter-size metallic spheres with a complex plasma were studied~[M. Schwabe {\it et al.}, New J. Phys. {\bf 19}, 103019 (2017)]. Among the phenomena observed was the formation of cavities (regions free of microparticles forming a complex plasma) surrounding the spheres. The size of the cavity is governed by the balance of forces experienced by the microparticles at the cavity edge. In this article we develop a detailed theoretical model describing the cavity size and demonstrate that it agrees well with sizes measured experimentally. The model is based on a simple practical expression for the ion drag force, which is constructed to take into account simultaneously the effects of non-linear ion-particle coupling and ion-neutral collisions. The developed model can be useful for describing interactions between a massive body and surrounding complex plasma in a rather wide parameter regime.


title: Non-universal Transverse Electron Mean Free Path through Few-layer Graphene

abstract: In contrast to the in-plane transport electron mean-free path in graphene, the transverse mean-free path has received little attention and is often assumed to follow the 'universal' mean-free path (MFP) curve broadly adopted in surface and interface science. Here we directly measure transverse electron scattering through graphene from 0 to 25 eV above the vacuum level both in reflection using Low Energy Electron Microscopy and in transmission using electron-Volt Transmission Electron Microscopy. From this data, we obtain quantitative MFPs for both elastic and inelastic scattering. Even at the lowest energies, the total MFP is just a few graphene layers and the elastic MFP oscillates with graphene layer number, both refuting the 'universal' curve. A full theoretical calculation taking the graphene band structure into consideration agrees well with experiment, while the key experimental results are reproduced even by a simple optical toy model.


title: Kinetic simulations of nonrelativistic perpendicular shocks of young supernova remnants. I. Electron shock-surfing acceleration

abstract: Electron injection at high Mach-number nonrelativistic perpendicular shocks is studied here for parameters that are applicable to young SNR shocks. Using high-resolution large-scale two-dimensional fully kinetic particle-in-cell (PIC) simulations and tracing individual particles we in detail analyze the shock surfing acceleration (SSA) of electrons at the leading edge of the shock foot. The central question is to what degree the process can be captured in 2D3V simulations. We find that the energy gain in SSA always arises from the electrostatic field of a Buneman wave. Electron energization is more efficient in the out-of-plane orientation of the large-scale magnetic field because both the phase speed and the amplitude of the waves are higher than for the in-plane scenario. Also, a larger number of electrons is trapped by the waves compared to the in-plane configuration. We conclude that significant modifications of the simulation parameters are needed to reach the same level of SSA efficiency as in simulations with out-of-plane magnetic field or 3D simulations.


title: Facial Expressions Analysis Under Occlusions Based on Specificities of Facial Motion Propagation

abstract: Although much progress has been made in the facial expression analysis field, facial occlusions are still challenging. The main innovation brought by this contribution consists in exploiting the specificities of facial movement propagation for recognizing expressions in presence of important occlusions. The movement induced by an expression extends beyond the movement epicenter. Thus, the movement occurring in an occluded region propagates towards neighboring visible regions. In presence of occlusions, per expression, we compute the importance of each unoccluded facial region and we construct adapted facial frameworks that boost the performance of per expression binary classifier. The output of each expression-dependant binary classifier is then aggregated and fed into a fusion process that aims constructing, per occlusion, a unique model that recognizes all the facial expressions considered. The evaluations highlight the robustness of this approach in presence of significant facial occlusions.


title: 'Scraggy' dark halos around bulge-less spiral galaxies

abstract: We use a sample of 220 face-on bulge-less galaxies situated in the low density environment to estimate their total mass via orbital motions of supposed rare satellites. Our inspection reveals 43 dwarf companions having the mean projected separation of 130 kpc and the mean-square velocity difference of 96 km/s. For them, we obtain the mean orbital-mass-to-K-band luminosity ratio of $20\pm3$. Seven bulge-less spirals in the Local Volume are also characterized by the low mean ratio, $M_{orb}/L_K = 22\pm5$. We conclude that bulge-less Sc-Scd-Sd galaxies have poor dark halos, about two times lower than that of bulgy spiral galaxies of the same stellar mass.


title: A generalization of Steinberg theory and an exotic moment map

abstract: For a reductive group $G$, Steinberg established a map from the Weyl group to the set of nilpotent $G$-orbits by using moment maps on double flag varieties. In particular, in the case of the general linear group, it provides a geometric interpretation of the Robinson-Schensted correspondence between permutations and pairs of standard tableaux of the same shape. We extend Steinberg's approach to the case of a symmetric pair $(G,K)$ to obtain two different maps, namely a \emph{generalized Steinberg map} and an \emph{exotic moment map}. Although the framework is general, in this paper we focus on the pair $(G,K) = (\mathrm{GL}_{2n}(\mathbb{C}), \mathrm{GL}_n(\mathbb{C}) \times \mathrm{GL}_n(\mathbb{C}))$. Then the generalized Steinberg map is a map from \emph{partial} permutations to the pairs of nilpotent orbits in $ \mathfrak{gl}_n(\mathbb{C}) $. It involves a generalization of the classical Robinson--Schensted correspondence to the case of partial permutations. The other map, the exotic moment map, establishes a combinatorial map from the set of partial permutations to that of signed Young diagrams, i.e., the set of nilpotent $K$-orbits in the Cartan space $(\mathrm{Lie}(G)/\mathrm{Lie}(K))^* $. We explain the geometric background of the theory and combinatorial algorithms which produce the above mentioned maps.


title: Flux Qubit Readout in the Persistent Current Basis at arbitrary Bias Points

abstract: Common flux qubit readout schemes are qubit dominated, meaning they measure in the energy eigenbasis of the qubit. For various applications meausrements in a basis different from the energy eigenbasis are required. Here we present an indirect measurement protocol, which is detector dominated instead of qubit dominated, yielding a projective measurements in the persistent current basis for arbitrary bias points. We show that with our setup it is possible to perform a quantum nondemolition measurement (QND) in the persistent current basis at all flux bias points with fidelities reaching almost 100%.


title: Constraining Affleck-Dine Leptogenesis after Thermal Inflation

abstract: Affleck-Dine leptogenesis after thermal inflation along the $LH_u$ direction requires $m_L^2+m_{H_u}^2 < 0$ up to the AD scale ($|L|\simeq |H_u|\sim 10^9$ GeV). We renormalised this condition from the AD scale to the soft supersymmetry breaking scale by solving the renormalisation group equations perturbatively in the Yukawa couplings to obtain a semi-analytic constraint on the soft supersymmetry breaking parameters. We also used a fully numerical method to renormalise the baryogenesis condition and constrained the Minimal Supersymmetric Cosmological Model using the resulting baryogenesis condition and other constraints, specifically, electroweak symmetry breaking, the observed Higgs mass, and the axino dark matter abundance.


title: Exfoliation of Ti$_2$C and Ti$_3$C$_2$ Mxenes from Bulk Phases of Titanium Carbide: A Theoretical Prediction

abstract: MXenes, a new class of two dimensional materials with several novel properties, are usually prepared from their MAX phases by etching out the A element using strong chemical reagents. This results in passivation of the surfaces of MXene with different functional groups like O, -OH, -F, etc., which in many cases tend to degrade their properties. In this work, using first principle density functional theory based calculations, we propose a novel method to synthesize pristine Ti$_2$C and Ti$_3$C$_2$ MXenes from the bulk titanium carbides with corresponding stoichiometry. Based on the values of cleavage energy obtained from our calculations, we envisage that pristine Ti$_2$C and Ti$_3$C$_2$ MXenes can be prepared, using mechanical or sonification-assisted liquid-phase exfoliation techniques, from their bulk phases.


title: Magnetism trends in doped Ce-Cu intermetallics in the vicinity of quantum criticality: realistic Kondo lattice models based on dynamical mean-field theory

abstract: The quantum critical point (QCP) in the archetypical heavy-fermion compound CeCu$_6$ doped by Au is described, accounting for the localized $4f$-electron of Ce, using realistic electronic structure calculations combined with dynamical mean-field theory (DMFT). Magnetism trends in Ce(Cu$_{1-\epsilon}$Au$_\epsilon$)$_6$ are compared with those in Co-doped CeCu$_{5}$, which resides on the non-ferromagnetic side of the composition space of one of the earliest rare-earth permanent magnet compounds, Ce(Co,Cu)$_5$. The construction of a realistic Doniach phase diagram shows that the system crosses over a magnetic quantum critical point in the Kondo lattice in $0.2<x<0.4$ of Ce(Cu$_{1-x}$Co$_x$)$_5$. Comparison between Au-doped CeCu$_6$ and Co-doped CeCu$_5$ reveals that the swept region in the vicinity of QCP for the latter thoroughly covers that of the former. The implications of these trends on the coercivity of the bulk rare-earth permanent magnets are discussed.


title: Physical and chemical fingerprint of protostellar disc formation

abstract: (Abridged) The purpose of this paper is to explore and compare the physical and chemical structure of Class I low-mass protostellar sources on protoplanetary disc scales. We present a study of the dust and gas emission towards a representative sample of 12 Class I protostars from the Ophiuchus molecular cloud with the Atacama Large Millimeter/submillimeter Array (ALMA). The continuum at 0.87 mm and molecular transitions from C17O, C34S, H13CO+, CH3OH, SO2 , and C2H were observed at high angular resolution (0.4", ~60 au diameter) towards each source. Disc and stellar masses are estimated from the continuum flux and position-velocity diagrams, and six of the sources show disc-like structures. Towards the more luminous sources, compact emission and large line widths are seen for transitions of SO2 that probe warm gas (Eu ~200 K). In contrast, C17O emission is detected towards the least evolved and less luminous systems. No emission of CH3OH is detected towards any of the continuum peaks, indicating an absence of warm CH3OH gas towards these sources. A power-law relation is seen between the stellar mass and the bolometric luminosity, corresponding to a mass accretion rate of (2.4 +/- 0.6) x 10^-7 Msun/year for the Class I sources. This mass accretion rate is lower than the expected value if the accretion is constant in time and rather points to a scenario of accretion occurring in bursts. The differentiation between C17O and SO2 suggests that they trace different physical components: C17O traces the densest and colder regions of the disc-envelope system, while SO2 may be associated with regions of higher temperature, such as accretion shocks. The lack of warm CH3OH emission suggests that there is no hot-core-like region around any of the sources and that the CH3OH column density averaged over the disc is low.


title: Quadratic Transportation Cost Inequalities Under Uniform Distance For Stochastic Reaction Diffusion Equations Driven by Multiplicative Space-Time White Noise

abstract: In this paper, we established a quadratic transportation cost inequality for solutions of stochastic reaction diffusion equations driven by multiplicative space-time white noise based on a new inequality we proved for the moments (under the uniform norm) of the stochastic convolution with respect to space-time white noise, which is of independent interest. The solutions of such stochastic partial differential equations are typically not semimartingales on the state space.


title: Physical Layer Performance Evaluation of Wireless Infrared-based LiFi Uplink

abstract: LiFi (light-fidelity) is recognised as a promising technology for the next generation wireless access network. However, little research effort has been spent on the uplink transmission system in LiFi networks. In this paper, an analytical framework for the performance analysis of an wireless infrared-based LiFi uplink at system level is presented. This work focuses on the performance of a single user who is randomly located in a network. Many important factors in practice are taken into account, such as front-end characteristics, channel path loss, link blockage and user device random orientations. In particular, accurate analytical expressions for the statistics of optical channel path loss has been derived. Based on this path loss statistics, the distribution of signal-to-noise ratio (SNR) and the average achievable data rate are evaluated. A channel factor is defined as a quantity which only depends on the used devices, optical channel and noise power spectral density function (PSD). The result shows that with commercial front-end elements, an average data rate of up to 250 Mbps is achievable.


title: Learning Restricted Regular Expressions with Interleaving

abstract: The advantages for the presence of an XML schema for XML documents are numerous. However, many XML documents in practice are not accompanied by a schema or by a valid schema. Relax NG is a popular and powerful schema language, which supports the unconstrained interleaving operator. Focusing on the inference of Relax NG, we propose a new subclass of regular expressions with interleaving and design a polynomial inference algorithm. Then we conducted a series of experiments based on large-scale real data and on three XML data corpora, and experimental results show that our subclass has a better practicality than previous ones, and the regular expressions inferred by our algorithm are more precise.


title: Neural network setups for a precise detection of the many-body localization transition: finite-size scaling and limitations

abstract: Determining phase diagrams and phase transitions semi-automatically using machine learning has received a lot of attention recently, with results in good agreement with more conventional approaches in most cases. When it comes to more quantitative predictions, such as the identification of universality class or precise determination of critical points, the task is more challenging. As an exacting test-bed, we study the Heisenberg spin-1/2 chain in a random external field that is known to display a transition from a many-body localized to a thermalizing regime, which nature is not entirely characterized. We introduce different neural network structures and dataset setups to achieve a finite-size scaling analysis with the least possible physical bias (no assumed knowledge on the phase transition and directly inputing wave-function coefficients), using state-of-the-art input data simulating chains of sizes up to L=24. In particular, we use domain adversarial techniques to ensure that the network learns scale-invariant features. We find a variability of the output results with respect to network and training parameters, resulting in relatively large uncertainties on final estimates of critical point and correlation length exponent which tend to be larger than the values obtained from conventional approaches. We put the emphasis on interpretability throughout the paper and discuss what the network appears to learn for the various used architectures. Our findings show that a it quantitative analysis of phase transitions of unknown nature remains a difficult task with neural networks when using the minimally engineered physical input.


title: Electric dipole moment searches using storage rings

abstract: The Standard Model (SM) of Particle Physics is not capable to account for the apparent matter-antimatter asymmetry of our Universe. Physics beyond the SM is required and is either probed by employing highest energies (e.g., at LHC), or by striving for ultimate precision and sensitivity (e.g., in the search for electric dipole moments). Permanent electric dipole moments (EDMs) of particles violate both time reversal $(T)$ and parity $(P)$ invariance, and are via the $CPT$-theorem also $CP$-violating. Finding an EDM would be a strong indication for physics beyond the SM, and pushing upper limits further provides crucial tests for any corresponding theo\-retical model, e.g., SUSY. Up to now, EDM searches focused on neutral systems (neutrons, atoms, and molecules). Storage rings, however, offer the possibility to measure EDMs of charged particles by observing the influence of the EDM on the spin motion in the ring. Direct searches of proton and deuteron EDMs, however, bear the potential to reach sensitivities beyond $10^{-29}$ e$\cdot$cm. Since the Cooler Synchrotron COSY at the Forschungszentrum J\"ulich provides polarized protons and deuterons up to momenta of 3.7 GeV/c, it constitutes an ideal testing ground and starting point for such an experimental program. Besides the discussion of the achievements of the JEDI collaboration, and the description of an effort to perform a first direct deuteron EDM measurement at COSY, the report highlights in addition future technical developments that will pave the way toward EDM searches in dedicated rings. A recent advancement that grew out of the successful work performed by JEDI is the formation of the CPEDM Collaboration, which aims at the design of an EDM prototype ring that could be hosted either at CERN or at COSY, will be discussed as well.


title: Coherently refreshed acoustic phonons for extended light storage

abstract: Acoustic waves can serve as memory for optical information, however, acoustic phonons in the GHz regime decay on the nanosecond timescale. Usually this is dominated by intrinsic acoustic loss due to inelastic scattering of the acoustic waves and thermal phonons. Here we show a way to counteract the intrinsic acoustic decay of the phonons in a waveguide by resonantly reinforcing the acoustic wave via synchronized optical pulses. This scheme overcomes the previous constraints of phonon-based optical signal processing for light storage and memory. We experimentally demonstrate on-chip storage up to 40 ns, four times the intrinsic acoustic lifetime in the waveguide. We confirm the coherence of the scheme by detecting the phase of the delayed optical signal after 40 ns using homodyne detection. Through theoretical considerations we anticipate that this concept allows for storage times up to microseconds within realistic experimental limitations while maintaining a GHz bandwidth of the optical signal. The refreshed phonon-based light storage removes the usual bandwidth-delay product limitations of e.g. slow-light schemes.


title: Composite pulses with errant phases

abstract: Composite pulses --- sequences of pulses with well defined relative phases --- are an efficient, robust and flexible technique for coherent control of quantum systems. Composite sequences can compensate a variety of experimental errors in the driving field (e.g. in the pulse amplitude, duration, detuning, chirp, etc.) or in the quantum system and its environment (e.g. inhomogeneous broadening, stray electric or magnetic fields, unwanted couplings, etc.). The control parameters are the relative phases between the constituent pulses in the composite sequence, an accurate control over which is required in all composite sequences reported hitherto. In this paper, we introduce two types of composite pulse sequences which, in addition to error compensation in the basic experimental parameters, compensate systematic errors in the composite phases. In the first type of such composite sequences, which compensate pulse area errors, relative phase errors of up to 10% can be tolerated with reasonably short sequences while maintaining the fidelity above the 99.99% quantum computing benchmark. In the second type of composite sequences, which compensate pulse area and detuning errors, relative phase errors of up to 5% can be compensated.


title: On the Maximal Solution of A Linear System over Tropical Semirings

abstract: In this paper, we present methods for solving a system of linear equations, $ AX=b $, over tropical semirings. To this end, if possible, we first reduce the order of the system through some row-column analysis, and obtain a new system with fewer equations and variables. We then use the pseudo-inverse of the system matrix to solve the system if solutions exist. Moreover, we propose a new version of Cramer's rule to determine the maximal solution of the system. Maple procedures for computing the pseudo-inverse are included as well.


title: Damping rates and frequency corrections of Kepler LEGACY stars

abstract: Linear damping rates and modal frequency corrections of radial oscillation modes in selected LEGACY main-sequence stars are estimated by means of a nonadiabatic stability analysis. The selected stellar sample covers stars observed by Kepler with a large range of surface temperatures and surface gravities. A nonlocal, time-dependent convection model is perturbed to assess stability against pulsation modes. The mixing-length parameter is calibrated to the surface-convection-zone depth of a stellar model obtained from fitting adiabatic frequencies to the LEGACY observations, and two of the nonlocal convection parameters are calibrated to the corresponding LEGACY linewidth measurements. The remaining nonlocal convection parameters in the 1D calculations are calibrated so as to reproduce profiles of turbulent pressure and of the anisotropy of the turbulent velocity field of corresponding 3D hydrodynamical simulations. The atmospheric structure in the 1D stability analysis adopts a temperature-optical-depth relation derived from 3D hydrodynamical simulations. Despite the small number of parameters to adjust, we find good agreement with detailed shapes of both turbulent pressure profiles and anisotropy profiles with depth, and with damping rates as a function of frequency. Furthermore, we find the absolute modal frequency corrections, relative to a standard adiabatic pulsation calculation, to increase with surface temperature and surface gravity.


title: On Erd\H{o}s-Ginzburg-Ziv inverse theorems for Dihedral and Dicyclic groups

abstract: Let $G$ be a finite group and exp$(G)$ = lcm$\{$ord$(g)$$\mid$$g \in G \}$. A finite unordered sequence of terms from $G$, where repetition is allowed, is a product-one sequence if its terms can be ordered such that their product equals the identity element of $G$. We denote by $\mathsf s (G)$ (or $\mathsf E (G)$ respectively) the smallest integer $\ell$ such that every sequence of length at least $\ell$ has a product-one subsequence of length $\exp (G)$ (or $|G|$ respectively). In this paper, we provide the exact values of $\mathsf s (G)$ and $\mathsf E (G)$ for Dihedral and Dicyclic groups and we provide explicit characterizations of all sequences of length $\mathsf s (G) - 1$ (or $\mathsf E (G) - 1$ respectively) having no product-one subsequence of length $\exp (G)$ (or $|G|$ respectively).


title: Thermal flux-flow regime in long Josephson tunnel junctions

abstract: We study thermal transport induced by soliton dynamics in a long Josephson tunnel junction operating in the flux-flow regime. A thermal bias across the junction is established by imposing the superconducting electrodes to reside at different temperatures, when solitons flow along the junction. Here, we consider the effect of both a bias current and an external magnetic field on the thermal evolution of the device. In the flux-flow regime, a chain of magnetically-excited solitons rapidly moves along the junction driven by the bias current. We explore the range of bias current triggering the flux-flow regime at fixed values of magnetic field, and the stationary temperature distribution in this operation mode. We evidence a steady multi-peaked temperature profile which reflects on the average soliton distribution along the junction. Finally, we analyse also how the friction affecting the soliton dynamics influences the thermal evolution of the system.


title: An Argumentation-Based Reasoner to Assist Digital Investigation and Attribution of Cyber-Attacks

abstract: We expect an increase in the frequency and severity of cyber-attacks that comes along with the need for efficient security countermeasures. The process of attributing a cyber-attack helps to construct efficient and targeted mitigating and preventive security measures. In this work, we propose an argumentation-based reasoner (ABR) as a proof-of-concept tool that can help a forensics analyst during the analysis of forensic evidence and the attribution process. Given the evidence collected from a cyber-attack, our reasoner can assist the analyst during the investigation process, by helping him/her to analyze the evidence and identify who performed the attack. Furthermore, it suggests to the analyst where to focus further analyses by giving hints of the missing evidence or new investigation paths to follow. ABR is the first automatic reasoner that can combine both technical and social evidence in the analysis of a cyber-attack, and that can also cope with incomplete and conflicting information. To illustrate how ABR can assist in the analysis and attribution of cyber-attacks we have used examples of cyber-attacks and their analyses as reported in publicly available reports and online literature. We do not mean to either agree or disagree with the analyses presented therein or reach attribution conclusions.


title: Exact Correlators from Conformal Ward Identities in Momentum Space and Perturbative Realizations

abstract: The general solution of the conformal Ward identities (CWI's) in momentum space, and their matching to perturbation theory, allows to uncover some specific characteristics of the breaking of conformal symmetry, induced by the anomaly. It allows to compare perturbative features of the 1-particle irreducible (1PI, nonlocal) anomaly action with the prediction of a similar (but exact) nonlocal action identified by the CWI's. The two predictions can be exactly matched at the level of 3-point functions. The analysis of the $TJJ$ and $TTT$ shows that both approaches - based either on 1PI or on the exact solutions of the CWI's - predict massless (dynamical) scalar exchanges in 3-point functions as the signature of the conformal anomaly. In a local formulation such 1PI actions exhibit a ghost in the spectrum which may induce ghost condensation. We also discuss alternative approaches, which take to Wess-Zumino forms of the action with an asymptotic dilaton, which should be considered phenomenological alternatives to the exact nonlocal action. If derived by a Weyl gauging, they also include a ghost in the spectrum. The two formulations, nonlocal and of WZ type, can be unified under the assumption that they describe the same anomaly phenomenon at two separate (UV/IR) ends of the renormalization group flow, possibly separated by a vacuum rearrangement at an intermediate scale. A similar analysis is presented for an $\mathcal{N}=1$ supersymmetric Yang-Mills theory. We comment on the possibile cosmological implications of such quasi Nambu-Goldstone modes as ultralight dilatons and axions.


title: From quantum anomalous Hall phases to topological metals in interacting decorated honeycomb lattices

abstract: An analysis of the stability of topological states induced by Coulomb repulsion on decorated honeycomb lattices is presented. Based on a mean-field treatment of a spinless extended Hubbard model on the decorated honeycomb lattice we show how the quantum anomalous Hall (QAH) phase is a robust topological phase which emerges at various electron fillings and involves either quadratic band crossing points (QBCP) or Dirac points of the bands. The topological QAH phase is also found to be most stable against thermal fluctuations up to moderate temperatures when the Coulomb repulsion is maximally frustrated. We show how a topological metal can be induced from the QAH by electron doping the system in a broad electron doping range. Electrons on the Fermi surface of such metallic states are characterized by having a non-zero Berry phase which gives rise to a non-zero intrinsic quantum Hall conductivity.


title: The evaluation of a weighted sum of Gauss hypergeometric functions and its connection with Galton-Watson processes

abstract: We evaluate the sum of Gauss hypergeometric functions \[S(\mu,c;x)=\sum_{k\geq 0} \bl(\frac{1-x}{1+\mu}\br)^k\,{}_2F_1(\fs k+\fs, \fs k+1;c;x)\] for $x\in [-1,1]$ and positive parameters $\mu$ and $c$. The domain of absolute convergence of this series is established by determining the growth of the hypergeometric function for $k\to+\infty$. An application to Galton-Watson branching processes arising in the theory of stochastic processes is presented. A new class of positive integer-valued distributions with power tails is introduced.


title: A physically-based analytical model to describe effective excess charge for streaming potential generation in water saturated porous media

abstract: Among the different contributions generating self-potential, the streaming potential is of particular interest in hydrogeology for its sensitivity to water flow. Estimating water flux in porous media using streaming potential data relies on our capacity to understand, model, and upscale the electrokinetic coupling at the mineral-solution interface. Different approaches have been proposed to predict streaming potential generation in porous media. One of these approaches is the flux averaging which is based on determining the excess charge which is effectively dragged in the medium by water flow. In this study, we develop a physically-based analytical model to predict the effective excess charge in saturated porous media using a flux-averaging approach in a bundle of capillary tubes with a fractal pore-size distribution. The proposed model allows the determination of the effective excess charge as a function of pore water ionic concentration and hydrogeological parameters like porosity, permeability and tortuosity. The new model has been successfully tested against different set of experimental data from the literature. One of the main findings of this study is the mechanistic explanation to the empirical dependence between the effective excess charge and the permeability that has been found by several researchers. The proposed model also highlights the link to other lithological properties and it is able to reproduce the evolution of effective excess charge with electrolyte concentrations.


title: Fine-grained Entity Recognition with Reduced False Negatives and Large Type Coverage

abstract: Fine-grained Entity Recognition (FgER) is the task of detecting and classifying entity mentions to a large set of types spanning diverse domains such as biomedical, finance and sports. We observe that when the type set spans several domains, detection of entity mention becomes a limitation for supervised learning models. The primary reason being lack of dataset where entity boundaries are properly annotated while covering a large spectrum of entity types. Our work directly addresses this issue. We propose Heuristics Allied with Distant Supervision (HAnDS) framework to automatically construct a quality dataset suitable for the FgER task. HAnDS framework exploits the high interlink among Wikipedia and Freebase in a pipelined manner, reducing annotation errors introduced by naively using distant supervision approach. Using HAnDS framework, we create two datasets, one suitable for building FgER systems recognizing up to 118 entity types based on the FIGER type hierarchy and another for up to 1115 entity types based on the TypeNet hierarchy. Our extensive empirical experimentation warrants the quality of the generated datasets. Along with this, we also provide a manually annotated dataset for benchmarking FgER systems.


title: Weakly Supervised Open-set Domain Adaptation by Dual-domain Collaboration

abstract: In conventional domain adaptation, a critical assumption is that there exists a fully labeled domain (source) that contains the same label space as another unlabeled or scarcely labeled domain (target). However, in the real world, there often exist application scenarios in which both domains are partially labeled and not all classes are shared between these two domains. Thus, it is meaningful to let partially labeled domains learn from each other to classify all the unlabeled samples in each domain under an open-set setting. We consider this problem as weakly supervised open-set domain adaptation. To address this practical setting, we propose the Collaborative Distribution Alignment (CDA) method, which performs knowledge transfer bilaterally and works collaboratively to classify unlabeled data and identify outlier samples. Extensive experiments on the Office benchmark and an application on person reidentification show that our method achieves state-of-the-art performance.


title: Adsorption of Polylysine on the Surface of the DMPS Monolayer

abstract: The effect of the adsorption of a polypeptide on the lateral interaction of dimyristoylphosphatidylserine molecules in different phase states on the surface of a 10\,mM KCl aqueous solution has been studied. Changes in the surface pressure and Volta potential induced by the adsorption of large poly-D-lysine molecules (about 200 links in a chain) have been determined at different areas per lipid molecule in a monolayer. The adsorption of macromolecules noticeably increases the elasticity of the monolayer under lateral compression in the liquid expanded state of lipid and reduces the effective dipole moment from 0.48 to 0.38 D. These properties are in qualitative agreement with X-ray reflectometry data for the lipid monolayer obtained with synchrotron radiation with a photon energy of 70 keV. The electron density profiles perpendicular to the surface of the aqueous subphase have been reconstructed from reflectometry data within a model approach to the structure of an interface with two and three layers. These profiles indicate the existence of a wide diffuse polymer layer 150+/-40 Angstrom in width at the interface of the monolayer in both the liquid expanded and liquid condensed states. A decrease in the area per molecule in the monolayer by a factor of 2 results in the doubling of the surface density of the macromolecule film. The adsorption of the polymer also affects the integral density of the layer of polar phospholipid groups, which decreases by a factor of ~ 2 in the liquid expanded phase and by ~ 30% in the liquid condensed phase.


title: Dynamics of strongly coupled disordered dissipative spin-boson systems

abstract: Spin-boson Hamiltonians are an effective description for numerous quantum many-body systems such as atoms coupled to cavity modes, quantum electrodynamics in circuits and trapped ion systems. While reaching the limit of strong coupling is possible in current experiments, the understanding of the physics in this parameter regime remains a challenge, especially when disorder and dissipation are taken into account. Here we investigate a regime where the many-body spin dynamics can be related to a Ising energy function defined in terms of the spin-boson couplings. While in the coherent weak coupling regime it is known that an effective description in terms of spin Hamiltonian is possible, we show that a similar viewpoint can be adopted in the presence of dissipation and strong couplings. The resulting many-body dynamics features approximately thermal regimes, separated by out-of-equilibrium ones in which detailed balance is broken. Moreover, we show that under appropriately chosen conditions one can even achieve cooling of the spin degrees of freedom. This points towards the possibility of using strongly coupled dissipative spin-boson systems for engineering complex energy landscapes together with an appropriate cooling dynamics.


title: On the Construction of $G_N$-coset Codes for Parallel Decoding

abstract: In this paper, we propose a type of $G_N$-coset codes for a highly parallel stage-permuted turbo-like decoder. The decoder exploits the equivalence between two stage-permuted factor graphs of $G_N$-coset codes. Specifically, the inner codes of a $G_N$-coset code consist of independent component codes, thus are decoded in parallel. The extrinsic information of the code bits is obtained and iteratively exchanged between the two graphs until convergence. Accordingly, we explore a heuristic and flexible code construction method (information set selection) for various information lengths and coding rates. Simulations show that the proposed $G_N$-coset codes could achieve a coding performance comparable with polar codes but enjoy higher decoding parallelism.


title: Critical dynamics and tree-like spatiotemporal patterns in exciton-polaritoncondensates

abstract: We study nonresonantly pumped exciton-polariton system in the vicinity of the dynamical instability threshold. We find that the system exhibits unique and rich dynamics, which leads to spatiotemporal pattern formation. The patterns have a tree-like structure and are reminiscent of structures that appear in a variety of soft matter systems. Within the approximation of slow and fast time scales, we show that the polariton model exhibits self-replication point in analogy to reaction-diffusion systems.


title: On Duistermaat-Heckman measure for filtered linear series

abstract: We revisit work of S. Boucksom, C. Favre, and M. Jonsson (J. Algebraic Geom. \textbf{18} (2009), no. 2, 279--308); Boucksom and H. Chen (Compos. Math. \textbf{147} (2011), no. 4, 1205--1229); and S. Boucksom, A. K\"{u}ronya, C. Maclean, and T. Szemberg (Math. Ann. \textbf{361} (2015), no.~3--4, 811--834). The key point is to associate a Duistermaat-Heckman measure to a filtered big linear series on a given projective variety. The expectation of the measure admits a description via the theory of Newton-Okounkov bodies. Such considerations have origins in symplectic geometry. They have applications for $\mathrm{K}$-stability and Diophantine arithmetic geometry of projective varieties.


title: Dynamics of the ultra-discrete Toda lattice via Pitman's transformation

abstract: By encoding configurations of the ultra-discrete Toda lattice by piecewise linear paths whose gradient alternates between $-1$ and $1$, we show that the dynamics of the system can be described in terms of a shifted version of Pitman's transformation (that is, reflection in the past maximum of the path encoding). This characterisation of the dynamics applies to finite configurations in both the non-periodic and periodic cases, and also admits an extension to infinite configurations. The latter point is important in the study of invariant measures for the ultra-discrete Toda lattice, which is pursued in a parallel work. We also describe a generalisation of the result to a continuous version of the box-ball system, whose states are described by continuous functions whose gradient may take values other than $\pm1$.


title: Tagged particle dynamics in one dimensional $A+ A \to kA$ models with the particles biased to diffuse towards their nearest neighbour

abstract: Dynamical features of tagged particles are studied in a one dimensional $A+A \rightarrow kA$ system for $k=0$ and 1, where the particles $A$ have a bias $\epsilon$ $(0 \leq \epsilon \leq 0.5)$ to hop one step in the direction of their nearest neighboring particle. $\epsilon=0$ represents purely diffusive motion and $\epsilon=0.5$ represents purely deterministic motion of the particles. We show that for any $\epsilon$, there is a time scale $t^*$ which demarcates the dynamics of the particles. Below $t^*$, the dynamics are governed by the annihilation of the particles, and the particle motions are highly correlated, while for $t \gg t^*$, the particles move as independent biased walkers. $t^*$ diverges as $(\epsilon_c-\epsilon)^{-\gamma}$, where $\gamma=1$ and $\epsilon_c =0.5$. $\epsilon_c$ is a critical point of the dynamics. At $\epsilon_c$, the probability $S(t)$, that a walker changes direction of its path at time $t$, decays as $S(t) \sim t^{-1}$ and the distribution $D(\tau)$ of the time interval $\tau$ between consecutive changes in the direction of a typical walker decays with a power law as $D(\tau) \sim \tau^{-2}$.


title: Using cameras for precise measurement of two-dimensional plant features: CASS

abstract: Images are used frequently in plant phenotyping to capture measurements. This chapter offers a repeatable method for capturing two-dimensional measurements of plant parts in field or laboratory settings using a variety of camera styles (cellular phone, DSLR), with the addition of a printed calibration pattern. The method is based on calibrating the camera using information available from the EXIF tags from the image, as well as visual information from the pattern. Code is provided to implement the method, as well as a dataset for testing. We include steps to verify protocol correctness by imaging an artifact. The use of this protocol for two-dimensional plant phenotyping will allow data capture from different cameras and environments, with comparison on the same physical scale. We abbreviate this method as CASS, for CAmera aS Scanner. Code and data is available at http://doi.org/10.5281/zenodo.3677473.


title: Generalized GCD for toric Fano varieties

abstract: We study the greatest common divisor problem for torus invariant blowing-up morphisms of nonsingular toric Fano varieties. Our main result applies the theory of Okounkov bodies together with an arithmetic form of Cartan's Second Main theorem, which has been established by Ru and Vojta. It also builds on Silverman's geometric concept of greatest common divisor. As a special case of our results, we deduce a bound for the generalized greatest common divisor of pairs of nonzero algebraic numbers.


title: Antiferromagnetism in kagome $\alpha$-Cu$_{3}$Mg(OH)$_6$Br$_2$

abstract: The antiferromagnetism in $\alpha$-Cu$_3$Mg(OH)$_6$Br$_2$ was studied by magnetic-susceptibility, specific-heat and neutron-diffraction measurements. The crystal structure consists of Cu$^{2+}$ kagome layers with Mg$^{2+}$ ions occupying the centers of the hexagons, separated by Br$^{1-}$ ions. The magnetic system orders antiferromagnetically at 5.4 K with the magnetic moments aligned ferromagnetically within the kagome planes. The ordered moment is 0.94 $\mu_B$, suggesting little quantum and geometrical fluctuations. By comparing the magnetic and specific-heat properties with those of the haydeeite, we suggest that $\alpha$-Cu$_3$Mg(OH)$_6$Br$_2$ may be described by the two-dimensional spin-$1/2$ Heisenberg kagome model and is in the region of the ferromagnetic-order side of the phase diagram.


title: Hopf algebras with enough quotients

abstract: A family of algebra maps $H\to A_i$ whose common domain is a Hopf algebra is said to be jointly inner faithful if it does not factor simultaneously through a proper Hopf quotient of $H$. We show that tensor and free products of jointly inner faithful maps of Hopf algebras are again jointly inner faithful, generalizing a number of results in the literature on torus generation of compact quantum groups.


title: Case Study of the Proof of Cook's theorem - Interpretation of A(w)

abstract: Cook's theorem is commonly expressed such as any polynomial time-verifiable problem can be reduced to the SAT problem. The proof of Cook's theorem consists in constructing a propositional formula A(w) to simulate a computation of TM, and such A(w) is claimed to be CNF to represent a polynomial time-verifiable problem w. In this paper, we investigate A(w) through a very simple example and show that, A(w) has just an appearance of CNF, but not a true logical form. This case study suggests that there exists the begging the question in Cook's theorem.


title: Quantized Noncommutative Riemann Manifolds and Stochastic Processes: The theoretical foundations of the square root of Brownian motion

abstract: We lay the theoretical and mathematical foundations of the square root of Browniam motion and we prove the existence of such a process. In doing so, we consider Brownian motion on quantized noncommutative Riemannian manifolds and show how a set of stochastic processes on sets of complex numbers can be devised. This class of stochastic processes are shown to yield at the outset a Chapman-Kolmogorov equation with a complex diffusion coefficient that can be straightforwardly reduced to the Schr\"odinger equation. The existence of these processes has been recently shown numerically. In this work we provide an analogous support for the existence of the Chapman-Kolmogorov-Schr\"odinger equation for them, performing a Monte Carlo study. It is numerically seen as a Wick rotation can turn the heat kernel into the Schr\"odinger one, mapping such kernels through the corresponding stochastic processes. In this way, we introduce a new kind of improper complex stochastic process. This permits a reformulation of quantum mechanics using purely geometrical concepts that are strongly linked to stochastic processes. Applications to economics are also entailed.


title: On searches for anomalous WWW interaction at the LHC

abstract: The process $p+p\to W^\pm W^+ W^-$ with lepton decays of $W$-bosons is shown to be promising for improving conditions for studies of parameter $\lambda$, which is the anomalous triple $W$-bosons interaction coupling constant.


title: A Factor-Augmented Markov Switching (FAMS) Model

abstract: This paper investigates the role of high-dimensional information sets in the context of Markov switching models with time varying transition probabilities. Markov switching models are commonly employed in empirical macroeconomic research and policy work. However, the information used to model the switching process is usually limited drastically to ensure stability of the model. Increasing the number of included variables to enlarge the information set might even result in decreasing precision of the model. Moreover, it is often not clear a priori which variables are actually relevant when it comes to informing the switching behavior. Building strongly on recent contributions in the field of factor analysis, we introduce a general type of Markov switching autoregressive models for non-linear time series analysis. Large numbers of time series are allowed to inform the switching process through a factor structure. This factor-augmented Markov switching (FAMS) model overcomes estimation issues that are likely to arise in previous assessments of the modeling framework. More accurate estimates of the switching behavior as well as improved model fit result. The performance of the FAMS model is illustrated in a simulated data example as well as in an US business cycle application.


title: Test Selection for Deep Learning Systems

abstract: Testing of deep learning models is challenging due to the excessive number and complexity of computations involved. As a result, test data selection is performed manually and in an ad hoc way. This raises the question of how we can automatically select candidate test data to test deep learning models. Recent research has focused on adapting test selection metrics from code-based software testing (such as coverage) to deep learning. However, deep learning models have different attributes from code such as spread of computations across the entire network reflecting training data properties, balance of neuron weights and redundancy (use of many more neurons than needed). Such differences make code-based metrics inappropriate to select data that can challenge the models (can trigger misclassification). We thus propose a set of test selection metrics based on the notion of model uncertainty (model confidence on specific inputs). Intuitively, the more uncertain we are about a candidate sample, the more likely it is that this sample triggers a misclassification. Similarly, the samples for which we are the most uncertain, are the most informative and should be used to improve the model by retraining. We evaluate these metrics on two widely-used image classification problems involving real and artificial (adversarial) data. We show that uncertainty-based metrics have a strong ability to select data that are misclassified and lead to major improvement in classification accuracy during retraining: up to 80% more gain than random selection and other state-of-the-art metrics on one dataset and up to 29% on the other.


title: Semantic Referee: A Neural-Symbolic Framework for Enhancing Geospatial Semantic Segmentation

abstract: Understanding why machine learning algorithms may fail is usually the task of the human expert that uses domain knowledge and contextual information to discover systematic shortcomings in either the data or the algorithm. In this paper, we propose a semantic referee, which is able to extract qualitative features of the errors emerging from deep machine learning frameworks and suggest corrections. The semantic referee relies on ontological reasoning about spatial knowledge in order to characterize errors in terms of their spatial relations with the environment. Using semantics, the reasoner interacts with the learning algorithm as a supervisor. In this paper, the proposed method of the interaction between a neural network classifier and a semantic referee shows how to improve the performance of semantic segmentation for satellite imagery data.


title: Investigation of Initialization Strategies for the Multiple Instance Adaptive Cosine Estimator

abstract: Sensors which use electromagnetic induction (EMI) to excite a response in conducting bodies have long been investigated for subsurface explosive hazard detection. In particular, EMI sensors have been used to discriminate between different types of objects, and to detect objects with low metal content. One successful, previously investigated approach is the Multiple Instance Adaptive Cosine Estimator (MI-ACE). In this paper, a number of new initialization techniques for MI-ACE are proposed and evaluated using their respective performance and speed. The cross validated learned signatures, as well as learned background statistics, are used with Adaptive Cosine Estimator (ACE) to generate confidence maps, which are clustered into alarms. Alarms are scored against a ground truth and the initialization approaches are compared.


title: Computational Models for Commercial Advertisements in Social Networks

abstract: Identifying noteworthy spreaders in a network is essential for understanding the spreading process and controlling the reach of the spread in the network. The nodes that are holding more intrinsic power to extend the reach of the spread are important due to demand for various applications such as viral marketing, controlling rumor spreading or get a better understanding of spreading of the diseases. As an application of the viral marketing, maximization of the reach with a fixed budget is a fundamental requirement in the advertising business. Distributing a fixed number of promotional items for maximizing the viral reach can leverage influencer detection methods. For detecting such "influencer" nodes, there are local metrics such as degree centrality (mostly used as in-degree centrality) or global metrics such as k-shell decomposition or eigenvector centrality. All the methods can rank graphs but they all have limitations and there is still no de-facto method for influencer detection in the domain. In this paper, we propose an extended k-shell algorithm which better utilizes the k-shell decomposition for identifying viral spreader nodes using the topological features of the network. We use Susceptible-Infected-Recovered model for the simulations of the spreading process in real-life networks and the simulations demonstrates that our approach can reach to up to 36% larger crowds within the same network, with the same number of initial spreaders.


title: On infinite Jacobi matrices with a trace class resolvent

abstract: Let $\{\hat{P}_{n}(x)\}$ be an orthonormal polynomial sequence and denote by $\{w_{n}(x)\}$ the respective sequence of functions of the second kind. Suppose the Hamburger moment problem for $\{\hat{P}_{n}(x)\}$ is determinate and denote by $J$ the corresponding Jacobi matrix operator on $\ell^{2}$. We show that if $J$ is positive definite and $J^{-1}$ belongs to the trace class then the series on the right-hand side of the defining equation \[ \mathfrak{F}(z):=1-z\sum_{n=0}^{\infty}w_{n}(0)\hat{P}_{n}(z) \] converges locally uniformly on $\mathbb{C}$ and it holds true that $\mathfrak{F}(z)=\prod_{n=1}^{\infty}(1-z/\lambda_{n})$ where $\{\lambda_{n};\,n=1,2,3,\ldots\}=\mathrm{Spec}\,J$. Furthermore, the Al-Salam-Carlitz II polynomials are treated as an example of orthogonal polynomials to which this theorem can be applied.


title: Stability of Hydride Anions in Reduced Ceria Studied by Density Functional Theory

abstract: Recently, the hydrogen adsorption and diffusion on the CeO2 (111) surface have been a vividly discussed topic because of its outstanding catalytic activity and selectivity in hydrogenation reactions. However, for the strongly reduced CeO2 (111) surface, the structure as well as the stability of hydride anions are still unclear. By virtue of density functional theory (DFT) calculations, we show that in the strongly reduced CeO2 (111) surface, the hydride can be stabilized on the largely metallic surface consisting of Ce3+ when O vacancies are mainly in the outmost layers. For the surface with O vacancies in deeper layers, the hydride locates in the center of three Ce3+ ions. However, the hydridic phase is not the most stable state thermodynamically. With the increase of the temperature, the hydride will transfer from the vacancies to the surface and form hydroxyl group on the outmost layer.


title: 4D-Flow MRI Pressure Estimation Using Velocity Measurement-Error based Weighted Least-Squares

abstract: This work introduces a 4D-flow magnetic resonance imaging (MRI) pressure reconstruction method which employs weighted least-squares (WLS) for pressure integration. Pressure gradients are calculated from the velocity fields, and velocity errors are estimated from the velocity divergence for incompressible flow. Pressure gradient errors are estimated by propagating the velocity errors through Navier-Stokes momentum equation. A weight matrix is generated based on the pressure gradient errors, then employed for pressure reconstruction. The pressure reconstruction method was demonstrated and analyzed using synthetic velocity fields as well as Poiseuille flow measured using in vitro 4D-flow MRI. Performance of the proposed WLS method was compared to the method of solving the pressure Poisson equation which has been the primary method used in the previous studies. Error analysis indicated that the proposed method is more robust to velocity measurement errors. Improvement on pressure results was found to be more significant for the cases with spatially-varying velocity error level, with reductions in error ranging from 50% to over 200%. Finally, the method was applied to flow in a patient-specific cerebral aneurysm. Validation was performed with in vitro flow data collected using Particle Tracking Velocimetry (PTV) and Shake the Box (STB) method, and in vivo flow measurement obtained using 4D-flow MRI. Pressure calculated by WLS, as opposed to the Poisson equation, was more consistent with the flow structures and showed better agreement between the in vivo and in vitro data. These results suggest the utility of WLS method to obtain reliable pressure field from clinical flow measurement data.


title: Subpulse Drifting, Nulling and Mode changing in PSR J2006$-$0807 with Core emission

abstract: We report a detailed analysis of the emission behaviour of the five component, core-double cone, pulsar J2006$-$0807 (B2003$-$08). The single pulses revealed the presence of the three major phenomena of subpulse drifting, nulling and mode changing. The pulsar switched between four different emission modes, two of which showed systematic drifting with prominent drift bands, and were classified as modes A and B respectively. The drifting was seen primarily in the conal components and exhibited the rare phenomenon of bi-drifting, where the drift direction in the second component was opposite to the fourth component. This made PSR J2006$-$0807 the only known example where systematic drift bands were seen around a central core emission. The emission showed a gradual decrease in intensity during mode A which stabilised to a relatively constant level in the subsequent mode B. The presence of a low frequency, weak and wide structure in the fluctuation spectra was also seen primarily in the core component during modes A and B. The core component vanished during mode C and was most prominent during the fourth mode D. Both these modes were frequently interspersed with null pulses. No detectable drifting was seen during modes C and D, but the pulsar showed short duration periodic nulling in the core as well as the conal components. In addition to the four emission modes the pulsar also nulled for long durations lasting up to hundred rotation periods.


title: Computable analysis and notions of continuity in Coq

abstract: We give a number of formal proofs of theorems from the field of computable analysis. Many of our results specify executable algorithms that work on infinite inputs by means of operating on finite approximations and are proven correct in the sense of computable analysis. The development is done in the proof assistant Coq and heavily relies on the Incone library for information theoretic continuity. This library is developed by one of the authors and the paper can be used as an introduction to the library as it describes many of its most important features in detail. While the ability to have full executability in a formal development of mathematical statements about real numbers and the like is not a feature that is unique to the Incone library, its original contribution is to adhere to the conventions of computable analysis to provide a general purpose interface for algorithmic reasoning on continuous structures. The results that provide complete computational content include that the algebraic operations and the efficient limit operator on the reals are computable, that certain countably infinite products are isomorphic to spaces of functions, compatibility of the enumeration representation of subsets of natural numbers with the abstract definition of the space of open subsets of the natural numbers, and that continuous realizability implies sequential continuity. We also formalize proofs of non-computational results that support the correctness of our definitions. These include that the information theoretic notion of continuity used in the library is equivalent to the metric notion of continuity on Baire space, a complete comparison of the different concepts of continuity that arise from metric and represented-space structures and the discontinuity of the unrestricted limit operator on the real numbers and the task of selecting an element of a closed subset of the natural numbers.


title: GaborNet: Gabor filters with learnable parameters in deep convolutional neural networks

abstract: The article describes a system for image recognition using deep convolutional neural networks. Modified network architecture is proposed that focuses on improving convergence and reducing training complexity. The filters in the first layer of the network are constrained to fit the Gabor function. The parameters of Gabor functions are learnable and are updated by standard backpropagation techniques. The system was implemented on Python, tested on several datasets and outperformed the common convolutional networks.


title: A Note on Computational Complexity of Dou Shou Qi

abstract: Dou Shou Qi is a Chinese strategy board game for two players. We use a EXPTIME-hardness framework to analyse computational complexity of the game. We construct all gadgets of the hardness framework. In conclusion, we prove that Dou Shou Qi is EXPTIME-complete.


title: Harmonic Coding: An Optimal Linear Code for Privacy-Preserving Gradient-Type Computation

abstract: We consider the problem of distributedly computing a general class of functions, referred to as gradient-type computation, while maintaining the privacy of the input dataset. Gradient-type computation evaluates the sum of some `partial gradients', defined as polynomials of subsets of the input. It underlies many algorithms in machine learning and data analytics. We propose Harmonic Coding, which universally computes any gradient-type function, while requiring the minimum possible number of workers. Harmonic Coding strictly improves computing schemes developed based on prior works, such as Shamir's secret sharing and Lagrange Coded Computing, by injecting coded redundancy using harmonic progression. It enables the computing results of the workers to be interpreted as the sum of partial gradients and some redundant results, which then allows the cancellation of non-gradient terms in the decoding process. By proving a matching converse, we demonstrate the optimality of Harmonic Coding, even compared to the schemes that are non-universal (i.e., can be designed based on a specific gradient-type function).


title: Methods of Estimation for the Three-Parameter Reflected Weibull Distribution

abstract: In this paper, we propose methods for the estimation of parameters for the three-parameter Reflected Weibull distribution. The Moment estimator , Maximum likelihood estimator and Location and Scale Parameters free maximum likelihood estimator. The Location and Scale Parameters free maximum likelihood estimator is based on a data transformation, which avoids the problem of unbounded likelihood estimator. Through Mont Carlo simulations, we further show that the Location and Scale Parameters free maximum likelihood estimator performs better than methods moment and maximum likelihood estimator in terms of bias and root mean squared error. Finally, two examples based on real data sets are presented to illustrate methods.


title: Inference of Tampered Smart Meters with Validations from Feeder-Level Power Injections

abstract: Tampering of metering infrastructure of an electrical distribution system can significantly cause customers' billing discrepancy. The large-scale deployment of smart meters may potentially be tampered by malware by propagating their agents to other IP-based meters. Such a possibility is to pivot through the physical perimeters of a smart meter. While this framework may help utilities to accurately energy consumption information on the regular basis, it is challenging to identify malicious meters when there is a large number of users that are exploited to vulnerability and kWh information being altered. This paper presents a reconfiguration switching scheme based on graph theory incorporating the concept of distributed generators to accelerate the anomaly localization process within an electrical distribution network. First, a data form transformation from a visualized grid topology to a graph with vertices and edges is presented. A conversion from the graph representation to machine recognized matrix representation is then performed. The connection of the grid topology is illustrated as an adjacency or incidence matrix for the following analysis. A switching procedure to change elements in the topological matrix is used to detect and localize the tampered node or cluster. The procedure has to meet the electrical and the temporary closed-loop operational constraints. The customer-level anomaly detection is then performed in accordance with probability derived from smart meter anomalies.


title: The Virtual Machinery Workshop: an Immersive 360 degree Web-Based Vocational Education Learning

abstract: In this article, we have proposed an educational learning material model using 360-degree environment on web-based platform by personalizing the learning environment as per user surf the web. Virtual Machinery Workshop allow an illusionary immersion into a virtual learning environment where the user can freely navigate through a 360-degree videos and pictures. The main objective of this study is to analyze the nature of the added information in virtual learning environment, cognitive difficulty of user to study at web-based learning and the potential immersive learning in education. Our proposed method presented machinery workshop situation by utilizing 360-degree pictures and videos technique. The results show that our learning environment enhancing users study information through this visualized system.


title: A Classification of Topological Discrepancies in Additive Manufacturing

abstract: Additive manufacturing (AM) enables enormous freedom for design of complex structures. However, the process-dependent limitations that result in discrepancies between as-designed and as-manufactured shapes are not fully understood. The tradeoffs between infinitely many different ways to approximate a design by a manufacturable replica are even harder to characterize. To support design for AM (DfAM), one has to quantify local discrepancies introduced by AM processes, identify the detrimental deviations (if any) to the original design intent, and prescribe modifications to the design and/or process parameters to countervail their effects. Our focus in this work will be on topological analysis. There is ample evidence in many applications that preserving local topology (e.g., connectivity of beams in a lattice) is important even when slight geometric deviations can be tolerated. We first present a generic method to characterize local topological discrepancies due to material under- and over-deposition in AM, and show how it captures various types of defects in the as-manufactured structures. We use this information to systematically modify the as-manufactured outcomes within the limitations of available 3D printer resolution(s), which often comes at the expense of introducing more geometric deviations (e.g., thickening a beam to avoid disconnection). We validate the effectiveness of the method on 3D examples with nontrivial topologies such as lattice structures and foams.


title: Revisiting Fortet's proof of existence of a solution to the Schr\"odinger system

abstract: Since a few years, the Schr\"odinger problem captures the attention of a growing community of mathematicians interested in optimal transport problems. The first result of existence of a solution to this problem dates back to 1940, when Fortet published an article on the subject. In these notes, Fortet's original proof of existence and uniqueness of a solution to the Schr\"odinger system is revisited.