title: Bound States in the Continuum and Fano Resonances in the Dirac Cone Spectrum

abstract: We consider light scattering by two dimensional arrays of high-index dielectric spheres arranged into the triangular lattice. It is demonstrated that in the case a triple degeneracy of resonant leaky modes in the Gamma-point the scattering spectra exhibit a complicated picture of Fano resonances with extremely narrow line-width. The Fan features are explained through coupled mode theory for a Dirac cone spectrum as a signature of optical bound states in the continuum (BIC). It is found that the standing wave in-Gamma BIC induces a ring of off-Gamma BICs due to different scaling laws for real and imaginary parts of the resonant eigenfrequencies in the Dirac cone spectrum. A quantitative theory of the spectra is proposed.


title: High Thermal Boundary Conductance across Bonded Heterogeneous GaN-SiC Interfaces

abstract: GaN-based HEMTs have the potential to be widely used in high-power and high-frequency electronics while their maximum output powers are limited by high channel temperature induced by near-junction Joule-heating, which degrades device performance and reliability. Increasing the TBC between GaN and SiC will aid in the heat dissipation of GaN-on-SiC power devices, taking advantage of the high thermal conductivity of the SiC substrate. However, a good understanding of the TBC of this technically important interface is still lacking due to the complicated nature of interfacial heat transport. In this work, a lattice-mismatch-insensitive surface activated bonding method is used to bond GaN directly to SiC and thus eliminating the AlN layer altogether. This allows for the direct integration of high quality GaN layers with SiC to create a high thermal boundary conductance interface. TDTR is used to measure the thermal properties of the GaN thermal conductivity and GaN-SiC TBC. The measured GaN thermal conductivity is larger than that of GaN grown by MBE on SiC, showing the impact of reducing the dislocations in the GaN near the interface. High GaN-SiC TBC is observed for the bonded GaN-SiC interfaces, especially for the annealed interface whose TBC (230 MW/m2-K) is close to the highest values ever reported. To understand the structure-thermal property relation, STEM and EELS are used to characterize the interface structure. The results show that, for the as-bonded sample, there exists an amorphous layer near the interface for the as bonded samples. This amorphous layer is crystallized upon annealing, leading to the high TBC found in our work. Our work paves the way for thermal transport across bonded interfaces, which will impact real-world applications of semiconductor integration and packaging.


title: On the Connection Between Adversarial Robustness and Saliency Map Interpretability

abstract: Recent studies on the adversarial vulnerability of neural networks have shown that models trained to be more robust to adversarial attacks exhibit more interpretable saliency maps than their non-robust counterparts. We aim to quantify this behavior by considering the alignment between input image and saliency map. We hypothesize that as the distance to the decision boundary grows,so does the alignment. This connection is strictly true in the case of linear models. We confirm these theoretical findings with experiments based on models trained with a local Lipschitz regularization and identify where the non-linear nature of neural networks weakens the relation.


title: Wave propagation in stenotic vessels; theoretical analysis and comparison between 3D and 1D fluid-structure-interaction models

abstract: Using analytical expressions for the pressure and velocity waveforms in tapered vessels, we construct a linear 1D model for wave propagation in stenotic vessels in the frequency domain. We demonstrate that using only two parameters to approximate the exact geometry of the constriction (length and degree of stenosis), we can construct a model that can be solved analytically and can approximate with excellent accuracy the response of the original vessel for a wide range of physiologically relevant frequencies. We then proceed to compare the 1D results with full 3D FSI results from the literature for parameters corresponding to an idealized stenotic carotid artery. We find excellent matching with the volume flow rate over the cardiac cycle (less than $1\%$ error). Using results from DNS simulations to parametrize the velocity profile in the stenotic region, we manage to predict also the pressure distribution with small error (a few percentage points). The method proposed in the paper can be used to approximate vessels of arbitrary shape profile and can be extended to cover the whole cardiovascular tree. Recursive expressions make the solution very fast and open the possibility of carrying out sensitivity and uncertainty quantification studies that require thousands (or even millions) of simulations with minimal cost.


title: Asymptotics of multivariate sequences in the presence of a lacuna

abstract: We explain a discontinuous drop in the exponential growth rate for certain multivariate generating functions at a critical parameter value, in even dimensions d at least 4. This result depends on computations in the homology of the algebraic variety where the generating function has a pole. These computations are similar to, and inspired by, a thread of research in applications of complex algebraic geometry to hyperbolic PDEs, going back to Leray, Petrowski, Atiyah, Bott and Garding. As a consequence, we give a topological explanation for certain asymptotic phenomenon appearing in the combinatorics and number theory literature. Furthermore, we show how to combine topological methods with symbolic algebraic computation to determine explicitly the dominant asymptotics for such multivariate generating functions, giving a significant new tool to attack the so-called connection problem for asymptotics of P-recursive sequences. This in turn enables the rigorous determination of integer coefficients in the Morse-Smale complex, which are difficult to determine using direct geometric methods.


title: AI in the media and creative industries

abstract: Thanks to the Big Data revolution and increasing computing capacities, Artificial Intelligence (AI) has made an impressive revival over the past few years and is now omnipresent in both research and industry. The creative sectors have always been early adopters of AI technologies and this continues to be the case. As a matter of fact, recent technological developments keep pushing the boundaries of intelligent systems in creative applications: the critically acclaimed movie "Sunspring", released in 2016, was entirely written by AI technology, and the first-ever Music Album, called "Hello World", produced using AI has been released this year. Simultaneously, the exploratory nature of the creative process is raising important technical challenges for AI such as the ability for AI-powered techniques to be accurate under limited data resources, as opposed to the conventional "Big Data" approach, or the ability to process, analyse and match data from multiple modalities (text, sound, images, etc.) at the same time. The purpose of this white paper is to understand future technological advances in AI and their growing impact on creative industries. This paper addresses the following questions: Where does AI operate in creative Industries? What is its operative role? How will AI transform creative industries in the next ten years? This white paper aims to provide a realistic perspective of the scope of AI actions in creative industries, proposes a vision of how this technology could contribute to research and development works in such context, and identifies research and development challenges.


title: Training a Neural Network for Gibbs and Noise Removal in Diffusion MRI

abstract: We develop and evaluate a neural network-based method for Gibbs artifact and noise removal. A convolutional neural network (CNN) was designed for artifact removal in diffusion-weighted imaging data. Two implementations were considered: one for magnitude images and one for complex images. Both models were based on the same encoder-decoder structure and were trained by simulating MRI acquisitions on synthetic non-MRI images. Both machine learning methods were able to mitigate artifacts in diffusion-weighted images and diffusion parameter maps. The CNN for complex images was also able to reduce artifacts in partial Fourier acquisitions. The proposed CNNs extend the ability of artifact correction in diffusion MRI. The machine learning method described here can be applied on each imaging slice independently, allowing it to be used flexibly in clinical applications.


title: Scaling of diffraction intensities near the origin: Some rigorous results

abstract: The scaling behaviour of the diffraction intensity near the origin is investigated for (partially) ordered systems, with an emphasis on illustrative, rigorous results. This is an established method to detect and quantify the fluctuation behaviour known under the term hyperuniformity. Here, we consider one-dimensional systems with pure point, singular continuous and absolutely continuous diffraction spectra, which include perfectly ordered cut and project and inflation point sets as well as systems with stochastic disorder.


title: Determination of the invisible energy of extensive air showers from the data collected at Pierre Auger Observatory

abstract: In order to get the primary energy of cosmic rays from their extensive air showers using the fluorescence detection technique, the invisible energy should be added to the measured calorimetric energy. The invisible energy is the energy carried away by particles that do not deposit all their energy in the atmosphere. It has traditionally been calculated using Monte Carlo simulations that are dependent on the assumed primary particle mass and on model predictions for neutrino and muon production. In this work the invisible energy is obtained directly from events detected by the Pierre Auger Observatory. The method applied is based on the correlation of the measurements of the muon number at the ground with the invisible energy of the showers. By using it, the systematic uncertainties related to the unknown mass composition and to the high energy hadronic interaction models are significantly reduced, improving in this way the estimation of the energy scale of the Observatory.


title: A new perspective on the distance problem over prime fields

abstract: Let $\mathbb{F}_p$ be a prime field, and ${\mathcal E}$ a set in $\mathbb{F}_p^2$. Let $\Delta({\mathcal E})=\{||x-y||: x,y \in {\mathcal E} \}$, the distance set of ${\mathcal E}$. In this paper, we provide a quantitative connection between the distance set $\Delta({\mathcal E})$ and the set of rectangles determined by points in ${\mathcal E}$. As a consequence, we obtain a new lower bound on the size of $\Delta({\mathcal E})$ when ${\mathcal E}$ is not too large, improving a previous estimate due to Lund and Petridis and establishing an approach that should lead to significant further improvements.


title: Large scale in transit computation of quantiles for ensemble runs

abstract: The classical approach for quantiles computation requires availability of the full sample before ranking it. In uncertainty quantification of numerical simulation models, this approach is not suitable at exascale as large ensembles of simulation runs would need to gather a prohibitively large amount of data. This problem is solved thanks to an on-the-fly and iterative approach based on the Robbins-Monro algorithm. This approach relies on Melissa, a file avoiding, adaptive, fault-tolerant and elastic framework. On a validation case producing 11 TB of data, which consists in 3000 fluid dynamics parallel simulations on a 6M cell mesh, it allows on-line computation of spatio-temporal maps of percentiles.


title: Autonomous Management of Energy-Harvesting IoT Nodes Using Deep Reinforcement Learning

abstract: Reinforcement learning (RL) is capable of managing wireless, energy-harvesting IoT nodes by solving the problem of autonomous management in non-stationary, resource-constrained settings. We show that the state-of-the-art policy-gradient approaches to RL are appropriate for the IoT domain and that they outperform previous approaches. Due to the ability to model continuous observation and action spaces, as well as improved function approximation capability, the new approaches are able to solve harder problems, permitting reward functions that are better aligned with the actual application goals. We show such a reward function and use policy-gradient approaches to learn capable policies, leading to behavior more appropriate for IoT nodes with less manual design effort, increasing the level of autonomy in IoT.


title: SHARP -- VII. New constraints on the dark matter free-streaming properties and substructure abundance from gravitationally lensed quasars

abstract: We present an analysis of seven strongly gravitationally lensed quasars and the corresponding constraints on the properties of dark matter. Our results are derived by modelling the lensed image positions and flux-ratios using a combination of smooth macro models and a population of low-mass haloes within the mass range 10^6 to 10^9 Msun. Our lens models explicitly include higher-order complexity in the form of stellar discs and luminous satellites, as well as low-mass haloes located along the observed lines of sight for the first time. Assuming a Cold Dark Matter (CDM) cosmology, we infer an average total mass fraction in substructure of f_sub = 0.012^{+0.007}_{-0.004} (68 per cent confidence limits), which is in agreement with the predictions from CDM hydrodynamical simulations to within 1 sigma. This result is closer to the predictions than those from previous studies that did not include line-of-sight haloes. Under the assumption of a thermal relic dark matter model, we derive a lower limit on the particle relic mass of m th > 5.58 keV (95 per cent confidence limits), which is consistent with a value of m_th > 5.3 keV from the recent analysis of the Ly-alpha forest. We also identify two main sources of possible systematic errors and conclude that deeper investigations in the complex structure of lens galaxies as well as the size of the background sources should be a priority for this field.


title: Low-Complexity Tilings of the Plane

abstract: A two-dimensional configuration is a coloring of the infinite grid Z^2 with finitely many colors. For a finite subset D of Z^2, the D-patterns of a configuration are the colored patterns of shape D that appear in the configuration. The number of distinct D-patterns of a configuration is a natural measure of its complexity. A configuration is considered having low complexity with respect to shape D if the number of distinct D-patterns is at most |D|, the size of the shape. This extended abstract is a short review of an algebraic method to study periodicity of such low complexity configurations.


title: Gas and Dust Properties in the Chamaeleon Molecular Cloud Complex based on the Optically Thick HI

abstract: Gas and dust properties in the Chamaeleon molecular cloud complex have been investigated with emission lines from atomic hydrogen (HI) and 12CO molecule, dust optical depth at 353 GHz ($\tau_{353}$), and $J$-band infrared extinction ($A_{J}$). We have found a scatter correlation between the HI integrated intensity ($W_{\rm HI}$) and $\tau_{353}$ in the Chamaeleon region. The scattering has been examined in terms of possible large optical depth in HI emission ($\tau_{\rm HI}$) using a total column density ($N_{\rm H}$) model based on $\tau_{353}$. A nonlinear relation of $\tau_{353}$ with the $\sim$1.2 power of $A_{J}$ has been found in opaque regions ($A_{J}$ $\gtrsim$ 0.3 mag), which may indicate dust evolution effect. If we apply this nonlinear relation to the $N_{\rm H}$ model (i.e., $N_{\rm H} \propto \tau_{353}^{1/1.2}$) allowing arbitrary $\tau_{\rm HI}$, the model curve reproduces well the $W_{\rm HI}$-$\tau_{353}$ scatter correlation, suggesting optically thick HI ($\tau_{\rm HI} \sim$1.3) extended around the molecular clouds. Based on the correlations between the CO integrated intensity and the $N_{\rm H}$ model, we have then derived the CO-to-H$_{2}$ conversion factor ($X_{\rm CO}$) on $\sim$1.5$^{\circ}$ scales (corresponding to $\sim$4 persec) and found spatial variations of $X_{\rm CO}$ $\sim$(0.5-3)$\times$10$^{20}$ cm$^{-2}$ K$^{-1}$ km$^{-1}$ s across the cloud complex, possibly depending on the radiation field inside or surrounding the molecular clouds. These gas properties found in the Chamaeleon region are discussed through a comparison with other local molecular cloud complexes.


title: On the Index of Willmore spheres

abstract: We consider unbranched Willmore surfaces in the Euclidean space that arise as inverted complete minimal surfaces with embedded planar ends. Several statements are proven about upper and lower bounds on the Morse Index - the number of linearly independent variational directions that locally decrease the Willmore energy. We in particular compute the Index of a Willmore sphere in the three-space. This Index is $m-d$, where $m$ is the number of ends of the corresponding complete minimal surface and $d$ is the dimension of the span of the normals at the $m$-fold point. The dimension $d$ is either two or three. For $m=4$ we prove that $d=3$. In general, we show that there is a strong connection of the Morse Index to the number of logarithmically growing Jacobi fields on the corresponding minimal surface.


title: Strain-stress study of AlxGa1-xN/AlN heterostructures on c-plane sapphire and related optical properties

abstract: This work presents a systematic study of stress and strain of AlxGa1-xN/AlN with composition ranging from GaN to AlN, grown on a c-plane sapphire by metal-organic chemical vapor deposition, using synchrotron radiation high-resolution X-ray diffraction and reciprocal space mapping. The c-plane of the AlxGa1-xN epitaxial layers exhibits compressive strain, while the a-plane exhibits tensile strain. The biaxial stress and strain are found to increase with increasing Al composition, although the lattice mismatch between the AlxGa1-xN and the buffer layer AlN gets smaller. A reduction in the lateral coherence lengths and an increase in the edge and screw dislocations are seen as the AlxGa1-xN composition is varied from GaN to AlN, exhibiting a clear dependence of the crystal properties of AlxGa1-xN on the Al content. The bandgap of the epitaxial layers is slightly lower than predicted value due to a larger tensile strain effect on the a-axis compared to the compressive strain on the c-axis. Raman characteristics of the AlxGa1-xN samples exhibit a shift in the phonon peaks with the Al composition. The effect of strain is also discussed on the optical phonon energies of the epitaxial layers. The techniques discussed here can be used to study other similar materials.


title: Effective Coefficient Asymptotics of Multivariate Rational Functions via Semi-Numerical Algorithms for Polynomial Systems

abstract: The coefficient sequences of multivariate rational functions appear in many areas of combinatorics. Their diagonal coefficient sequences enjoy nice arithmetic and asymptotic properties, and the field of analytic combinatorics in several variables (ACSV) makes it possible to compute asymptotic expansions. We consider these methods from the point of view of effectivity. In particular, given a rational function, ACSV requires one to determine a (generically) finite collection of points that are called critical and minimal. Criticality is an algebraic condition, meaning it is well treated by classical methods in computer algebra, while minimality is a semi-algebraic condition describing points on the boundary of the domain of convergence of a multivariate power series. We show how to obtain dominant asymptotics for the diagonal coefficient sequence of multivariate rational functions under some genericity assumptions using symbolic-numeric techniques. To our knowledge, this is the first completely automatic treatment and complexity analysis for the asymptotic enumeration of rational functions in an arbitrary number of variables.


title: Covering the celestial sphere at ultra-high energies

abstract: Despite deflections by Galactic and extragalactic magnetic fields, the distribution of ultra-high energy cosmic rays (UHECRs) over the celestial sphere remains a most promising observable for the identification of their sources. Thanks to a large number of detected events over the past years, a large-scale anisotropy at energies above 8 EeV has been identified, and there are also indications from the Telescope Array and Pierre Auger Collaborations of deviations from isotropy at intermediate angular scales (about 20 degrees) at the highest energies. In this contribution, we map the flux of UHECRs over the full sky at energies beyond each of two major features in the UHECR spectrum -- the ankle and the flux suppression --, and we derive limits for anisotropy on different angular scales in the two energy regimes. In particular, full-sky coverage enables constraints on low-order multipole moments without assumptions about the strength of higher-order multipoles. Following previous efforts from the two Collaborations, we build full-sky maps accounting for the relative exposure of the arrays and differences in the energy normalizations. The procedure relies on cross-calibrating the UHECR fluxes reconstructed in the declination band around the celestial equator covered by both observatories. We present full-sky maps at energies above 10 EeV and 50 EeV, using the largest datasets shared across UHECR collaborations to date. We report on anisotropy searches exploiting full-sky coverage and discuss possible constraints on the distribution of UHECR sources.


title: A simple and quantum-mechanically motivated characterization of the formally real Jordan algebras

abstract: Quantum theory's Hilbert space apparatus in its finite-dimensional version is nearly reconstructed from four simple and quantum-mechanically motivated postulates for a quantum logic. The reconstruction process is not complete, since it excludes the two-dimensional Hilbert space and still includes the exceptional Jordan algebras, which are not part of the Hilbert space apparatus. Options for physically meaningful potential generalizations of the apparatus are discussed.


title: Functional renormalization group for frustrated magnets with nondiagonal spin interactions

abstract: In the field of quantum magnetism, the advent of numerous spin-orbit assisted Mott insulating compounds, such as the family of Kitaev materials, has led to a growing interest in studying general spin models with non-diagonal interactions that do not retain the SU(2) invariance of the underlying spin degrees of freedom. However, the exchange frustration arising from these non-diagonal and often bond-directional interactions for two- and three-dimensional lattice geometries poses a serious challenge for numerical many-body simulation techniques. In this paper, we present an extended formulation of the pseudo-fermion functional renormalization group that is capable of capturing the physics of frustrated quantum magnets with generic (diagonal and off-diagonal) two-spin interaction terms. Based on a careful symmetry analysis of the underlying flow equations, we reveal that the computational complexity grows only moderately, as compared to models with only diagonal interaction terms. We apply the formalism to a kagome antiferromagnet which is augmented by general in-plane and out-of-plane Dzyaloshinskii-Moriya (DM) interactions, as argued to be present in the spin liquid candidate material herbertsmithite. We calculate the complete ground state phase diagram in the strength of in-plane and out-of-plane DM couplings, and discuss the extended stability of the spin liquid of the unperturbed kagome antiferromagnet in the presence of these couplings.


abstract: Multiple clustering aims at discovering diverse ways of organizing data into clusters. Despite the progress made, it's still a challenge for users to analyze and understand the distinctive structure of each output clustering. To ease this process, we consider diverse clusterings embedded in different subspaces, and analyze the embedding subspaces to shed light into the structure of each clustering. To this end, we provide a two-stage approach called MISC (Multiple Independent Subspace Clusterings). In the first stage, MISC uses independent subspace analysis to seek multiple and statistical independent (i.e. non-redundant) subspaces, and determines the number of subspaces via the minimum description length principle. In the second stage, to account for the intrinsic geometric structure of samples embedded in each subspace, MISC performs graph regularized semi-nonnegative matrix factorization to explore clusters. It additionally integrates the kernel trick into matrix factorization to handle non-linearly separable clusters. Experimental results on synthetic datasets show that MISC can find different interesting clusterings from the sought independent subspaces, and it also outperforms other related and competitive approaches on real-world datasets.


title: Do Autonomous Agents Benefit from Hearing?

abstract: Mapping states to actions in deep reinforcement learning is mainly based on visual information. The commonly used approach for dealing with visual information is to extract pixels from images and use them as state representation for reinforcement learning agent. But, any vision only agent is handicapped by not being able to sense audible cues. Using hearing, animals are able to sense targets that are outside of their visual range. In this work, we propose the use of audio as complementary information to visual only in state representation. We assess the impact of such multi-modal setup in reach-the-goal tasks in ViZDoom environment. Results show that the agent improves its behavior when visual information is accompanied with audio features.


title: A uniqueness property of general Dirichlet series

abstract: Let $F(s)=\sum_n a_n/\lambda_n^s$ be a general Dirichlet series which is absolutely convergent on $\Re(s)>1$. Assume that $F(s)$ has an analytic continuation and satisfies a growth condition, which gives rise to certain invariants namely the degree $d_F$ and conductor $\alpha_F$. In this paper, we show that there are at most $2d_F$ general Dirichlet series with a given degree $d_F$, conductor $\alpha_F$ and residue $\rho_F$ at $s=1$. As a corollary, we get that elements in the extended Selberg class with positive Dirichlet coefficients are determined by their degree, conductor and the residue at $s=1$.


title: Formal Verification of Input-Output Mappings of Tree Ensembles

abstract: Recent advances in machine learning and artificial intelligence are now being considered in safety-critical autonomous systems where software defects may cause severe harm to humans and the environment. Design organizations in these domains are currently unable to provide convincing arguments that their systems are safe to operate when machine learning algorithms are used to implement their software. In this paper, we present an efficient method to extract equivalence classes from decision trees and tree ensembles, and to formally verify that their input-output mappings comply with requirements. The idea is that, given that safety requirements can be traced to desirable properties on system input-output patterns, we can use positive verification outcomes in safety arguments. This paper presents the implementation of the method in the tool VoTE (Verifier of Tree Ensembles), and evaluates its scalability on two case studies presented in current literature. We demonstrate that our method is practical for tree ensembles trained on low-dimensional data with up to 25 decision trees and tree depths of up to 20. Our work also studies the limitations of the method with high-dimensional data and preliminarily investigates the trade-off between large number of trees and time taken for verification.


title: Probing the inert doublet model using jet substructure with a multivariate analysis

abstract: We explore the challenging but phenomenologically interesting hierarchical mass spectrum of the Inert Doublet Model where relatively light dark matter along with much heavier scalar states can fully satisfy the constraints on the relic abundance and also fulfill other theoretical as well as collider and astrophysical bounds. To probe this region of parameter space at the LHC, we propose a signal process that combines up to two large radius boosted jets along with substantial missing transverse momentum. Aided by our intuitive signal selection, we capture a hybrid process where the di-fatjet signal is significantly enhanced by the mono-fatjet contribution with minimal effects on the SM di-fatjet background. Substantiated by the sizable mass difference between the scalars, these boosted jets, originally produced from the hadronic decay of massive vector bosons, still carry the inherent footprint of their root. These features implanted inside the jet substructure can provide additional handles to deal with a large background involving QCD jets. We adopt a multivariate analysis using boosted decision tree to provide a robust mechanism to explore the hierarchical scenario, which would bring almost the entire available parameter space well within reach of the 14 TeV LHC runs with high luminosity.


title: Perfect Prediction in Minkowski Spacetime: Perfectly Transparent Equilibrium for Dynamic Games with Imperfect Information

abstract: The assumptions of necessary rationality and necessary knowledge of strategies, also known as perfect prediction, lead to at most one surviving outcome, immune to the knowledge that the players have of them. Solutions concepts implementing this approach have been defined on both dynamic games with perfect information and no ties, the Perfect Prediction Equilibrium, and strategic games with no ties, the Perfectly Transparent Equilibrium. In this paper, we generalize the Perfectly Transparent Equilibrium to games in extensive form with imperfect information and no ties. Both the Perfect Prediction Equilibrium and the Perfectly Transparent Equilibrium for strategic games become special cases of this generalized equilibrium concept. The generalized equilibrium, if there are no ties in the payoffs, is at most unique, and is Pareto-optimal. We also contribute a special-relativistic interpretation of a subclass of the games in extensive form with imperfect information as a directed acyclic graph of decisions made by any number of agents, each decision being located at a specific position in Minkowski spacetime, and the information sets and game structure being derived from the causal structure. Strategic games correspond to a setup with only spacelike-separated decisions, and dynamic games to one with only timelike-separated decisions. The generalized Perfectly Transparent Equilibrium thus characterizes the outcome and payoffs reached in a general setup where decisions can be located in any generic positions in Minkowski spacetime, under necessary rationality and necessary knowledge of strategies. We also argue that this provides a directly usable mathematical framework for the design of extension theories of quantum physics with a weakened free choice assumption.


title: T-Net: Nested encoder-decoder architecture for the main vessel segmentation in coronary angiography

abstract: In this paper, we proposed T-Net containing a small encoder-decoder inside the encoder-decoder structure (EDiED). T-Net overcomes the limitation that U-Net can only have a single set of the concatenate layer between encoder and decoder block. To be more precise, the U-Net symmetrically forms the concatenate layers, so the low-level feature of the encoder is connected to the latter part of the decoder, and the high-level feature is connected to the beginning of the decoder. T-Net arranges the pooling and up-sampling appropriately during the encoder process, and likewise during the decoding process so that feature-maps of various sizes are obtained in a single block. As a result, all features from the low-level to the high-level extracted from the encoder are delivered from the beginning of the decoder to predict a more accurate mask. We evaluated T-Net for the problem of segmenting three main vessels in coronary angiography images. The experiment consisted of a comparison of U-Net and T-Nets under the same conditions, and an optimized T-Net for the main vessel segmentation. As a result, T-Net recorded a Dice Similarity Coefficient score (DSC) of 0.815, 0.095 higher than that of U-Net, and the optimized T-Net recorded a DSC of 0.890 which was 0.170 higher than that of U-Net. In addition, we visualized the weight activation of the convolutional layer of T-Net and U-Net to show that T-Net actually predicts the mask from earlier decoders. Therefore, we expect that T-Net can be effectively applied to other similar medical image segmentation problems.


title: Many-Server Queues with Random Service Rates in the Halfin-Whitt Regime: A Measure-Valued Process Approach

abstract: We consider many-server queueing systems with heterogeneous exponential servers and renewal arrivals. The service rate of each server is a random variable drawn from a given distribution. We develop a framework for analyzing the heavy traffic limit of these queues in random environment using probability measure-valued stochastic processes. We introduce the measure-valued fairness process which denotes the proportion of cumulative idleness experienced by servers whose rates fall in a Borel subset of the support of the service rates. It can be shown that these fairness processes do not converge in the usual Skorokhod-$J_1$ topology, hence we introduce a new notion of convergence based on shifted versions of these processes. We also introduce some useful martingales to identify limiting fairness processes under different routing policies.


title: A Scheme for Continuous Input to the Tsetlin Machine with Applications to Forecasting Disease Outbreaks

abstract: In this paper, we apply a new promising tool for pattern classification, namely, the Tsetlin Machine (TM), to the field of disease forecasting. The TM is interpretable because it is based on manipulating expressions in propositional logic, leveraging a large team of Tsetlin Automata (TA). Apart from being interpretable, this approach is attractive due to its low computational cost and its capacity to handle noise. To attack the problem of forecasting, we introduce a preprocessing method that extends the TM so that it can handle continuous input. Briefly stated, we convert continuous input into a binary representation based on thresholding. The resulting extended TM is evaluated and analyzed using an artificial dataset. The TM is further applied to forecast dengue outbreaks of all the seventeen regions in the Philippines using the spatio-temporal properties of the data. Experimental results show that dengue outbreak forecasts made by the TM are more accurate than those obtained by a Support Vector Machine (SVM), Decision Trees (DTs), and several multi-layered Artificial Neural Networks (ANNs), both in terms of forecasting precision and F1-score.


title: Power Efficient Visible Light Communication (VLC) with Unmanned Aerial Vehicles (UAVs)

abstract: A novel approach that combines visible light communication (VLC) with unmanned aerial vehicles (UAVs) to simultaneously provide flexible communication and illumination is proposed. To minimize the power consumption, the locations of UAVs and the cell associations are optimized under illumination and communication constraints. An efficient sub-optimal solution that divides the original problem into two sub-problems is proposed. The first sub-problem is modeled as a classical smallest enclosing disk problem to obtain the optimal locations of UAVs, given the cell association. Then, assuming fixed UAV locations, the second sub-problem is modeled as a min-size clustering problem to obtain the optimized cell association. In addition, the obtained UAV locations and cell associations are iteratively optimized multiple times to reduce the power consumption. Numerical results show that the proposed approach can reduce the total transmit power consumption by at least 53.8% compared to two baseline algorithms with fixed UAV locations.


title: A survival model for course-course interactions in a Massive Open Online Course platform

abstract: Massive Open Online Course (MOOC) platforms incorporate large course catalogs from which individual students may register multiple courses. We performed a network-based analysis of student achievement, considering how course-course interactions may positively or negatively affect student success. Our dataset included 378,000 users and 1,000,000 unique registration events in France Universite Numerique (FUN), a national MOOC platform. We adapt reliability theory to model certificate completion rates with a Weibull survival function, following the intuition that students "survive" in a course for a certain time before stochastically dropping out. Course-course interactions are found to be well described by a single parameter for user engagement that can be estimated from a user's registration profile. User engagement, in turn, correlates with certificate rates in all courses regardless of specific content. The reliability approach is shown to capture several certificate rate patterns that are overlooked by conventional regression models. User engagement emerges as a natural metric for tracking student progress across demographics and over time.


title: Permutation polynomials of degree 8 over finite fields of odd characteristic

abstract: This paper provides an algorithmic generalization of Dickson's method of classifying permutation polynomials (PPs) of a given degree $d$ over finite fields. Dickson's idea is to formulate from Hermite's criterion several polynomial equations satisfied by the coefficients of an arbitrary PP of degree $d$. Previous classifications of PPs of degree at most $6$ were essentially deduced from manual analysis of these polynomial equations. However, these polynomials, needed for that purpose when $d>6$, are too complicated to solve. Our idea is to make them more solvable by calculating some radicals of ideals generated by them, implemented by a computer algebra system (CAS). Our algorithms running in SageMath 8.6 on a personal computer work very fast to determine all PPs of degree $8$ over an arbitrary finite field of odd order $q>8$. The main result is that for an odd prime power $q>8$, a PP $f$ of degree $8$ exists over the finite field of order $q$ if and only if $q\leqslant 31$ and $q\not\equiv 1\ (\mathrm{mod}\ 8)$, and $f$ is explicitly listed up to linear transformations.


title: Revealing nonperturbative effects in the SYK model

abstract: We study the large $N$ saddle points of two SYK chains coupled by an interaction that is nonlocal in Euclidean time. We start from analytic treatment of the free case with $q=2$ and perform the numerical study of the interacting case $q=4$. We show that in both cases there is a nontrivial phase structure with infinite number of phases. Every phase correspond to a saddle point in the non-interacting two-replica SYK. The nontrivial saddle points have non-zero value of the replica-nondiagonal correlator in the sense of quasi-averaging, when the coupling between replicas is turned off. Thus, the nonlocal interaction between replicas provides a protocol for turning the nonperturbatively subleading effects in SYK into non-equilibrium configurations which dominate at large $N$. For comparison we also study two SYK chains with local interaction for $q=2$ and $q=4$. We show that the $q=2$ model also has a similar phase structure, whereas in the $q=4$ model, dual to the traversable wormhole, the phase structure is different.


title: Direct loading of nanoparticles under high vacuum into a Paul trap for levitodynamical experiments

abstract: Mechanical oscillators based on levitated particles are promising candidates for sensitive detectors and platforms for testing fundamental physics. The targeted quality factors for such oscillators correspond to extremely low damping rates of the center-of-mass motion, which can only be obtained if the particles are trapped in ultrahigh vacuum (UHV). In order to reach such low pressures, a noncontaminating method of loading particles in a UHV environment is necessary. However, loading particle traps at pressures below the viscous flow regime is challenging due to the conservative nature of trapping forces and reduced gas damping. We demonstrate a technique that allows us to overcome these limitations and load particles into a Paul trap at pressures as low as 4x10^-7 mbar. The method is based on laser-induced acoustic desorption of nanoparticles from a metallic foil and temporal control of the Paul trap potential. We show that the method is highly efficient: More than half of the trapping attempts are successful. Moreover, since trapping attempts can be as short as a few milliseconds, the technique provides high throughput of loaded particles. Finally, the efficiency of the method does not depend on pressure, indicating that the method should be extensible to UHV.


title: On the Detection of Mutual Influences and Their Consideration in Reinforcement Learning Processes

abstract: Self-adaptation has been proposed as a mechanism to counter complexity in control problems of technical systems. A major driver behind self-adaptation is the idea to transfer traditional design-time decisions to runtime and into the responsibility of systems themselves. In order to deal with unforeseen events and conditions, systems need creativity -- typically realized by means of machine learning capabilities. Such learning mechanisms are based on different sources of knowledge. Feedback from the environment used for reinforcement purposes is probably the most prominent one within the self-adapting and self-organizing (SASO) systems community. However, the impact of other (sub-)systems on the success of the individual system's learning performance has mostly been neglected in this context. In this article, we propose a novel methodology to identify effects of actions performed by other systems in a shared environment on the utility achievement of an autonomous system. Consider smart cameras (SC) as illustrating example: For goals such as 3D reconstruction of objects, the most promising configuration of one SC in terms of pan/tilt/zoom parameters depends largely on the configuration of other SCs in the vicinity. Since such mutual influences cannot be pre-defined for dynamic systems, they have to be learned at runtime. Furthermore, they have to be taken into consideration when self-improving the own configuration decisions based on a feedback loop concept, e.g., known from the SASO domain or the Autonomic and Organic Computing initiatives. We define a methodology to detect such influences at runtime, present an approach to consider this information in a reinforcement learning technique, and analyze the behavior in artificial as well as real-world SASO system settings.


title: The Regression Tsetlin Machine: A Tsetlin Machine for Continuous Output Problems

abstract: The recently introduced Tsetlin Machine (TM) has provided competitive pattern classification accuracy in several benchmarks, composing patterns with easy-to-interpret conjunctive clauses in propositional logic. In this paper, we go beyond pattern classification by introducing a new type of TMs, namely, the Regression Tsetlin Machine (RTM). In all brevity, we modify the inner inference mechanism of the TM so that input patterns are transformed into a single continuous output, rather than to distinct categories. We achieve this by: (1) using the conjunctive clauses of the TM to capture arbitrarily complex patterns; (2) mapping these patterns to a continuous output through a novel voting and normalization mechanism; and (3) employing a feedback scheme that updates the TM clauses to minimize the regression error. The feedback scheme uses a new activation probability function that stabilizes the updating of clauses, while the overall system converges towards an accurate input-output mapping. The performance of the RTM is evaluated using six different artificial datasets with and without noise, in comparison with the Classic Tsetlin Machine (CTM) and the Multiclass Tsetlin Machine (MTM). Our empirical results indicate that the RTM obtains the best training and testing results for both noisy and noise-free datasets, with a smaller number of clauses. This, in turn, translates to higher regression accuracy, using significantly less computational resources.


title: Internal particle width effects on the the triangle singularity mechanism in the study of the $\eta(1405)$ and $\eta(1475)$ puzzle

abstract: In this article, the analyticity of triangle loop integral with complex masses of internal particles is discussed in a new perspective, base on which we obtain the explicit width dependence of the absorptive part of the triangle amplitude. We reanalyze the decay pattern of $\eta(1405/1475)$ with the width effects included in the triangle singularity (TS) mechanism. Based on the present experimental information, we provide a self-consistent description of the $K\bar{K}\pi$, $\eta\pi\pi$, and $3\pi$ decay channels for $\eta(1405/1475)$. Our results confirm the claim that the TS mechanism plays a decisive role in the understanding of the $\eta(1405)$ and $\eta(1475)$ puzzle. Namely, the observed differences of $\eta$ resonances within the mass region of $1.40\sim 1.48$ GeV are originated from the same state. For the isospin violated process $J/\psi\to\gamma\eta(1405/1475)\to f_0(980)\pi\to 3\pi$, we identify an additional contribution to the $a_0(980)-f_0(980)$ mixing via the TS mechanism.


title: A Subspace Framework for ${\mathcal H}_\infty$-Norm Minimization

abstract: We deal with the minimization of the ${\mathcal H}_\infty$-norm of the transfer function of a parameter-dependent descriptor system over the set of admissible parameter values. Subspace frameworks are proposed for such minimization problems where the involved systems are of large order. The proposed algorithms are greedy interpolatory approaches inspired by our recent work [Aliyev et al., SIAM J. Matrix Anal. Appl., 38(4):1496--1516, 2017] for the computation of the ${\mathcal H}_\infty$-norm. In this work, we minimize the ${\mathcal H}_\infty$-norm of a reduced-order parameter-dependent system obtained by two-sided restrictions onto certain subspaces. Then we expand the subspaces so that Hermite interpolation properties hold between the full and reduced-order system at the optimal parameter value for the reduced order system. We formally establish the superlinear convergence of the subspace frameworks under some smoothness assumptions. The fast convergence of the proposed frameworks in practice is illustrated by several large-scale systems.


title: Variable elimination in binary CSPs

abstract: We investigate rules which allow variable elimination in binary CSP (constraint satisfaction problem) instances while conserving satisfiability. We study variable-elimination rules based on the language of forbidden patterns enriched with counting and quantification over variables and values. We propose new rules and compare them, both theoretically and experimentally. We give optimised algorithms to apply these rules and show that each define a novel tractable class. Using our variable-elimination rules in preprocessing allowed us to solve more benchmark problems than without.


title: An LP-Based Approach for Goal Recognition as Planning

abstract: Goal recognition aims to recognize the set of candidate goals that are compatible with the observed behavior of an agent. In this paper, we develop a method based on the operator-counting framework that efficiently computes solutions that satisfy the observations and uses the information generated to solve goal recognition tasks. Our method reasons explicitly about both partial and noisy observations: estimating uncertainty for the former, and satisfying observations given the unreliability of the sensor for the latter. We evaluate our approach empirically over a large data set, analyzing its components on how each can impact the quality of the solutions. In general, our approach is superior to previous methods in terms of agreement ratio, accuracy, and spread. Finally, our approach paves the way for new research on combinatorial optimization to solve goal recognition tasks.


title: Inexact Block Coordinate Descent Algorithms for Nonsmooth Nonconvex Optimization

abstract: In this paper, we propose an inexact block coordinate descent algorithm for large-scale nonsmooth nonconvex optimization problems. At each iteration, a particular block variable is selected and updated by inexactly solving the original optimization problem with respect to that block variable. More precisely, a local approximation of the original optimization problem is solved. The proposed algorithm has several attractive features, namely, i) high flexibility, as the approximation function only needs to be strictly convex and it does not have to be a global upper bound of the original function; ii) fast convergence, as the approximation function can be designed to exploit the problem structure at hand and the stepsize is calculated by the line search; iii) low complexity, as the approximation subproblems are much easier to solve and the line search scheme is carried out over a properly constructed differentiable function; iv) guaranteed convergence of a subsequence to a stationary point, even when the objective function does not have a Lipschitz continuous gradient. Interestingly, when the approximation subproblem is solved by a descent algorithm, convergence of a subsequence to a stationary point is still guaranteed even if the approximation subproblem is solved inexactly by terminating the descent algorithm after a finite number of iterations. These features make the proposed algorithm suitable for large-scale problems where the dimension exceeds the memory and/or the processing capability of the existing hardware. These features are also illustrated by several applications in signal processing and machine learning, for instance, network anomaly detection and phase retrieval.


title: On subvarieties of singular quotients of bounded domains

abstract: Let $X$ be a quotient of a bounded domain in $\mathbb C^n$. Under suitable assumptions, we prove that every subvariety of $X$ not included in the branch locus of the quotient map is of log general type in some orbifold sense. This generalizes a recent result by Boucksom and Diverio, which treated the case of compact, \'etale quotients. Finally, in the case where $X$ is compact, we give a sufficient condition under which there exists a proper analytic subset of $X$ containing all entire curves and all subvarieties not of general type (meant this time in in the usual sense as opposed to the orbifold sense).


title: Preliminary results of the AMIGA engineering array at the Pierre Auger Observatory

abstract: The Auger Muons and Infill for the Ground Array (AMIGA) aims to both extend the detection range of the Pierre Auger Observatory down to energies $\sim 10^{16.5}~\mathrm{eV}$ and to measure the muon content of extensive air showers. To accomplish these goals, its detection system is composed of an array of coupled water-Cherenkov and scintillation detectors deployed in a graded triangular grid of 433 and 750\,m spacings. At each position, the scintillation detector is buried $2.3~\mathrm{m}$ deep so as to shield it from the air shower electromagnetic component and thus only measure the muon component. These muon detectors have $30~\mathrm{m^2}$ area split into modules, each of them highly segmented in 64 plastic-scintillator strips with an embedded wavelength-shifter optical fiber to transport light to an optical sensor located at the center of the module. During the engineering array phase (finished in November 2017) two module areas ($5~\mathrm{m^2}$ and $10~\mathrm{m^2}$) and two optical sensors (photo-multiplier tubes and silicon-photomultipliers) were tested. In this work, we present the final performance of the muon detectors equipped with silicon-photomultipliers which were thereafter selected as the baseline design for the AMIGA production phase. Analyses and results are based both on laboratory and field measurements.


title: Randomized Block Proximal Methods for Distributed Stochastic Big-Data Optimization

abstract: In this paper we introduce a class of novel distributed algorithms for solving stochastic big-data convex optimization problems over directed graphs. In the addressed set-up, the dimension of the decision variable can be extremely high and the objective function can be nonsmooth. The general algorithm consists of two main steps: a consensus step and an update on a single block of the optimization variable, which is then broadcast to neighbors. Three special instances of the proposed method, involving particular problem structures, are then presented. In the general case, the convergence of a dynamic consensus algorithm over random row stochastic matrices is shown. Then, the convergence of the proposed algorithm to the optimal cost is proven in expected value. Exact convergence is achieved when using diminishing (local) stepsizes, while approximate convergence is attained when constant stepsizes are employed. The convergence rate is shown to be sublinear and an explicit rate is provided in the case of constant stepsizes. Finally, the algorithm is tested on a distributed classification problem, first on synthetic data and, then, on a real, high-dimensional, text dataset.


title: Virtual Mixup Training for Unsupervised Domain Adaptation

abstract: We study the problem of unsupervised domain adaptation which aims to adapt models trained on a labeled source domain to a completely unlabeled target domain. Recently, the cluster assumption has been applied to unsupervised domain adaptation and achieved strong performance. One critical factor in successful training of the cluster assumption is to impose the locally-Lipschitz constraint to the model. Existing methods only impose the locally-Lipschitz constraint around the training points while miss the other areas, such as the points in-between training data. In this paper, we address this issue by encouraging the model to behave linearly in-between training points. We propose a new regularization method called Virtual Mixup Training (VMT), which is able to incorporate the locally-Lipschitz constraint to the areas in-between training data. Unlike the traditional mixup model, our method constructs the combination samples without using the label information, allowing it to apply to unsupervised domain adaptation. The proposed method is generic and can be combined with most existing models such as the recent state-of-the-art model called VADA. Extensive experiments demonstrate that VMT significantly improves the performance of VADA on six domain adaptation benchmark datasets. For the challenging task of adapting MNIST to SVHN, VMT can improve the accuracy of VADA by over 30\%. Code is available at \url{https://github.com/xudonmao/VMT}.


title: The Momentum Amplituhedron

abstract: In this paper we define a new object, the momentum amplituhedron, which is the long sought-after positive geometry for tree-level scattering amplitudes in $\mathcal{N}=4$ super Yang-Mills theory in spinor helicity space. Inspired by the construction of the ordinary amplituhedron, we introduce bosonized spinor helicity variables to represent our external kinematical data, and restrict them to a particular positive region. The momentum amplituhedron $\mathcal{M}_{n,k}$ is then the image of the positive Grassmannian via a map determined by such kinematics. The scattering amplitudes are extracted from the canonical form with logarithmic singularities on the boundaries of this geometry.


title: Improving Small-Scale CMB Lensing Reconstruction

abstract: Over the past decade, the gravitational lensing of the Cosmic Microwave Background (CMB) has become a powerful tool for probing the matter distribution in the Universe. The standard technique used to reconstruct the CMB lensing signal employs the quadratic estimator (QE) method, which has recently been shown to be suboptimal for lensing measurements on very small scales in temperature and polarization data. We implement a simple, more optimal method for the small-scale regime, which involves taking the direct inverse of the background gradient. We derive new techniques to make continuous maps of lensing using this "Gradient-Inversion" (GI) method and validate our method with simulated data, finding good agreement with predictions. For idealized simulations of lensing cross- and autospectra that neglect foregrounds, we demonstrate that our method performs significantly better than previous quadratic estimator methods in temperature; at $L=5000-9000$, it reduces errors on the lensing auto-power spectrum by a factor of $\sim 4$ for both idealized CMB-S4 and Simons Observatory-like experiments and by a factor of $\sim 2.6$ for cross-correlations of CMB-S4-like lensing reconstruction and the true lensing field. We caution that the level of the neglected small-scale foreground power, while low in polarization, is very high in temperature; though we briefly outline foreground mitigation methods, further work on this topic is required. Nevertheless, our results show the future potential for improved small-scale CMB lensing measurements, which could provide stronger constraints on cosmological parameters and astrophysics at high redshifts.


title: Quantifying Teaching Behaviour in Robot Learning from Demonstration

abstract: Learning from demonstration allows for rapid deployment of robot manipulators to a great many tasks, by relying on a person showing the robot what to do rather than programming it. While this approach provides many opportunities, measuring, evaluating and improving the person's teaching ability has remained largely unexplored in robot manipulation research. To this end, a model for learning from demonstration is presented here which incorporates the teacher's understanding of, and influence on, the learner. The proposed model is used to clarify the teacher's objectives during learning from demonstration, providing new views on how teaching failures and efficiency can be defined. The benefit of this approach is shown in two experiments (N=30 and N=36, respectively), which highlight the difficulty teachers have in providing effective demonstrations, and show how ~169-180% improvement in teaching efficiency can be achieved through evaluation and feedback shaped by the proposed framework, relative to unguided teaching.


title: Good Things Come to Those Who Swap Objects on Paths

abstract: We study a simple exchange market, introduced by Gourv\'{e}s, Lesca and Wilczynski (IJCAI-17), where every agent initially holds a single object. The agents have preferences over the objects, and two agents may swap their objects if they both prefer the object of the other agent. The agents live in an underlying social network that governs the structure of the swaps: Two agents can only swap their objects if they are adjacent. We investigate the REACHABLE OBJECT problem, which asks whether a given starting situation can ever lead, by means of a sequence of swaps, to a situation where a given agent obtains a given object. Our results answer several central open questions on the complexity of REACHABLE OBJECT. First, the problem is polynomial-time solvable if the social network is a path. Second, the problem is NP-hard on cliques and generalized caterpillars. Finally, we establish a three-versus-four dichotomy result for preference lists of bounded length: The problem is easy if all preference lists have length at most three, and the problem becomes NP-hard even if all agents have preference lists of length at most four.


title: Percolation of Fortuin-Kasteleyn clusters for the random-bond Ising model

abstract: We apply generalisations of the Swendson-Wang and Wolff cluster algorithms, which are based on the construction of Fortuin-Kasteleyn clusters, to the three-dimensional $\pm 1$ random-bond Ising model. The behaviour of the model is determined by the temperature $T$ and the concentration $p$ of negative (anti-ferromagnetic) bonds. The ground state is ferromagnetic for $0 \le p<p_c$, and a spin glass for $p_c < p \le 0.5$ where $p_c \simeq 0.222$. We investigate the percolation transition of the Fortuin-Kasteleyn clusters as function of temperature. Except for $p=0$ the Fortuin-Kasteleyn percolation transition occurs at a higher temperature than the magnetic ordering temperature. This was known before for $p=1/2$ but here we provide evidence for a difference in transition temperatures even for $p$ arbitrarily small. Furthermore, for all values of $p>0$, our data suggest that the percolation transition is universal, irrespective of whether the ground state exhibits ferromagnetic or spin-glass order, and is in the universality class of standard percolation. This shows that correlations in the bond occupancy of the Fortuin-Kasteleyn clusters are irrelevant, except for $p=0$ where the clusters are tied to Ising correlations so the percolation transition is in the Ising universality class.


title: Fingerprinting Orientation Distribution Functions in Diffusion MRI detects smaller crossing angles

abstract: Diffusion tractography is routinely used to study white matter architecture and brain connectivity in vivo. A key step for successful tractography of neuronal tracts is the correct identification of tract directions in each voxel. Here we propose a fingerprinting-based methodology to identify these fiber directions in Orientation Distribution Functions, dubbed ODF-Fingerprinting (ODF-FP). In ODF-FP, fiber configurations are selected based on the similarity between measured ODFs and elements in a pre-computed library. In noisy ODFs, the library matching algorithm penalizes the more complex fiber configurations. ODF simulations and analysis of bootstrapped partial and whole-brain in vivo datasets show that the ODF-FP approach improves the detection of fiber pairs with small crossing angles while maintaining fiber direction precision, which leads to better tractography results. Rather than focusing on the ODF maxima, the ODF-FP approach uses the whole ODF shape to infer fiber directions to improve the detection of fiber bundles with small crossing angle. The resulting fiber directions aid tractography algorithms in accurately displaying neuronal tracts and calculating brain connectivity.


title: EdgeSegNet: A Compact Network for Semantic Segmentation

abstract: In this study, we introduce EdgeSegNet, a compact deep convolutional neural network for the task of semantic segmentation. A human-machine collaborative design strategy is leveraged to create EdgeSegNet, where principled network design prototyping is coupled with machine-driven design exploration to create networks with customized module-level macroarchitecture and microarchitecture designs tailored for the task. Experimental results showed that EdgeSegNet can achieve semantic segmentation accuracy comparable with much larger and computationally complex networks (>20x} smaller model size than RefineNet) as well as achieving an inference speed of ~38.5 FPS on an NVidia Jetson AGX Xavier. As such, the proposed EdgeSegNet is well-suited for low-power edge scenarios.


title: Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges

abstract: Machine learning has evolved into an enabling technology for a wide range of highly successful applications. The potential for this success to continue and accelerate has placed machine learning (ML) at the top of research, economic and political agendas. Such unprecedented interest is fuelled by a vision of ML applicability extending to healthcare, transportation, defence and other domains of great societal importance. Achieving this vision requires the use of ML in safety-critical applications that demand levels of assurance beyond those needed for current ML applications. Our paper provides a comprehensive survey of the state-of-the-art in the assurance of ML, i.e. in the generation of evidence that ML is sufficiently safe for its intended use. The survey covers the methods capable of providing such evidence at different stages of the machine learning lifecycle, i.e. of the complex, iterative process that starts with the collection of the data used to train an ML component for a system, and ends with the deployment of that component within the system. The paper begins with a systematic presentation of the ML lifecycle and its stages. We then define assurance desiderata for each stage, review existing methods that contribute to achieving these desiderata, and identify open challenges that require further research.


title: Supervised machine learning based multi-task artificial intelligence classification of retinopathies

abstract: Artificial intelligence (AI) classification holds promise as a novel and affordable screening tool for clinical management of ocular diseases. Rural and underserved areas, which suffer from lack of access to experienced ophthalmologists may particularly benefit from this technology. Quantitative optical coherence tomography angiography (OCTA) imaging provides excellent capability to identify subtle vascular distortions, which are useful for classifying retinovascular diseases. However, application of AI for differentiation and classification of multiple eye diseases is not yet established. In this study, we demonstrate supervised machine learning based multi-task OCTA classification. We sought 1) to differentiate normal from diseased ocular conditions, 2) to differentiate different ocular disease conditions from each other, and 3) to stage the severity of each ocular condition. Quantitative OCTA features, including blood vessel tortuosity (BVT), blood vascular caliber (BVC), vessel perimeter index (VPI), blood vessel density (BVD), foveal avascular zone (FAZ) area (FAZ-A), and FAZ contour irregularity (FAZ-CI) were fully automatically extracted from the OCTA images. A stepwise backward elimination approach was employed to identify sensitive OCTA features and optimal-feature-combinations for the multi-task classification. For proof-of-concept demonstration, diabetic retinopathy (DR) and sickle cell retinopathy (SCR) were used to validate the supervised machine leaning classifier. The presented AI classification methodology is applicable and can be readily extended to other ocular diseases, holding promise to enable a mass-screening platform for clinical deployment and telemedicine.


title: Talking With Your Hands: Scaling Hand Gestures and Recognition With CNNs

abstract: The use of hand gestures provides a natural alternative to cumbersome interface devices for Human-Computer Interaction (HCI) systems. As the technology advances and communication between humans and machines becomes more complex, HCI systems should also be scaled accordingly in order to accommodate the introduced complexities. In this paper, we propose a methodology to scale hand gestures by forming them with predefined gesture-phonemes, and a convolutional neural network (CNN) based framework to recognize hand gestures by learning only their constituents of gesture-phonemes. The total number of possible hand gestures can be increased exponentially by increasing the number of used gesture-phonemes. For this objective, we introduce a new benchmark dataset named Scaled Hand Gestures Dataset (SHGD) with only gesture-phonemes in its training set and 3-tuples gestures in the test set. In our experimental analysis, we achieve to recognize hand gestures containing one and three gesture-phonemes with an accuracy of 98.47% (in 15 classes) and 94.69% (in 810 classes), respectively. Our dataset, code and pretrained models are publicly available.


title: Language Modeling with Deep Transformers

abstract: We explore deep autoregressive Transformer models in language modeling for speech recognition. We focus on two aspects. First, we revisit Transformer model configurations specifically for language modeling. We show that well configured Transformer models outperform our baseline models based on the shallow stack of LSTM recurrent neural network layers. We carry out experiments on the open-source LibriSpeech 960hr task, for both 200K vocabulary word-level and 10K byte-pair encoding subword-level language modeling. We apply our word-level models to conventional hybrid speech recognition by lattice rescoring, and the subword-level models to attention based encoder-decoder models by shallow fusion. Second, we show that deep Transformer language models do not require positional encoding. The positional encoding is an essential augmentation for the self-attention mechanism which is invariant to sequence ordering. However, in autoregressive setup, as is the case for language modeling, the amount of information increases along the position dimension, which is a positional signal by its own. The analysis of attention weights shows that deep autoregressive self-attention models can automatically make use of such positional information. We find that removing the positional encoding even slightly improves the performance of these models.


title: Minimal asymptotically safe dark matter

abstract: We study a simple class of dark matter models with N_f copies of electroweak fermionic multiplets, stabilized by O(N_F) global symmetry. Unlike conventional minimal dark matter which usually suffers from Landau poles, in these models the gauge coupling g_2 has a non-trivial ultraviolet fixed point, and thus is asymptotically safe as long as N_F is large enough. These fermionic n-plet models have only two free parameters: N_F and a common mass M_DM, which relate to dark matter relic abundance. We find that the mass of triplet fermionic dark matter with N_F being dozens of flavors can be several hundred GeV, which is testable on LHC. A benefit of large N_F is that DM pair annihilation rate in dwarf galaxies is effectively suppressed by 1/N_F, and thus they can evade the constraint from gamma-ray continuous spectrum observation. For the case of triplets, we find that the models in the range 3 <= N_F <= 20 are consistent with all current experiments. However, for N_F quintuplets, even with large N_F they are still disfavored by the gamma-ray continuous spectrum.


title: Muon spin rotation study of type-I superconductivity: elemental $\beta-$Sn

abstract: The application of the muon-spin rotation/relaxation ($\mu$SR) technique for studying type-I superconductivity is discussed. In the intermediate state, i.e. when a type-I superconducting sample with non-zero demagnetization factor $N$ is separated into normal state and Meissner state (superconducting) domains, the $\mu$SR technique allows to determine with very high precision the value of the thermodynamic critical field $B_{\rm c}$, as well as the volume of the sample in the normal and the superconducting state. Due to the microscopic nature of $\mu$SR technique, the $B_{\rm c}$ values are determined directly via measurements of the internal field inside the normal state domains. No assumptions or introduction of any type of measurement criteria are needed. Experiments performed on a 'classical' type-I superconductor, a cylindrically shaped $\beta-$Sn sample, allowed to reconstruct the full $B-T$ phase diagram. The zero-temperature value of the thermodynamic critical field $B_{\rm c}(0)=30.578(6)$ mT and the transition temperature $T_{\rm c}=3.717(3)$ K were determined and found to be in a good agreement with the literature data. An experimentally obtained demagnetization factor is in very good agreement with theoretical calculations of the demagnetization factor of a finite cylinder. The analysis of $B_{\rm c}(T)$ dependence within the framework of the phenomenological $\alpha-$model allow to obtain the value of the superconducting energy gap $\Delta=0.59(1)$ meV, of the electronic specific heat $\gamma_e=1.781(3)$ ${\rm mJ}/{\rm mol}\; {\rm K}^2$ and of the jump in the heat capacity ${\Delta C(T_c)}/{\gamma T_{\rm c}}=1.55(2)$.


title: Direct Measurement of the Cosmic-Ray Proton Spectrum from 50 GeV to 10 TeV with the Calorimetric Electron Telescope on the International Space Station

abstract: In this paper, we present the analysis and results of a direct measurement of the cosmic-ray proton spectrum with the CALET instrument onboard the International Space Station, including the detailed assessment of systematic uncertainties. The observation period used in this analysis is from October 13, 2015 to August 31, 2018 (1054 days). We have achieved the very wide energy range necessary to carry out measurements of the spectrum from 50 GeV to 10 TeV covering, for the first time in space, with a single instrument the whole energy interval previously investigated in most cases in separate subranges by magnetic spectrometers (BESS-TeV, PAMELA, and AMS-02) and calorimetric instruments (ATIC, CREAM, and NUCLEON). The observed spectrum is consistent with AMS-02 but extends to nearly an order of magnitude higher energy, showing a very smooth transition of the power-law spectral index from -2.81 +- 0.03 (50--500 GeV) neglecting solar modulation effects (or -2.87 +- 0.06 including solar modulation effects in the lower energy region) to -2.56 +- 0.04 (1--10 TeV), thereby confirming the existence of spectral hardening and providing evidence of a deviation from a single power law by more than 3 sigma.


title: Semi-supervised and Population Based Training for Voice Commands Recognition

abstract: We present a rapid design methodology that combines automated hyper-parameter tuning with semi-supervised training to build highly accurate and robust models for voice commands classification. Proposed approach allows quick evaluation of network architectures to fit performance and power constraints of available hardware, while ensuring good hyper-parameter choices for each network in real-world scenarios. Leveraging the vast amount of unlabeled data with a student/teacher based semi-supervised method, classification accuracy is improved from 84% to 94% in the validation set. For model optimization, we explore the hyper-parameter space through population based training and obtain an optimized model in the same time frame as it takes to train a single model.


title: On the long cycle variability of the Algol OGLE-LMC-DPV-065 and its stellar, orbital and disk parameters

abstract: OGLE-LMC-DPV-065 is an interacting binary whose double-hump long photometric cycle remains hitherto unexplained. We analyze photometric time series available in archive datasets spanning 124 years and present the analysis of new high-resolution spectra. A refined orbital period is found of 10\fd0316267 $\pm$ 0\fd0000056 without any evidence of variability. In spite of this constancy, small but significant changes in timings of the secondary eclipse are detected. We show that the long period continuously decreases from 350 to 218 days during 13 years, then remains almost constant for about 10 years. Our study of radial velocities indicates a circular orbit for the binary and yields a mass ratio of 0.203 $\pm$ 0.001. From the analysis of the orbital light curve we find that the system contains 13.8 and 2.81 \msun\ stars of radii 8.8 and 12.6 \rsun\ and absolute bolometric magnitudes -6.4 and -3.0, respectively. The orbit semi-major axis is 49.9 \rsun\ and the stellar temperatures are 25460 K and 9825 K. We find evidence for an optically and geometrically thick disk around the hotter star. According to our model, the disk has a radius of 25 \rsun, central and outer vertical thickness of 1.6 \rsun\ and 3.5 \rsun, and temperature of 9380 K at its outer edge. Two shock regions located at roughly opposite parts of the outer disk rim can explain the light curves asymmetries. The system is a member of the double periodic variables and its relatively high-mass and long photometric cycle make it similar in some aspects to $\beta$ Lyrae.


title: Automatic Programming of Cellular Automata and Artificial Neural Networks Guided by Philosophy

abstract: Many computer models such as cellular automata and artificial neural networks have been developed and successfully applied. However, in some cases, these models might be restrictive on the possible solutions or their solutions might be difficult to interpret. To overcome this problem, we outline a new approach, the so-called allagmatic method, that automatically programs and executes models with as little limitations as possible while maintaining human interpretability. Earlier we described a metamodel and its building blocks according to the philosophical concepts of structure (spatial dimension) and operation (temporal dimension). They are entity, milieu, and update function that together abstractly describe cellular automata, artificial neural networks, and possibly any kind of computer model. By automatically combining these building blocks in an evolutionary computation, interpretability might be increased by the relationship to the metamodel, and models might be translated into more interpretable models via the metamodel. We propose generic and object-oriented programming to implement the entities and their milieus as dynamic and generic arrays and the update function as a method. We show two experiments where a simple cellular automaton and an artificial neural network are automatically programmed, compiled, and executed. A target state is successfully evolved and learned in the cellular automaton and artificial neural network, respectively. We conclude that the allagmatic method can create and execute cellular automaton and artificial neural network models in an automated manner with the guidance of philosophy.


title: Why scoring functions cannot assess tail properties

abstract: Motivated by the growing interest in sound forecast evaluation techniques with an emphasis on distribution tails rather than average behaviour, we investigate a fundamental question arising in this context: Can statistical features of distribution tails be elicitable, i.e. be the unique minimizer of an expected score? We demonstrate that expected scores are not suitable to distinguish genuine tail properties in a very strong sense. Specifically, we introduce the class of max-functionals, which contains key characteristics from extreme value theory, for instance the extreme value index. We show that its members fail to be elicitable and that their elicitation complexity is in fact infinite under mild regularity assumptions. Further we prove that, even if the information of a max-functional is reported via the entire distribution function, a proper scoring rule cannot separate max-functional values. These findings highlight the caution needed in forecast evaluation and statistical inference if relevant information is encoded by such functionals.


title: Formation of Graphene atop a Si adlayer on the C-face of SiC

abstract: The structure of the SiC(000-1) surface, the C-face of the {0001} SiC surfaces, is studied as a function of temperature and of pressure in a gaseous environment of disilane (Si2H6). Various surface reconstructions are observed, both with and without the presence of an overlying graphene layer (which spontaneously forms at sufficiently high temperatures). Based on cross-sectional scanning transmission electron microscopy measurements, the interface structure that forms in the presence of the graphene is found to contain 1.4 - 1.7 monolayers (ML) of Si, a somewhat counter-intuitive result since, when the graphene forms, the system is actually under C-rich conditions. Using ab initio thermodynamics, it is demonstrated that there exists a class of Si-rich surfaces containing about 1.3 ML of Si that are stable on the surface (even under C-rich conditions) at temperatures above about 400 K. The structures that thus form consist of Si adatoms atop a Si adlayer on the C-face of SiC, with or without the presence of overlying graphene.


title: Autonomous Locomotion Mode Transition in Quadruped Track-Legged Robots: A Simulation-Based Analysis for Step Negotiation

abstract: Hybrid track/wheel-legged robots combine the advantages of wheel-based and leg-based locomotion, granting adaptability across varied terrains through efficient transitions between rolling and walking modes. However, automating these transitions remains a significant challenge. In this paper, we introduce a method designed for autonomous mode transition in a quadruped hybrid robot with a track/wheel-legged configuration, especially during step negotiation. Our approach hinges on a decision-making mechanism that evaluates the energy efficiency of both locomotion modes using a proposed energy-based criterion. To guarantee a smooth negotiation of steps, we incorporate two climbing gaits designated for the assessment of energy usage in walking locomotion. Simulation results validate the method's effectiveness, showing successful autonomous transitions across steps of diverse heights. Our suggested approach has universal applicability and can be modified to suit other hybrid robots of similar mechanical configuration, provided their locomotion energy performance is studied beforehand.


title: Functional methods for false vacuum decay in real time

abstract: We present the calculation of the Feynman path integral in real time for tunneling in quantum mechanics and field theory, including the first quantum corrections. For this purpose, we use the well-known fact that Euclidean saddle points in terms of real fields can be analytically continued to complex saddles of the action in Minkowski space. We also use Picard-Lefschetz theory in order to determine the middle-dimensional steepest-descent surface in the complex field space, constructed from Lefschetz thimbles, on which the path integral is to be performed. As an alternative to extracting the decay rate from the imaginary part of the ground-state energy of the false vacuum, we use the optical theorem in order to derive it from the real-time amplitude for forward scattering. While this amplitude may in principle be obtained by analytic continuation of its Euclidean counterpart, we work out in detail how it can be computed to one-loop order at the level of the path integral, i.e. evaluating the Gau{\ss}ian integrals of fluctuations about the relevant complex saddle points. To that effect, we show how the eigenvalues and eigenfunctions on a thimble can be obtained by analytic continuation of the Euclidean eigensystem, and we determine the path-integral measure on thimbles. This way, using real-time methods, we recover the one-loop result by Callan and Coleman for the decay rate. We finally demonstrate our real-time methods explicitly, including the construction of the eigensystem of the complex saddle, on the archetypical example of tunneling in a quasi-degenerate quartic potential.


title: IceCube High Energy Starting Events at 7.5 Years -- New Measurements of Flux and Flavor

abstract: The IceCube Neutrino Observatory at the South Pole, which detects Cherenkov light from charged particles produced in neutrino interactions, firmly established the existence of an astrophysical high-energy neutrino component. Here I present IceCube's High-Energy Starting Event sample and the new results obtained with a livetime of about 7.5 years. I will focus on the new measurement of the flavor composition performed using this sample. IceCube is directly sensitive to each neutrino flavor via the single cascade, track and double cascade event topologies, the latter being the topology produced in tau-neutrino interactions above an energy threshold of ~100 TeV. A measurement of the flavor ratio on Earth can provide important constraints on sources and production mechanisms within the standard model, and also constrain various beyond-standard-model processes.


title: The $\bar{\partial}$-Neumann operator with the Sobolev norm of integer orders

abstract: Let $\Omega\subset\mathbb{C}^m$ be a bounded pseudoconvex domain with smooth boundary. For each $k\in\mathbb{N}$, we give a sufficient condition to estimate the $\bar\partial$-Neumann operator in the Sobolev space $W^k(\Omega)$. The key feature of our results is a precise formula for $k$ in terms of the geometry of the boundary of $\Omega$.


title: Absorption Probabilities of Quantum Walks

abstract: Quantum walks are known to have nontrivial interaction with absorbing boundaries. In particular, Ambainis et.\ al.\ \cite{ambainis01} showed that in the $(\Z ,C_1,H)$ quantum walk (one-dimensional Hadamard walk) an absorbing boundary partially reflects information. These authors also conjectured that the left absorption probabilities $P_n^{(1)}(1,0)$ related to the finite absorbing Hadamard walks $(\Z ,C_1,H,\{ 0,n\} )$ satisfy a linear fractional recurrence in $n$ (here $P_n(1,0)$ is the probability that a Hadamard walk particle initialized in $|1\rangle |R\rangle$ is eventually absorbed at $|0\rangle$ and not at $|n\rangle$). This result, as well as a third order linear recurrence in initial position $m$ of $P_n^{(m)}(1,0)$, was later proved by Bach and Borisov \cite{bach09} using techniques from complex analysis. In this paper we extend these results to general two state quantum walks and three-state Grover walks, while providing a partial calculation for absorption in $d$-dimensional Grover walks by a $d-1$-dimensional wall. In the one-dimensional cases, we prove partial reflection of information, a linear fractional recurrence in lattice size, and a linear recurrence in initial position.


title: Bridgeland stability conditions on the category of holomorphic triples over curves

abstract: We give a complete description of the Bridgeland stability manifold for the bounded derived category of holomorphic triples over a smooth projective curve of genus 1 as a connected, four dimensional complex manifold.


title: Hybrid Predictive Model: When an Interpretable Model Collaborates with a Black-box Model

abstract: Interpretable machine learning has become a strong competitor for traditional black-box models. However, the possible loss of the predictive performance for gaining interpretability is often inevitable, putting practitioners in a dilemma of choosing between high accuracy (black-box models) and interpretability (interpretable models). In this work, we propose a novel framework for building a Hybrid Predictive Model (HPM) that integrates an interpretable model with any black-box model to combine their strengths. The interpretable model substitutes the black-box model on a subset of data where the black-box is overkill or nearly overkill, gaining transparency at no or low cost of the predictive accuracy. We design a principled objective function that considers predictive accuracy, model interpretability, and model transparency (defined as the percentage of data processed by the interpretable substitute.) Under this framework, we propose two hybrid models, one substituting with association rules and the other with linear models, and we design customized training algorithms for both models. We test the hybrid models on structured data and text data where interpretable models collaborate with various state-of-the-art black-box models. Results show that hybrid models obtain an efficient trade-off between transparency and predictive performance, characterized by our proposed efficient frontiers.


title: Measurement of fiducial and differential $W^+W^-$ production cross-sections at $\sqrt{s}=$13 TeV with the ATLAS detector

abstract: A measurement of fiducial and differential cross-sections for $W^+W^-$ production in proton-proton collisions at $\sqrt{s}=$13 TeV with the ATLAS experiment at the Large Hadron Collider using data corresponding to an integrated luminosity of $36.1$ fb$^{-1}$ is presented. Events with one electron and one muon are selected, corresponding to the decay of the diboson system as $WW\rightarrow e^{\pm}\nu\mu^{\mp}\nu$. To suppress top-quark background, events containing jets with a transverse momentum exceeding 35 GeV are not included in the measurement phase space. The fiducial cross-section, six differential distributions and the cross-section as a function of the jet-veto transverse momentum threshold are measured and compared with several theoretical predictions. Constraints on anomalous electroweak gauge boson self-interactions are also presented in the framework of a dimension-six effective field theory.


title: Synthetic-Neuroscore: Using A Neuro-AI Interface for Evaluating Generative Adversarial Networks

abstract: Generative adversarial networks (GANs) are increasingly attracting attention in the computer vision, natural language processing, speech synthesis and similar domains. Arguably the most striking results have been in the area of image synthesis. However, evaluating the performance of GANs is still an open and challenging problem. Existing evaluation metrics primarily measure the dissimilarity between real and generated images using automated statistical methods. They often require large sample sizes for evaluation and do not directly reflect human perception of image quality. In this work, we describe an evaluation metric we call Neuroscore, for evaluating the performance of GANs, that more directly reflects psychoperceptual image quality through the utilization of brain signals. Our results show that Neuroscore has superior performance to the current evaluation metrics in that: (1) It is more consistent with human judgment; (2) The evaluation process needs much smaller numbers of samples; and (3) It is able to rank the quality of images on a per GAN basis. A convolutional neural network (CNN) based neuro-AI interface is proposed to predict Neuroscore from GAN-generated images directly without the need for neural responses. Importantly, we show that including neural responses during the training phase of the network can significantly improve the prediction capability of the proposed model. Materials related to this work are provided at https://github.com/villawang/Neuro-AI-Interface.


title: $p$-Power conjugacy classes in $U(n,q)$ and $T(n,q)$

abstract: Let $q$ be a $p$-power where $p$ is a fixed prime. In this paper, we look at the $p$-power maps on unitriangular group $U(n,q)$ and triangular group $T(n,q)$. In the spirit of Borel dominance theorem for algebraic groups, we show that the image of this map contains large size conjugacy classes. For the triangular group we give a recursive formula to count the image size.


title: Unification of the Standard Model and Dark Matter Sectors in [SU(5)$\times$U(1)]$^4$

abstract: A simple model of dark matter contains a light Dirac field charged under a hidden U(1) gauge symmetry. When a chiral matter content in a strong dynamics satisfies the t'Hooft anomaly matching condition, a massless baryon is a natural candidate of the light Dirac field. One realization is the same matter content as the standard SU(5)$\times$U(1)$_{(B-L)}$ grand unified theory. We propose a chiral [SU(5)$\times$U(1)]$^4$ gauge theory as a unified model of the SM and DM sectors. The low-energy dynamics, which was recently studied, is governed by the hidden U(1)$_4$ gauge interaction and the third-family U(1)$_{(B-L)_3}$ gauge interaction. This model can realize self-interacting dark matter and alleviate the small-scale crisis of collisionless cold dark matter in the cosmological structure formation. The model can also address the semi-leptonic $B$-decay anomaly reported by the LHCb experiment.


title: Search for the production of W$^\pm$W$^\pm$W$^\mp$ events at $\sqrt{s} =$ 13 TeV

abstract: A search for the production of events containing three W bosons predicted by the standard model is reported. The search is based on a data sample of proton-proton collisions at a center-of-mass energy of 13 TeV recorded by the CMS experiment at the CERN LHC and corresponding to a total integrated luminosity of 35.9 fb$^{-1}$. The search is performed in final states with three leptons (electrons or muons), or with two same-charge leptons plus two jets. The observed (expected) significance of the signal for W$^\pm$W$^\pm$W$^\mp$ production is 0.60 (1.78) standard deviations, and the ratio of the measured signal yield to that expected from the standard model is 0.34 $^{+0.62}_{-0.34}$. Limits are placed on three anomalous quartic gauge couplings and on the production of massive axionlike particles.


title: Breast Tumor Classification and Segmentation using Convolutional Neural Networks

abstract: Breast cancer is considered as the most fatal type of cancer among women worldwide and it is crucially important to be diagnosed at its early stages. In the current study, we aim to represent a fast and efficient framework which consists of two main parts:1- image classification, and 2- tumor region segmentation. At the initial stage, the images are classified into the two categories of normal and abnormal. Since the Deep Neural Networks have performed successfully in machine vision task, we would employ the convolutional neural networks for the classification of images. In the second stage, the suggested framework is to diagnose and segment the tumor in the mammography images. First, the mammography images are pre-processed by removing noise and artifacts, and then, segment the image using the level-set algorithm based on the spatial fuzzy c-means clustering. The proper initialization and optimal configuration have strong effects on the performance of the level-set segmentation. Thus, in our suggested framework, we have improved the level-set algorithm by utilizing the spatial fuzzy c-means clustering which ultimately results in a more precise segmentation. In order to evaluate the proposed approach, we conducted experiments using the Mammographic Image Analysis (MIAS) dataset. The tests have shown that the convolutional neural networks could achieve high accuracy in classification of images. Moreover, the improved level-set segmentation method, along with the fuzzy c-means clustering, could perfectly do the segmentation on the tumor area. The suggested method has classified the images with the accuracy of 78% and the AUC of 69%, which, as compared to the previous methods, is 2% more accurate and 6% better AUC; and has been able to extract the tumor area in a more precise way.


title: The thermal Hall conductance of two doped symmetry-breaking topological insulators

abstract: In this paper we study two models of symmetry-breaking topological insulators. They are the variants of the d-density wave Hamiltonian proposed by Chakravarty, Laughlin, Morr and Nyack[1] to explain the pseudogap of the cuprates. After doping, both models exhibit an anomalous thermal Hall effect similar to that reported in Ref.[2]. Moreover, they also possess hole pockets centered along the Brillouin zone diagonals consistent with the Hall coefficient measured in Ref.[3].


title: Revealing mass-degenerate states in Higgs boson signals

abstract: The observed Higgs boson signals to-date could be due to having two quasi-degenerate 125 GeV scalar states in Nature. This kind of scenario tallies well with the predictions from the Next-to-Minimal Supersymmetric Standard Model (NMSSM). We have analysed the phenomenological NMSSM Higgs boson couplings and derived a parameterization of the signal strengths within the two quasi-degenerate framework. With essentially two parameters, it is shown that the combined strengths of the two quasi-degenerate Higgs states in the leptonic (and b-quark) decay channels depart from the Standard Model values in the opposite direction to those in the vector boson channels. We identify experimental measurements for distinguishing a single from a double Higgs scenarios. The proposed parameterization can be used for benchmarking studies towards establishing the status of quasi-degenerate Higgs scenarios.


title: From path integrals to dynamical algebras: a macroscopic view of quantum physics

abstract: The essence of the path integral method in quantum physics can be expressed in terms of two relations between unitary propagators, describing perturbations of the underlying system. They inherit the causal structure of the theory and its invariance properties under variations of the action. These relations determine a dynamical algebra of bounded operators which encodes all properties of the corresponding quantum theory. This novel approach is applied to non-relativistic particles, where quantum mechanics emerges from it. The method works also in interacting quantum field theories and sheds new light on the foundations of quantum physics.

categories: quant-ph math-ph math.MP physics.hist-ph


title: The activity of the symbiotic binary Z Andromedae and its latest outburst

abstract: Z Andromedae is a prototype of classical symbiotic variable stars. It is characterized by alternating of quiescent and active stages, the later ones are accompanied by changes in both photometry and spectral characteristics of this object. The current activity of Z And began in 2000, and the last outburst was recorded at the turn of the years 2017 and 2018. An important source of information about the behaviour of this symbiotic binary during the ongoing active stage is photometric and spectroscopic observations obtained with small telescopes by amateur astronomers. In this paper, we present the results of analysis of these observations, with an emphasis on the significant similarity of the last outburst of Z And with the previous ones, during which jets from this symbiotic system were observed. The presented results point to the importance of long-term monitoring of symbiotic binaries.


title: Exploration of Gibbs-Laguerre tessellations for three-dimensional stochastic modeling

abstract: Random tessellations are well suited for probabilistic modeling of three-dimensional (3D) grain microstructures of polycrystalline materials. The present paper is focused on so-called Gibbs-Laguerre tessellations, in which the generators of the Laguerre tessellation form a Gibbs point process. The goal is to construct an energy function of the Gibbs point process such that the resulting tessellation matches some desired geometrical properties. Since the model is analytically intractable, our main tool of analysis is stochastic simulation based on Markov chain Monte Carlo. Such simulations enable us to investigate the properties of the models, and, in the next step, to apply the knowledge gained to the statistical reconstruction of the 3D microstructure of an aluminum alloy extracted from 3D tomographic image data.