title: A New Model in Firefighting Theory

abstract: Continuous and discrete models for firefighting problems are well-studied in Theoretical Computer Science. We introduce a new, discrete, and more general framework based on a hexagonal cell graph to study firefighting problems in varied terrains. We present three different firefighting problems in the context of this model; for two of which, we provide efficient polynomial time algorithms and for the third, we show NP-completeness. We also discuss possible extensions of the model and their implications on the computational complexity.


title: Lonesum and $\Gamma$-free $0$-$1$ fillings of Ferrers shapes

abstract: We show that $\Gamma$-free fillings and lonesum fillings of Ferrers shapes are equinumerous by applying a previously defined bijection on matrices for this more general case and by constructing a new bijection between Callan sequences and Dumont-like permutations. As an application, we give a new combinatorial interpretation of Genocchi numbers in terms of Callan sequences. Further, we recover some of Hetyei's results on alternating acyclic tournaments. Finally, we present an interesting result in the case of certain other special shapes.


title: Fakeons, quantum gravity and the correspondence principle

abstract: The correspondence principle made of unitarity, locality and renormalizability has been very successful in quantum field theory. Among the other things, it helped us build the standard model. However, it also showed important limitations. For example, it failed to restrict the gauge group and the matter sector in a powerful way. After discussing its effectiveness, we upgrade it to make room for quantum gravity. The unitarity assumption is better understood, since it allows for the presence of physical particles as well as fake particles (fakeons). The locality assumption is applied to an interim classical action, since the true classical action is nonlocal and emerges from the quantization and a later process of classicization. The renormalizability assumption is refined to single out the special role of the gauge couplings. We show that the upgraded principle leads to an essentially unique theory of quantum gravity. In particular, in four dimensions, a fakeon of spin 2, together with a scalar field, is able to make the theory renormalizable while preserving unitarity. We offer an overview of quantum field theories of particles and fakeons in various dimensions, with and without gravity.


title: Using Surrogate Models and Data Assimilation for Efficient Mobile Simulations

abstract: Numerical simulations on mobile devices are an important tool for engineers and decision makers in the field. However, providing simulation results on mobile devices is challenging due to the complexity of the simulation, requiring remote server resources and distributed mobile computation. The additional large size of multi-dimensional simulation results leads to the insufficient performance of existing approaches, especially when the bandwidth of wireless communication is scarce. In this article, we present an optimized novel approach utilizing surrogate models and data assimilation techniques to reduce the communication overhead. Evaluations show that our approach is up to $6.5$ times faster than streaming results from the server while still meeting required quality constraints.


title: Subexponential potential asymptotics with applications

abstract: Let $X_t^\sharp$ be a multivariate process of the form $X_t =Y_t - Z_t$, $X_0=x$, killed at some terminal time $T$, where $Y_t$ is a Markov process having only jumps of the length smaller than $\delta$, and $Z_t$ is a compound Poisson process with jumps of the length bigger than $\delta$ for some fixed $\delta>0$. Under the assumptions that the summands in $Z_t$ are sub-exponential, we investigate the asymptotic behaviour of the potential function $u(x)= E^x \int_0^\infty \ell(X_s^\sharp)ds$. The case of heavy-tailed entries in $Z_t$ corresponds to the case of "big claims" in insurance models and is of practical interest. The main approach is based on fact that $u(x)$ satisfies a certain renewal equation.


title: Simple and Lightweight Human Pose Estimation

abstract: Recent research on human pose estimation has achieved significant improvement. However, most existing methods tend to pursue higher scores using complex architecture or computationally expensive models on benchmark datasets, ignoring the deployment costs in practice. In this paper, we investigate the problem of simple and lightweight human pose estimation. We first redesign a lightweight bottleneck block with two non-novel concepts: depthwise convolution and attention mechanism. And then, based on the lightweight block, we present a Lightweight Pose Network (LPN) following the architecture design principles of SimpleBaseline. The model size (#Params) of our small network LPN-50 is only 9% of SimpleBaseline(ResNet50), and the computational complexity (FLOPs) is only 11%. To give full play to the potential of our LPN and get more accurate predicted results, we also propose an iterative training strategy and a model-agnostic post-processing function Beta-Soft-Argmax. We empirically demonstrate the effectiveness and efficiency of our methods on the benchmark dataset: the COCO keypoint detection dataset. Besides, we show the speed superiority of our lightweight network at inference time on a non-GPU platform. Specifically, our LPN-50 can achieve 68.7 in AP score on the COCO test-dev set, with only 2.7M parameters and 1.0 GFLOPs, while the inference speed is 17 FPS on an Intel i7-8700K CPU machine.


title: Evidence the ferromagnetic order on CoSb layer of LaCoSb$_2$

abstract: The emergence of unconventional superconductivity is generally considered to be related to spin fluctuations. Unveiling the intriguing behaviors of spin fluctuations in parent compounds with layered transition-metal ions may shed light on the search for exotic unconventional superconductors. Here, based on the framework of the first-principles calculations, we theoretically propose that LaCoSb$_2$ is a weak antiferromagnetic layered metal with an in-plane ferromagnetic moment of 0.88 $\mu_B$ at the Co sites, as a candidate parent compound of the cobalt-based superconductors. Importantly, this theoretical finding is experimentally supported by our magnetization measurements on polycrystalline samples of LaCo$_{0.78}$Sb$_2$. Following the symmetry analysis, we suggest a possible $p$-wave superconductivity hosted in doped LaCoSb$_2$ emerging at the verge of ferromagnetic spin fluctuations, which implies potential applications in topological quantum computing in future.


title: Distribution and spectrophotometric classification of basaltic asteroids

abstract: We aim to determine the distribution of basaltic asteroids (classified as V-types) based on the spectrophotometric data reported in the MOVIS-C catalogue. A total of 782 asteroids were identified. The observations with all four filters (Y, J, H, Ks), available for 297 of these candidates, allow a reliable comparison with the laboratory data of howardite, eucrite, and diogenite meteorites. We found that the majority of the basaltic candidates ($\approx$ 95$\%$) are located in the inner main belt, while only 29 ($\approx$ 4$\%$) and 8 ($\approx$ 1$\%$) are located in the middle and outer main belt, respectively. A fraction of $\approx$ 33$\%$ from the V-type candidates is associated with the Vesta family (with respect to AstDyS). We also identified four middle main belt V-type candidates belonging to (15) Eunomia family, and another four low inclination ones corresponding to (135) Hertha. We report differences between the color indices and albedo distributions of the V-type candidates located in the inner main belt compared to those from the middle and outer main belt. These results support the hypothesis of a different origin for the basaltic asteroids with a semi-major axis beyond 2.5 A.U. Furthermore, lithological differences are present between the vestoids and the inner low inclination basaltic asteroids. The data allow us to estimate the unbiased distribution of basaltic asteroids across the main asteroid belt. We highlight that at least 80$\%$ of the ejected basaltic material from (4) Vesta is missing or is not yet detected because it is fragmented in sizes smaller than 1 km.


title: Arsenal of Hardware Prefetchers

abstract: Hardware prefetching is one of the latency tolerance optimization techniques that tolerate costly DRAM accesses. Though hardware prefetching is one of the fundamental mechanisms prevalent on most of the commercial machines, there is no prefetching technique that works well across all the access patterns and different types of workloads. Through this paper, we propose Arsenal, a prefetching framework which allows the advantages provided by different data prefetchers to be combined, by dynamically selecting the best-suited prefetcher for the current workload. Thus effectively improving the versatility of the prefetching system. It bases on the classic Sandbox prefetcher that dynamically adapts and utilizes multiple offsets for sequential prefetchers. We take it to the next step by switching between prefetchers like Multi look Ahead Offset Prefetching and Timing SKID Prefetcher on the run. Arsenal utilizes a space-efficient pooling filter, Bloom filters, that keeps track of useful prefetches of each of these component prefetchers and thus helps to maintain a score for each of the component prefetchers. This approach is shown to provide better speedup than anyone prefetcher alone. Arsenal provides a performance improvement of 44.29% on the single-core mixes and 19.5% for some of the selected 25 representative multi-core mixes.


title: Deterministic homogenization of elliptic equations with lower order terms

abstract: For a class of linear elliptic equations of general type with rapidly oscillating coefficients, we use the sigma-convergence method to prove the homogenization result and a corrector-type result. In the case of asymptotic periodic coefficients we derive the optimal convergence rates for the zero order approximation of the solution with no smoothness on the coefficients, in contrast to what has been done up to now in the literature. This follows as a result of the existence of asymptotic periodic correctors for general nonsmooth coefficients. The homogenization process is achieved through a compactness result obtained by proving a Helmholtz-type decomposition theorem in case of Besicovitch spaces.


title: Oscillator Circuit for Spike Neural Network with Sigmoid Like Activation Function and Firing Rate Coding

abstract: The study presents an oscillator circuit for a spike neural network with the possibility of firing rate coding and sigmoid-like activation function. The circuit contains a switching element with an S-shaped current-voltage characteristic and two capacitors; one of the capacitors is shunted by a control resistor. The circuit is characterised by a strong dependence of the frequency of relaxation oscillations on the magnitude of the control resistor. The dependence has a sigmoid-like form and we present an analytical method for dependence calculation. Finally, we describe the concept of the spike neural network architecture with firing rate coding based on the presented circuit for creating neuromorphic devices and artificial intelligence.


title: Shape Detection of Liver From 2D Ultrasound Images

abstract: Applications of ultrasound images have expanded from fetal imaging to abdominal and cardiac diagnosis. Liver-being the largest gland in the body and responsible for metabolic activities requires to be to be diagnosed and therefore subject to utmost injury. Although, ultrasound imaging has developed into three and four dimensions providing higher amount of information; it requires highly trained medical staff due to the image complexity and dimensions it contain. Since 2D ultrasound images are still considered to be the basis of clinical treatments,computer aided automated liver diagnosis is very essential. Due to the limitations of ultrasound images, such as loss of resolution leading to speckle noise, it is difficult to detect shape of organs.In this project, we propose a shape detection method for liver in 2D Ultrasound images. Then we compare the accuracies of the method for both noise and after noise removal.


title: Seamless Object-Oriented Requirements

abstract: Design by Contract enables seamless software development by unifying software requirements with their implementations. In its pure form, however, Design by Contract leaves some problems with contracts' expressiveness, verifiability, and reusability open. These problems significantly reduce practical applicability of seamless development. The present article introduces seamless object-oriented requirements - a novel approach to seamless development that builds upon Design by Contract and now-available advanced program proving tools. The article explains and illustrates the new approach, concluding with a quantitative evaluation of the extent to which the approach fixes the problems of traditional contracts.


title: Unsupervised Keyword Extraction for Full-sentence VQA

abstract: In the majority of the existing Visual Question Answering (VQA) research, the answers consist of short, often single words, as per instructions given to the annotators during dataset construction. This study envisions a VQA task for natural situations, where the answers are more likely to be sentences rather than single words. To bridge the gap between this natural VQA and existing VQA approaches, a novel unsupervised keyword extraction method is proposed. The method is based on the principle that the full-sentence answers can be decomposed into two parts: one that contains new information answering the question (i.e., keywords), and one that contains information already included in the question. Discriminative decoders were designed to achieve such decomposition, and the method was experimentally implemented on VQA datasets containing full-sentence answers. The results show that the proposed model can accurately extract the keywords without being given explicit annotations describing them.


title: On a class of variational problems with linear growth and radial symmetry

abstract: We discuss variational problems on two-dimensional domains with energy densities of linear growth and with radially symmetric data. The smoothness of generalized minimizers is established under rather weak ellipticity assumptions. Further results concern the radial symmetry of solutions as well as a precise description of their behavior near the boundary.


title: Astrometric Effects of Gravitational Wave Backgrounds with non-Luminal Propagation Speeds

abstract: A passing gravitational wave causes a deflection in the apparent astrometric positions of distant stars. The effect of the speed of the gravitational wave on this astrometric shift is discussed. A stochastic background of gravitational waves would result in a pattern of astrometric deflections which are correlated on large angular scales. These correlations are quantified and investigated for backgrounds of gravitational waves with sub- and super-luminal group velocities. The statistical properties of the correlations are depicted in two equivalent and related ways: as correlation curves and as angular power spectra. Sub-(super-)luminal gravitational wave backgrounds have the effect of enhancing (suppressing) the power in low-order angular modes. Analytical representations of the redshift-redshift and redshift-astrometry correlations are also derived. The potential for using this effect for constraining the speed of gravity is discussed.


title: Kernelized Multiview Subspace Analysis by Self-weighted Learning

abstract: With the popularity of multimedia technology, information is always represented or transmitted from multiple views. Most of the existing algorithms are graph-based ones to learn the complex structures within multiview data but overlooked the information within data representations. Furthermore, many existing works treat multiple views discriminatively by introducing some hyperparameters, which is undesirable in practice. To this end, abundant multiview based methods have been proposed for dimension reduction. However, there are still no research to leverage the existing work into a unified framework. To address this issue, in this paper, we propose a general framework for multiview data dimension reduction, named Kernelized Multiview Subspace Analysis (KMSA). It directly handles the multi-view feature representation in the kernel space, which provides a feasible channel for direct manipulations on multiview data with different dimensions. Meanwhile, compared with those graph-based methods, KMSA can fully exploit information from multiview data with nothing to lose. Furthermore, since different views have different influences on KMSA, we propose a self-weighted strategy to treat different views discriminatively according to their contributions. A co-regularized term is proposed to promote the mutual learning from multi-views. KMSA combines self-weighted learning with the co-regularized term to learn appropriate weights for all views. We also discuss the influence of the parameters in KMSA regarding the weights of multi-views. We evaluate our proposed framework on 6 multiview datasets for classification and image retrieval. The experimental results validate the advantages of our proposed method.


title: Uncertainty Management in Power System Operation Decision Making

abstract: Due to the penetration of renewable energy resources and load deviation, uncertainty handling is one of the main challenges for power system; therefore the need for accurate decision-making in a power system under the penetration of uncertainties is essential. However, decision makers should use suitable methods for uncertainty management. In this chapter, some of the uncertainty modeling methods in power system studies are analyzed. At first, multiple uncertain parameters that the power system deals with are introduced, then some useful uncertainty modeling methods are introduced. To show the uncertainty modeling process and its effect on the decision-making, a microgrid consisting of multiple uncertain parameters is considered, and stochastic scenario-based approach is used for uncertainty modeling. The scheduling of microgrids in the presence of different types of uncertainty is solved from the profit-maximization point of view. The simulation results are presented for a 33-bus microgrid that shows the effectiveness of the proposed method for decision-making under high level of uncertainty.


title: Robust cooperative synchronization of homogeneous agents with delays on directed communication graphs

abstract: This study deals with analysis and control of cooperative synchronization for identical agents interacting on a directed graph topology. The agents are considered to have general continuous linear time-invariant dynamics with homogeneous communication and/or control delays. An LMI approach based on a Lyapunov-Krasovskii functional is proposed, together with the synchronizing region concept, which decouples the single-agent dynamics from the detailed graph topology. Moreover, the conventional notion of synchronizing region is here extended by an LMI relaxation utilizing quasi-convex characteristic of the problem. This leads to less conservative results for the region of graph matrix eigenvalues in the complex domain, where the synchronization is guaranteed. The proposed method to calculate the allowable delay bound for synchronization is also less conservative as compared to the results from the literature. Furthermore, two designs for distributed state-feedback control are suggested. The precise delay value and the detailed graph topology need not be known for their application; it suffices only to know the upper bound on the delay and the approximate region where the Laplacian eigenvalues lie. Specific improvements over the results existing in the literature are demonstrated by a numerical example, which validates the proposed approaches.


title: Globally Guided Progressive Fusion Network for 3D Pancreas Segmentation

abstract: Recently 3D volumetric organ segmentation attracts much research interest in medical image analysis due to its significance in computer aided diagnosis. This paper aims to address the pancreas segmentation task in 3D computed tomography volumes. We propose a novel end-to-end network, Globally Guided Progressive Fusion Network, as an effective and efficient solution to volumetric segmentation, which involves both global features and complicated 3D geometric information. A progressive fusion network is devised to extract 3D information from a moderate number of neighboring slices and predict a probability map for the segmentation of each slice. An independent branch for excavating global features from downsampled slices is further integrated into the network. Extensive experimental results demonstrate that our method achieves state-of-the-art performance on two pancreas datasets.


title: No Need for Recovery: A Simple Two-Step Byzantine Consensus

abstract: In this paper, we give a deterministic two-step Byzantine consensus protocol that achieves safety and liveness. A two-step Byzantine consensus protocol only needs two communication steps to commit in the absence of faults. Most two-step Byzantine consensus protocols exploit optimism and require a recovery protocol in the presence of faults. In this paper, we give a simple two-step Byzantine consensus protocol that does not need a recovery protocol.


title: Effect of Copper Chemical Form on The Growth of Pseudomonas aeruginosa Isolated from Burned Patients and on Its Cu Uptake

abstract: The main object of this investigation was to shed light on the information on the level of Cu uptake by Pseudomonas aeruginosa that has been previously isolated from patients using Gram-negative E. aerogenes ans a Gram-positive Bacillus thuringiensis as a control for Cu uptake measurements. Cu uptake data showed that maximum Cu uptake was obtained by the Pseudomonas aeruginosa. The metal uptake was dependent on the type of biosorbent with different accumulation affinities toward the tested chemical form of the copper. Cells harvested at exponential growth phase showed slightly higher Cu uptake than at stationary phase, which reflect that the Cu uptake is metabolism dependent-process. The increasing order of affinity of the cupric chloride and cupric sulphate towards the three genera were almost constant. However, where cupric nitrate was used, the copper uptake behavior in Pseudomonas aeroginosa was not changed from those results with the other two chemical forms, whereas with E. aerogenes & B. thuringiensis, different Cu uptake behaviors were observed. In B. thuengenesis, the copper uptake rate as a function of initial Cu concentration were shown to increase with increasing the initial concentration of Cu, constantly above 320 ppm as compared with others. In Enterobacter with cupric nitrate, different bahavior was also shown in which the copper uptake decline sharply beyond the 320 ppm. These results reflect that the Cu uptake in P. aeruginosa is with different mechanisms as compared with other tested bacteria.


title: Hardness of some variants of the graph coloring game

abstract: Very recently, a long-standing open question proposed by Bodlaender in 1991 was answered: the graph coloring game is PSPACE-complete. In 2019, Andres and Lock proposed five variants of the graph coloring game and left open the question of PSPACE-hardness related to them. In this paper, we prove that these variants are PSPACE-complete for the graph coloring game and also for the greedy coloring game, even if the number of colors is the chromatic number. Finally, we also prove that a connected version of the graph coloring game, proposed by Charpentier et al. in 2019, is PSPACE-complete.


title: Universal Adversarial Robustness of Texture and Shape-Biased Models

abstract: Increasing shape-bias in deep neural networks has been shown to improve robustness to common corruptions and noise. In this paper we analyze the adversarial robustness of texture and shape-biased models to Universal Adversarial Perturbations (UAPs). We use UAPs to evaluate the robustness of DNN models with varying degrees of shape-based training. We find that shape-biased models do not markedly improve adversarial robustness, and we show that ensembles of texture and shape-biased models can improve universal adversarial robustness while maintaining strong performance.


title: A divergent horocycle in the horofunction compactification of the Teichm\"uller metric

abstract: We give an example of a horocycle in the Teichm\"uller space of the five-times-punctured sphere that does not converge in the Gardiner--Masur compactification, or equivalently in the horofunction compactification of the Teichm\"uller metric. As an intermediate step, we exhibit a simple closed curve whose extremal length is periodic but not constant along the horocycle. The example lifts to any Teichm\"uller space of complex dimension greater than one via covering constructions.


title: LDA+DMFT approach to resonant inelastic x-ray scattering in correlated materials

abstract: We present a computational study of $L$-edge resonant inelastic x-ray scattering (RIXS) in correlated 3$d$ transition-metal oxides using an $ab$ $initio$ method based on local density approximation + dynamical mean-field theory (DMFT). The present method, building on Anderson impurity model with an optimized continuum bath within DMFT, is an extension of the cluster model to include unbound electron-hole pair excitations as well as material-specific charge-transfer excitations with less empirical parameters. We find a good agreement with available experimental data. The relationship between correlated bands and fluorescence-like feature in the RIXS spectra is discussed.


title: A Sub-sampled Tensor Method for Non-convex Optimization

abstract: We present a stochastic optimization method that uses a fourth-order regularized model to find local minima of smooth and potentially non-convex objective functions with a finite-sum structure. This algorithm uses sub-sampled derivatives instead of exact quantities. The proposed approach is shown to find an $(\epsilon_1,\epsilon_2,\epsilon_3)$-third-order critical point in at most $\bigO\left(\max\left(\epsilon_1^{-4/3}, \epsilon_2^{-2}, \epsilon_3^{-4}\right)\right)$ iterations, thereby matching the rate of deterministic approaches. In order to prove this result, we derive a novel tensor concentration inequality for sums of tensors of any order that makes explicit use of the finite-sum structure of the objective function.


title: Holographic superconductor induced by charge density waves

abstract: Understanding the role of charge density wave (CDW) in high-temperature superconductivity is a longstanding challenge in condensed matter physics. We construct a holographic superconductor model in which the $U(1)$ symmetry is spontaneously broken only due to the presence of CDWs, rather than previously known free charges with constant density. Below the critical temperature of superconductivity, CDW phase and superconducting phase coexist, which is also justified by the numerical results of optical conductivity. The competitive and cooperative relations between CDW phase and superconducting phase are observed. This work supports the opinion that the appearance of pseudo-gap in CDW phase promotes the pre-pairing of electrons as well as holes such that the formation of superconductivity benefits from the presence of CDW.


title: ExoMol molecular line lists XXXV: a rotation-vibration line list for hot ammonia

abstract: A new hot line list for $^{14}$NH$_3$ is presented. The line list CoYuTe was constructed using an accurate, empirically refined potential energy surface and a CCSD(T)/aug-cc-pVQZ ab initio dipole moment surface of ammonia, previously reported. The line list is an improvement of the ammonia line list BYTe [Yurchenko et al., Mon. Not. R. Astron. Soc., 413, 1828 (2011)]. The CoYuTe line list covers wavenumbers up to 20000 cm$^{-1}$, i.e. wavelengths beyond 0.5 $\mu$m for temperatures up to 1500 K. Comparisons with the high temperature experimental data from the literature show excellent agrement for wavenumbers below 6000 cm$^{-1}$. The CoYuTe line list contains 16.9 billion transitions and is available from the ExoMol website (www.exomol.com) and the CDS database.


title: Comparison between the linear and nonlinear homogenization of graphene and silicon

abstract: In this paper, we use a versatile homogenization approach to model the linear and nonlinear optical response of two metasurfaces: a plasmonic metasurface consisting of a square array of graphene cruciform patches and a dielectric metasurface consisting of a rectangular array of photonic crystal (PhC) cavities in a silicon PhC slab waveguide. The former metasurface is resonant at wavelengths that are much larger than the graphene elements of the metasurface, whereas the resonance wavelengths of the latter one are comparable to the size of its resonant components. By computing and comparing the effective permittivities and nonlinear susceptibilities of the two metasurfaces, we infer some general principles regarding the conditions under which homogenization methods of metallic and dielectric metasurfaces are valid. In particular, we show that in the case of the graphene metasurface the homogenization method describes very well both its linear and nonlinear optical properties, whereas in the case of the silicon PhC metasurface the homogenization method is less accurate, especially near the optical resonances


title: Differentiable Meta-learning Model for Few-shot Semantic Segmentation

abstract: To address the annotation scarcity issue in some cases of semantic segmentation, there have been a few attempts to develop the segmentation model in the few-shot learning paradigm. However, most existing methods only focus on the traditional 1-way segmentation setting (i.e., one image only contains a single object). This is far away from practical semantic segmentation tasks where the K-way setting (K>1) is usually required by performing the accurate multi-object segmentation. To deal with this issue, we formulate the few-shot semantic segmentation task as a learning-based pixel classification problem and propose a novel framework called MetaSegNet based on meta-learning. In MetaSegNet, an architecture of embedding module consisting of the global and local feature branches is developed to extract the appropriate meta-knowledge for the few-shot segmentation. Moreover, we incorporate a linear model into MetaSegNet as a base learner to directly predict the label of each pixel for the multi-object segmentation. Furthermore, our MetaSegNet can be trained by the episodic training mechanism in an end-to-end manner from scratch. Experiments on two popular semantic segmentation datasets, i.e., PASCAL VOC and COCO, reveal the effectiveness of the proposed MetaSegNet in the K-way few-shot semantic segmentation task.


title: Communication: Curing basis set overcompleteness with pivoted Cholesky decompositions

abstract: The description of weakly bound electronic states is especially difficult with atomic orbital basis sets. The diffuse atomic basis functions that are necessary to describe the extended electronic state generate significant linear dependencies in the molecular basis set, which may make the electronic structure calculations ill-convergent. We propose a method where the over-complete molecular basis set is pruned by a pivoted Cholesky decomposition of the overlap matrix, yielding an optimal low-rank approximation that is numerically stable; the pivot indices determining a reduced basis set that is complete enough to describe all the basis functions in the original over-complete basis. The method can be implemented either by a simple modification to the usual canonical orthogonalization procedure, which hides the excess functions and yields fewer efficiency benefits, or by generating custom basis sets for all the atoms in the system, yielding significant cost reductions in electronic structure calculations. The pruned basis sets from the latter choice allow accurate calculations to be performed at a lower cost even at the self-consistent field level, as illustrated on a solvated (H2O)24- anion. Our results indicate that the Cholesky procedure allows one to perform calculations with accuracies close to standard augmented basis sets with cost savings which increase with the size of the basis set, ranging from 9% fewer functions in single-{\zeta} basis sets to 28% fewer functions in triple-{\zeta} basis sets.


title: GRASPEL: Graph Spectral Learning at Scale

abstract: Learning meaningful graphs from data plays important roles in many data mining and machine learning tasks, such as data representation and analysis, dimension reduction, data clustering, and visualization, etc. In this work, for the first time, we present a highly-scalable spectral approach (GRASPEL) for learning large graphs from data. By limiting the precision matrix to be a graph Laplacian, our approach aims to estimate ultra-sparse (tree-like) weighted undirected graphs and shows a clear connection with the prior graphical Lasso method. By interleaving the latest high-performance nearly-linear time spectral methods for graph sparsification, coarsening and embedding, ultra-sparse yet spectrally-robust graphs can be learned by identifying and including the most spectrally-critical edges into the graph. Compared with prior state-of-the-art graph learning approaches, GRASPEL is more scalable and allows substantially improving computing efficiency and solution quality of a variety of data mining and machine learning applications, such as spectral clustering (SC), and t-Distributed Stochastic Neighbor Embedding (t-SNE). {For example, when comparing with graphs constructed using existing methods, GRASPEL achieved the best spectral clustering efficiency and accuracy.


title: Collective behavior of Vicsek particles without and with obstacles

abstract: In our work we have studied a two-dimensional suspension of finite-size Vicsek hard-disks, whose time evolution follows an event-driven dynamics between subsequent time steps. Having compared its collective behaviour with the one expected for a system of scalar Vicsek point-like particles, we have analysed the effect of considering two possible bouncing rules between the disks: a Vicsek-like rule and a pseudo-elastic one, focusing on the order-disorder transition. Next, we have added to the two-dimensional suspension of hard-disk Vicsek particles disk-like passive obstacles of two types: either fixed in space or moving according to the same event-driven dynamics. We have performed a detailed analysis of the particles' collective behaviour observed for both fixed and moving obstacles. In the fixed obstacles case, we have observed formation of clusters at low noise, in agreement with previous studies. When using moving passive obstacles, we found that that order of active particles is better destroyed as the drag of obstacles increases. In the no drag limit an interesting result was found: introduction of low drag passive particles can lead in some cases to a more ordered state of active flocking particles than what they show in bulk.


title: Region Normalization for Image Inpainting

abstract: Feature Normalization (FN) is an important technique to help neural network training, which typically normalizes features across spatial dimensions. Most previous image inpainting methods apply FN in their networks without considering the impact of the corrupted regions of the input image on normalization, e.g. mean and variance shifts. In this work, we show that the mean and variance shifts caused by full-spatial FN limit the image inpainting network training and we propose a spatial region-wise normalization named Region Normalization (RN) to overcome the limitation. RN divides spatial pixels into different regions according to the input mask, and computes the mean and variance in each region for normalization. We develop two kinds of RN for our image inpainting network: (1) Basic RN (RN-B), which normalizes pixels from the corrupted and uncorrupted regions separately based on the original inpainting mask to solve the mean and variance shift problem; (2) Learnable RN (RN-L), which automatically detects potentially corrupted and uncorrupted regions for separate normalization, and performs global affine transformation to enhance their fusion. We apply RN-B in the early layers and RN-L in the latter layers of the network respectively. Experiments show that our method outperforms current state-of-the-art methods quantitatively and qualitatively. We further generalize RN to other inpainting networks and achieve consistent performance improvements. Our code is available at https://github.com/geekyutao/RN.


title: On the Mathematical Structure of Cascade Effects and Emergent Phenomena

abstract: We argue that the mathematical structure, enabling certain cascading and emergent phenomena to intuitively emerge, coincides with Galois connections. We introduce the notion of generative effects to formally capture such phenomena. We establish that these effects arise, via a notion of a veil, from either concealing mechanisms in a system or forgetting characteristics from it. The goal of the work is to initiate a mathematical base that enables us to further study such phenomena. In particular, generative effects can be further linked to a certain loss of exactness. Homological algebra, and related algebraic methods, may then be used to characterize the effects.


title: Modeling spectral lags in active galactic nucleus flares in the context of Lorentz invariance violation searches

abstract: High-energy photons emitted by flaring active galactic nuclei (AGNs) have been used for many years to constrain modified dispersion relations in vacuum encountered in the context of quantum gravity phenomenology. In such studies, done in the GeV-TeV range, energy-dependent delays (spectral lags) are searched for, usually neglecting any source-intrinsic time delay. With the aim being to distinguish lorentz invariance violation (LIV) effects from lags generated at the sources themselves, a detailed investigation into intrinsic spectral lags in flaring AGNs above 100 GeV is presented in the frame of synchrotron-self-Compton (SSC) scenarios for their very-high-energy (VHE) emission. A simple model of VHE flares in blazars is proposed, allowing to explore the influence of the main physical parameters describing the emitting zones on intrinsic delays. For typical conditions expected in TeV blazars, significant intrinsic lags are obtained, which can dominate over LIV effects, especially at low redshifts, and should therefore be carefully disentangled from any extrinsic lags. Moreover, two main regimes are identified with characteristic spectral lags, corresponding to long-lasting and fast particle acceleration. Such intrinsic spectral lags should be detected with new-generation instruments at VHE such as the Cherenkov Telescope Array which begins operation in a few years. This will provide original constraints on AGN flare models and open a new era for LIV searches in the photon sector.


title: Arbitrary access temporal pulse cloaking and restoring in periodically poled lithium niobate

abstract: Temporal cloaks have inspired the innovation of research on security and efficiency of quantum and fiber communications for concealing temporal events. The existing temporal cloaking approaches possessing ps ~ns cloaking windows employed the third-order nonlinearity mostly. Here we explore a temporal cloak for perpetually concealing pulse events using high efficiency second-order nonlinearity. A temporal pulse event was cloaked as a continuous wave with constant intensity and restored by polarization dependent sum frequency generation processes between the continuous wave and probe. The variety of quasi phase-matching second-order nonlinear processes in periodically poled lithium niobate make sure the pulse event cannot be filched during transmission. The proposed temporal cloak predicts hopeful applications in information security of photonic integrated circuit on lithium niobite thin film.


title: The Liquid Argon In A Testbeam (LArIAT) Experiment

abstract: The LArIAT liquid argon time projection chamber, placed in a tertiary beam of charged particles at the Fermilab Test Beam Facility, has collected large samples of pions, muons, electrons, protons, and kaons in the momentum range 300-1400 MeV/c. This paper describes the main aspects of the detector and beamline, and also reports on calibrations performed for the detector and beamline components.


title: OFDM-Based Optical Spatial Modulation

abstract: Spatial modulation (SM) has proven to be a promising multiple-input-multiple-output (MIMO) technique which provides high energy efficiency and reduces system complexity. In SM, only one transmitter is active at any given time while the rest of them remain silent. The index of the active transmitter carries information. This spatial information is in addition to the data carried by the constellation symbols in the signal domain. Therefore, SM increases the transmission rate of the communication system compared to single-input-single-output and space-time block coding (STBC)-MIMO. For signal domain data encoding, orthogonal frequency division multiplexing (OFDM) has been widely adopted. The key benefits in multi-carrier intensity-modulation and direct-detection (IM/DD) systems are: i) the capability to achieve high spectral efficiency and ii) the ability to effectively mitigate direct-current (DC) wander effects and the impact of ambient light. However, current off-the shelf light emitting diodes (LEDs) which are used as transmit entities are primarily bandwidth limited. Thus, there are benefits of combining SM and OFDM to enhance transmission speeds while maintaining low complexity. In this paper, the two most common OFDM-based SM types, namely frequency domain SM (FD-SM) and time domain SM (TD-SM), are investigated for optical wireless communications (OWC). Moreover, proof-ofconcept experimental results are presented to showcase practical feasibility of both techniques. The obtained results are also compared with Monte Carlo simulations. The results show that TDSM with an optimal maximum-a-posteriori-probability (MAP) detector significantly outperforms FD-SM. It can be inferred from the results that TD SM is a strong candidate among OFDM-based optical SM systems for future optical IM/DD wireless communication systems.


title: Smoothed complexity of local Max-Cut and binary Max-CSP

abstract: We show that the smoothed complexity of the FLIP algorithm for local Max-Cut is at most $\smash{\phi n^{O(\sqrt{\log n})}}$, where $n$ is the number of nodes in the graph and $\phi$ is a parameter that measures the magnitude of perturbations applied on its edge weights. This improves the previously best upper bound of $\phi n^{O(\log n)}$ by Etscheid and R\"{o}glin. Our result is based on an analysis of long sequences of flips, which shows~that~it is very unlikely for every flip in a long sequence to incur a positive but small improvement in the cut weight. We also extend the same upper bound on the smoothed complexity of FLIP to all binary Maximum Constraint Satisfaction Problems.


title: Application of Helmholtz-Hodge decomposition to the study of certain vector fields

abstract: Smooth vector fields on $\mathbb{R}^n$ can be decomposed into the sum of a gradient vector field and divergence-free (solenoidal) vector field under suitable hypotheses. This is called the Helmholtz-Hodge decomposition (HHD), which has been applied to analyze the topological features of vector fields. In this study, we apply the HHD to study certain types of vector fields. In particular, we investigate the existence of strictly orthogonal HHDs, which assure an effective analysis. The first object of the study is linear vector fields. We demonstrate that a strictly orthogonal HHD for a vector field of the form $\textbf{F}(\textbf{x}) = A \textbf{x}$ can be obtained by solving an algebraic Riccati equation. Subsequently, a method to explicitly construct a Lyapunov function is established. In particular, if A is normal, there exists an easy solution to this equation. Next, we study planar vector fields. In this case, the HHD yields a complex potential, which is a generalization of the notion in hydrodynamics with the same name. We demonstrate the convenience of the complex potential formalism by analyzing vector fields given by homogeneous quadratic polynomials.


title: Synthesis and Properties of Non-Curing Graphene Thermal Interface Materials

abstract: Development of the next generation thermal interface materials with high thermal conductivity is important for thermal management and packaging of electronic devices. We report on the synthesis and thermal conductivity measurements of non-curing thermal paste, i.e. grease, based on mineral oil with the mixture of graphene and few-layer graphene flakes as the fillers. It was found that graphene thermal paste exhibits a distinctive thermal percolation threshold with the thermal conductivity revealing a sublinear dependence on the filler loading. This behavior contrasts with the thermal conductivity of curing graphene thermal interface materials, based on epoxy, where super-linear dependence on the filler loading is observed. The performance of graphene thermal paste was benchmarked against top-of-the-line commercial thermal pastes. The obtained results show that non-curing graphene thermal interface materials outperforms the best commercial pastes in terms of thermal conductivity, at substantially lower filler concentration of ~ 27 vol%. The obtained results shed light on thermal percolation mechanism in non-curing polymeric matrices laden with quasi-two-dimensional fillers. Considering recent progress in graphene production via liquid phase exfoliation and oxide reduction, we argue that our results open a pathway for large-scale industrial application of graphene in thermal management of electronics.


title: Discourse Level Factors for Sentence Deletion in Text Simplification

abstract: This paper presents a data-driven study focusing on analyzing and predicting sentence deletion -- a prevalent but understudied phenomenon in document simplification -- on a large English text simplification corpus. We inspect various document and discourse factors associated with sentence deletion, using a new manually annotated sentence alignment corpus we collected. We reveal that professional editors utilize different strategies to meet readability standards of elementary and middle schools. To predict whether a sentence will be deleted during simplification to a certain level, we harness automatically aligned data to train a classification model. Evaluated on our manually annotated data, our best models reached F1 scores of 65.2 and 59.7 for this task at the levels of elementary and middle school, respectively. We find that discourse level factors contribute to the challenging task of predicting sentence deletion for simplification.


title: Grothendieck--Lefschetz for ample subvarieties

abstract: We establish a Grothendieck--Lefschetz theorem for smooth ample subvarieties of smooth projective varieties over an algebraically closed field of characteristic zero and, more generally, for smooth subvarieties whose complement has small cohomological dimension. A weaker statement is also proved in a more general context and in all characteristics. Several applications are included.


title: The Characterization of Noncontextuality in the Framework of Generalized Probabilistic Theories

abstract: To make precise the sense in which the operational predictions of quantum theory conflict with a classical worldview, it is necessary to articulate a notion of classicality within an operational framework. A widely applicable notion of classicality of this sort is whether or not the predictions of a given operational theory can be explained by a generalized-noncontextual ontological model. We here explore what notion of classicality this implies for the generalized probabilistic theory (GPT) that arises from a given operational theory, focusing on prepare-measure scenarios. We first show that, when mapping an operational theory to a GPT by quotienting relative to operational equivalences, the constraint of explainability by a generalized-noncontextual ontological model is mapped to the constraint of explainability by an ontological model. We then show that, under the additional assumption that the ontic state space is of finite cardinality, this constraint on the GPT can be expressed as a geometric condition which we term simplex-embeddability. Whereas the traditional notion of classicality for a GPT is that its state space be a simplex and its effect space be the dual of this simplex, simplex-embeddability merely requires that its state space be embeddable in a simplex and its effect space in the dual of that simplex. We argue that simplex-embeddability constitutes an intuitive and freestanding notion of classicality for GPTs. Our result also has applications to witnessing nonclassicality in prepare-measure experiments.


title: Bayesian nonparametric estimation in the current status continuous mark model

abstract: In this paper we consider the current status continuous mark model where, if the event takes place before an inspection time $T$ a "continuous mark" variable is observed as well. A Bayesian nonparametric method is introduced for estimating the distribution function of the joint distribution of the event time ($X$) and mark ($Y$). We consider a prior that is obtained by assigning a distribution on heights of cells, where cells are obtained from a partition of the support of the density of $(X, Y)$. As distribution on cell heights, we consider both a Dirichlet prior and a prior based on the graph-Laplacian on the specified partition. Our main result shows that under appropriate conditions, the posterior distribution function contracts pointwisely at rate $\left(n/\log n\right)^{-\frac{\rho}{3(\rho+2)}}$, where $\rho$ is the H\"older smoothness of the true density. In addition to our theoretical results, we provide computational methods for drawing from the posterior using probabilistic programming. The performance of our computational methods is illustrated in two examples.


title: Lov\'asz-Saks-Schrijver ideals and parity binomial edge ideals of graphs

abstract: Let $G$ be a simple graph on $n$ vertices. Let $L_G \text{ and } \mathcal{I}_G \: $ denote the Lov\'asz-Saks-Schrijver(LSS) ideal and parity binomial edge ideal of $G$ in the polynomial ring $S = \mathbb{K}[x_1,\ldots, x_n, y_1, \ldots, y_n] $ respectively. We classify graphs whose LSS ideals and parity binomial edge ideals are complete intersections. We also classify graphs whose LSS ideals and parity binomial edge ideals are almost complete intersections, and we prove that their Rees algebra is Cohen-Macaulay. We compute the second graded Betti number and obtain a minimal presentation of LSS ideals of trees and odd unicyclic graphs. We also obtain an explicit description of the defining ideal of the symmetric algebra of LSS ideals of trees and odd unicyclic graphs.


title: Joint Parsing and Generation for Abstractive Summarization

abstract: Sentences produced by abstractive summarization systems can be ungrammatical and fail to preserve the original meanings, despite being locally fluent. In this paper we propose to remedy this problem by jointly generating a sentence and its syntactic dependency parse while performing abstraction. If generating a word can introduce an erroneous relation to the summary, the behavior must be discouraged. The proposed method thus holds promise for producing grammatical sentences and encouraging the summary to stay true-to-original. Our contributions of this work are twofold. First, we present a novel neural architecture for abstractive summarization that combines a sequential decoder with a tree-based decoder in a synchronized manner to generate a summary sentence and its syntactic parse. Secondly, we describe a novel human evaluation protocol to assess if, and to what extent, a summary remains true to its original meanings. We evaluate our method on a number of summarization datasets and demonstrate competitive results against strong baselines.


title: Controlling the Amount of Verbatim Copying in Abstractive Summarization

abstract: An abstract must not change the meaning of the original text. A single most effective way to achieve that is to increase the amount of copying while still allowing for text abstraction. Human editors can usually exercise control over copying, resulting in summaries that are more extractive than abstractive, or vice versa. However, it remains poorly understood whether modern neural abstractive summarizers can provide the same flexibility, i.e., learning from single reference summaries to generate multiple summary hypotheses with varying degrees of copying. In this paper, we present a neural summarization model that, by learning from single human abstracts, can produce a broad spectrum of summaries ranging from purely extractive to highly generative ones. We frame the task of summarization as language modeling and exploit alternative mechanisms to generate summary hypotheses. Our method allows for control over copying during both training and decoding stages of a neural summarization model. Through extensive experiments we illustrate the significance of our proposed method on controlling the amount of verbatim copying and achieve competitive results over strong baselines. Our analysis further reveals interesting and unobvious facts.


title: Notes on Superconformal Representations in Two Dimensions

abstract: We study global subalgebras of superconformal algebras in two dimensions and their unitary representations. Global superconformal multiplets are decomposed into conformal multiplets using Racah-Speiser algorithm, revealing many essential aspects of superconformal theories such as stress-energy tensor, conserved current, supersymmetric deformation and supersymmetry enhancement. Character formulae for the representations are presented. We further find a collection of conserved charges that are $k$-forms under the R-symmetry, which must be part of the super Virasoro algebra with $\mathcal{N} \geq 3$ supersymmetries.


title: When is ACL's Deadline? A Scientific Conversational Agent

abstract: Our conversational agent UKP-ATHENA assists NLP researchers in finding and exploring scientific literature, identifying relevant authors, planning or post-processing conference visits, and preparing paper submissions using a unified interface based on natural language inputs and responses. UKP-ATHENA enables new access paths to our swiftly evolving research area with its massive amounts of scientific information and high turnaround times. UKP-ATHENA's responses connect information from multiple heterogeneous sources which researchers currently have to explore manually one after another. Unlike a search engine, UKP-ATHENA maintains the context of a conversation to allow for efficient information access on papers, researchers, and conferences. Our architecture consists of multiple components with reference implementations that can be easily extended by new skills and domains. Our user-based evaluation shows that UKP-ATHENA already responds 45% of different formulations of defined intents with 37% information coverage rate.


title: Anisotropic multicomponent topology optimization for additive manufacturing with build orientation design and stress-constrained interfaces

abstract: This paper presents a multicomponent topology optimization method for designing structures assembled from additively-manufactured components, considering anisotropic material behavior for each component due to its build orientation, distinct material behavior and stress constraint at component interfaces (i.e., joints). Based upon the multicomponent topology optimization (MTO) framework, the simultaneous optimization of structural topology, its partitioning, and the build orientations of each component is achieved, which maximizes an assembly-level structural stiffness performance subject to maximum stress constraints at component interfaces. The build orientations of each component are modeled by its orientation tensor that avoids numerical instability experienced by the conventional angular representation. A new joint model is introduced at component interfaces, which enables the identification of the interface location, the specification of a distinct material tensor, and imposing maximum stress constraints during optimization. Both 2D and 3D numerical examples are presented to illustrate the effect of the build orientation anisotropy and the component interface behavior on the resulting multicomponent assemblies.


title: Comments on "Mixed Bose-Fermi statistics Kinetic equation and navigation through network" by S.F. Chekmarev, Phys. Rev. E 82, 026106 (2010)

abstract: The paper shows that the kinetic equations considered in [1], equilibrium distribution obtained in [1], and results and conclusions obtained on the basis of the kinetic equation derived in [1] do not correspond to the mixed Bose-Fermi statistics. Moreover, it is shown that the kinetic equation corresponding to the case when the copies of the system are characterized by different values of the fraction of the Fermi-like moves is incorrect. We present a correct kinetic equation for the mixture of the Bose and Fermi moves and obtained the equilibrium distribution for the case when the probability of the Fermi moves is higher or equal to that of the Bose moves.


title: Doctor2Vec: Dynamic Doctor Representation Learning for Clinical Trial Recruitment

abstract: Massive electronic health records (EHRs) enable the success of learning accurate patient representations to support various predictive health applications. In contrast, doctor representation was not well studied despite that doctors play pivotal roles in healthcare. How to construct the right doctor representations? How to use doctor representation to solve important health analytic problems? In this work, we study the problem on {\it clinical trial recruitment}, which is about identifying the right doctors to help conduct the trials based on the trial description and patient EHR data of those doctors. We propose doctor2vec which simultaneously learns 1) doctor representations from EHR data and 2) trial representations from the description and categorical information about the trials. In particular, doctor2vec utilizes a dynamic memory network where the doctor's experience with patients are stored in the memory bank and the network will dynamically assign weights based on the trial representation via an attention mechanism. Validated on large real-world trials and EHR data including 2,609 trials, 25K doctors and 430K patients, doctor2vec demonstrated improved performance over the best baseline by up to $8.7\%$ in PR-AUC. We also demonstrated that the doctor2vec embedding can be transferred to benefit data insufficiency settings including trial recruitment in less populated/newly explored country with $13.7\%$ improvement or for rare diseases with $8.1\%$ improvement in PR-AUC.


title: Study of bremsstrahlung radiation coming from a transmission type x-ray generator and its application on EDXRF technique

abstract: We have demonstrated the use of the bremsstrahlung radiation in energy dispersive x-ray fluorescence technique as a tool to perform non-destructive elemental analysis of solid samples employed in inter-disciplinary science research. The bremsstrahlung radiation can be taken from a small, portable, transmission type x-ray generator. As our knowledge goes, till date, this is the first attempt to generate bremsstrahlung spectrum theoretically from a portable transmission type x-ray generator and compared it with the actual observation. Theoretically generated bremsstrahlung spectra are also found to be in good agreement with the experimentally observed spectra obtained with various operating anode voltages of the x-ray generator. A computer program has been developed utilizing few atomic parameters to obtain the elemental concentrations in the sample by a single run using the whole bremsstrahlung. The knowledge of incoming x-ray flux, geometry of experimental arrangements is not required in this technique. To validate the technique, we have taken two samples: an Indian one rupee coin of the year 2000 and a NIST made brass sample, whose compositions are well known. We used these samples to expose to the bremsstrahlung radiation, produced by the operating anode voltages 20, 25, and 30 KV. The relative concentrations of different elements are determined, which is in good agreement with the earlier results.


title: Modified deformation behaviour of self-ion irradiated tungsten: A combined nano-indentation, HR-EBSD and crystal plasticity study

abstract: Predicting the dramatic changes in material properties caused by irradiation damage is key for the design of future nuclear fission and fusion reactors. Self-ion implantation is an attractive tool for mimicking the effects of neutron irradiation. However, the damaged layer of implanted samples is only few microns thick, making it difficult to estimate macroscopic properties. Here we address this challenge using a combination of experimental and modelling techniques. We concentrate on self-ion-implanted tungsten, the front-runner for fusion armour components and a prototypical bcc material. To capture dose-dependent evolution of properties, we experimentally characterise samples with damage levels from 0.01 to 1 dpa. Spherical nano-indentation of <001> grains shows hardness increasing up to a dose of 0.032 dpa, beyond which it saturates. AFM measurements show pile-up increasing up to the same dose, beyond which large pile-up and slip-steps are seen. Based on the observations we develop a crystal plasticity (CPFE) model for the irradiated material. It captures irradiation-induced hardening followed by strain-softening through interaction of irradiation-defects and gliding dislocations. Shear resistance of irradiation-defects is derived from TEM observations of similarly irradiated samples. Nano-indentation of pristine and implanted tungsten of doses 0.01, 0.1, 0.32 and 1 dpa is simulated. Two model parameters are fitted to the experimental results of the 0.01 dpa sample and are kept unchanged for all other doses. Peak load, indent surface profiles and damage saturation predicted by the CPFE model closely match experimental observations. Predicted lattice distortions and dislocation distributions around indents agree with corresponding measurements from HR-EBSD. Finally, the CPFE model is used to predict the macroscopic stress-strain response of similarly irradiated bulk tungsten material.


title: On the Abstract Structure of the Behavioral Approach to Systems Theory

abstract: We revisit the behavioral approach to systems theory and make explicit the abstract pattern that governs it. Our end goal is to use that pattern to understand interaction-related phenomena that emerge when systems interact. Rather than thinking of a system as a pair $(\mathbb{U}, \mathcal{B})$, we begin by thinking of it as an injective map from $\mathcal{B} \rightarrow \mathbb{U}$. This relative perspective naturally brings about the sought structure, which we summarize in three points. First, the separation of behavioral equations and behavior is developed through two spaces, one of syntax and another of semantics, linked by an interpretation map. Second, the notion of interconnection and variable sharing is shown to be a construction of the same nature as that of gluing topological spaces or taking amalgamated sums of algebraic objects. Third, the notion of interconnection instantiates to both the syntax space and the semantics space, and the interpretation map is shown to preserve the interconnection when going from syntax to semantics. This pattern, in its generality, is made precise by borrowing very basic constructs from the language of categories and functors.


title: A mass transference principle and sets with large intersections

abstract: I prove a mass transference principle for general shapes, similar to a recent result by H. Koivusalo and M. Rams. The proof relies on Vitali's covering lemma and manipulations with Riesz energies. The main novelty is that it is proved that the obtained limsup-set belongs to the classes of sets with large intersections, as defined by K. Falconer. This has previously not been proved for as general shapes as in this paper.


title: Representing Software Project Vision by Means of Video: A Quality Model for Vision Videos

abstract: Establishing a shared software project vision is a key challenge in Requirements Engineering (RE). Several approaches use videos to represent visions. However, these approaches omit how to produce a good video. This missing guidance is one crucial reason why videos are not established in RE. We propose a quality model for videos representing a vision, so-called vision videos. Based on two literature reviews, we elaborate ten quality characteristics of videos and five quality characteristics of visions which together form a quality model for vision videos that includes all 15 quality characteristics. We provide two representations of the quality model: (a) A hierarchical decomposition of vision video quality into the quality characteristics and (b) A mapping of these characteristics to the video production and use process. While the hierarchical decomposition supports the evaluation of vision videos, the mapping provides guidance for video production. In an evaluation with 139 students, we investigated whether the 15 characteristics are related to the overall quality of vision videos perceived by the subjects from a developer's the point of view. Six characteristics (video length, focus, prior knowledge, clarity, pleasure, and stability) correlated significantly with the likelihood that the subjects perceived a vision video as good. These relationships substantiate a fundamental relevance of the proposed quality model. Therefore, we conclude that the quality model is a sound basis for future refinements and extensions.


title: A Transformer-based approach to Irony and Sarcasm detection

abstract: Figurative Language (FL) seems ubiquitous in all social-media discussion forums and chats, posing extra challenges to sentiment analysis endeavors. Identification of FL schemas in short texts remains largely an unresolved issue in the broader field of Natural Language Processing (NLP), mainly due to their contradictory and metaphorical meaning content. The main FL expression forms are sarcasm, irony and metaphor. In the present paper we employ advanced Deep Learning (DL) methodologies to tackle the problem of identifying the aforementioned FL forms. Significantly extending our previous work [71], we propose a neural network methodology that builds on a recently proposed pre-trained transformer-based network architecture which, is further enhanced with the employment and devise of a recurrent convolutional neural network (RCNN). With this set-up, data preprocessing is kept in minimum. The performance of the devised hybrid neural architecture is tested on four benchmark datasets, and contrasted with other relevant state of the art methodologies and systems. Results demonstrate that the proposed methodology achieves state of the art performance under all benchmark datasets, outperforming, even by a large margin, all other methodologies and published studies.


title: MS4: a BPHZ killer

abstract: The UV renormalization scheme $\text{MS}^4$ emerged in the formalization of the reasoning which yielded an array of important algorithms in the 80's. $\text{MS}^4$ guarantees finiteness of renormalized integrals by construction, satisfies the Stueckelberg-Bogolyubov causality axiom for the R-operation, and turns out to be a 4-dimensional analog of t'Hooft's MS-scheme. The well-known IBP reduction algorithm can be ported to $\text{MS}^4$ with modifications, but without problems. $\text{MS}^4$ exhibits transparency of the structure, simplicity of the arithmetic at $D=4$, and new calculational options. A straightforward derivation of RG equations runs in terms of explicitly finite quantities and expresses RG functions in terms of explicitly finite integrals.


title: Thermal-null medium (TNM): a novel material to achieve feasible thermodynamics devices beyond conventional challenges

abstract: Recently, heat manipulation has gained the attention of scientific community due to its several applications. In this letter, based on transformation thermodynamic (TT) methodology, a novel material, which is called thermal-null medium (TNM), is proposed that enables us to design various thermal functionalities such as thermal bending devices, arbitrary shape heat concentrators and omnidirectional thermal cloaks. In contrary to the conventional TT-based conductivities, which are inhomogeneous and anisotropic, TNMs are homogeneous and easy to realize. In addition, the attained TNMs are independent of the device shape. That is if the geometry of the desired device is changed, there is no need to recalculate the necessitating conductivities. This feature of TNM will make it suitable for scenarios where re-configurability is of utmost importance. Several numerical simulations are carried out to demonstrate the TNM capability and its applications in directional bending devices, heat concentrators and thermal cloaks. The proposed TNM could open a new avenue for potential applications in solar thermal panels and thermal-electric devices.


title: Micro- and Macroscopic Modeling of Crowding and Pushing in Corridors

abstract: Experiments with pedestrians revealed that the geometry of the domain, as well as the incentive of pedestrians to reach a target as fast as possible have a strong influence on the overall dynamics. In this paper, we propose and validate different mathematical models at the micro- and macroscopic levels to study the influence of both effects. We calibrate the models with experimental data and compare the results at the micro -- as well as macroscopic levels. Our numerical simulations reproduce qualitative experimental features on both levels, and indicate how geometry and motivation level influence the observed pedestrian density. Furthermore, we discuss the dynamics of solutions for different modeling approaches and comment on the analysis of the respective equations.


title: Finiteness Theorems for Kac-Moody Groups Over Nonarchimedean Local Fields

abstract: We prove the finiteness of formal analogues of the spherical function (Spherical Finiteness), the ${\mathbf c}$-function (Gindikin-Karpelevich Finiteness), and obtain a formal analogue of Harish-Chandra's limit (Approximation Theorem) relating spherical and ${\mathbf c}$-function in the setting of $p$-adic Kac-Moody groups. The finiteness theorems imply that the formal analogue of the Gindikin-Karpelevich integral is well defined in local Kac-Moody settings. These results extend the Braverman-Garland-Kazhdan-Patnaik's affine Gindikin-Karpelevich finiteness theorems and provide an algebraic analogue of the geometrical results of Gaussent-Rousseau and H\'{e}bert.


title: Generativity and Interactional Effects: an Overview

abstract: We propose a means to relate properties of an interconnected system to its separate component systems in the presence of cascade-like phenomena. Building on a theory of interconnection reminiscent of the behavioral approach to systems theory, we introduce the notion of generativity, and its byproduct, generative effects. Cascade effects, enclosing contagion phenomena and cascading failures, are seen as instances of generative effects. The latter are precisely the instances where properties of interest are not preserved or behave very badly when systems interact. The goal is to overcome that obstruction. We will show how to extract mathematical objects from the systems, that encode their generativity: their potential to generate new phenomena upon interaction. Those objects may then be used to link the properties of the interconnected system to its separate systems. Such a link will be executed through the use of exact sequences from commutative algebra.


title: Direct and inverse time-harmonic elastic scattering from point-like and extended obstacles

abstract: This paper concerns the time-harmonic direct and inverse elastic scattering by an extended rigid elastic body surrounded by a finite number of point-like obstacles. We first justify the point-interaction model for the Lam\'{e} operator within the singular perturbation approach. For a general family of pointwise-supported singular perturbations, including anisotropic and non-local interactions, we derive an explicit representation of the scattered field. In the case of isotropic and local point-interactions, our result is consistent with the ones previously obtained by Foldy's formal method as well as by the renormalization technique. In the case of multiple scattering with pointwise and extended obstacles, we show that the scattered field consists of two parts: one is due to the diffusion by the extended scatterer and the other one is a linear combination of the interactions between the point-like obstacles and the interaction between the point-like obstacles with the extended one. As to the inverse problem, the factorization method by Kirsch is adapted to recover simultaneously the shape of an extended elastic body and the location of point-like scatterers in the case of isotropic and local interactions. The inverse problems using only one type of elastic waves (i.e. pressure or shear waves) are also investigated and numerical examples are present to confirm the inversion schemes.


title: Invariant subspaces and exact solutions for some types of scalar and coupled time-space fractional diffusion equations

abstract: We explain how the invariant subspace method can be extended to a scalar and coupled system of time-space fractional partial differential equations. The effectiveness and applicability of the method have been illustrated through time-space (i) fractional diffusion-convection equation, (ii) fractional reaction-diffusion equation, (iii) fractional diffusion equation with source term, (iv) two-coupled system of the fractional diffusion equation, (v) two-coupled system of fractional stationary transonic plane-parallel gas flow equation and (vi) three-coupled system of fractional Hirota-Satsuma KdV equation. Also, we explicitly presented how to derive more than one exact solution of the equations as mentioned above using the invariant subspace method.


title: Solvability of equations in elementary functions

abstract: We prove that the equation $\tan(x) - x = a$ is unsolvable in elementary functions


title: Dynamics of interacting particle systems: Modeling implications of the repulsive interactions and experiments on magnetic prototypes

abstract: In this work, we investigate the dynamics of interacting particle systems subjected to repulsive forces, such as lattices of magnetized particles. To this end, we first develop a general model capable of capturing the complete dynamical behavior of interacting particle systems governed by arbitrary potentials. The model elucidates the important role played by the static repulsive forces exchanged between particles in the initial equilibrium configuration, which is distilled and mathematically captured by a dedicated component of the stiffness matrix. The implications of the model are then examined through the simple illustrative example of a magnetic particle oscillator, by which we show that the effect associated with the initial static forces is germane to two- or higher-dimensional particle systems and vanishes for 1D chains. In the context of wave propagation, we show that this type of effect manifests as modal-selective corrections of the dispersion relation of 2D repulsive lattices. To corroborate these findings, we perform laser vibrometry experiments on a lattice prototype consisting of a triangular grid of magnets supported by an elastic foundation of thin pillars. The tests unequivocally confirm the emergence of distinctive dispersive regimes in quantitative accordance to the model.


title: An algorithmic approach to Chevalley's Theorem on images of rational morphisms between affine varieties

abstract: The goal of this paper is to introduce a new constructive geometric proof of the affine version of Chevalley's Theorem. This proof is algorithmic and a verbatim implementation resulted in an efficient code for computing the constructible image of rational maps between affine varieties. Our approach extends the known descriptions of uniform matrix product states to $\operatorname{uMPS}(2,2,5)$


title: Analog Optical Implementation of Spatial High Pass Filtering Using Evanescent Waves

abstract: We introduce optical polarization-insensitive high pass filters based on total internal reflection of light at the interface of two dielectric media (1D) and Bragg reflection of a multilayer stack (2D) in transmission mode. The wavevectors in the stopband become coupled to evanescent waves in our design, rather than the zero of a narrow-band resonant mode. This provides remarkable resolution enhancement for edge detection applications. Rigorous analysis based on plane wave expansion is carried out and the results are verified by full-wave numerical simulation. Also for the case of multilayer structure, the thickness of layers is tuned using an optimization algorithm to represent a better approximation of an ideal high pass filter. The application of the designed high pass filters for edge detection of input field profiles is demonstrated for both 1D and 2D operations. The proposed devices are compact and no Fourier lens is required, since the operator is directly implemented in the spatial Fourier domain.


title: New version of the Baade--Becker--Wesselink method based on multiphase effective temperature measurements of Cepheids

abstract: A new version of the Baade--Becker--Wesselink (hereafter BBW) method is proposed, based on direct spectroscopic measurements of effective temperatures of 45 northern Cepheids, made in different pulsating phases. By comparing the temperature estimates obtained from the calibration of effective temperature by normal color with real temperature measurements we were able not only to determine the color excess with an accuracy of 0.01 mag, but also to derive new color calibration of the effective temperature immediately for all available measurements with taking into account the differences in [Fe/H] and log g values: log Teff = 3.88 - 0.20 (B-V)o + 0.026 (B-V)o^2 + 0.009 log g - 0.010 (B-V)o log g - 0.051 [Fe/H] + 0.051 (B-V)o [Fe/H], which is accurate to about 1.1%. We also showed the complete identity of the two main versions of the BBW technique: surface brightness method proposed by Barnes and Evans (1976) and maximum likelyhood method of Balona (1977), refined later by Rastorguev and Dambis (2010).


title: SAL: Sign Agnostic Learning of Shapes from Raw Data

abstract: Recently, neural networks have been used as implicit representations for surface reconstruction, modelling, learning, and generation. So far, training neural networks to be implicit representations of surfaces required training data sampled from a ground-truth signed implicit functions such as signed distance or occupancy functions, which are notoriously hard to compute. In this paper we introduce Sign Agnostic Learning (SAL), a deep learning approach for learning implicit shape representations directly from raw, unsigned geometric data, such as point clouds and triangle soups. We have tested SAL on the challenging problem of surface reconstruction from an un-oriented point cloud, as well as end-to-end human shape space learning directly from raw scans dataset, and achieved state of the art reconstructions compared to current approaches. We believe SAL opens the door to many geometric deep learning applications with real-world data, alleviating the usual painstaking, often manual pre-process.


title: Visualizing Point Cloud Classifiers by Curvature Smoothing

abstract: Recently, several networks that operate directly on point clouds have been proposed. There is significant utility in understanding their mechanisms to classify point clouds, which can potentially help diagnosing these networks and designing better architectures. In this paper, we propose a novel approach to visualize features important to the point cloud classifiers. Our approach is based on smoothing curved areas on a point cloud. After prominent features were smoothed, the resulting point cloud can be evaluated on the network to assess whether the feature is important to the classifier. A technical contribution of the paper is an approximated curvature smoothing algorithm, which can smoothly transition from the original point cloud to one of constant curvature, such as a uniform sphere. Based on the smoothing algorithm, we propose PCI-GOS (Point Cloud Integrated-Gradients Optimized Saliency), a visualization technique that can automatically find the minimal saliency map that covers the most important features on a shape. Experiment results revealed insights into different point cloud classifiers.


title: Intermittent Demand Forecasting with Deep Renewal Processes

abstract: Intermittent demand, where demand occurrences appear sporadically in time, is a common and challenging problem in forecasting. In this paper, we first make the connections between renewal processes, and a collection of current models used for intermittent demand forecasting. We then develop a set of models that benefit from recurrent neural networks to parameterize conditional interdemand time and size distributions, building on the latest paradigm in "deep" temporal point processes. We present favorable empirical findings on discrete and continuous time intermittent demand data, validating the practical value of our approach.


title: Atlas Based Segmentations via Semi-Supervised Diffeomorphic Registrations

abstract: Purpose: Segmentation of organs-at-risk (OARs) is a bottleneck in current radiation oncology pipelines and is often time consuming and labor intensive. In this paper, we propose an atlas-based semi-supervised registration algorithm to generate accurate segmentations of OARs for which there are ground truth contours and rough segmentations of all other OARs in the atlas. To the best of our knowledge, this is the first study to use learning-based registration methods for the segmentation of head and neck patients and demonstrate its utility in clinical applications. Methods: Our algorithm cascades rigid and deformable deformation blocks, and takes on an atlas image (M), set of atlas-space segmentations (S_A), and a patient image (F) as inputs, while outputting patient-space segmentations of all OARs defined on the atlas. We train our model on 475 CT images taken from public archives and Stanford RadOnc Clinic (SROC), validate on 5 CT images from SROC, and test our model on 20 CT images from SROC. Results: Our method outperforms current state of the art learning-based registration algorithms and achieves an overall dice score of 0.789 on our test set. Moreover, our method yields a performance comparable to manual segmentation and supervised segmentation, while solving a much more complex registration problem. Whereas supervised segmentation methods only automate the segmentation process for a select few number of OARs, we demonstrate that our methods can achieve similar performance for OARs of interest, while also providing segmentations for every other OAR on the provided atlas. Conclusions: Our proposed algorithm has significant clinical applications and could help reduce the bottleneck for segmentation of head and neck OARs. Further, our results demonstrate that semi-supervised diffeomorphic registration can be accurately applied to both registration and segmentation problems.


title: DCSO: Dynamic Combination of Detector Scores for Outlier Ensembles

abstract: Selecting and combining the outlier scores of different base detectors used within outlier ensembles can be quite challenging in the absence of ground truth. In this paper, an unsupervised outlier detector combination framework called DCSO is proposed, demonstrated and assessed for the dynamic selection of most competent base detectors, with an emphasis on data locality. The proposed DCSO framework first defines the local region of a test instance by its k nearest neighbors and then identifies the top-performing base detectors within the local region. Experimental results on ten benchmark datasets demonstrate that DCSO provides consistent performance improvement over existing static combination approaches in mining outlying objects. To facilitate interpretability and reliability of the proposed method, DCSO is analyzed using both theoretical frameworks and visualization techniques, and presented alongside empirical parameter setting instructions that can be used to improve the overall performance.


title: Falling Through the Cracks: Modeling the Formation of Social Category Boundaries

abstract: Social categorizations divide people into "us" and "them," often along continuous attributes such as political ideology or skin color. This division results in both positive consequences, such as a sense of community, and negative ones, such as group conflict. Further, individuals in the middle of the spectrum can fall through the cracks of this categorization process and are seen as out-group by individuals on either side of the spectrum, becoming inbetweeners. Here, we propose a quantitative, dynamical-system model that studies the joint influence of cognitive and social processes. We model where two social groups draw the boundaries between "us" and "them" on a continuous attribute. Our model predicts that both groups tend to draw a more restrictive boundary than the middle of the spectrum. As a result, each group sees the individuals in the middle of the attribute space as an out-group. We test this prediction using U.S. political survey data on how political independents are perceived by registered party members as well as existing experiments on the perception of racially ambiguous faces, and find support.


title: Bi-fidelity Stochastic Gradient Descent for Structural Optimization under Uncertainty

abstract: The presence of uncertainty in material properties and geometry of a structure is ubiquitous. The design of robust engineering structures, therefore, needs to incorporate uncertainty in the optimization process. Stochastic gradient descent (SGD) method can alleviate the cost of optimization under uncertainty, which includes statistical moments of quantities of interest in the objective and constraints. However, the design may change considerably during the initial iterations of the optimization process which impedes the convergence of the traditional SGD method and its variants. In this paper, we present two SGD based algorithms, where the computational cost is reduced by employing a low-fidelity model in the optimization process. In the first algorithm, most of the stochastic gradient calculations are performed on the low-fidelity model and only a handful of gradients from the high-fidelity model are used per iteration, resulting in an improved convergence. In the second algorithm, we use gradients from low-fidelity models to be used as control variate, a variance reduction technique, to reduce the variance in the search direction. These two bi-fidelity algorithms are illustrated first with a conceptual example. Then, the convergence of the proposed bi-fidelity algorithms is studied with two numerical examples of shape and topology optimization and compared to popular variants of the SGD method that do not use low-fidelity models. The results show that the proposed use of a bi-fidelity approach for the SGD method can improve the convergence. Two analytical proofs are also provided that show the linear convergence of these two algorithms under appropriate assumptions.


title: SemEval-2013 Task 4: Free Paraphrases of Noun Compounds

abstract: In this paper, we describe SemEval-2013 Task 4: the definition, the data, the evaluation and the results. The task is to capture some of the meaning of English noun compounds via paraphrasing. Given a two-word noun compound, the participating system is asked to produce an explicitly ranked list of its free-form paraphrases. The list is automatically compared and evaluated against a similarly ranked list of paraphrases proposed by human annotators, recruited and managed through Amazon's Mechanical Turk. The comparison of raw paraphrases is sensitive to syntactic and morphological variation. The "gold" ranking is based on the relative popularity of paraphrases among annotators. To make the ranking more reliable, highly similar paraphrases are grouped, so as to downplay superficial differences in syntax and morphology. Three systems participated in the task. They all beat a simple baseline on one of the two evaluation measures, but not on both measures. This shows that the task is difficult.


title: SemEval-2010 Task 8: Multi-Way Classification of Semantic Relations Between Pairs of Nominals

abstract: In response to the continuing research interest in computational semantic analysis, we have proposed a new task for SemEval-2010: multi-way classification of mutually exclusive semantic relations between pairs of nominals. The task is designed to compare different approaches to the problem and to provide a standard testbed for future research. In this paper, we define the task, describe the creation of the datasets, and discuss the results of the participating 28 systems submitted by 10 teams.


title: Doob equivalence and non-commutative peaking for Markov chains

abstract: In this paper we show how questions about operator algebras constructed from stochastic matrices motivate new results in the study of harmonic functions on Markov chains. More precisely, we characterize coincidence of conditional probabilities in terms of (generalized) Doob transforms, which then leads to a stronger classification result for the associated operator algebras in terms of spectral radius and strong Liouville property. Furthermore, we characterize the non-commutative peak points of the associated operator algebra in a way that allows one to determine them from inspecting the matrix. This leads to a concrete analogue of the maximum modulus principle for computing the norm of operators in the ampliated operator algebras.


title: Inflationary magnetogenesis with helical coupling

abstract: We describe a simple scenario of inflationary magnetogenesis based on a helical coupling to electromagnetism. It allows to generate helical magnetic fields of strength of order up to $10^{- 7}\,\text{G}$, when extrapolated to the current epoch, in a narrow spectral band centered at any physical wavenumber by adjusting the model parameters. Additional constraints on magnetic fields arise from the considerations of baryogenesis and, possibly, from the Schwinger effect of creation of charged particle-antiparticle pairs.


title: Combined Model for Partially-Observable and Non-Observable Task Switching: Solving Hierarchical Reinforcement Learning Problems Statically and Dynamically with Transfer Learning

abstract: An integral function of fully autonomous robots and humans is the ability to focus attention on a few relevant percepts to reach a certain goal while disregarding irrelevant percepts. Humans and animals rely on the interactions between the Pre-Frontal Cortex (PFC) and the Basal Ganglia (BG) to achieve this focus called Working Memory (WM). The Working Memory Toolkit (WMtk) was developed based on a computational neuroscience model of this phenomenon with Temporal Difference (TD) Learning for autonomous systems. Recent adaptations of the toolkit either utilize Abstract Task Representations (ATRs) to solve Non-Observable (NO) tasks or storage of past input features to solve Partially-Observable (PO) tasks, but not both. We propose a new model, PONOWMtk, which combines both approaches, ATRs and input storage, with a static or dynamic number of ATRs. The results of our experiments show that PONOWMtk performs effectively for tasks that exhibit PO, NO, or both properties.


title: First data from the CUPID-Mo neutrinoless double beta decay experiment

abstract: The CUPID-Mo experiment is searching for neutrinoless double beta decay in $^{100}$Mo, evaluating the technology of cryogenic scintillating Li$_{2}^{100}$MoO$_4$ detectors for CUPID (CUORE Upgrade with Particle ID). CUPID-Mo detectors feature background suppression using a dual-readout scheme with Li$_{2}$MoO$_4$ crystals complemented by Ge bolometers for light detection. The detection of both heat and scintillation light signals allows the efficient discrimination of $\alpha$ from $\gamma$&$\beta$ events. In this proceedings, we discuss results from the first 2 months of data taking in spring 2019. In addition to an excellent bolometric performance of 6.7$\,$keV (FWHM) at 2615$\,$keV and an $\alpha$ separation of better than 99.9\% for all detectors, we report on bulk radiopurity for Th and U. Finally, we interpret the accumulated physics data in terms of a limit of $T_{1/2}^{0\nu}\,> 3\times10^{23}\,$yr for $^{100}$Mo and discuss the sensitivity of CUPID-Mo until the expected end of physics data taking in early 2020.


title: On the Origin of Superconductivity at Nickel-Bismuth Interfaces

abstract: Unconventional superconductivity has been suggested to be present at the interface between bismuth and nickel in thin-film bilayers. In this work, we study the structural, magnetic and superconducting properties of sputter deposited Bi/Ni bilayers. As-grown, our films do not display a superconducting transition, however, when stored at room temperature, after about 14 days our bilayers develop a superconducting transition up to 3.8 K. To systematically study the effect of low temperature annealing on our bilayers, we perform structural characterization with X-ray diffraction and polarized neutron reflectometry, along with magnetometry and low temperature electrical transport measurements on samples annealed at $70\,^\circ$C. We show that the onset of superconductivity in our samples is coincident with the formation of ordered NiBi$_3$ intermetallic alloy, a known $s$-wave superconductor. We calculate that the annealing process has an activation energy of $(0.86\pm 0.06)$eV. As a consequence, gentle heating of the bilayers will cause formation of the superconducting NiBi$_3$ at the Ni/Bi interface, which poses a challenge to studying any distinct properties of Bi/Ni bilayers without degrading that interface.


title: Constrained Linear Data-feature Mapping for Image Classification

abstract: In this paper, we propose a constrained linear data-feature mapping model as an interpretable mathematical model for image classification using convolutional neural network (CNN) such as the ResNet. From this viewpoint, we establish the detailed connections in a technical level between the traditional iterative schemes for constrained linear system and the architecture for the basic blocks of ResNet. Under these connections, we propose some natural modifications of ResNet type models which will have less parameters but still maintain almost the same accuracy as these corresponding original models. Some numerical experiments are shown to demonstrate the validity of this constrained learning data-feature mapping assumption.


title: Nonlinear force-free configurations in cylindrical geometry

abstract: We find a new family of solutions for force-free magnetic structures in cylindrical geometry. These solutions have radial power-law dependance and are periodic but non-harmonic in azimuthal direction; they generalize the vacuum $z$-independent potential fields to current-carrying configurations.


title: On the product of generating functions for domino and bi-tableaux

abstract: The connection between the generating functions of various sets of tableaux and the appropriate families of quasisymmetric functions is a significant tool to give a direct analytical proof of some advanced bijective results and provide new combinatorial formulas. In this paper we focus on two kinds of type B Littlewood-Richardson coefficients and derive new formulas using weak composition quasisymmetric functions and Chow's quasisymmetric functions. In the type A case these coefficients give the multiplication table for Schur functions, i.e. the generating functions for classical Young tableaux. We look at their generalisations involving a set of bi-tableaux and domino tableaux.


title: Generalized stretch lines for surfaces with boundary

abstract: In 1986 William P. Thurston introduced the celebrated (asymmetric) Lipschitz distance on the Teichmueller space of a (closed or punctured) surface. In this paper we extend his work to the Teichmueller space of a surface with boundary endowed the arc distance. In this new setting we construct a large family of geodesics, which generalize Thurston's stretch lines. We prove that the Teichmueller space of a surface with boundary, endowed with the arc distance, is a geodesic metric space. Furthermore, the arc distance is induced by a Finsler metric. As a corollary, we describe a new class of geodesics in the Teichmueller space of a closed/punctured surface that are not stretch lines in the sense of Thurston.