title: Kernel Machine and Distributed Lag Models for Assessing Windows of Susceptibility to Environmental Mixtures in Children's Health Studies

abstract: Exposures to environmental chemicals during gestation can alter health status later in life. Most studies of maternal exposure to chemicals during pregnancy have focused on a single chemical exposure observed at high temporal resolution. Recent research has turned to focus on exposure to mixtures of multiple chemicals, generally observed at a single time point. We consider statistical methods for analyzing data on chemical mixtures that are observed at a high temporal resolution. As motivation, we analyze the association between exposure to four ambient air pollutants observed weekly throughout gestation and birth weight in a Boston-area prospective birth cohort. To explore patterns in the data, we first apply methods for analyzing data on (1) a single chemical observed at high temporal resolution, and (2) a mixture measured at a single point in time. We highlight the shortcomings of these approaches for temporally-resolved data on exposure to chemical mixtures. Second, we propose a novel method, a Bayesian kernel machine regression distributed lag model (BKMR-DLM), that simultaneously accounts for nonlinear associations and interactions among time-varying measures of exposure to mixtures. BKMR-DLM uses a functional weight for each exposure that parameterizes the window of susceptibility corresponding to that exposure within a kernel machine framework that captures non-linear and interaction effects of the multivariate exposure on the outcome. In a simulation study, we show that the proposed method can better estimate the exposure-response function and, in high signal settings, can identify critical windows in time during which exposure has an increased association with the outcome. Applying the proposed method to the Boston birth cohort data, we find evidence of a negative association between organic carbon and birth weight and that nitrate modifies the organic carbon, ...


title: Origin of the DAMPE 1.4 TeV peak

abstract: Recent accurate measurements of cosmic ray electron flux by the Dark Matter Particle Explorer (DAMPE) reveal a sharp peak structure near 1.4 TeV, which is difficult to explain by standard astrophysical processes. In this letter, we propose a simple model that the enhanced dark matter annihilation via the $e^+e^-$ channel and with the thermal relic annihilation cross section around the current nearest black hole (A0620-00) can satisfactorily account for the sharp peak structure. The predicted dark matter mass is $\sim 1.5-3$ TeV.


title: Detecting Exoplanet Transits through Machine Learning Techniques with Convolutional Neural Networks

abstract: A machine learning technique with two-dimension convolutional neural network is proposed for detecting exoplanet transits. To test this new method, five different types of deep learning models with or without folding are constructed and studied. The light curves of the Kepler Data Release 25 are employed as the input of these models. The accuracy, reliability, and completeness are determined and their performances are compared. These results indicate that a combination of two-dimension convolutional neural network with folding would be an excellent choice for the future transit analysis.


title: A mechanism for sarcomere breathing: volume change and advective flow within the myofilament lattice

abstract: During muscle contraction, myosin motors anchored to thick filaments bind to and slide actin thin filaments. These motors rely on energy derived from ATP, supplied, in part, by diffusion from the sarcoplasm to the interior of the lattice of actin and myosin filaments. The radial spacing of filaments in this lattice may change or remain constant during contraction. If the lattice is isovolumetric, it must expand when the muscle shortens. If, however, the spacing is constant or has a different pattern of axial and radial motion, then the lattice changes volume during contraction, driving fluid motion and assisting in the transport of molecules between the contractile lattice and the surrounding intracellular space. We first create an advective-diffusive-reaction flow model and show that the flow into and out of the sarcomere lattice would be significant in the absence of lattice expansion. Advective transport coupled to diffusion has the potential to substantially enhance metabolite exchange within the crowded sarcomere. Using time-resolved x-ray diffraction of contracting muscle, we next show that the contractile lattice is neither isovolumetric nor constant in spacing. Instead, lattice spacing is time-varying, depends on activation, and can manifest as an effective time-varying Poisson ratio. The resulting fluid flow in the sarcomere lattice of synchronous insect flight muscles is greater than expected for constant lattice spacing conditions. Lattice spacing depends on a variety of factors that produce radial force, including crossbridges, titin-like molecules, and other structural proteins. Volume change and advective transport varies with the phase of muscle stimulation but remains significant at all conditions. Akin to "breathing," advective-diffusive transport in sarcomeres is sufficient to promote metabolite exchange and may play a role in the regulation of contraction itself.


title: The Evolution of Helium Star Plus Carbon-Oxygen White Dwarf Binary Systems and Implications for Diverse Stellar Transients and Hypervelocity Stars

abstract: Helium accretion induced explosions in CO white dwarfs (WDs) are considered promising candidates for a number of observed types of stellar transients, including supernovae (SNe) of Type Ia and Type Iax. However, a clear favorite outcome has not yet emerged. We explore the conditions of helium ignition in the white dwarf and the final fates of helium star-WD binaries as function of their initial orbital periods and component masses. We compute 274 model binary systems with the Binary Evolution Code (BEC), where both components are fully resolved. Stellar and orbital evolution is computed simultaneously, including mass and angular momentum transfer, tides, and gravitational wave emission, as well as differential rotation and internal hydrodynamic and magnetic angular momentum transport. We find that helium detonations are expected only in systems with the shortest initial orbital periods, and for initially massive white dwarfs (MWD > 1.0 MSun ) and lower mass donors (Mdonor < 0.8 MSun), with accumulated helium layers mostly exceeding 0.1 MSun. Upon detonation, these systems would release the donor as a hypervelocity pre-WD runaway star, for which we predict the expected range of kinematic and stellar properties. Systems with more massive donors or initial periods exceeding 1.5 h will likely undergo helium deflagrations after accumulating 0.1 - 0.001 MSun of helium. Helium ignition in the white dwarf is avoided in systems with helium donor stars below - 0.6 MSun, and lead to three distinctly different groups of double white dwarf systems. The size of the parameter space open to helium detonation corresponds to only about 3 % of the galactic SN Ia rate, and to 10 % of the SN Iax rate, while the predicted large amounts of helium (>0.1 MSun) in progenitors cannot easily be reconciled with observations of archetypical SN Ia. ...


title: Efficiency in Truthful Auctions via a Social Network

abstract: In this paper, we study efficiency in truthful auctions via a social network, where a seller can only spread the information of an auction to the buyers through the buyers' network. In single-item auctions, we show that no mechanism is strategy-proof, individually rational, efficient, and weakly budget balanced. In addition, we propose $\alpha$-APG mechanisms, a class of mechanisms which operate a trade-off between efficiency and weakly budget balancedness. In multi-item auctions, there already exists a strategy-proof mechanism when all buyers need only one item. However, we indicate a counter-example to strategy-proofness in this mechanism, and to the best of our knowledge, the question of finding a strategy-proof mechanism remains open. We assume that all buyers have decreasing marginal utility and propose a generalized APG mechanism that is strategy-proof and individually rational but not efficient. Importantly, we show that this mechanism achieves the largest efficiency measure among all strategy-proof mechanisms.


title: Shadow of a Schwarzschild black hole surrounded by a Bach-Weyl ring

abstract: We have studied the shadows of a Schwarzschild black hole surrounded by a Bach-Weyl ring through the backward ray-tracing method. The presence of Bach-Weyl ring leads to that the photon dynamical system is non-integrable and then chaos would appear in the photon motion, which affects sharply the black hole shadow. The size and shape the black hole shadow depend on the black hole parameter, the Bach-Weyl ring mass and the Weyl radius between black hole and ring. Some self-similar fractal structures also appear in the black hole shadow, which originates from the chaotic lensing. We also study the change of the image of Bach-Weyl ring with the ring mass and the Weyl radius. Finally, we analyze the invariant manifolds of Lyapunov orbits near the fixed points and discuss further the formation of the shadow of a Schwarzschild black hole with Bach-Weyl ring.


title: Dichotomy for symmetric Boolean PCSPs

abstract: A PCSP is a combination of two CSPs defined by two similar templates; the computational question is to distinguish a YES instance of the first one from a NO instance of the second. The computational complexity of many PCSPs remains unknown. Even the case of Boolean templates (solved for CSP by Schaefer [STOC'78]) remains wide open. The main result of Brakensiek and Guruswami [SODA'18] shows that Boolean PCSPs exhibit a dichotomy (PTIME vs. NPC) when "all the clauses are symmetric and allow for negation of variables''. In this paper we remove the "allow for negation of variables'' assumption from the theorem. The "symmetric" assumption means that changing the order of variables in a constraint does not change its satisfiability. The "negation of variables" means that both of the templates share a relation which can be used to effectively negate Boolean variables. The main result of this paper establishes dichotomy for all the symmetric boolean templates. The tractability case of our theorem and the theorem of Brakensiek and Guruswami are almost identical. The main difference, and the main contribution of this work, is the new reason for hardness and the reasoning proving the split.


title: Existence and Uniqueness of Stationary Solutions in 5-Dimensional Minimal Supergravity

abstract: We study the problem of stationary bi-axially symmetric solutions of the $5$-dimensional minimal supergravity equations. Essentially all possible solutions with nondegenerate horizons are produced, having the allowed horizon cross-sectional topologies of the sphere $S^3$, ring $S^1\times S^2$, and lens $L(p,q)$, as well as the three different types of asymptotics. The solutions are smooth apart from possible conical singularities at the fixed point sets of the axial symmetry. This analysis also includes the solutions known as solitons in which horizons are not present but are rather replaced by nontrivial topology called bubbles which are sustained by dipole fluxes. Uniqueness results are also presented which show that the solutions are completely determined by their angular momenta, electric and dipole charges, and rod structure which fixes the topology. Consequently we are able to identify the finite number of parameters that govern a solution. In addition, a generalization of these results is given where the spacetime is allowed to have orbifold singularities.


title: Mixture of Pre-processing Experts Model for Noise Robust Deep Learning on Resource Constrained Platforms

abstract: Deep learning on an edge device requires energy efficient operation due to ever diminishing power budget. Intentional low quality data during the data acquisition for longer battery life, and natural noise from the low cost sensor degrade the quality of target output which hinders adoption of deep learning on an edge device. To overcome these problems, we propose simple yet efficient mixture of pre-processing experts (MoPE) model to handle various image distortions including low resolution and noisy images. We also propose to use adversarially trained auto encoder as a pre-processing expert for the noisy images. We evaluate our proposed method for various machine learning tasks including object detection on MS-COCO 2014 dataset, multiple object tracking problem on MOT-Challenge dataset, and human activity classification on UCF 101 dataset. Experimental results show that the proposed method achieves better detection, tracking and activity classification accuracies under noise without sacrificing accuracies for the clean images. The overheads of our proposed MoPE are 0.67% and 0.17% in terms of memory and computation compared to the baseline object detection network.


title: Improved Dynamic Graph Coloring

abstract: This paper studies the fundamental problem of graph coloring in fully dynamic graphs. Since the problem of computing an optimal coloring, or even approximating it to within $n^{1-\epsilon}$ for any $\epsilon > 0$, is NP-hard in static graphs, there is no hope to achieve any meaningful computational results for general graphs in the dynamic setting. It is therefore only natural to consider the combinatorial aspects of dynamic coloring, or alternatively, study restricted families of graphs. Towards understanding the combinatorial aspects of this problem, one may assume a black-box access to a static algorithm for $C$-coloring any subgraph of the dynamic graph, and investigate the trade-off between the number of colors and the number of recolorings per update step. In WADS'17, Barba et al. devised two complementary algorithms: For any $\beta > 0$ the first (respectively, second) maintains an $O(C \beta n^{1/\beta})$ (resp., $O(C \beta)$)-coloring while recoloring $O(\beta)$ (resp., $O(\beta n^{1/\beta})$) vertices per update. Our contribution is two-fold: - We devise a new algorithm for general graphs that improves significantly upon the first trade-off in a wide range of parameters: For any $\beta > 0$, we get a $\tilde{O}(\frac{C}{\beta}\log^2 n)$-coloring with $O(\beta)$ recolorings per update, where the $\tilde{O}$ notation supresses polyloglog$(n)$ factors. In particular, for $\beta=O(1)$ we get constant recolorings with polylog$(n)$ colors; this is an exponential improvement over the previous bound. - For uniformly sparse graphs, we use low out-degree orientations to strengthen the above result by bounding the update time of the algorithm rather than the number of recolorings. Then, we further improve this result by introducing a new data structure that refines bounded out-degree edge orientations and is of independent interest.


title: Attribute Guided Unpaired Image-to-Image Translation with Semi-supervised Learning

abstract: Unpaired Image-to-Image Translation (UIT) focuses on translating images among different domains by using unpaired data, which has received increasing research focus due to its practical usage. However, existing UIT schemes defect in the need of supervised training, as well as the lack of encoding domain information. In this paper, we propose an Attribute Guided UIT model termed AGUIT to tackle these two challenges. AGUIT considers multi-modal and multi-domain tasks of UIT jointly with a novel semi-supervised setting, which also merits in representation disentanglement and fine control of outputs. Especially, AGUIT benefits from two-fold: (1) It adopts a novel semi-supervised learning process by translating attributes of labeled data to unlabeled data, and then reconstructing the unlabeled data by a cycle consistency operation. (2) It decomposes image representation into domain-invariant content code and domain-specific style code. The redesigned style code embeds image style into two variables drawn from standard Gaussian distribution and the distribution of domain label, which facilitates the fine control of translation due to the continuity of both variables. Finally, we introduce a new challenge, i.e., disentangled transfer, for UIT models, which adopts the disentangled representation to translate data less related with the training set. Extensive experiments demonstrate the capacity of AGUIT over existing state-of-the-art models.


title: Pressure metrics and Manhattan curves for Teichm\"uller spaces of punctured surfaces

abstract: In this paper, we extend the construction of pressure metrics to Teichm\"uller spaces of surfaces with punctures. This construction recovers Thurston's Riemannian metric on Teichm\"uller spaces. Moreover, we prove the real analyticity and the convexity of Manhattan curves of the finite area type-preserving Fuchsian representations, and thus we obtain several related entropy rigidity results. Lastly, relating the two topics mentioned above, we show that one can derive the pressure metric by varying Manhattan curves.


title: A 3 mm Spectral Line Survey toward the Barred Spiral Galaxy NGC 3627

abstract: We conduct spectral line survey observations in the 3 mm band toward a spiral arm, a bar-end, and a nuclear region of the nearby barred spiral galaxy NGC 3627 with the IRAM 30 m telescope and the Nobeyama 45 m telescope. Additional observations are performed toward the spiral arm and the bar-end in the 2 mm band. We detect 8, 11, and 9 molecular species in the spiral arm, the bar-end, and the nuclear region, respectively. Star-formation activities are different among the three regions, and in particular, the nucleus of NGC 3627 is known as a LINER/Seyfert 2 type nucleus. In spite of these physical differences, the chemical composition shows impressive similarities among the three regions. This result means that the characteristic chemical composition associated with these regions is insensitive to the local physical conditions such as star formation rate, because such local effects are smeared out by extended quiescent molecular gas on scales of 1 kpc. Moreover, the observed chemical compositions are also found to be similar to those of molecular clouds in our Galaxy and the spiral arm of M51, whose elemental abundances are close to those in NGC 3627. Therefore, this study provides us with a standard template of the chemical composition of extended molecular clouds with the solar metalicity in nearby galaxies.


title: Dielectric Behavior as a Screen in Rational Searches for Electronic Materials: Metal Pnictide Sulfosalts

abstract: Dielectric screening plays an important role in reducing the strength of carrier scattering and trapping by point defects for many semiconductors such as the halide perovskite solar materials. However, it was rarely considered as a screen to find new electronic semiconductors. We performed a material search study using the dielectric properties as a screen to identify potential electronic materials in the class of metal-pnictide ternary sulfosalts, containing Bi or Sb. These salts are basically ionic due to the electronegativity difference between the S and both the metal and pnictogen elements. However, we do find significant cross-gap hybridization between the S p-derived valence bands and pnictogen p-derived conduction bands in many of the materials. This leads to enhanced Born effective charges, and in several cases, highly enhanced dielectric constants. We find a chemical rule for high dielectric constants in terms of the bond connectivity of the pnictogen-chalcogen part of the crystal structure. We additionally find a series of compounds with low effective mass, high dielectric constant and other properties that suggest good performance as electronic materials and also several potential thermoelectric compounds. Experimental optical data and solar conversion efficiency are reported for Sn-Sb-S samples, and results in accord with predicted good performance are found. The results illustrate the utility of dielectric properties as a screen for identifying complex semiconductors.


title: Ranking top-k trees in tree-based phylogenetic networks

abstract: 'Tree-based' phylogenetic networks proposed by Francis and Steel have attracted much attention of theoretical biologists in the last few years. At the heart of the definitions of tree-based phylogenetic networks is the notion of 'support trees', about which there are numerous algorithmic problems that are important for evolutionary data analysis. Recently, Hayamizu (arXiv:1811.05849 [math.CO]) proved a structure theorem for tree-based phylogenetic networks and obtained linear-time and linear-delay algorithms for many basic problems on support trees, such as counting, optimisation, and enumeration. In the present paper, we consider the following fundamental problem in statistical data analysis: given a tree-based phylogenetic network $N$ whose arcs are associated with probability, create the top-$k$ support tree ranking for $N$ by their likelihood values. We provide a linear-delay (and hence optimal) algorithm for the problem and thus reveal the interesting property of tree-based phylogenetic networks that ranking top-$k$ support trees is as computationally easy as picking $k$ arbitrary support trees.


title: Automatic extrinsic calibration between a camera and a 3D Lidar using 3D point and plane correspondences

abstract: This paper proposes an automated method to obtain the extrinsic calibration parameters between a camera and a 3D lidar with as low as 16 beams. We use a checkerboard as a reference to obtain features of interest in both sensor frames. The calibration board centre point and normal vector are automatically extracted from the lidar point cloud by exploiting the geometry of the board. The corresponding features in the camera image are obtained from the camera's extrinsic matrix. We explain the reasons behind selecting these features, and why they are more robust compared to other possibilities. To obtain the optimal extrinsic parameters, we choose a genetic algorithm to address the highly non-linear state space. The process is automated after defining the bounds of the 3D experimental region relative to the lidar, and the true board dimensions. In addition, the camera is assumed to be intrinsically calibrated. Our method requires a minimum of 3 checkerboard poses, and the calibration accuracy is demonstrated by evaluating our algorithm using real world and simulated features.


title: HOG feature extraction from encrypted images for privacy-preserving machine learning

abstract: In this paper, we propose an extraction method of HOG (histograms-of-oriented-gradients) features from encryption-then-compression (EtC) images for privacy-preserving machine learning, where EtC images are images encrypted by a block-based encryption method proposed for EtC systems with JPEG compression, and HOG is a feature descriptor used in computer vision for the purpose of object detection and image classification. Recently, cloud computing and machine learning have been spreading in many fields. However, the cloud computing has serious privacy issues for end users, due to unreliability of providers and some accidents. Accordingly, we propose a novel block-based extraction method of HOG features, and the proposed method enables us to carry out any machine learning algorithms without any influence, under some conditions. In an experiment, the proposed method is applied to a face image recognition problem under the use of two kinds of classifiers: linear support vector machine (SVM), gaussian SVM, to demonstrate the effectiveness.


title: On Decomposing Graphs Into Forests and Pseudoforests

abstract: We prove that for $k \in \mathbb{N}$ and $d \leq 2k+2$, if a graph has maximum average degree at most $2k + \frac{2d}{d+k+1}$, then $G$ decomposes into $k+1$ pseudoforests, where one of the pseudoforests has all connected components having at most $d$ edges.


title: NuSTAR observations of the supernova remnant RX J1713.7$-$3946

abstract: The shock waves of supernova remnants (SNRs) are prominent candidates for the acceleration of the Galactic cosmic rays. SNR RX J1713.7$-$3946 is one well-studied particle accelerator in our Galaxy because of its strong non-thermal X-ray and gamma-ray radiation. We have performed NuSTAR (3-79 keV) observations of the northwest rim of RX J1713.7$-$3946, where is the brightest part in X-ray and the shock speed is about 4000 km s$^{-1}$. The spatially resolved X-ray emission from RX J1713.7$-$3946 is detected up to 20 keV for the first time. The hard X-ray image in 10-20 keV is broadly similar to the soft-band image in 3-10 keV. The typical spectrum is described by power-law model with exponential cutoff with the photon index $\Gamma$=2.15 and the cutoff energy $\varepsilon_c$=18.8 keV. Using a synchrotron radiation model from accelerated electrons in the loss-limited case, the cutoff energy parameter ranges 0.6-1.9 keV, varying from region to region. Combined with the previous measurement of the shock speed, the acceleration of electrons is close to the Bohm-limit regime in the outer edge, while the standard picture of accelerated particles limited by synchrotron radiation in SNR shock is not applicable in the inner edge and the filamentary structure.


title: Challenges and Pitfalls of Machine Learning Evaluation and Benchmarking

abstract: An increasingly complex and diverse collection of Machine Learning (ML) models as well as hardware/software stacks, collectively referred to as "ML artifacts", are being proposed - leading to a diverse landscape of ML. These ML innovations proposed have outpaced researchers' ability to analyze, study and adapt them. This is exacerbated by the complicated and sometimes non-reproducible procedures for ML evaluation. A common practice of sharing ML artifacts is through repositories where artifact authors post ad-hoc code and some documentation, but often fail to reveal critical information for others to reproduce their results. This results in users' inability to compare with artifact authors' claims or adapt the model to his/her own use. This paper discusses common challenges and pitfalls of ML evaluation and benchmarking, which can be used as a guideline for ML model authors when sharing ML artifacts, and for system developers when benchmarking or designing ML systems.


title: Effective approximation of heat flow evolution of the Riemann $\xi$ function, and a new upper bound for the de Bruijn-Newman constant

abstract: For each $t \in \mathbf{R}$, define the entire function $$ H_t(z) := \int_0^\infty e^{tu^2} \Phi(u) \cos(zu)\ du$$ where $\Phi$ is the super-exponentially decaying function $$ \Phi(u) := \sum_{n=1}^\infty (2\pi^2 n^4 e^{9u} - 3\pi n^2 e^{5u} ) \exp(-\pi n^2 e^{4u} ).$$ This is essentially the heat flow evolution of the Riemann $\xi$ function. From the work of de Bruijn and Newman, there exists a finite constant $\Lambda$ (the \emph{de Bruijn-Newman constant}) such that the zeroes of $H_t$ are all real precisely when $t \geq \Lambda$. The Riemann hypothesis is equivalent to the assertion $\Lambda \leq 0$; recently, Rodgers and Tao established the matching lower bound $\Lambda \geq 0$. Ki, Kim and Lee established the upper bound $\Lambda < \frac{1}{2}$. In this paper we establish several effective estimates on $H_t(x+iy)$ for $t \geq 0$, including some that are accurate for small or medium values of $x$. By combining these estimates with numerical computations, we are able to obtain a new upper bound $\Lambda \leq 0.22$ unconditionally, as well as improvements conditional on further numerical verification of the Riemann hypothesis. We also obtain some new estimates controlling the asymptotic behavior of zeroes of $H_t(x+iy)$ as $x \to \infty$.


title: Stability of cyber-physical systems of numerical methods for stochastic differential equations: integrating the cyber and the physical of stochastic systems

abstract: This paper presents the cyber-physical system (CPS) of a numerical method (the widely-used Euler- Maruyama method) and establishes a foundational theory of the CPSs of numerical methods for stochastic differential equations (SDEs), which transforms the way we understand the relationship between the numerical method and the underlying dynamical system. Unlike in the literature where they are treated as separate systems linked by inequalities, the CPS is a seamless integration of the SDE and the numerical method and we construct a new and general class of stochastic impulsive differential equations (SiDEs) that can serve as a canonic form of the CPSs of numerical methods. By the CPS approach, we show the equivalence and intrinsic relationship between the stability of the SDE and the stability of the numerical method using the Lyapunov stability theory we develop for our class of SiDEs. Applying our established theory, we present the CPS Lyapunov inequality that is the necessary and sufficient condition for meansquare stability of the CPS of the Euler-Maruyama method for linear SDEs. The proposed CPS and theory initiate the study of systems numerics and provoke many open and interesting problems for future work.


title: Simultaneous determination of the cosmic birefringence and miscalibrated polarisation angles from CMB experiments

abstract: We show that the cosmic birefringence and miscalibrated polarisation angles can be determined simultaneously by cosmic microwave background (CMB) experiments using the cross-correlation between $E$- and $B$-mode polarisation data. This is possible because polarisation angles of the CMB are rotated by both the cosmic birefringence and miscalibration effects,whereas those of the Galactic foreground emission only by the latter. Our method does not require prior knowledge of the $E$- and $B$-mode power spectra of the foreground emission, but uses only the knowledge of the CMB polarisation spectra. Specifically, we relate the observed $EB$ correlation to the difference between the $\mathit{observed}$ $E$- and $B$-mode spectra in the sky, and use different multipole dependence of the CMB (given by theory) and foreground spectra (with no assumption) to derive the likelihood for the miscalibration angle $\alpha$ and the birefringence angle $\beta$. We show that a future satellite mission similar to LiteBIRD can determine $\beta$ with a precision of ten arcminutes.


title: New Quantum MDS Codes over Finite Fields

abstract: In this paper, we present three new classes of $q$-ary quantum MDS codes utilizing generalized Reed-Solomon codes satisfying Hermitian self-orthogonal property. Among our constructions, the minimum distance of some $q$-ary quantum MDS codes can be bigger than $\frac{q}{2}+1$. Comparing to previous known constructions, the lengths of codes in our constructions are more flexible.


title: Mean-variance portfolio selection under Volterra Heston model

abstract: Motivated by empirical evidence for rough volatility models, this paper investigates continuous-time mean-variance (MV) portfolio selection under the Volterra Heston model. Due to the non-Markovian and non-semimartingale nature of the model, classic stochastic optimal control frameworks are not directly applicable to the associated optimization problem. By constructing an auxiliary stochastic process, we obtain the optimal investment strategy, which depends on the solution to a Riccati-Volterra equation. The MV efficient frontier is shown to maintain a quadratic curve. Numerical studies show that both roughness and volatility of volatility materially affect the optimal strategy.


title: Making the Last Iterate of SGD Information Theoretically Optimal

abstract: Stochastic gradient descent (SGD) is one of the most widely used algorithms for large scale optimization problems. While classical theoretical analysis of SGD for convex problems studies (suffix) \emph{averages} of iterates and obtains information theoretically optimal bounds on suboptimality, the \emph{last point} of SGD is, by far, the most preferred choice in practice. The best known results for last point of SGD \cite{shamir2013stochastic} however, are suboptimal compared to information theoretic lower bounds by a $\log T$ factor, where $T$ is the number of iterations. \cite{harvey2018tight} shows that in fact, this additional $\log T$ factor is tight for standard step size sequences of $\OTheta{\frac{1}{\sqrt{t}}}$ and $\OTheta{\frac{1}{t}}$ for non-strongly convex and strongly convex settings, respectively. Similarly, even for subgradient descent (GD) when applied to non-smooth, convex functions, the best known step-size sequences still lead to $O(\log T)$-suboptimal convergence rates (on the final iterate). The main contribution of this work is to design new step size sequences that enjoy information theoretically optimal bounds on the suboptimality of \emph{last point} of SGD as well as GD. We achieve this by designing a modification scheme, that converts one sequence of step sizes to another so that the last point of SGD/GD with modified sequence has the same suboptimality guarantees as the average of SGD/GD with original sequence. We also show that our result holds with high-probability. We validate our results through simulations which demonstrate that the new step size sequence indeed improves the final iterate significantly compared to the standard step size sequences.


title: The K2-HERMES Survey: Age and Metallicity of the Thick Disc

abstract: Asteroseismology is a promising tool to study Galactic structure and evolution because it can probe the ages of stars. Earlier attempts comparing seismic data from the {\it Kepler} satellite with predictions from Galaxy models found that the models predicted more low-mass stars compared to the observed distribution of masses. It was unclear if the mismatch was due to inaccuracies in the Galactic models, or the unknown aspects of the selection function of the stars. Using new data from the K2 mission, which has a well-defined selection function, we find that an old metal-poor thick disc, as used in previous Galactic models, is incompatible with the asteroseismic information. We show that spectroscopic measurements of [Fe/H] and [$\alpha$/Fe] elemental abundances from the GALAH survey indicate a mean metallicity of $\log (Z/Z_{\odot})=-0.16$ for the thick disc. Here $Z$ is the effective solar-scaled metallicity, which is a function of [Fe/H] and [$\alpha$/Fe]. With the revised disc metallicities, for the first time, the theoretically predicted distribution of seismic masses show excellent agreement with the observed distribution of masses. This provides an indirect verification of the asteroseismic mass scaling relation is good to within five percent. Using an importance-sampling framework that takes the selection function into account, we fit a population synthesis model of the Galaxy to the observed seismic and spectroscopic data. Assuming the asteroseismic scaling relations are correct, we estimate the mean age of the thick disc to be about 10 Gyr, in agreement with the traditional idea of an old $\alpha$-enhanced thick disc.


title: Dynamic Learning with Frequent New Product Launches: A Sequential Multinomial Logit Bandit Problem

abstract: Motivated by the phenomenon that companies introduce new products to keep abreast with customers' rapidly changing tastes, we consider a novel online learning setting where a profit-maximizing seller needs to learn customers' preferences through offering recommendations, which may contain existing products and new products that are launched in the middle of a selling period. We propose a sequential multinomial logit (SMNL) model to characterize customers' behavior when product recommendations are presented in tiers. For the offline version with known customers' preferences, we propose a polynomial-time algorithm and characterize the properties of the optimal tiered product recommendation. For the online problem, we propose a learning algorithm and quantify its regret bound. Moreover, we extend the setting to incorporate a constraint which ensures every new product is learned to a given accuracy. Our results demonstrate the tier structure can be used to mitigate the risks associated with learning new products.


title: Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time

abstract: Calude, Jain, Khoussainov, Li, and Stephan (2017) proposed a quasi-polynomial-time algorithm solving parity games. After this breakthrough result, a few other quasi-polynomial-time algorithms were introduced; none of them is easy to understand. Moreover, it turns out that in practice they operate very slowly. On the other side there is the Zielonka's recursive algorithm, which is very simple, exponential in the worst case, and the fastest in practice. We combine these two approaches: we propose a small modification of the Zielonka's algorithm, which ensures that the running time is at most quasi-polynomial. In effect, we obtain a simple algorithm that solves parity games in quasi-polynomial time. We also hope that our algorithm, after further optimizations, can lead to an algorithm that shares the good performance of the Zielonka's algorithm on typical inputs, while reducing the worst-case complexity on difficult inputs.


title: On the Structure of Liquids: More order than expected

abstract: Disordered systems like liquids, gels, glasses, or granular materials are not only ubiquitous in daily life and in industrial applications but they are also crucial for the mechanical stability of cells or the transport of chemical and biological agents in living organisms [1-3]. Despite the importance of these systems, their microscopic structure is understood only on a rudimentary level, thus in stark contrast to the case of gases and crystals [1,4]. Experimental and theoretical investigations indicate that disordered systems have a structural order on the length scale of a few particle diameters but which then quickly vanishes at larger distances [5]. This conclusion is, however, based mainly on the behavior of two-point correlation functions such as the static structure factor or the radial distribution function [5.6]. Whether or not disordered systems have an order that extents to larger length scales is therefore a highly important question that is still open [7-10]. Here we use computer simulations to show that liquids have an intricate structural order given by alternating layers with icosahedral and dodecahedral symmetries and which extends to surprisingly large distances. We show that the temperature dependence of the corresponding length scale can be detected in the static structure factor, making it directly accessible to scattering experiments. These results, obtained by a novel type of four point correlation function that probes directly the particle density in three dimensions, show that liquids are far more ordered than envisaged so far but that this structural information is encoded in non-standard correlation functions.


title: On quotients of $\overline{\mathcal{M}}_{g,n}$ by certain subgroups of $S_n$

abstract: We show that certain quotients of the compactified moduli space of $n-$ pointed genus $g$ curves, $\overline{\mathcal{M}}^G:= \overline{\mathcal{M}}_{g,n} / G$, are of general type, for a fairly broad class of subgroups $G$ of the symmetric group $S_n$ which act by permuting the $n$ marked points. The values of $(g,n)$ which we specify in our theorems are near optimal in the sense that, at least in he cases that G is the full symmetric group $S_n$ or a product $S_{n_1}\times \ldots \times S_{n_m}$, there is a relatively narrow transitional zone in which $\overline{\mathcal{M}}^G$ changes its behaviour from being of general type to its opposite, e.g. being uniruled or even unirational. As an application we consider the universal difference variety $\overline{\mathcal{M}}_{g,2n} /S_n \times S_n$.


title: Reconstruction of $T_{\mathbb{P}^2}$ via tropical Lagrangian multi-section

abstract: In this paper, we study the reconstruction problem of the holomorphic tangent bundle $\mathbb{T}_{\mathbb{P}^2}$ of the complex projective plane $\mathbb{P}^2$. We introduce the notion of tropical Lagrangian multi-section and cook up one by tropicalizing the Chern connection associated the Fubini-Study metric. Then we perform the reconstruction of $\mathbb{T}_{\mathbb{P}^2}$ from this tropical Lagrangian multi-section. Walling-crossing phenomenon will occur in the reconstruction process.


title: Multi-fractality of the entanglement Hamiltonian eigen-modes

abstract: We study the fractal properties of single-particle eigen-modes of entanglement Hamiltonian in free fermion models. One of these modes that has the highest entanglement information and thus called maximally entangled mode (MEM) is specially considered. In free Fermion models with Anderson localization, fractality of MEM is obtained numerically and compared with the fractality of Hamiltonian eigen-mode at Fermi level. We show that both eigen-modes have similar fractal properties: both have same single fractal dimension in delocalized phase which equals the dimension of the system, and both show multi-fractality at phase transitio point. Therefore, we conclude that, fractal behavior of MEM -- in addition to the fractal behavior of Hamiltonian eigen-mode -- can be used as a quantum phase transition characterization.


title: Implementation of the 8-Nucleon Yakubovsky Formalism for Halo Nucleus 8He

abstract: In order to study the bound-state structure of the Helium halo nuclei, the 8-nucleon Yakubovsky formalism has been implemented for 8He in a 5-body sub-cluster model, i.e. alpha+n+n+n+n. In this case, the 8-nucleon Yakubovsky equations has been obtained in the form of two coupled equations, based on the two independent components. In addition, by removing the contribution interactions of the 8 and 7s bound nucleons in the formalism, the obtained equations explicitly reduce to the 6-nucleon Yakubovsky equations for 6He, in the case of effective 3-body model, i.e. alpha+n+n. In view of the expectation for the dominant structure of 8He, namely an inert alpha-core and four loosely-bound neutrons, Jacobi configurations of the two components in momentum space have been represented to provide technicalities which were considered useful for a numerical performance, such as bound-state calculations and momentum density distributions for halo-bound neutrons.


title: Theory of Phonon-Assisted Adsorption in Graphene: Many-Body Infrared Dynamics

abstract: We devise a theory of adsorption of low-energy atoms on suspended graphene membranes maintained at 10 K based on a model of atom-acoustic phonon interactions. Our primary technique includes a non-perturbative method which treats the dynamics of the multiple phonons in an exact manner within the purview of the Independent Boson Model. We present a study on the effects of the phonons assisting the renormalization as well as decay of the incident atom propagator and discuss results for the many-body adsorption rates for atomic hydrogen on graphene micromembranes. Additionally, we report similarities of this model with other branches of quantum field theories that include long-range interactions like quantum electrodynamics (QED) and perturbative gravity.


title: An attempt to settle the one-component versus two-component debate in Cuprate high-$T_c$ superconductors

abstract: Related to the electronic structure of cuprate high-Tc superconductors there are two prevailing views: In one view, Pines and collaborators argue that cuprates consist of two electronic subsystems: one with localized spins and the other having itinerant character. Contrary to that, Phil Anderson has argued for one-component or one-band model for cuprates. Thus, a very natural question arrises: What is the actual electronic system in cuprates? Are these two-component or one-component systems? After a careful consideration of both the views, we argue in favor of one-component or Andersonian view. The key lies in the dual character of electrons in narrow d bands, and we put forward a semiclassical model using which we could quantitatively account for oxygen NMR shift data in $La_{2-x}Sr_xCuO_4$ within the single component view.


title: Quark matter symmetry energy effect on equation of state for neutron stars

abstract: We study the equation of state of neutron-star matter including the effects of isovector-vector coupling in quark matter. We employ the relativistic mean-field theory with an extended TM1 parameter set to describe hadronic matter and the SU(3) Nambu-Jona-Lasinio model with isovector-vector and hypercharge-vector couplings to describe the quark matter. The deconfinement hadron-quark phase transition is constructed under Gibbs phase equilibrium conditions. It is found that the isovector-vector and hypercharge-vector couplings in quark matter enhance the symmetry energy and hypercharge symmetry energy in neutron-star matter.


title: On Hyperbolic Polynomials and Four-term Recurrence with Linear Coefficients

abstract: For any real numbers $a,\ b$, and $c$, we form the sequence of polynomials $\{P_n(z)\}_{n=0}^\infty$ satisfying the four-term recurrence \[ P_n(z)+azP_{n-1}(z)+bP_{n-2}(z)+czP_{n-3}(z)=0,\ n\in\mathbb{N}, \] with the initial conditions $P_0(z)=1$ and $P_{-n}(z)=0$. We find necessary and sufficient conditions on $a,\ b$, and $c$ under which the zeros of $P_n(z)$ are real for all $n$, and provide an explicit real interval on which $\displaystyle\bigcup_{n=0}^\infty\mathcal{Z}(P_n)$ is dense, where $\mathcal{Z}(P_n)$ is the set of zeros of $P_n(z)$.


title: A new method of brain stimulation at ultra-high frequency

abstract: Nerve stimulation via micro-electrode implants is one of the neurostimulation approaches which is used frequently in the medical treatment of some brain disorders, neural prosthetics, brain-machine interfaces and also in the cyborg. In this method, the electrical stimulation signal can be categorized by the frequency band: low frequency, high frequency, and ultra-high frequency. The stimulation should be less destructive, more smooth, and controllable. In this article, we present a brief description of the mechanism underlying the ultra-high frequency stimulation. In the flowing, from an informatics perspective, we propose a state-of-the-art, low destructive, and highly efficient stimulation method at the low amplitude ultra-high frequency signal. In this method, we have tried to reduce the adaptation of the nerve system by modulating the stimulation signal via a low frequency rectangular random wave. By this method, we could reach the "almost zero discharge" with minimum destructive effect in the experimental test on the fish nervous system.


title: Thermal Dendrites on the Surface of Water and Water Solution

abstract: Thermal dendrites (fractal-like structures) on the surface of water and some water solutions are found with an infrared camera. They are observed with specific sizes and temperature differences in the liquid and are not associated with the movement of the liquid.


title: 5d Dirac fermion on quantum graph

abstract: In this paper, we investigate a five-dimensional Dirac fermion on a quantum graph that consists of a single vertex and $N$ loops. We find that the model possesses a rich structure of boundary conditions for wavefunctions on the quantum graph and they can be classified into $(2N+1)$ distinct categories. It is then shown that there appear degenerate four-dimensional chiral massless fermions in the four-dimensional mass spectrum. We briefly discuss how our model could naturally solve the problems of the fermion generation, the fermion mass hierarchy and the origin of the $CP$-violating phase.


title: A Closed Form Approximation of Moments of New Generalization of Negative Binomial Distribution

abstract: In this paper, we propose a closed form approximation to the mean and variance of a new generalization of negative binomial (NGNB) distribution arising from the Extended COM-Poisson (ECOMP) distribution developed by Chakraborty and Imoto (2016)(see [4]). The NGNB is a special case of the ECOMP distribution and was named so by these authors. This distribution is more flexible in terms of the dispersion index as compared to its ordinary counterparts. It approaches the COM-Poisson distribution (Shmueli et al. 2005) [11] under suitable limiting conditions. The NGNB can also be obtained from the COM-Negative Hypergeometric distribution (Roy et al. 2019)[10] as a limiting distribution. In this paper, we present closed-form approximations for the mean and variance of the NGNB distribution. These approximations can be viewed as the mean and variance of convolution of independent and identically distributed negative binomial populations. The proposed closed-form approximations of the mean and variance will be helpful in building the link function for the generalized negative binomial regression model based on the NGNB distribution and other extended applications, hence resulting in enhanced applicability of this model.


title: Theory of cyborg: a new approach to fish locomotion control

abstract: Cyborg in the brain-machine interface field has attracted more attention in recent years. To control a creature via a machine called cyborg method, three stages are considerable: stimulation of neurons, neural response, and the behavioral reaction of the subject. Our main concern was to know how electrical stimulation induces neural activity and leads to a behavioral response. Additionally, we were interested to explore which type of electrical stimulation is optimal from different aspects such as maximum response with minimum induction stimulus field, minimum damage of the tissue and the electrode, reduction of the noxiousness of stimuli or pain in the living creature. In this article, we proposed a new model for the induction of neural activity led to locomotion responses through electrical stimulation. Furthermore, based on this model, we developed a new approach of electrical neural stimulation to provide a better locomotion control of living beings. This approach was verified through the empirical data of fish cyborg. We stimulated the fish brain by use of an ultra-high frequency signal which careered by a random low frequency. According to our model, we could control the locomotion of fish in a novel and innovative way. In this study, we categorized the different cyborg methods based on the nervous system areas and the stimulation signal properties to reach the better and optimal behavioral control of creature. According to this, we proposed a new stimulation method theoretically and confirmed it experimentally.


title: Duality and quotient spaces of generalized Wasserstein spaces

abstract: In this article, using ideas of Liero, Mielke and Savar\'{e} in [21], we establish a Kantorovich duality for generalized Wasserstein distances $W_1^{a,b}$ on a generalized Polish metric space, introduced by Picolli and Rossi. As a consequence, we give another proof that $W_1^{a,b}$ coincide with flat metrics which is a main result of [25], and therefore we get a result of independent interest that $\left(\mathcal{M}(X), W^{a,b}_1\right)$ is a geodesic space for every Polish metric space $X$. We also prove that $(\mathcal{M}^G(X),W_p^{a,b})$ is isometric isomorphism to $(\mathcal{M}(X/G),W_p^{a,b})$ for isometric actions of a compact group $G$ on a Polish metric space $X$; and several results of Gromov-Hausdorrf convergence and equivariant Gromov-Hausdorff convergence of generalized Wasserstein spaces. The latter results were proved for standard Wasserstein spaces in [22],[14] and [8] respectively.


title: Deep Learning-Based Video Coding: A Review and A Case Study

abstract: The past decade has witnessed great success of deep learning technology in many disciplines, especially in computer vision and image processing. However, deep learning-based video coding remains in its infancy. This paper reviews the representative works about using deep learning for image/video coding, which has been an actively developing research area since the year of 2015. We divide the related works into two categories: new coding schemes that are built primarily upon deep networks (deep schemes), and deep network-based coding tools (deep tools) that shall be used within traditional coding schemes or together with traditional coding tools. For deep schemes, pixel probability modeling and auto-encoder are the two approaches, that can be viewed as predictive coding scheme and transform coding scheme, respectively. For deep tools, there have been several proposed techniques using deep learning to perform intra-picture prediction, inter-picture prediction, cross-channel prediction, probability distribution prediction, transform, post- or in-loop filtering, down- and up-sampling, as well as encoding optimizations. In the hope of advocating the research of deep learning-based video coding, we present a case study of our developed prototype video codec, namely Deep Learning Video Coding (DLVC). DLVC features two deep tools that are both based on convolutional neural network (CNN), namely CNN-based in-loop filter (CNN-ILF) and CNN-based block adaptive resolution coding (CNN-BARC). Both tools help improve the compression efficiency by a significant margin. With the two deep tools as well as other non-deep coding tools, DLVC is able to achieve on average 39.6\% and 33.0\% bits saving than HEVC, under random-access and low-delay configurations, respectively. The source code of DLVC has been released for future researches.


title: Sturm's operator acting on vector valued $K$-types

abstract: We define Sturm's operator on vector valued Siegel modular forms obtaining an explicit description of their holomorphic projection in case of large absolute weight. However, for small absolute weight, Sturm's operator produces phantom terms in addition. This confirms our earlier results for scalar Siegel modular forms.


title: Lieb-Robinson Bounds on Entanglement Gaps from Symmetry-Protected Topology

abstract: A quantum quench is the simplest protocol to investigate nonequilibrium many-body quantum dynamics. Previous studies on the entanglement properties of quenched quantum many-body systems mainly focus on the growth of entanglement entropy. Several rigorous results and phenomenological guiding principles have been established, such as the no-faster-than-linear entanglement growth generated by generic local Hamiltonians and the peculiar logarithmic growth for many-body localized systems. However, little is known about the dynamical behavior of the full entanglement spectrum, which is a refined character closely related to the topological nature of the wave function. Here, we establish a rigorous and universal result for the entanglement spectra of 1D SPT systems evolving out of equilibrium. Our result is derived both for free-fermion SPT systems and interacting ones. For free-fermion systems with AZ symmetries, we prove that the single-particle entanglement gap after quenches obeys essentially the same Lieb-Robinson bound as that on the equal-time correlation, provided that there is no dynamical symmetry breaking. As a notable byproduct, we obtain a new type of Lieb-Robinson velocity which is related to the band dispersion with a complex wave number and reaches the minimum as the maximal (relative) group velocity. Within the framework of tensor networks, i.e., for SPT MPSs evolved by symmetric and trivial MPUs, we also identify a Lieb-Robinson bound on the many-body entanglement gap for general quenched interacting SPT systems. This result suggests high potential of tensor-network approaches for exploring rigorous results on long-time quantum dynamics. Influence of partial symmetry breaking, effects of disorder, and the relaxation property in the long-time limit are also discussed. Our work establishes a paradigm for exploring rigorous results of SPT systems out of equilibrium.

categories: quant-ph cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el math-ph math.MP


title: Asymmetric Impurity Functions, Class Weighting, and Optimal Splits for Binary Classification Trees

abstract: We investigate how asymmetrizing an impurity function affects the choice of optimal node splits when growing a decision tree for binary classification. In particular, we relax the usual axioms of an impurity function and show how skewing an impurity function biases the optimal splits to isolate points of a particular class when splitting a node. We give a rigorous definition of this notion, then give a necessary and sufficient condition for such a bias to hold. We also show that the technique of class weighting is equivalent to applying a specific transformation to the impurity function, and tie all these notions together for a class of impurity functions that includes the entropy and Gini impurity. We also briefly discuss cost-insensitive impurity functions and give a characterization of such functions.


title: Ideal type-II Weyl phonons in wurtzite CuI

abstract: Weyl semimetals exhibitinging the topologically nontrivial touching points in electronic band dispersion of solids pave the wave way to novel electronic devices and functionalities. Here, we demonstrate the signature of topologically nontrivial Weyl points (WPs) in phonon dispersion of solids through a first-principles investigations. ofT noncentrosymmetric wurtzite CuI (cuprous iodide at high temperature). These type-II phononic WP in phonon dispersion of wurtzite CuI is manifested in noncentrosymmetric wurtzite CuI by six pairs of the nontrivial touching points in the k_z=0.0 plane. The ideal WPs in phonon dispersion are completely isolated from bulk phonon continuum, are different distinct from many type-II WPs in electronic band dispersion of solids associated with the overlapping band states. The opposite chirality of Weyl phonon nodes with quantized Berry curvature are utilized forproduces Weyl phonon Hall effect, in analogous analogy towith valley Hall effect of electrons. Such ideal type-II Weyl phonons are phase is readily observable in experiment, and could provideing a unique platform to study novel thermal transport properties different distinct from that in type-I Weyl phonons phase.


title: A Fast Scalable Heuristic for Bin Packing

abstract: In this paper we present a fast scalable heuristic for bin packing that partitions the given problem into identical sub-problems of constant size and solves these constant size sub-problems by considering only a constant number of bin configurations with bounded unused space. We present some empirical evidence to support the scalability of our heuristic and its tighter empirical analysis of hard instances due to improved lower bound on the necessary wastage in an optimal solution.


title: BGG category for the quantum Schr\"odinger algebra

abstract: In this paper, we study the BGG category $\mathcal{O}$ for the quantum Schr{\"o}dinger algebra $U_q(\mathfrak{s})$, where $q$ is a nonzero complex number which is not a root of unity. If the central charge $\dot z\neq 0$, using the module $B_{\dot z}$ over the quantum Weyl algebra $H_q$, we show that there is an equivalence between the full subcategory $\mathcal{O}[\dot z]$ consisting of modules with the central charge $\dot z$ and the BGG category $\mathcal{O}^{(\mathfrak{sl}_2)}$ for the quantum group $U_q(\mathfrak{sl}_2)$. In the case that $\dot z=0$, we study the subcategory $\mathcal{A}$ consisting of finite dimensional $U_q(\mathfrak{s})$-modules of type $1$ with zero action of $Z$. Motivated by the ideas in \cite{DLMZ, Mak}, we directly construct an equivalent functor from $\mathcal{A}$ to the category of finite dimensional representations of an infinite quiver with some quadratic relations. As a corollary, we show that the category of finite dimensional $U_q(\mathfrak{s})$-modules is wild.


title: Computational Design of Mixed-valence Tin Sulfides as Solar Absorbers

abstract: Binary tin sulfides are appealing because of their simple stoichiometry and semiconducting properties and are potentially cost-effective optoelectronic materials. The multivalency of Sn allows yet more intermediate compositions, Sn$_x$S$_y$, whose structures and properties are of interest.Sn$_2$S$_3$ is already under consideration as a mixed-valence semiconductor. Other intermediate compositions have remained elusive. Here we report a comprehensive study of phase stability of the Sn$_x$S$_y$ series compounds, utilizing swarm-intelligence crystal structure search method combined with first-principles energetic calculations. We find that the stability of mixed-valence Sn$_x$S$_y$ compounds with respect to decomposition into pure-valence SnS and SnS$_2$ is in general weaker than the Sn$_x$O$_y$ counterparts, likely due to differences in chemical bonding. Besides identifying the experimentally discovered stable phases of Sn$_2$S$_3$, our calculations indicate that the Sn$_3$S$_4$ phase is another mixed-valence composition which shows marginal stability with respect to decomposition into SnS and SnS$_2$. Other studied compositions may be metastable under ambient conditions, with slightly positive formation enthalpies. We find two structures of Sn$_3$S$_4$ having comparably low energies, both of which feature one-dimensional chain-like fragments obtained by breaking up the edge-connected octahedral layers of SnS$_2$. Both structures indicate lattice phonon stability and one shows quasi-direct band gap with a calculated value of 1.43 eV, ideal for solar absorbers. A further analysis of the composition-structure-property relationship supports the notion that lowdimensional Sn-S motifs and van der Waals interaction may lead to diverse structure types and chemical compositions, having functional properties that are yet to be identified in the Sn$_x$S$_y$ series with mixed valency.


title: Teaching AI, Ethics, Law and Policy

abstract: The cyberspace and development of intelligent systems using Artificial Intelligence (AI) creates new challenges to computer professionals, data scientists, regulators and policy makers. For example, self-driving cars raise new technical, ethical, legal and public policy issues. This paper proposes a course named Computers, Ethics, Law, and Public Policy, and suggests a curriculum for such a course. This paper presents ethical, legal, and public policy issues relevant to building and using intelligent systems.


title: Constraining the symmetry energy with heavy-ion collisions and Bayesian analyses

abstract: Efficiency corrected single ratios of neutron and proton spectra in central $^{112}$Sn+$^{112}$Sn and $^{124}$Sn+$^{124}$Sn collisions at 120 MeV/u are combined with double ratios to provide constraints on the density and momentum dependencies of the isovector mean-field potential. Bayesian analyses of these data reveal that the isoscalar and isovector nucleon effective masses, $m_s^* - m_v^*$ are strongly correlated. The linear correlation observed in $m_s^* - m_v^*$ yields a nearly independent constraint on the effective mass splitting $\Delta m_{np}^*= (m_n^*-m_p^*)/m_N = -0.05_{-0.09}^{+0.09}\delta$. The correlated constraint on the standard symmetry energy, $S_0$ and the slope, $L$ at saturation density yields the values of symmetry energy $S(\rho_s)=16.8_{-1.2}^{+1.2}$ MeV at a sensitive density of $\rho_s/\rho_0 = 0.43_{-0.05}^{+0.05}$.


title: On the Uncertainties of Results Derived from HI Spectral Line Stacking Experiments

abstract: We present the results of a set of mock experiments aimed at quantifying the accuracy of results derived from HI spectral line stacking experiments. We focus on the effects of spatial and spectral aperture sizes and redshift uncertainties on co-added HI spectra, and by implication on the usefulness of results from HI line spectral stacking experiments. Using large spatial apertures to extract constituent galaxy spectra yields co-added spectra with high levels of contamination and with relatively low signal-to-noise ratios. These properties are also affected by the size of the spectral aperture as well as HI redshift uncertainties of galaxies. When redshift uncertainties are high, S/N decreases while the contamination level remains roughly constant. Using small spectral apertures in the presence of large HI redshift uncertainties can yield significant decreases in S/N without the expected decrease in amount of contaminant flux. Our simulations show that a co-added spectrum rarely yields an accurate measure of the total HI mass of a galaxy sample. Total mass is generally over/under-estimated for large/small spatial apertures, regardless of spectral aperture size. Our findings strongly suggest that any co-added HI galaxy spectrum needs to be fully modelled in the ways presented in this paper in order to apply accurate corrections for flux contamination and derive realistic uncertainties in total HI galaxy mass. Failing to do so will result in unreliable inferences of galaxy and cosmological parameters.


title: Large collective Lamb shift of two distant superconducting artificial atoms

abstract: Virtual photons can mediate interaction between atoms, resulting in an energy shift known as a collective Lamb shift. Observing the collective Lamb shift is challenging, since it can be obscured by radiative decay and direct atom-atom interactions. Here, we place two superconducting qubits in a transmission line terminated by a mirror, which suppresses decay. We measure a collective Lamb shift reaching 0.8% of the qubit transition frequency and exceeding the transition linewidth. We also show that the qubits can interact via the transmission line even if one of them does not decay into it.


title: Metal-Organic Frameworks in Germany: from Synthesis to Function

abstract: Metal-organic frameworks (MOFs) are constructed from a combination of inorganic and organic units to produce materials which display high porosity, among other unique and exciting properties. MOFs have shown promise in many wide-ranging applications, such as catalysis and gas separations. In this review, we highlight MOF research conducted by Germany-based research groups. Specifically, we feature approaches for the synthesis of new MOFs, high-throughput MOF production, advanced characterization methods and examples of advanced functions and properties.


title: Over-the-Air Computation via Intelligent Reflecting Surfaces

abstract: Over-the-air computation (AirComp) becomes a promising approach for fast wireless data aggregation via exploiting the superposition property in a multiple access channel. To further overcome the unfavorable signal propagation conditions for AirComp, in this paper, we propose an intelligent reflecting surface (IRS) aided AirComp system to build controllable wireless environments, thereby boosting the received signal power significantly. This is achieved by smartly tuning the phase shifts for the incoming electromagnetic waves at IRS, resulting in reconfigurable signal propagations. Unfortunately, it turns out that the joint design problem for AirComp transceivers and IRS phase shifts becomes a highly intractable nonconvex bi-quadratic programming problem, for which a novel alternating difference-of-convex (DC) programming algorithm is developed. This is achieved by providing a novel DC function representation for the rank-one constraint in the low-rank matrix optimization problem via matrix lifting. Simulation results demonstrate the algorithmic advantages and admirable performance of the proposed approaches compared with the state-of-art solutions.


title: The Important Role of Cosmic-Ray Re-Acceleration

abstract: In the last decades, the improvement of high energy instruments has enabled a deeper understanding of the Cosmic Ray origin issue. In particular, the gamma-ray satellites AGILE (Astrorivelatore Gamma ad Immagini LEggero) and Fermi-LAT (Fermi-Large Area Telescope) have strongly contributed to the confirmation of direct involvement of Supernova Remnants in Cosmic Ray energization. Despite several attempts to fit experimental data assuming the presence of freshly accelerated particles, the scientific community is now aware that the role of pre-existing Cosmic Ray re-acceleration cannot be neglected. In this work, we highlight the importance of pre-existing Cosmic Ray re-acceleration in the Galaxy showing its fundamental contribution in middle aged Supernova Remnant shocks and in the forward shock of stellar winds.


title: Role of the Symmetry Energy on the Structure of Neutron Stars with Unified Equations of State

abstract: The role of the symmetry energy on the internal constitution and the global structure of a cold nonaccreted neutron star is studied using a set of unified equations of state. Based on the nuclear energy-density functional theory, these equations of state provide a thermodynamically consistent treatment of all regions of the star and were calculated using the four different Brussels-Montreal functionals BSk22, BSk24, BSk25 and BSk26. Our predictions are compared to various constraints inferred from astrophysical observations including the recent detection of the gravitational wave signal GW170817 from a binary neutron-star merger.


title: First Observed Metal-like to Insulator Transition in the vacant 3d orbital Quantum Spin Liquid Tb$_2$Ti$_2$O$_7$

abstract: We report the observation of metal-like to insulator transition (MTI) in the 3dpyrochlore oxide Tb2Ti2O7 at 603 K due to the interaction of empty 3d orbitals of Ti4+ with O2- ions, evidenced by the transition in resistivity. Magnetisation, specific heat capacity and differential scanning calorimetry support the MTI, and the transition is of second order. An appreciable change in magnetisation with temperature, without any magnetic phase transition, is a behaviour typical in this family of compounds which is seldom observed in empty d orbital pyrochlores. The possible mechanism that supports the MTI in Tb2Ti2O7 is discussed. Subsequently, a broad change in magnetisation from 696 K is also seen. Thermogravimetric analysis confirms the observed MTI (603 K) and the broad change in magnetisation (696 K)are not due to oxygen vacancy


title: Density of $g$-vector cones from triangulated surfaces

abstract: We study $g$-vector cones associated with clusters of cluster algebras defined from a marked surface $(S,M)$ of rank $n$. We determine the closure of the union of $g$-vector cones associated with all clusters. It is equal to $\mathbb{R}^n$ except for a closed surface with exactly one puncture, in which case it is equal to the half space of a certain explicit hyperplane in $\mathbb{R}^n$. Our main ingredients are laminations on $(S,M)$, their shear coordinates and their asymptotic behavior under Dehn twists. As an application, if $(S,M)$ is not a closed surface with exactly one puncture, the exchange graph of cluster tilting objects in the corresponding cluster category is connected. If $(S,M)$ is a closed surface with exactly one puncture, it has precisely two connected components.


title: On D-brane interaction & its related properties

abstract: We compute the closed-string cylinder amplitude between one Dp brane and the other Dp$\prime$ brane, placed parallel at a separation, with each carrying a general constant worldvolume flux and with $p - p' = 0, 2, 4, 6$ and $p \le 6$. For the $p = p'$, we show that the main part of the amplitude for $p = p' < 5$ is a special case of that for $p = p' = 5$ or $6$ case. For all other $p - p' = 2, 4, 6$ cases, we show that the amplitude is just a special case of the corresponding one for $p = p'$ case. Combining both, we obtain the general formula for the amplitude, which is valid for each of the cases considered and for arbitrary constant worldvolume fluxes. The corresponding general open string one-loop annulus amplitude is also obtained by a Jacobi transformation of the general cylinder one. We give also the general open string pair production rate. We study the properties of the amplitude such as the nature of the interaction, the open string tachyonic instability, and the possible open string pair production and its potential enhancement. In particular, in the presence of pure magnetic fluxes or magnetic-like fluxes, we find that the nature of interaction is correlated with the existence of potential open string tachyonic instability. When the interaction is attractive, there always exists an open string tachyonic instability when the brane separation reaches the minimum determined by the so-called tachyonic shift. When the interaction is repulsive, there is no such instability for any brane separation. We also find that the enhancement of open string pair production, in the presence of pure electric fluxes, can occur only for the $p - p' = 2$ case.


title: Towards a Passive BCI to Induce Lucid Dream

abstract: Lucid dreaming (LD) is a phenomenon during which the person is aware that he/she dreaming and is able to control the dream content. Studies have shown that only 20% of people can experience lucid dreams on a regular basis. However, LD frequency can be increased through induction techniques. External stimulation technique relies on the ability to integrate external information into the dream content. The aim is to remind the sleeper that she/he is dreaming. If this type of protocol is not fully efficient, it demonstrates how sensorial stimuli can be easily incorporated into people's dreams. The objective of our project was to replicate this induction technique using material less expensive and more portable. This material could simplify experimental procedures. Participants could bring the material home, then have a more ecological setting. First, we used the OpenBCI Cyton, a low-cost EEG signal acquisition board in order to record and manually live-score sleep. Then, we designed a mask containing two LEDs, connected to a microcontroller to flash visual stimulation during sleep. We asked two volunteers to sleep for 2 hours in a dedicated room. One of the participants declared having a dream during which the blue lights diffused by the mask were embedded into the dream environment. The other participant woke up during the visual stimulation. These results are congruent with previous studies. This work marked the first step of a larger project. Our ongoing research includes the use of an online sleep stage scoring tool and the possibility to automatically send stimuli according to the sleep stage. We will also investigate other types of stimulus induction in the future such as vibro-tactile stimulation that showed great potentials.


title: Aggregating Relational Structures

abstract: We generalize the Arrow's impossibility theorem--a key result in social choice theory--to the setting where the arity $k$ of the relation under consideration is greater than $2$. Some special but natural properties of $k$-ary relations are considered, as well as an analogue for such $k$-ary relations of Endriss and Grandi's result on graph aggregation is proved.


title: Self-Attention Capsule Networks for Object Classification

abstract: We propose a novel architecture for object classification, called Self-Attention Capsule Networks (SACN). SACN is the first model that incorporates the Self-Attention mechanism as an integral layer within the Capsule Network (CapsNet). While the Self-Attention mechanism supplies a long-range dependencies, results in selecting the more dominant image regions to focus on, the CapsNet analyzes the relevant features and their spatial correlations inside these regions only. The features are extracted in the convolutional layer. Then, the Self-Attention layer learns to suppress irrelevant regions based on features analysis and highlights salient features useful for a specific task. The attention map is then fed into the CapsNet primary layer that is followed by a classification layer. The proposed SACN model was designed to solve two main limitations of the baseline CapsNet - analysis of complex data and significant computational load. In this work, we use a shallow CapsNet architecture and compensates for the absence of a deeper network by using the Self-Attention module to significantly improve the results. The proposed Self-Attention CapsNet architecture was extensively evaluated on six different datasets, mainly on three different medical sets, in addition to the natural MNIST, SVHN and CIFAR10. The model was able to classify images and their patches with diverse and complex backgrounds better than the baseline CapsNet. As a result, the proposed Self-Attention CapsNet significantly improved classification performance within and across different datasets and outperformed the baseline CapsNet, ResNet-18 and DenseNet-40 not only in classification accuracy but also in robustness.


title: Universality classes of quantum chaotic dissipative systems

abstract: We study the ensemble of complex symmetric matrices. The ensemble is useful in the study of effect of dissipation on systems with time reversal invariance. We consider the nearest neighbor spacing distribution and spacing ratio to investigate the fluctuation statistics and show that these statistics are similar to that of dissipative chaotic systems with time reversal invariance. We show that, unlike cubic repulsion in eigenvalues of Ginibre matrices, these ensemble exhibits a weaker repulsion. The nearest neighbor spacing distribution exhibits $P(s) \propto -s^3 \log s$ for small spacings. We verify our results for quantum kicked rotor with time reversal invariance. We show that the rotor exhibits similar spacing distribution in dissipative regime. We also discuss a random matrix model for transition from time reversal invariant to broken case.


title: About some possible blow-up conditions for the 3-D Navier-Stokes equations

abstract: In this paper, we study some conditions related to the question of the possible blow-up of regular solutions to the 3D Navier-Stokes equations. In particular, up to a modification in a proof of a very recent result from \cite{Isab}, we prove that if one component of the velocity remains small enough in a sub-space of $\dot{H}^{\frac{1}{2}}$ "almost" scaling invariant, then the 3D Navier Stokes is globally wellposed. In a second time, we investigate the same question under some conditions on one component of the vorticity and unidirectional derivative of one component of the velocity in some critical Besov spaces of the form $L^p_T(\dot{B}_{2,\infty}^{\alpha, \frac{2}{p}-\frac{1}{2}-\alpha})$ or $L^p_T(\dot{B}_{q,\infty}^{ \frac{2}{p}+\frac{3}{q}-2})$.


title: Distributed opto-mechanical analysis of liquids outside standard fibers coated with polyimide

abstract: The analysis of surrounding media has been a long-standing challenge of optical fiber sensors. Measurements are difficult due to the confinement of light to the inner core of standard fibers. Over the last two years, new sensor concepts have enabled the analysis of liquids outside the cladding boundary, where light does not reach. Sensing is based on opto-mechanical, forward stimulated Brillouin scattering interactions between guided light and sound waves. In most previous works, however, the protective polymer coating of the fiber had to be removed first. In this work, we report the opto-mechanical analysis of liquids outside commercially available, standard single-mode fibers with polyimide coating. The polyimide layer provides mechanical protection but can also transmit acoustic waves from the fiber cladding towards outside media. Comprehensive analysis of opto-mechanical coupling in coated fibers that are immersed in liquid is provided. The model shows that forward stimulated Brillouin scattering spectra in coated fibers are more complex than those of bare fibers, and strongly depend on the exact coating diameter and the choice of acoustic mode. Nevertheless, sensing outside coated fibers is demonstrated experimentally. Integrated measurements over 100 meters of fiber clearly distinguish between air, ethanol and water outside polyimide coating. Measured spectra are in close quantitative agreement with the analytic predictions. Further, distributed opto-mechanical time-domain reflectometry mapping of water and ethanol outside coated fiber is reported, with a spatial resolution of 100 meters. The results represent a large step towards practical opto-mechanical fiber sensors.


title: Realization of Lieb Lattice in Covalent-organic Frameworks with Tunable Topology and Magnetism

abstract: Lieb lattice, a two-dimensional edge-depleted square lattice, has been predicted to host various exotic electronic properties due to its unusual band structure, i.e., Dirac cone intersected by a flat band (Dirac-flat bands). Until now, although a few artificial Lieb lattices have been discovered in experiments, the realization of a Lieb lattice in a real material is still unachievable. In this article, based on tight-binding modeling and first-principles calculations, we predict that the two covalent organic frameworks (COFs), i.e., sp2C-COF and sp2N-COF, which have been synthesized in the recent experiments, are actually the first two material realizations of organic-ligand-based Lieb lattice. It is found that the lattice distortion can govern the bandwidth of the Dirac-flat bands and in turn determine its electronic instability against spontaneous spin-polarization during carrier doping. The spin-orbit coupling effects could drive these Dirac-flat bands in a distorted Lieb lattice presenting nontrivial topological properties, which depend on the position of Fermi level. Interestingly, as the hole doping concentration increases, the sp2C-COF can experience the phase transitions from a paramagnetic state to a ferromagnetic one and then to a N\'eel antiferromagnetic one. Our findings not only confirm the first material realization of Lieb lattice in COFs, but also offer a possible way to achieve tunable topology and magnetism in d- (f-) orbital-free organic lattices.


title: Proceedings of the 42nd Scandinavian Symposium on Physical Acoustics

abstract: The 42nd Scandinavian Symposium on Physical Acoustics was held at Geilo, Norway from January 27 to January 30, 2019. It was arranged by the Acoustics and Optics group of the Norwegian Physical Society, and was coordinated by Geir Pedersen and Lars Hoff. The symposium gathered 52 registered participants, holding a total of 31 presentations covering various topics and applications of physical acoustics, such as underwater acoustics, medical ultrasound, industrial NDT/NDE, waves in solids, and flow acoustics. In addition, a group of 7 fresh master students from UiO, USN and UiB gave shorter talks introducing their projects. After the symposium, 3 of these presentations were submitted as papers to these proceedings.


title: A 6.7 GHz Methanol Maser Survey at High Galactic Latitudes

abstract: We performed a systematic 6.7 GHz Class \uppercase\expandafter{\romannumeral2} methanol maser survey using the Shanghai Tianma Radio Telescope toward targets selected from the all-sky \emph{Wide-Field Infrared Survey Explorer (WISE)} point catalog. In this paper, we report the results from the survey of those at high Galactic latitudes, i.e. $|b|>$ 2$^\circ$. Of 1473 selected \emph{WISE} point sources at high latitude, 17 point positions that were actually associated with 12 sources were detected with maser emission, reflecting the rarity (1$-$2\%) of methanol masers in the region away from the Galactic plane. Out of the 12 sources, 3 are detected for the first time. The spectral energy distribution (SED) at infrared bands shows that these new detected masers occur in the massive star forming regions. Compared to previous detections, the methanol maser changes significantly in both spectral profiles and flux densities. The infrared \emph{WISE} images show that almost all of these masers are located in the positions of the bright \emph{WISE} point sources. Compared with the methanol masers at the Galactic plane, these high-latitude methanol masers provide good tracers for investigating the physics and kinematics around massive young stellar objects, because they are believed to be less affected by the surrounding cluster environment.


title: Learning Meta Model for Zero- and Few-shot Face Anti-spoofing

abstract: Face anti-spoofing is crucial to the security of face recognition systems. Most previous methods formulate face anti-spoofing as a supervised learning problem to detect various predefined presentation attacks, which need large scale training data to cover as many attacks as possible. However, the trained model is easy to overfit several common attacks and is still vulnerable to unseen attacks. To overcome this challenge, the detector should: 1) learn discriminative features that can generalize to unseen spoofing types from predefined presentation attacks; 2) quickly adapt to new spoofing types by learning from both the predefined attacks and a few examples of the new spoofing types. Therefore, we define face anti-spoofing as a zero- and few-shot learning problem. In this paper, we propose a novel Adaptive Inner-update Meta Face Anti-Spoofing (AIM-FAS) method to tackle this problem through meta-learning. Specifically, AIM-FAS trains a meta-learner focusing on the task of detecting unseen spoofing types by learning from predefined living and spoofing faces and a few examples of new attacks. To assess the proposed approach, we propose several benchmarks for zero- and few-shot FAS. Experiments show its superior performances on the presented benchmarks to existing methods in existing zero-shot FAS protocols.


title: Positron Binding and Annihilation in Alkane Molecules

abstract: A model-potential approach has been developed to study positron interactions with molecules. Binding energies and annihilation rates are calculated for positron bound states with a range of alkane molecules, including rings and isomers. The calculated binding energies are in good agreement with experimental data, and the existence of a second bound state for $n$-alkanes (C$_n$H$_{2n+2}$) with $n\geq12$ is predicted in accord with experiment. The annihilation rate for the ground positron bound state scales linearly with the square root of the binding energy.


title: Nonlinear magnetotransport shaped by Fermi surface topology and convexity in WTe2

abstract: The nature of Fermi surface defines the physical properties of conductors and many physical phenomena can be traced to its shape. Although the recent discovery of a current-dependent nonlinear magnetoresistance in spin-polarized non-magnetic materials has attracted considerable attention in spintronics, correlations between this phenomenon and the underlying fermiology remain unexplored. Here, we report the observation of nonlinear magnetoresistance at room temperature in a semimetal WTe2, with an interesting temperature-driven inversion. Theoretical calculations reproduce the nonlinear transport measurements and allow us to attribute the inversion to temperature-induced changes in Fermi surface convexity. We also report a large anisotropy of nonlinear magnetoresistance in WTe2, due to its low symmetry of Fermi surfaces. The good agreement between experiments and theoretical modeling reveals the critical role of Fermi surface topology and convexity on the nonlinear magneto-response. These results lay a new path to explore ramifications of distinct fermiology for nonlinear transport in condensed-matter.


title: Reentrance of Topological Phase in Spin-1 Frustrated Heisenberg Chain

abstract: For the Haldane phase, the magnetic field usually tends to break the symmetry and drives the system into a topologically trivial phase. Here, we report a novel reentrance of the Haldane phase at zero temperature in the spin-1 antiferromagnetic Heisenberg model on sawtooth chain. A partial Haldane phase is induced by the magnetic field, which is the combination of the Haldane state in one sublattice and a ferromagnetically ordered state in the other sublattice. Such a partial topological order is a result of the zero-temperature entropy due to quantum fluctuations caused by geometrical frustration.


title: Trace Finite Element Methods for Surface Vector-Laplace Equations

abstract: In this paper we analyze a class of trace finite element methods (TraceFEM) for the discretization of vector-Laplace equations. A key issue in the finite element discretization of such problems is the treatment of the constraint that the unknown vector field must be tangential to the surface (``tangent condition''). We study three different natural techniques for treating the tangent condition, namely a consistent penalty method, a simpler inconsistent penalty method and a Lagrange multiplier method. A main goal of the paper is to present an analysis that reveals important properties of these three different techniques for treating the tangent constraint. A detailed error analysis is presented that takes the approximation of both the geometry of the surface and the solution of the partial differential equation into account. Error bounds in the energy norm are derived that show how the discretization error depends on relevant parameters such as the degree of the polynomials used for the approximation of the solution, the degree of the polynomials used for the approximation of the level set function that characterizes the surface, the penalty parameter and the degree of the polynomials used for the approximation of Lagrange multiplier.


title: Associated Weber-Orr transform, Biot-Savart Law and explicit solution of 2D Stokes system in exterior of the disc

abstract: In this article we derive the explicit solution of 2-D Stokes system in exterior of the disc with no-slip condition on inner boundary and given velocity $\mathbf{v}_\infty$ at infinity. It turned out it is the first application of the associated Weber-Orr transform to mathematical physics in comparison to classical Weber-Orr transform which is used in many researches. From no-slip condition for velocity field we will obtain Robin-type boundary condition for vorticity. Then the initial-boundary value problem for vorticity will be solved with help of the associated Weber-Orr transform. Also the explicit formula of Biot-Savart Law in polar coordinates will be given.


title: Differential equations, recurrence relations, and quadratic constraints for $L$-loop two-point massive tadpoles and propagators

abstract: We consider $L$-loop two-point tadpole (watermelon) integral with arbitrary masses, regularized both dimensionally and analytically. We derive differential equation system and recurrence relations (shifts of dimension and denominator powers). Since the $L$-loop sunrise integral corresponds to the $(L+1)$-loop watermelon integral with one cut line, our results are equally applicable to the former. The obtained differential system has a Pfaffian form and is linear in dimension and analytic regularization parameters. In general case, the solutions of this system can be expressed in terms of the Lauricella functions $F_C^{(L)}$ with generic parameters. Therefore, as a by-product, we obtain, to our knowledge for the first time, the Pfaffian system for $F_C^{(L)}$ for arbitrary $L$. The obtained system has no apparent singularities. Near odd dimension and integer denominator powers the system can be easily transformed into canonical form. Using the symmetry properties of the matrix in the right-hand side of the differential system, we obtain quadratic constraints for the expansion of solutions near integer dimension and denominator powers. In particular, we obtain quadratic constraints for Bessel moments similar to those discovered by Broadhurst and Roberts.


title: Oscillatory migration of accreting protoplanets driven by a 3D distortion of the gas flow

abstract: Context. The dynamics of a low-mass protoplanet accreting solids is influenced by the heating torque, which was found to suppress inward migration in protoplanetary disks with constant opacities. Aims. We investigate the differences of the heating torque between disks with constant and temperature-dependent opacities. Methods. Interactions of a super-Earth-sized protoplanet with the gas disk are explored using 3D radiation hydrodynamic simulations. Results. Accretion heating of the protoplanet creates a hot underdense region in the surrounding gas, leading to misalignment of the local density and pressure gradients. As a result, the 3D gas flow is perturbed and some of the streamlines form a retrograde spiral rising above the protoplanet. In the constant-opacity disk, the perturbed flow reaches a steady state and the underdense gas responsible for the heating torque remains distributed in accordance with previous studies. If the opacity is non-uniform, however, the differences in the disk structure can lead to more vigorous streamline distortion and eventually to a flow instability. The underdense gas develops a one-sided asymmetry which circulates around the protoplanet in a retrograde fashion. The heating torque thus strongly oscillates in time and does not on average counteract inward migration. Conclusions. The torque variations make the radial drift of the protoplanet oscillatory, consisting of short intervals of alternating rapid inward and outward migration. We speculate that transitions between the positive and oscillatory heating torque may occur in specific disk regions susceptible to vertical convection, resulting in the convergent migration of multiple planetary embryos.


title: HELP project - a dreamed-of multiwavelength dataset for SED fitting: the influence of used models for the main physical properties of galaxies

abstract: The Herschel Extragalactic Legacy Project (HELP) focuses to publish an astronomical multiwavelength catalogue of millions of objects over 1300~deg$^2$ of the Herschel Space Observatory survey fields. Millions of galaxies with ultraviolet--far infrared photometry {make} HELP a perfect sample for testing spectral energy distribution fitting models, and to prepare tools for next-generation data. In the frame of HELP collaboration we estimated the main physical properties of all galaxies from the HELP database and we checked a new procedure to select peculiar galaxies from large galaxy sample and we investigated the influence of used modules for stellar mass estimation.


title: Coherent state path integral approach to correlated electron systems with deformed Hubbard operators: from Fermi liquid to Mott insulator

abstract: In strongly correlated electron systems the constraint which prohibits the double electron occupation at local sites can be realized by either the infinite Coulomb interaction or the correlated hopping interaction described by the Hubbard operators, but they both render the conventional field theory inapplicable. Relaxing such the constraint leads to a class of correlated hopping models based on the deformed Hubbard operators which smoothly interpolate the locally free and strong coupling limits by a tunable interaction parameter $0\leq \lambda\leq 1$. Here we propose a coherent state path integral approach appropriate to the deformed Hubbard operators for {\it arbitrary} $\lambda$. It is shown that this model system exhibits the correlated Fermi liquid behavior characterized by the enhanced Wilson ratio for all $\lambda$. It is further found that in the presence of on-site Coulomb interaction a finite Mott gap appears between the upper and lower Hubbard bands, with the upper band spectral weight being heavily reduced by $\lambda$. Our approach stands in general spatial dimensions and reveals an unexpected interplay between the correlated hopping and the Coulomb repulsion.


title: Composing dynamic programming tree-decomposition-based algorithms

abstract: Given two integers $\ell$ and $p$ as well as $\ell$ graph classes $\mathcal{H}_1,\ldots,\mathcal{H}_\ell$, the problems $\mathsf{GraphPart}(\mathcal{H}_1, \ldots, \mathcal{H}_\ell,p)$, \break $\mathsf{VertPart}(\mathcal{H}_1, \ldots, \mathcal{H}_\ell)$, and $\mathsf{EdgePart}(\mathcal{H}_1, \ldots, \mathcal{H}_\ell)$ ask, given graph $G$ as input, whether $V(G)$, $V(G)$, $E(G)$ respectively can be partitioned into $\ell$ sets $S_1, \ldots, S_\ell$ such that, for each $i$ between $1$ and $\ell$, $G[S_i] \in \mathcal{H}_i$, $G[S_i] \in \mathcal{H}_i$, $(V(G),S_i) \in \mathcal{H}_i$ respectively. Moreover in $\mathsf{GraphPart}(\mathcal{H}_1, \ldots, \mathcal{H}_\ell,p)$, we request that the number of edges with endpoints in different sets of the partition is bounded by $p$. We show that if there exist dynamic programming tree-decomposition-based algorithms for recognizing the graph classes $\mathcal{H}_i$, for each $i$, then we can constructively create a dynamic programming tree-decomposition-based algorithms for $\mathsf{GraphPart}(\mathcal{H}_1, \ldots, \mathcal{H}_\ell,p)$, $\mathsf{VertPart}(\mathcal{H}_1, \ldots, \mathcal{H}_\ell)$, and $\mathsf{EdgePart}(\mathcal{H}_1, \ldots, \mathcal{H}_\ell)$. We apply this approach to known problems. For well-studied problems, like VERTEX COVER and GRAPH $q$-COLORING, we obtain running times that are comparable to those of the best known problem-specific algorithms. For an exotic problem from bioinformatics, called DISPLAYGRAPH, this approach improves the known algorithm parameterized by treewidth.


title: A Framework for Debugging Java Programs in a Bytecode

abstract: In the domain of Software Engineering, program analysis and understanding has been considered to be a very challenging task since decade, as it demands dedicated time and efforts. The analysis of source code may occasionally be comparatively easier due to its static nature, however, the back end code (Bytecode), especially in terms of Java programming, is complicated to be analysed. In this paper, we present a methodological approach towards understanding the Bytecode of Java programs. We put forward a framework for the debugging process of Java Bytecode. Furthermore, we discuss the debugging process of Bytecode understanding from simple to multiple statements with regards to data flow analysis. Finally, we present a comparative analysis of Bytecode along with the simulation of the proposed framework for the debugging process