title: Erd\H{o}s-Ginzburg-Ziv theorem and Noether number for $C_m\ltimes_{\varphi} C_{mn}$

abstract: Let $G$ be a multiplicative finite group and $S=a_1\cdot\ldots\cdot a_k$ a sequence over $G$. We call $S$ a product-one sequence if $1=\prod_{i=1}^ka_{\tau(i)}$ holds for some permutation $\tau$ of $\{1,\ldots,k\}$. The small Davenport constant $\mathsf d(G)$ is the maximal length of a product-one free sequence over $G$. For a subset $L\subset \mathbb N$, let $\mathsf s_L(G)$ denote the smallest $l\in\mathbb N_0\cup\{\infty\}$ such that every sequence $S$ over $G$ of length $|S|\ge l$ has a product-one subsequence $T$ of length $|T|\in L$. Denote $\mathsf e(G)=\max\{\text{ord}(g): g\in G\}$. Some classical product-one (zero-sum) invariants including $\mathsf D(G):=\mathsf s_{\mathbb N}(G)$ (when $G$ is abelian), $\mathsf E(G):=\mathsf s_{\{|G|\}}(G)$, $\mathsf s(G):=\mathsf s_{\{\mathsf e(G)\}}(G)$, $\eta(G):=\mathsf s_{[1,\mathsf e(G)]}(G)$ and $\mathsf s_{d\mathbb N}(G)$ ($d\in\mathbb N$) have received a lot of studies. The Noether number $\beta(G)$ which is closely related to zero-sum theory is defined to be the maximal degree bound for the generators of the algebra of polynomial invariants. Let $G\cong C_m\ltimes_{\varphi} C_{mn}$, in this paper, we prove that $$\mathsf E(G)=\mathsf d(G)+|G|=m^2n+m+mn-2$$ and $\beta(G)=\mathsf d(G)+1=m+mn-1$. We also prove that $\mathsf s_{mn\mathbb N}(G)=m+2mn-2$ and provide the upper bounds of $\eta(G)$, $\mathsf s(G)$. Moreover, if $G$ is a non-cyclic nilpotent group and $p$ is the smallest prime divisor of $|G|$, we prove that $\beta(G)\le \frac{|G|}{p}+p-1$ except if $p=2$ and $G$ is a dicyclic group, in which case $\beta(G)=\frac{1}{2}|G|+2$.


title: Conduction spectroscopy of a proximity induced superconducting topological insulator

abstract: The combination of superconductivity and the helical spin-momentum locking at the surface state of a topological insulator (TI) has been predicted to give rise to p-wave superconductivity and Majorana bound states. The superconductivity can be induced by the proximity effect of a an s-wave superconductor (S) into the TI. To probe the superconducting correlations inside the TI, dI/dV spectroscopy has been performed across such S-TI interfaces. Both the alloyed Bi$_{1.5}$Sb$_{0.5}$Te$_{1.7}$Se$_{1.3}$ and the stoichiometric BiSbTeSe$_2$ have been used as three dimensional TI. In the case of Bi$_{1.5}$Sb$_{0.5}$Te$_{1.7}$Se$_{1.3}$, the presence of disorder induced electron-electron interactions can give rise to an additional zero-bias resistance peak. For the stoichiometric BiSbTeSe$_2$ with less disorder, tunnel barriers were employed in order to enhance the signal from the interface. The general observations in the spectra of a large variety of samples are conductance dips at the induced gap voltage, combined with an increased sub-gap conductance, consistent with p-wave predictions. The induced gap voltage is typically smaller than the gap of the Nb superconducting electrode, especially in the presence of an intentional tunnel barrier. Additional uncovered spectroscopic features are oscillations that are linearly spaced in energy, as well as a possible second order parameter component.


title: Joint Multicast Beamforming and User Scheduling in Large-scale Antenna Systems

abstract: This paper studies the joint multicast beamforming and user scheduling problem, with the objective of minimizing total transmitting power across multiple channels by jointly assigning each user to appropriate channel and designing multicast beamformer for each channel. The problem of interest is formulated in two different optimization problems, a mixed binary quadratically constrained quadratic program and a highly-structured nonsmooth program. Two different algorithms, based on convex relaxation and convex restriction, respectively, are proposed to solve the problem. The performance ratio between the approximate solution provided by the convex-relaxation-based algorithm and optimal solution is proved to be upper bounded by a constant independent of problem data. The convex-restriction-based algorithm is guaranteed to converge to a critical point to the nonsmooth formulation problem. Finally, extensive simulation results verify the theoretical analysis and demonstrate the advantage of the proposed co-design scheme over conventional fixed scheduling and random scheduling in terms of power consumption.


title: Coordinated Multicell Multicast Beamforming Based on Manifold Optimization

abstract: Multicast beamforming is a key technology for next-generation wireless cellular networks to support high-rate content distribution services. In this paper, the coordinated downlink multicast beamforming design in multicell networks is considered. The goal is to maximize the minimum signal-to-interference-plus-noise ratio of all users under individual base station power constraints. We exploit the fractional form of the objective function and geometric properties of the con-straints to reformulate the problem as a parametric manifold optimization program. Afterwards we propose a low-complexity Dinkelbach-type algorithm combined with adaptive exponential smoothing and Riemannian conjugate gradient iteration, which is guaranteed to converge. Numerical experiments show that the proposed algorithm outperforms the existing SDP-based method and DC-programming-based method and achieves near-optimal performance.


title: A novel study on subspace migration for imaging of a sound-hard arc

abstract: In this study, the influence of a test vector selection used in subspace migration to reconstruct the shape of a sound-hard arc in a two-dimensional inverse acoustic problem is considered. In particular, a new mathematical structure of imaging function is constructed in terms of the Bessel functions of the order 0, 1, and 2 of the first kind based on the structure of singular vectors linked to the nonzero singular values of a Multi-Static Response (MSR) matrix. This structure indicates that imaging performance of subspace migration is highly related to the unknown shape of arc. The simulation results with noisy data indicate support for the derived structure.


title: Mumford curves and Mumford groups in positive characteristic

abstract: A Mumford group is a discontinuous subgroup $\Gamma$ of PGL(2,K), where K denotes a non archimedean valued field, such that the quotient by $\Gamma$ is a curve of genus 0. As abstract group $\Gamma$ is an amalgam of a finite tree of finite groups. For K of positive characteristic the large collection of amalgams having two or three branch points is classified. Using these data Mumford curves with a large group of automorphisms are discovered. A long combinatorial proof, involving the classification of the finite simple groups, is needed for establishing an upper bound for the order of the group of automorphisms of a Mumford curve. Orbifolds in the category of rigid spaces are introduced. For the projective line the relations with Mumford groups and singular stratified bundles are studied. This paper is a sequel to our paper "Discontinuous subgroups of PGL(2,K)" published in Journ. of Alg. (2004). Part of it clarifies, corrects and extends work of G.~Cornelissen, F.~Kato and K.~Kontogeorgis.


title: Four wave mixing in 3C SiC Ring Resonators

abstract: We demonstrate frequency conversion by four wave mixing at telecommunication wavelengths using an integrated platform in 3C SiC. The process was enhanced by high-Q and small modal volume ring resonators, allowing the use of mW-level CW powers to pump the nonlinear optical process. We retrieved the nonlinear refractive index $n_{2}=(5.31\pm 0.04)\times 10^{-19} m^{2}/W$ of 3C SiC and observed a signal attributed to Raman gain in the structure.


title: Unified Model of Chaotic Inflation and Dynamical Supersymmetry Breaking

abstract: The large hierarchy between the Planck scale and the weak scale can be explained by the dynamical breaking of supersymmetry in strongly coupled gauge theories. Similarly, the hierarchy between the Planck scale and the energy scale of inflation may also originate from strong dynamics, which dynamically generate the inflaton potential. We present a model of the hidden sector which unifies these two ideas, i.e., in which the scales of inflation and supersymmetry breaking are provided by the dynamics of the same gauge group. The resultant inflation model is chaotic inflation with a fractional power-law potential in accord with the upper bound on the tensor-to-scalar ratio. The supersymmetry breaking scale can be much smaller than the inflation scale, so that the solution to the large hierarchy problem of the weak scale remains intact. As an intrinsic feature of our model, we find that the sgoldstino, which might disturb the inflationary dynamics, is automatically stabilized during inflation by dynamically generated corrections in the strongly coupled sector. This renders our model a field-theoretical realization of what is sometimes referred to as sgoldstino-less inflation.


title: Structural entanglements in protein complexes

abstract: We consider multi-chain protein native structures and propose a criterion that determines whether two chains in the system are entangled or not. The criterion is based on the behavior observed by pulling at both temini of each chain simultaneously in the two chains. We have identified about 900 entangled systems in the Protein Data Bank and provided a more detailed analysis for several of them. We argue that entanglement enhances the thermodynamic stability of the system but it may have other functions: burying the hydrophobic residues at the interface, and increasing the DNA or RNA binding area. We also study the folding and stretching properties of the knotted dimeric proteins MJ0366, YibK and bacteriophytochrome. These proteins have been studied theoretically in their monomeric versions so far. The dimers are seen to separate on stretching through the tensile mechanism and the characteristic unraveling force depends on the pulling direction.


title: Finding the most parsimonious or likely tree in a network with respect to an alignment

abstract: Phylogenetic networks are often constructed by merging multiple conflicting phylogenetic signals into a directed acyclic graph. It is interesting to explore whether a network constructed in this way induces biologically-relevant phylogenetic signals that were not present in the input. Here we show that, given a multiple alignment A for a set of taxa X and a rooted phylogenetic network N whose leaves are labelled by X, it is NP-hard to locate the most parsimonious phylogenetic tree displayed by N (with respect to A) even when the level of N - the maximum number of reticulation nodes within a biconnected component - is 1 and A contains only 2 distinct states. (If, additionally, gaps are allowed the problem becomes APX-hard.) We also show that under the same conditions, and assuming a simple binary symmetric model of character evolution, finding the most likely tree displayed by the network is NP-hard. These negative results contrast with earlier work on parsimony in which it is shown that if A consists of a single column the problem is fixed parameter tractable in the level. We conclude with a discussion of why, despite the NP-hardness, both the parsimony and likelihood problem can likely be well-solved in practice.


title: Modelling Solutions to the Kdv-Burgers Equation in the Case of Non-homogeneous Dissipative Media

abstract: We study the behavior of the soliton which, while moving in non-dissipative medium encounters a barrier with finite dissipation. The modelling included the case of a finite dissipative layer similar to a wave passing through the air-glass-air as well as a wave passing from a non-dissipative layer into a dissipative one (similar to the passage of light from air to water). The dissipation predictably results in reducing the soliton amplitude/velocity, but some new effects occur in the case of finite barrier on the soliton path: after the wave leaves the dissipative barrier it retains a soliton form, yet a reflection wave arises as small and quasi-harmonic oscillations (a breather). The breather spreads faster than the soliton as moves through the barrier.


title: A theoretical explanation for the Central Molecular Zone asymmetry

abstract: It has been known for more than thirty years that the distribution of molecular gas in the innermost 300 parsecs of the Milky Way, the Central Molecular Zone, is strongly asymmetric. Indeed, approximately three quarters of molecular emission comes from positive longitudes, and only one quarter from negative longitudes. However, despite much theoretical effort, the origin of this asymmetry has remained a mystery. Here we show that the asymmetry can be neatly explained by unsteady flow of gas in a barred potential. We use high-resolution 3D hydrodynamical simulations coupled to a state-of-the-art chemical network. Despite the initial conditions and the bar potential being point-symmetric with respect to the Galactic Centre, asymmetries develop spontaneously due to the combination of a hydrodynamical instability known as the "wiggle instability" and the thermal instability. The observed asymmetry must be transient: observations made tens of megayears in the past or in the future would often show an asymmetry in the opposite sense. Fluctuations of amplitude comparable to the observed asymmetry occur for a large fraction of the time in our simulations, and suggest that the present is not an exceptional moment in the life of our Galaxy.


title: Time in classical and quantum mechanics

abstract: In this article we study the nature of time in Mechanics. The fundamental principle, according to which a mechanical system evolves governed by a second order differential equation, implies the existence of an absolute time-duration in the sense of Newton. There is a second notion of time for conservative systems which makes the Hamiltonian action evolve at a constant rate. In Quantum Mechanics the absolute time loses its sense as it does the notion of trajectory. Then, we propose two different ways to reach the time dependent Schr\"odinger equation. One way consists of considering a "time constraint" on a free system. The other way is based on the point of view of Hertz, by considering the system as a projection of a free system. In the later manner, the "time" appearing in the Schr\"odinger equation is a linear combination of the time-duration with the "time" quotient of the action by the energy on each solution of the Hamilton-Jacobi equation. Both of them are based on a rule of quantization that we explain in Section 4.


title: Bifocal Fresnel lens based on the polarization-sensitive metasurface

abstract: Thin structured surfaces allow flexible control over propagation of electromagnetic waves. Focusing and polarization state analysis are among functions, required for effective manipulation of radiation. Here a polarization sensitive Fresnel zone plate lens is proposed and experimentally demonstrated for GHz spectral range. Two spatially separated focal spots for orthogonal polarizations are obtained by designing metasurface pattern, made of overlapping tightly packed cross and rod shaped antennas with a strong polarization selectivity. Optimized subwavelength pattern allows multiplexing two different lenses with low polarization crosstalk on the same substrate and provides a control over focal spots of the lens only by changing of the polarization state of the incident wave. More than a wavelength separation between the focal spots was demonstrated for a broad spectral range, covering half a decade in frequency. The proposed concept could be straightforwardly extended for THz and visible spectra, where polarization-sensitive elements utilize localized plasmon resonance phenomenon.


title: Generalized symplectization of Vlasov dynamics and application to the Vlasov-Poisson system

abstract: In this paper, we study a Hamiltonian structure of the Vlasov-Poisson system, first mentioned by Fr\"ohlich, Knowles, and Schwarz. To begin with, we give a formal guideline to derive a Hamiltonian on a subspace of complex-valued $L^2$ integrable functions $\alpha$ on the one particle phase space $\mathbb{R}^{2d}$, s.t. $f=\left|\alpha\right|^2$ is a solution of a collisionless Boltzmann equation. The only requirement is a sufficiently regular energy functional on a subspace of distribution functions $f\in L^1$. Secondly, we give a full well-posedness theory for the obtained system corresponding to Vlasov-Poisson in $d\geq3$ dimensions. Finally, we adapt the classical globality results for $d=3$ to the generalized system.


title: Uniqueness theorem for static wormholes in Einstein-phantom scalar field theory

abstract: In the present paper we prove a uniqueness theorem for the regular static, traversable wormhole solutions to the Einstein-phantom scalar field theory with two asymptotically flat regions (ends). We show that when a certain condition on the asymptotic values of the scalar field is imposed such solutions are uniquely specified by their mass $M$ and the scalar charge $D$.The main arguments in the proof are based on the positive energy theorem.


title: Integral equations, quasi-Monte Carlo methods and risk modelling

abstract: We survey a QMC approach to integral equations and develop some new applications to risk modeling. In particular, a rigorous error bound derived from Koksma-Hlawka type inequalities is achieved for certain expectations related to the probability of ruin in Markovian models. The method is based on a new concept of isotropic discrepancy and its applications to numerical integration. The theoretical results are complemented by numerical examples and computations.


title: A search for peculiar stars in the open cluster Hogg 16

abstract: The study of chemically peculiar (CP) stars in open clusters provides valuable information about their evolutionary status. Their detection can be performed using the $\Delta a$ photometric system, which maps a characteristic flux depression at $\lambda \sim 5200$ \AA. This paper aims at studying the occurrence of CP stars in the earliest stages of evolution of a stellar population by applying this technique to Hogg 16, a very young Galactic open cluster (about 25 Myr). We identified several peculiar candidates: two B-type stars with a negative $\Delta a$ index (CD-60 4701, CPD-60 4706) are likely emission-line (Be) stars, even though spectral measurements are necessary for a proper classification of the second one; a third object (CD-60 4703), identified as a Be candidate in literature, appears to be a background B-type supergiant with no significant $\Delta a$ index, which does not rule out the possibility that it is indeed peculiar as the normality line of $\Delta a$ for supergiants has not been studied in detail yet. A fourth object (CD-60 4699) appears to be a magnetic CP star of 8 M$_\odot$, but obtained spectral data seem to rule out this hypothesis. Three more magnetic CP star candidates are found in the domain of early F-type stars. One is a probable nonmember and close to the border of significance, but the other two are probably pre-main sequence cluster objects. This is very promising, as it can lead to very strong constraints to the diffusion theory. Finally, we derived the fundamental parameters of Hogg 16 and provide for the first time an estimate of its metal content.


title: Dynamic Feedback for Consensus of Networked Lagrangian Systems

abstract: This paper investigates the consensus problem of multiple uncertain Lagrangian systems. Due to the discontinuity resulted from the switching topology, achieving consensus in the context of uncertain Lagrangian systems is challenging. We propose a new adaptive controller based on dynamic feedback to resolve this problem and additionally propose a new analysis tool for rigorously demonstrating the stability and convergence of the networked systems. The new introduced analysis tool is referred to as uniform integral-L_p stability, which is motivated for addressing integral-input-output properties of linear time-varying systems. It is then shown that the consensus errors between the systems converge to zero so long as the union of the graphs contains a directed spanning tree. It is also shown that the proposed controller enjoys the robustness with respect to constant communication delays. The performance of the proposed adaptive controllers is shown by numerical simulations.


title: Constraints on particle acceleration in SS433/W50 from MAGIC and H.E.S.S. observations

abstract: The large jet kinetic power and non-thermal processes occurring in the microquasar SS 433 make this source a good candidate for a very high-energy (VHE) gamma-ray emitter. Gamma-ray fluxes have been predicted for both the central binary and the interaction regions between jets and surrounding nebula. Also, non-thermal emission at lower energies has been previously reported. We explore the capability of SS 433 to emit VHE gamma rays during periods in which the expected flux attenuation due to periodic eclipses and precession of the circumstellar disk periodically covering the central binary system is expected to be at its minimum. The eastern and western SS433/W50 interaction regions are also examined. We aim to constrain some theoretical models previously developed for this system. We made use of dedicated observations from MAGIC and H.E.S.S. from 2006 to 2011 which were combined for the first time and accounted for a total effective observation time of 16.5 h. Gamma-ray attenuation does not affect the jet/medium interaction regions. The analysis of a larger data set amounting to 40-80 h, depending on the region, was employed. No evidence of VHE gamma-ray emission was found. Upper limits were computed for the combined data set. We place constraints on the particle acceleration fraction at the inner jet regions and on the physics of the jet/medium interactions. Our findings suggest that the fraction of the jet kinetic power transferred to relativistic protons must be relatively small to explain the lack of TeV and neutrino emission from the central system. At the SS433/W50 interface, the presence of magnetic fields greater 10$\mu$G is derived assuming a synchrotron origin for the observed X-ray emission. This also implies the presence of high-energy electrons with energies up to 50 TeV, preventing an efficient production of gamma-ray fluxes in these interaction regions.


title: OMICtools: a community-driven search engine for biological data analysis

abstract: With high-throughput biotechnologies generating unprecedented quantities of data, researchers are faced with the challenge of locating and comparing an exponentially growing number of programs and websites dedicated to computational biology, in order to maximize the potential of their data. OMICtools is designed to meet this need with its open-access search engine offering an easy means of locating the right tools corresponding to each researcher and their specific biological data analyses. The OMICtools website (https://OMICtools.com) centralizes more than 18,500 software tools and databases, manually classified, by a team of biocurators including many scientific experts. Key information, a direct link, and access to discussions and evaluations by the biomedical community are provided for each tool. Anyone can join the OMICtools community and create a profile page, to share their expertise and comment on tools. In addition, developers can directly upload their code versions which are registered for identification and citation in scientific publications, improving research traceability. The OMICtools community links thousands of life scientists and developers worldwide, who use this bioinformatics platform to accelerate their projects and biological data analyses.


title: $C^{1,1}$ regularity for degenerate complex Monge-Amp\`ere equations and geodesic rays

abstract: We prove a $C^{1,1}$ estimate for solutions of complex Monge-Amp\`ere equations on compact K\"ahler manifolds with possibly nonempty boundary, in a degenerate cohomology class. This strengthens previous estimates of Phong-Sturm. As applications we deduce the local $C^{1,1}$ regularity of geodesic rays in the space of K\"ahler metrics associated to a test configuration, as well as the local $C^{1,1}$ regularity of quasi-psh envelopes in nef and big classes away from the non-K\"ahler locus.


title: Instability in dynamic fracture and the failure of the classical theory of cracks

abstract: Cracks, the major vehicle for material failure, tend to accelerate to high velocities in brittle materials. In three-dimensions, cracks generically undergo a micro-branching instability at about 40% of their sonic limiting velocity. Recent experiments showed that in sufficiently thin systems cracks unprecedentedly accelerate to nearly their limiting velocity without micro-branching, until they undergo an oscillatory instability. Despite their fundamental importance and apparent similarities to other instabilities in condensed-matter physics and materials science, these dynamic fracture instabilities remain poorly understood. They are not described by the classical theory of cracks, which assumes that linear elasticity is valid inside a stressed material and uses an extraneous local symmetry criterion to predict crack paths. Here we develop a model of two-dimensional dynamic brittle fracture capable of predicting arbitrary paths of ultra-high-speed cracks in the presence of elastic nonlinearity without extraneous criteria. We show, by extensive computations, that cracks undergo a dynamic oscillatory instability controlled by small-scale elastic nonlinearity near the crack tip. This instability occurs above a ultra-high critical velocity and features an intrinsic wavelength that increases proportionally to the ratio of the fracture energy to an elastic modulus, in quantitative agreement with experiments. This ratio emerges as a fundamental scaling length assumed to play no role in the classical theory of cracks, but shown here to strongly influence crack dynamics. Those results pave the way for resolving other long-standing puzzles in the failure of materials.


title: Collisionless shocks in self-interacting dark matter

abstract: Self-interacting dark matter has been proposed as a solution to small scale problems in cosmological structure formation, and hints of dark matter self scattering have been observed in mergers of galaxy clusters. One of the simplest models for self-interacting dark matter is a particle that is charged under dark electromagnetism, a new gauge interaction analogous to the usual electromagnetic force, but operating on the dark matter particle instead of the visible particles. In this case, the collisional behaviour of dark matter is primarily due to the formation of collisionless shocks, that should affect the distribution of DM in merging galaxy clusters. We evaluate the time and length scales of shock formation in cluster mergers, and discuss the implications for modelling charged dark matter in cosmological simulations.


title: Underdamped Langevin MCMC: A non-asymptotic analysis

abstract: We study the underdamped Langevin diffusion when the log of the target distribution is smooth and strongly concave. We present a MCMC algorithm based on its discretization and show that it achieves $\varepsilon$ error (in 2-Wasserstein distance) in $\mathcal{O}(\sqrt{d}/\varepsilon)$ steps. This is a significant improvement over the best known rate for overdamped Langevin MCMC, which is $\mathcal{O}(d/\varepsilon^2)$ steps under the same smoothness/concavity assumptions. The underdamped Langevin MCMC scheme can be viewed as a version of Hamiltonian Monte Carlo (HMC) which has been observed to outperform overdamped Langevin MCMC methods in a number of application areas. We provide quantitative rates that support this empirical wisdom.


title: X-Ray Microscopy of Spin Wave Focusing using a Fresnel Zone Plate

abstract: Magnonics, i.e. the artificial manipulation of spin waves, is a flourishing field of research with many potential uses in data processing within reach. Apart from the technological applications the possibility to directly influence and observe these types of waves is of great interest for fundamental research. Guidance and steering of spin waves has been previously shown and lateral spin wave confinement has been achieved. However, true spin wave focusing with both lateral confinement and increase in amplitude has not been shown before. Here, we show for the first time spin wave focusing by realizing a Fresnel zone plate type lens. Using x-ray microscopy we are able to directly image the propagation of spin waves into the nanometer sized focal spot. Furthermore, we observe that the focal spot can be freely moved in a large area by small variations of the bias field. Thus, this type of lens provides a steerable intense nanometer sized spin wave source. Potentially, this could be used to selectively illuminate magnonic devices like nano oscillators with a steerable spin wave beam.


title: Partial Density of States Ligand Field Theory (PDOS-LFT): Recovering a LFT-Like Picture and Application to Photoproperties of Ruthenium(II) Polypyridine Complexes

abstract: Gas phase density-functional theory (DFT) and time-dependent DFT (TD-DFT) calculations are reported for a data base of 98 ruthenium(II) polypyridine complexes. Comparison with X-ray crystal geometries and with experimental absorption spectra measured in solution show an excellent linear correlation with the results of the gas phase calculations. Comparing this with the usual chemical understanding based upon ligand field theory (LFT) is complicated by the large number of molecular orbitals present and especially by the heavy mixing of the antibonding metal e*$_{g}$ orbitals with ligand orbitals. Nevertheless, we show that a deeper understanding can be obtained by a partial density-of-states (PDOS) analysis which allows us to extract approximate metal t$_{2g}$ and e*$_{g}$ and ligand \pi* orbital energies in a well-defined way, thus providing a PDOS analogue of LFT (PDOS-LFT). Not only do PDOS-LFT energies generate a spectrochemical series for the ligands, but orbital energy differences provide good estimates of TD-DFT absorption energies. Encouraged by this success, we use frontier-molecular-orbital-theory-like reasoning to construct a model which allows us in most, but not all, of the cases studied to use PDOS-LFT energies to provide a semiquantitative relationship between luminescence lifetimes at room temperature and liquid nitrogen temperature.


title: Dissipative Cylindrical Collapse of a Charged Anisotropic Fluid in $f(R)$ Gravity

abstract: This paper is devoted to investigate the cylindrical collapse of an anisotropic fluid in $f(R)$ gravity. For this purpose, the viscous charged anisotropic fluid dissipating energy with heat flow and shear is assumed. We use the perturbation scheme to develop the dynamical equations for the variables that ultimately lead to the disturbance of the physical variables and the Starobinksy like $f(R)$ model chosen. The evolution of the matter variables is discussed with the help of these equations. It can be concluded that the range of dynamic instabilities depends on the field strength, density distribution, pressure and the curvature term of the $f(R)$ model. We find that our results of Newtonian and post-Newtonian regimes reduce asymptotically to general relativity solutions in the limiting case.


title: Branched coverings of $CP^2$ and other basic 4-manifolds

abstract: We give necessary and sufficient conditions for a 4-manifold to be a branched covering of $CP^2$, $S^2\times S^2$, $S^2 \mathbin{\tilde\times} S^2$ and $S^3 \times S^1$, which are expressed in terms of the Betti numbers and the intersection form of the 4-manifold.


title: Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems

abstract: This volume of the EPTCS contains the proceedings of the 15th international workshop on Qualitative Aspects of Programming Languages and Systems, QAPL 2017, held at April 23, 2017 in Uppsala, Sweden as a satellite event of ETAPS 2017, the 20th European Joint Conferencec on Theory and Practice of Software. The volume contains two invited contributions by Erika Abraham and by Andrea Vandin as well as six technical papers selected by the QAPL 2017 program committee.


title: A Lax type operator for quantum finite W-algebras

abstract: For a reductive Lie algebra g, its nilpotent element f and its faithful finite dimensional representation, we construct a Lax operator L(z) with coefficients in the quantum finite W-algebra W(g,f). We show that for the classical linear Lie algebras gl_N, sl_N, so_N and sp_N, the operator L(z) satisfies a generalized Yangian identity. The operator L(z) is a quantum finite analogue of the operator of generalized Adler type which we recently introduced in the classical affine setup. As in the latter case, L(z) is obtained as a generalized quasideterminant.


title: Slicing the Vacuum: New Accelerating Mirror Solutions of the Dynamical Casimir Effect

abstract: Radiation from accelerating mirrors in a Minkowski spacetime provides insights into the nature of horizons, black holes, and entanglement entropy. We introduce new, simple, symmetric and analytic moving mirror solutions and study their particle, energy, and entropy production. This includes an asymptotically static case with finite emission that is the black hole analog of complete evaporation. The total energy, total entropy, total particles, and spectrum are the same on both sides of the mirror. We also study its asymptotically inertial, drifting analog (which gives a black hole remnant) to explore differences in finite and infinite production.


title: Frequency-oriented sub-sampling by photonic Fourier transform and I/Q demodulation

abstract: Sub-sampling can acquire directly a passband within a broad radio frequency (RF) range, avoiding down-conversion and low-phase-noise tunable local oscillation (LO). However, sub-sampling suffers from band folding and self-image interference. In this paper we propose a frequency-oriented sub-sampling to solve the two problems. With ultrashort optical pulse and a pair of chromatic dispersions, the broadband RF signal is firstly short-time Fourier-transformed to a spectrum-spread pulse. Then a time slot, corresponding to the target spectrum slice, is coherently optical-sampled with in-phase/quadrature (I/Q) demodulation. We demonstrate the novel bandpass sampling by a numerical example, which shows the desired uneven intensity response, i.e. pre-filtering. We show in theory that appropriate time-stretch capacity from dispersion can result in pre-filtering bandwidth less than sampling rate. Image rejection due to I/Q sampling is also analyzed. A proof-of-concept experiment, which is based on a time-lens sampling source and chirped fiber Bragg gratings (CFBGs), shows the center-frequency-tunable pre-filtered sub-sampling with bandwidth of 6 GHz around, as well as imaging rejection larger than 26 dB. Our technique may benefit future broadband RF receivers for frequency-agile Radar or channelization.


title: Structure- & Physics- Preserving Reductions of Power Grid Models

abstract: The large size of multiscale, distribution and transmission, power grids hinder fast system-wide estimation and real-time control and optimization of operations. This paper studies graph reduction methods of power grids that are favorable for fast simulations and follow-up applications. While the classical Kron reduction has been successful in reduced order modeling of power grids with traditional, hierarchical design, the selection of reference nodes for the reduced model in a multiscale, distribution and transmission, network becomes ambiguous. In this work we extend the use of the iterative Kron reduction by utilizing the electric grid's graph topology for the selection of reference nodes, consistent with the design features of multiscale networks. Additionally, we propose further reductions by aggregation of coherent subnetworks of triangular meshes, based on the graph topology and network characteristics, in order to preserve currents and build another power-flow equivalent network. Our reductions are achieved through the use of iterative aggregation of sub-graphs that include general tree structures, lines, and triangles. Important features of our reduction algorithms include that: (i) the reductions are, either, equivalent to the Kron reduction, or otherwise produce a power-flow equivalent network; (ii) due to the former mentioned power-flow equivalence, the reduced network can model the dynamic of the swing equations for a lossless, inductive, steady state network; (iii) the algorithms efficiently utilize hash-tables to store the sequential reduction steps.


title: Twist Coupled Kirigami Cellular Metamaterials and Mechanisms

abstract: Manipulation of thin sheets by folding and cutting offers opportunity to engineer structures with novel mechanical properties, and to prescribe complex force-displacement relationships via material elasticity in combination with the trajectory imposed by the fold topology. We study the mechanics of cellular Kirigami that rotates upon compression, which we call Flexigami; the addition of diagonal cuts to an equivalent closed cell permits its reversible collapse without incurring significant tensile strains in its panels. Using finite-element modeling and experiment we show how the mechanics of flexigami is governed by the coupled rigidity of the panels and hinges and we design flexigami to achieve reversible force response ranging from smooth mono-stability to sharp bi-stability. We then demonstrate the use of flexigami to construct laminates with multi-stable behavior, a rotary-linear boom actuator, and self-deploying cells with activated hinges. Advanced digital fabrication methods can enable the practical use of flexigami and other metamaterials that share its underlying principles, for applications such as morphing structures, soft robotics and medical devices.


title: On the Quantitatively Characterization of Intermittent Power Sources Uncertainty

abstract: This paper designs a statistical quantification towards the intermittent power uncertainty in power systems. A negative-exponential forecast uncertainty function is constructed to represent the relationship between the statistics of forecast error of a single intermittent power source and time advance. Subsequently, other kinds of statistical functions are proposed to characterize the statistical uncertainty of multiple intermittent power sources and all power sources, namely the sum statistical functions, the equivalent statistical functions, and the contour statistical functions. Based on a large amount of historical observations, these functions are employed to statistically quantify the forecast uncertainty of a single intermittent power source, multiple intermittent power sources as well as all power sources. Historical data sampled from real wind farms and solar sites demonstrates the effectiveness of the proposed method.


title: The circular law for sparse non-Hermitian matrices

abstract: For a class of sparse random matrices of the form $A_n =(\xi_{i,j}\delta_{i,j})_{i,j=1}^n$, where $\{\xi_{i,j}\}$ are i.i.d.~centered sub-Gaussian random variables of unit variance, and $\{\delta_{i,j}\}$ are i.i.d.~Bernoulli random variables taking value $1$ with probability $p_n$, we prove that the empirical spectral distribution of $A_n/\sqrt{np_n}$ converges weakly to the circular law, in probability, for all $p_n$ such that $p_n=\omega({\log^2n}/{n})$. Additionally if $p_n$ satisfies the inequality $np_n > \exp(c\sqrt{\log n})$ for some constant $c$, then the above convergence is shown to hold almost surely. The key to this is a new bound on the smallest singular value of complex shifts of real valued sparse random matrices. The circular law limit also extends to the adjacency matrix of a directed Erd\H{o}s-R\'{e}nyi graph with edge connectivity probability $p_n$.


title: Neutrino mass ordering and \mu-\tau reflection symmetry breaking

abstract: If the neutrino mass spectrum turns out to be m^{}_3 < m^{}_1 < m^{}_2, one may choose to relabel it as m^{\prime}_1 < m^{\prime}_2 < m^{\prime}_3 such that all the masses of fundamental fermions with the same electrical charges are in order. In this case the columns of the 3\times 3 lepton flavor mixing matrix U should be reordered accordingly, and the resulting pattern U^\prime may involve one or two large mixing angles in the standard parametrization or its variations. Since the Majorana neutrino mass matrix keeps unchanged in such a mass relabeling, a possible \mu-\tau reflection symmetry is respected in this connection and its breaking effects are model-independently constrained at the 3\sigma level by using current experimental data.


title: A wireless triboelectric nanogenerator

abstract: We demonstrate a new paradigm for the wireless harvesting of mechanical energy via a 3D-printed triboelectric nanogenerator (TENG) which comprises a graphene polylactic acid (gPLA) nanocomposite and Teflon. The synergistic combination of eco-friendly PLA with graphene in our TENG exhibited an output voltage > 2 kV with an instantaneous peak power of 70 mW, which in turn generated a strong electric field to enable the wireless transmission of harvested energy over a distance of 3 m. Specifically, we demonstrate wireless and secure actuatation of smart-home applications such as smart tint windows, temperature sensors, liquid crystal displays, and security alarms either with a single or a specific user-defined passcode of mechanical pulses (e.g., Fibonacci sequence). Notably, such high electric output of a gPLA-based TENG enabled unprecedented wireless transmission of harvested mechanical energy into a capacitor, thus obviating the need for additional electronics or energy sources. The scalable additive manufacturing approach for gPLA-based TENGs, along with their high electrical output can revolutionize the present method of harnessing the mechanical energy available in our environment.


title: Inverting normative city theories and computational urban models: Towards a coexistence with urban data streams

abstract: Two unavoidable processes punctuate our century: The unprecedented urbanisation of our planet (United Nations, 2014) and the spread of ubiquitous computing (Weiser, 1991) and urban data streams. This process of urbanisation corresponds with the process of digitalisation of urban life: while urbanisation acts on a physical infrastructural level, the digital develops as a kind of metastructure above the infrastructure. This metastructural level offers a flexible framework through which information is continuously and operatively being symbolized. Today, Information technology and the availability of abundant urban data streams could be considered as forerunners of our time, having unprecedented impacts comparable to the ones brought by the steam engine at the dawn of industrialisation and the electrification of cities. It is therefore no longer conceivable to think of the physical structure of the city without including its digital counterpart. Against this background, we will explore the role of computational power and information technologies as dominant factors in the formation of computational urban models and normative city theories. We will show how these models and theories, emerging mainly during the 19th and 20th centuries, present leaping correspondences with more ancient conceptions of the city, when observed from a meta-level or episteme (Foucault, 2002) approach. First, and for the sake of clarity, we will deal with some methodological elucidations around the concepts of theory, model and episteme, and how we will refer conceptually to these terms throughout this paper. Secondly, we will review these evolving technological and computational levels of abstraction and their influence on the different conceptions of the city. Thirdly, we will develop the hypothesis of a conceptual gap, between our current technological capacity -- grounded on the abundance and availability of urban data streams -- and the state of the art in urban modelling and city theory. Lastly, building upon Foucault's concept of episteme (Foucault, 1970) and genealogy (Foucault, 1977b), we will explore this gap by speculating around the possibility of an inversion in computational urban modelling and city theory. And above all, we will question the terms in which we can think of the city, in an age where the world can be virtually conceived as fully urban, and the continuity and abundance of urban data streams giving account of it can be taken for granted. How are we articulating the phenomena we call city on top of this generic common ground?


title: Versatile silicon-waveguide supercontinuum for coherent mid-infrared spectroscopy

abstract: Infrared spectroscopy is a powerful tool for basic and applied science. The molecular spectral fingerprints in the 3 um to 20 um region provide a means to uniquely identify molecular structure for fundamental spectroscopy, atmospheric chemistry, trace and hazardous gas detection, and biological microscopy. Driven by such applications, the development of low-noise, coherent laser sources with broad, tunable coverage is a topic of great interest. Laser frequency combs possess a unique combination of precisely defined spectral lines and broad bandwidth that can enable the above-mentioned applications. Here, we leverage robust fabrication and geometrical dispersion engineering of silicon nanophotonic waveguides for coherent frequency comb generation spanning 70 THz in the mid-infrared (2.5 um to 6.2 um). Precise waveguide fabrication provides significant spectral broadening and engineered spectra targeted at specific mid-infrared bands. We use this coherent light source for dual-comb spectroscopy at 5 um.


title: On the kernel of the theta operator mod p

abstract: We construct many examples of level one Siegel modular forms in the kernel of theta operators mod $p$ by using theta series attached to positive definite quadratic forms.


title: Polariton spectrum of the Dicke-Ising model

abstract: The Dicke-Ising model describes cavity quantum electrodynamics setups in which dipoles couple not only with the photonic cavity field but also to each other through dipole-dipole interaction. In this work we diagonalise such a model in terms of bosonic polaritonic operators for arbitrarily large values of the light-matter coupling and for values of the dipole-dipole interaction until the onset of the ferromagnetic Ising phase transition. In order to accomplish this task we exploit higher order terms of the Holstein-Primakoff transformation, developing a general method which allows to solve the normal phase of the Ising model in term of bosonic excitations for large values of the dipole-dipole interaction. Our results shed light on the interplay between the dipole-dipole and the light-matter coupling strengths, and their effect on the virtual excitations which populate the ground-state when the interactions become comparable with the bare transition frequency.


title: A Deep Learning Approach for Blind Drift Calibration of Sensor Networks

abstract: Temporal drift of sensory data is a severe problem impacting the data quality of wireless sensor networks (WSNs). With the proliferation of large-scale and long-term WSNs, it is becoming more important to calibrate sensors when the ground truth is unavailable. This problem is called "blind calibration". In this paper, we propose a novel deep learning method named projection-recovery network (PRNet) to blindly calibrate sensor measurements online. The PRNet first projects the drifted data to a feature space, and uses a powerful deep convolutional neural network to recover the estimated drift-free measurements. We deploy a 24-sensor testbed and provide comprehensive empirical evidence showing that the proposed method significantly improves the sensing accuracy and drifted sensor detection. Compared with previous methods, PRNet can calibrate 2x of drifted sensors at the recovery rate of 80% under the same level of accuracy requirement. We also provide helpful insights for designing deep neural networks for sensor calibration. We hope our proposed simple and effective approach will serve as a solid baseline in blind drift calibration of sensor networks.


title: Loop Representation of Wigner's Little Groups

abstract: Wigner's little groups are the subgroups of the Lorentz group whose transformations leave the momentum of a given particle invariant. They thus define the internal space-time symmetries of relativistic particles. These symmetries take different mathematical forms for massive and for massless particles. However, it is shown possible to construct one unified representation using a graphical description. This graphical approach allows us to describe vividly parity, time reversal, and charge conjugation of the internal symmetry groups. As for the language of group theory, the two-by-two representation is used throughout the paper. While this two-by-two representation is for spin-1/2 particles, it is shown possible to construct the representations for spin-0 particles, spin-1 particles, as well as for higher-spin particles, for both massive and massless cases. It is shown also that the four-by-four Dirac matrices constitute a two-by-two representation of Wigner's little group.


title: Structured Sparse Ternary Weight Coding of Deep Neural Networks for Efficient Hardware Implementations

abstract: Deep neural networks (DNNs) usually demand a large amount of operations for real-time inference. Especially, fully-connected layers contain a large number of weights, thus they usually need many off-chip memory accesses for inference. We propose a weight compression method for deep neural networks, which allows values of +1 or -1 only at predetermined positions of the weights so that decoding using a table can be conducted easily. For example, the structured sparse (8,2) coding allows at most two non-zero values among eight weights. This method not only enables multiplication-free DNN implementations but also compresses the weight storage by up to x32 compared to floating-point networks. Weight distribution normalization and gradual pruning techniques are applied to mitigate the performance degradation. The experiments are conducted with fully-connected deep neural networks and convolutional neural networks.


title: Optical Mapping Near-eye Three-dimensional Display with Correct Focus Cues

abstract: We present an optical mapping near-eye (OMNI) three-dimensional display method for wearable devices. By dividing a display screen into different sub-panels and optically mapping them to various depths, we create a multiplane volumetric image with correct focus cues for depth perception. The resultant system can drive the eye's accommodation to the distance that is consistent with binocular stereopsis, thereby alleviating the vergence-accommodation conflict, the primary cause for eye fatigue and discomfort. Compared with the previous methods, the OMNI display offers prominent advantages in adaptability, image dynamic range, and refresh rate.


title: Methodology for Multi-stage, Operations- and Uncertainty-Aware Placement and Sizing of FACTS Devices in a Large Power Transmission System

abstract: We develop new optimization methodology for planning installation of Flexible Alternating Current Transmission System (FACTS) devices of the parallel and shunt types into large power transmission systems, which allows to delay or avoid installations of generally much more expensive power lines. Methodology takes as an input projected economic development, expressed through a paced growth of the system loads, as well as uncertainties, expressed through multiple scenarios of the growth. We price new devices according to their capacities. Installation cost contributes to the optimization objective in combination with the cost of operations integrated over time and averaged over the scenarios. The multi-stage (-time-frame) optimization aims to achieve a gradual distribution of new resources in space and time. Constraints on the investment budget, or equivalently constraint on building capacity, is introduced at each time frame. Our approach adjusts operationally not only newly installed FACTS devices but also other already existing flexible degrees of freedom. This complex optimization problem is stated using the most general AC Power Flows. Non-linear, non-convex, multiple-scenario and multi-time-frame optimization is resolved via efficient heuristics, consisting of a sequence of alternating Linear Programmings or Quadratic Programmings (depending on the generation cost) and AC-PF solution steps designed to maintain operational feasibility for all scenarios. Computational scalability and application of the newly developed approach is illustrated on the example of the 2736-nodes large Polish system. One most important advantage of the framework is that the optimal capacity of FACTS is build up gradually at each time frame in a limited number of locations, thus allowing to prepare the system better for possible congestion due to future economic and other uncertainties.


title: Superalgebraic structure of Lorentz transformations

abstract: Modern relativistic theory of the second quantization of fermion and boson fields is based on the use of the mathematical apparatus of C*-algebras and Lie superalgebras. In this case, for fermions, the Lorentz transformations are considered as Bogolyubov transformations of creation and annihilation operators. However, in this approach one can not obtain an explicit form of the Dirac gamma-matrices. The mathematical apparatus of the superalgebraic representation of the algebra of the second quantization of spinors is developed in the article. It is based on the use of density in the impulse space of Grassmann variables and their derivatives. It is shown that the Dirac matrices and the Lorentz transformation generators can be expressed in terms of such densities. A superalgebraic form of the Dirac equation and the vacuum state vector are constructed. It is shown that in the superalgebraic form of the complex Clifford algebra the generators corresponding to the Dirac gamma matrices are not equivalent. Clifford vector corresponding to diagonal matrix annihilates the vacuum, and the remaining ones give nonzero values. This means that there is asymmetric direction corresponding to the time axis


title: Two-dimensional nonseparable discrete linear canonical transform based on CM-CC-CM-CC decomposition

abstract: As a generalization of the two-dimensional Fourier transform (2D FT) and 2D fractional Fourier transform, the 2D nonseparable linear canonical transform (2D NsLCT) is useful in optics, signal and image processing. To reduce the digital implementation complexity of the 2D NsLCT, some previous works decomposed the 2D NsLCT into several low-complexity operations, including 2D FT, 2D chirp multiplication (2D CM) and 2D affine transformations. However, 2D affine transformations will introduce interpolation error. In this paper, we propose a new decomposition called CM-CC-CM-CC decomposition, which decomposes the 2D NsLCT into two 2D CMs and two 2D chirp convolutions (2D CCs). No 2D affine transforms are involved. Simulation results show that the proposed methods have higher accuracy, lower computational complexity and smaller error in the additivity property compared with the previous works. Plus, the proposed methods have perfect reversibility property that one can reconstruct the input signal/image losslessly from the output.


title: Discrete Gyrator Transforms: Computational Algorithms and Applications

abstract: As an extension of the 2D fractional Fourier transform (FRFT) and a special case of the 2D linear canonical transform (LCT), the gyrator transform was introduced to produce rotations in twisted space/spatial-frequency planes. It is a useful tool in optics, signal processing and image processing. In this paper, we develop discrete gyrator transforms (DGTs) based on the 2D LCT. Taking the advantage of the additivity property of the 2D LCT, we propose three kinds of DGTs, each of which is a cascade of low-complexity operators. These DGTs have different constraints, characteristics, and properties, and are realized by different computational algorithms. Besides, we propose a kind of DGT based on the eigenfunctions of the gyrator transform. This DGT is an orthonormal transform, and thus its comprehensive properties, especially the additivity property, make it more useful in many applications. We also develop an efficient computational algorithm to significantly reduce the complexity of this DGT. At the end, a brief review of some important applications of the DGTs is presented, including mode conversion, sampling and reconstruction, watermarking, and image encryption.


title: Filtering Multiphoton Emission from State-of-the-Art Cavity QED

abstract: Engineering multiphoton states is an outstanding challenge with applications in multiple fields, such as quan- tum metrology, quantum lithography or even biological systems. State-of-the-art methods to obtain them rely on post-selection, multi-level systems or Rydberg atomic ensembles. Recently, it was shown that a strongly driven two-level system interacting with a detuned cavity mode can be engineered to continuously emit n-photon states. In the present work, we show that spectral filtering of its emission relaxes considerably the requirements on the system parameters even to the more accessible bad-cavity situation, opening up the possibility of implementing this protocol in a much wider landscape of different platforms. This improvement is based on a key observation: in the imperfect case where only a certain fraction of emission is composed of n-photon states, these have a well defined energy separated from the rest of the signal, which allows to reveal and purify multiphoton emission just by frequency filtering. We demonstrate these results by obtaining analytical expressions for relevant figures of merit of multiphoton emission, such as the n-photon coupling rate between cavity and emitter, the fraction of light emitted as n-photon states, and n-photon emission rates. This allows us to make a systematic study of such figures of merit as a function of the system parameters and demonstrate the viability of the protocol in several relevant types of cavity QED setups, where we take into account the impact of their respective experimental limitations.


title: Charmless $B_{c} \to VV$ decays in the QCD factorization approach

abstract: In this paper, we studied the charmless $B_{c}\to VV$ ($V$ denotes the light ground $\rm SU(3)$ vector meson) decays within the framework of QCD factorization. In the evaluation, two different schemes for regulating the end-point divergence are adopted. One (scheme I) is to use parameterization model, which is usually employed in the QCD factorization approach; the other (scheme II) is based on the infrared finite gluon propagator of Cornwall prescription. It is found that, in the annihilation amplitudes, the end-point divergence appears only in the power-suppressed corrections related to the twist-3 distribution amplitudes of $V$-meson. The strength of annihilation amplitudes evaluated in scheme II is generally larger than the one in scheme I. Numerically, in the decay modes considered in this paper, the CKM-favored $B_{c} \to \rho^{-}\omega, K^{*-}K^{*0} $ decays have the relatively large branching fractions, $\sim {\cal{O}}(10^{-7})$, and hence are likely to be the first observed by the future experiments. In addition, all of the decay modes are dominated by the longitudinal polarization state; numerically, $f_{L}(B_{c} \to VV) \gtrsim 99\%$.


title: Deep Fisher Discriminant Learning for Mobile Hand Gesture Recognition

abstract: Gesture recognition is a challenging problem in the field of biometrics. In this paper, we integrate Fisher criterion into Bidirectional Long-Short Term Memory (BLSTM) network and Bidirectional Gated Recurrent Unit (BGRU),thus leading to two new deep models termed as F-BLSTM and F-BGRU. BothFisher discriminative deep models can effectively classify the gesture based on analyzing the acceleration and angular velocity data of the human gestures. Moreover, we collect a large Mobile Gesture Database (MGD) based on the accelerations and angular velocities containing 5547 sequences of 12 gestures. Extensive experiments are conducted to validate the superior performance of the proposed networks as compared to the state-of-the-art BLSTM and BGRU on MGD database and two benchmark databases (i.e. BUAA mobile gesture and SmartWatch gesture).


title: Univalent Higher Categories via Complete Semi-Segal Types

abstract: Category theory in homotopy type theory is intricate as categorical laws can only be stated "up to homotopy", and thus require coherences. The established notion of a univalent category (Ahrens, Kapulkin, Shulman) solves this by considering only truncated types, roughly corresponding to an ordinary category. This fails to capture many naturally occurring structures, stemming from the fact that the naturally occurring structures in homotopy type theory are not ordinary, but rather higher categories. Out of the large variety of approaches to higher category theory that mathematicians have proposed, we believe that, for type theory, the simplicial strategy is best suited. Work by Lurie and Harpaz motivates the following definition. Given the first (n+3) levels of a semisimplicial type S, we can equip S with three properties: first, contractibility of the types of certain horn fillers; second, a completeness property; and third, a truncation condition. We call this a complete semi-Segal n-type. This is very similar to an earlier suggestion by Schreiber. The definition of a univalent (1-) category can easily be extended or restricted to the definition of a univalent n-category (more precisely, (n,1)-category) for n in {0,1,2}, and we show that the type of complete semi-Segal n-types is equivalent to the type of univalent $n$-categories in these cases. Thus, we believe that the notion of a complete semi-Segal n-type can be taken as the definition of a univalent n-category. We provide a formalisation in the proof assistant Agda using a completely explicit representation of semi-simplicial types for levels up to 4.


title: Lorentz symmetry breaking in a Yang-Mills theory within the Gribov restriction

abstract: In this paper we take into account the existence of Gribov copies in a four-dimensional Yang-Mills theory in the Landau gauge with an effective Lorentz symmetry breaking, induced by the Carroll-Field-Jackiw (CFJ) term. The self consistent gap equation of the Gribov parameter is properly derived and, provided observational bounds to the amplitude of the CFJ parameter in the $SU(2)$ gauge theory, a qualitative analysis of the Gribov parameter and of the poles of the propagator is developed.


title: Scalable creation of long-lived multipartite entanglement

abstract: We demonstrate the deterministic generation of multipartite entanglement based on scalable methods. Four qubits are encoded in $^{40}$Ca$^+$, stored in a micro-structured segmented Paul trap. These qubits are sequentially entangled by laser-driven pairwise gate operations. Between these, the qubit register is dynamically reconfigured via ion shuttling operations, where ion crystals are separated and merged, and ions are moved in and out of a fixed laser interaction zone. A sequence consisting of three pairwise entangling gates yields a four-ion GHZ state $\vert\psi\rangle=\tfrac{1}{\sqrt{2}}\left(\vert 0000\rangle+\vert 1111\rangle\right)$, and full quantum state tomography reveals a Bell state fidelity of 94.4(3)\%. We analyze the decoherence of this state and employ dynamic decoupling on the spatially distributed constituents to maintain 69(5)\% coherence at a storage time of 1.1~seconds.


title: Separability and entanglement of two qubits density matrices using Lorentz transformations

abstract: Explicit separability of general two qubits density matrices is related to Lorentz transformations. We use the 4-dimensional form R(u,v=0,1,2,3) of the Hilbert-Schmidt (HS) decomposition of the density matrix. For the generic case in which Lorentz transformations diagonalize R(u,v=0,1,2,3) (into s(0),s(1),s(2),s(3)) we give relations between the R parameters and the s parameters. In particular we consider two cases: a) Two qubits density matrices with one pair of linear terms in the HS decomposition. b) Two qubits density matrices with two or three symmetric pairs of linear terms. Some of the theoretical results are demonstrated by numerical calculations. The four non-generic cases (which may be reduced to case a) are analyzed and the non-generic property is related explicitly to Lorentz velocity beta=1 which is not reachable physically


title: Exotic Superconductivity in the Extended Attractive Hubbard Model

abstract: We show that the extended attractive Hubbard model on a square lattice hosts a variety of superconducting phases, including exotic mixed-symmetry phases with $d_{x^2-y^2} + {\rm i} [s + d_{x^2+y^2}]$ and $ d_{x^2-y^2} + p_{x}$ symmetries, and a novel $p_x + {\rm i} p_y$ state. The calculations are performed within the mean-field Bogoliubov-deGennes (BdG) framework. The ground states of the BdG Hamiltonian are obtained via a minimization scheme that does not impose symmetry constraints on the superconducting solutions, hence allowing a mixing of $s$-, $p$- and $d$-wave order parameters. Our results show that extended attractive Hubbard model can serve as an effective model for investigating properties of exotic superconducting states.


title: Stability for Bang-Bang Control Problems of Partial Differential Equations

abstract: In this paper, we investigate solution stability for control problems of partial differential equations with the cost functional not involving the usual quadratic term for the control. We first establish a sufficient optimality condition for the optimal control problems with bang-bang controls. Then we obtain criteria for solution stability for the optimal control problems of bang-bang controls under linear perturbations. We prove H\"older stability of optimal controls in $L^1$.


title: The Flash ADC system and PMT waveform reconstruction for the Daya Bay Experiment

abstract: To better understand the energy response of the Antineutrino Detector (AD), the Daya Bay Reactor Neutrino Experiment installed a full Flash ADC readout system on one AD that allowed for simultaneous data taking with the current readout system. This paper presents the design, data acquisition, and simulation of the Flash ADC system, and focuses on the PMT waveform reconstruction algorithms. For liquid scintillator calorimetry, the most critical requirement to waveform reconstruction is linearity. Several common reconstruction methods were tested but the linearity performance was not satisfactory. A new method based on the deconvolution technique was developed with 1% residual non-linearity, which fulfills the requirement. The performance was validated with both data and Monte Carlo (MC) simulations, and 1% consistency between them has been achieved.


title: The exact strength of the class forcing theorem

abstract: The class forcing theorem, which asserts that every class forcing notion $\mathbb{P}$ admits a forcing relation $\Vdash_{\mathbb{P}}$, that is, a relation satisfying the forcing relation recursion -- it follows that statements true in the corresponding forcing extensions are forced and forced statements are true -- is equivalent over G\"odel-Bernays set theory GBC to the principle of elementary transfinite recursion $\text{ETR}_{\text{Ord}}$ for class recursions of length $\text{Ord}$. It is also equivalent to the existence of truth predicates for the infinitary languages $\mathcal{L}_{\text{Ord},\omega}(\in,A)$, allowing any class parameter $A$; to the existence of truth predicates for the language $\mathcal{L}_{\text{Ord},\text{Ord}}(\in,A)$; to the existence of $\text{Ord}$-iterated truth predicates for first-order set theory $\mathcal{L}_{\omega,\omega}(\in,A)$; to the assertion that every separative class partial order $\mathbb{P}$ has a set-complete class Boolean completion; to a class-join separation principle; and to the principle of determinacy for clopen class games of rank at most $\text{Ord}+1$. Unlike set forcing, if every class forcing notion $\mathbb{P}$ has a forcing relation merely for atomic formulas, then every such $\mathbb{P}$ has a uniform forcing relation applicable simultaneously to all formulas. Our results situate the class forcing theorem in the rich hierarchy of theories between GBC and Kelley-Morse set theory KM.


title: On the forcing spectrum of generalized Petersen graphs P(n,2)

abstract: The forcing number of a perfect matching $M$ of a graph $G$ is the smallest cardinality of subsets of $M$ that are contained in no other perfect matchings of $G$. The forcing spectrum of $G$ is the collection of forcing numbers of all perfect matchings of $G$. In this paper, we classify the perfect matchings of a generalized Petersen graph $P(n,2)$ in two types, and show that the forcing spectrum is the union of two integer intervals. For $n\ge 34$, it is $\left[\lceil \frac { n }{ 12 } \rceil+1,\lceil \frac { n+3 }{ 7 } \rceil +\delta (n)\right]\cup \left[\lceil \frac { n+2 }{ 6 } \rceil,\lceil \frac { n }{ 4 } \rceil\right]$, where $\delta (n)=1$ if $n\equiv 3$ (mod 7), and $\delta (n)=0$ otherwise.


title: Warm inflation in Horndeski gravity

abstract: In this paper, we investigate a class of Horndeski scalar-tensor theory of gravity for warm inflation. We present some models where the early-time acceleration is realized in the weak and in the strong dissipation regime. Cosmological perturbations are analyzed.


title: Normal forms of dispersive scalar Poisson brackets with two independent variables

abstract: We classify the dispersive Poisson brackets with one dependent variable and two independent variables, with leading order of hydrodynamic type, up to Miura transformations. We show that, in contrast to the case of a single independent variable for which a well known triviality result exists, the Miura equivalence classes are parametrised by an infinite number of constants, which we call numerical invariants of the brackets. We obtain explicit formulas for the first few numerical invariants.


title: Leaderboard Effects on Player Performance in a Citizen Science Game

abstract: Quantum Moves is a citizen science game that investigates the ability of humans to solve complex physics challenges that are intractable for computers. During the launch of Quantum Moves in April 2016 the game's leaderboard function broke down resulting in a "no leaderboard" game experience for some players for a couple of days (though their scores were still displayed). The subsequent quick fix of an all-time Top 5 leaderboard, and the following long-term implementation of a personalized relative-position (infinite) leaderboard provided us with a unique opportunity to compare and investigate the effect of different leaderboard implementations on player performance in a points-driven citizen science game. All three conditions were live sequentially during the game's initial influx of more than 150.000 players that stemmed from global press attention on Quantum Moves due the publication of a Nature paper about the use of Quantum Moves in solving a specific quantum physics problem. Thus, it has been possible to compare the three conditions and their influence on the performance (defined as a player's quality of game play related to a high-score) of over 4500 new players. These 4500 odd players in our three leaderboard-conditions have a similar demographic background based upon the time-window over which the implementations occurred and controlled against Player ID tags. Our results placed Condition 1 experience over condition 3 and in some cases even over condition 2 which goes against the general assumption that leaderboards enhance gameplay and its subsequent overuse as a an oft-relied upon element that designers slap onto a game to enhance said appeal. Our study thus questions the use of leaderboards as general performance enhancers in gamification contexts and brings some empirical rigor to an often under-reported but overused phenomenon.


title: Two-pixel polarimetric camera by compressive sensing

abstract: We propose an original concept of compressive sensing (CS) polarimetric imaging based on a digital micro-mirror (DMD) array and two single-pixel detectors. The polarimetric sensitivity of the proposed setup is due to an experimental imperfection of reflecting mirrors which is exploited here to form an original reconstruction problem, including a CS problem and a source separation task. We show that a two-step approach tackling each problem successively is outperformed by a dedicated combined reconstruction method, which is explicited in this article and preferably implemented through a reweighted FISTA algorithm. The combined reconstruction approach is then further improved by including physical constraints specific to the polarimetric imaging context considered, which are implemented in an original constrained GFB algorithm. Numerical simulations demonstrate the efficiency of the 2-pixel CS polarimetric imaging setup to retrieve polarimetric contrast data with significant compression rate and good reconstruction quality. The influence of experimental imperfections of the DMD are also analyzed through numerical simulations, and 2D polarimetric imaging reconstruction results are finally presented.


title: Individual dynamic predictions using landmarking and joint modelling: validation of estimators and robustness assessment

abstract: After the diagnosis of a disease, one major objective is to predict cumulative probabilities of events such as clinical relapse or death from the individual information collected up to a prediction time, including usually biomarker repeated measurements. Several competing estimators have been proposed to calculate these individual dynamic predictions, mainly from two approaches: joint modelling and landmarking. These approaches differ by the information used, the model assumptions and the complexity of the computational procedures. It is essential to properly validate the estimators derived from joint models and landmark models, quantify their variability and compare them in order to provide key elements for the development and use of individual dynamic predictions in clinical follow-up of patients. Motivated by the prediction of two competing causes of progression of prostate cancer from the history of prostate-specific antigen, we conducted an in-depth simulation study to validate and compare the dynamic predictions derived from these two methods. Specifically, we formally defined the quantity to estimate and its estimators, proposed techniques to assess the uncertainty around predictions and validated them. We also compared the individual dynamic predictions derived from joint models and landmark models in terms of prediction error, discriminatory power, efficiency and robustness to model assumptions. We show that these prediction tools should be handled with care, in particular by properly specifying models and estimators.


title: Confining Quark Model with General Yang-Mills Symmetry and Inadequate Faddeev-Popov Ghost

abstract: A quark model with general Yang-Mills $SU_3$ symmetry leads to fourth-order field equations and linear confining potential. The confining gauge bosons (`confions') are treated as off-mass-shell particles and their indefinite energies are unobservable due to confinement. The ultraviolet divergence of the model appears to be no worse than that of QCD by power counting. Explicit calculations of the confion self-energy show that the usual Faddeev-Popov ghosts are inadequate to restore gauge symmetry for gauge invariant Lagrangians with higher order derivatives. `Computer experiments' with FeynCalc lead to a simple empirical method to restore the gauge invariance of the second-order confion self-energy with arbitrary gauge parameters. The approximate results of third-order vertex corrections suggest that the confining model could be asymptotically free.


title: Proactive Defense Against Physical Denial of Service Attacks using Poisson Signaling Games

abstract: While the Internet of things (IoT) promises to improve areas such as energy efficiency, health care, and transportation, it is highly vulnerable to cyberattacks. In particular, distributed denial-of-service (DDoS) attacks overload the bandwidth of a server. But many IoT devices form part of cyber-physical systems (CPS). Therefore, they can be used to launch "physical" denial-of-service attacks (PDoS) in which IoT devices overflow the "physical bandwidth" of a CPS. In this paper, we quantify the population-based risk to a group of IoT devices targeted by malware for a PDoS attack. In order to model the recruitment of bots, we develop a "Poisson signaling game," a signaling game with an unknown number of receivers, which have varying abilities to detect deception. Then we use a version of this game to analyze two mechanisms (legal and economic) to deter botnet recruitment. Equilibrium results indicate that 1) defenders can bound botnet activity, and 2) legislating a minimum level of security has only a limited effect, while incentivizing active defense can decrease botnet activity arbitrarily. This work provides a quantitative foundation for proactive PDoS defense.


title: H-ATLAS/GAMA: Magnification Bias Tomography. Astrophysical constraints above $\sim1$ arcmin

abstract: In this work we measure and study the cross-correlation signal between a foreground sample of GAMA galaxies with spectroscopic redshifts in the range $0.2<z<0.8$, and a background sample of H-ATLAS galaxies with photometric redshifts $\gtrsim1.2$. It constitutes a substantial improvement over the cross-correlation measurements made by Gonzalez-Nuevo et al. (2014) with updated catalogues and wider area (with $S/N\gtrsim 5$ below 10' and reaching $S/N\sim 20$ below 30"). The better statistics allow us to split the sample in different redshift bins and to perform a tomographic analysis (with $S/N\gtrsim 3$ below 10 arcmin and reaching $S/N\sim 15$ below 30"). Moreover, we implement a halo model to extract astrophysical information about the background galaxies and the deflectors that are producing the lensing link between the foreground (lenses) and background (sources) samples. In the case of the sources, we find typical mass values in agreement with previous studies: a minimum halo mass to host a central galaxy, $M_{min}\sim 10^{12.26} M_\odot$, and a pivot halo mass to have at least one sub-halo satellite, $M_1\sim 10^{12.84} M_\odot$. However, the lenses are massive galaxies or even galaxy groups/clusters, with minimum mass of $M_{min}^{lens}\sim 10^{13.06} M_\odot$. Above a mass of $M_1^{lens}\sim 10^{14.57} M_\odot$ they contain at least one additional satellite galaxy which contributes to the lensing effect. The tomographic analysis shows that, while $M_1^{lens}$ is almost redshift independent, there is a clear evolution of increase $M_{min}^{lens}$ with redshift in agreement with theoretical estimations. Finally, the halo modeling allows us to identify a strong lensing contribution to the cross-correlation for angular scales below 30". This interpretation is supported by the results of basic but effective simulations.


title: Contour and Centreline Tracking of Vessels from Angiograms using the Classical Image Processing Techniques

abstract: This article deals with the problem of vessel edge and centerline detection using classical image processing techniques due to their simpleness and easiness to be implemented. The method is divided into four steps: the vessel enhancement which implies a non-linear filtering proposed by Frangi, the thresholding using Otsu method and the contour detection using the Canny edge detector due to its good performances for the small vessels and the morphological skeletonisation. The algorithms are tested on real data collected from a cardiac catheterism laboratory and it is accurate for images with good spatial resolution (512*512). The output image can be used for further processing in order to find the vessel length or its radius.


title: Vision and Outlook: The Future of Particle Physics

abstract: As a community, our goal is to understand the fundamental nature of energy, matter, space, and time, and to apply that knowledge to understand the birth, evolution and fate of the universe. Our scope is broad and we use many tools: accelerator, non-accelerator & cosmological observations, all have a critical role to play. The progress we have made towards our goal, the tools we need to progress further, the opportunities we have for achieving transformational paradigm-altering scientific advances: great discoveries, and the importance of being a united global field to make progress toward our goal are the topics of this talk.


title: $D$-wave heavy baryons of the $SU(3)$ flavor $\mathbf{6}_F$

abstract: We use the method of QCD sum rules to study the $D$-wave charmed and bottom baryons of the $SU(3)$ flavor $\mathbf{6}_F$, and calculate their masses up to the order $\mathcal{O}(1/m_Q)$ with $m_Q$ the heavy quark mass. Our results suggest that the $\Xi_c(3123)$ can be well interpreted as a $D$-wave $\Xi_c^\prime(\mathbf{6}_F)$ state, and it probably has a partner state close to it. Our results also suggest that there may exist as many as four $D$-wave $\Omega_c$ states in the energy region $3.3\sim3.5$ GeV, and we propose to search for them in the further LHCb and BelleII experiments.


title: Classification of non-Riemannian doubled-yet-gauged spacetime

abstract: Assuming $\mathbf{O}(D,D)$ covariant fields as the `fundamental' variables, Double Field Theory can accommodate novel geometries where a Riemannian metric cannot be defined, even locally. Here we present a complete classification of such non-Riemannian spacetimes in terms of two non-negative integers, $(n,\bar{n})$, $0\leq n+\bar{n}\leq D$. Upon these backgrounds, strings become chiral and anti-chiral over $n$ and $\bar{n}$ directions respectively, while particles and strings are frozen over the $n+\bar{n}$ directions. In particular, we identify $(0,0)$ as Riemannian manifolds, $(1,0)$ as non-relativistic spacetime, $(1,1)$ as Gomis-Ooguri non-relativistic string, $(D{-1},0)$ as ultra-relativistic Carroll geometry, and $(D,0)$ as Siegel's chiral string. Combined with a covariant Kaluza-Klein ansatz which we further spell, $(0,1)$ leads to Newton-Cartan gravity. Alternative to the conventional string compactifications on small manifolds, non-Riemannian spacetime such as $D=10$, $(3,3)$ may open a new scheme of the dimensional reduction from ten to four.


title: Thermal properties of the exotic $X(3872)$ state via QCD sum rule

abstract: In this work we investigate the $X(3872)$ meson with quantum numbers $J^{PC}=1^{++}$ in the framework of the thermal QCD sum rules method. We use a diquark-antidiquark current with the corresponding quantum numbers and calculate the two-point correlation function including contributions of non-perturbative condensates up to six dimensions. Analysis of the obtained thermal sum rule allows us to study contributions of a medium to the mass and coupling constant of the $X(3872)$ resonance. Our numerical calculations demonstrate that the mass and the meson-current coupling constant are insensitive to the variation of temperature up to $T=110\sim MeV$ , however after this point; they start to fall by increasing the temperature. At deconfinement temperature, the meson-current coupling constants attain roughly to $34\%$ of the vacuum value.


title: Bayesian Realized-GARCH Models for Financial Tail Risk Forecasting Incorporating Two-sided Weibull Distribution

abstract: The realized GARCH framework is extended to incorporate the two-sided Weibull distribution, for the purpose of volatility and tail risk forecasting in a financial time series. Further, the realized range, as a competitor for realized variance or daily returns, is employed in the realized GARCH framework. Further, sub-sampling and scaling methods are applied to both the realized range and realized variance, to help deal with inherent micro-structure noise and inefficiency. An adaptive Bayesian Markov Chain Monte Carlo method is developed and employed for estimation and forecasting, whose properties are assessed and compared with maximum likelihood, via a simulation study. Compared to a range of well-known parametric GARCH, GARCH with two-sided Weibull distribution and realized GARCH models, tail risk forecasting results across 7 market index return series and 2 individual assets clearly favor the realized GARCH models incorporating two-sided Weibull distribution, especially models employing the sub-sampled realized variance and sub-sampled realized range, over a six year period that includes the global financial crisis.


title: Data preprocessing methods for robust Fourier ptychographic microscopy

abstract: Fourier ptychographic microscopy (FPM) is a recently proposed computational imaging technique with both high resolution and wide field-of-view. In current FP experimental setup, the dark-field images with high-angle illuminations are easily submerged by stray light and background noise due to the low signal-to-noise ratio, thus significantly degrading the reconstruction quality and also imposing a major restriction on the synthetic numerical aperture (NA) of the FP approach. To this end, an overall and systematic data preprocessing scheme for noise removal from FP's raw dataset is provided, which involves sampling analysis as well as underexposed/overexposed treatments, then followed by the elimination of unknown stray light and suppression of inevitable background noise, especially Gaussian noise and CCD dark current in our experiments. The reported non-parametric scheme facilitates great enhancements of the FP's performance, which has been demonstrated experimentally that the benefits of noise removal by these methods far outweigh its defects of concomitant signal loss. In addition, it could be flexibly cooperated with the existing state-of-the-art algorithms, producing a stronger robustness of the FP approach in various applications.


title: Using Transfer Learning for Image-Based Cassava Disease Detection

abstract: Cassava is the third largest source of carbohydrates for human food in the world but is vulnerable to virus diseases, which threaten to destabilize food security in sub-Saharan Africa. Novel methods of cassava disease detection are needed to support improved control which will prevent this crisis. Image recognition offers both a cost effective and scalable technology for disease detection. New transfer learning methods offer an avenue for this technology to be easily deployed on mobile devices. Using a dataset of cassava disease images taken in the field in Tanzania, we applied transfer learning to train a deep convolutional neural network to identify three diseases and two types of pest damage (or lack thereof). The best trained model accuracies were 98% for brown leaf spot (BLS), 96% for red mite damage (RMD), 95% for green mite damage (GMD), 98% for cassava brown streak disease (CBSD), and 96% for cassava mosaic disease (CMD). The best model achieved an overall accuracy of 93% for data not used in the training process. Our results show that the transfer learning approach for image recognition of field images offers a fast, affordable, and easily deployable strategy for digital plant disease detection.


title: LinkNet: Exploiting Encoder Representations for Efficient Semantic Segmentation

abstract: Pixel-wise semantic segmentation for visual scene understanding not only needs to be accurate, but also efficient in order to find any use in real-time application. Existing algorithms even though are accurate but they do not focus on utilizing the parameters of neural network efficiently. As a result they are huge in terms of parameters and number of operations; hence slow too. In this paper, we propose a novel deep neural network architecture which allows it to learn without any significant increase in number of parameters. Our network uses only 11.5 million parameters and 21.2 GFLOPs for processing an image of resolution 3x640x360. It gives state-of-the-art performance on CamVid and comparable results on Cityscapes dataset. We also compare our networks processing time on NVIDIA GPU and embedded system device with existing state-of-the-art architectures for different image resolutions.


title: INTEGRAL observations of GW170104

abstract: We used data from the INTErnational Gamma-Ray Astrophysics Laboratory (INTEGRAL) to set upper-limits on the ${\gamma}$-ray and hard X-ray prompt emission associated with the gravitational wave event GW170104, discovered by the LIGO/Virgo collaboration. The unique omni-directional viewing capability of the instruments on-board INTEGRAL allowed us to examine the full 90% confidence level localization region of the LIGO trigger. Depending on the particular spectral model assumed and the specific position within this region, the upper limits inferred from the INTEGRAL observations range from F${\gamma}$=1.9x10-7 erg cm-2 to F${\gamma}$=10-6 erg cm-2 (75 keV - 2 MeV energy range). This translates into a ratio between the prompt energy released in ${\gamma}$-rays along the direction to the observer and the gravitational wave energy of E${\gamma}$/EGW <2.6x10-5 . Using the INTEGRAL results, we can not confirm the ${\gamma}$-ray proposed counterpart to GW170104 by the AGILE team with the MCAL instrument. The reported flux of the AGILE/MCAL event, E2, is not compatible with the INTEGRAL upper limits within most of the 90% LIGO localization region. There is only a relatively limited portion of the sky where the sensitivity of the INTEGRAL instruments was not optimal and the lowest allowed fluence estimated for E2 would still be compatible with the INTEGRAL results. This region was also observed independently by Fermi/GBM and AstroSAT, from which, as far as we are aware, there are no reports of any significant detection of a prompt high-energy event.


title: Multiband NFC for High-Throughput Wireless Computer Vision Sensor Network

abstract: Vision sensors lie in the heart of computer vision. In many computer vision applications, such as AR/VR, non-contacting near-field communication (NFC) with high throughput is required to transfer information to algorithms. In this work, we proposed a novel NFC system which utilizes multiple frequency bands to achieve high throughput.


title: Single crystal growth and study of the magnetic properties of the mixed spin-dimer system Ba$_{3-x}$Sr$_{x}$Cr$_{2}$O$_{8}$

abstract: The compounds Sr$_{3}$Cr$_{2}$O$_{8}$ and Ba$_{3}$Cr$_{2}$O$_{8}$ are insulating dimerized antiferromagnets with Cr$^{5+}$ magnetic ions. These spin-$\frac{1}{2}$ ions form hexagonal bilayers with a strong intradimer antiferromagnetic interaction, that leads to a singlet ground state and gapped triplet states. We report on the effect on the magnetic properties of Sr$_{3}$Cr$_{2}$O$_{8}$ by introducing chemical disorder upon replacing Sr by Ba. Two single crystals of Ba$_{3-x}$Sr$_{x}$Cr$_{2}$O$_{8}$ with $x=2.9$ (3.33\% of $mixing$) and $x=2.8$ (6.66\%) were grown in a four-mirror type optical floating-zone furnace. The magnetic properties on these compounds were studied by magnetization measurements. Inelastic neutron scattering measurements on Ba$_{0.1}$Sr$_{2.9}$Cr$_{2}$O$_{8}$ were performed in order to determine the interaction constants and the spin gap for $x=2.9$. The intradimer interaction constant is found to be $J_0$=5.332(2) meV, about 4\% smaller than that of pure Sr$_{3}$Cr$_{2}$O$_{8}$, while the interdimer exchange interaction $J_e$ is smaller by 6.9\%. These results indicate a noticeable change in the magnetic properties by a random substitution effect.


title: Effects of Interactions on Dynamic Correlations of Hard-Core Bosons at Finite Temperatures

abstract: We investigate how dynamic correlations of hard-core bosonic excitation at finite temperature are affected by additional interactions besides the hard-core repulsion which prevents them from occupying the same site. We focus especially on dimerized spin systems, where these additional interactions between the elementary excitations, triplons, lead to the formation of bound states, relevant for the correct description of scattering processes. In order to include these effects quantitatively we extend the previously developed Br\"uckner approach to include also nearest-neighbor (NN) and next-nearest neighbor (NNN) interactions correctly in a low-temperature expansion. This leads to the extension of the scalar Bethe-Salpeter equation to a matrix-valued equation. Exemplarily, we consider the Heisenberg spin ladder to illustrate the significance of the additional interactions on the spectral functions at finite temperature which are proportional to inelastic neutron scattering rates.


title: Tunability of Andreev levels via spin-orbit coupling in Zeeman-split Josephson junctions

abstract: We study Andreev reflection and Andreev levels $\varepsilon$ in Zeeman-split superconductor/Rashba wire/Zeeman-split superconductor junctions by solving the Bogoliubov de-Gennes equation. We theoretically demonstrate that the Andreev levels $\varepsilon$ can be controlled by tuning either the strength of Rashba spin-orbit interaction or the relative direction of the Rashba spin-orbit interaction and the Zeeman field. In particular, it is found that the magnitude of the band splitting is tunable by the strength of the Rashba spin-orbit interaction and the rength of the wire, which can be interpreted by a spin precession in the Rashba wire. We also find that if the Zeeman field in the superconductor has the component parallel to the direction of the junction, the $\varepsilon$-$\phi$ curve becomes asymmetric with respect to the superconducting phase difference $\phi$. Whereas the Andreev reflection processes associated with each pseudospin band are sensitive to the relative orientation of the spin-orbit field and the exchange field, the total electric conductance interestingly remains invariant.


title: Analysis of GRACE range-rate residuals with focus on KBR instrument system noise

abstract: We investigate the post-fit range-rate residuals after the gravity field parameter estimation from the inter-satellite ranging data of the gravity recovery and climate experiment (GRACE) satellite mission. Of particular interest is the high-frequency spectrum (f gt 20 MHz) which is dominated by the microwave ranging system noise. Such analysis is carried out to understand the yet unsolved discrepancy between the predicted baseline errors and the observed ones. The analysis consists of two parts. First, we present the effects in the signal-to-noise ratio (SNRs) of the k-band ranging system. The SNRs are also affected by the moon intrusions into the star cameras field of view and magnetic torque rod currents in addition to the effects presented by Harvey et al. [2016]. Second, we analyze the range-rate residuals to study the effects of the KBR system noise. The range-rate residuals are dominated by the non-stationary errors in the high-frequency observations. These high-frequency errors in the range-rate residuals are found to be dependent on the temperature and effects of sun intrusion into the star cameras field of view reflected in the SNRs of the K-band phase observations.


title: On the expected diameter of planar Brownian motion

abstract: Known results show that the diameter $d_1$ of the trace of planar Brownian motion run for unit time satisfies $1.595 \leq \mathbb{E} d_1 \leq 2.507$. This note improves these bounds to $1.601 \leq \mathbb{E} d_1 \leq 2.355$. Simulations suggest that $\mathbb{E} d_1 \approx 1.99$.


title: On the nature of the Newton's gravitational constant and the possible quantum-field theory of gravitation

abstract: On the basis of the coincidence of the physical dimensions (in natural units $\hbar = c = 1$) of the Newton's gravitational constant $G_{N} $ and the phenomenological Fermi constant $G_{F} $ for weak interaction, it is suggested that there is a certain similarity between weak forces, which are caused by the exchange of massive intermediate vector bosons with spin $S=1$, and "superweak" gravitational forces that can be caused by the exchange of "supermassive" hypothetical tensor bosons with spin $S=2$. By analogy with how the masses of intermediate bosons in the theory of electroweak interaction arise as a result of spontaneous breaking of the gauge symmetry of the electromagnetic field due to its interaction with the nonlinear scalar Higgs field, the masses of hypothetical tensor bosons carrying gravitational interaction can also arise as a result of spontaneous breaking of gauge symmetry of the massless gravitons when they interact with a fundamental nonlinear scalar field in a flat 4-dimensional space-time.


title: In-operando quantitation of Li concentration for commercial Li-ion rechargeable battery using high-energy X-ray Compton scattering

abstract: Compton scattering is one of the promising probe to quantitate of the Li under in-operando condition, since high-energy X-rays which have high penetration power into the materials are used as incident beam and Compton scattered energy spectrum have specific line-shape by the elements. We develop in-operando quantitation method of Li composition in the electrodes by using line-shape (Sparameter) analysis of Compton scattered energy spectrum. In this study, we apply S-parameter analysis to commercial coin cell Li-ion rechargeable battery and obtain the variation of S-parameters during charge/discharge cycle at positive and negative electrodes. By using calibration curves for Li composition in the electrodes, we determine the change of Li composition of positive and negative electrodes through S-parameters, simultaneously.