title: Greedy Bipartite Matching in Random Type Poisson Arrival Model

abstract: We introduce a new random input model for bipartite matching which we call the Random Type Poisson Arrival Model. Just like in the known i.i.d. model (introduced by Feldman et al. 2009), online nodes have types in our model. In contrast to the adversarial types studied in the known i.i.d. model, following the random graphs studied in Mastin and Jaillet 2016, in our model each type graph is generated randomly by including each offline node in the neighborhood of an online node with probability $c/n$ independently. In our model, nodes of the same type appear consecutively in the input and the number of times each type node appears is distributed according to the Poisson distribution with parameter 1. We analyze the performance of the simple greedy algorithm under this input model. The performance is controlled by the parameter $c$ and we are able to exactly characterize the competitive ratio for the regimes $c = o(1)$ and $c = \omega(1)$. We also provide a precise bound on the expected size of the matching in the remaining regime of constant $c$. We compare our results to the previous work of Mastin and Jaillet who analyzed the simple greedy algorithm in the $G_{n,n,p}$ model where each online node type occurs exactly once. We essentially show that the approach of Mastin and Jaillet can be extended to work for the Random Type Poisson Arrival Model, although several nontrivial technical challenges need to be overcome. Intuitively, one can view the Random Type Poisson Arrival Model as the $G_{n,n,p}$ model with less randomness; that is, instead of each online node having a new type, each online node has a chance of repeating the previous type.


title: Convolutional-Recurrent Neural Networks for Speech Enhancement

abstract: We propose an end-to-end model based on convolutional and recurrent neural networks for speech enhancement. Our model is purely data-driven and does not make any assumptions about the type or the stationarity of the noise. In contrast to existing methods that use multilayer perceptrons (MLPs), we employ both convolutional and recurrent neural network architectures. Thus, our approach allows us to exploit local structures in both the frequency and temporal domains. By incorporating prior knowledge of speech signals into the design of model structures, we build a model that is more data-efficient and achieves better generalization on both seen and unseen noise. Based on experiments with synthetic data, we demonstrate that our model outperforms existing methods, improving PESQ by up to 0.6 on seen noise and 0.64 on unseen noise.


title: Ultrafast relaxation dynamics of the antiferrodistortive phase in Ca doped SrTiO3

abstract: The ultrafast dynamics of the octahedral rotation in Ca:SrTiO3 is studied by time resolved x-ray diffraction after photo excitation over the band gap. By monitoring the diffraction intensity of a superlattice reflection that is directly related to the structural order parameter of the soft-mode driven antiferrodistortive phase in Ca:SrTiO3, we observe a ultrafast relaxation on a 0.2 ps timescale of the rotation of the oxygen octahedron, which is found to be independent of the initial temperaure despite large changes in the corresponding soft-mode frequency. A further, much smaller reduction on a slower picosecond timescale is attributed to thermal effects. Time-dependent density-functional-theory calculations show that the fast response can be ascribed to an ultrafast displacive modification of the soft-mode potential towards the normal state, induced by holes created in the oxygen 2p states.


title: The Problem of the High Iron Abundance in Accretion Disks around Black Holes

abstract: In most accreting black-hole systems the copious X-rays commonly observed from the inner-most regions are accompanied by a reflection spectrum. The latter is the signature of energetic photons reprocessed by the optically thick material of an accretion disk. Given their abundance and fluorescence yield, the iron K-shell lines are the most prominent features in the X-ray reflected spectrum. Their line profiles can be grossly broadened and skewed by Doppler effects and gravitational redshift. Consequently, modeling the reflection spectrum provides one of the best methods to measure, among other physical quantities, the black-hole spin. At present the accuracy of the spin estimates is called into question because the data fits require very high iron abundances: typically several times the solar value. Concurrently no plausible physical explanation has been proffered for these black-hole systems to be so iron rich. The most likely explanation for the supersolar iron abundances is model shortfall at very high densities ($>10^{18}$ cm$^{-3}$) due to atomic data shortcomings in this regime. We review the current observational evidence for the iron supersolar abundance in many black-hole systems, and show the effects of high density in state-of-the-art reflection models. We also briefly discuss our current efforts to produce new atomic data for high-density plasmas, which are required to refine the photoionization models.


title: Simulating the dynamics of time-dependent Hamiltonians with a truncated Dyson series

abstract: We provide a general method for efficiently simulating time-dependent Hamiltonian dynamics on a circuit-model based quantum computer. Our approach is based on approximating the truncated Dyson series of the evolution operator, extending the earlier proposal by Berry to evolution generated by explicitly time-dependent Hamiltonians. Two alternative strategies are proposed to implement time ordering while exploiting the superposition principle for sampling the Hamiltonian at different times. The resource cost of our simulation algorithm retains the optimal logarithmic dependence on the inverse of the desired precision.


title: Oka principle for Levi flat manifolds

abstract: The name of Oka principle, or Oka-Grauert principle, is traditionally used to refer to the holomorphic incarnation of the homotopy principle: on a Stein space, every problem that can be solved in the continuous category, can be solved in the holomorphic category as well. In this note, we begin the study of the same kind of questions on a Levi-flat manifold; more precisely, we try to obtain a classification of CR-bundles on a semiholomorphic foliation of type (n, 1). Our investigation should only be considered a preliminary exploration, as it deals only with some particular cases, either in terms of regularity or bidegree of the bundle, and partial results.


title: Weakly complete domains in Grauert type surfaces

abstract: The aim of this short note is to investigate the geometry of weakly complete subdomains of Grauert type surfaces, i.e. open connected sets D, sitting inside a Grauert type surface X, which admit a smooth plurisubharmonic exhaustion function. We prove that they are either modifications of Stein spaces or Grauert type surfaces themselves and we apply these results to the special case of Hopf surfaces.


title: Dynamically Improving Branch Prediction Accuracy Between Contexts

abstract: Branch prediction is a standard feature in most processors, significantly improving the run time of programs by allowing a processor to predict the direction of a branch before it has been evaluated. Current branch prediction methods can achieve excellent prediction accuracy through global tables, various hashing methods, and even machine learning techniques such as SVMs or neural networks. Such designs, however, may lose effectiveness when attempting to predict across context switches in the operating system. Such a scenario may lead to destructive interference between contexts, therefore reducing overall predictor accuracy. To solve this problem, we propose a novel scheme for deciding whether a context switch produces destructive or constructive interference. First, we present evidence that shows that destructive interference can have a significant negative impact on prediction accuracy. Second, we present an extensible framework that keeps track of context switches and prediction accuracy to improve overall accuracy. Experimental results show that this framework effectively reduces the effect of destructive interference on branch prediction.


title: A Novel SUSY Energy Bound States Treatment of the Klein-Gordon Equation with PT-Supersymmetric and q-Deformed Hulthen Potential

abstract: In this study, we focus on investigating the exact relativistic bound state spectra for supersymmetric, PT-supersymmetric and non-Hermitian versions of q-deformed parameter Hulthen potential. The Hamiltonian hierarchy mechanism, namely the factorization method, is adopted within the framework of SUSYQM. This algebraic approach is used in solving of the Klein-Gordon equation with the potential cases. The results obtained analytically by executing the straightforward calculations are in consistent forms for certain values of q. Achieving the results may have a particular interest for such applications. That is, they can be involved in determining the quantum structural properties of molecules for rovibrational states, and optical spectra characteristics of semiconductor devices with regard to the lattice dynamics [62-64]. They are also employed to construct broken or unbroken case of supersymmetric particle model concerning the interaction between the elementary particles [65].


title: Structure-sensitive Multi-scale Deep Neural Network for Low-Dose CT Denoising

abstract: Computed tomography (CT) is a popular medical imaging modality in clinical applications. At the same time, the x-ray radiation dose associated with CT scans raises public concerns due to its potential risks to the patients. Over the past years, major efforts have been dedicated to the development of Low-Dose CT (LDCT) methods. However, the radiation dose reduction compromises the signal-to-noise ratio (SNR), leading to strong noise and artifacts that down-grade CT image quality. In this paper, we propose a novel 3D noise reduction method, called Structure-sensitive Multi-scale Generative Adversarial Net (SMGAN), to improve the LDCT image quality. Specifically, we incorporate three-dimensional (3D) volumetric information to improve the image quality. Also, different loss functions for training denoising models are investigated. Experiments show that the proposed method can effectively preserve structural and texture information from normal-dose CT (NDCT) images, and significantly suppress noise and artifacts. Qualitative visual assessments by three experienced radiologists demonstrate that the proposed method retrieves more detailed information, and outperforms competing methods.


title: Euclidean wormhole solutions of Einstein-Yang-Mills theory in diverse dimensions

abstract: We solve the Euclidean Einstein equations with non-Abelian gauge fields of sufficiently large symmetry in various dimensions. In higher-dimensional spaces, we find the solutions which are similar to so-called scalar wormholes. In four-dimensional space-time, we find singular wormhole solutions with infinite Euclidean action. Wormhole solutions in the three-dimensional Einstein-Yang-Mills theory with a Chern-Simons term are also constructed.


title: Sturm attractors for quasilinear parabolic equations

abstract: The goal of this paper is to construct explicitly the global attractors of quasilinear parabolic equations, as it was done for the semilinear case by Brunovsk\'y and Fiedler (1986), and generalized by Fiedler and Rocha (1996). In particular, we construct heteroclinic connections between hyperbolic equilibria, stating necessary and sufficient conditions for heteroclinics to occur. Such conditions can be computed through a permutation of the equilibria. Lastly, an example is computed yielding the well known Chafee-Infante attractor.


title: The cohomological Brauer group of a torsion $\mathbb{G}_{m}$-gerbe

abstract: Let $S$ be a scheme and let $\pi : \mathcal{G} \to S$ be a $\mathbb{G}_{m,S}$-gerbe corresponding to a torsion class $[\mathcal{G}]$ in the cohomological Brauer group $\mathrm{Br}'(S)$ of $S$. We show that the cohomological Brauer group $\mathrm{Br}'(\mathcal{G})$ of $\mathcal{G}$ is isomorphic to the quotient of $\mathrm{Br}'(S)$ by the subgroup generated by the class $[\mathcal{G}]$. This is analogous to a theorem proved by Gabber for Brauer-Severi schemes.


title: A Primal-Dual Interior Point Method for a Novel Type-2 Second Order Cone Optimization Problem

abstract: In this paper, we define a new, special second order cone as a type-$k$ second order cone. We focus on the case of $k=2$, which can be viewed as SOCO with an additional {\em complicating variable}. For this new problem, we develop the necessary prerequisites, based on previous work for traditional SOCO. We then develop a primal-dual interior point algorithm for solving a type-2 second order conic optimization (SOCO) problem, based on a family of kernel functions suitable for this type-2 SOCO. We finally derive the following iteration bound for our framework: \[\frac{L^\gamma}{\theta \kappa \gamma} \left[2N \psi\left( \frac{\varrho \left(\tau /4N\right)}{\sqrt{1-\theta}}\right)\right]^\gamma\log \frac{3N}{\epsilon}.\]


title: Charged anisotropic compact objects by gravitational decoupling

abstract: In the present article, we have constructed a static charged anisotropic compact star model of Einstein field equations for a spherically symmetric space-time geometry. Specifically, we have extended the charged isotropic Heintzmann solution to an anisotropic domain. To address this work, we have employed the gravitational decoupling through the so called minimal geometric deformation approach. The charged anisotropic model is representing the realistic compact objects such as $RXJ1856-37$ and $SAX J1808.4-3658(SS2)$. We have reported our results in details for the compact star $RXJ1856-37$ on the ground of physical properties such as pressure, density, velocity of sound, energy conditions, stability conditions, Tolman-Oppenheimer-Volkoff equation and redshift etc.


title: The enclosure method for inverse obstacle scattering over a finite time interval: V. Using time-reversal invariance

abstract: The wave equation is time-reversal invariant. The enclosure method using a Neumann data generated by this invariance is introduced. The method yields the minimum ball that is centered at a given arbitrary point and encloses an unknown obstacle embedded in a known bounded domain from a single point on the graph of the so-called response operator on the boundary of the domain over a finite time interval. The occurrence of the lacuna in the solution of the free space wave equation is positively used.


title: Feedback control of persistent-current oscillation based on the atomic-clock technique

abstract: We propose a scheme of stabilizing the persistent-current Rabi oscillation based on the flux qubit-resonator-atom hybrid structure. The LC resonator weakly interacts with the flux qubit and maps the persistent-current Rabi oscillation onto the intraresonator electric field. This field is further coupled to a Rydberg-Rydberg transition of the $^{87}$Rb atom. The Rabi-frequency fluctuation of the flux qubit is deduced from measuring the atomic population and stabilized via feedback controlling the external flux bias. Our numerical simulation indicates that the feedback-control method can efficiently suppress the background fluctuations in the flux qubit, especially in the low-frequency limit. This technique may be extensively applicable to different types of superconducting circuits, paving a new way to long-term-coherence superconducting quantum information processing.


title: On the Transition of the Galaxy Quenching Mode at 0.5<z<1 in CANDELS

abstract: We investigate the galaxy quenching process at intermediate redshift using a sample of $\sim4400$ galaxies with $M_{\ast} > 10^{9}M_{\odot}$ between redshift 0.5 and 1.0 in all five CANDELS fields. We divide this sample, using the integrated specific star formation rate (sSFR), into four sub-groups: star-forming galaxies (SFGs) above and below the ridge of the star-forming main sequence (SFMS), transition galaxies and quiescent galaxies. We study their $UVI$ ($U-V$ versus $V-I$) color gradients to infer their sSFR gradients out to twice effective radii. We show that on average both star-forming and transition galaxies at all masses are not fully quenched at any radii, whereas quiescent galaxies are fully quenched at all radii. We find that at low masses ($M_{\ast} = 10^{9}-10^{10}M_{\odot}$) SFGs both above and below the SFMS ridge generally have flat sSFR profiles, whereas the transition galaxies at the same masses generally have sSFRs that are more suppressed in their outskirts. In contrast, at high masses ($M_{\ast} > 10^{10.5}M_{\odot}$), SFGs above and below the SFMS ridge and transition galaxies generally have varying degrees of more centrally-suppressed sSFRs relative to their outskirts. These findings indicate that at $z\sim~0.5-1.0$ the main galaxy quenching mode depends on its already formed stellar mass, exhibiting a transition from "the outside-in" at $M_{\ast} \leq 10^{10}M_{\odot}$ to "the inside-out" at $M_{\ast} > 10^{10.5}M_{\odot}$. In other words, our findings support that internal processes dominate the quenching of massive galaxies, whereas external processes dominate the quenching of low-mass galaxies.


title: Generation of a Circumstellar Gas Disk by Hot Jupiter WASP-12b

abstract: Observations of transiting extra-solar planets provide rich sources of data for probing the in-system environment. In the WASP-12 system, a broad depression in the usually-bright MgII h&k lines has been observed, in addition to atmospheric escape from the extremely hot Jupiter WASP-12b. It has been hypothesized that a translucent circumstellar cloud is formed by the outflow from the planet, causing the observed signatures. We perform 3D hydrodynamic simulations of the full system environment of WASP-12, injecting a planetary wind and stellar wind from their respective surfaces. We find that a torus of density high enough to account for the lack of MgII h&k line core emission in WASP-12 can be formed in approximately 13 years. We also perform synthetic observations of the Lyman-alpha spectrum at different points in the planet's orbit, which demonstrate that significant absorption occurs at all points in the orbit, not just during transits, as suggested by the observations.


title: Structured Analysis Dictionary Learning for Image Classification

abstract: We propose a computationally efficient and high-performance classification algorithm by incorporating class structural information in analysis dictionary learning. To achieve more consistent classification, we associate a class characteristic structure of independent subspaces and impose it on the classification error constrained analysis dictionary learning. Experiments demonstrate that our method achieves a comparable or better performance than the state-of-the-art algorithms in a variety of visual classification tasks. In addition, our method greatly reduces the training and testing computational complexity.


title: The relation between Parabolic Hecke modules and $W$-graph ideal modules in Kazhdan-Lusztig theory

abstract: In 2011, Howlett and Nguyen \cite{r1} introduced the concept of a $W$-graph ideal $E_J$ in $\left ( W,\leqslant_{L} \right )$ with respect to $J$ (a subset of $S$), where $\leqslant _{L}$ is the left weak order on $W$. They proved that one can construct a $W$-graph from a given $W$-graph ideal by constructing a Hecke module structure on $E_J$, where the $W$-graph was introduced by Kazhdan and Lusztig in \cite{d1}. In this paper, we give the relation between Hecke modules on $E_J$ and general Hecke algebras by considering the relation between Hecke modules on $E_J$ and parabolic Hecke modules. And inspired by Lusztig \cite{g3}, we show that the parabolic Hecke module is isomorphic to a left ideal of the Hecke algebra. Lastly, we give the relation between $R$-polynomials on $E_J$ and parabolic $R$-polynomials as an application of the main results.


title: Placement Delivery Array Design via Attention-Based Deep Neural Network

abstract: A decentralized coded caching scheme has been proposed by Maddah-Ali and Niesen, and has been shown to alleviate the load of networks. Recently, placement delivery array (PDA) was proposed to characterize the coded caching scheme. In this paper, a neural architecture is first proposed to learn the construction of PDAs. Our model solves the problem of variable size PDAs using mechanism of neural attention and reinforcement learning. It differs from the previous attempts in that, instead of using combined optimization algorithms to get PDAs, it uses sequence-to-sequence model to learn construct PDAs. Numerical results are given to demonstrate that the proposed method can effectively implement coded caching. We also show that the complexity of our method to construct PDAs is low.


title: Parity duality for the amplituhedron

abstract: The (tree) amplituhedron $\mathcal A_{n,k,m}(Z)$ is a certain subset of the Grassmannian introduced by Arkani-Hamed and Trnka in 2013 in order to study scattering amplitudes in $N=4$ supersymmetric Yang-Mills theory. Confirming a conjecture of the first author, we show that when $m$ is even, a collection of affine permutations yields a triangulation of $\mathcal A_{n,k,m}(Z)$ for any $Z\in \operatorname{Gr}_{>0}(k+m,n)$ if and only if the collection of their inverses yields a triangulation of $\mathcal A_{n,n-m-k,m}(Z)$ for any $Z\in\operatorname{Gr}_{>0}(n-k,n)$. We prove this duality using the twist map of Marsh and Scott. We also show that this map preserves the canonical differential forms associated with the corresponding positroid cells, and hence obtain a parity duality for amplituhedron differential forms.


title: On the existence of non-flat profiles for a Bernoulli free boundary problem

abstract: In this paper we consider a large class of Bernoulli-type free boundary problems with mixed periodic-Dirichlet boundary conditions. We show that solutions with non-flat profile can be found variationally as global minimizers of the classical Alt-Caffarelli energy functional.


title: The generalized numerical range of a set of matrices

abstract: For a given set of $n\times n$ matrices $\mathcal F$, we study the union of the $C$-numerical ranges of the matrices in the set $\mathcal F$, denoted by $W_C({\mathcal F})$. We obtain basic algebraic and topological properties of $W_C({\mathcal F})$, and show that there are connections between the geometric properties of $W_C({\mathcal F})$ and the algebraic properties of $C$ and the matrices in ${\mathcal F}$. Furthermore, we consider the starshapedness and convexity of the set $W_C({\mathcal F})$. In particular, we show that if ${\mathcal F}$ is the convex hull of two matrices such that $W_C(A)$ and $W_C(B)$ are convex, then the set $W_C({\mathcal F})$ is star-shaped. We also investigate the extensions of the results to the joint $C$-numerical range of an $m$-tuple of matrices.


title: Bi-directional Graph Structure Information Model for Multi-Person Pose Estimation

abstract: In this paper, we propose a novel multi-stage network architecture with two branches in each stage to estimate multi-person poses in images. The first branch predicts the confidence maps of joints and uses a geometrical transform kernel to propagate information between neighboring joints at the confidence level. The second branch proposes a bi-directional graph structure information model (BGSIM) to encode rich contextual information and to infer the occlusion relationship among different joints. We dynamically determine the joint point with highest response of the confidence maps as base point of passing message in BGSIM. Based on the proposed network structure, we achieve an average precision of 62.9 on the COCO Keypoint Challenge dataset and 77.6 on the MPII (multi-person) dataset. Compared with other state-of-art methods, our method can achieve highly promising results on our selected multi-person dataset without extra training.


title: Text-Independent Speaker Verification Using Long Short-Term Memory Networks

abstract: In this paper, an architecture based on Long Short-Term Memory Networks has been proposed for the text-independent scenario which is aimed to capture the temporal speaker-related information by operating over traditional speech features. For speaker verification, at first, a background model must be created for speaker representation. Then, in enrollment stage, the speaker models will be created based on the enrollment utterances. For this work, the model will be trained in an end-to-end fashion to combine the first two stages. The main goal of end-to-end training is the model being optimized to be consistent with the speaker verification protocol. The end- to-end training jointly learns the background and speaker models by creating the representation space. The LSTM architecture is trained to create a discrimination space for validating the match and non-match pairs for speaker verification. The proposed architecture demonstrate its superiority in the text-independent compared to other traditional methods.


title: The first principle of neural circuit and the general Circuit-Probability theory

abstract: A new neural circuit is proposed by considering the myelin as an inductor. This new neural circuit can explain why the lump-parameter circuit used in previous C-P theory is valid. Meanwhile, it provides a new explanation of the biological function of myelin for neural signal propagation. Furthermore, a new model for magnetic nerve stimulation is built and all phenomena in magnetic nerve stimulation can be well explained. Based on this model, the coil structure can be optimized.


title: Deterministic and Randomized Actuator Scheduling With Guaranteed Performance Bounds

abstract: In this paper, we investigate the problem of actuator selection for linear dynamical systems. We develop a framework to design a sparse actuator schedule for a given large-scale linear system with guaranteed performance bounds using deterministic polynomial-time and randomized approximately linear-time algorithms. First, we introduce systemic controllability metrics for linear dynamical systems that are monotone and homogeneous with respect to the controllability Gramian. We show that several popular and widely used optimization criteria in the literature belong to this class of controllability metrics. Our main result is to provide a polynomial-time actuator schedule that on average selects only a constant number of actuators at each time step, independent of the dimension, to furnish a guaranteed approximation of the controllability metrics in comparison to when all actuators are in use. Our results naturally apply to the dual problem of sensor selection, in which we provide a guaranteed approximation to the observability Gramian. We illustrate the effectiveness of our theoretical findings via several numerical simulations using benchmark examples.


title: New generation of effective core potentials from correlated calculations: 2nd row elements

abstract: Very recently, we have introduced correlation consistent effective core potentials (ccECPs) derived from many-body approaches with the main target being its use in explicitly correlated methods but also in mainstream approaches. The ccECPs are based on reproducing excitation energies for a subset of valence states, i.e., achieving a near-isospectrality between the original and pseudo Hamiltonians. In addition, binding curves of dimer molecules have been used for refinement and overall improvement of transferability over a range of bond lengths. Here we apply similar ideas to the second row elements and study several aspects of the constructions in order to find the optimal (or nearly-optimal) solutions within the chosen ECP forms with $3s,3p$ valence space (Ne-core). New constructions exhibit accurate low-lying atomic excitations and equilibrium molecular bonds (on average within $\approx$ $0.03$ eV and $3$ m\AA), however, the errors for Al and Si oxide molecules at short bond lengths are notably larger for both ours and existing ECPs. Assuming this limitation, our ccECPs show a systematic balance between the criteria of atomic spectra accuracy and transferability for molecular bonds. In order to provide another option with much higher uniform accuracy, we also construct He-core ECPs for the whole row with typical discrepancies of $\approx$ 0.01 eV or smaller.


title: Spectroscopic Validation of Low-Metallicity Stars from RAVE

abstract: We present results from a medium-resolution (R ~ 2, 000) spectroscopic follow-up campaign of 1,694 bright (V < 13.5), very metal-poor star candidates from the RAdial Velocity Experiment (RAVE). Initial selection of the low-metallicity targets was based on the stellar parameters published in RAVE Data Releases 4 and 5. Follow-up was accomplished with the Gemini-N and Gemini-S, the ESO/NTT, the KPNO/Mayall, and the SOAR telescopes. The wavelength coverage for most of the observed spectra allows for the determination of carbon and {\alpha}-element abundances, which are crucial for con- sidering the nature and frequency of the carbon-enhanced metal-poor (CEMP) stars in this sample. We find that 88% of the observed stars have [Fe/H] <= -1.0, 61% have [Fe/H] <= -2.0, and 3% have [Fe/H] <= -3.0 (with four stars at [Fe/H] <= -3.5). There are 306 CEMP star candidates in this sample, and we identify 169 CEMP Group I, 131 CEMP Group II, and 6 CEMP Group III stars from the A(C) vs. [Fe/H] diagram. Inspection of the [alpha/C] abundance ratios reveals that five of the CEMP Group II stars can be classified as "mono-enriched second-generation" stars. Gaia DR1 matches were found for 734 stars, and we show that transverse velocities can be used as a confirmatory selection criteria for low-metallicity candidates. Selected stars from our validated list are being followed-up with high-resolution spectroscopy, to reveal their full chemical abundance patterns for further studies.


title: Searches for H$_2$O Masers toward Narrow-Line Seyfert 1 galaxies

abstract: We present searches for 22 GHz H$_2$O masers toward 36 narrow-line Seyfert 1 galaxies (NLS1s), selected from known NLS1s with $v_{sys}$ $\lesssim$ 41000 km/s. Out of the 36 NLS1s in our sample, 11 NLS1s have been first surveyed in our observations, while the observations of other NLS1s were previously reported in literature. In our survey, no new water maser source from NLS1s was detected at 3 $\sigma$ rms level of 8.4 mJy to 144 mJy, which depends on different observing conditions or inhomogeneous sensitivities of each observation using three different telescopes. It is likely that non-detection of new masers in our NLS1 sample is primarily due to insufficient sensitivities of our observations. Including the five known NLS1 masers, the total detection rate of the H$_2$O maser in NLS1s is not remarkably different from that of type 2 Seyfert galaxies or LINERs. However, more extensive and systematic searches of NLS1 would be required for statistical discussion of the detection rate of the NLS1 maser, compared with that of type 2 Seyferts or LINERs.


title: Continued cooling of the accretion-heated neutron star crust in the X-ray transient IGR J17480-2446 located in the globular cluster Terzan 5

abstract: We present a new Chandra observation (performed in July 2016) of the neutron star X-ray transient IGR J17480-2446, located in the globular cluster Terzan 5. We study the continued cooling of the neutron star crust in this system that was heated during the 2010 outburst of the source. This new observation was performed two years after the last observation of IGR J17480-2446, hence, significantly extending the cooling baseline. We reanalysed all available Chandra observations of the source (but excluding observations during which one of the known transients in Terzan 5 was in outburst) and fitted the obtained cooling curve with our cooling code NSCool, which allows for much improved modelling than what was previously performed for the source. The data and our fit models indicate that the crust was still cooling ~5.5 years after the outburst ended. The neutron star crust has likely not reached crust-core thermal equilibrium yet, and further cooling is predicted (which can be confirmed with additional Chandra observations in >5 years). Intriguingly, we find indications that the thermal conductivity might be relatively low in part of the crust compared to what has been inferred for other crust-cooling sources and tentatively suggest that this layer might be located around the neutron drip. The reason for this difference is unclear, but might be related to the fact that IGR J17480-2446 harbours a relatively slowly rotating neutron star (with a spin of 11 Hz) that has a relatively strong inferred surface magnetic field ($10^{9-10}$ Gauss) compared to what is known or typically assumed for other cooling sources.


title: Towards Interpretable Face Recognition

abstract: Deep CNNs have been pushing the frontier of visual recognition over past years. Besides recognition accuracy, strong demands in understanding deep CNNs in the research community motivate developments of tools to dissect pre-trained models to visualize how they make predictions. Recent works further push the interpretability in the network learning stage to learn more meaningful representations. In this work, focusing on a specific area of visual recognition, we report our efforts towards interpretable face recognition. We propose a spatial activation diversity loss to learn more structured face representations. By leveraging the structure, we further design a feature activation diversity loss to push the interpretable representations to be discriminative and robust to occlusions. We demonstrate on three face recognition benchmarks that our proposed method is able to improve face recognition accuracy with easily interpretable face representations.


title: The Story of HyperLogLog: How Flajolet Processed Streams with Coin Flips

abstract: This article is a historical introduction to data streaming algorithms that was written as a companion piece to the talk "How Philippe Flipped Coins to Count Data", given on December 16th, 2011, in the context of the conference in honor of "Philippe Flajolet and Analytic Combinatorics." The narrative was pieced together through conversations with Philippe Flajolet during my Ph.D. thesis under his supervision, as well as several conversations with collaborators after his death. In particular, I am deeply indebted to Nigel Martin for his archival records. This article is intended to serve as an introductory text presenting Flajolet's data streaming articles in a projected set of complete works.


title: Deep Perm-Set Net: Learn to predict sets with unknown permutation and cardinality using deep neural networks

abstract: Many real-world problems, e.g. object detection, have outputs that are naturally expressed as sets of entities. This creates a challenge for traditional deep neural networks which naturally deal with structured outputs such as vectors, matrices or tensors. We present a novel approach for learning to predict sets with unknown permutation and cardinality using deep neural networks. Specifically, in our formulation we incorporate the permutation as unobservable variable and estimate its distribution during the learning process using alternating optimization. We demonstrate the validity of this new formulation on two relevant vision problems: object detection, for which our formulation outperforms state-of-the-art detectors such as Faster R-CNN and YOLO, and a complex CAPTCHA test, where we observe that, surprisingly, our set based network acquired the ability of mimicking arithmetics without any rules being coded.


title: Charged pion condensation under parallel electromagnetic fields

abstract: The formation of charged pion condensate under parallel electromagnetic fields is studied within the two-flavor Nambu--Jona-Lasinio model. The technique of Schwinger proper time method is extended to explore the quantity locating in the off-diagonal flavor space, i.e., charged pion. We obtain the associated effective potential as a function of the strength of the electromagnetic fields and find out that it contains a sextic term which possibly induce weakly first order phase transition. Dependence of pion condensation on model parameters is investigated.


title: Chromomagnetic and chromoelectric dipole moments of the top quark in the 4GTHDM

abstract: The chromo magnetic dipole moment (CMDM) and chromo electric dipole moment (CEDM) of the top quark are calculated at the one-loop level in the framework of the two-Higgs doublet model with four fermion generations (4GTHDM), which is still consistent with experimental data and apart from new scalar bosons ($H^0$, $A^0$, and $H^\pm$) and quarks ($b'$ and $t'$) predicts new sources of $CP$ violation via the extended $4\times 4$ CKM matrix. Analytical expressions for the CMDM and CEDM of a quark are presented both in terms of Feynman parameter integrals and Passarino-Veltman scalar functions, with the main contributions arising from loops carrying the scalar bosons accompanied by the third- and fourth-generation quarks. The current bounds on the parameter space of the 4GTHDM are discussed and a region still consistent with the LHC data on the 125 GeV Higgs boson is identified. It is found that the top quark CMDM, which is induced by all the scalar bosons, can reach values of the order of $10^{-4}$-$10^{-3}$, with the dominant contributions arising from the fourth generation quarks, though may also be large cancellations for some parameter values, thereby giving a negligible CMDM. As for the top quark CEDM, it only receives contributions from the charged scalar boson and can reach values of the order of $10^{-19}$-$10^{-18}$ ecm for relatively light $m_{H^\pm}$ and large $m_{b'}$, with the dominant contribution arising from the $b'$ quark. The latter would be the most interesting prediction of this model as can be larger than the value predicted by the usual THDMs by one or two orders of magnitude.


title: $\ell_1$-regression with Heavy-tailed Distributions

abstract: In this paper, we consider the problem of linear regression with heavy-tailed distributions. Different from previous studies that use the squared loss to measure the performance, we choose the absolute loss, which is capable of estimating the conditional median. To address the challenge that both the input and output could be heavy-tailed, we propose a truncated minimization problem, and demonstrate that it enjoys an $\widetilde{O}(\sqrt{d/n})$ excess risk, where $d$ is the dimensionality and $n$ is the number of samples. Compared with traditional work on $\ell_1$-regression, the main advantage of our result is that we achieve a high-probability risk bound without exponential moment conditions on the input and output. Furthermore, if the input is bounded, we show that the classical empirical risk minimization is competent for $\ell_1$-regression even when the output is heavy-tailed.


title: Linearizing extended nonlinear supersymmetry in two dimensional spacetime

abstract: We linearize nonlinear supersymmetry in the Volkov-Akulov (VA) theory for extended SUSY in two dimensional spacetime ($d = 2$) based on the commutator algebra. Linear SUSY transformations of basic component fields for general vector supermultiplets are uniquely determined from variations of functionals (composites) of Nambu-Goldstone (NG) fermions, which are represented as simple products of powers of the NG fermions and a fundamental determinant in the VA theory. The structure of basic component fields with general auxiliary fields in the vector supermultiplets and transitions to $U(1)$ gauge supermultiplets through recombinations of the functionals of the NG fermions are explicitly shown both in $N = 2$ and $N = 3$ theories as the simplest and general examples for extended SUSY theories in $d = 2$.


title: Effect of Samarium doping on the nucleation of fcc-Aluminum in undercooled liquids

abstract: The effect of Sm doping on the fcc-Al nucleation was investigated in Al-Sm liquids with low Sm concentrations (xSm) with molecular dynamics simulations. The nucleation in the moderately undercooled liquid is achieved by the recently developed persistent-embryo method. Systematically computing the nucleation rate with different xSm (xSm=0%, 1%, 2%, 3%, 5%) at 700 K, we found Sm dopant reduces the nucleation rate by up to 25 orders of magnitudes with only 5% doping concentration. This effect is mostly associated with the increase in the free energy barrier with a minor contribution from suppression of the attachment to the nucleus caused by Sm doping.


title: Delay-Constrained Rate Control for Real-Time Video Streaming with Bounded Neural Network

abstract: Rate control is widely adopted during video streaming to provide both high video qualities and low latency under various network conditions. However, despite that many work have been proposed, they fail to tackle one major problem: previous methods determine a future transmission rate as a single for value which will be used in an entire time-slot, while real-world network conditions, unlike lab setup, often suffer from rapid and stochastic changes, resulting in the failures of predictions. In this paper, we propose a delay-constrained rate control approach based on end-to-end deep learning. The proposed model predicts future bit rate not as a single value, but as possible bit rate ranges using target delay gradient, with which the transmission delay is guaranteed. We collect a large scale of real-world live streaming data to train our model, and as a result, it automatically learns the correlation between throughput and target delay gradient. We build a testbed to evaluate our approach. Compared with the state-of-the-art methods, our approach demonstrates a better performance in bandwidth utilization. In all considered scenarios, a range based rate control approach outperforms the one without range by 19% to 35% in average QoE improvement.


title: Investigating the Efficiency of the Beijing Faint Object Spectrograph and Camera (BFOSC) of the Xinglong 2.16-m Reflector

abstract: The Beijing Faint Object Spectrograph and Camera (BFOSC) is one of the most important instruments of the 2.16-m telescope of the Xinglong Observatory. Every year there are ~ 20 SCI-papers published based on the observational data of this telescope. In this work, we have systemically measured the total efficiency of the BFOSC of the 2.16-m reflector, based on the observations of two ESO flux standard stars. We have obtained the total efficiencies of the BFOSC instrument of different grisms with various slit widths in almost all ranges, and analysed the factors which effect the efficiency of telescope and spectrograph. For the astronomical observers, the result will be useful for them to select a suitable slit width, depending on their scientific goals and weather conditions during the observation; For the technicians, the result will help them systemically find out the real efficiency of telescope and spectrograph, and further to improve the total efficiency and observing capacity of the telescope technically.


title: Anderson localization at the hybridisation gap in a plasmonic system

abstract: Disorder-induced Anderson localization in quasiparticle transport is a challenging problem to address, even more so in the presence of dissipation as the symptoms of disorder-induced localization are very closely simulated by the absorption in a system. Following up on recent experimental studies, we numerically study the occurrence of Anderson localization in plasmonic systems at terahertz frequencies. The low losses in the material at these frequencies allow us to separately quantify the localization length and the loss length in the system. We measure a non-monotonic variation of loss length as a function of disorder, and attribute it to the participation ratio of the localized modes and resulting light occupancy in the metal. Next, we identify a unique behavior of the gap state frequencies and the density of states under disorder. We observe that the maximally displaced gap state frequencies have a propensity to remain pinned to the frequency of the gap center. Even under strong disorder, the gap does not close, and density of states profile continues to remain peaked in the gap, unlike in conventionally studied disordered systems. The origins of this behavior are traced to the nature of the quasiparticle dispersion. In our case, the quasiparticles are identified to be hybrid plasmons generated due to the hybridization of surface plasmon polaritons at a metal-dielectric interface and cavity resonances at sub-wavelength apertures thereon. This situation is akin to the Kondo systems, where dispersive conduction electrons hybridise with a localized impurity state opening a hybridization gap. Our results provide new insights on the elusive problem of the interplay of loss and localization, and underlines interesting physics at the hybridisation gap in hybrid plasmonic systems.


title: Mode-Specific Dynamics of Ammonia Dissociative Chemisorption on Ru(0001)

abstract: The mode specific dissociative chemisorption dynamics of ammonia on the Ru(0001) surface is investigated using a quasi-classical trajectory (QCT) method on a new global potential energy surface (PES) with twelve dimensions. The PES is constructed by fitting 92524 density functional theory points using the permutation invariant polynomial-neural network method, which rigorously enforces the permutation symmetry of the three hydrogen atoms as well as the surface periodicity. The PES enables highly efficient QCT simulations as well as future quantum dynamical studies of the scattering/dissociation dynamics. The QCT calculations yield satisfactory agreement with experiment and suggest strong mode specificity, in general agreement with the predictions of the Sudden Vector Projection model.


title: Criticality of the low-frequency conductivity for the bilayer quantum Heisenberg model

abstract: The criticality of the low-frequency conductivity for the bilayer quantum Heisenberg model was investigated numerically. The dynamical conductivity (associated with the O$(3)$ symmetry) displays the inductor $\sigma (\omega) =(i\omega L)^{-1}$ and capacitor $i \omega C$ behaviors for the ordered and disordered phases, respectively. Both constants, $C$ and $L$, have the same scaling dimension as that of the reciprocal paramagnetic gap $\Delta^{-1}$. Then, there arose a question to fix the set of critical amplitude ratios among them. So far, the O$(2)$ case has been investigated in the context of the boson-vortex duality. In this paper, we employ the exact diagonalization method, which enables us to calculate the paramagnetic gap $\Delta$ directly. Thereby, the set of critical amplitude ratios as to $C$, $L$ and $\Delta$ are estimated with the finite-size-scaling analysis for the cluster with $N \le 34$ spins.


title: Enhanced photon-extraction efficiency from InGaAs/GaAs quantum dots in deterministic photonic structures at 1.3 \mu m fabricated by in-situ electron-beam lithography

abstract: The main challenge in the development of non-classical light sources remains their brightness that limits the data transmission and processing rates as well as the realization of practical devices operating in the telecommunication range. To overcome this issue, we propose to utilize universal and flexible in-situ electron-beam lithography and hereby, we demonstrate a successful technology transfer to telecom wavelengths. As an example, we fabricate and characterize especially designed photonic structures with strain-engineered single InGaAs/GaAs quantum dots that are deterministically integrated into disc-shaped mesas. Utilizing this approach, an extraction efficiency into free-space (within a numerical aperture of 0.4) of (10${\pm}$2) % has been experimentally obtained in the 1.3 \mu m wavelength range in agreement with finite-element method calculations.


title: Multimodal Utterance-level Affect Analysis using Visual, Audio and Text Features

abstract: The integration of information across multiple modalities and across time is a promising way to enhance the emotion recognition performance of affective systems. Much previous work has focused on instantaneous emotion recognition. The 2018 One-Minute Gradual-Emotion Recognition (OMG-Emotion) challenge, which was held in conjunction with the IEEE World Congress on Computational Intelligence, encouraged participants to address long-term emotion recognition by integrating cues from multiple modalities, including facial expression, audio and language. Intuitively, a multi-modal inference network should be able to leverage information from each modality and their correlations to improve recognition over that achievable by a single modality network. We describe here a multi-modal neural architecture that integrates visual information over time using an LSTM, and combines it with utterance level audio and text cues to recognize human sentiment from multimodal clips. Our model outperforms the unimodal baseline, achieving the concordance correlation coefficients (CCC) of 0.400 on the arousal task, and 0.353 on the valence task.


title: On and Off-Blockchain Enforcement Of Smart Contracts

abstract: In this paper we discuss how conventional business contracts can be converted into smart contracts---their electronic equivalents that can be used to systematically monitor and enforce contractual rights, obligations and prohibitions at run time. We explain that emerging blockchain technology is certainly a promising platform for implementing smart contracts but argue that there is a large class of applications, where blockchain is inadequate due to performance, scalability, and consistency requirements, and also due to language expressiveness and cost issues that are hard to solve. We explain that in some situations a centralised approach that does not rely on blockchain is a better alternative due to its simplicity, scalability, and performance. We suggest that in applications where decentralisation and transparency are essential, developers can advantageously combine the two approaches into hybrid solutions where some operations are enforced by enforcers deployed on--blockchains and the rest by enforcers deployed on trusted third parties.


title: Coherent structures in the linearized impulse response of turbulent channel flow

abstract: We study the evolution of velocity fluctuations due to an isolated spatio-temporal impulse using the linearized Navier-Stokes equations. The impulse is introduced as an external body force in incompressible channel flow at $Re_\tau=10000$. Velocity fluctuations are defined about the turbulent mean velocity profile. A turbulent eddy viscosity is added to the equations to fix the mean velocity as an exact solution, which also serves to model the dissipative effects of the background turbulence on large-scale fluctuations. An impulsive body force produces flowfields that evolve into coherent structures containing long streamwise velocity streaks that are flanked by quasi-streamwise vortices; some of these impulses produce hairpin vortices. As these vortex-streak structures evolve, they grow in size to be nominally self-similar geometrically with an aspect ratio (streamwise to wall-normal) of approximately $10$, while their kinetic energy density decays monotonically. The topology of the vortex-streak structures is not sensitive to the location of the impulse, but is dependent on the direction of the impulsive body force. All of these vortex-streak structures are attached to the wall, and their Reynolds stresses collapse when scaled by distance from the wall, consistent with Townsend's attached eddy hypothesis.


title: Understanding Urban Human Mobility through Crowdsensed Data

abstract: Understanding how people move in the urban area is important for solving urbanization issues, such as traffic management, urban planning, epidemic control, and communication network improvement. Leveraging recent availability of large amounts of diverse crowdsensed data, many studies have made contributions to this field in various aspects. They need proper review and summary. In this paper, therefore, we first review these recent studies with a proper taxonomy with corresponding examples. Then, based on the experience learnt from the studies, we provide a comprehensive tutorial for future research, which introduces and discusses popular crowdsensed data types, different human mobility subjects, and common data preprocessing and analysis methods. Special emphasis is made on the matching between data types and mobility subjects. Finally, we present two research projects as case studies to demonstrate the entire process of understanding urban human mobility through crowdsensed data in city-wide scale and building-wide scale respectively. Beyond demonstration purpose, the two case studies also make contributions to their category of certain crowdsensed data type and mobility subject.


title: Symmetries of certain double integrals related to Hall effect devices

abstract: One encounters iterated elliptic integrals in the study of Hall effect devices, as a result of conformal mappings of Schwarz--Christoffel type. Some of these double elliptic integrals possess amazing symmetries with regard to the physical parameters of the underlying Hall effect devices. We give a unified mathematical treatment of such symmetric double integrals, in the context of Hall effect devices with three and four contacts.


title: A Data-Driven Residential Transformer Overloading Risk Assessment Method

abstract: Residential transformer population is a critical type of asset that many electric utility companies have been attempting to manage proactively and effectively to reduce unexpected failures and life losses that are often caused by transformer overloading. Within the typical power asset portfolio, the residential transformer asset is often large in population, having lowest reliability design, lacking transformer loading data and susceptible to customer loading behaviors such as adoption of distributed energy resources and electric vehicles. On the bright side, the availability of more residential operation data along with the advancement of data analytics techniques have provided a new path to further our understanding of local residential transformer overloading risks statistically. This research developed a new data-driven method to combine clustering analysis and the simulation of transformer temperature rise and insulation life loss to quantitatively and statistically assess the overloading risk of residential transformer population in one area and suggest proper risk management measures according to the assessment results. Case studies from an actual Canadian utility company have been presented and discussed in detail to demonstrate the applicability and usefulness of the proposed method.


title: Accelerating Neural Transformer via an Average Attention Network

abstract: With parallelizable attention networks, the neural Transformer is very fast to train. However, due to the auto-regressive architecture and self-attention in the decoder, the decoding procedure becomes slow. To alleviate this issue, we propose an average attention network as an alternative to the self-attention network in the decoder of the neural Transformer. The average attention network consists of two layers, with an average layer that models dependencies on previous positions and a gating layer that is stacked over the average layer to enhance the expressiveness of the proposed attention network. We apply this network on the decoder part of the neural Transformer to replace the original target-side self-attention model. With masking tricks and dynamic programming, our model enables the neural Transformer to decode sentences over four times faster than its original version with almost no loss in training time and translation performance. We conduct a series of experiments on WMT17 translation tasks, where on 6 different language pairs, we obtain robust and consistent speed-ups in decoding.


title: Interpretable Fully Convolutional Classification of Intrapapillary Capillary Loops for Real-Time Detection of Early Squamous Neoplasia

abstract: In this work, we have concentrated our efforts on the interpretability of classification results coming from a fully convolutional neural network. Motivated by the classification of oesophageal tissue for real-time detection of early squamous neoplasia, the most frequent kind of oesophageal cancer in Asia, we present a new dataset and a novel deep learning method that by means of deep supervision and a newly introduced concept, the embedded Class Activation Map (eCAM), focuses on the interpretability of results as a design constraint of a convolutional network. We present a new approach to visualise attention that aims to give some insights on those areas of the oesophageal tissue that lead a network to conclude that the images belong to a particular class and compare them with those visual features employed by clinicians to produce a clinical diagnosis. In comparison to a baseline method which does not feature deep supervision but provides attention by grafting Class Activation Maps, we improve the F1-score from 87.3% to 92.7% and provide more detailed attention maps.


title: Counting cusp forms by analytic conductor

abstract: Let $F$ be a number field and $n\geqslant 1$ an integer. The universal family is the set $\mathfrak{F}$ of all unitary cuspidal automorphic representations on ${\rm GL}_n$ over $F$, ordered by their analytic conductor. We prove an asymptotic for the size of the truncated universal family $\mathfrak{F}(Q)$ as $Q\rightarrow\infty$, under a spherical assumption at the archimedean places when $n\geqslant 3$. We interpret the leading term constant geometrically and conjecturally determine the underlying Sato--Tate measure. Our methods naturally provide uniform Weyl laws with logarithmic savings in the level and strong quantitative bounds on the non-tempered discrete spectrum for ${\rm GL}_n$.


title: A Probabilistic Extension of Action Language BC+

abstract: We present a probabilistic extension of action language BC+. Just like BC+ is defined as a high-level notation of answer set programs for describing transition systems, the proposed language, which we call pBC+, is defined as a high-level notation of LPMLN programs---a probabilistic extension of answer set programs. We show how probabilistic reasoning about transition systems, such as prediction, postdiction, and planning problems, as well as probabilistic diagnosis for dynamic domains, can be modeled in pBC+ and computed using an implementation of LPMLN.


title: Magnetohydrodynamic simulation of magnetic null-point reconnections in NOAA AR12192 initiated with an extrapolated non-force-free-field

abstract: Magnetohydrodynamics of the solar corona is simulated numerically. The simulation is initialized with an extrapolated non-force-free magnetic field using the vector magnetogram of the active region (AR) NOAA 12192 obtained on the solar photosphere. Particularly, we focus on the magnetic reconnections occurring close to a magnetic null-point that resulted in appearance of circular chromospheric flare ribbons on October 24, 2014 around 21:21 UT, after peak of an X3.1 flare. The extrapolated field lines show the presence of the three-dimensional (3D) null near one of the polarity inversion lines---where the flare was observed. In the subsequent numerical simulation, we find magnetic reconnections occurring near the null point, where the magnetic field lines from the fan-plane of the 3D null form a X-type configuration with underlying arcade field lines. The footpoints of the dome-shaped field lines, inherent to the 3D null, show high gradients of the squashing factor. We find slipping reconnections at these quasi-separatrix layers, which are co-located with the post-flare circular brightening observed at the chromospheric heights. This demonstrates the viability of the initial non-force-free field along with the dynamics it initiates. Moreover, the initial field and its simulated evolution is found to be devoid of any flux rope, which is in congruence with the confined nature of the flare.


title: Quenched many-body quantum dynamics with $k$-body interactions using $q$-Hermite polynomials

abstract: In a $m$ particle quantum system, one can have $k=1,\,2,\,\ldots,\,m$ body interactions. The rank of interactions and the nature of particles (fermions or bosons) can strongly affect the dynamics of the system. To explore this in detail, we study quenched quantum dynamics in many particle systems varying rank of interactions, both for fermionic and bosonic particles. We represent the system Hamiltonian by Fermionic Embedded Gaussian Orthogonal Ensembles (FEGOE) and Bosonic Embedded Gaussian Orthogonal Ensembles (BEGOE) respectively. We show that generating function for $q$-Hermite polynomials describes the semi-circle to Gaussian transition in spectral densities of FEGOE$(k)$ and BEGOE$(k)$ (also the Unitary variants FEGUE$(k)$ and BEGUE$(k)$) as a function of rank of interactions $k$. Importantly, numerical Fourier transform of generating function of $q$-Hermite polynomials explains the short-time decay of survival probability in FEGOE$(1+k)$ and BEGOE$(1+k)$. The parameter $q$ describing these properties is related to excess parameter $\gamma_2$ and we give a formula for FEGOE$(k)$, FEGUE$(k)$, BEGOE$(k)$ and BEGUE$(k)$. We illustrate that the dynamics strongly depends on the rank of interactions and nature of particles and these universal features may be relevant to modeling non-equilibrium quantum systems.


title: Equivariant Asymptotics of Szeg\"{o} kernels under Hamiltonian $SU(2)$-action

abstract: Let $M$ be complex projective manifold, and $A$ a positive line bundle on it. Assume that $SU(2)$ acts on $M$ in a Hamiltonian manner, with nowhere vanishing moment map, and that this action linearizes to $A$. Then there is an associated unitary representation of $G$ on the associated algebro-geometric Hardy space, and the isotypical components are all finite dimensional. We consider the local and global asymptotic properties the equivariant projector associated to a weight $k \, \boldsymbol{ \nu }$, when $\boldsymbol{ \nu }$ is fixed and $k\rightarrow +\infty$.


title: A Deep Network for Arousal-Valence Emotion Prediction with Acoustic-Visual Cues

abstract: In this paper, we comprehensively describe the methodology of our submissions to the One-Minute Gradual-Emotion Behavior Challenge 2018.


title: Infinitely many elliptic curves of rank exactly two, II

abstract: In this paper, we construct an infinite family of elliptic curves whose rank is exactly two and the torsion subgroup is a cyclic group of order two or three, under the parity conjecture.


title: A general study of regular and singular black hole solutions in Einstein's conformal gravity

abstract: We study some general properties of two black hole solutions in Einstein's conformal gravity. Both solutions can be obtained from the Kerr metric with a suitable conformal rescaling, which leads, respectively, to a regular and a singular spacetime. In addition to the mass $M$ and the spin angular momentum $J$ of the black hole, these solutions are characterized by a new parameter, $L$, which may be expected to be of the order of the black hole mass. We study the geodesic motion and we calculate the radiative efficiency of a putative accretion disk around these black holes, which allows us to get an estimate of an upper bound on the value of $L$. Lastly, we explore the possibility of "destroying" the event horizon of these black holes. Within our approach, we are not able to destroy the event horizon of the regular black hole solution, while we can in the case of the singular one.


title: The hydrodynamic limit for local mean-field dynamics with unbounded spins

abstract: We consider the dynamics of a class of spin systems with unbounded spins interacting with local mean field interactions. We proof convergence of the empirical measure to the solution of a McKean-Vlasov equation in the hydrodynamic limit and propagation of chaos. This extends earlier results of G\"artner, Comets and others for bounded spins or strict mean field interactions.


title: Accurate Cathode Properties of LiNiO2, LiCoO2, and LiMnO2 Using the SCAN Meta-GGA Density Functional

abstract: Layered lithium intercalating transition metal (TM) oxides are promising cathode materials for Li-ion batteries. Here we scrutinize the recently developed strongly constrained and appropriately normed (SCAN) density functional method to study structural, magnetic and electrochemical properties of prototype cathode materials LiNiO2, LiCoO2, and LiMnO2 at different Li-intercalation limits. We show that SCAN outperforms earlier popular functional combinations, providing results in considerably better agreement with experiment without use of Hubbard parameters, and dispersion corrections are found to have a small effect. In particular, SCAN provides a good description of the electronic structures, electron densities, band gaps, predicted cell parameters, and voltage profiles.


title: Translating LPOD and CR-Prolog2 into Standard Answer Set Programs

abstract: Logic Programs with Ordered Disjunction (LPOD) is an extension of standard answer set programs to handle preference using the construct of ordered disjunction, and CR-Prolog2 is an extension of standard answer set programs with consistency restoring rules and LPOD-like ordered disjunction. We present reductions of each of these languages into the standard ASP language, which gives us an alternative way to understand the extensions in terms of the standard ASP language.


title: Duality and free energy analyticity bounds for few-body Ising models with extensive homology rank

abstract: We consider pairs of few-body Ising models where each spin enters a bounded number of interaction terms (bonds), such that each model can be obtained from the dual of the other after freezing $k$ spins on large-degree sites. Such a pair of Ising models can be interpreted as a two-chain complex with $k$ being the rank of the first homology group. Our focus is on the case where $k$ is extensive, that is, scales linearly with the number of bonds $n$. Flipping any of these additional spins introduces a homologically non-trivial defect (generalized domain wall). In the presence of bond disorder, we prove the existence of a low-temperature weak-disorder region where additional summation over the defects have no effect on the free energy density $f(T)$ in the thermodynamical limit, and of a high-temperature region where in the ferromagnetic case an extensive homological defect does not affect $f(T)$. We also discuss the convergence of the high- and low-temperature series for the free energy density, prove the analyticity of limiting $f(T)$ at high and low temperatures, and construct inequalities for the critical point(s) where analyticity is lost. As an application, we prove multiplicity of the conventionally defined critical points for Ising models on all $\{f,d\}$ tilings of the hyperbolic plane, where $df/(d+f)>2$. Namely, for these infinite graphs, we show that critical temperatures with free and wired boundary conditions differ, $T_c^{(\mathrm{f})}<T_c^{(\mathrm{w})}$.


title: End-to-End Residual CNN with L-GM Loss Speaker Verification System

abstract: We propose an end-to-end speaker verification system based on the neural network and trained by a loss function with less computational complexity. The end-to-end speaker verification system in this paper consists of a ResNet architecture to extract features from utterance, then produces utterance-level speaker embeddings, and train using the large-margin Gaussian Mixture loss function. Influenced by the large-margin and likelihood regularization, large-margin Gaussian Mixture loss function benefits the speaker verification performance. Experimental results demonstrate that the Residual CNN with large-margin Gaussian Mixture loss outperforms DNN-based i-vector baseline by more than 10% improvement in accuracy rate.


title: Consolidating Multiple FemtoSecond Lasers in Coupled Curved Plasma Capillaries

abstract: Consolidating multiple high-energy femtosecond scale lasers is expected to enable implementation of cutting edge research areas varying from wakefield particle accelerators to ultra-high intensity laser pulses for basic fresearch. The ability to guide while augmenting a short-pulse laser is crucial in future laser based TeV particle accelerators where the laser energy depletion is the major setback. We propose, analyze and experimentally demonstrate consolidating multiple femtosecond pulse lasers in coupled curved capillaries. We demonstrate a proof of principle scheme of coupled curved capillaries where two femtosecond laser pulses are combined. We found that the details of the coupling region and injection scheme are crucial to the pulse consolidations. Furthermore, our simulations show that high-intensity short pulse laser can be guided in a small curvature radius capillary. Incorporating these finding in a curved capillary laser coupler will be a significant step towards realization of meters long TeV laser based particle accelerators.


title: Finite groups with specific number of cyclic subgroups

abstract: In this note, we classify all finite groups having exactly 6, 7 or 8 cyclic subgroups. This gives a partial answer to the open problem posed by Tarnauceanu (Amer. Math. Monthly, 122 (2015), 275-276). As a consequence of our results, we also obtain an important result concerning with the converse of Lagrange's theorem.


title: Syzygy divisors on Hurwitz spaces

abstract: We describe a sequence of effective divisors on the Hurwitz space $H_{d,g}$ for $d$ dividing $g-1$ and compute their cycle classes on a partial compactification. These divisors arise from vector bundles of syzygies canonically associated to a branched cover. We find that the cycle classes are all proportional to each other.


title: Robust Particle Density Tempering for State Space Models

abstract: Density tempering (also called density annealing) is a sequential Monte Carlo approach to Bayesian inference for general state models; it is an alternative to Markov chain Monte Carlo. When applied to state space models, it moves a collection of parameters and latent states (which are called particles) through a number of stages, with each stage having its own target distribution. The particles are initially generated from a distribution that is easy to sample from, e.g. the prior; the target at the final stage is the posterior distribution. Tempering is usually carried out either in batch mode, involving all the data at each stage, or sequentially with observations added at each stage, which is called data tempering. Our paper proposes efficient Markov moves for generating the parameters and states for each stage of particle based density tempering. This allows the proposed SMC methods to increase (scale up) the number of parameters and states that can be handled. Most of the current literature uses a pseudo-marginal Markov move step with the states integrated out, and the parameters generated by a random walk proposal; although this strategy is general, it is very inefficient when the states or parameters are high dimensional. We also build on the work of Dufays (2016) and make data tempering more robust to outliers and structural changes for models with intractable likelihoods by adding batch tempering at each stage. The performance of the proposed methods is evaluated using univariate stochastic volatility models with outliers and structural breaks and high dimensional factor stochastic volatility models having both many parameters and many latent states.


title: Efficient Membership Testing for Pseudovarieties of Finite Semigroups

abstract: We consider the complexity of deciding membership of a given finite semigroup to a fixed pseudovariety. While it is known that there exist pseudovarieties with NP-complete or even undecidable membership problems, for many well-known pseudovarieties the problem is known to be decidable in polynomial time. We show that for many of these pseudovarieties, the membership problem is actually in AC^0. To this end, we show that these pseudovarieties can be characterized by first-order sentences with multiplication as the only predicate. We prove closure properties of the class of pseudovarieties with such first-order descriptions under various well-known operations; in particular, if V can be described by a first-order sentence, then DV, LV, and the Mal'cev products of K, D, N, LI, and LG with V are first-order definable as well. Moreover, if H is a first-order definable pseudovariety of finite groups, then the pseudovariety of all finite semigroups whose subgroups are in H is first-order definable. Our formalism is also powerful enough to capture all pseudovarieties characterized by finite sets of omega-identities. In view of lower bounds from circuit complexity, we obtain a new technique to prove that a pseudovariety V cannot be defined by such a set: if membership in V is hard for PARITY, it cannot be defined in this logic and thus cannot be described by finitely many omega-identities. We show that membership to EA is L-complete, thereby improving previous complexity results and obtaining a new proof that the pseudovariety cannot be described by finitely many omega-identities at the same time.


title: Self-interacting dark matter and muon $g-2$ in a gauged U$(1)_{L_{\mu} - L_{\tau}}$ model

abstract: We construct a self-interacting dark matter model that could simultaneously explain the observed muon anomalous magnetic moment. It is based on a gauged U$(1)_{L_{\mu} - L_{\tau}}$ extension of the standard model, where we introduce a vector-like pair of fermions as the dark matter candidate and a new Higgs boson to break the symmetry. The new gauge boson has a sizable contribution to muon $(g-2)$, while being consistent with other experimental constraints. The U$(1)_{L_{\mu} - L_{\tau}}$ Higgs boson acts as a light force carrier, mediating dark matter self-interactions with a velocity-dependent cross section. It is large enough in galaxies to thermalize the inner halo and explain the diverse rotation curves and diminishes towards galaxy clusters. Since the light mediator dominantly decays to the U$(1)_{L_{\mu} - L_{\tau}}$ gauge boson and neutrinos, the astrophysical and cosmological constraints are weak. We study the thermal evolution of the model in the early Universe and derive a lower bound on the gauge boson mass.


title: MX-LSTM: mixing tracklets and vislets to jointly forecast trajectories and head poses

abstract: Recent approaches on trajectory forecasting use tracklets to predict the future positions of pedestrians exploiting Long Short Term Memory (LSTM) architectures. This paper shows that adding vislets, that is, short sequences of head pose estimations, allows to increase significantly the trajectory forecasting performance. We then propose to use vislets in a novel framework called MX-LSTM, capturing the interplay between tracklets and vislets thanks to a joint unconstrained optimization of full covariance matrices during the LSTM backpropagation. At the same time, MX-LSTM predicts the future head poses, increasing the standard capabilities of the long-term trajectory forecasting approaches. With standard head pose estimators and an attentional-based social pooling, MX-LSTM scores the new trajectory forecasting state-of-the-art in all the considered datasets (Zara01, Zara02, UCY, and TownCentre) with a dramatic margin when the pedestrians slow down, a case where most of the forecasting approaches struggle to provide an accurate solution.


title: Nonlocal Diffusion Operators for Normal and Anomalous Dynamics

abstract: The Laplacian $\Delta$ is the infinitesimal generator of isotropic Brownian motion, being the limit process of normal diffusion, while the fractional Laplacian $\Delta^{\beta/2}$ serves as the infinitesimal generator of the limit process of isotropic L\'{e}vy process. Taking limit, in some sense, means that the operators can approximate the physical process well after sufficient long time. We introduce the nonlocal operators (being effective from the starting time), which describe the general processes undergoing normal diffusion. For anomalous diffusion, we extend to the anisotropic fractional Laplacian $\Delta_m^{\beta/2}$ and the tempered one $\Delta_m^{\beta/2,\lambda}$ in $\mathbb{R}^n$. Their definitions are proved to be equivalent to an alternative one in Fourier space. Based on these new nonlocal diffusion operators, we further derive the deterministic governing equations of some interesting statistical observables of the very general jump processes with multiple internal states. Finally, we consider the associated initial and boundary value problems and prove their well-posedness of the Galerkin weak formulation in $\mathbb{R}^n$. To obtain the coercivity, we claim that the probability density function $m(Y)$ should be nondegenerate.


title: Multiparameter optimisation of a magneto-optical trap using deep learning

abstract: Many important physical processes have dynamics that are too complex to completely model analytically. Optimisation of such processes often relies on intuition, trial-and-error, or the construction of empirical models. Machine learning based on artificial neural networks has emerged as an efficient means to develop empirical models of complex systems. We implement a deep artificial neural network to optimise the magneto-optic cooling and trapping of neutral atomic ensembles. Cold atomic ensembles have become commonplace in laboratories around the world, however, many-body interactions give rise to complex dynamics that preclude precise analytic optimisation of the cooling and trapping process. The solution identified by machine learning is radically different to the smoothly varying adiabatic solutions currently used. Despite this, the solutions vastly outperform best known solutions producing higher optical densities. This may provide a pathway to a new understanding of the dynamics of the cooling and trapping processes in cold atomic ensembles.


title: Convolutional Sequence to Sequence Model for Human Dynamics

abstract: Human motion modeling is a classic problem in computer vision and graphics. Challenges in modeling human motion include high dimensional prediction as well as extremely complicated dynamics.We present a novel approach to human motion modeling based on convolutional neural networks (CNN). The hierarchical structure of CNN makes it capable of capturing both spatial and temporal correlations effectively. In our proposed approach,a convolutional long-term encoder is used to encode the whole given motion sequence into a long-term hidden variable, which is used with a decoder to predict the remainder of the sequence. The decoder itself also has an encoder-decoder structure, in which the short-term encoder encodes a shorter sequence to a short-term hidden variable, and the spatial decoder maps the long and short-term hidden variable to motion predictions. By using such a model, we are able to capture both invariant and dynamic information of human motion, which results in more accurate predictions. Experiments show that our algorithm outperforms the state-of-the-art methods on the Human3.6M and CMU Motion Capture datasets. Our code is available at the project website.


title: Rolled-up self-assembly of compact magnetic inductors, transformers and resonators

abstract: Three-dimensional self-assembly of lithographically patterned ultrathin films opens a path to manufacture microelectronic architectures with functionalities and integration schemes not accessible by conventional two-dimensional technologies. Among other microelectronic components, inductances, transformers, antennas and resonators often rely on three-dimensional configurations and interactions with electromagnetic fields requiring exponential fabrication efforts when downscaled to the micrometer range. Here, the controlled self-assembly of functional structures is demonstrated. By rolling-up ultrathin films into cylindrically shaped microelectronic devices we realized electromagnetic resonators, inductive and mutually coupled coils. Electrical performance of these devices is improved purely by transformation of a planar into a cylindrical geometry. This is accompanied by an overall downscaling of the device footprint area by more than 50 times. Application of compact self-assembled microstructures has significant impact on electronics, reducing size, fabrication efforts, and offering a wealth of new features in devices by 3D shaping.


title: Floquet Topological Polaritons in Semiconductor Microcavities

abstract: We propose and model Floquet topological polaritons in semiconductor microcavities, using the interference of frequency detuned coherent fields to provide a time periodic potential. For arbitrarily weak field strength, where the Floquet frequency is larger than the relevant bandwidth of the system, a Chern insulator is obtained. As the field strength is increased, a topological phase transition is observed with an unpaired Dirac cone proclaiming the anomalous Floquet topological insulator. As the relevant bandwidth increases even further, an exotic Chern insulator with flat band is observed with unpaired Dirac cone at the second critical point. Considering the polariton spin degree of freedom, we find that the choice of field polarization allows oppositely polarized polaritons to either co-propagate or counter-propagate in chiral edge states.


title: Distributed Big-Data Optimization via Block-Iterative Convexification and Averaging

abstract: In this paper, we study distributed big-data nonconvex optimization in multi-agent networks. We consider the (constrained) minimization of the sum of a smooth (possibly) nonconvex function, i.e., the agents' sum-utility, plus a convex (possibly) nonsmooth regularizer. Our interest is in big-data problems wherein there is a large number of variables to optimize. If treated by means of standard distributed optimization algorithms, these large-scale problems may be intractable, due to the prohibitive local computation and communication burden at each node. We propose a novel distributed solution method whereby at each iteration agents optimize and then communicate (in an uncoordinated fashion) only a subset of their decision variables. To deal with non-convexity of the cost function, the novel scheme hinges on Successive Convex Approximation (SCA) techniques coupled with i) a tracking mechanism instrumental to locally estimate gradient averages; and ii) a novel block-wise consensus-based protocol to perform local block-averaging operations and gradient tacking. Asymptotic convergence to stationary solutions of the nonconvex problem is established. Finally, numerical results show the effectiveness of the proposed algorithm and highlight how the block dimension impacts on the communication overhead and practical convergence speed.


title: Nanofocusing of Hyperbolic Phonon-Polaritons in a Tapered Boron Nitride Slab

abstract: Nanofocusing of light offers new technological opportunities for the delivery and manipulation of electromagnetic fields at sub-diffraction limited length scales. Here, we show that hyperbolic phonon polarity,HPP, modes in the mid infrared as supported by a hexagonal boron nitride, h-BN, slab can be nanofocused (i.e. both field enhanced and wavelength compressed) by propagation along a vertical taper. Via numerical simulations, we demonstrate that field enhancement factors of 90, for steep tapers, and wavelength compression of more than an order of magnitude for adiabatic tapers, can be expected. Employing scatteringtype scanning near field optical microscopy ,s SNOM, we provide for the first time proof of principle experimental evidence of a significant HPP wavelength compression. We expect these functionalities to provide diverse applications, from biosensing and non-linear optics to optical circuitry.


title: Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates

abstract: In this paper, we propose a variant of Answer Set Programming (ASP) with evaluable functions that extends their application to sets of objects, something that allows a fully logical treatment of aggregates. Formally, we start from the syntax of First Order Logic with equality and the semantics of Quantified Equilibrium Logic with evaluable functions (QELF). Then, we proceed to incorporate a new kind of logical term, intensional set (a construct commonly used to denote the set of objects characterised by a given formula), and to extend QELF semantics for this new type of expression. In our extended approach, intensional sets can be arbitrarily used as predicate or function arguments or even nested inside other intensional sets, just as regular first-order logical terms. As a result, aggregates can be naturally formed by the application of some evaluable function (count, sum, maximum, etc) to a set of objects expressed as an intensional set. This approach has several advantages. First, while other semantics for aggregates depend on some syntactic transformation (either via a reduct or a formula translation), the QELF interpretation treats them as regular evaluable functions, providing a compositional semantics and avoiding any kind of syntactic restriction. Second, aggregates can be explicitly defined now within the logical language by the simple addition of formulas that fix their meaning in terms of multiple applications of some (commutative and associative) binary operation. For instance, we can use recursive rules to define sum in terms of integer addition. Last, but not least, we prove that the semantics we obtain for aggregates coincides with the one defined by Gelfond and Zhang for the Alog language, when we restrict to that syntactic fragment. (Under consideration for acceptance in TPLP)


title: Acoustic Graphene Plasmon Nanoresonators for Field Enhanced Infrared Molecular Spectroscopy

abstract: Field-enhanced infrared molecular spectroscopy has been widely applied in chemical analysis, environment monitoring, and food and drug safety. The sensitivity of molecular spectroscopy critically depends on the electromagnetic field confinement and enhancement in the sensing elements. Here we propose a concept for sensing, consisting of a graphene plasmonic nanoresonator separated from a metallic film by a nanometric spacer. Such a resonator can support acoustic graphene plasmons, AGPs; that provide ultra-confined electromagnetic fields and strong field enhancement. Compared to conventional plasmons in graphene, AGPs exhibit a much higher spontaneous emission rate, higher sensitivity to the dielectric permittivity inside the AGP nano resonator, and remarkable capability to enhance molecular vibrational fingerprints, of nanoscale analyte samples. Our work opens novel avenues for sensing of ultra-small volume of molecules, as well as for studying enhanced light-matter interaction, e.g. strong coupling applications.


title: Optical Nanoimaging of Hyperbolic Surface Polaritons at the Edges of van der Waals Materials

abstract: yperbolic polaritons in van der Waals materials recently attract a lot of attention, owing to their strong electromagnetic field confinement, ultraslow group velocities and long lifetimes. Typically, volume confined hyperbolic polaritons (HPs) are studied. Here we show the first near-field optical images of hyperbolic surface polarities, HSPs, which are confined and guided at the edges of thin flakes of a vdW material. To that end, we applied scattering-type scanning near-field optical microscopy (s-SNOM) for launching and real-space nanoimaging of hyperbolic surface phonon polariton modes on a hexagonal boron nitride, h-BN, flake. Our imaging data reveal that the fundamental HSP mode exhibits stronger field confinement, smaller group velocities and nearly identical lifetimes, as compared to the fundamental HP mode of the same h-BN flake. Our experimental data, corroborated by theory, establish a solid basis for future studies and applications of HPs and HSPs in vdW materials.


title: Characterization of continuous endomorphisms in the space of entire functions of a given order

abstract: The aim of this paper is to characterize continuous endomorphisms in the space of entire functions of exponential type of order $p>0$. Let $A_p$ denote the space of entire functions of $n$ complex variables $z\in{\mathbb C}^n$ of order $p$ of normal type. We consider an endomorphism $F$ in the space, which is considered to be a DFS-space. We show that there is a unique linear differential operator $P$ of infinite order with coefficients in the space which realizes $F$, that is, $Ff=Pf$ holds for any $f\in A_p$. The coefficients satisfy certain growth conditions and conversely, if a formal differential operator of infinite order with coefficients in $A_p$ satisfy these conditions, then it induces a continuous endomorphism.


title: CAS - CERN Accelerator School: Accelerators for Medical Applications

abstract: These proceedings collate lectures given at the course on Accelerators for Medical Applications, organised by the CERN Accelerator School (CAS). The course was held at the Eventhotel Pyramide, V\"osendorf, Austria from 26 May to 5 June, in collaboration with MedAustron. Following introductory lectures on radiobiological and oncological issues, the basic requirements on accelera- tors and beam delivery are reviewed. The medical applications of linear accelerators, cyclotrons and synchrotrons are then be treated in some detail, followed by lectures on the production and use of radioisotopes and a look at some of the acceleration techniques for the future.


title: Simulation and Optimization of an Astrophotonic Reformatter

abstract: Image slicing is a powerful technique in astronomy. It allows the instrument designer to reduce the slit width of the spectrograph, increasing spectral resolving power whilst retaining throughput. Conventionally this is done using bulk optics, such as mirrors and prisms, however more recently astrophotonic components known as photonic lanterns (PLs) and photonic reformatters have also been used. These devices reformat the multi-mode (MM) input light from a telescope into single-mode (SM) outputs, which can then be re-arranged to suit the spectrograph. The photonic dicer (PD) is one such device, designed to reduce the dependence of spectrograph size on telescope aperture and eliminate modal noise. We simulate the PD, by optimising the throughput and geometrical design using Soapy and BeamProp. The simulated device shows a transmission between 8 and 20 %, depending upon the type of adaptive optics (AO) correction applied, matching the experimental results well. We also investigate our idealised model of the PD and show that the barycentre of the slit varies only slightly with time, meaning that the modal noise contribution is very low when compared to conventional fibre systems. We further optimise our model device for both higher throughput and reduced modal noise. This device improves throughput by 6.4 % and reduces the movement of the slit output by 50%, further improving stability. This shows the importance of properly simulating such devices, including atmospheric effects. Our work complements recent work in the field and is essential for optimising future photonic reformatters.


title: Tracking the nematicity in cuprate superconductors: a resistivity study under uniaxial pressure

abstract: Overshadowing the superconducting dome in hole-doped cuprates, the pseudogap state is still one of the mysteries that no consensus can be achieved. It has been suggested that the rotational symmetry is broken in this state and may result in a nematic phase transition, whose temperature seems to coincide with the onset temperature of the pseudogap state $T^*$ around optimal doping level, raising the question whether the pseudogap results from the establishment of the nematic order. Here we report results of resistivity measurements under uniaxial pressure on several hole-doped cuprates, where the normalized slope of the elastoresistivity $\zeta$ can be obtained as illustrated in iron-based superconductors. The temperature dependence of $\zeta$ along particular lattice axis exhibits kink feature at $T_{k}$ and shows Curie-Weiss-like behavior above it, which may suggest a spontaneous nematic transition. While $T_{k}$ seems to be the same as $T^*$ around the optimal doping and in the overdoped region, they become very different in underdoped La$_{2-x}$Sr$_{x}$CuO$_4$. Our results suggest that the nematic order, if indeed existing, is an electronic phase within the pseudogap state.


title: Strengthening weak measurements of qubit out-of-time-order correlators

abstract: For systems of controllable qubits, we provide a method for experimentally obtaining a useful class of multitime correlators using sequential generalized measurements of arbitrary strength. Specifically, if a correlator can be expressed as an average of nested (anti)commutators of operators that square to the identity, then that correlator can be determined exactly from the average of a measurement sequence. As a relevant example, we provide quantum circuits for measuring multiqubit out-of-time-order correlators using optimized control-Z or ZX-90 two-qubit gates common in superconducting transmon implementations.


title: Endogenous growth - A dynamic technology augmentation of the Solow model

abstract: In this paper, I endeavour to construct a new model, by extending the classic exogenous economic growth model by including a measurement which tries to explain and quantify the size of technological innovation ( A ) endogenously. I do not agree technology is a "constant" exogenous variable, because it is humans who create all technological innovations, and it depends on how much human and physical capital is allocated for its research. I inspect several possible approaches to do this, and then I test my model both against sample and real world evidence data. I call this method "dynamic" because it tries to model the details in resource allocations between research, labor and capital, by affecting each other interactively. In the end, I point out which is the new residual and the parts of the economic growth model which can be further improved.


title: Chance Constrained Optimal Power Flow Using the Inner-Outer Approximation Approach

abstract: In recent years, there has been a huge trend to penetrate renewable energy sources into energy networks. However, these sources introduce uncertain power generation depending on environmental conditions. Therefore, finding 'optimal' and 'feasible' operation strategies is still a big challenge for network operators and thus, an appropriate optimization approach is of utmost importance. In this paper, we formulate the optimal power flow (OPF) with uncertainties as a chance constrained optimization problem. Since uncertainties in the network are usually 'non-Gaussian' distributed random variables, the chance constraints cannot be directly converted to deterministic constraints. Therefore, in this paper we use the recently-developed approach of inner-outer approximation to approximately solve the chance constrained OPF. The effectiveness of the approach is shown using DC OPF incorporating uncertain non-Gaussian distributed wind power.


title: Total Functions in QMA

abstract: The complexity class QMA is the quantum analog of the classical complexity class NP. The functional analogs of NP and QMA, called functional NP (FNP) and functional QMA (FQMA), consist in either outputting a (classical or quantum) witness, or outputting NO if there does not exist a witness.The classical complexity class Total Functional NP (TFNP) is the subset of FNP for which it can be shown that the NO outcome never occurs. TFNP includes many natural and important problems. In the present work we introduce the complexity class of Total Functional QMA (TFQMA), the quantum analog of TFNP. We show that FQMA and TFQMA can be defined in such a way that they do not depend on the values of the completeness and soundness probabilities. In so doing we introduce new notions such as the eigenbasis and spectrum of a quantum verification procedure which are of interest by themselves. We then provide examples of problems that lie in TFQMA, coming from areas such as the complexity of k-local Hamiltonians and public key quantum money. In the context of black-box groups, we note that Group Non-Membership, which was known to belong to QMA, in fact belongs to TFQMA. We also provide a simple oracle with respect to which we have a separation between FBQP and TFQMA. In the conclusion we discuss the relation between TFQMA, public key quantum money, and the complexity of quantum states.


title: Regularity theory for nonautonomous Maxwell equations with perfectly conducting boundary conditions

abstract: In this work we study linear Maxwell equations with time- and space-dependent matrix-valued permittivity and permeability on domains with a perfectly conducting boundary. This leads to an initial boundary value problem for a first order hyperbolic system with characteristic boundary. We prove a priori estimates for solutions in $H^m$. Moreover, we show the existence of a unique $H^m$-solution if the coefficients and the data are accordingly regular and satisfy certain compatibility conditions. Since the boundary is characteristic for the Maxwell system, we have to exploit the divergence conditions in the Maxwell equations in order to derive the energy-type $H^m$-estimates. The combination of these estimates with several regularization techniques then yields the existence of solutions in $H^m$.