title: Vector Learning for Cross Domain Representations

abstract: Recently, generative adversarial networks have gained a lot of popularity for image generation tasks. However, such models are associated with complex learning mechanisms and demand very large relevant datasets. This work borrows concepts from image and video captioning models to form an image generative framework. The model is trained in a similar fashion as recurrent captioning model and uses the learned weights for image generation. This is done in an inverse direction, where the input is a caption and the output is an image. The vector representation of the sentence and frames are extracted from an encoder-decoder model which is initially trained on similar sentence and image pairs. Our model conditions image generation on a natural language caption. We leverage a sequence-to-sequence model to generate synthetic captions that have the same meaning for having a robust image generation. One key advantage of our method is that the traditional image captioning datasets can be used for synthetic sentence paraphrases. Results indicate that images generated through multiple captions are better at capturing the semantic meaning of the family of captions.


title: Efficient Dictionary Learning with Gradient Descent

abstract: Randomly initialized first-order optimization algorithms are the method of choice for solving many high-dimensional nonconvex problems in machine learning, yet general theoretical guarantees cannot rule out convergence to critical points of poor objective value. For some highly structured nonconvex problems however, the success of gradient descent can be understood by studying the geometry of the objective. We study one such problem -- complete orthogonal dictionary learning, and provide converge guarantees for randomly initialized gradient descent to the neighborhood of a global optimum. The resulting rates scale as low order polynomials in the dimension even though the objective possesses an exponential number of saddle points. This efficient convergence can be viewed as a consequence of negative curvature normal to the stable manifolds associated with saddle points, and we provide evidence that this feature is shared by other nonconvex problems of importance as well.


title: Improved Search for Heavy Neutrinos and a Test of Lepton Universality in the Decay $\pi^+ \rightarrow \mbox{e}^+ \nu$

abstract: Two results from the PIENU Experiment are presented reporting a test of lepton universality in pion decay and improved limits on heavy neutrinos coupling to positrons. The status of the full analysis for the $\pi^+ \rightarrow \mbox{e}^+ \nu$ branching ratio measurement is summarized.


title: Smooth Inter-layer Propagation of Stabilized Neural Networks for Classification

abstract: Recent work has studied the reasons for the remarkable performance of deep neural networks in image classification. We examine batch normalization on the one hand and the dynamical systems view of residual networks on the other hand. Our goal is in understanding the notions of stability and smoothness of the inter-layer propagation of ResNets so as to explain when they contribute to significantly enhanced performance. We postulate that such stability is of importance for the trained ResNet to transfer.


title: Numerical Evidence Invalidating Finite-Temperature Many-Body Perturbation Theory

abstract: Low-order perturbation corrections to the electronic grand potential, internal energy, chemical potential, and entropy of a gas of noninteracting, identical molecules at a nonzero temperature are determined numerically as the $\lambda$-derivatives of the respective quantity calculated exactly (by thermal full configuration interaction) with a perturbation-scaled Hamiltonian, $\hat{H}_0 + \lambda\hat{V}$. The data thus obtained from the core definition of any perturbation theory serve as a benchmark against which analytical formulas can be validated. The first- and second-order corrections from finite-temperature many-body perturbation theory disagree with these benchmark data. This is because the theory neglects the variation of chemical potential with $\lambda$, thereby failing to converge at the exact, full-interaction ($\lambda=1$) limit, unless the exact chemical potential is known in advance. The renormalized finite-temperature perturbation theory [S. Hirata and X. He, J. Chem. Phys., 138, 204112 (2013)] is also found to be incorrect.


title: INO: Interplanetary Network of Optical Lattice Clocks

abstract: The new technique of measuring frequency by optical lattice clocks now approaches to the relative precision of $(\Delta f/f)=O(10^{-18})$. We propose to place such precise clocks in space and to use Doppler tracking method for detecting low-frequency gravitational wave below 1 Hz. Our idea is to locate three spacecrafts at one A.U. distance (say at L1, L4 & L5 of the Sun-Earth orbit), and apply the Doppler tracking method by communicating "the time" each other. Applying the current available technologies, we obtain the sensitivity for gravitational wave with three or four-order improvement ($h_{\rm n}\sim 10^{-17}$ or $10^{-18}$ level in $10^{-5}$Hz -- $1$ Hz) than that of Cassini spacecraft in 2001. This sensitivity enables us to observe black-hole mergers of their mass greater than $10^5 M_\odot$ in the cosmological scale. Based on the hierarchical growth model of black-holes in galaxies, we estimate the event rate of detection will be 20-50 a year. We nickname "INO" (Interplanetary Network of Optical Lattice Clocks) for this system, named after Tadataka Ino (1745--1818), a Japanese astronomer, cartographer, and geodesist.

categories: astro-ph.IM astro-ph.GA gr-qc physics.ins-det


title: Improved Bound on Sets Including No Sunflower with Three Petals

abstract: A sunflower with $k$ petals, or $k$-sunflower, is a family of $k$ sets every two of which have a common intersection. Known since 1960, the sunflower conjecture states that a family ${\mathcal F}$ of sets each of cardinality $m$ includes a $k$-sunflower if $|{\mathcal F}| \ge c_k^m$ for some $c_k \in {\mathbb R}_{>0}$ depending only on $k$. The case $k=3$ of the conjecture was especially emphasized by Erd\"os, for which Kostochka's bound $c m! \left( \frac{\log \log \log m}{\log \log m} \right)^m$ on $|{\mathcal F}|$ without a 3-sunflower had been the best-known since 1997 until the recent development to update it to $c \log m$. This paper proves with an entirely different combinatorial approach that ${\mathcal F}$ includes three mutually disjoint sets if it satisfies the $\Gamma \left( c m^{\frac{1}{2}+ \delta} \right)$-condition for any given $\delta \in (0, 1/2)$. Here $c$ is a constant depending only on $\delta$, and the $\Gamma$-condition refers to \[ | \left\{ U~:~ U \in {\mathcal F} \textrm{~and~} S \subset U \right\}| < \left( c m^{\frac{1}{2}+ \delta} \right)^{-|S|} |{\mathcal F}|, \] for every nonempty set $S$. This poses an alternative proof of the 3-sunflower bound $\left( c m^{\frac{1}{2}+ \delta} \right)^m$.


title: Realization of a scalable Laguerre-Gaussian mode sorter based on a robust radial mode sorter

abstract: The transverse structure of light is recognized as a resource that can be used to encode information onto photons and has been shown to be useful to enhance communication capacity as well as resolve point sources in superresolution imaging. The Laguerre-Gaussian (LG) modes form a complete and orthonormal basis set and are described by a radial index p and an orbital angular momentum (OAM) index l. Earlier works have shown how to build a sorter for the radial index p or/and the OAM index l of LG modes, but a scalable and dedicated LG mode sorter which simultaneous determinate p and l is immature. Here we propose and experimentally demonstrate a scheme to accomplish complete LG mode sorting, which consists of a novel, robust radial mode sorter that can be used to couple radial modes to polarizations, an l-dependent phase shifter and an OAM mode sorter. Our scheme is in principle efficient, scalable, and crosstalk-free, and therefore has potential for applications in optical communications, quantum information technology, superresolution imaging, and fiber optics.


title: The global sections of chiral de Rham complexes on compact Ricci-flat K\"ahler manifolds

abstract: The space of the global sections of chiral de Rham complex on a compact Ricci-flat K\"ahler manifold is calculated and it is expressed as an invariant subspace of a $\beta\gamma-bc$ system under the action of certain Lie algebra.


title: Relation between the Turnaround radius and virial mass in $f(R)$ model

abstract: We investigate the relationship between the turnaround radius ($R_t$) and the virial mass ($M_v$) of cosmic structures in the context of $\Lambda$CDM model and in an $f(R)$ model of modified gravity -- namely, the Hu-Sawicki model. The $R_t$ is the distance from the center of the cosmic structure to the shell that is detaching from the Hubble flow at a given time, while the $M_v$ is defined, for this work, as the mass enclosed within the volume where the density is $200$ times the background density. We consider that gravitationally bound astrophysical systems follow a Navarro-Frenk-White density profile, while beyond the virial radius ($R_v$) the profile is approximated by the 2-halo term of the matter correlation function. By combining them together with the information drawn from solving the spherical collapse for the structures, we are able to connect two observables: the $R_t$ and the $M_v$. We show that, in $\Lambda$CDM, the turnaround mass ($M_t$) at $z=0$ is related to the $M_v$ of that same structure by $M_t \simeq 3.07 \, M_v$, while in terms of the radii we have that $R_t \simeq 3.7 \, R_v$ (for $M_v$ of $10^{13} \, h^{-1} \, M_\odot$). In the $f(R)$ model, we have $M_t \simeq 3.43 \, M_v$ and $R_t \simeq 4.1 \, R_v$, for $|f_{R0}|=10^{-6}$ and the same mass scale. Therefore, the difference between $\Lambda$CDM and $f(R)$ in terms of these observable relations is of order $\sim 10-20\%$ even for a relatively mild strength of the modification of gravity ($|f_{R0}|=10^{-6}$). For the $R_t$ itself we find a difference of $\sim 9\%$ between the weakly modification in gravity considered in this work ($|f_{R0}|=10^{-6}$) and $\Lambda$CDM for a mass of $10^{13} \, h^{-1} \, M_\odot$. Once observations allow precisions of this order or better in measurements $R_t$, as well as the $M_v$, these quantities will become powerful tests of modified gravity.


title: Thermal Modeling, Heat Mitigation, and Radiative Cooling for Double-Clad Fiber Amplifiers

abstract: We report a detailed formalism aimed at the thermal modeling and heat mitigation in high-power double-clad fiber amplifiers. Closed form analytical formulas are developed that take into account the spatial profile of the amplified signal and pump in the double-clad geometry, the presence of the amplified spontaneous emission, and the possibility of radiative cooling due to anti-Stokes fluorescence emission. The formalism is applied to a high-power Yb-doped silica fiber amplifier. The contributions to the heat-load from the pump-signal quantum defect, as well as the pump and signal parasitic absorptions are compared to the radiative cooling. It is shown that for realistic cases, the local heat generation in kiloWatt-class fiber amplifiers is either dominated by the quantum defect or the parasitic absorption depending on the pump wavelength. In conventional designs, radiative cooling can be substantial only in properly designed amplifiers, when the pump power is tens of watts or lower, unless the parasitic absorption is reduced compared to the commonly reported values in the literature. We also explore the impact of the non-ideal quantum efficiency of the gain material. The developed formalism can be used to design fiber amplifiers and lasers for optimal heat mitigation, especially due to radiative cooling.


title: Computation of Gross-Keating invariants

abstract: The Gross-Keating invariant of a half-integral matrix over a $p$-adic integer ring is a fundamental concept in the study of quadratic forms, and has important applications to Siegel modular forms and arithmetic geometry. We introduce the Mathematica package computeGK, a computer program for calculating the Gross-Keating invariant and the Siegel series of a half-integral matrix over $\mathbb{Z}_p$, as well as other related quantities. As a by-product, we obtain a table of the arithmetic intersection numbers related to the classical modular polynomials using the explicit formula of Gross and Keating.


title: Iterative Document Representation Learning Towards Summarization with Polishing

abstract: In this paper, we introduce Iterative Text Summarization (ITS), an iteration-based model for supervised extractive text summarization, inspired by the observation that it is often necessary for a human to read an article multiple times in order to fully understand and summarize its contents. Current summarization approaches read through a document only once to generate a document representation, resulting in a sub-optimal representation. To address this issue we introduce a model which iteratively polishes the document representation on many passes through the document. As part of our model, we also introduce a selective reading mechanism that decides more accurately the extent to which each sentence in the model should be updated. Experimental results on the CNN/DailyMail and DUC2002 datasets demonstrate that our model significantly outperforms state-of-the-art extractive systems when evaluated by machines and by humans.


title: Being Corrupt Requires Being Clever, But Detecting Corruption Doesn't

abstract: We consider a variation of the problem of corruption detection on networks posed by Alon, Mossel, and Pemantle '15. In this model, each vertex of a graph can be either truthful or corrupt. Each vertex reports about the types (truthful or corrupt) of all its neighbors to a central agency, where truthful nodes report the true types they see and corrupt nodes report adversarially. The central agency aggregates these reports and attempts to find a single truthful node. Inspired by real auditing networks, we pose our problem for arbitrary graphs and consider corruption through a computational lens. We identify a key combinatorial parameter of the graph $m(G)$, which is the minimal number of corrupted agents needed to prevent the central agency from identifying a single truthful node. We give an efficient (in fact, linear time) algorithm for the central agency to identify a truthful node that is successful whenever the number of corrupt nodes is less than $m(G)/2$. On the other hand, we prove that for any constant $\alpha > 1$, it is NP-hard to find a subset of nodes $S$ in $G$ such that corrupting $S$ prevents the central agency from finding one truthful node and $|S| \leq \alpha m(G)$, assuming the Small Set Expansion Hypothesis (Raghavendra and Steurer, STOC '10). We conclude that being corrupt requires being clever, while detecting corruption does not. Our main technical insight is a relation between the minimum number of corrupt nodes required to hide all truthful nodes and a certain notion of vertex separability for the underlying graph. Additionally, this insight lets us design an efficient algorithm for a corrupt party to decide which graphs require the fewest corrupted nodes, up to a multiplicative factor of $O(\log n)$.


title: Boosting Trust Region Policy Optimization by Normalizing Flows Policy

abstract: We propose to improve trust region policy search with normalizing flows policy. We illustrate that when the trust region is constructed by KL divergence constraints, normalizing flows policy generates samples far from the 'center' of the previous policy iterate, which potentially enables better exploration and helps avoid bad local optima. Through extensive comparisons, we show that the normalizing flows policy significantly improves upon baseline architectures especially on high-dimensional tasks with complex dynamics.


title: Systolic geometry of translation surfaces

abstract: In this paper we investigate the systolic landscape of translation surfaces for fixed genus and fixed angles of their cone points. We furthermore study how the systoles of a translation surface relate to the systoles of its graph of saddle connections. This allows us to develop an algorithm to compute the systolic ratio of origamis in the stratum $\mathcal{H}(1,1)$. We compute the maximal systolic ratio of all origamis in $\mathcal{H}(1,1)$ with up to 67 squares. These computations support a conjecture of Judge and Parlier about the maximal systolic ratio in $\mathcal{H}(1,1)$.


title: Diagnostics in Semantic Segmentation

abstract: Over the past years, computer vision community has contributed to enormous progress in semantic image segmentation, a per-pixel classification task, crucial for dense scene understanding and rapidly becoming vital in lots of real-world applications, including driverless cars and medical imaging. Most recent models are now reaching previously unthinkable numbers (e.g., 89% mean iou on PASCAL VOC, 83% on CityScapes), and, while intersection-over-union and a range of other metrics provide the general picture of model performance, in this paper we aim to extend them into other meaningful and important for applications characteristics, answering such questions as 'how accurate the model segmentation is on small objects in the general scene?', or 'what are the sources of uncertainty that cause the model to make an erroneous prediction?'. Besides establishing a methodology that covers the performance of a single model from different perspectives, we also showcase several extensions that can be worth pursuing in order to further improve current results in semantic segmentation.


title: Evaluation of Ride-Sourcing Search Frictions and Driver Productivity: A Spatial Denoising Approach

abstract: This paper considers the problem of measuring spatial and temporal variation in driver productivity on ride-sourcing trips. This variation is especially important from a driver's perspective: if a platform's drivers experience systematic disparities in earnings because of variation in their riders' destinations, they may perceive the pricing model as inequitable. This perception can exacerbate search frictions if it leads drivers to avoid locations where they believe they may be assigned "unlucky" fares. To characterize any such systematic disparities in productivity, we develop an analytic framework with three key components. First, we propose a productivity metric that looks two consecutive trips ahead, thus capturing the effect on expected earnings of market conditions at drivers' drop-off locations. Second, we develop a natural experiment by analyzing trips with a common origin but varying destinations, thus isolating purely spatial effects on productivity. Third, we apply a spatial denoising method that allows us to work with raw spatial information exhibiting high levels of noise and sparsity, without having to aggregate data into large, low-resolution spatial zones. By applying our framework to data on more than 1.4 million rides in Austin, Texas, we find significant spatial variation in ride-sourcing driver productivity and search frictions. Drivers at the same location experienced disparities in productivity after being dispatched on trips with different destinations, with origin-based surge pricing increasing these earnings disparities. Our results show that trip distance is the dominant factor in driver productivity: short trips yielded lower productivity, even when ending in areas with high demand. These findings suggest that new pricing strategies are required to minimize random disparities in driver earnings.


title: Variance reduction properties of the reparameterization trick

abstract: The reparameterization trick is widely used in variational inference as it yields more accurate estimates of the gradient of the variational objective than alternative approaches such as the score function method. Although there is overwhelming empirical evidence in the literature showing its success, there is relatively little research exploring why the reparameterization trick is so effective. We explore this under the idealized assumptions that the variational approximation is a mean-field Gaussian density and that the log of the joint density of the model parameters and the data is a quadratic function that depends on the variational mean. From this, we show that the marginal variances of the reparameterization gradient estimator are smaller than those of the score function gradient estimator. We apply the result of our idealized analysis to real-world examples.


title: Nanoinstabilities of Cu2O porous nanostructured films as driven by nanocurvature effect and thermal activation effect

abstract: In this work, the instabilities at the nanoscale (i.e. nanoinstabilities) of triangular pyramids-like Cu2O porous nanostructured films (PNFs) are studied by heating treatments under different atmosphere and temperature. It is found that the nanoscale building triangular-pyramids turn round preferentially at the sharp angles and/or coalesce with their contacting ones by directional diffusion and plastic flow of atoms, which are driven by the nonuniformly-distributed surface nanocurvature. As a result, the triangular pyramids become quasi-sphere shape and the PNF evolves into a big, dense particles film. It is also observed that the heating or thermal activation effect efficiently promotes the reduction or oxidation of Cu2O pyramids and the crystallization or growth of the as-achieved Cu or CuO grains. The above physical and chemical instabilities or changes at the nanoscale of Cu2O PNFs can be well accounted for by the combined mechanism of nanocurvature effect and thermal activation effect. The nanocurvature effect can lower the energy barrier for the atom diffusion or plastic flow and lower the activation energy for the chemical reactions, while the thermal activation effect can supply the required kinetic energy or activation energy and make the atomic transportations and reactions kinetically possible. The findings reveal the evolution laws of morphology, crystal structure and composition of triangular pyramids-like Cu2O PNF during heating treatments, which can further be extended to other types of Cu2O PNFs. Also, the findings have important implications for the nanoinstabilities of Cu2O PNFs-based devices, especially those working at a high temperature.


title: Commensurability growths of algebraic groups

abstract: Fixing a subgroup $\Gamma$ in a group $G$, the full commensurability growth function assigns to each $n$ the cardinality of the set of subgroups $\Delta$ of $G$ with $[\Gamma: \Gamma \cap \Delta][\Delta : \Gamma \cap \Delta] \leq n$. For pairs $\Gamma \leq G$, where $G$ is a Chevalley group scheme defined over $\mathbb{Z}$ and $\Gamma$ is an arithmetic lattice in $G$, we give precise estimates for the full commensurability growth, relating it to subgroup growth and a computable invariant that depends only on $G$.


title: Using Autoencoders To Learn Interesting Features For Detecting Surveillance Aircraft

abstract: This paper explores using a Long short-term memory (LSTM) based sequence autoencoder to learn interesting features for detecting surveillance aircraft using ADS-B flight data. An aircraft periodically broadcasts ADS-B (Automatic Dependent Surveillance - Broadcast) data to ground receivers. The ability of LSTM networks to model varying length time series data and remember dependencies that span across events makes it an ideal candidate for implementing a sequence autoencoder for ADS-B data because of its possible variable length time series, irregular sampling and dependencies that span across events.


title: NP-hard problems naturally arising in knot theory

abstract: We prove that certain problems naturally arising in knot theory are NP--hard or NP--complete. These are the problems of obtaining one diagram from another one of a link in a bounded number of Reidemeister moves, determining whether a link has an unlinking or splitting number $k$, finding a $k$-component unlink as a sublink, and finding a $k$-component alternating sublink.


title: Infrared activation of the Higgs mode by supercurrent injection in superconducting NbN

abstract: Higgs mode in superconductors, i.e. the collective amplitude mode of the order parameter does not associate with charge nor spin fluctuations, therefore it does not couple to the electromagnetic field in the linear response regime. On the contrary to this common understanding, here, we demonstrate that, if the dc supercurrent is introduced into the superconductor, the Higgs mode becomes infrared active and is directly observed in the linear optical conductivity measurement. We observed a sharp resonant peak at $\omega=2\Delta$ in the optical conductivity spectrum of a thin-film NbN in the presence of dc supercurrent, showing a reasonable agreement with the recent theoretical prediction. The method as proven by this work opens a new pathway to study the Higgs mode in a wide variety of superconductors.


title: Multi-task Learning for Financial Forecasting

abstract: Financial forecasting is challenging and attractive in machine learning. There are many classic solutions, as well as many deep learning based methods, proposed to deal with it yielding encouraging performance. Stock time series forecasting is the most representative problem in financial forecasting. Due to the strong connections among stocks, the information valuable for forecasting is not only included in individual stocks, but also included in the stocks related to them. However, most previous works focus on one single stock, which easily ignore the valuable information in others. To leverage more information, in this paper, we propose a jointly forecasting approach to process multiple time series of related stocks simultaneously, using multi-task learning framework. Compared to the previous works, we use multiple networks to forecast multiple related stocks, using the shared and private information of them simultaneously through multi-task learning. Moreover, we propose an attention method learning an optimized weighted combination of shared and private information based on the idea of Capital Asset Pricing Model (CAPM) to help forecast. Experimental results on various data show improved forecasting performance over baseline methods.


title: Towards TUCAN's Search for the Neutron Electric Dipole Moment

abstract: The TRIUMF ultracold advanced neutron (TUCAN) collaboration is a transpacific collaboration with the objective to measure the neutron electric dipole moment. We aim for an unprecedented sensitivity of $10^{-27}\,e$cm, an improvement by a factor of 30 over the current upper limit for this elusive quantity. To achieve this goal, we are planning a next-generation source for ultracold neutrons, based on a new, dedicated neutron spallation source at TRIUMF, liquid deuterium as cold moderator, and superfluid helium as ultracold-neutron converter. To operate at the full beam power of 20$\,$kW, a $^3$He fridge will provide a cooling power of 10$\,$W at 0.8$\,$K, cooling the converter to a temperature of 1.1$\,$K.


title: Spiders and Generalized Confluence

abstract: Given a semisimple Lie algebra $\mathfrak{g}$, we can represent invariants of tensor products of fundamental representations of the quantum enveloping algebra $U_q(\mathfrak{g})$ using particular directed graphs called webs. In particular webs are trivalent graphs (with leaves) whose edges are labeled by fundamental representations. Picking generating morphisms and relators we can construct a presentation of the representation category. We examine the properties of this presentation in the case of rank $3$ spiders and certain higher rank non-simple spiders. In particular, we prove a PBW-type theorem in the case of $\mathfrak{sl}_4$, $(\mathfrak{sl}_2)^n$, and $\mathfrak{sl}_2 \oplus \mathfrak{sl}_3$ and also give counterexamples showing that no such result is true in the case of $(\mathfrak{sl}_2)^2 \oplus \mathfrak{sl}_3$ and $\mathfrak{sl}_3 \oplus \mathfrak{sl}_3$. Nevertheless we rephrase the PBW-type theorem as a degeneration of a particular spectral sequence, and prove that this spectral sequence converges on the second page for $(\mathfrak{sl}_2)^n \oplus \mathfrak{sl}_3$, giving generalized and weaker form of confluence. We then apply the above results to the geometry of the Euclidean building in the case of $\mathfrak{sl}_4$ and $(\mathfrak{sl}_2)^n$. In particular, we prove an upper triangularity result with respect to the geometric Satake basis for $\mathfrak{sl}_4$, improving the results of Fontaine in \cite{fontaine:generating}. Finally we give a geometric interpretation of webs as minimal combinatorial disks in the Euclidean building, reinterpreting many of the combinatorial results of paper in geometric terms.


title: Optimal diffusion in ecological dynamics with Allee effect in a metapopulation

abstract: How diffusion impacts on ecological dynamics under the Allee effect and spatial constraints? That is the question we address. Employing a microscopic minimal model in a metapopulation (without imposing nonlinear birth and death rates) we evince --- both numerically and analitically --- the emergence of an optimal diffusion that maximises the survival probability. Even though, at first such result seems counter-intuitive, it has empirical support from recent experiments with engineered bacteria. Moreover, we show that this optimal diffusion disappears for loose spatial constraints.


title: An oracle-based projection and rescaling algorithm for linear semi-infinite feasibility problems and its application to SDP and SOCP

abstract: We point out that Chubanov's oracle-based algorithm for linear programming [5] can be applied almost as it is to linear semi-infinite programming (LSIP). In this note, we describe the details and prove the polynomial complexity of the algorithm based on the real computation model proposed by Blum, Shub and Smale (the BSS model) which is more suitable for floating point computation in modern computers. The adoption of the BBS model makes our description and analysis much simpler than the original one by Chubanov [5]. Then we reformulate semidefinite programming (SDP) and second-order cone programming (SOCP) into LSIP, and apply our algorithm to obtain new complexity results for computing interior feasible solutions of homogeneous SDP and SOCP.


title: Deep Graph Infomax

abstract: We present Deep Graph Infomax (DGI), a general approach for learning node representations within graph-structured data in an unsupervised manner. DGI relies on maximizing mutual information between patch representations and corresponding high-level summaries of graphs---both derived using established graph convolutional network architectures. The learnt patch representations summarize subgraphs centered around nodes of interest, and can thus be reused for downstream node-wise learning tasks. In contrast to most prior approaches to unsupervised learning with GCNs, DGI does not rely on random walk objectives, and is readily applicable to both transductive and inductive learning setups. We demonstrate competitive performance on a variety of node classification benchmarks, which at times even exceeds the performance of supervised learning.


title: Maximizing spectral radius and number of spanning trees in bipartite graphs

abstract: The problems of maximizing the spectral radius and the number of spanning trees in a class of bipartite graphs with certain degree constraints are considered. In both the problems, the optimal graph is conjectured to be a Ferrers graph. Known results towards the resolution of the conjectures are described. We give yet another proof of a formula due to Ehrenborg and van Willigenburg for the number of spanning trees in a Ferrers graph. The main tool is a result which gives several necessary and sufficient conditions under which the removal of an edge in a graph does not affect the resistance distance between the end-vertices of another edge.


title: Competing rhombohedral and monoclinic crystal structures in Mn$Pn_2Ch_4$ compounds: an {\em ab-initio} study

abstract: Based on the relativistic spin-polarized density functional theory calculations we investigate the crystal structure, electronic and magnetic properties of a family MnPn2Ch4 compounds, where pnictogen metal atoms (Pn) are Sb and Bi; chalcogens (Ch) are Se, Te. We show that in the series the compounds of this family with heavier elements prefer to adopt rhombohedral crystal structure composed of weakly bonded septuple monoatomic layers while those with lighter elements tend to be in the monoclinic structure. Irrespective of the crystal structure all compounds of the MnPn2Ch4 series demonstrate a weak energy gain (of a few meV per formula unit or even smaller than meV) for antiferromagnetic (AFM) coupling for magnetic moments on Mn atoms with respect to their ferromagnetic (FM) state. For rhombohedral structures the interlayer AFM coupling is preferable while in monoclinic phases intralayer AFM configuration with ferromagnetic ordering along the Mn chain and antiferromagnetic ordering between the chains has a minimum energy. Over the series the monoclinic compounds are characterized by substantially wider bandgap than compounds with rhombohedral structure.


title: Stability Conditions and Exceptional Objects in Triangulated Categories

abstract: The goal of this paper is to study the subspace of stability condition $\Sigma_{\mathcal{E}}\subset \mathrm{Stab}(X)$ associated to an exceptional collection $\mathcal{E}$ on a projective variety $X$. Following Emanuele Macr\`{i}'s approach, we show a certain correspondence between the homotopy class of continuous loops in $\Sigma_{\mathcal{E}}$ and words of the braid group. In particular, we prove that in the case $X=\mathbb{P}^3$ and $\mathcal{E}=\{\mathcal{O},\mathcal{O}(1),\mathcal{O}(2),\mathcal{O}(3)\}$, the space $\Sigma_{\mathcal{E}}$ is a connected and simply connected 4-dimensional manifold.


title: Optimized fringe removal algorithm for absorption images

abstract: Optical absorption imaging is a basic detection technique for obtaining information from matter waves, in which the absorption signal can be obtained by comparing the recorded detection light field with the light field in the presence of absorption, thereby giving the spatial distribution of the atoms. The noise in detection arises mainly from differences between the two recorded light field distributions, which is difficult to avoid in experiments. In this work, we present an optimized fringe removal algorithm, developing a method to generate an ideal reference light field, avoiding the noise generated by the light field difference, and suppressing the noise signal to the theoretical limit. Using principal component analysis, we explore the optimal calculation area and how to remove noise information from the basis to allow optimal performance and speed. As an example, we consider scattering atomic peaks with a small number of atoms in a triangular lattice. Compared with the conventional processing method, our algorithm can reduce the measured atomic temperature variance by more than three times, giving a more reliable result.


title: The Spatial Correlation of Bent-Tail Galaxies and Galaxy Clusters

abstract: We have completed a deep radio continuum survey covering 86 square degrees of the Spitzer-South Pole Telescope deep field to test whether bent-tail galaxies are associated with galaxy clusters. We present a new catalogue of 22 bent-tail galaxies and a further 24 candidate bent-tail galaxies. Surprisingly, of the 8 bent-tail galaxies with photometric redshifts, only two are associated with known clusters. While the absence of bent-tail sources in known clusters may be explained by effects such as sensitivity, the absence of known clusters associated with most bent-tail galaxies casts doubt upon current models of bent-tail galaxies.


title: Quantifying Density Errors in DFT

abstract: We argue that any general mathematical measure of density error, no matter how reasonable, is too arbitrary to be of universal use. However the energy functional itself provides a universal relevant measure of density errors. For the self-consistent density of any Kohn-Sham calculation with an approximate functional, the theory of density-corrected density functional theory (DC-DFT) provides an accurate, practical estimate of this ideal measure. We show how to estimate the significance of the density-driven error even when exact densities are unavailable. In cases with large density errors, the amount of exchange-mixing is often adjusted, but we show this is unnecessary. Many chemically relevant examples are given.


title: Observation of band crossings protected by nonsymmorphic symmetry in the layered ternary telluride Ta3SiTe6

abstract: We have performed angle-resolved photoemission spectroscopy of layered ternary telluride Ta3SiTe6 which is predicted to host nodal lines associated with nonsymmorphic crystal symmetry. We found that the energy bands in the valence-band region show Dirac-like dispersions which present a band degeneracy at the R point of the bulk orthorhombic Brillouin zone. This band degeneracy extends one-dimensionally along the whole SR high-symmetry line, forming the nodal lines protected by the glide mirror symmetry of the crystal. We also observed a small band splitting near EF which supports the existence of hourglass-type dispersions predicted by the calculation. The present results provide an excellent opportunity to investigate the interplay between exotic nodal fermions and nonsymmorphic crystal symmetry.


title: Electromagnetic-radiation effects on alpha decay

abstract: The effect of the electromagnetic radiation on the spontaneous charge emission from heavy atomic nuclei is estimated in a model which may be relevant for proton emission and alpha-particle decay in laser fields. Arguments are given that the electronic cloud in heavy atoms screens appreciably the electric field acting on the nucleus and the nucleus "sees" rather low fields. In these conditions, it is shown that the electromagnetic radiation brings second-order corrections in the electric field to the disintegration rate, with a slight anisotropy. These corrections give a small enhancement of the disintegration rate. The case of a static electric field is also discussed.


title: Electrical property of Half Metallic Ferromagnet Pr0.95Mn0.939O3

abstract: Half metallic ferromagnetic compounds (HMF) are intensively explored for their potential in spintronics application. According to theoretical studies, HMF are those materials where the conduction mechanism is due to one type of spin state, either up or down. Band theory strongly predicts that Praseodymium (Pr) based transition metal compound (TMC) is HMF whose electrical properties are a consequence of the contribution from both the 4f and 3d orbitals of Pr and TMC ions. Hence, an investigation has been made by preparing Pr0.95Mn0.939O3 by ball milling assisted sintering process. The phase confirmation of the prepared compound is carried out using X-Ray diffraction technique. Impedance analysis with respect to temperature indicates a decreasing trend in electrical conductivity with respect to temperature, confirming the semiconductor behaviour of the sample. This may be due to the consequence of the interaction of 4f and 3d orbitals of the rare-earth (Pr) and transition metal compound (Manganese).


title: Structure of Mordell-Weil groups over \mathbb{Z}_p-extensions

abstract: We study the \Lambda-module structure of the Mordell-Weil, Selmer, and Tate-Shafarevich groups of an abelian variety over \mathbb{Z}_p-extensions.


title: Multi-View Frame Reconstruction with Conditional GAN

abstract: Multi-view frame reconstruction is an important problem particularly when multiple frames are missing and past and future frames within the camera are far apart from the missing ones. Realistic coherent frames can still be reconstructed using corresponding frames from other overlapping cameras. We propose an adversarial approach to learn the spatio-temporal representation of the missing frame using conditional Generative Adversarial Network (cGAN). The conditional input to each cGAN is the preceding or following frames within the camera or the corresponding frames in other overlapping cameras, all of which are merged together using a weighted average. Representations learned from frames within the camera are given more weight compared to the ones learned from other cameras when they are close to the missing frames and vice versa. Experiments on two challenging datasets demonstrate that our framework produces comparable results with the state-of-the-art reconstruction method in a single camera and achieves promising performance in multi-camera scenario.


title: Investigation of deep levels in CdZnTeSe crystal and their effect on the internal electric field of CdZnTeSe gamma-ray detector

abstract: We present a study of deep levels in CdZnTeSe radiation-detection materials. The approach relies on electrical methods that combine time and temperature evolution of the electric field and electric current after switching on the bias voltage. We also applied two optical methods to study the deep levels. The first method utilizes the temperature and temporal analysis of the electric-field evolution after switching off an additional light illuminating the sample at a wavelength of 940 nm. The second method involved measuring of the electric-field spectral dependence during near infrared illumination. We compare the results with those obtained with high-quality CdZnTe detector-grade material. We conclude that the introduction of Se into the lattice leads to a shift of the second ionization level of the Cd vacancy towards the conduction band, as predicted recently by first-principles calculations based on screened hybrid functionals.


title: Geometric Transformation of Finite Element Methods: Theory and Applications

abstract: We present a new technique to apply finite element methods to partial differential equations over curved domains. A change of variables along a coordinate transformation satisfying only low regularity assumptions can translate a Poisson problem over a curved physical domain to a Poisson problem over a polyhedral parametric domain. This greatly simplifies both the geometric setting and the practical implementation, at the cost of having globally rough non-trivial coefficients and data in the parametric Poisson problem. Our main result is that a recently developed broken Bramble-Hilbert lemma is key in harnessing regularity in the physical problem to prove higher-order finite element convergence rates for the parametric problem. Numerical experiments are given which confirm the predictions of our theory.


title: $(g,f)$-Chromatic spanning trees and forests

abstract: A heterochromatic (or rainbow) graph is an edge-colored graph whose edges have distinct colors, that is, where each color appears at most once. In this paper, I propose a $(g,f)$-chromatic graph as an edge-colored graph where each color $c$ appears at least $g(c)$ times and at most $f(c)$ times. I also present a necessary and sufficient condition for edge-colored graphs (not necessary to be proper) to have a $(g,f)$-chromatic spanning tree. Using this criterion, I show that an edge-colored complete graph $G$ has a spanning tree with a color probability distribution `similar' to that of $G$. Moreover, I conjecture that an edge-colored complete graph $G$ of order $2n$ $(n \ge 3)$ can be partitioned into $n$ edge-disjoint spanning trees such that each has a color probability distribution `similar' to that of $G$.


title: Optimal Weighted Low-rank Matrix Recovery with Subspace Prior Information

abstract: Matrix sensing is the problem of reconstructing a low-rank matrix from a few linear measurements. In many applications such as collaborative filtering, the famous Netflix prize problem, and seismic data interpolation, there exists some prior information about the column and row spaces of the ground-truth low-rank matrix. In this paper, we exploit this prior information by proposing a weighted optimization problem where its objective function promotes both rank and prior subspace information. Using the recent results in conic integral geometry, we obtain the unique optimal weights that minimize the required number of measurements. As simulation results confirm, the proposed convex program with optimal weights requires substantially fewer measurements than the regular nuclear norm minimization.


title: Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -

abstract: Views are known mechanisms for controlling access of data and for sharing data of different schemas. Despite long and intensive research on views in both the database community and the programming language community, we are facing difficulties to use views in practice. The main reason is that we lack ways to directly describe view update strategies to deal with the inherent ambiguity of view updating. This paper aims to provide a new language-based approach to controlling and sharing distributed data based on views, and establish a software foundation for systematic construction of such data management systems. Our key observation is that a view should be defined through a view update strategy rather than a view definition. We show that Datalog can be used for specifying view update strategies whose unique view definition can be automatically derived, present a novel P2P-based programmable architecture for distributed data management where updatable views are fully utilized for controlling and sharing distributed data, and demonstrate its usefulness through the development of a privacy-preserving ride-sharing alliance system.


title: Technical Note: Reconstruction of physical and biological dose distributions of carbon-ion beam through deconvolution of longitudinal dosimeter responses

abstract: Purpose: This is a theoretical simulation study for proof of concept of radiochromic film dosimetry to measure physical and biological doses without plan-based quenching correction for patient-specific quality assurance of carbon-ion radiotherapy. Methods: We took a layer-stacking carbon-ion beam comprised of range-shifted beamlets. The dosimeter response was simulated according to an experimental quenching model. The beam model followed a treatment planning system. The beam was decomposed into finely arranged beamlets with weights estimated by deconvolution of longitudinal dosimeter responses. The distributions of physical and biological doses were reconstructed from the estimated weights, and were compared with the plan. We also evaluated the sensitivity to measurement errors and to erratic delivery with an undelivered beamlet. Results: The reconstructed physical and biological doses accurately reproduced the simulated delivery with errors approximately corresponding to the measurement errors. The erratic beam delivery was easily detectable by comparison of biological dose distribution to the plan. Conclusions: We have developed a method to measure physical and biological doses by longitudinal dosimetry of quenched response without using plan data. The method only involves a general optimization algorithm, a radiobiology model, and experimental beamlet data, and requires no extra corrections. Theoretically, this approach is applicable to various dosimeters and to proton and ion beams of any delivery method, regardless of quenching or biological effectiveness.


title: Arboreal singularities from Lefschetz fibrations

abstract: Nadler introduced certain Lagrangian singularities indexed by trees, and determined their microlocal sheaves to be the category of modules over the corresponding tree quiver. Another family of spaces indexed by trees: the tree plumbings of spheres. The Fukaya-Seidel category of the Lefschetz fibration with this plumbing as fiber and all spheres as vanishing cycles is well known to also be modules over the tree quiver. Here we upgrade this matching of categories to a matching of geometry.


title: Stochastic Gravitational-Wave Background from Binary Black Holes and Binary Neutron Stars and Implications for LISA

abstract: The advent of gravitational wave (GW) and multi-messenger astronomy has stimulated the research on the formation mechanisms of binary black holes (BBHs) observed by LIGO/Virgo. In literature, the progenitors of these BBHs could be stellar-origin black holes (sBHs) or primordial black holes (PBHs). In this paper we calculate the Stochastic Gravitational-Wave Background (SGWB) from BBHs, covering the astrophysical and primordial scenarios separately, together with the one from binary neutron stars (BNSs). Our results indicate that PBHs contribute a stronger SGWB than that from sBHs, and the total SGWB from both BBHs and BNSs has a high possibility to be detected by the future observing runs of LIGO/Virgo and LISA. On the other hand, the SGWB from BBHs and BNSs also contributes an additional source of confusion noise to LISA's total noise curve, and then weakens LISA's detection abilities. For instance, the detection of massive black hole binary (MBHB) coalescences is one of the key missions of LISA, and the largest detectable redshift of MBHB mergers can be significantly reduced.


title: PolyShard: Coded Sharding Achieves Linearly Scaling Efficiency and Security Simultaneously

abstract: Today's blockchain designs suffer from a trilemma claiming that no blockchain system can simultaneously achieve decentralization, security, and performance scalability. For current blockchain systems, as more nodes join the network, the efficiency of the system (computation, communication, and storage) stays constant at best. A leading idea for enabling blockchains to scale efficiency is the notion of sharding: different subsets of nodes handle different portions of the blockchain, thereby reducing the load for each individual node. However, existing sharding proposals achieve efficiency scaling by compromising on trust - corrupting the nodes in a given shard will lead to the permanent loss of the corresponding portion of data. In this paper, we settle the trilemma by demonstrating a new protocol for coded storage and computation in blockchains. In particular, we propose PolyShard: ``polynomially coded sharding'' scheme that achieves information-theoretic upper bounds on the efficiency of the storage, system throughput, as well as on trust, thus enabling a truly scalable system. We provide simulation results that numerically demonstrate the performance improvement over state of the arts, and the scalability of the PolyShard system. Finally, we discuss potential enhancements, and highlight practical considerations in building such a system.


title: Control of Quantum Dynamics of Electron Transfer in Molecular Loop Structures: Spontaneous Breaking of Chiral Symmetry under Strong Decoherence

abstract: Manipulation of quantum systems is the basis for many promising quantum technologies. However, how quantum mechanical principles can be used to manipulate the dynamics of quantum dissipative systems remains unanswered because of strong decoherence effects arising from interaction with the surrounding environment. In this work, we demonstrate that electron transfer dynamics in molecular loop structures can be manipulated with the use of Floquet engineering by applying a laser field. Despite strong dephasing, the system's dynamics spontaneously breaks the chiral symmetry of the loop in a controllable fashion, followed by the generation of a robust steady-state electronic current without an external voltage. An exponential scaling law that relates the magnitude of the current to the system-environment coupling strength is revealed numerically. The breaking of chiral symmetry and the consequent controllable unidirectional flow of electrons could be employed to construct functional molecular electronic circuits.


title: Symplectic foliated fillings of sphere cotangent bundles

abstract: We classify symplectically foliated fillings of certain contact foliated manifolds. We show that up to symplectic deformation, the unique minimal symplectically foliated filling of the foliated sphere cotangent bundle of the Reeb foliation in the 3-sphere is the associated disk cotangent bundle. En route to the proof, we study another foliated manifold, namely the product of a circle and an annulus with almost horizontal foliation. In this case, the foliated unit cotangent bundle does not have a unique minimal symplectic filling. We classify the foliated fillings of this manifold up to symplectic deformation equivalence using combinatorial invariants of the filling.


title: Parity-time symmetric coupled asymmetric dimers

abstract: We investigate a parity-time (PT) symmetric system that consists of two symmetrically coupled asymmetric dimers. The enclosed magnetic flux controls the PT phase transition. The system can reenter the exact PT-symmetric phase from a broken PT-symmetric phase with large non-Hermiticity. Two-state coalescence may have one or two defective eigenstates. The topology of exceptional points is reflected by the magnetic flux independent phase rigidity scaling exponents. The topology changes when exceptional points coincide. The geometric phases accumulate when encircling the exceptional points and vary as the magnetic flux. The magnetic flux is favorable for the realization of high-order exceptional points. A triple point of different quantum phases has an order of four. The perturbation around the four-state coalescence leads to a fourth-root mode frequency splitting; the sensing sensitivity is significantly enhanced.


title: Asymmetric lasing at spectral singularities

abstract: Scattering coefficients can diverge at spectral singularities. In such situation, the stationary solution becomes a laser solution with outgoing waves only. We explore a parity-time (PT)-symmetric non-Hermitian two-arm Aharonov-Bohm interferometer consisting of three coupled resonators enclosing synthetic magnetic flux. The synthetic magnetic flux does not break the PT symmetry, which protects the symmetric transmission. The features and conditions of symmetric, asymmetric, and unidirectional lasing at spectral singularities are discussed. We elucidate that lasing affected by the interference is asymmetric; asymmetric lasing is induced by the interplay between the synthetic magnetic flux and the system's non-Hermiticity. The product of the left and right transmissions is equal to that of the reflections. Our findings reveal that the synthetic magnetic flux affects light propagation, and the results can be applied in the design of lasing devices.


title: Scattering properties of anti-parity-time symmetric non-Hermitian system

abstract: We investigate the scattering properties of an anti-parity-symmetric non-Hermitian system. The anti-parity-symmetric scattering center possesses imaginary nearest-neighbor hoppings and real onsite potentials, it has been experimentally realized through dissipative coupling and frequency detuning between atomic spin waves. We find that such anti-parity-symmetric system displays three salient features: Firstly, the reflection and transmission are both reciprocal. Secondly, the reflection and transmission probabilities satisfy R+T=1 or R-T=1, which depends on the parity of the scattering center size. Thirdly, the scattering matrix satisfies (S_z)(S_z)*=I for scattering center with even-site; for scattering center with odd-site, the dynamics exhibits Hermitian scattering behavior, possessing unitary scattering matrix SS{\dag}=I.


title: Spectral asymptotics for Stretched Fractals

abstract: The Stretched Sierpinski Gasket (or Hanoi attractor) was subject of several prior works. In this work we use this idea of stretching self-similar sets to obtain non-self-similar ones. We are able to do this for a subset of the connected p.c.f. self-similar sets that fulfill a certain connectivity condition. We construct Dirichlet forms and study the associated self-adjoint operators by calculating the Hausdorff dimension w.r.t. the resistance metric as well as the leading term of the eigenvalue counting function.


title: Computing algorithm for reduction type of CM abelian varieties

abstract: Let $\mathcal{A}$ be an abelian variety over a number field, with a good reduction at a prime ideal containing a prime number $p$. Denote by ${\rm A}$ an abelian variety over a finite field of characteristic $p$, obtained by the reduction of $\mathcal{A}$ at the prime ideal. In this paper we derive an algorithm which allows to decompose the group scheme ${\rm A}[p]$ into indecomposable quasi-polarized ${\rm BT}_1$-group schemes. This can be done for the unramified $p$ on the basis of its decomposition into prime ideals in the endomorphism algebra of ${\rm A}$. We also compute all types of such correspondence for abelian varieties of dimension up to $5$. As a consequence we establish the relation between the decompositions of prime $p$ and the corresponding pairs of $p$-rank and $a$-number of an abelian variety ${\rm A}$.


title: Impact of CO2 prices on the design of a highly decarbonised coupled electricity and heating system in Europe

abstract: Ambitious targets for renewable energy and CO2 taxation both represent political instruments for decarbonisation of the energy system. We model a high number of coupled electricity and heating systems, where the primary sources of CO2 neutral energy are from variable renewable energy sources (VRES), i.e., wind and solar generators. The model includes hourly dispatch of all technologies for a full year for every country in Europe. In each model run, the amount of renewable energy and the level of CO2 tax are fixed exogenously, while the cost-optimal composition of energy generation, conversion, transmission and storage technologies and the corresponding CO2 emissions are calculated. We show that even for high penetrations of VRES, a significant CO2 tax of more than 100 euro/tCO2 is required to limit the combined CO2 emissions from the sectors to less than 5% of 1990 levels, because curtailment of VRES, combustion of fossil fuels and inefficient conversion technologies are economically favoured despite the presence of abundant VRES. A sufficiently high CO2 tax results in the more efficient use of VRES by means of heat pumps and hot water storage, in particular. We conclude that a renewable energy target on its own is not sufficient; in addition, a CO2 tax is required to decarbonise the electricity and heating sectors and incentivise the least cost combination of flexible and efficient energy conversion and storage.


title: Non-equilibrium Quantum Langevin dynamics of orbital diamagnetic moment

abstract: We investigate the time dependent orbital diamagnetic moment of a charged particle in a magnetic field in a viscous medium via the Quantum Langevin Equation. We study how the interplay between the cyclotron frequency and the viscous damping rate governs the dynamics of the orbital magnetic moment in the high temperature classical domain and the low temperature quantum domain for an Ohmic bath. These predictions can be tested via state of the art cold atom experiments with hybrid traps for ions and neutral atoms. We also study the effect of a confining potential on the dynamics of the magnetic moment. We obtain the expected Bohr Van Leeuwen limit in the high temperature, asymptotic time ($ \gamma t\longrightarrow \infty$, where $ \gamma $ is the viscous damping coefficient) limit.


title: New characterizations of plurisubharmonic functions and positivity of direct image sheaves

abstract: We give new characterizations of plurisubharmonic functions and Griffiths positivity of holomorphic vector bundles with singular Finsler metrics. As applications, we present a different method to prove plurisubharmonic variation of generalized Bergman kernel metrics and Griffiths positivity of the direct images of twisted relative canonical bundles associated to holomorphic families of K\"ahler manifolds.


title: Spanoids - an abstraction of spanning structures, and a barrier for LCCs

abstract: We introduce a simple logical inference structure we call a $\textsf{spanoid}$ (generalizing the notion of a matroid), which captures well-studied problems in several areas. These include combinatorial geometry, algebra (arrangements of hypersurfaces and ideals), statistical physics (bootstrap percolation) and coding theory. We initiate a thorough investigation of spanoids, from computational and structural viewpoints, focusing on parameters relevant to the applications areas above and, in particular, to questions regarding Locally Correctable Codes (LCCs). One central parameter we study is the $\textsf{rank}$ of a spanoid, extending the rank of a matroid and related to the dimension of codes. This leads to one main application of our work, establishing the first known barrier to improving the nearly 20-year old bound of Katz-Trevisan (KT) on the dimension of LCCs. On the one hand, we prove that the KT bound (and its more recent refinements) holds for the much more general setting of spanoid rank. On the other hand we show that there exist (random) spanoids whose rank matches these bounds. Thus, to significantly improve the known bounds one must step out of the spanoid framework. Another parameter we explore is the $\textsf{functional rank}$ of a spanoid, which captures the possibility of turning a given spanoid into an actual code. The question of the relationship between rank and functional rank is one of the main questions we raise as it may reveal new avenues for constructing new LCCs (perhaps even matching the KT bound). As a first step, we develop an entropy relaxation of functional rank to create a small constant gap and amplify it by tensoring to construct a spanoid whose functional rank is smaller than rank by a polynomial factor. This is evidence that the entropy method we develop can prove polynomially better bounds than KT-type methods on the dimension of LCCs.


title: Inclusions of general shapes having constant field inside the core and non-elliptical neutral coated inclusions with anisotropic conductivity

abstract: For certain shapes of inclusions embedded in a body, the field inside the inclusion is uniform for some boundary condition. We provide a construction scheme for inclusions of general shapes having such a uniformity property in two dimensions based on the conformal mapping technique for the potential problem. Using this complex analysis method, we also design non-elliptical neutral coated inclusions with anisotropic conductivity. Neutral coated inclusions do not perturb a background uniform field when they are inserted into a homogeneous matrix. Although coated inclusions of various shapes are neutral to a single field, only concentric ellipses or confocal ellipsoids can be neutral to all uniform fields. This paper presents our work relating to the construction of non-elliptical coated inclusions with anisotropic conductivity in two dimensions that are neutral to all uniform fields, where the assignment of the flux condition on the boundary of the core depends on the applied background field. Using these neutral inclusions, we obtain cylindrical neutral inclusions in three dimensions, with no flux applied to the boundary of the core and with the anisotropic conductivity function of the shell given in accordance with the background uniform field.


title: An analytic theory of generalization dynamics and transfer learning in deep linear networks

abstract: Much attention has been devoted recently to the generalization puzzle in deep learning: large, deep networks can generalize well, but existing theories bounding generalization error are exceedingly loose, and thus cannot explain this striking performance. Furthermore, a major hope is that knowledge may transfer across tasks, so that multi-task learning can improve generalization on individual tasks. However we lack analytic theories that can quantitatively predict how the degree of knowledge transfer depends on the relationship between the tasks. We develop an analytic theory of the nonlinear dynamics of generalization in deep linear networks, both within and across tasks. In particular, our theory provides analytic solutions to the training and testing error of deep networks as a function of training time, number of examples, network size and initialization, and the task structure and SNR. Our theory reveals that deep networks progressively learn the most important task structure first, so that generalization error at the early stopping time primarily depends on task structure and is independent of network size. This suggests any tight bound on generalization error must take into account task structure, and explains observations about real data being learned faster than random data. Intriguingly our theory also reveals the existence of a learning algorithm that proveably out-performs neural network training through gradient descent. Finally, for transfer learning, our theory reveals that knowledge transfer depends sensitively, but computably, on the SNRs and input feature alignments of pairs of tasks.


title: Some questions around quasi-periodic dynamics

abstract: We propose in these notes a list of some old and new questions related to quasi-periodic dynamics. A main aspect of quasi-periodic dynamics is the crucial influence of arithmetics on the dynamical features, with a strong duality in general between Diophantine and Liouville behavior. We will discuss rigidity and stability in Diophantine dynamics as well as their absence in Liouville ones. Beyond this classical dichotomy between the Diophantine and the Liouville worlds, we discuss some unified approaches and some phenomena that are valid in both worlds. Our focus is mainly on low dimensional dynamics such as circle diffeomorphisms, disc dynamics, quasi-periodic cocycles, or surface flows, as well as finite dimensional Hamiltonian systems. In an opposite direction, the study of the dynamical properties of some diagonal and unipotent actions on the space of lattices can be applied to arithmetics, namely to the theory of Diophantine approximations. We will mention in the last section some problems related to that topic. The field of quasi-periodic dynamics is very extensive and has a wide range of interactions with other mathematical domains. The list of questions we propose is naturally far from exhaustive and our choice was often motivated by our research involvements.


title: Multiple Star Systems in the Orion Nebula

abstract: This work presents an interferometric study of the massive-binary fraction in the Orion Trapezium Cluster with the recently comissioned GRAVITY instrument. We observe a total of 16 stars of mainly OB spectral type. We find three previously unknown companions for $\theta ^1$ Ori B, $\theta ^2$ Ori B, and $\theta ^2$ Ori C. We determine a separation for the previously suspected companion of NU Ori. We confirm four companions for $\theta ^1$ Ori A, $\theta ^1$ Ori C, $\theta ^1$ Ori D, and $\theta ^2$ Ori A, all with substantially improved astrometry and photometric mass estimates. We refine the orbit of the eccentric high-mass binary $\theta ^1$ Ori C and we are able to derive a new orbit for $\theta ^1$ Ori D. We find a system mass of 21.7 $M_{\odot}$ and a period of $53$ days. Together with other previously detected companions seen in spectroscopy or direct imaging, eleven of the 16 high-mass stars are multiple systems. We obtain a total number of 22 companions with separations up to 600 AU. The companion fraction of the early B and O stars in our sample is about 2, significantly higher than in earlier studies of mostly OB associations. The separation distribution hints towards a bimodality. Such a bimodality has been previously found in A stars, but rarely in OB binaries, which up to this point have been assumed to be mostly compact with a tail of wider companions. We also do not find a substantial population of equal-mass binaries. The observed distribution of mass ratios declines steeply with mass, and like the direct star counts, indicates that our companions follow a standard power law initial mass function. Again, this is in contrast to earlier findings of flat mass ratio distributions in OB associations. We exclude collision as a dominant formation mechanism but find no clear preference for core accretion or competitive accretion.


title: $\alpha'$-corrections to DBI action via T-duality constraint

abstract: It is known that D$_p$-brane effective action at the leading order of $\alpha'$ in flat space-time which is given by DBI action, transforms to D$_{p-1}$-brane effective action under standard T-duality transformations of the open string gauge bosons and transverse scalar fields. Extending this duality to order $\alpha'$, one may find corrections to the DBI action which include the second fundamental form $\Omega$ and the covariant derivative of gauge field strength $DF$, as well as the corrections to the T-duality transformations. Using this idea, up to two parameters, we have found all 81 covariant couplings of $D FD F$ and $\Omega\Omega$ with zero, two, four and six $F$'s. The four gauge field couplings that the T-duality constraint fixes are consistent with the known couplings in the literature.


title: Non-isothermal transport of multi-phase fluids in porous media. Constitutive equations

abstract: We develop constitutive equations for multi-component, multi-phase, macro-scale flow in a porous medium exposed to temperature-, composition-, and pressure -gradients. The porous medium is non-deformable. We define the pressure and the composition of the representative elementary volume (REV) in terms of the volume and surface averaged pressure and the saturation, and the respective driving forces from these variables. New contributions due to varying porosity or surface tension offer explanations for non-Darcy behavior. The interaction of a thermal and mechanical driving forces give thermal osmosis. An experimental program is suggested to verify Onsager symmetry in the transport coefficients.


title: The interaction of glueball and heavy-light flavoured meson in holographic QCD

abstract: We construct the D4/D8 brane configuration in the Witten-Sakai-Sugimoto model by introducing a pair of heavy flavour brane with a heavy-light open string. The multiplets created by the heavy-light string acquire mass due to the finite separation of the heavy and light flavour branes thus they could be identified as the heavy-light meson fields in this model. On the other hand the glueball field is identified as the gravitational fluctuations carried by the close string in the bulk, so this model is able to describe the interaction of glueball and heavy-light meson through the open-close string interaction in gauge-gravity duality. We explicitly derive the effective action for the various glueballs and heavy-light mesons then numerically evaluate the associated coupling constants. Afterwards the decay widths of various glueballs to the lowest heavy-light meson, which is identified as $D^{0}$ meson, are calculated by using our effective action. This work extends the previous investigations of glueball in holographic QCD and it is also a further prediction of glueball-meson interaction.


title: Rectification in mesoscopic AC-gated semiconductor devices

abstract: We measure the rectified dc currents resulting when a 3-terminal semiconductor device with gate-dependent conductance is driven with an ac gate voltage. The rectified currents exhibit surprisingly complex behaviour as the dc source-drain bias voltage, the dc gate voltage and the amplitude of the ac gate voltage are varied. We obtain good agreement between our data and a model based on simple assumptions about the stray impedances on the sample chip, over a wide frequency range. This method is applicable to many types of experiment which involve ac gating of a non-linear device, and where an undesireable rectified contribution to the measured signal is present. Finally, we evaluate the small rectified currents flowing in tunable-barrier electron pumps operated in the pinched-off regime. These currents are at most $10^{-12}$ of the pumped current for a pump current of 100 pA. This result is encouraging for the development of tunable-barrier pumps as metrological current standards.


title: Note on a sum involving the Euler function

abstract: We prove that $$ \sum_{n \leq x} \varphi([x/n])\leq\bigg(\frac{1380}{4009}+\frac{2629}{4009}\cdot\frac1{\zeta(2)}+o(1)\bigg)x\log x $$ as $x\to\infty$, where $\varphi$ denotes the Euler totient function and $[x]$ denotes the integer part of $x$.


title: Compact and low-cost structured illumination microscopy using an optical fiber coupler

abstract: In this paper, a compact and low-cost structured illumination microscope (SIM) based on a 2X2 fiber coupler is presented. Fringe illumination is achieved by placing two output fiber tips at a conjugate Fourier plane of the sample plane as the point sources. Raw structured illumination (SI) images in different pattern orientations are captured when rotating the fiber mount. Following this, high resolution images are reconstructed from no-phase-shift raw SI images by using a joint Richardson-Lucy (jRL) deconvolution algorithm. Compared with an SLM-based SIM system, our method provides a much shorter illumination path, high power efficiency, and low cost.


title: Speckle statistics in adaptive optics images at visible wavelengths

abstract: Residual speckles in adaptive optics (AO) images represent a well-known limitation on the achievement of the contrast needed for faint source detection. Speckles in AO imagery can be the result of either residual atmospheric aberrations, not corrected by the AO, or slowly evolving aberrations induced by the optical system. We take advantage of the high temporal cadence (1 ms) of the data acquired by the System for Coronagraphy with High-order Adaptive Optics from R to K bands-VIS forerunner experiment at the Large Binocular Telescope to characterize the AO residual speckles at visible wavelengths. An accurate knowledge of the speckle pattern and its dynamics is of paramount importance for the application of methods aimed at their mitigation. By means of both an automatic identification software and information theory, we study the main statistical properties of AO residuals and their dynamics. We therefore provide a speckle characterization that can be incorporated into numerical simulations to increase their realism and to optimize the performances of both real-time and postprocessing techniques aimed at the reduction of the speckle noise.


title: First Chern class and birational germs of Kato surfaces

abstract: We describe some relations between coefficients of irreducible components of the first Chern class [FP15] and birational germs introduced by Dloussky {Dl16] for intermediate Kato surfaces.


title: On conditions for long-wave equivalent medium to be isotropic and on analysis of parameters indicating anisotropy of equivalent TI medium

abstract: In this paper, we consider a long-wave equivalent medium to a finely parallel-layered inhomogeneous medium, obtained using the Backus average. Following the work of Postma and Backus, we show explicitly the derivations of the conditions to obtain the equivalent isotropic medium. We demonstrate that there cannot exist a transversely isotropic (TI) equivalent medium with the coefficients $c^{\overline{\rm TI}}_{1212} \neq c^{\overline{\rm TI}}_{2323}$, $c^{\overline{\rm TI}}_{1111} = c^{\overline{\rm TI}}_{3333}$ and $c^{\overline{\rm TI}}_{1122} = c^{\overline{\rm TI}}_{1133}$. Moreover, we consider a new parameter, $\varphi$, indicating the anisotropy of the equivalent medium, and we show its range and properties. Subsequently, we compare $\varphi$ to the Thomsen parameters, emphasizing its usefulness as a supportive parameter showing the anisotropy of the equivalent medium or as an alternative parameter to $\delta$. We argue with certain Berryman et al. considerations regarding the properties of the anisotropy parameters $\epsilon$ and $\delta$. Additionally, we show an alternative way---to the one mentioned by Berryman et al.---of indicating changing fluid content in layered Earth.


title: Analytic (3+1)-dimensional gauged Skyrmions, Heun and Whittaker-Hill equations and resurgence

abstract: We show that one can reduce the coupled system of seven field equations of the (3+1)-dimensional gauged Skyrme model to the Heun equation (which, for suitable choices of the parameters, can be further reduced to the Whittaker-Hill equation) in two non-trivial topological sectors. Hence, one can get a complete analytic description of gauged solitons in (3+1) dimensions living within a finite volume in terms of classic results in the theory of differential equations and Kummer's con uent functions. We consider here two types of gauged solitons: gauged Skyrmions and gauged time-crystals (namely, gauged solitons periodic in time, whose time-period is protected by a winding number). The dependence of the energy of the gauged Skyrmions on the Baryon charge can be determined explicitly. The theory of Kummer's confluent functions leads to a quantization condition for the period of the time-crystals. Likewise, the theory of Sturm-Liouville operators gives rise to a quantization condition for the volume occupied by the gauged Skyrmions. The present analysis also discloses that resurgent techniques are very well suited to deal with the gauged Skyrme model as well. In particular, we discuss a very nice relation between the electromagnetic perturbations of the gauged Skyrmions and the Mathieu equation which allows to use many of the modern resurgence techniques to determine the behavior of the spectrum of these perturbations.


title: Identification of Wearable Devices with Bluetooth

abstract: With wearable devices such as smartwatches on the rise in the consumer electronics market, securing these wearables is vital. However, the current security mechanisms only focus on validating the user not the device itself. Indeed, wearables can be (1) unauthorized wearable devices with correct credentials accessing valuable systems and networks, (2) passive insiders or outsider wearable devices, or (3) information-leaking wearables devices. Fingerprinting via machine learning can provide necessary cyber threat intelligence to address all these cyber attacks. In this work, we introduce a wearable fingerprinting technique focusing on Bluetooth classic protocol, which is a common protocol used by the wearables and other IoT devices. Specifically, we propose a non-intrusive wearable device identification framework which utilizes 20 different Machine Learning (ML) algorithms in the training phase of the classification process and selects the best performing algorithm for the testing phase. Furthermore, we evaluate the performance of proposed wearable fingerprinting technique on real wearable devices, including various off-the-shelf smartwatches. Our evaluation demonstrates the feasibility of the proposed technique to provide reliable cyber threat intelligence. Specifically, our detailed accuracy results show on average 98.5%, 98.3% precision and recall for identifying wearables using the Bluetooth classic protocol.


title: Queue-based Resampling for Online Class Imbalance Learning

abstract: Online class imbalance learning constitutes a new problem and an emerging research topic that focusses on the challenges of online learning under class imbalance and concept drift. Class imbalance deals with data streams that have very skewed distributions while concept drift deals with changes in the class imbalance status. Little work exists that addresses these challenges and in this paper we introduce queue-based resampling, a novel algorithm that successfully addresses the co-existence of class imbalance and concept drift. The central idea of the proposed resampling algorithm is to selectively include in the training set a subset of the examples that appeared in the past. Results on two popular benchmark datasets demonstrate the effectiveness of queue-based resampling over state-of-the-art methods in terms of learning speed and quality.


title: A natural upper bound to the accuracy of predicting protein stability changes upon mutations

abstract: Accurate prediction of protein stability changes upon single-site variations (DDG) is important for protein design, as well as our understanding of the mechanism of genetic diseases. The performance of high-throughput computational methods to this end is evaluated mostly based on the Pearson correlation coefficient between predicted and observed data, assuming that the upper bound would be 1 (perfect correlation). However, the performance of these predictors can be limited by the distribution and noise of the experimental data. Here we estimate, for the first time, a theoretical upper-bound to the DDG prediction performances imposed by the intrinsic structure of currently available DDG data. Given a set of measured DDG protein variations, the theoretically best predictor is estimated based on its similarity to another set of experimentally determined DDG values. We investigate the correlation between pairs of measured DDG variations, where one is used as a predictor for the other. We analytically derive an upper bound to the Pearson correlation as a function of the noise and distribution of the DDG data. We also evaluate the available datasets to highlight the effect of the noise in conjunction with DDG distribution. We conclude that the upper bound is a function of both uncertainty and spread of the DDG values, and that with current data the best performance should be between 0.7-0.8, depending on the dataset used; higher Pearson correlations might be indicative of overtraining. It also follows that comparisons of predictors using different datasets are inherently misleading.


title: On the non-vanishing of L-functions associated to cusp forms of half-integral weight

abstract: We prove a strengthening of Mui\'c's integral non-vanishing criterion for Poincar\'e series on unimodular locally compact Hausdorff groups and use it to prove a result on non-vanishing of L-functions associated to cusp forms of half-integral weight.


title: Simultaneous Scheduling of Multiple Frequency Services in Stochastic Unit Commitment

abstract: The reduced level of system inertia in low-carbon power grids increases the need for alternative frequency services. However, simultaneously optimising the provision of these services in the scheduling process, subject to significant uncertainty, is a complex task given the challenge of linking the steady-state optimisation with frequency dynamics. This paper proposes a novel frequency-constrained Stochastic Unit Commitment (SUC) model which, for the first time, co-optimises energy production along with the provision of synchronised and synthetic inertia, Enhanced Frequency Response (EFR), Primary Frequency Response (PFR) and a dynamically-reduced largest power infeed. The contribution of load damping is modelled through a linear inner approximation. The effectiveness of the proposed model is demonstrated through several case studies for Great Britain's 2030 power system, which highlight the synergies and conflicts among alternative frequency services, as well as the significant economic savings and carbon reduction achieved by simultaneously optimising all these services.


title: Estimation of antihydrogen properties in experiments with small signal deficit

abstract: For a class of precision CPT-invariance test measurements using antihydrogen, a deficit in the data indicates the presence of the signal. The construction of classical confidence intervals for the properties of the antiatoms from measurements may pose a challenge due to the limited statistics experimentally available. We use the Feldman-Cousins method to estimate model parameters for such a low count rate measurement. First, we construct confidence intervals for the Poisson process with a known background and an unknown signal deficit. Then the generalized Monte Carlo version of the method is applied to the use case of the hyperfine transition frequency measurement of the ground-state antihydrogen atom, where the expected double-dip resonance line shape and the mean background is assumed to be known. We find that confidence intervals of the antihydrogen properties could be obtained already from low statistics data. We also discuss how the method may be extended to allow estimation of additional model parameters.


title: A framework for measuring weak values without weak interactions and its diagrammatic representation

abstract: Weak values are typically obtained experimentally by performing weak measurements, which involve weak interactions between the measured system and a probe. However, the determination of weak values does not necessarily require weak measurements, and several methods without weak system-probe interactions have been developed previously. In this work, a framework for measuring weak values is proposed to describe the relationship between various weak measurement techniques in a unified manner. This framework, which uses a probe-controlled system transformation instead of the weak system-probe interaction, improves the understanding of the currently used weak value measurement methods. Furthermore, a diagrammatic representation of the proposed framework is introduced to intuitively identify the complex values obtained in each measurement system. By using this diagram, a new method for measuring weak values with a desired function can be systematically derived. As an example, a scan-free and more efficient direct measurement method of wavefunctions than the conventional techniques using weak measurements is developed.


title: A parameter estimator based on Smoluchowski-Kramers approximation

abstract: We devise a simplified parameter estimator for a second order stochastic differential equation by a first order system based on the Smoluchowski-Kramers approximation. We establish the consistency of the estimator by using {\Gamma}-convergence theory. We further illus- trate our estimation method by an experimentally studied movement model of a colloidal particle immersed in water under conservative force and constant diffusion.


title: Design of magnetic spirals in layered perovskites: extending the stability range far beyond room temperature

abstract: In insulating materials with ordered magnetic spiral phases, ferroelectricity can emerge due to the breaking of inversion symmetry. This property is of both fundamental and practical interest, in particular with a view to exploiting it in low-power electronic devices. Advances towards technological applications have been hindered, however, by the relatively low ordering temperatures $T_\mathrm{spiral}$ of most magnetic spiral phases, which rarely exceed 100 K. We have recently established that the ordering temperature of a magnetic spiral can be increased up to 310 K by the introduction of chemical disorder. Here we explore the design space opened up by this novel mechanism by combining it with a targeted lattice control of some magnetic interactions. In Cu-Fe layered perovskites we obtain $T_\mathrm{spiral}$ values close to 400 K, comfortably far from room temperature and almost 100 K higher than using chemical disorder alone. Moreover, we reveal a linear, universal relationship between the spiral's wave vector and the onset temperature of the spiral phase. This linear law ends at a paramagnetic-collinear-spiral triple point, which defines the highest spiral ordering temperature that can be achieved in this class of materials. Based on these findings, we propose a general set of rules for designing magnetic spirals in layered perovskites using external pressure, chemical substitutions and/or epitaxial strain, which should guide future efforts to engineer magnetic spiral phases with ordering temperatures suitable for technological applications.


title: Photoinduced electric currents in Bose-Einstein condensates

abstract: We calculate a light-induced electric current which can occur from a Bose-Einstein condensate under the action of an external electromagnetic field with the frequency exceeding the ionization potential of the bosons, taking a system of indirect excitons as a testbed. We show that the ionization can be accompanied by the excitation of collective Bogoliubov modes. As a result, the current consists of two principal components: one regular, which has a counterpart in bosonic systems in the normal phase, and the other one specific for condensates since the photoabsorption is mediated by the emission of Bogoliubov quasiparticles. Surprisingly, the latter component soon becomes predominant with the increase of light frequency above the ionization potential.


title: Feasibility studies of the polarization of photons beyond the optical wavelength regime with the J-PET detector

abstract: J-PET is a detector optimized for registration of photons from the electron-positron annihilation via plastic scintillators where photons interact predominantly via Compton scattering. Registration of both primary and scattered photons enables to determinate the linear polarization of the primary photon on the event by event basis with a certain probability. Here we present quantitative results on the feasibility of such polarization measurements of photons from the decay of positronium with the J-PET and explore the physical limitations for the resolution of the polarization determination of 511 keV photons via Compton scattering. For scattering angles of about 82 deg (where the best contrast for polarization measurement is theoretically predicted) we find that the single event resolution for the determination of the polarization is about 40 deg (predominantly due to properties of the Compton effect). However, for samples larger than ten thousand events the J-PET is capable of determining relative average polarization of these photons with the precision of about few degrees. The obtained results open new perspectives for studies of various physics phenomena such as quantum entanglement and tests of discrete symmetries in decays of positronium and extend the energy range of polarization measurements by five orders of magnitude beyond the optical wavelength regime.


title: An Intelligent Extraversion Analysis Scheme from Crowd Trajectories for Surveillance

abstract: In recent years, crowd analysis is important for applications such as smart cities, intelligent transportation system, customer behavior prediction, and visual surveillance. Understanding the characteristics of the individual motion in a crowd can be beneficial for social event detection and abnormal detection, but it has rarely been studied. In this paper, we focus on the extraversion measure of individual motions in crowds based on trajectory data. Extraversion is one of typical personalities that is often observed in human crowd behaviors and it can reflect not only the characteristics of the individual motion, but also the that of the holistic crowd motions. To our best knowledge, this is the first attempt to analyze individual extraversion of crowd motions based on trajectories. To accomplish this, we first present a effective composite motion descriptor, which integrates the basic individual motion information and social metrics, to describe the extraversion of each individual in a crowd. The social metrics consider both the neighboring distribution and their interaction pattern. Since our major goal is to learn a universal scoring function that can measure the degrees of extraversion across varied crowd scenes, we incorporate and adapt the active learning technique to the relative attribute approach. Specifically, we assume the social groups in any crowds contain individuals with the similar degree of extraversion. Based on such assumption, we significantly reduce the computation cost by clustering and ranking the trajectories actively. Finally, we demonstrate the performance of our proposed method by measuring the degree of extraversion for real individual trajectories in crowds and analyzing crowd scenes from a real-world dataset.


title: Power integral bases in a family of sextic fields with quadratic subfields

abstract: Let $M=Q(i\sqrt{d})$ be any imaginary quadratic field with a positive square-free $d$. Consider the polynomial \[ f(x)=x^3-ax^2-(a+3)x-1, \] with a parameter $a\in Z$. Let $K=M(\alpha)$, where $\alpha$ is a root of $f$. This is an infinite parametric family of sextic fields depending on two parameters, $a$ and $d$. Applying relative Thue equations we determine the relative power integral bases of these sextic fields over their quadratic subfields. Using these results we also determine generators of (absolute) power integral bases of the sextic fields.


title: Production cross section and decay study of $^{243}$Es and $^{249}$Md

abstract: In the study of the odd-$Z$, even-$N$ nuclei $^{243}$Es and $^{249}$Md, performed at the University of Jyv\"askyl\"a, the fusion-evaporation reactions $^{197}$Au($^{48}$Ca,2$n$)$^{243}$Es and $^{203}$Tl($^{48}$Ca,2$n$)$^{249}$Md have been used for the first time. Fusion-evaporation residues were selected and detected using the RITU gas-filled separator coupled with the focal-plane spectrometer GREAT. For $^{243}$Es, the recoil decay correlation analysis yielded a half-life of $24 \pm 3$s, and a maximum production cross section of $37 \pm 10$ nb. In the same way, a half-life of $26 \pm 1$ s, an $\alpha$ branching ratio of 75 $\pm$ 5%, and a maximum production cross section of 300 $\pm$ 80 nb were determined for $^{249}$Md. The decay properties of $^{245}$Es, the daughter of $^{249}$Md, were also measured: an $\alpha$ branching ratio of 54 $\pm$ 7% and a half-life of 65 $\pm$ 6 s. Experimental cross sections were compared to the results of calculations performed using the KEWPIE2 statistical fusion-evaporation code.


title: The index of Toeplitz operators on compact Lie groups and simply connected closed 3-manifolds

abstract: In this paper we use the notion of operator-valued symbol in order to compute the index of Toeplitz operators on compact Lie groups. Our approach combines the Connes index theorem and the infinite-dimensional operator-valued symbolic calculus of Ruzhansky-Turunen. We also give applications to the index of Toeplitz operators on simply connected closed $3$-manifolds $\mathbb{M}\simeq \mathbb{S}^3\simeq \textnormal{SU}(2) ,$ by using, as a fundamental tool, the Poincar\'e theorem (see Perelman [31,32,33,34])


title: 3D Face Synthesis Driven by Personality Impression

abstract: Synthesizing 3D faces that give certain personality impressions is commonly needed in computer games, animations, and virtual world applications for producing realistic virtual characters. In this paper, we propose a novel approach to synthesize 3D faces based on personality impression for creating virtual characters. Our approach consists of two major steps. In the first step, we train classifiers using deep convolutional neural networks on a dataset of images with personality impression annotations, which are capable of predicting the personality impression of a face. In the second step, given a 3D face and a desired personality impression type as user inputs, our approach optimizes the facial details against the trained classifiers, so as to synthesize a face which gives the desired personality impression. We demonstrate our approach for synthesizing 3D faces giving desired personality impressions on a variety of 3D face models. Perceptual studies show that the perceived personality impressions of the synthesized faces agree with the target personality impressions specified for synthesizing the faces. Please refer to the supplementary materials for all results.


title: Manifestation of important role of nuclear forces in emission of photons in scattering of pions off nuclei

abstract: Bremsstrahlung of photons emitted during the scattering of $\pi^{+}$-mesons off nuclei is studied for the first time. Role of interactions between $\pi^{+}$-mesons and nuclei in the formation of the bremsstrahlung emission is analyzed in details. We discover essential contribution of emitted photons from nuclear part of Johnson-Satchler potential to the full spectrum, in contrast to the optical Woods-Saxon potential. We observe unusual essential influence of the nuclear part of both potentials on the spectrum at high photon energies. This phenomenon opens a new experimental way to study and check non-Coulomb and nuclear interactions between pions and nuclei via measurements of the emitted photons. We provide predictions of the bremsstrahlung spectra for pion scattering off $^{44}{\rm Ca}$.


title: MedTruth: A Semi-supervised Approach to Discovering Knowledge Condition Information from Multi-Source Medical Data

abstract: Knowledge Graph (KG) contains entities and the relations between entities. Due to its representation ability, KG has been successfully applied to support many medical/healthcare tasks. However, in the medical domain, knowledge holds under certain conditions. For example, symptom \emph{runny nose} highly indicates the existence of disease \emph{whooping cough} when the patient is a baby rather than the people at other ages. Such conditions for medical knowledge are crucial for decision-making in various medical applications, which is missing in existing medical KGs. In this paper, we aim to discovery medical knowledge conditions from texts to enrich KGs. Electronic Medical Records (EMRs) are systematized collection of clinical data and contain detailed information about patients, thus EMRs can be a good resource to discover medical knowledge conditions. Unfortunately, the amount of available EMRs is limited due to reasons such as regularization. Meanwhile, a large amount of medical question answering (QA) data is available, which can greatly help the studied task. However, the quality of medical QA data is quite diverse, which may degrade the quality of the discovered medical knowledge conditions. In the light of these challenges, we propose a new truth discovery method, MedTruth, for medical knowledge condition discovery, which incorporates prior source quality information into the source reliability estimation procedure, and also utilizes the knowledge triple information for trustworthy information computation. We conduct series of experiments on real-world medical datasets to demonstrate that the proposed method can discover meaningful and accurate conditions for medical knowledge by leveraging both EMR and QA data. Further, the proposed method is tested on synthetic datasets to validate its effectiveness under various scenarios.