title: Approximation Algorithms for Minimizing Maximum Sensor Movement for Line Barrier Coverage in the Plane

abstract: Given a line barrier and a set of mobile sensors distributed in the plane, the Minimizing Maximum Sensor Movement problem (MMSM) for \textcolor{black}{line barrier coverage} is to compute relocation positions for the sensors in the plane such that the barrier is entirely covered by the monitoring area of the sensors while the maximum relocation movement (distance) is minimized. Its weaker version, decision MMSM is to determine whether the barrier can be covered by the sensors within a given relocation distance bound $D\in\mathbb{Z}^{+}$. This paper presents three approximation algorithms for decision MMSM. The first is a simple greedy approach, which runs in time $O(n\log n)$ and achieves a maximum movement $D^{*}+2r_{max}$, where $n$ is the number of the sensors, $D^{*}$ is the maximum movement of an optimal solution and $r_{max}$ is the maximum radii of the sensors. The second and the third algorithms improve the maximum movement to $D^{*}+r_{max}$ , running in time $O(n^{7}L)$ and $O(R^{2}\sqrt{\frac{M}{\log R}})$ by applying linear programming (LP) rounding and maximal matching tchniques respecitvely, where $R=\sum2r_{i}$, which is $O(n)$ in practical scenarios of uniform sensing radius for all sensors, and $M\leq n\max r_{i}$. Applying the above algorithms for $O(\log(d_{max}))$ time in binary search immediately yields solutions to MMSM with the same performance guarantee. In addition, we also give a factor-2 approximation algorithm which can be used to improve the performance of the first three algorithms when $r_{max}>D^{*}$. As shown in \cite{dobrev2015complexity}, the 2-D MMSM problem admits no FPTAS as it is strongly NP-complete, so our algorithms arguably achieve the best possible ratio.


title: Structural, electronic, magnetic and transport properties of equiatomic quaternary Heusler Alloy CoRhMnGe: Theory and Experiment

abstract: In this work, we present structural, electronic, magnetic, mechanical and transport properties of equiatomic quaternary Heusler alloy, CoRhMnGe using both theoretical and experimental techniques. A detailed structural analysis is performed using X-ray diffraction(XRD) and extended X-ray absorption fine structure(EXAFS) spectroscopy. The alloy is found to crystallize in Y-type structure having space group $F\bar{4}3m$ (\# 216). The ab-initio simulation pedict half-metallic ferromagnetic characteristics leading to large spin polarization. The calculated magnetization is found to be in fair agreement with experiment as well as those predicted by the Slater-Pauling rule, which is a prerequisite for half-metallicity. The magnetic transition temperature($\mathrm{T_{C}}$) is found to be $\sim 760$ K. Measured electrical resistivity in the temperature range 2-400 K also gives an indication of half-metallic behavior. Simulated resistivity matches fairly well with those measured, with the temperature dependant carrier relaxation time lying in the range $1-2$ fs. Effect of hydrostatic pressure on electronic structure, magnetic and mechanical properties are investigated in detail. The alloy is found to preserve half-metallic characteristics upto 30.27 GPa beyond which it transit to metallic phase. No magnetic phase transition is found to occur in the whole range of pressure. The system also satisfies the Born-Huang criteria for mechanical stability upto a limited range of pressure. All these properties make CoRhMnGe alloy promising for spintronics devices.


title: Understanding Betting Strategy

abstract: In this paper, we present betting strategy of a football game using probability theory. We know all betting houses offer slightly unfair odds towards the player. Here we discuss a simple way to figure out which betting house is offering relatively better odds compared to others for English Premier League. However, this methodology can be adopted for another league football match.


title: Zeta Functions of Monomial Deformations of Delsarte Hypersurfaces

abstract: Let $X_\lambda$ and $X_\lambda'$ be monomial deformations of two Delsarte hypersurfaces in weighted projective spaces. In this paper we give a sufficient condition so that their zeta functions have a common factor. This generalises results by Doran, Kelly, Salerno, Sperber, Voight and Whitcher [arXiv:1612.09249], where they showed this for a particular monomial deformation of a Calabi-Yau invertible polynomial. It turns out that our factor can be of higher degree than the factor found in [arXiv:1612.09249].


title: Quantified block gluing, aperiodicity and entropy of multidimensional SFT

abstract: It is possible to define mixing properties for subshifts according to the intensity which allows to concatenate two rectangular blocks. We study the interplay between this intensity and computational properties. In particular we prove that there exists linearly block gluing subshift of finite type which are aperiodic and that all right-recursively enumerable positive number can be realized as entropy of linearly block gluing Z 2-subshift of finite type. Like linearly block gluing imply transitivity, this last point answer a question asked in [HM10] about the characterization of the entropy of transitive subshift of finite type.


title: Optimal Attack against Cyber-Physical Control Systems with Reactive Attack Mitigation

abstract: This paper studies the performance and resilience of a cyber-physical control system (CPCS) with attack detection and reactive attack mitigation. It addresses the problem of deriving an optimal sequence of false data injection attacks that maximizes the state estimation error of the system. The results provide basic understanding about the limit of the attack impact. The design of the optimal attack is based on a Markov decision process (MDP) formulation, which is solved efficiently using the value iteration method. Using the proposed framework, we quantify the effect of false positives and mis-detections on the system performance, which can help the joint design of the attack detection and mitigation. To demonstrate the use of the proposed framework in a real-world CPCS, we consider the voltage control system of power grids, and run extensive simulations using PowerWorld, a high-fidelity power system simulator, to validate our analysis. The results show that by carefully designing the attack sequence using our proposed approach, the attacker can cause a large deviation of the bus voltages from the desired setpoint. Further, the results verify the optimality of the derived attack sequence and show that, to cause maximum impact, the attacker must carefully craft his attack to strike a balance between the attack magnitude and stealthiness, due to the simultaneous presence of attack detection and mitigation.


title: Markov Chain Monte Carlo Methods for Bayesian Data Analysis in Astronomy

abstract: Markov Chain Monte Carlo based Bayesian data analysis has now become the method of choice for analyzing and interpreting data in almost all disciplines of science. In astronomy, over the last decade, we have also seen a steady increase in the number of papers that employ Monte Carlo based Bayesian analysis. New, efficient Monte Carlo based methods are continuously being developed and explored. In this review, we first explain the basics of Bayesian theory and discuss how to set up data analysis problems within this framework. Next, we provide an overview of various Monte Carlo based methods for performing Bayesian data analysis. Finally, we discuss advanced ideas that enable us to tackle complex problems and thus hold great promise for the future. We also distribute downloadable computer software (available at https://github.com/sanjibs/bmcmc/ ) that implements some of the algorithms and examples discussed here.


title: Black hole as topological insulator (II): the boundary modes

abstract: In the previous paper Ref.[1], it was claimed that the black hole can be considered as a kind of topological insulator. For BTZ black hole in three dimensional $AdS_3$ spacetime two evidences were given to support this claim: the first evidence comes from the black hole "membrane paradigm", and the second evidence comes from the fact that the horizon of BTZ black hole can support two chiral massless scalar field with opposite chirality. Those are two key properties of 2D topological insulator. For higher dimensional black hole the first evidence is still valid but the second fails. In this paper, starting from the boundary BF theory, which can be used to describe the boundary degrees of freedom of black hole in arbitrary dimension, we shown that the isolated horizon of $3+1-$D black hole can support massless scalar field and vector field. Those two fields can be used to construct a massless Dirac field through the $2+1-$dimensional bosonization, which also appears on the boundary of $3+1-$D topological insulators.


title: A Flexible Modeling Approach for Robust Multi-Lane Road Estimation

abstract: A robust estimation of road course and traffic lanes is an essential part of environment perception for next generations of Advanced Driver Assistance Systems and development of self-driving vehicles. In this paper, a flexible method for modeling multiple lanes in a vehicle in real time is presented. Information about traffic lanes, derived by cameras and other environmental sensors, that is represented as features, serves as input for an iterative expectation-maximization method to estimate a lane model. The generic and modular concept of the approach allows to freely choose the mathematical functions for the geometrical description of lanes. In addition to the current measurement data, the previously estimated result as well as additional constraints to reflect parallelism and continuity of traffic lanes, are considered in the optimization process. As evaluation of the lane estimation method, its performance is showcased using cubic splines for the geometric representation of lanes in simulated scenarios and measurements recorded using a development vehicle. In a comparison to ground truth data, robustness and precision of the lanes estimated up to a distance of 120 m are demonstrated. As a part of the environmental modeling, the presented method can be utilized for longitudinal and lateral control of autonomous vehicles.


title: Publication Trends in Physics Education: A Bibliometric study

abstract: A publication trend in Physics Education by employing bibliometric analysis leads the researchers to describe current scientific movement. This paper tries to answer "What do Physics education scientists concentrate in their publications?" by analyzing the productivity and development of publications on the subject category of Physics Education in the period 1980--2013. The Web of Science databases in the research areas of "EDUCATION - EDUCATIONAL RESEARCH" was used to extract the publication trends. The study involves 1360 publications, including 840 articles, 503 proceedings paper, 22 reviews, 7 editorial material, 6 Book review, and one Biographical item. Number of publications with "Physical Education" in topic increased from 0.14 % (n = 2) in 1980 to 16.54 % (n = 225) in 2011. Total number of receiving citations is 8071, with approximately citations per papers of 5.93. The results show the publication and citations in Physic Education has increased dramatically while the Malaysian share is well ranked.


title: On the eigenvalues of weighted directed graphs

abstract: This paper deals with spectral graph theory issues related to questions of monotonicity and comparison of eigenvalues. We consider finite directed graphs with non symmetric edge weights and we introduce a special self-adjoint operator as the sum of two non self-adjoint Laplacians. We investigate how the perturbation of the graph can affect the eigenvalues. Our approach is to take well known techniques from finite dimensional matrix analysis and show how they can be generalized for graph Laplacians.


title: Random fixed point theorems for Hardy-Rogers self-random operators with applications to random integral equations

abstract: In this paper, we prove some random fixed point theorems for Hardy-Rogers self-random operators in separable Banach spaces and, as some applications, we show the existence of a solution for random nonlinear integral equations in Banach spaces. Some stochastic versions of deterministic fixed point theorems for Hardy-Rogers self mappings and stochastic integral equations are obtained.


title: Relation between the variations in the MgII $\lambda2798$ emission-line and the 3000 {\AA} continuum

abstract: We investigate the relationship between the MgII $\lambda2798$ emission-line and the 3000 {\AA} continuum variations using a sample of 68 intermediate-redshift ($z\sim$ 0.65$-$1.50) broad-line quasars spanning a bolometric luminosity range of 44.49 erg s$^{-1} \leq \rm{log}$$L_{\rm{bol}} \leq 46.31$ erg s$^{-1}$ (Eddington ratio from $\sim$ 0.026 to 0.862). This sample is constructed from SDSS-DR7Q and BOSS-DR12Q, each with at least 2 spectroscopic epochs in SDSS-I/II/III surveys. Additionally, we adopt the following signal-to-noise ratio (S/N) selection criteria: a) for MgII and the 3000 {\AA} continuum, S/N $\geq$ 10; b) for narrow lines, S/N $\geq$ 5. All our quasar spectra are recalibrated based on the assumption of constant narrow emission-line fluxes. In an analysis of spectrum-to-spectrum variations, we find a fairly close correlation (Spearman $\rho = 0.593$) between the variations in broad MgII and in the continuum. This is consistent with the idea that MgII is varying in response to the continuum emission variations. Adopting the modified weighted least squares regression method, we statistically constrain the slopes (i.e., the responsivity $\alpha$ of the broad MgII) between the variations in both components for the sources in different luminosity bins after eliminating intrinsic biases introduced by the rescaling process itself. It is shown that the responsivity is quite small (average $\bar{\alpha} \approx$ 0.464) and anti-correlates with the quasar luminosity. Our results indicate that high signal-to-noise flux measurements are required to robustly detect the intrinsic variability and the time lag of MgII line.


title: Can Pairwise Testing Perform Comparably to Manually Handcrafted Testing Carried Out by Industrial Engineers?

abstract: Testing is an important activity in engineering of industrial software. For such software, testing is usually performed manually by handcrafting test suites based on specific design techniques and domain-specific experience. To support developers in testing, different approaches for producing good test suites have been proposed. In the last couple of years combinatorial testing has been explored with the goal of automatically combining the input values of the software based on a certain strategy. Pairwise testing is a combinatorial technique used to generate test suites by varying the values of each pair of input parameters to a system until all possible combinations of those parameters are created. There is some evidence suggesting that these kinds of techniques are efficient and relatively good at detecting software faults. Unfortunately, there is little experimental evidence on the comparison of these combinatorial testing techniques with, what is perceived as, rigorous manually handcrafted testing. In this study we compare pairwise test suites with test suites created manually by engineers for 45 industrial programs. The test suites were evaluated in terms of fault detection, code coverage and number of tests. The results of this study show that pairwise testing, while useful for achieving high code coverage and fault detection for the majority of the programs, is almost as effective in terms of fault detection as manual testing. The results also suggest that pairwise testing is just as good as manual testing at fault detection for 64% of the programs.


title: Quantum Phase Transition and Entanglement in Topological Quantum Wires

abstract: We investigate the quantum phase transition of the Su-Schrieffer-Heeger (SSH) model by inspecting the two-site entanglements in the ground state. It is shown that the topological phase transition of the SSH model is signified by a nonanalyticity of local entanglement, which becomes discontinuous for finite even system sizes, and that this nonanalyticity has a topological origin. Such a peculiar singularity has a universal nature in one-dimensional topological phase transitions of noninteracting fermions. We make this clearer by pointing out that an analogous quantity in the Kitaev chain exhibiting the identical nonanalyticity is the local electron density. As a byproduct, we show that there exists a different type of phase transition, whereby the pattern of the two-site entanglements undergoes a sudden change. This transition is characterised solely by quantum information theory and does not accompany the closure of the spectral gap. We analyse the scaling behaviours of the entanglement in the vicinities of the transition points.


title: Transport spectroscopy of induced superconductivity in the three-dimensional topological insulator HgTe

abstract: The proximity-induced superconducting state in the 3-dimensional topological insulator HgTe has been studied using electronic transport of a normal metal-superconducting point contact as a spectroscopic tool (Andreev point contact spectroscopy). By analyzing the conductance as a function of voltage for various temperatures, magnetic fields and gate-voltages, we find evidence, in equilibrium, for an induced order parameter in HgTe of $70\,\mu$eV and a niobium order parameter of $1.1\,$meV. To understand the full conductance curve as a function of applied voltage we suggest a non-equilibrium driven transformation of the quantum transport process where the relevant scattering region and equilibrium reservoirs change with voltage. This implies that the spectroscopy probes the superconducting correlations at different positions in the sample, depending on the bias voltage.


title: Spin-orbit-torque MRAM: from uniaxial to unidirectional switching

abstract: With ultra-fast writing capacity and high reliability, the spin-orbit torque is regarded as a promising alternative to fabricate next-generation magnetic random access memory. However, the three-terminal setup can be challenging when scaling down the cell size. In particular, the thermal stability is an important issue. Here we demonstrate that the current-pulse-induced perpendicular exchange bias can significantly relieve the concern of thermal stability. The switching of the exchange bias direction is induced by the spin-orbit torque when passing current pulses through the Pt/Co system with an inserted IrMn antiferromagnetic layer. Manipulating the current-pulse-induced exchange bias, spin-orbit-torque switching at zero field between states with unidirectional anisotropy is achieved and the thermal agitation of the magnetic moment is strongly suppressed. The spin-orbit torque mechanism provides an innovative method to generate and to control the exchange bias by electrical means, which enables us to realize the new switching mechanism of highly stable perpendicular memory cells.


title: Characterizing the homogeneous variety F_4(4)

abstract: In this paper we consider the $15$-dimensional homogeneous variety of Picard number one ${\rm F}_4(4)$, and provide a characterization of it in terms of its varieties of minimal rational tangents.


title: Constraints on Macroscopic Realism Without Assuming Non-Invasive Measurability

abstract: Macroscopic realism is the thesis that macroscopically observable properties must always have definite values. The idea was introduced by Leggett and Garg (1985), who wished to show a conflict with the predictions of quantum theory. However, their analysis required not just the assumption of macroscopic realism per se, but also that the observable properties could be measured non-invasively. In recent years there has been increasing interest in experimental tests of the violation of the Leggett-Garg inequality, but it has remained a matter of controversy whether this second assumption is a reasonable requirement for a macroscopic realist view of quantum theory. In a recent critical assessment Maroney and Timpson (2017) identified three different categories of macroscopic realism, and argued that only the simplest category could be ruled out by Leggett-Garg inequality violations. Allen, Maroney, and Gogioso (2016) then showed that the second of these approaches was also incompatible with quantum theory in Hilbert spaces of dimension 4 or higher. However, we show that the distinction introduced by Maroney and Timpson between the second and third approaches is not noise tolerant, so unfortunately Allen's result, as given, is not directly empirically testable. In this paper we replace Maroney and Timpson's three categories with a parameterization of macroscopic realist models, which can be related to experimental observations in a noise tolerant way, and recover the original definitions in the noise-free limit. We show how this parameterization can be used to experimentally rule out classes of macroscopic realism in Hilbert spaces of dimension 3 or higher, including the category tested by the Leggett-Garg inequality, without any use of the non-invasive measurability assumption.


title: Group Sparse Precoding for Cloud-RAN with Multiple User Antennas

abstract: Cloud radio access network (C-RAN) has become a promising network architecture to support the massive data traffic in the next generation cellular networks. In a C-RAN, a massive number of low-cost remote antenna ports (RAPs) are connected to a single baseband unit (BBU) pool via high-speed low-latency fronthaul links, which enables efficient resource allocation and interference management. As the RAPs are geographically distributed, the group sparse beamforming schemes attracts extensive studies, where a subset of RAPs is assigned to be active and a high spectral efficiency can be achieved. However, most studies assumes that each user is equipped with a single antenna. How to design the group sparse precoder for the multiple antenna users remains little understood, as it requires the joint optimization of the mutual coupling transmit and receive beamformers. This paper formulates an optimal joint RAP selection and precoding design problem in a C-RAN with multiple antennas at each user. Specifically, we assume a fixed transmit power constraint for each RAP, and investigate the optimal tradeoff between the sum rate and the number of active RAPs. Motivated by the compressive sensing theory, this paper formulates the group sparse precoding problem by inducing the $\ell_0$-norm as a penalty and then uses the reweighted $\ell_1$ heuristic to find a solution. By adopting the idea of block diagonalization precoding, the problem can be formulated as a convex optimization, and an efficient algorithm is proposed based on its Lagrangian dual. Simulation results verify that our proposed algorithm can achieve almost the same sum rate as that obtained from exhaustive search.


title: Retrosynthetic reaction prediction using neural sequence-to-sequence models

abstract: We describe a fully data driven model that learns to perform a retrosynthetic reaction prediction task, which is treated as a sequence-to-sequence mapping problem. The end-to-end trained model has an encoder-decoder architecture that consists of two recurrent neural networks, which has previously shown great success in solving other sequence-to-sequence prediction tasks such as machine translation. The model is trained on 50,000 experimental reaction examples from the United States patent literature, which span 10 broad reaction types that are commonly used by medicinal chemists. We find that our model performs comparably with a rule-based expert system baseline model, and also overcomes certain limitations associated with rule-based expert systems and with any machine learning approach that contains a rule-based expert system component. Our model provides an important first step towards solving the challenging problem of computational retrosynthetic analysis.


title: Volume Calculation of CT lung Lesions based on Halton Low-discrepancy Sequences

abstract: Volume calculation from the Computed Tomography (CT) lung lesions data is a significant parameter for clinical diagnosis. The volume is widely used to assess the severity of the lung nodules and track its progression, however, the accuracy and efficiency of previous studies are not well achieved for clinical uses. It remains to be a challenging task due to its tight attachment to the lung wall, inhomogeneous background noises and large variations in sizes and shape. In this paper, we employ Halton low-discrepancy sequences to calculate the volume of the lung lesions. The proposed method directly compute the volume without the procedure of three-dimension (3D) model reconstruction and surface triangulation, which significantly improves the efficiency and reduces the complexity. The main steps of the proposed method are: (1) generate a certain number of random points in each slice using Halton low-discrepancy sequences and calculate the lesion area of each slice through the proportion; (2) obtain the volume by integrating the areas in the sagittal direction. In order to evaluate our proposed method, the experiments were conducted on the sufficient data sets with different size of lung lesions. With the uniform distribution of random points, our proposed method achieves more accurate results compared with other methods, which demonstrates the robustness and accuracy for the volume calculation of CT lung lesions. In addition, our proposed method is easy to follow and can be extensively applied to other applications, e.g., volume calculation of liver tumor, atrial wall aneurysm, etc.


title: On right conjugacy closed loops of twice prime order

abstract: The right conjugacy closed loops of order 2p, where p is an odd prime, are classified up to isomorphism.


title: Diffuse-interface polycrystal plasticity: Expressing grain boundaries as geometrically necessary dislocations

abstract: The standard way of modeling plasticity in polycrystals is by using the crystal plasticity model for single crystals in each grain, and imposing suitable traction and slip boundary conditions across grain boundaries. In this fashion, the system is modeled as a collection of boundary-value problems with matching boundary conditions. In this paper, we develop a diffuse-interface crystal plasticity model for polycrystalline materials that results in a single boundary-value problem with a single crystal as the reference configuration. Using a multiplicative decomposition of the deformation gradient into lattice and plastic parts, i.e. F(X,t) = F^L(X,t) F^P(X,t), an initial stress-free polycrystal is constructed by imposing F^L to be a piecewise constant rotation field R^0(X), and F^P = R^0(X)^T, thereby having F(X,0) = I, and zero elastic strain. This model serves as a precursor to higher order crystal plasticity models with grain boundary energy and evolution.


title: Sparse Iterative Learning Control with Application to a Wafer Stage: Achieving Performance, Resource Efficiency, and Task Flexibility

abstract: Trial-varying disturbances are a key concern in Iterative Learning Control (ILC) and may lead to inefficient and expensive implementations and severe performance deterioration. The aim of this paper is to develop a general framework for optimization-based ILC that allows for enforcing additional structure, including sparsity. The proposed method enforces sparsity in a generalized setting through convex relaxations using $\ell_1$ norms. The proposed ILC framework is applied to the optimization of sampling sequences for resource efficient implementation, trial-varying disturbance attenuation, and basis function selection. The framework has a large potential in control applications such as mechatronics, as is confirmed through an application on a wafer stage.


title: Single point Seshadri constants on rational surfaces

abstract: Motivated by a similar result of Dumnicki, K\"uronya, Maclean and Szemberg under a slightly stronger hypothesis, we exhibit irrational single-point Seshadri constants on a rational surface $X$ obtained by blowing up very general points of $\mathbb{P}^2_\mathbb{C}$, assuming only that all prime divisors on $X$ of negative self-intersection are smooth rational curves $C$ with $C^2=-1$. (This assumption is a consequence of the SHGH Conjecture, but it is weaker than assuming the full conjecture.)


title: A Minimal Solution for Two-view Focal-length Estimation using Two Affine Correspondences

abstract: A minimal solution using two affine correspondences is presented to estimate the common focal length and the fundamental matrix between two semi-calibrated cameras - known intrinsic parameters except a common focal length. To the best of our knowledge, this problem is unsolved. The proposed approach extends point correspondence-based techniques with linear constraints derived from local affine transformations. The obtained multivariate polynomial system is efficiently solved by the hidden-variable technique. Observing the geometry of local affinities, we introduce novel conditions eliminating invalid roots. To select the best one out of the remaining candidates, a root selection technique is proposed outperforming the recent ones especially in case of high-level noise. The proposed 2-point algorithm is validated on both synthetic data and 104 publicly available real image pairs. A Matlab implementation of the proposed solution is included in the paper.


title: One- and two-axis squeezing of atomic ensembles in optical cavities

abstract: The strong light-matter coupling attainable in optical cavities enables the generation of highly squeezed states of atomic ensembles. It was shown in [Phys. Rev. A 66, 022314 (2002)] how an effective one-axis twisting Hamiltonian can be realized in a cavity setup. Here, we extend this work and show how an effective two-axis twisting Hamiltonian can be realized in a similar cavity setup. We compare the two schemes in order to characterize their advantages. In the absence of decoherence, the two-axis Hamiltonian leads to more squeezing than the one-axis Hamiltonian. If limited by decoherence from spontaneous emission and cavity decay, we find roughly the same level of squeezing for the two schemes scaling as (NC)^(1/2) where C is the single atom cooperativity and N is the total number of atoms. When compared to an ideal squeezing operation, we find that for specific initial states, a dissipative version of the one-axis scheme attains higher fidelity than the unitary one-axis scheme or the two-axis scheme. However, the unitary one-axis and two-axis schemes perform better for general initial states.


title: Gauged Q-ball Decay Rates into Fermions

abstract: We derive the decay rate of a gauged Q-ball into fermions, applying the leading semi-classical approximation. We find that more particles come out from the surface of a gauged Q-ball, compared to the case of a global Q-ball, due to the electric repulsion. We show that, however, the decay rate of a gauged Q-ball is bounded from above due to the Pauli blocking at the surface of the Q-ball, just as in the case of a global Q-ball. We also find that there is a further suppression due to the Coulomb potential outside the Q-ball, which we find to play the role of a potential barrier for the fermions coming from the inside the Q-ball.


title: Evidence of a two-stage melting of Wigner solids in two dimensions

abstract: Two-dimensional (2D) solid-liquid transition (SLT)~\cite{Mermin1966Absence,Mermin1968Crystalline,Kosterlitz1972Long} concerns fundamental concepts of long-range correlations vital to magnetism, superconductivity, superfluidity, and topological matters. A long sought-after example is the melting of a Wigner Crystal (WC)~\cite{Wigner1934Interaction} of electrons. Detection efforts have targeted distinctive collective modes such as pinning by disorder, resonant-frequency absorption of Goldstone modes, and melting transition. However, only one-step second-order melting of softly-pinned modes was reported. Without the evidence of genuine pinning as exhibited in the charge density waves (CDWs)~\cite{PinningCDW}, these modes are likely intermediate phases which are only part of a complete SLT. To verify if there is a WC-intermediate phase transition will not only provide a solid proof of a WC, but will also unveil the nature of the SLT in relation to the two-stage Kosterlitz-Thouless (KT) model~\cite{Kosterlitz1972Long,Kosterlitz1973Ordering,Halperin1978Theory,Nelson1979Dislocation,hexatic_ceperley,hexatic_nelson, Young1979Melting}. %(or dislocation pairs) above a critical temperature $T_c$. Through transport studies of ultra-dilute high-purity 2D systems, this work presents evidence for not only a WC, but also for a two-stage WC-liquid SLT mediated by a first-order WC-intermediate phase transition.


title: Varieties of elements of given order in simple algebraic groups

abstract: Given a positive integer $u$ and a simple algebraic group $G$ defined over an algebraically closed field $K$ of characteristic $p$, we derive properties about the subvariety $G_{[u]}$ of $G$ consisting of elements of $G$ of order dividing $u$. In particular, we determine the dimension of $G_{[u]}$, completing results of Lawther [7] in the special case where $G$ is of adjoint type. We also apply our results to the study of finite simple quotients of triangle groups, giving further insight on a conjecture we proposed in [10] as well as proving that some finite quasisimple groups are not quotients of certain triangle groups.


title: On the real zeros of random trigonometric polynomials with dependent coefficients

abstract: We consider random trigonometric polynomials of the form \[ f_n(t):=\sum_{1\le k \le n} a_{k} \cos(kt) + b_{k} \sin(kt), \] whose entries $(a_{k})_{k\ge 1}$ and $(b_{k})_{k\ge 1}$ are given by two independent stationary Gaussian processes with the same correlation function $\rho$. Under mild assumptions on the spectral function $\psi_\rho$ associated with $\rho$, we prove that the expectation of the number $N_n([0,2\pi])$ of real roots of $f_n$ in the interval $[0,2\pi]$ satisfies \[ \lim_{n \to +\infty} \frac{\mathbb E\left [N_n([0,2\pi])\right]}{n} = \frac{2}{\sqrt{3}}. \] The latter result not only covers the well-known situation of independent coefficients but allow us to deal with long range correlations. In particular it englobes the case where the random coefficients are given by a fractional Brownian noise with any Hurst parameter.


title: Edge Control of Graphene Domains Grown on Hexagonal Boron Nitride

abstract: Edge structure of graphene has a significant influence on its electronic properties. However, control over the edge structure of graphene domains on insulating substrates is still challenging. Here we demonstrate edge control of graphene domains on hexagonal boron nitride (h-BN) by modifying ratio of working-gases. Edge directions were determined with the help of both moir\'e pattern and atomic-resolution image obtained via atomic force microscopy measurement. It is believed that the variation on graphene edges mainly attributes to different growth rates of armchair and zigzag edges. This work demonstrated here points out a potential approach to fabricate graphene ribbons on h-BN.


title: TDNetGen: An open-source, parametrizable, large-scale, transmission and distribution test system

abstract: In this paper, an open-source MATLAB toolbox is presented that is able to generate synthetic, combined transmission and distribution network models. These can be used to analyse the interactions between transmission and multiple distribution systems, such as the provision of ancillary services by active distribution grids, the co-optimization of planning and operation, the development of emergency control and protection schemes spanning over different voltage levels, the analysis of combined market aspects, etc. The generated test-system models are highly customizable, providing the user with the flexibility to easily choose the desired characteristics, such as the level of renewable energy penetration, the size of the final system, etc.


title: Symbolic Multibody Methods for Real-Time Simulation of Railway Vehicles

abstract: In this work, recently developed state-of-the-art symbolic multibody methods are tested to accurately model a complex railway vehicle. The model is generated using a symbolic implementation of the principle of the virtual power. Creep forces are modeled using a direct symbolic implementation of the standard linear Kalker model. No simplifications, as base parameter reduction, partial-linearization or look-up tables for contact kinematics, are used. An Implicit-Explicit integration scheme is proposed to efficiently deal with the stiff creep dynamics. Hard real-time performance is achieved: the CPU time required for a very stable 1 ms integration time step is 256 {\mu}s.


title: Position, spin and orbital angular momentum of a relativistic electron

abstract: Motivated by recent interest in relativistic electron vortex states, we revisit the spin and orbital angular momentum properties of Dirac electrons. These are uniquely determined by the choice of the position operator for a relativistic electron. We overview two main approaches discussed in the literature: (i) the projection of operators onto the positive-energy subspace, which removes the zitterbewegung effects and correctly describes spin-orbit interaction effects, and (ii) the use of Newton-Wigner-Foldy-Wouthuysen operators based on the inverse Foldy-Wouthuysen transformation. We argue that the first approach [previously described in application to Dirac vortex beams in K.Y. Bliokh et al., Phys. Rev. Lett. 107, 174802 (2011)] has a more natural physical interpretation, including spin-orbit interactions and a nonsingular zero-mass limit, than the second one [S.M. Barnett, Phys. Rev. Lett. 118, 114802 (2017)].


title: Generalized H\"older's inequality on Morrey spaces

abstract: The aim of this paper is to present necessary and sufficient conditions for generalized H\"{o}lder's inequality on generalized Morrey spaces. We also obtain similar results on weak Morrey spaces and on generalized weak Morrey spaces. The necessary and sufficient conditions for the generalized H\"{o}lder's inequality on these spaces are obtained through estimates for characteristic functions of balls in $\mathbb{R}^d$.


title: Driven anisotropic diffusion at boundaries: noise rectification and particle sorting

abstract: We study the diffusive dynamics of a Brownian particle in proximity of a flat surface under non-equilibrium conditions, which are created by an anisotropic thermal environment with different temperatures being active along distinct spatial directions. By presenting the exact time-dependent solution of the Fokker-Planck equation for this problem, we demonstrate that the interplay between anisotropic diffusion and hard-core interaction with the plain wall rectifies the thermal fluctuations and induces directed particle transport parallel to the surface, without any deterministic forces being applied in that direction. Based on current micromanipulation technologies, we suggest a concrete experimental set-up to observe this novel noise-induced transport mechanism. We furthermore show that it is sensitive to particle characteristics, such that this set-up can be used for sorting particles of different size.


title: Magnetohydrodynamic regime of the born-infeld electromagnetism

abstract: The Born-Infeld (BI) model is a nonlinear correction of Maxwell's equations. By adding the energy and Poynting vector as additional variables, it can be augmented as a 10$\times$10 system of hyperbolic conservation laws, called the augmented BI (ABI) equations. The author found that, through a quadratic change of the time variable, the ABI system gives a simple energy dissipation model that combines Darcy's law and magnetohydrodynamics (MHD). Using the concept of "relative entropy" (or "modulated energy"), borrowed from the theory of hyperbolic systems of conservation laws, we introduce a notion of generalized solutions, that we call dissipative solutions. For given initial conditions, the set of generalized solutions is not empty, convex, and compact. Smooth solutions to the dissipative system are always unique in this setting.


title: When do triple operator integrals take value in the trace class?

abstract: Consider three normal operators $A,B,C$ on separable Hilbert space $\H$ as well as scalar-valued spectral measures $\lambda_A$ on $\sigma(A)$, $\lambda_B$ on $\sigma(B)$ and $\lambda_C$ on $\sigma(C)$. For any $\phi\in L^\infty(\lambda_A\times \lambda_B\times \lambda_C)$ and any $X,Y\in S^2(\H)$, the space of Hilbert-Schmidt operators on $\H$, we provide a general definition of a triple operator integral $\Gamma^{A,B,C}(\phi)(X,Y)$ belonging to $S^2(\H)$ in such a way that $\Gamma^{A,B,C}(\phi)$ belongs to the space $B_2(S^2(\H)\times S^2(\H), S^2(\H))$ of bounded bilinear operators on $S^2(\H)$, and the resulting mapping $\Gamma^{A,B,C}\colon L^\infty(\lambda_A\times \lambda_B\times \lambda_C) \to B_2(S^2(\H)\times S^2(\H), S^2(\H))$ is a $w^*$-continuous isometry. Then we show that a function $\phi\in L^\infty(\lambda_A\times \lambda_B\times \lambda_C)$ has the property that $\Gamma^{A,B,C}(\phi)$ maps $S^2(\H)\times S^2(\H)$ into $S^1(\H)$, the space of trace class operators on $\H$, if and only if it has the following factorization property: there exist a Hilbert space $H$ and two functions $a\in L^{\infty}(\lambda_A \times \lambda_B ; H)$ and $b\in L^{\infty}(\lambda_B\times \lambda_C ; H)$ such that $\phi(t_1,t_2,t_3)= \left\langle a(t_1,t_2),b(t_2,t_3) \right\rangle$ for a.e. $(t_1,t_2,t_3) \in \sigma(A) \times \sigma(B) \times \sigma(C).$ This is a bilinear version of Peller's Theorem characterizing double operator integral mappings $S^1(\H)\to S^1(\H)$. In passing we show that for any separable Banach spaces $E,F$, any $w^*$-measurable esssentially bounded function valued in the Banach space $\Gamma_2(E,F^*)$ of operators from $E$ into $F^*$ factoring through Hilbert space admits a $w^*$-measurable Hilbert space factorization.


title: Learning Pairwise Disjoint Simple Languages from Positive Examples

abstract: A classical problem in grammatical inference is to identify a deterministic finite automaton (DFA) from a set of positive and negative examples. In this paper, we address the related - yet seemingly novel - problem of identifying a set of DFAs from examples that belong to different unknown simple regular languages. We propose two methods based on compression for clustering the observed positive examples. We apply our methods to a set of print jobs submitted to large industrial printers.


title: Generalised Seiberg-Witten equations and almost-Hermitian geometry

abstract: In this article, we study a generalisation of the Seiberg-Witten equations, replacing the spinor representation with a hyperKahler manifold equipped with certain symmetries. Central to this is the construction of a (non-linear) Dirac operator acting on the sections of the non-linear fibre-bundle. For hyperKahler manifolds admitting a hyperKahler potential, we derive a transformation formula for the Dirac operator under the conformal change of metric on the base manifold. As an application, we show that when the hyperKahler manifold is of dimension four, then away from a singular set, the equations can be expressed as a second order PDE in terms of almost-complex structure on the base manifold and a conformal factor. This extends a result of Donaldson to generalised Seiberg-Witten equations.


title: Stochastic Multi-objective Optimization on a Budget: Application to multi-pass wire drawing with quantified uncertainties

abstract: Design optimization of engineering systems with multiple competing objectives is a painstakingly tedious process especially when the objective functions are expensive-to-evaluate computer codes with parametric uncertainties. The effectiveness of the state-of-the-art techniques is greatly diminished because they require a large number of objective evaluations, which makes them impractical for problems of the above kind. Bayesian global optimization (BGO), has managed to deal with these challenges in solving single-objective optimization problems and has recently been extended to multi-objective optimization (MOO). BGO models the objectives via probabilistic surrogates and uses the epistemic uncertainty to define an information acquisition function (IAF) that quantifies the merit of evaluating the objective at new designs. This iterative data acquisition process continues until a stopping criterion is met. The most commonly used IAF for MOO is the expected improvement over the dominated hypervolume (EIHV) which in its original form is unable to deal with parametric uncertainties or measurement noise. In this work, we provide a systematic reformulation of EIHV to deal with stochastic MOO problems. The primary contribution of this paper lies in being able to filter out the noise and reformulate the EIHV without having to observe or estimate the stochastic parameters. An addendum of the probabilistic nature of our methodology is that it enables us to characterize our confidence about the predicted Pareto front. We verify and validate the proposed methodology by applying it to synthetic test problems with known solutions. We demonstrate our approach on an industrial problem of die pass design for a steel wire drawing process.


title: A predictive pan-European economic and production dispatch model for the energy transition in the electricity sector

abstract: The energy transition is well underway in most European countries. It has a growing impact on electric power systems as it dramatically modifies the way electricity is produced. To ensure a safe and smooth transition towards a pan-European electricity production dominated by renewable sources, it is of paramount importance to anticipate how production dispatches will evolve, to understand how increased fluctuations in power generations can be absorbed at the pan-European level and to evaluate where the resulting changes in power flows will require significant grid upgrades. To address these issues, we construct an aggregated model of the pan-European transmission network which we couple to an optimized, few-parameter dispatch algorithm to obtain time- and geographically-resolved production profiles. We demonstrate the validity of our dispatch algorithm by reproducing historical production time series for all power productions in fifteen different European countries. Having calibrated our model in this way, we investigate future production profiles at later stages of the energy transition - determined by planned future production capacities - and the resulting interregional power flows. We find that large power fluctuations from increasing penetrations of renewable sources can be absorbed at the pan-European level via significantly increased electricity exchanges between different countries. We identify where these increased exchanges will require additional power transfer capacities. We finally introduce a physically-based economic indicator which allows to predict future financial conditions in the electricity market. We anticipate new economic opportunities for dam hydroelectricity and pumped-storage plants.


title: Genetic Volterra algebras and their derivations

abstract: The present paper is devoted to genetic Volterra algebras. We first study characters of such algebras. We fully describe associative genetic Volterra algebras, in this case all derivations are trivial. In general setting, i.e. when the algebra is not associative, we provide a sufficient condition to get trivial derivation on generic Volterra algebras. Furthermore, we describe all derivations of three dimensional generic Volterra algebras, which allowed us to prove that any local derivation is a derivation of the algebra.


title: One-way definability of two-way word transducers

abstract: Functional transductions realized by two-way transducers (or, equally, by streaming transducers or MSO transductions) are the natural and standard notion of "regular" mappings from words to words. It was shown in 2013 that it is decidable if such a transduction can be implemented by some one-way transducer, but the given algorithm has non-elementary complexity. We provide an algorithm of different flavor solving the above question, that has doubly exponential space complexity. In the special case of sweeping transducers the complexity is one exponential less. We also show how to construct an equivalent one-way transducer, whenever it exists, in doubly or triply exponential time, again depending on whether the input transducer is sweeping or two-way. In the sweeping case our construction is shown to be optimal.


title: Superior thermoelectric performance via "anti-reflection" enabled double-barrier structures

abstract: We demonstrate theoretically using the atomistic non-equilibrium Green's function formalism with the inclusion of self-consistent charging, the design of a superior thermoelectric generator based on an "anti-reflection" coated double barrier resonant tunnelling diode. Unlike a typical double barrier device, we show that enabling the anti-reflection design facilitates a "boxcar" type feature in its transmission spectrum, which significantly enhances the thermoelectric performance. It is demonstrated that the best operating regime of this device offers a maximum power in the range of $0.7$ to $0.9 MW/m^{2}$ at efficiencies ranging from $46$ to $54\%$ of Carnot efficiency. The physics of charge and heat transport in the ballistic regime of operation helps us gain additional insights on how a large number of transverse current carrying modes boost the output power and simultaneously how the diminishing effects of high-energy parasitic currents aid the efficiency. Finally, a comparative study with a conventional double barrier thermoelectric is presented in terms of standard performance parameters which clearly reveals the performance benefits of enabling an anti-reflection coating.


title: Highlights from TeV Extragalactic Sources

abstract: The number of discovered TeV sources populating the extragalactic sky in 2017 is nearly 70, mostly blazars located up to a redshift ~1. Ten years ago, in 2007, less than 20 TeV emitters were known, up to a maximum redshift of 0.2. This is a major achievement of current generation of Cherenkov telescopes operating in synergy with optical, X-ray, and GeV gamma-ray telescopes. A review of selected results from the extragalactic TeV sky is presented, with particular emphasis on recently detected distant sources.


title: Compression Fractures Detection on CT

abstract: The presence of a vertebral compression fracture is highly indicative of osteoporosis and represents the single most robust predictor for development of a second osteoporotic fracture in the spine or elsewhere. Less than one third of vertebral compression fractures are diagnosed clinically. We present an automated method for detecting spine compression fractures in Computed Tomography (CT) scans. The algorithm is composed of three processes. First, the spinal column is segmented and sagittal patches are extracted. The patches are then binary classified using a Convolutional Neural Network (CNN). Finally a Recurrent Neural Network (RNN) is utilized to predict whether a vertebral fracture is present in the series of patches.


title: Self-consistent Modelling of the Milky Way using Gaia data

abstract: Angle/action based distribution function (DF) models can be optimised based on how well they reproduce observations thus revealing the current matter distribution in the Milky Way. Gaia data combined with data from other surveys, e.g. the RAVE/TGAS sample, and its full selection function will greatly improve their accuracy.


title: Variational characterization of H^p

abstract: In this paper we obtain the variational characterization of Hardy space $H^p$ for $p\in(\frac n{n+1},1]$ and get estimates for the oscillation operator and the $\lambda$-jump operator associated with approximate identities acting on $H^p$ for $p\in(\frac n{n+1},1]$. Moreover, we give counterexamples to show that the oscillation and $\lambda$-jump associated with some approximate identity can not be used to characterize $H^p$ for $p\in(\frac n{n+1},1]$.


title: Studying the bound state of the $K^-p$ system in the Bethe-Salpeter formalism

abstract: We study the $s$-wave kaon-nucleon bound state with the strangeness $S=-1$ in the Bethe-Salpeter formalism in the ladder and instantaneous approximations. We solve the Bethe-Salpeter equation of the bound state and obtain the Bethe-Salpeter amplitude. It is shown that the $K^-p$ bound state exists in this formalism. We also study the decay width of the bound state based on the Bethe-Salpeter techniques. The mass of this bound state is 1422 MeV and its decay width is obviously smaller than that of $\Lambda(1405)$. These results indicate that there may be some other structures in the observed resonance.


title: Generalized arcsine laws for fractional Brownian motion

abstract: The three arcsine laws for Brownian motion are a cornerstone of extreme-value statistics. For a Brownian $B_t$ starting from the origin, and evolving during time $T$, one considers the following three observables: (i) the duration $t_+$ the process is positive, (ii) the time $t_{\rm last}$ the process last visits the origin, and (iii) the time $t_{\rm max}$ when it achieves its maximum (or minimum). All three observables have the same cumulative probability distribution expressed as an arcsine function, thus the name of arcsine laws. We show how these laws change for fractional Brownian motion $X_t$, a non-Markovian Gaussian process indexed by the Hurst exponent $H$. It generalizes standard Brownian motion (i.e. $H=\tfrac{1}{2}$). We obtain the three probabilities using a perturbative expansion in $\epsilon = H-\tfrac{1}{2}$. While all three probabilities are different, this distinction can only be made at second order in $\epsilon$. Our results are confirmed to high precision by extensive numerical simulations.


title: Quench-induced entanglement and relaxation dynamics in Luttinger liquids

abstract: We investigate the time evolution towards the asymptotic steady state of a one dimensional interacting system after a quantum quench. We show that at finite time the latter induces entanglement between right- and left- moving density excitations, encoded in their cross-correlators, which vanishes in the long-time limit. This behavior results in a universal time-decay in system spectral properties $ \propto t^{-2} $, in addition to non-universal power-law contributions typical of Luttinger liquids. Importantly, we argue that the presence of quench-induced entanglement clearly emerges in transport properties, such as charge and energy currents injected in the system from a biased probe, and determines their long-time dynamics. In particular, energy fractionalization phenomenon turns out to be a promising platform to observe the universal power-law decay $ \propto t^{-2} $ induced by entanglement and represents a novel way to study the corresponding relaxation mechanism.


title: Excitation energy dependence of Raman spectra of few-layer WS2

abstract: Raman spectra of few-layer WS2 have been measured with up to seven excitation energies, and peculiar resonance effects are observed. The two-phonon acoustic phonon scattering signal close to the main E2g1 peak is stronger than the main peaks for excitations near the A or B exciton states. The low-frequency Raman spectra show a series of shear and layer-breathing modes that are useful for determining the number of layers. In addition, hitherto unidentified peaks (X1 and X2), which do not seem to depend on the layer thickness, are observed near resonances with exciton states. The polarization dependences of the two peaks are different: X1 vanishes in cross polarization, but X2 does not. At the resonance with the A exciton state, the Raman-forbidden, lowest-frequency shear mode for odd number of layers appears as strong as that for the allowed case of even number of layers. This mode also exhibits a strong Breit-Wigner-Fano line shape and an anomalous polarization behavior at this resonance.


title: Text Summarization using Abstract Meaning Representation

abstract: With an ever increasing size of text present on the Internet, automatic summary generation remains an important problem for natural language understanding. In this work we explore a novel full-fledged pipeline for text summarization with an intermediate step of Abstract Meaning Representation (AMR). The pipeline proposed by us first generates an AMR graph of an input story, through which it extracts a summary graph and finally, generate summary sentences from this summary graph. Our proposed method achieves state-of-the-art results compared to the other text summarization routines based on AMR. We also point out some significant problems in the existing evaluation methods, which make them unsuitable for evaluating summary quality.


title: On the Feasibility of Distinguishing Between Process Disturbances and Intrusions in Process Control Systems Using Multivariate Statistical Process Control

abstract: Process Control Systems (PCSs) are the operating core of Critical Infrastructures (CIs). As such, anomaly detection has been an active research field to ensure CI normal operation. Previous approaches have leveraged network level data for anomaly detection, or have disregarded the existence of process disturbances, thus opening the possibility of mislabelling disturbances as attacks and vice versa. In this paper we present an anomaly detection and diagnostic system based on Multivariate Statistical Process Control (MSPC), that aims to distinguish between attacks and disturbances. For this end, we expand traditional MSPC to monitor process level and controller level data. We evaluate our approach using the Tennessee-Eastman process. Results show that our approach can be used to distinguish disturbances from intrusions to a certain extent and we conclude that the proposed approach can be extended with other sources of data for improving results.


title: Quasi-periodic pulsations with multiple periods in hard X-ray emission

abstract: We explore the quasi-periodic pulsations (QPPs) with multiple periods in hard X-ray (HXR) emission from Fermi/GBM during the impulsive phase of solar flare (SOL2014-09-10). The completely new observational result is that the shorter periods appear at lower energies of the X-ray photons at the beginning and the longer periods appear at higher energies at the end, with some intersection of the periods at medium energies. We also find the shorter and then the longer periods during the same phase of this flare. Using the wavelet power spectrum and fast Fourier transform (FFT) spectrum, we analyze the normalized rapidly varying signal divided by its slowly varying signal, which is the smoothed original HXR flux. The periods of 27 s and 37 s are derived at lower energy channels between 17:25 UT and 17:29 UT, i.e., 12.0-27.3 keV and 27.3-50.9 keV. Then the periods of 27 s, 46 s and 60 s are observed at medium-energy channel from 17:26 UT to 17:33 UT, such as 50.9-102.3 keV. And the period of 80 s is detected at higher energy channel from 17:28 UT to 17:33 UT, such as 102.3-296.4 keV.


title: A method and tool for combining differential or inclusive measurements obtained with simultaneously constrained uncertainties

abstract: A method is discussed that allows combining sets of differential or inclusive measurements. It is assumed that at least one measurement was obtained with simultaneously fitting a set of nuisance parameters, representing sources of systematic uncertainties. As a result of beneficial constraints from the data all such fitted parameters are correlated among each other. The best approach for a combination of these measurements would be the maximisation of a combined likelihood, for which the full fit model of each measurement and the original data are required. However, only in rare cases this information is publicly available. In absence of this information most commonly used combination methods are not able to account for these correlations between uncertainties, which can lead to severe biases as shown in this article. The method discussed here provides a solution for this problem. It relies on the public result and its covariance or Hessian, only, and is validated against the combined-likelihood approach. A dedicated software package implementing this method is also presented. It provides a text-based user interface alongside a C++ interface. The latter also interfaces to ROOT classes for simple combination of binned measurements such as differential cross sections.


title: Some new designs with prescribed automorphism groups

abstract: We establish the existence of simple designs with parameters $2$-$(55,10,4)$, $3$-$(20,5,4)$, $3$-$(21,7,30)$, $4$-$(15,5,2)$, $4$-$(16,8,45)$, $5$-$(16,7,10)$, and $5$-$(17,8,40)$, which have previously been unknown. For the corresponding $t$, $v$, and $k$, we study the set of all $\lambda$ for which simple $t$-$(v,k,\lambda)$ designs exist.


title: Quantum Aspects of Nonlocal Approach to the Cosmological Constant Problem

abstract: We have recently presented a manifestly local and general coordinate invariant formulation of a nonlocal approach to the cosmological constant problem which has been proposed by Carroll and Remmen. In this article, based on our formulation, we investigate some quantum aspects of this approach to the cosmological constant problem. In particular, we explicitly evaluate quantum effects to the effective cosmological constant from matter fields at one-loop level, and show that the effective cosmological constant receives radiative corrections and is not stable against quantum corrections so that it must be fine-tuned at every stage in the loop expansion. Next, we will propose a new scale-invariant model of a nonlocal approach to the cosmological constant problem, and show explicitly that in this new model the effective cosmological constant is indeed stable against radiative corrections.


title: Temperature scaling of the Dzyaloshinsky-Moriya interaction in the spin wave spectrum

abstract: The temperature scaling of the micromagnetic Dzyaloshinsky-Moriya exchange interaction is calculated for the whole range of temperature. We use Green's function theory to derive the finite-temperature spin wave spectrum of ferromagnetic systems described by a classical atomistic spin model Hamiltonian. Within this model, we find universal expressions for the temperature scaling not only of the Dzyaloshinsky-Moriya interaction but also of the Heisenberg exchange stiffness and the single-ion anisotropy. In the spirit of multiscale models, we establish a clear connection between the atomistic interactions and the temperature-dependent coefficients in the spin wave spectrum and in the micromagnetic free energy functional. We demonstrate that the corrections to mean-field theory or the random phase approximation for the temperature scaling of Dzyaloshinsky-Moriya and Heisenberg exchange interactions assume very similar forms. In the presence of thermal fluctuations and Dzyaloshinsky-Moriya interaction an anisotropy-like term emerges in the spin wave spectrum which, at low temperature, increases with temperature, in contrast to the decreasing single-ion anisotropy. We evaluate the accuracy of the theoretical method by comparing it to the spin wave spectrum calculated from Monte Carlo simulations.


title: Coupling between a charge density wave and magnetism in an Heusler material

abstract: The Prototypical magnetic memory shape alloy Ni$_2$MnGa undergoes various phase transitions as a function of temperature, pressure, and doping. In the low-temperature phases below 260 K, an incommensurate structural modulation occurs along the [110] direction which is thought to arise from softening of a phonon mode. It is not at present clear how this phenomenon is related, if at all, to the magnetic memory effect. Here we report time-resolved measurements which track both the structural and magnetic components of the phase transition from the modulated cubic phase as it is brought into the high-symmetry phase. The results suggest that the photoinduced demagnetization modifies the Fermi surface in regions that couple strongly to the periodicity of the structural modulation through the nesting vector. The amplitude of the periodic lattice distortion, however, appears to be less affected by the demagnetizaton.


title: Limitations on Variance-Reduction and Acceleration Schemes for Finite Sum Optimization

abstract: We study the conditions under which one is able to efficiently apply variance-reduction and acceleration schemes on finite sum optimization problems. First, we show that, perhaps surprisingly, the finite sum structure by itself, is not sufficient for obtaining a complexity bound of $\tilde{\cO}((n+L/\mu)\ln(1/\epsilon))$ for $L$-smooth and $\mu$-strongly convex individual functions - one must also know which individual function is being referred to by the oracle at each iteration. Next, we show that for a broad class of first-order and coordinate-descent finite sum algorithms (including, e.g., SDCA, SVRG, SAG), it is not possible to get an `accelerated' complexity bound of $\tilde{\cO}((n+\sqrt{n L/\mu})\ln(1/\epsilon))$, unless the strong convexity parameter is given explicitly. Lastly, we show that when this class of algorithms is used for minimizing $L$-smooth and convex finite sums, the optimal complexity bound is $\tilde{\cO}(n+L/\epsilon)$, assuming that (on average) the same update rule is used in every iteration, and $\tilde{\cO}(n+\sqrt{nL/\epsilon})$, otherwise.


title: Sculpting the Vertex: Manipulating the Configuration Space Topography and Topology of Origami Vertices to Design Mechanical Robustness

abstract: The geometric, aesthetic, and mathematical elegance of origami is being recognized as a powerful pathway to self-assembly of micro and nano-scale machines with programmable mechanical properties. The typical approach to designing the mechanical response of an ideal origami machine is to include mechanisms where mechanical constraints transform applied forces into a desired motion along a narrow set of degrees of freedom. In fact, to date, most design approaches focus on building up complex mechanisms from simple ones in ways that preserve each individual mechanism's degree of freedom (DOF), with examples ranging from simple robotic arms to homogenous arrays of identical vertices, such as the well-known Miura-ori. However, such approaches typically require tight fabrication tolerances, and often suffer from parasitic compliance. In this work, we demonstrate a technique in which high-degree-of-freedom mechanisms associated with single vertices are heterogeneously combined so that the coupled phase spaces of neighboring vertices are pared down to a controlled range of motions. This approach has the advantage that it produces mechanisms that retain the DOF at each vertex, are robust against fabrication tolerances and parasitic compliance, but nevertheless effectively constrain the range of motion of the entire machine. We demonstrate the utility of this approach by mapping out the configuration space for the modified Miura-ori vertex of degree 6, and show that when strung together, their combined configuration spaces create mechanisms that isolate deformations, constrain the configuration topology of neighboring vertices, or lead to sequential bistable folding throughout the entire origami sheet.


title: Higher order corrections in the CoLoRFulNNLO framework

abstract: We discuss the CoLoRFulNNLO method for computing higher order radiative corrections to jet cross sections in perturbative QCD. We apply our method to the calculation of event shapes and jet rates in three-jet production in electron-positron annihilation. We validate our code by comparing our predictions to previous results in the literature and present the jet cone energy fraction distribution at NNLO accuracy. We also present preliminary NNLO results for the three-jet rate using the Durham jet clustering algorithm matched to resummed predictions at NLL accuracy, and a comparison to LEP data.


title: Calabi-Yau 4-folds of Borcea--Voisin type from F-Theory

abstract: In this paper, we apply Borcea--Voisin's construction and give new examples of Calabi--Yau fourfolds $Y$, which admit an elliptic fibration onto a smooth threefold $V$, whose singular fibers of type $I_5$ lie above a del Pezzo surface $dP \subset V$. These are relevant models for F-theory according to papers by C. Beasley, J. J. Heckman, C. Vafa. Moreover, at the end of the paper we will give the explicit equations of some of these Calabi--Yau fourfolds and their fibrations.


title: A Frame Tracking Model for Memory-Enhanced Dialogue Systems

abstract: Recently, resources and tasks were proposed to go beyond state tracking in dialogue systems. An example is the frame tracking task, which requires recording multiple frames, one for each user goal set during the dialogue. This allows a user, for instance, to compare items corresponding to different goals. This paper proposes a model which takes as input the list of frames created so far during the dialogue, the current user utterance as well as the dialogue acts, slot types, and slot values associated with this utterance. The model then outputs the frame being referenced by each triple of dialogue act, slot type, and slot value. We show that on the recently published Frames dataset, this model significantly outperforms a previously proposed rule-based baseline. In addition, we propose an extensive analysis of the frame tracking task by dividing it into sub-tasks and assessing their difficulty with respect to our model.


title: Microscopic theory for the time irreversibility and the entropy production

abstract: In stochastic thermodynamics, the entropy production of a thermodynamic system is defined by the irreversibility measured by the logarithm of the ratio of the path probabilities in the forward and reverse processes. We derive the relation between the irreversibility and the entropy production starting from the deterministic equations of motion of the whole system consisting of a physical system and a surrounding thermal environment. The physical system is driven by a nonconservative force. The derivation assumes the Markov approximation that the environmental degrees of freedom equilibrate instantaneously. Our approach concerns the irreversibility of the whole system not only the irreversibility of the physical system only. This approach provides a guideline for the choice of the proper reverse process to a given forward process. We demonstrate our idea with an example of a charged particle in the presence of a time-varying magnetic field.


title: Type-I and type-II topological nodal superconductors with $s$-wave interaction

abstract: Topological nodal superconductors are generally realized based on unconventional pairings. In this work, we propose a minimal model to realize these topological nodal phases with only $s$-wave interaction. In our model the linear and quadratic spin-orbit couplings along the two directions break the isotropy in momentum space and introduce effective unconventional pairings on the Fermi surface. This model may support different nodal superconducting phases characterized by either winding number in BDI class or Pfaffian in D class at the particle-hole invariant axes. In the vicinity of the nodal points the effective Hamiltonian can be described by either type-I or type-II Dirac equation; and the crossover between these two nodal points can be driven by external Zeeman fields. We show that these nodal phases are robust against weak disorders, thus are possible to be realized in experiments with real materials. The smoking-gun evidences to verify these phases based on scanning tunneling spectroscopy are also briefly discussed.


abstract: This report includes the original manuscript and the supplementary material of "Realization of Biquadratic Impedance as Five-Element Bridge Networks".


title: Binary extremal self-dual codes of length $60$ and related codes

abstract: We give a classification of four-circulant singly even self-dual $[60,30,d]$ codes for $d=10$ and $12$. These codes are used to construct extremal singly even self-dual $[60,30,12]$ codes with weight enumerator for which no extremal singly even self-dual code was previously known to exist. From extremal singly even self-dual $[60,30,12]$ codes, we also construct extremal singly even self-dual $[58,29,10]$ codes with weight enumerator for which no extremal singly even self-dual code was previously known to exist. Finally, we give some restriction on the possible weight enumerators of certain singly even self-dual codes with shadow of minimum weight $1$.


title: Topoligical classification of $\Omega$-stable flows on surfaces by means of effectively distinguishable multigraphs

abstract: Structurally stable (rough) flows on surfaces have only finitely many singularities and finitely many closed orbits, all of which are hyperbolic, and they have no trajectories joining saddle points. The violation of the last property leads to $\Omega$-stable flows on surfaces, which are not structurally stable. However, in the present paper we prove that a topological classification of such flows is also reduced to a combinatorial problem. Our complete topological invariant is a multigraph, and we present a polynomial-time algorithm for the distinction of such graphs up to an isomorphism. We also present a graph criterion for orientability of the ambient manifold and a graph-associated formula for its Euler characteristic. Additionally, we give polynomial-time algorithms for checking the orientability and calculating the characteristic.


title: A hybrid solution for simultaneous transfer of ultrastable optical frequency, RF frequency and UTC time-tags over optical fiber

abstract: We describe a fiber-optic solution for simultaneous distribution of all signals generated at todays most advanced time and frequency laboratories, i.e. an ultrastable optical reference frequency derived from an optical atomic clock, a radio frequency precisely linked to a realization of the SI-Second, and a realization of an atomic timescale, being the local representation of the virtual, global UTC timescale. In our solution both the phase of the optical carrier and the delay of electrical signals (10 MHz frequency reference and one pulse-per-second time tags) are stabilized against environmental perturbations influencing the fiber link instability and accuracy. We experimentally demonstrate optical transfer stabilities of 5e-18 and 2e-15 for 100 s averaging period, for optical carrier and 10 MHz signals, respectively.


title: Mechanical diffusion in grease ice stirred by gravity waves

abstract: The possibility of hydrodynamic diffusion in a model of grease ice stirred by the velocity field of a gravity wave is explored. It is argued that mechanical interactions among ice crystals can induce disturbances in the fluid velocity - in the form of interstitial flows - analogous to those leading to diffusion in fixed beds. A two-fluid description of the system is introduced, in which the ice matrix is treated as a deformable porous medium. Depending on the range of parameters, the effective diffusivity of the medium can exceed the value which would be obtained by only keeping into account particle dislocation induced by contact interactions.


title: A Linearly Convergent Majorized ADMM with Indefinite Proximal Terms for Convex Composite Programming and Its Applications

abstract: This paper aims to study a majorized alternating direction method of multipliers with indefinite proximal terms (iPADMM) for convex composite optimization problems. We show that the majorized iPADMM for 2-block convex optimization problems converges globally under weaker conditions than those used in the literature and exhibits a linear convergence rate under a local error bound condition. Based on these, we establish the linear rate convergence results for a symmetric Gaussian-Seidel based majorized iPADMM, which is designed for multi-block composite convex optimization problems. Moreover, we apply the majorized iPADMM to solve different types of regularized logistic regression problems. The numerical results on both synthetic and real datasets demonstrate the efficiency of the majorized iPADMM and also illustrate the effectiveness of the introduced indefinite proximal terms.


title: Vertex-disjoint directed cycles of prescribed length in tournaments with given minimum out-degree

abstract: The Bermond-Thomassen conjecture states that, for any positive integer $r$, a digraph of minimum out-degree at least $2r-1$ contains at least $r$ vertex-disjoint directed cycles. In 2014, Bang-Jensen, Bessy and Thomass\' e proved the conjecture for tournaments. In 2010, Lichiardopol conjectured that a tournament $T$ with minimum out-degree at least $(q-1)r-1$ contains at least $r$ vertex-disjoint $q$-cycles, where integer $q\geq3$ and $r\geq1$. In this paper, we address Lichiardopol's conjecture affirmatively. In particular, the case $q=3$ implies Bermond-Thomassen conjecture for tournaments.


title: Quantum interferometry in multi-mode systems

abstract: We consider the situation when the signal propagating through each arm of an interferometer has a complicated multi-mode structure. We find the relation between the particle-entanglement and the possibility to surpass the shot-noise limit of the phase estimation. Our results are general---they apply to pure and mixed states of identical and distinguishable particles (or combinations of both), for a fixed and fluctuating number of particles. We also show that the method for detecting the entanglement often used in two-mode system can give misleading results when applied to the multi-mode case.


title: Scale size-dependent characteristics of the nightside aurora

abstract: We have determined the spatiotemporal characteristics of the magnetosphere-ionosphere (M-I) coupling using auroral imaging. Observations at fixed positions for an extended period of time are provided by a ground-based all-sky imager measuring the 557.7 nm auroral emissions. We report on a single event of nightside aurora ($\sim$22 magnetic local time) preceding a substorm onset. To determine the spatiotemporal characteristics, we perform an innovative analysis of an all-sky imager movie (19 min duration, images at 3.31 Hz) that combines a two-dimensional spatial fast Fourier transform with a temporal correlation. We find a scale size-dependent variability where the largest scale sizes are stable on timescales of minutes while the small scale sizes are more variable. When comparing two smaller time intervals of different types of auroral displays, we find a variation in their characteristics. The characteristics averaged over the event are in remarkable agreement with the spatiotemporal characteristics of the nightside field-aligned currents during moderately disturbed times. Thus, two different electrodynamical parameters of the M-I coupling show similar behavior. This gives independent support to the claim of a system behavior that uses repeatable solutions to transfer energy and momentum from the magnetosphere to the ionosphere.


title: Measurement of $WW/WZ \to \ell \nu q q^{\prime}$ production with the hadronically decaying boson reconstructed as one or two jets in $pp$ collisions at $\sqrt{s}=8$ TeV with ATLAS, and constraints on anomalous gauge couplings

abstract: This paper presents a study of the production of $WW$ or $WZ$ boson pairs, with one $W$ boson decaying to $e\nu$ or $\mu\nu$ and one $W$ or $Z$ boson decaying hadronically. The analysis uses 20.2 fb$^{-1}$ of $\sqrt{s}=8$ TeV $pp$ collision data, collected by the ATLAS detector at the Large Hadron Collider. Cross-sections for $WW/WZ$ production are measured in high-$p_{T}$ fiducial regions defined close to the experimental event selection. The cross-section is measured for the case where the hadronically decaying boson is reconstructed as two resolved jets, and the case where it is reconstructed as a single jet. The transverse momentum distribution of the hadronically decaying boson is used to search for new physics. Observations are consistent with the Standard Model predictions, and $95\%$ confidence intervals are calculated for parameters describing anomalous triple gauge-boson couplings.


title: Analytical lower bounds for the size of elementary trapping sets of variable-regular LDPC codes with any girth and irregular ones with girth 8

abstract: In this paper we give lower bounds on the size of $(a,b)$ elementary trapping sets (ETSs) belonging to variable-regular LDPC codes with any girth, $g$, and irregular ones with girth 8, where $a$ is the size, $b$ is the number of degree-one check nodes and satisfy the inequality $\frac{b}{a}<1$. Our proposed lower bounds are analytical, rather than exhaustive search-based, and based on graph theories. The numerical results in the literarture for $g=6,8$ for variable-regular LDPC codes match our results. Some of our investigations are independent of the girth and rely on the variables $a$, $b$ and $\gamma$, the column weight value, only. We prove that for an ETS belonging to a variable-regular LDPC code with girth 8 we have $a\geq2\gamma-1$ and $b\geq\gamma$. We demonstrate that these lower bounds are tight, making use of them we provide a method to achieve the minimum size of ETSs belonging to irregular LDPC codes with girth 8 specially those whose column weight values are a subset of $\{2,3,4,5,6\}$. Moreover, we show for variable-regular LDPC codes with girth 10, $a\geq(\gamma-1)^2+1$. And for $\gamma=3,4$ we obtain $a\geq7$ and $a\geq12$, respectively. Finally, for variable-regular LDPC codes with girths $g=2(2k+1)$ and $g=2(2k+2)$ we obtain $a\geq(\gamma-2)^k+1$ and $a\geq2(\gamma-2)^k+1$, respectively.


title: Passivation of Edge States in Etched InAs Sidewalls

abstract: We investigate different methods of passivating sidewalls of wet etched InAs heterostructures in order to suppress inherent edge conduction that is presumed to occur due to band bending at the surface leading to charge carrier accumulation. Passivation techniques including sulfur, positively charged compensation dopants and plasma enhanced chemical vapor deposition of $\mathrm{SiN}_{\mathrm{x}}$ do not show an improvement. Surprisingly, atomic layer deposition of $\mathrm{Al}_{\mathrm{2}}\mathrm{O}_{\mathrm{3}}$ leads to an increase in edge resistivity of more than an order of magnitude. While the mechanism behind this change is not fully understood, possible reasons are suggested.


title: Improved constraints on lepton asymmetry from the cosmic microwave background

abstract: A cosmic lepton asymmetry $\eta_{\text{l}}=(n_{\text{l}}-n_{\bar{\text{l}}})/n_{\gamma}$ affects the primordial helium abundance and the expansion rate of the early Universe. Both of these effects have an impact on the anisotropies of the cosmic microwave background (CMB). We derive constraints on the neutrino chemical potentials from the Planck 2015 data, assuming equal lepton flavour asymmetries and negligible neutrino masses. We find $\xi=-0.002 ^{+0.114}_{-0.111}$ (95\% CL) for the chemical potentials, which corresponds to $ -0.085 \leq \eta_{\text{l}} \leq 0.084$. Our constraints on the lepton asymmetry are significantly stronger than previous constraints from CMB data analysis and we argue that they are more robust than those from primordial light element abundances. The resulting constraints on the primordial helium and deuterium abundances are consistent with those from direct measurements.


title: Cosmological constraints on a unified dark matter-energy scalar field model with fast transition

abstract: We test the viability of a single fluid cosmological model containing a transition from a dark-matter-like regime to a dark-energy-like regime. The fluid is a k-essence scalar field with a well-defined Lagrangian. We constrain its model parameters with a combination of geometric probes and conclude that the evidence for this model is similar to the evidence for $\Lambda$CDM. In addition, we find a lower bound for the rapidity of the transition, implying that fast transitions are favored with respect to slow ones even at background level.


title: Concentration-compactness and finite-time singularities for Chen's flow

abstract: Chen's flow is a fourth-order curvature flow motivated by the spectral decomposition of immersions, a program classically pushed by B.-Y. Chen since the 1970s. In curvature flow terms the flow sits at the critical level of scaling together with the most popular extrinsic fourth-order curvature flow, the Willmore and surface diffusion flows. Unlike them however the famous Chen conjecture indicates that there should be no stationary nonminimal data, and so in particular the flow should drive all closed submanifolds to singularities. We investigate this idea, proving that (1) closed data becomes extinct in finite time in all dimensions and for any codimension; (2) singularities are characterised by concentration of curvature in $L^n$ for intrinsic dimension $n \in \{2,4\}$ and any codimension (a Lifespan Theorem); and (3) for $n = 2$ and in one codimension only, there exists an explicit small constant $\varepsilon_2$ such that if the $L^2$ norm of the tracefree curvature is initially smaller than $\varepsilon_2$, the flow remains smooth until it shrinks to a point, and that the blowup of that point is an embedded smooth round sphere.


title: Stranger Things about Forcing without AC

abstract: Typically, set theorists reason about forcing constructions in the context of ZFC. We show that without AC, several simple properties of forcing posets fail to hold, one of which answers Miller's question from arXiv:0704.3998.


title: Influence of elastic strain on the thermodynamics and kinetics of lithium vacancy in bulk LiCoO2

abstract: The influence of elastic strain on the lithium vacancy formation and migration in bulk LiCoO2 is evaluated by means of first-principles calculations within density functional theory (DFT). Strain dependent energies are determined directly from defective cells and also within linear elasticity theory from the elastic dipole tensor (Gij) for ground state and saddle point configurations. We analyze finite size-effects in the calculation of Gij, compare the predictions of the linear elastic model with those obtained from direct calculations of defective cells under strain and discuss the differences. Based on our data, we calculate the variations in vacancy concentration and mobility due to the presence of external strain in bulk LiCoO2 cathodes. Our results reveal that elastic in-plane and out-of-plane strains can significantly change the ionic conductivity of bulk LiCoO2 by an order of magnitude and thus strongly affect the performance of Li-secondary batteries.


title: Evolutionary Genetic Engineering in the Indo-Pacific: Conservation, Humanitarian, and Social Issues

abstract: The Indo-Pacific region contains a unique mix of opportunities for the development and use of genetic-pest-management, gene-drive, and gene-drive-like technologies. Here I collectively refer to these technologies as Evolutionary Genetic Engineering (EGE). Indo-Pacific Islands have some of the world's highest rates of endemism and extinction---species and entire ecosystems are at risk. This threat to the natural world is coupled with the burden of human diseases, many of which are new and emerging or neglected tropical diseases. The same factors which have led to high rates of endemism also, in some ways, make this region an ideal testing ground for some types of EGE's. There is great potential for positive humanitarian, economic, and conservation applications of EGE's. However, these types of new technologies will be initially viewed from the perspective of the recent history of a loss of self determination, issues of social justice, and the testing of new technologies (e.g., biocontrol, agricultural, nuclear) in the Indo-Pacific---a region of the world that is still extensively colonized and controlled by Western Nations. Experience with successes and failures in related technologies suggests a path to move forward---a set of eight recommendations---to maximize the potential payoffs and minimize unintended negative effects of EGE's.


title: Possible high-$T_c$ superconductivity due to incipient narrow bands originating from hidden ladders in Ruddlesden-Popper compounds

abstract: We introduce a concept of hidden ladders for the bilayer Ruddlesden-Popper type compounds: While the crystal structure is bilayer, $d_{xz}$ ($d_{yz}$) orbitals in the relevant $t_{2g}$ sector of the transition metal form a two-leg ladder along $x$ ($y$), since the $d_{xz}$ ($d_{yz}$) electrons primarily hop along the leg direction $x$ ($y$) on top of the rung $z$ direction. We predict that Sr$_3$Mo$_2$O$_7$ and Sr$_3$Cr$_2$O$_7$ are candidates for the hidden-ladder material with a right position of $E_F$, from a first-principles band calculation. Based on the analysis of Eliashberg equation for these systems, we propose a possible occurrence of high temperature superconductivity in these materials arising from the interband pair scattering processes between the wide and "incipient" narrow bands on the ladder.


title: A multiplier inclusion theorem on product domains

abstract: In this note it is shown that the class of all multipliers from the $d$-parameter Hardy space $H^1_{\mathrm{prod}} (\mathbb{T}^d)$ to $L^2 (\mathbb{T}^d)$ is properly contained in the class of all multipliers from $L \log^{d/2} L (\mathbb{T}^d)$ to $L^2(\mathbb{T}^d)$.


title: A Birational Anabelian Reconstruction Theorem for Curves over Algebraically Closed Fields in Arbitrary Characteristic

abstract: The aim of Bogomolov's programme is to prove birational anabelian conjectures for function fields $K|k$ of varieties of dimension $\geq 2$ over algebraically closed fields. The present article is concerned with the 1-dimensional case. While it is impossible to recover $K|k$ from its absolute Galois group alone, we prove that it can be recovered from the pair $(\mathrm{Aut}(\overline{K}|k),\mathrm{Aut}(\overline{K}|K))$, consisting of the absolute Galois group of $K$ and the larger group of field automorphisms fixing only the base field.


title: Group actions on categories and Elagin's Theorem Revisited

abstract: After recalling basic definitions and constructions for a finite group $G$ action on a $k$-linear category we give a concise proof of the following theorem of Elagin: if $\mathcal{C} = \langle \mathcal{A}, \mathcal{B} \rangle$ is a semiorthogonal decomposition of a triangulated category which is preserved by the action of $G$, and $\mathcal{C}^G$ is triangulated, then there is a semiorthogonal decomposition $\mathcal{C}^G = \langle \mathcal{A}^G, \mathcal{B}^G \rangle$. We also prove that any $G$-action on $\mathcal{C}$ is weakly equivalent to a strict $G$-action which is the analog of the Coherence Theorem for monoidal categories.


title: Validity of the Rosenfeld relationship: A comparative study of the network forming NTW model and other simple liquids

abstract: In this paper we explore the validity of the Rosenfeld and the Dzugutov relation for the Lennard-Jones (LJ) system, its repulsive counterpart, the WCA system and a network forming liquid, the NTW model. We find that for all the systems both the relations are valid at high temperature regime with an universal exponent close to 0.8. Similar to that observed for the simple liquids, the LJ and the WCA systems show a breakdown of the scaling laws at the low temperature regime. However for the NTW model, which is a simple liquid, these scaling laws are valid even at lower temperature regime similar to that found for ionic melts. Thus we find that the NTW model has mixed characteristics of simple liquids and ionic melts. Our study further reveals a quantitative relationship between the Rosenfeld and the Arrhenius relations. For strong liquids, the validity of the Rosenfeld relation in the low temperature regime is connected to it following the Arrhenius behaviour in that regime. Finally we explore the role of pair entropy and residual multiparticle entropy in the dynamics as a function of fragility of the systems.


title: The critical layer during transition of the spiral Poiseuille flow in an annular gap

abstract: Subject of this paper falls under the broad heading of the propagation of disturbances causing transition in a fully developed spiral annular flow. The problem is approached through reformulation of the linearised equations of motion governing small-amplitude disturbances in a parameter space that differs from that conventionally employed for this purpose. The alternative parameter space comprises a suitably defined Reynolds number that is formed with a resultant characteristic velocity which is a vector sum of the axial and azimuthal characteristic velocities, a swirl parameter that is the ratio of the azimuthal to the axial characteristic velocity, and the ratio of the annular gap to the mean diameter of the cylinders. In the limits of the swirl parameter assuming very small or very large values, the newly derived generalised Orr-Sommerfeld and Squire equations for disturbance propagation in the revised parameter space reduce to the corresponding equations that are known and well established for the limiting cases of disturbance propagation as the swirl parameter goes to zero or infinity respectively. Furthermore, they also lead naturally to the criterion that determines from the equations themselves the analytical expression for the location of the critical layer in spiral annular flow, the scaling behaviour of the thickness of the critical layer with the Reynolds number and the swirl parameter, and the equation governing the dynamics of the flow in the critical layer. They thus explicitly reveal the effect of swirl on the critical layer.


title: Link between the Superconducting Dome and Spin-Orbit Interaction in the (111) LaAlO$_3$/SrTiO$_3$ Interface

abstract: We measure the gate voltage ($V_g$) dependence of the superconducting properties and the spin-orbit interaction in the (111)-oriented LaAlO$_3$/SrTiO$_3$ interface. Superconductivity is observed in a dome-shaped region in the carrier density-temperature phase diagram with the maxima of superconducting transition temperature $T_c$ and the upper critical fields lying at the same $V_g$. The spin-orbit interaction determined from the superconducting parameters and confirmed by weak-antilocalization measurements follows the same gate voltage dependence as $T_c$. The correlation between the superconductivity and spin-orbit interaction as well as the enhancement of the parallel upper critical field, well beyond the Chandrasekhar-Clogston limit suggest that superconductivity and the spin-orbit interaction are linked in a nontrivial fashion. We propose possible scenarios to explain this unconventional behavior.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el


title: Time-spliced X-ray Diffraction Imaging

abstract: Diffraction imaging of non-equilibrium dynamics at atomic resolution is becoming possible with X-ray free-electron lasers. However, there are unresolved problems with applying this method to objects that are confined in only one dimension. Here I show that one-dimensional coherent diffraction imaging is possible by splicing together images recovered from different delays in a time-resolved experiment. This is used to image the time and space evolution of antiferromagnetic order in a complex oxide heterostructure from measurements of a resonant soft X-ray diffraction peak. Mid-infrared excitation of the substrate is shown to lead to a magnetic front that propagates at a velocity exceeding the speed of sound, a critical observation for the understanding of driven phase transitions in complex condensed matter.


title: Kadison's antilattice theorem for a synaptic algebra

abstract: We prove that if A is a synaptic algebra and the orthomodular lattice P of projections in A is complete, then A is a factor iff A is an antilattice. We also generalize several other results of R. Kadison pertaining to infima and suprema in operator algebras.


title: Seeking Optimum System Settings for Physical Activity Recognition on Smartwatches

abstract: Physical activity recognition (PAR) using wearable devices can provide valued information regarding an individual's degree of functional ability and lifestyle. In this regards, smartphone-based physical activity recognition is a well-studied area. Research on smartwatch-based PAR, on the other hand, is still in its infancy. Through a large-scale exploratory study, this work aims to investigate the smartwatch-based PAR domain. A detailed analysis of various feature banks and classification methods are carried out to find the optimum system settings for the best performance of any smartwatch-based PAR system for both personal and impersonal models. To further validate our hypothesis for both personal (The classifier is built using the data only from one specific user) and impersonal (The classifier is built using the data from every user except the one under study) models, we tested single subject validation process for smartwatch-based activity recognition.


title: Explicit formulas for $C^{1,1}$ Glaeser-Whitney extensions of 1-fields in Hilbert spaces

abstract: We give a simple alternative proof for the $C^{1,1}$--convex extension problem which has been introduced and studied by D. Azagra and C. Mudarra [2]. As an application, we obtain an easy constructive proof for the Glaeser-Whitney problem of $C^{1,1}$ extensions on a Hilbert space. In both cases we provide explicit formulae for the extensions. For the Gleaser-Whitney problem the obtained extension is almost minimal, that is, minimal up to a factor $\frac{1+\sqrt{3}}{2}$ in the sense of Le Gruyer [15].