title: High-dimensional Adaptive Minimax Sparse Estimation with Interactions

abstract: High-dimensional linear regression with interaction effects is broadly applied in research fields such as bioinformatics and social science. In this paper, we first investigate the minimax rate of convergence for regression estimation in high-dimensional sparse linear models with two-way interactions. We derive matching upper and lower bounds under three types of heredity conditions: strong heredity, weak heredity and no heredity. From the results: (i) A stronger heredity condition may or may not drastically improve the minimax rate of convergence. In fact, in some situations, the minimax rates of convergence are the same under all three heredity conditions; (ii) The minimax rate of convergence is determined by the maximum of the total price of estimating the main effects and that of estimating the interaction effects, which goes beyond purely comparing the order of the number of non-zero main effects $r_1$ and non-zero interaction effects $r_2$; (iii) Under any of the three heredity conditions, the estimation of the interaction terms may be the dominant part in determining the rate of convergence for two different reasons: 1) there exist more interaction terms than main effect terms or 2) a large ambient dimension makes it more challenging to estimate even a small number of interaction terms. Second, we construct an adaptive estimator that achieves the minimax rate of convergence regardless of the true heredity condition and the sparsity indices $r_1, r_2$.


title: Spatially modulated susceptibility in thin film La$_{2-x}$Ba$_x$CuO$_4$

abstract: The high critical temperature superconductor Lanthanum Barium Copper Oxide (La2-xBaxCuO4 or LBCO) exhibits a strong anomaly in critical temperature at 1/8th doping, nematicity, and other interesting properties. We report here Scanning Superconducting Quantum Interference Device (SQUID) imaging of the magnetic fields and susceptibility in a number of thin film LBCO samples with doping in the vicinity of the 1/8th anomaly. Spatially resolved measurements of the critical temperatures of these samples do not show a pronounced depression at 1/8th doping. They do, however, exhibit strong, nearly linear modulations of the susceptibility ("straie") of multiple samples with surprisingly long periods of 1-4 microns. Counterintuitively, vortices trap in positions of largest diamagnetic susceptibility in these striae. Given the rich interplay of different orders in this material system and its known sensitivity to epitaxial strain, we propose phase separation as a possible origin of these features and discuss scenarios in which that might arise.


title: Approximating Hamiltonian dynamics with the Nystr\"om method

abstract: Simulating the time-evolution of quantum mechanical systems is BQP-hard and expected to be one of the foremost applications of quantum computers. We consider classical algorithms for the approximation of Hamiltonian dynamics using subsampling methods from randomized numerical linear algebra. We derive a simulation technique whose runtime scales polynomially in the number of qubits and the Frobenius norm of the Hamiltonian. As an immediate application, we show that sample based quantum simulation, a type of evolution where the Hamiltonian is a density matrix, can be efficiently classically simulated under specific structural conditions. Our main technical contribution is a randomized algorithm for approximating Hermitian matrix exponentials. The proof leverages a low-rank, symmetric approximation via the Nystr\"om method. Our results suggest that under strong sampling assumptions there exist classical poly-logarithmic time simulations of quantum computations.


title: Fortified Networks: Improving the Robustness of Deep Networks by Modeling the Manifold of Hidden Representations

abstract: Deep networks have achieved impressive results across a variety of important tasks. However a known weakness is a failure to perform well when evaluated on data which differ from the training distribution, even if these differences are very small, as is the case with adversarial examples. We propose Fortified Networks, a simple transformation of existing networks, which fortifies the hidden layers in a deep network by identifying when the hidden states are off of the data manifold, and maps these hidden states back to parts of the data manifold where the network performs well. Our principal contribution is to show that fortifying these hidden states improves the robustness of deep networks and our experiments (i) demonstrate improved robustness to standard adversarial attacks in both black-box and white-box threat models; (ii) suggest that our improvements are not primarily due to the gradient masking problem and (iii) show the advantage of doing this fortification in the hidden layers instead of the input space.


title: Evaluating virtual hosted desktops for graphics-intensive astronomy

abstract: Visualisation of data is critical to understanding astronomical phenomena. Today, many instruments produce datasets that are too big to be downloaded to a local computer, yet many of the visualisation tools used by astronomers are deployed only on desktop computers. Cloud computing is increasingly used to provide a computation and simulation platform in astronomy, but it also offers great potential as a visualisation platform. Virtual hosted desktops, with graphics processing unit (GPU) acceleration, allow interactive, graphics-intensive desktop applications to operate co-located with astronomy datasets stored in remote data centres. By combining benchmarking and user experience testing, with a cohort of 20 astronomers, we investigate the viability of replacing physical desktop computers with virtual hosted desktops. In our work, we compare two Apple MacBook computers (one old and one new, representing hardware and opposite ends of the useful lifetime) with two virtual hosted desktops: one commercial (Amazon Web Services) and one in a private research cloud (the Australian Nectar Research Cloud). For two-dimensional image-based tasks and graphics-intensive three-dimensional operations -- typical of astronomy visualisation workflows -- we found that benchmarks do not necessarily provide the best indication of performance. When compared to typical laptop computers, virtual hosted desktops can provide a better user experience, even with lower performing graphics cards. We also found that virtual hosted desktops are equally simple to use, provide greater flexibility in choice of configuration, and may actually be a more cost-effective option for typical usage profiles.


title: Detuning related coupler kick variation of a superconducting nine-cell 1.3 GHz cavity

abstract: Superconducting TESLA-type cavities are widely used to accelerate electrons in long bunch trains, such as in high repetition rate free electron lasers. The TESLA cavity is equipped with two higher order mode couplers and a fundamental power coupler (FPC), which break the axial symmetry of the cavity. The passing electrons therefore experience axially asymmetrical coupler kicks, which depend on the transverse beam position at the couplers and the rf phase. The resulting emittance dilution has been studied in detail in the literature. However, the kick induced by the FPC depends explicitly on the ratio of the forward to the backward traveling waves at the coupler, which has received little attention. The intention of this paper is to present the concept of discrete coupler kicks with a novel approach of separating the field disturbances related to the standing wave and a reflection dependent part. Particular attention is directed to the role of the penetration depth of the FPC antenna, which determines the loaded quality factor of the cavity. The developed beam transport model is compared to dedicated experiments at FLASH and European XFEL. Both the observed transverse coupling and detuning related coupler kick variations are in good agreement with the model. Finally, the expected trajectory variations due to coupler kick variations at European XFEL are investigated and results of numerical studies are presented.


title: On integer solutions of Parsell-Vinogradov systems

abstract: We prove a sharp upper bound on the number of integer solutions of the Parsell-Vinogradov system in every dimension $d\ge 2$.


title: Lecture hall tableaux

abstract: We introduce lecture hall tableaux, which are fillings of a skew Young diagram satisfying certain conditions. Lecture hall tableaux generalize both lecture hall partitions and anti-lecture hall compositions, and also contain reverse semistandard Young tableaux as a limit case. We show that the coefficients in the Schur expansion of multivariate little $q$-Jacobi polynomials are generating functions for lecture hall tableaux. Using a Selberg-type integral we show that moments of multivariate little $q$-Jacobi polynomials, which are equal to generating functions for lecture hall tableaux of a Young diagram, have a product formula. We also explore various combinatorial properties of lecture hall tableaux.


title: Involutions and the Gelfand character

abstract: The Gelfand representation of $\mathcal{S}_n$ is the multiplicity-free direct sum of the irreducible representations of $\mathcal{S}_n$. In this paper, we use a result of Adin, Postnikov, and Roichman to find a recursive generating function for the Gelfand character. In order to find this generating function, we investigate descents of so-called $\lambda$-unimodal involutions.


title: Continuously Constructive Deep Neural Networks

abstract: Traditionally, deep learning algorithms update the network weights whereas the network architecture is chosen manually, using a process of trial and error. In this work, we propose two novel approaches that automatically update the network structure while also learning its weights. The novelty of our approach lies in our parameterization where the depth, or additional complexity, is encapsulated continuously in the parameter space through control parameters that add additional complexity. We propose two methods: In tunnel networks, this selection is done at the level of a hidden unit, and in budding perceptrons, this is done at the level of a network layer; updating this control parameter introduces either another hidden unit or another hidden layer. We show the effectiveness of our methods on the synthetic two-spirals data and on two real data sets of MNIST and MIRFLICKR, where we see that our proposed methods, with the same set of hyperparameters, can correctly adjust the network complexity to the task complexity.


abstract: We investigate Airy-soliton interactions in self-defocusing media with PT potentials in one transverse dimension. We discuss different potentials in which the interacting beams with different phases are launched into the media at different separation distances. During interactions, there exist a primary collision region and a relaxation region accompanied by continuous interaction with the dispersed Airy tail. In the relaxation region, the beams exist soliton-like and breathers-like propagation. The beam width and mean power are influenced by initial separation, phase shift and modulation depth of PT potentials. Especially, the collision distance decreases with the spatial beam separation and the mean power possesses sinusoidal dependence on the phase shift.


title: Gravity Waves and Proton Decay in Flipped SU(5) Hybrid Inflation Model

abstract: We revisit supersymmetric hybrid inflation in the context of flipped $SU(5)$ model. With minimal superpotential and minimal K\"ahler potential, and soft SUSY masses of order $(1 - 100)$ TeV, compatibility with the Planck data yields a symmetry breaking scale $M$ of flipped $SU(5)$ close to $(2 - 4) \times 10^{15}$ GeV. This disagrees with the lower limit $M \gtrsim 7 \times 10^{15}$ GeV set from proton decay searches by the Super-Kamiokande collaboration. We show how $M$ close to the unification scale $2\times 10^{16}$ GeV can be reconciled with SUSY hybrid inflation by employing a non-minimal K\"ahler potential. Proton decays into $e^+ \pi^0$ with an estimated lifetime of order $10^{36}$ years. The tensor to scalar ratio $r$ in this case can approach observable values $\sim 10^{-4} - 10^{-3}$.


title: Brauer group of the moduli spaces of stable vector bundles of fixed determinant over a smooth curve

abstract: Let $X$ be an irreducible smooth projective curve, defined over an algebraically closed field $k$, of genus at least three and $L$ a line bundle on $X$. Let ${\mathcal M}_X(r,L)$ be the moduli space of stable vector bundles on $X$ of rank $r$ and determinant $L$ with $r\geq 2$. We prove that the Brauer group ${\rm Br}(\mathcal{M}_X(r,L))$ is cyclic of order ${\rm g.c.d.}(r,{\rm degree}(L))$. We also prove that ${\rm Br}(\mathcal{M}_X(r,L))$ is generated by the class of the projective bundle obtained by restricting the universal projective bundle. These results were proved earlier in \cite{BBGN} under the assumption that $k=\mathbb C$.


title: Hodge and Prym tau functions, Jenkins-Strebel differentials and combinatorial model of $\mathcal M_{g,n}$

abstract: The principal goal of the paper is to apply the approach inspired by the theory of integrable systems to construct explicit sections of line bundles over the combinatorial model of the moduli space of pointed Riemann surfaces based on Jenkins-Strebel differentials. The line bundles are tensor products of the determinants of the Hodge or Prym vector bundles with the standard tautological line bundles $\mathcal L_j$ and the sections are constructed in terms of tau functions. The combinatorial model is interpreted as the real slice of a complex analytic moduli space of quadratic differentials where the phase of each tau-function provides a section of a circle bundle. The phase of the ratio of the Prym and Hodge tau functions gives a section of the $\kappa_1$-circle bundle. By evaluating the increment of the phase around co-dimension $2$ sub-complexes, we identify the Poincar\'e\ dual cycles to the Chern classes of the corresponding line bundles: they are expressed explicitly as combination of Witten's cycle $W_5$ and Kontsevich's boundary. This provides combinatorial analogues of Mumford's relations on $\mathcal M_{g,n}$ and Penner's relations in the hyperbolic combinatorial model. The free homotopy classes of loops around $W_5$ are interpreted as pentagon moves while those of loops around Kontsevich's boundary as combinatorial Dehn twists. Throughout the paper we exploit the classical description of the combinatorial model in terms of Jenkins--Strebel differentials, parametrized in terms of {\it homological coordinates}; we also show that they provide Darboux coordinates for the symplectic structure introduced by Kontsevich. We also express the latter in clear geometric terms as the intersection pairing in the odd homology of the canonical double cover.


title: A Performance Analysis Model of TCP over Multiple Heterogeneous Paths for 5G Mobile Services

abstract: Driven by the primary requirement of emerging 5G mobile services, the demand for concurrent multipath transfer (CMT) is still prominent. Yet, multipath transport protocols are not widely adopted and TCP-based CMT schemes will still be in dominant position in 5G. However, the performance of TCP flow transferred over multiple heterogeneous paths is prone to the link quality asymmetry, the extent of which was revealed to be significant by our field investigation. In this paper, we present a performance analysis model for TCP over multiple heterogeneous paths in 5G scenarios, where both bandwidth and delay asymmetry are taken into consideration. The evaluation adopting parameters from field investigation shows that the proposed model can achieve high accuracy in practical environments. Some interesting inferences can be drawn from the proposed model, such as the dominant factor that affect the performance of TCP over heterogeneous networks, and the criteria of determining the appropriate number of links to be used under different circumstances of path heterogeneity. Thus, the proposed model can provide a guidance to the design of TCP-based CMT solutions for 5G mobile services.


title: Characterizations of countably $n$-rectifiable Radon measures by higher-dimensional Menger curvatures

abstract: In the late `90s there was a flurry of activity relating $1$-rectifiable sets, boundedness of singular integral operators, the analytic capacity of a set, and the integral Menger curvature in the plane. In `99 Leger extended the results for Menger curvature to $1$-rectifiable sets in higher dimension, as well as to the codimension one case. A decade later, Lerman and Whitehouse, and later Meurer, found higher-dimensional geometrically motivated generalizations of Menger curvature that yield results about the uniform rectifiability of measures and the rectifiability of sets respectively. In this paper, we provide an extension of Meurer's work that yields a characterization of countably $n$-rectifiable measures in terms of $\sigma$-finiteness of the integral Menger curvature. We also prove that a finiteness condition on pointwise Menger curvature proves rectifiability of Radon measures. Finally, motivated by the partial converse of Meurer's work by Kolasinski we prove that under suitable density assumptions there is a comparability between pointwise-Menger curvature and the sum over scales of the centered $\beta$-numbers at a point.


title: Bus Trajectory-Based Street-Centric Routing for Message Delivery in Urban Vehicular Ad hoc Networks

abstract: This paper focuses on the routing algorithm for the communications between vehicles and places in urban VANET. As one of the basic transportation facilities in an urban setting, buses periodically run along their fixed routes and widely cover city streets. The trajectory of bus lines can be seen as a sub map of a city. Based on the characters of bus networks, we propose a bus trajectory-based street-centric routing algorithm (BTSC), which uses bus as main relay to deliver message. In BTSC, we build a routing graph based on the trajectories of bus lines by analyzing the probability of bus appearing on every street. We propose two novel concepts, i.e. the probability of street consistency (PSC) and the probability of path consistency (PPC) which is used as metrics to determine routing paths for message delivery. This aims to choose the best path with higher density of busses and lower probability of transmission direction deviating from the routing path. In order to improve the bus forwarding opportunity, we design a bus-based forwarding strategy with ant colony optimization (FACO) to find a reliable and steady multi-hop link between two relay buses in order to decrease end-to-end delay. BTSC makes the improvements in the selection of routing path and the strategy of message forwarding. Simulation results show that our proposed routing algorithm has a better performance in transmission ratio, transmission delay and adaptability to different networks.


title: Group least squares regression for linear models with strongly correlated predictor variables

abstract: Traditionally, the least squares regression is mainly concerned with studying the effects of individual predictor variables, but strongly correlated variables generate multicollinearity which makes it difficult to study their effects. Existing methods for handling multicollinearity such as ridge regression are complicated. To resolve the multicollinearity issue without abandoning the simple least squares regression, for situations where predictor variables are in groups with strong within-group correlations but weak between-group correlations, we propose to study the effects of the groups with a group approach to the least squares regression. Using an all positive correlations arrangement of the strongly correlated variables, we first characterize group effects that are meaningful and can be accurately estimated. We then present the group approach with numerical examples and demonstrate its advantages over existing methods for handling multicollinearity. We also address a common misconception about prediction accuracy of the least squares estimated model and discuss through an example similar group effects in generalized linear models.


title: Variants on Andrica's conjecture with and without the Riemann hypothesis

abstract: The gap between what we can explicitly prove regarding the distribution of primes and what we suspect regarding the distribution of primes is enormous. It is (reasonably) well-known that the Riemann hypothesis is not sufficient to prove Andrica's conjecture: $\forall n\geq 1$, is $\sqrt{p_{n+1}}-\sqrt{p_n} \leq 1$? But can one at least get tolerably close? I shall first show that with a logarithmic modification, provided one assumes the Riemann hypothesis, one has \[ {\sqrt{p_{n+1}}\over\ln p_{n+1}} -{\sqrt{p_n}\over\ln p_n} < {11\over25}; \qquad (n\geq1). \] Then, by considering more general $m^{th}$ roots, again assuming the Riemann hypothesis, I shall show that \[ {\sqrt[m]{p_{n+1}}} -{\sqrt[m]{p_n}} < {44\over25 \,e\, (m-2)}; \qquad (n\geq 3;\; m >2). \] In counterpoint, if we limit ourselves to what we can currently prove unconditionally, then the only explicit Andrica-like results seem to be variants on the results below: \[ \ln^2 p_{n+1} - \ln^2 p_n < 9; \qquad (n\geq1). \] \[ \ln^3 p_{n+1} - \ln^3 p_n < 52; \qquad (n\geq1). \] \[ \ln^4 p_{n+1} - \ln^4 p_n < 991; \qquad (n\geq1). \] I shall also slightly update the region on which Andrica's conjecture is unconditionally verified.


title: Chemotaxis effect vs logistic damping on boundedness in the 2-D minimal Keller-Segel model

abstract: In this paper, we study chemotaxis effect vs logistic dampening on boundedness for the two-dimensional minimal Keller-Segel model with logistic source in a 2-D smooth and bounded domain. It is well-known that this model allows only for global and uniform-in-time bounded solutions for any chemotactic strength and logistic dampening. Here, we carefully employ a simple and new method to regain its boundedness and, with particular attention to how boundedness depends qualitatively on the coefficient of chemotactic strength and logistic dampening rate. Up to a scaling constant depending only on initial data and the domain, we provide explicit upper bounds for the the solution components of the corresponding initial-boundary value problem. This qualitative boundedness results seems to be the first result in the regard.


title: Principal Component Analysis: A Natural Approach to Data Exploration

abstract: Principal component analysis (PCA) is often used for analyzing data in the most diverse areas. In this work, we report an integrated approach to several theoretical and practical aspects of PCA. We start by providing, in an intuitive and accessible manner, the basic principles underlying PCA and its applications. Next, we present a systematic, though no exclusive, survey of some representative works illustrating the potential of PCA applications to a wide range of areas. An experimental investigation of the ability of PCA for variance explanation and dimensionality reduction is also developed, which confirms the efficacy of PCA and also shows that standardizing or not the original data can have important effects on the obtained results. Overall, we believe the several covered issues can assist researchers from the most diverse areas in using and interpreting PCA.


title: Symbolic Reasoning for Automatic Signal Placement (Extended Version)

abstract: Explicit signaling between threads is a perennial cause of bugs in concurrent programs. While there are several run-time techniques to automatically notify threads upon the availability of some shared resource, such techniques are not widely-adopted due to their run-time overhead. This paper proposes a new solution based on static analysis for automatically generating a performant explicit-signal program from its corresponding implicit-signal implementation. The key idea is to generate verification conditions that allow us to minimize the number of required signals and unnecessary context switches, while guaranteeing semantic equivalence between the source and target programs. We have implemented our method in a tool called Expresso and evaluate it on challenging benchmarks from prior papers and open-source software. Expresso-generated code significantly outperforms past automatic signaling mechanisms (avg. 1.56x speedup) and closely matches the performance of hand-optimized explicit-signal code.


title: Scalable Sentiment for Sequence-to-sequence Chatbot Response with Performance Analysis

abstract: Conventional seq2seq chatbot models only try to find the sentences with the highest probabilities conditioned on the input sequences, without considering the sentiment of the output sentences. Some research works trying to modify the sentiment of the output sequences were reported. In this paper, we propose five models to scale or adjust the sentiment of the chatbot response: persona-based model, reinforcement learning, plug and play model, sentiment transformation network and cycleGAN, all based on the conventional seq2seq model. We also develop two evaluation metrics to estimate if the responses are reasonable given the input. These metrics together with other two popularly used metrics were used to analyze the performance of the five proposed models on different aspects, and reinforcement learning and cycleGAN were shown to be very attractive. The evaluation metrics were also found to be well correlated with human evaluation.


title: MVSNet: Depth Inference for Unstructured Multi-view Stereo

abstract: We present an end-to-end deep learning architecture for depth map inference from multi-view images. In the network, we first extract deep visual image features, and then build the 3D cost volume upon the reference camera frustum via the differentiable homography warping. Next, we apply 3D convolutions to regularize and regress the initial depth map, which is then refined with the reference image to generate the final output. Our framework flexibly adapts arbitrary N-view inputs using a variance-based cost metric that maps multiple features into one cost feature. The proposed MVSNet is demonstrated on the large-scale indoor DTU dataset. With simple post-processing, our method not only significantly outperforms previous state-of-the-arts, but also is several times faster in runtime. We also evaluate MVSNet on the complex outdoor Tanks and Temples dataset, where our method ranks first before April 18, 2018 without any fine-tuning, showing the strong generalization ability of MVSNet.


title: Analysis of Misorientation Relationships between Austenite Parents and Twins

abstract: The forward transformation from face centered cubic austenite to body centered cubic/tetragonal martensite in ferrous alloys can significantly in- fluence the microstructure and mechanical properties of the material. Inferring possible high temperature crystal orientations from observations of ambient temperature transformation microstructures is hindered by parent austenite- twin interactions and scatter in the orientation relationship. This creates a major limitation for studying variant selection phenomena and characteriz- ing microstructural response to high temperature thermomechanical process- ing conditions. In this work, composition tables are developed that detail the product variant boundary misorientation relationships for parent-parent, parent-twin and twin-twin boundary intersections for the Kurdjumov-Sachs (KS), Nishiyama-Wassermann (NW), and an experimentally determined irra- tional orientation relationship. The frequently referenced KS and NW ori- entation relationships produce significantly different results from experimental observations. Furthermore, the introduction of a twin into the parent austenite introduces a substantially larger number of misorientation relationships when the orientation relationship is irrational. The effects of crystal symmetry on misorientation results are determined by considering both body centered cu- bic and body centered tetragonal martensite structures. Lastly, it is observed that some shared variants are found between twins and parents when assuming cubic symmetry but not tetragonal symmetry. The results and relationships may be useful towards accurate and consistent reconstructions of the parent austenite microstructure from observations of martensite.


title: A fully non-linear optimization approach to acousto-electric tomography

abstract: This paper considers the non-linear inverse problem of reconstructing an electric conductivity distribution from the interior power density in a bounded domain. Applications include the novel tomographic method known as acousto-electric tomography, in which the measurement setup in Electrical Impedance Tomography is modulated by ultrasonic waves thus giving rise to a method potentially having both high contrast and high resolution. We formulate the inverse problem as a regularized non-linear optimization problem, show the existence of a minimizer, and derive optimality conditions. We propose a non-linear conjugate gradient scheme for finding a minimizer based on the optimality conditions. All our numerical experiments are done in two-dimensions. The experiments reveal new insight into the non-linear effects in the reconstruction. One of the interesting features we observe is that, depending on the choice of regularization, there is a trade-off between high resolution and high contrast in the reconstructed images. Our proposed non-linear optimization framework can be generalized to other hybrid imaging modalities.


title: Evolution leads to a diversity of motion-detection neuronal circuits

abstract: A central goal of evolutionary biology is to explain the origins and distribution of diversity across life. Beyond species or genetic diversity, we also observe diversity in the circuits (genetic or otherwise) underlying complex functional traits. However, while the theory behind the origins and maintenance of genetic and species diversity has been studied for decades, theory concerning the origin of diverse functional circuits is still in its infancy. It is not known how many different circuit structures can implement any given function, which evolutionary factors lead to different circuits, and whether the evolution of a particular circuit was due to adaptive or non-adaptive processes. Here, we use digital experimental evolution to study the diversity of neural circuits that encode motion detection in digital (artificial) brains. We find that evolution leads to an enormous diversity of potential neural architectures encoding motion detection circuits, even for circuits encoding the exact same function. Evolved circuits vary in both redundancy and complexity (as previously found in genetic circuits) suggesting that similar evolutionary principles underlie circuit formation using any substrate. We also show that a simple (designed) motion detection circuit that is optimally-adapted gains in complexity when evolved further, and that selection for mutational robustness led this gain in complexity.


title: Incentivizing the Dissemination of Truth Versus Fake News in Social Networks

abstract: The concept of truth, as a public good is the production of a collective understanding, which emerges from a complex network of social interactions. The recent impact of social networks on shaping the perception of truth in political arena shows how such perception is corroborated and established by the online users, collectively. However, investigative journalism for discovering truth is a costly option, given the vast spectrum of online information. In some cases, both journalist and online users choose not to investigate the authenticity of the news they receive, because they assume other actors of the network had carried the cost of validation. Therefore, the new phenomenon of "fake news" has emerged within the context of social networks. The online social networks, similarly to System of Systems, cause emergent properties, which makes authentication processes difficult, given availability of multiple sources. In this study, we show how this conflict can be modeled as a volunteer's dilemma. We also show how the public contribution through news subscription (shared rewards) can impact the dominance of truth over fake news in the network.


title: Monocular Vision based Collaborative Localization for Micro Aerial Vehicle Swarms

abstract: In this paper, we present a vision based collaborative localization framework for groups of micro aerial vehicles (MAV). The vehicles are each assumed to be equipped with a forward-facing monocular camera, and to be capable of communicating with each other. This collaborative localization approach is built upon a distributed algorithm where individual and relative pose estimation techniques are combined for the group to localize against surrounding environments. The MAVs initially detect and match salient features between each other to create a sparse reconstruction of the observed environment, which acts as a global map. Once a map is available, each MAV performs feature detection and tracking with a robust outlier rejection process to estimate its own six degree-of-freedom pose. Occasionally, the MAVs can also fuse relative measurements with individual measurements through feature matching and multiple-view geometry based relative pose computation. We present the implementation of this algorithm for MAVs and environments simulated within Microsoft AirSim, and discuss the results and the advantages of collaborative localization.


title: Virtual Knot Cobordism and the Affine Index Polynomial

abstract: This paper studies cobordism and concordance for virtual knots. We define the affine index polynomial, prove that it is a concordance invariant for knots and links (explaining when it is defined for links), show that it is also invariant under certain forms of labeled cobordism and study a number of examples in relation to these phenomena. Information on determinations of the four-ball genus of some virtual knots is obtained by via the affine index polynomial in conjunction with results on the genus of positive virtual knots using joint work with Dye and Kaestner.


title: Efficient Reciprocal Collision Avoidance between Heterogeneous Agents Using CTMAT

abstract: We present a novel algorithm for reciprocal collision avoidance between heterogeneous agents of different shapes and sizes. We present a novel CTMAT representation based on medial axis transform to compute a tight fitting bounding shape for each agent. Each CTMAT is represented using tuples, which are composed of circular arcs and line segments. Based on the reciprocal velocity obstacle formulation, we reduce the problem to solving a low-dimensional linear programming between each pair of tuples belonging to adjacent agents. We precompute the Minkowski Sums of tuples to accelerate the runtime performance. Finally, we provide an efficient method to update the orientation of each agent in a local manner. We have implemented the algorithm and highlight its performance on benchmarks corresponding to road traffic scenarios and different vehicles. The overall runtime performance is comparable to prior multi-agent collision avoidance algorithms that use circular or elliptical agents. Our approach is less conservative and results in fewer false collisions.


title: Distributed Maximal Independent Set on Scale-Free Networks

abstract: The problem of distributed maximal independent set (MIS) is investigated on inhomogeneous random graphs with power-law weights by which the scale-free networks can be produced. Such a particular problem has been solved on graphs with $n$ vertices by state-of-the-art algorithms with the time complexity of $O(\log{n})$. We prove that for a scale-free network with power-law exponent $\beta > 3$, the induced subgraph is constructed by vertices with degrees larger than $\log{n}\log^{*}{n}$ is a scale-free network with $\beta' = 2$, almost surely (a.s.). Then, we propose a new algorithm that computes an MIS on scale-free networks with the time complexity of $O(\frac{\log{n}}{\log{\log{n}}})$ a.s., which is better than $O(\log{n})$. Furthermore, we prove that on scale-free networks with $\beta \geq 3$, the arboricity and degeneracy are less than $2^{log^{1/3}n}$ with high probability (w.h.p.). Finally, we prove that the time complexity of finding an MIS on scale-free networks with $\beta\geq 3$ is $O(log^{2/3}n)$ w.h.p.


title: Some Studies On Central Derivation of Nilpotent Lie Superalgebras

abstract: Many theorems and formulas of Lie algebras run quite parallel to Lie superalgebra case, sometimes giving interesting results. So it is quite natural to extend the new concepts of Lie algebra immediately to Lie superalgebra case, as these type of algebras have wide applications in physics and related theories. Using the concept of isoclinism, F. Saeedi and S. Sheikh-Mohseni recently studied the central derivation of nilpotent Lie algebra with nilindex 2. The purpose of the present paper is to continue and extend the investigation to obtain some similar results for Lie superalgebras, as isoclinism in Lie superalgebra is being recently introduced.


title: Periodic ellipsoidal billiard trajectories and extremal polynomials

abstract: A comprehensive study of periodic trajectories of billiards within ellipsoids in $d$-dimensional Euclidean space is presented. The novelty of the approach is based on a relationship established between periodic billiard trajectories and extremal polynomials on the systems of $d$ intervals on the real line. By leveraging deep, but yet not widely known results of the Krein-Levin-Nudelman theory of generalized Chebyshev polynomials, fundamental properties of billiard dynamics are proven for any $d$, viz., that the sequences of winding numbers are monotonic. By employing the potential theory we prove the injectivity of the frequency map. As a byproduct, for $d=2$ a new proof of the monotonicity of the rotation number is obtained. The case study of trajectories of small periods $T$, $d\le T\le 2d$ is given. In particular, it is proven that all $d$-periodic trajectories are contained in a coordinate-hyperplane and that for a given ellipsoid, there is a unique set of caustics which generates $d+1$-periodic trajectories. A complete catalog of billiard trajectories with small periods is provided for $d=3$.


title: Learning a Text-Video Embedding from Incomplete and Heterogeneous Data

abstract: Joint understanding of video and language is an active research area with many applications. Prior work in this domain typically relies on learning text-video embeddings. One difficulty with this approach, however, is the lack of large-scale annotated video-caption datasets for training. To address this issue, we aim at learning text-video embeddings from heterogeneous data sources. To this end, we propose a Mixture-of-Embedding-Experts (MEE) model with ability to handle missing input modalities during training. As a result, our framework can learn improved text-video embeddings simultaneously from image and video datasets. We also show the generalization of MEE to other input modalities such as face descriptors. We evaluate our method on the task of video retrieval and report results for the MPII Movie Description and MSR-VTT datasets. The proposed MEE model demonstrates significant improvements and outperforms previously reported methods on both text-to-video and video-to-text retrieval tasks. Code is available at: https://github.com/antoine77340/Mixture-of-Embedding-Experts


title: Sensitive open map semigroups on Peano continua having a free arc

abstract: Let $X$ be a Peano continuum having a free arc and let $C^0(X)$ be the semigroup of continuous self-maps of $X$. A subsemigroup $F\subset C^0(X)$ is said to be sensitive, if there is some constant $c>0$ such that for any nonempty open set $U\subset X$, there is some $f\in F$ such that the diameter ${\rm diam}(f(U))>c$. We show that if $X$ admits a sensitive commutative subsemigroup $F$ of $C^0(X)$ consisting of continuous open maps, then either $X$ is an arc, or $X$ is a circle.


title: Electronic, optical and transport properties of van der Waals Transition-metal Dichalcogenides Heterostructures: A First-principle Study

abstract: Two-dimensional (2D) transition-metal dichalcogenide (TMD) MX$_2$ (M = Mo, W; X= S, Se, Te) possess unique properties and novel applications. In this work, we perform first-principles calculations on the van der Waals (vdW) stacked MX$_2$ heterostructures to investigate their electronic, optical and transport properties systematically. We perform the so-called Anderson's rule to classify the heterostructures by providing the scheme of the construction of energy band diagrams for the heterostructure consisting of two semiconductor materials. For most of the MX$_2$ heterostructures, the conduction band maximum (CBM) and valence band minimum (VBM) reside in two separate semiconductors, forming type II band structure, thus the electron-holes pairs are spatially separated. We also find strong interlayer coupling at $\Gamma$ point after forming MX$_2$ heterostructures, even leading to the indirect band gap. While the band structure near $K$ point remain as the independent monolayer. The carrier mobilities of MX$_2$ heterostructures depend on three decisive factors, elastic modulus, effective mass and deformation potential constant, which are discussed and contrasted with those of monolayer MX$_2$, respectively.


title: The nonet of the light scalar tetraquarks: the mesons $a_0(980)$ and $K_{0}^{\ast }(800)$

abstract: The spectroscopic parameters and partial decay widths of the light mesons $ a_0(980) $ and $K_{0}^{\ast}(800)$ are calculated by treating them as scalar diquark-antidiquark states. The masses and couplings of the mesons are found in the framework of QCD two-point sum rule approach. The widths of the decay channels $a_0(980) \to \eta \pi$ and $a_0(980) \to K \bar{K}$, and $ K_{0}^{\ast}(800) \to K^{+} \pi^{-}$ and $K_{0}^{\ast}(800) \to K^{0} \pi^{0} $ are evaluated using QCD sum rules on the light-cone and technical tools of the soft meson approximation. Our results for the mass of the mesons $m_{a_0}=991^{+29}_{-27} \ \mathrm{MeV}$ and $m_{K^{ \ast}}=767^{+38}_{-29} \ \mathrm{MeV}$, as well as their total width $\Gamma _{\mathrm{a_0}}=62.01\pm 14.37\ \mathrm{MeV}$ and $\Gamma _{\mathrm{ K_0^{\ast}}}=401.1\pm 87.1\ \mathrm{MeV}$ are compared with last experimental data.


title: A Near-Optimal Depth-Hierarchy Theorem for Small-Depth Multilinear Circuits

abstract: We study the size blow-up that is necessary to convert an algebraic circuit of product-depth $\Delta+1$ to one of product-depth $\Delta$ in the multilinear setting. We show that for every positive $\Delta = \Delta(n) = o(\log n/\log \log n),$ there is an explicit multilinear polynomial $P^{(\Delta)}$ on $n$ variables that can be computed by a multilinear formula of product-depth $\Delta+1$ and size $O(n)$, but not by any multilinear circuit of product-depth $\Delta$ and size less than $\exp(n^{\Omega(1/\Delta)})$. This result is tight up to the constant implicit in the double exponent for all $\Delta = o(\log n/\log \log n).$ This strengthens a result of Raz and Yehudayoff (Computational Complexity 2009) who prove a quasipolynomial separation for constant-depth multilinear circuits, and a result of Kayal, Nair and Saha (STACS 2016) who give an exponential separation in the case $\Delta = 1.$ Our separating examples may be viewed as algebraic analogues of variants of the Graph Reachability problem studied by Chen, Oliveira, Servedio and Tan (STOC 2016), who used them to prove lower bounds for constant-depth Boolean circuits.


title: Inertia groups and uniqueness of holomorphic vertex operator algebras

abstract: We continue our program on classification of holomorphic vertex operator algebras of central charge $24$. In this article, we show that there exists a unique strongly regular holomorphic VOA of central charge $24$, up to isomorphism, if its weight one Lie algebra has the type $C_{4,10}$, $D_{7,3}A_{3,1}G_{2,1}$, $A_{5,6}C_{2,3}A_{1,2}$, $A_{3,1}C_{7,2}$, $D_{5,4}C_{3,2}A_{1,1}^2$, or $E_{6,4}C_{2,1}A_{2,1}$. As a consequence, we have verified that the isomorphism class of a strongly regular holomorphic vertex operator algebra of central charge $24$ is determined by its weight one Lie algebra structure if the weight one subspace is nonzero.


title: Bare and Polymer Coated Iron Oxide Superparamagnetic Nanoparticles for Effective Removal of U (VI) from Acidic and Neutral Aqueous Medium

abstract: Superparamagnetic {\gamma}-Fe2O3 nanoparticles (5 nm diameter) were synthesized in water. The bare particles exhibit good colloidal stability at ~ pH 2 because of the strong electrostatic repulsion with a surface charge of +25 mV. The polyacrylic acid (PAA)-coated particles exhibit remarkable colloidal stability at ~ pH 7 with abundant free carboxyl groups as reactive sites for subsequent functionalization. In this work, we used zeta potential analysis, transmission electron microscopy, small angle X-ray scattering, and Inductively coupled plasma mass spectrometry to investigate the adsorption behavior of U (VI) on bare and coated colloidal superparamagnetic nanoparticles at pH 2 and pH 7. At pH 2, uranyl ion (UO22+) absorbed on the surface of the bare particles with decreasing particle surface charge. This induced particle agglomeration. At pH 7, uranyl ion (UO22+) hydrolyzed and formed plate-like particles of uranium hydroxide that were ~ 50 nm in diameter. The PAA-coated iron oxide nanoparticles absorbed on the surface of these U (VI) hydroxide plates to form large aggregates that precipitate to the bottom of the dispersion. At both pH 2 and pH 7, the resulting U (VI)/nanoparticle complex can be easily collected and extracted from the aqueous environment via an external magnetic field. The results show that both bare and polymer-coated superparamagnetic {\gamma}-Fe2O3 nanoparticles are potential absorbents for removing U (VI) from water.


title: Signatures of a non-thermal metastable state in copropagating quantum Hall edge channels

abstract: A Tomonaga-Luttinger (TL) liquid is known as an integrable system, in which a non-equilibrium many-body state survives without relaxing to a thermalized state. This intriguing characteristic is tested experimentally in copropagating quantum Hall edge channels at bulk filling factor nu = 2. The unidirectional transport allows us to investigate the time evolution by measuring the spatial evolution of the electronic states. The initial state is prepared with a biased quantum point contact, and its spatial evolution is measured with a quantum-dot energy spectrometer. We find strong evidences for a non-thermal metastable state in agreement with the TL theory before the system relaxes to thermal equilibrium with coupling to the environment.


title: Local Well-posedness and Blow-up for the Half Ginzburg-Landau-Kuramoto equation with rough coefficients and potential

abstract: We study the Cauchy problem for the half Ginzburg-Landau-Kuramoto (hGLK) equation with the second order elliptic operator having rough coefficients and potential type perturbation. The blow-up of solutions for hGLK equation with non-positive nonlinearity is shown by an ODE argument. The key tools in the proof are appropriate commutator estimates and the essential self-adjointness of the symmetric uniformly elliptic operator with rough metric and potential type perturbation.


title: Quootstrap: Scalable Unsupervised Extraction of Quotation-Speaker Pairs from Large News Corpora via Bootstrapping

abstract: We propose Quootstrap, a method for extracting quotations, as well as the names of the speakers who uttered them, from large news corpora. Whereas prior work has addressed this problem primarily with supervised machine learning, our approach follows a fully unsupervised bootstrapping paradigm. It leverages the redundancy present in large news corpora, more precisely, the fact that the same quotation often appears across multiple news articles in slightly different contexts. Starting from a few seed patterns, such as ["Q", said S.], our method extracts a set of quotation-speaker pairs (Q, S), which are in turn used for discovering new patterns expressing the same quotations; the process is then repeated with the larger pattern set. Our algorithm is highly scalable, which we demonstrate by running it on the large ICWSM 2011 Spinn3r corpus. Validating our results against a crowdsourced ground truth, we obtain 90% precision at 40% recall using a single seed pattern, with significantly higher recall values for more frequently reported (and thus likely more interesting) quotations. Finally, we showcase the usefulness of our algorithm's output for computational social science by analyzing the sentiment expressed in our extracted quotations.


title: Likelihood-free parameter estimation for dynamic queueing networks: case study of passenger flow in an international airport terminal

abstract: Dynamic queueing networks (DQN) model queueing systems where demand varies strongly with time, such as airport terminals. With rapidly rising global air passenger traffic placing increasing pressure on airport terminals, efficient allocation of resources is more important than ever. Parameter inference and quantification of uncertainty are key challenges for developing decision support tools. The DQN likelihood function is, in general, intractable and current approaches to simulation make likelihood-free parameter inference methods, such as approximate Bayesian computation (ABC), infeasible since simulating from these models is computationally expensive. By leveraging a recent advance in computationally efficient queueing simulation, we develop the first parameter inference approach for DQNs. We demonstrate our approach with data of passenger flows in a real airport terminal, and we show that our model accurately recreates the behaviour of the system and is useful for decision support. Special care must be taken in developing the distance for ABC since any useful output must vary with time. We use maximum mean discrepancy, a metric on probability measures, as the distance function for ABC. Prediction intervals of performance measures for decision support tools are easily constructed using draws from posterior samples, which we demonstrate with a scenario of a delayed flight.


title: Visual Analytics for Explainable Deep Learning

abstract: Recently, deep learning has been advancing the state of the art in artificial intelligence to a new level, and humans rely on artificial intelligence techniques more than ever. However, even with such unprecedented advancements, the lack of explanation regarding the decisions made by deep learning models and absence of control over their internal processes act as major drawbacks in critical decision-making processes, such as precision medicine and law enforcement. In response, efforts are being made to make deep learning interpretable and controllable by humans. In this paper, we review visual analytics, information visualization, and machine learning perspectives relevant to this aim, and discuss potential challenges and future research directions.


title: ANNETT-O: An Ontology for Describing Artificial Neural Network Evaluation, Topology and Training

abstract: Deep learning models, while effective and versatile, are becoming increasingly complex, often including multiple overlapping networks of arbitrary depths, multiple objectives and non-intuitive training methodologies. This makes it increasingly difficult for researchers and practitioners to design, train and understand them. In this paper we present ANNETT-O, a much-needed, generic and computer-actionable vocabulary for researchers and practitioners to describe their deep learning configurations, training procedures and experiments. The proposed ontology focuses on topological, training and evaluation aspects of complex deep neural configurations, while keeping peripheral entities more succinct. Knowledge bases implementing ANNETT-O can support a wide variety of queries, providing relevant insights to users. In addition to a detailed description of the ontology, we demonstrate its suitability to the task via a number of hypothetical use-cases of increasing complexity.


title: CP violation in extended Higgs sectors

abstract: We discuss how one can identify CP violation (and conservation) in multi-Higgs-doublet potentials. After a brief review of CP violation in the 2HDM, we refer to the fact that for NHDM with $N \geq 3$ the well known methods useful in the case $N = 2$ have not been generalized in order to provide a set of well defined necessary and sufficient conditions for CP conservation. We then present a simple method, proposed by the authors, to be used in such cases. Two non-trivial examples based on an $S_3$-symmetric three-doublet model are analyzed by means of this new method.


title: $\varepsilon$-Coresets for Clustering (with Outliers) in Doubling Metrics

abstract: We study the problem of constructing $\varepsilon$-coresets for the $(k, z)$-clustering problem in a doubling metric $M(X, d)$. An $\varepsilon$-coreset is a weighted subset $S\subseteq X$ with weight function $w : S \rightarrow \mathbb{R}_{\geq 0}$, such that for any $k$-subset $C \in [X]^k$, it holds that $\sum_{x \in S}{w(x) \cdot d^z(x, C)} \in (1 \pm \varepsilon) \cdot \sum_{x \in X}{d^z(x, C)}$. We present an efficient algorithm that constructs an $\varepsilon$-coreset for the $(k, z)$-clustering problem in $M(X, d)$, where the size of the coreset only depends on the parameters $k, z, \varepsilon$ and the doubling dimension $\mathsf{ddim}(M)$. To the best of our knowledge, this is the first efficient $\varepsilon$-coreset construction of size independent of $|X|$ for general clustering problems in doubling metrics. To this end, we establish the first relation between the doubling dimension of $M(X, d)$ and the shattering dimension (or VC-dimension) of the range space induced by the distance $d$. Such a relation was not known before, since one can easily construct instances in which neither one can be bounded by (some function of) the other. Surprisingly, we show that if we allow a small $(1\pm\epsilon)$-distortion of the distance function $d$, and consider the notion of $\tau$-error probabilistic shattering dimension, we can prove an upper bound of $O( \mathsf{ddim}(M)\cdot \log(1/\varepsilon) +\log\log{\frac{1}{\tau}} )$ for the probabilistic shattering dimension for even weighted doubling metrics. We believe this new relation is of independent interest and may find other applications. We also study the robust coresets and centroid sets in doubling metrics. Our robust coreset construction leads to new results in clustering and property testing, and the centroid sets can be used to accelerate the local search algorithms for clustering problems.


title: On the ratio of prefix codes to all uniquely decodable codes with a given length distribution

abstract: We investigate the ratio $\rho_{n,L}$ of prefix codes to all uniquely decodable codes over an $n$-letter alphabet and with length distribution $L$. For any integers $n\geq 2$ and $m\geq 1$, we construct a lower bound and an upper bound for $\inf_L\rho_{n,L}$, the infimum taken over all sequences $L$ of length $m$ for which the set of uniquely decodable codes with length distribution $L$ is non-empty. As a result, we obtain that this infimum is always greater than zero. Moreover, for every $m\geq 1$ it tends to 1 when $n\to\infty$, and for every $n\geq 2$ it tends to 0 when $m\to\infty$. In the case $m=2$, we also obtain the exact value for this infimum.


title: Total domination in cubic Kn\"odel graphs

abstract: A subset $D$ of vertices of a graph $G$ is a \textit{dominating set} if for each $u\in V(G)\setminus D$, $u$ is adjacent to some vertex $v\in D$. The \textit{dominating number}, $\gamma(G)$ of $G$, is the minimum cardinality of a dominating set of $G$. A set $D\subseteq V(G)$ is a \textit{total dominating set} if for each $u\in V(G)$, $u$ is adjacent to some vertex $v\in D$. the The \textit{total dominating number}, $\gamma_t(G)$ of $G$, is the minimum cardinality of a total dominating set of $G$. For an even integer $n\ge2$ and $1\le\Delta\le\lfloor\log_2n\rfloor$, a \textit{Kn\"odel graph} $W_{\Delta,n}$ is a $\Delta$-regular bipartite graph of even order $n$, with vertices $(i,j)$, for $i=1,2$ and $0\le j\le n/2-1$, where for every $j$,$0\le j\le n/2-1$,there is an edge between vertex $(1,j)$ and every vertex $(2,j+2^k-1 \text{(mod(n/2)})$, for $k=0,1,\cdots,\Delta-1$. In this paper, we determine the total domination number in $3$-regular Kn\"odel graphs $W_{3,n}$.


title: MobiCoMonkey - Context Testing of Android Apps

abstract: The functionality of many mobile applications is dependent on various contextual, external factors. Depending on unforeseen scenarios, mobile apps can even malfunction or crash. In this paper, we have introduced MobiCoMonkey - automated tool that allows a developer to test app against custom or auto generated contextual scenarios and help detect possible bugs through the emulator. Moreover, it reports the connection between the bugs and contextual factors so that the bugs can later be reproduced. It utilizes the tools offered by Android SDK and logcat to inject events and capture traces of the app execution.


title: A representation theorem for measurable relation algebras with cyclic groups

abstract: A relation algebra is measurable if the identity element is a sum of atoms, and the square x;1;x of each subidentity atom x is a sum of non-zero functional elements. These functional elements form a group Gx. We prove that a measurable relation algebra in which the groups Gx are all finite and cyclic is completely representable. A structural description of these algebras is also given.


title: A new ab initio modeling scheme for ion self-diffusion coefficient applied for {\epsilon}-Cu3Sn phase of Cu-Sn alloy

abstract: We present a new modeling scheme for ion self-diffusion coefficient, which broadens the applicable scope of ab initio approach. The essential concepts of the scheme are `domain division' and `coarse graining' of the diffusion network based on the barrier energies predicted by the ab initio calculation. The scheme was applied to evaluate Cu ion self-diffusion coefficient in {\epsilon}-Cu3Sn phase of Cu-Sn alloy, which is a typical system having long-range periodicity. The model constructed with the scheme successfully reproduces the experimental values in a wide temperature range.


title: Generalized Fractional Operators on Time Scales with Application to Dynamic Equations

abstract: We introduce more general concepts of Riemann-Liouville fractional integral and derivative on time scales, of a function with respect to another function. Sufficient conditions for existence and uniqueness of solution to an initial value problem described by generalized fractional order differential equations on time scales are proved.


title: Tight Lower Bounds for List Edge Coloring

abstract: The fastest algorithms for edge coloring run in time $2^m n^{O(1)}$, where $m$ and $n$ are the number of edges and vertices of the input graph, respectively. For dense graphs, this bound becomes $2^{\Theta(n^2)}$. This is a somewhat unique situation, since most of the studied graph problems admit algorithms running in time $2^{O(n\log n)}$. It is a notorious open problem to either show an algorithm for edge coloring running in time $2^{o(n^2)}$ or to refute it, assuming Exponential Time Hypothesis (ETH) or other well established assumption. We notice that the same question can be asked for list edge coloring, a well-studied generalization of edge coloring where every edge comes with a set (often called a list) of allowed colors. Our main result states that list edge coloring for simple graphs does not admit an algorithm running in time $2^{o(n^2)}$, unless ETH fails. Interestingly, the algorithm for edge coloring running in time $2^m n^{O(1)}$ generalizes to the list version without any asymptotic slow-down. Thus, our lower bound is essentially tight. This also means that in order to design an algorithm running in time $2^{o(n^2)}$ for edge coloring, one has to exploit its special features compared to the list version.


title: Computational Homogenization of Polycrystals

abstract: This paper reviews the current state-of-the-art in the simulation of the mechanical behavior of polycrystalline materials by means of computational homogenization. The key ingredients of this modelling strategy are presented in detail starting with the parameters needed to describe polycrystalline microstructures and the digital representation of such microstructures in a suitable format to perform computational homogenization. The different crystal plasticity frameworks that can describe the physical mechanisms of deformation in single crystals (dislocation slip and twinning) at the microscopic level are presented next. This is followed by the description of computational homogenization methods based on mean-field approximations by means of the viscoplastic self-consistent approach, or on the full-field simulation of the mechanical response of a representative polycrystalline volume element by means of the finite element method or the fast Fourier transform-based method. Multiscale frameworks based on the combination of mean-field homogenization and the finite element method are presented next to model the plastic deformation of polycrystalline specimens of arbitrary geometry under complex mechanical loading. Examples of application to predict the strength, fatigue life, damage, and texture evolution under different conditions are presented to illustrate the capabilities of the different models. Finally, current challenges and future research directions in this field are summarized.


title: A parallel multigrid solver for multi-patch Isogeometric Analysis

abstract: Isogeometric Analysis (IgA) is a framework for setting up spline-based discretizations of partial differential equations, which has been introduced around a decade ago and has gained much attention since then. If large spline degrees are considered, one obtains the approximation power of a high-order method, but the number of degrees of freedom behaves like for a low-order method. One important ingredient to use a discretization with large spline degree, is a robust and preferably parallelizable solver. While numerical evidence shows that multigrid solvers with standard smoothers (like Gauss Seidel) does not perform well if the spline degree is increased, the multigrid solvers proposed by the authors and their co-workers proved to behave optimal both in the grid size and the spline degree. In the present paper, the authors want to show that those solvers are parallelizable and that they scale well in a parallel environment.


title: A Note on Switching Conditions for the Generalized Logical Connectives in Multiplicative Linear Logic

abstract: Danos and Regnier (1989) introduced the par-switching condition for the multiplicative proof-structures and simplified the sequentialization theorem of Girard (1987) by the use of par-switching. Danos and Regner (1989) also generalized the par-switching to a switching for $n$-ary connectives (an $n$-ary switching, in short) and showed that the "expansion" property which means that any "excluded-middle" formula has a correct proof-net in the sense of their $n$-ary switching. They added a remark that the sequentialization theorem does not hold with their switching. Their definition of switching for $n$-ary connectives is a natural generalization of the original switching for the binary connectives. However, there are many other possible definitions of switching for $n$-ary connectives. We give an alternative and "natural" definition of $n$-ary switching, and we remark that the proof of sequentialization theorem by Olivier Laurent with the par-switching works for our $n$-ary switching; hence that the sequentialization theorem holds for our $n$-ary switching. On the other hand, we remark that the "expansion" property does not hold with our switching anymore. We point out that no definition of $n$-ary switching satisfies both the sequentialization theorem and the "expansion" property at the same time except for the purely tensor-based (or purely par-based) connectives.


title: Statistical transformer networks: learning shape and appearance models via self supervision

abstract: We generalise Spatial Transformer Networks (STN) by replacing the parametric transformation of a fixed, regular sampling grid with a deformable, statistical shape model which is itself learnt. We call this a Statistical Transformer Network (StaTN). By training a network containing a StaTN end-to-end for a particular task, the network learns the optimal nonrigid alignment of the input data for the task. Moreover, the statistical shape model is learnt with no direct supervision (such as landmarks) and can be reused for other tasks. Besides training for a specific task, we also show that a StaTN can learn a shape model using generic loss functions. This includes a loss inspired by the minimum description length principle in which an appearance model is also learnt from scratch. In this configuration, our model learns an active appearance model and a means to fit the model from scratch with no supervision at all, even identity labels.


title: From Puiseux series to invariant algebraic curves: the FitzHugh-Nagumo model

abstract: A relationship between Puiseux series satisfying an ordinary differential equation corresponding to a polynomial dynamical system and degrees of irreducible invariant algebraic curves is studied. A bound on the degrees of irreducible invariant algebraic curves for a wide class of polynomial dynamical systems is obtained. It is demonstrated that the Puiseux series near infinity can be used to find irreducible algebraic curves explicitly. As an example, all irreducible invariant algebraic curves for the famous FitzHugh-Nagumo system are obtained.


title: Not quite unreasonable effectiveness of machine learning algorithms

abstract: State-of-the-art machine learning algorithms demonstrate close to absolute performance in selected challenges. We provide arguments that the reason can be in low variability of the samples and high effectiveness in learning typical patterns. Due to this fact, standard performance metrics do not reveal model capacity and new metrics are required for the better understanding of state-of-the-art.


title: Long-term Solar Activity Studies using Microwave Imaging Observations and Prediction for Cycle 25

abstract: We use microwave imaging observations from the Nobeyama Radioheliograph at 17 GHz for long-term studies of solar activity. In particular, we use the polar and low-latitude brightness temperatures as proxies to the polar magnetic field and the active-regions, respectively. We also use the location of prominence eruptions as a proxy to the filament locations as a function of time. We show that the polar microwave brightness temperature is highly correlated with the polar magnetic field strength and the fast solar wind speed. We also show that the polar microwave brightness at one cycle is correlated with the low latitude brightness with a lag of about half a solar cycle. We use this correlation to predict the strength of the solar cycle: the smoothed sunspot numbers in the southern and northern hemispheres can be predicted as 89 and 59, respectively. These values indicate that cycle 25 will not be too different from cycle 24 in its strength. We also combined the rush to the pole data from Nobeyama prominences with historical data going back to 1860 to study the north-south asymmetry of sign reversal at solar poles. We find that the reversal asymmetry has a quasi-periodicity of 3-5 cycles.


title: Evaluating historical text normalization systems: How well do they generalize?

abstract: We highlight several issues in the evaluation of historical text normalization systems that make it hard to tell how well these systems would actually work in practice---i.e., for new datasets or languages; in comparison to more na\"ive systems; or as a preprocessing step for downstream NLP tools. We illustrate these issues and exemplify our proposed evaluation practices by comparing two neural models against a na\"ive baseline system. We show that the neural models generalize well to unseen words in tests on five languages; nevertheless, they provide no clear benefit over the na\"ive baseline for downstream POS tagging of an English historical collection. We conclude that future work should include more rigorous evaluation, including both intrinsic and extrinsic measures where possible.


title: Coalgebraic Determinization of Alternating Automata

abstract: Coalgebra is a currently quite active field, which aims to look at generic state-based systems (most prominently automata) from a very abstract point of view, mainly using tools from category theory. One of its achievements is to give a completely generic approach of determinization, unifying in an elegant manner non-deterministic automata, probabilistic automata or non-deterministic pushdown automata in one and the same model. However, the case of alternating automata fails to easily fit in this model. The aim of this internship was therefore to tackle this problem: can alternating automata also be determinized in the coalgebraic way? Does this give semantics that coincides with the concretely defined one? In this report, we give a positive answer to both questions. The main element of our construction is a distributive law, the definition of which has been for some time an open question.


title: A multidimensional problem of optimal dividends with irreversible switching: a convergent numerical scheme

abstract: In this paper we study the problem of optimal dividend payment strategy which maximizes the expected discounted sum of dividends to a multidimensional set up of n associated insurance companies where the surplus process follows an n-dimensional compound Poisson process. The general manager of the companies has the possibility at any time to exercise an irreversible switch into another regime; we also take into account an expected discounted value at ruin. This multidimensional dividend problem is a mixed singular control/optimal problem. We prove that the optimal value function is a viscosity solution of the associated HJB equation and that it can be characterized as the smallest viscosity supersolution. The main contribution of the paper is to provide a numerical method to approximate (locally uniformly) the optimal value function by an increasing sequence of sub-optimal value functions of admissible strategies defined in an n-dimensional grid. As a numerical example, we present the optimal time of merger for two insurance companies.


title: Measuring closeness between Cayley automatic groups and automatic groups

abstract: In this paper we introduce a way to estimate a level of closeness of Cayley automatic groups to the class of automatic groups using a certain numerical characteristic. We characterize Cayley automatic groups which are not automatic in terms of this numerical characteristic and then study it for the lamplighter group, the Baumslag--Solitar groups and the Heisenberg group.


title: A comparison of recent waveform generation and acoustic modeling methods for neural-network-based speech synthesis

abstract: Recent advances in speech synthesis suggest that limitations such as the lossy nature of the amplitude spectrum with minimum phase approximation and the over-smoothing effect in acoustic modeling can be overcome by using advanced machine learning approaches. In this paper, we build a framework in which we can fairly compare new vocoding and acoustic modeling techniques with conventional approaches by means of a large scale crowdsourced evaluation. Results on acoustic models showed that generative adversarial networks and an autoregressive (AR) model performed better than a normal recurrent network and the AR model performed best. Evaluation on vocoders by using the same AR acoustic model demonstrated that a Wavenet vocoder outperformed classical source-filter-based vocoders. Particularly, generated speech waveforms from the combination of AR acoustic model and Wavenet vocoder achieved a similar score of speech quality to vocoded speech.


title: Domination in 4-regular Kn\"odel graphs

abstract: A subset $D$ of vertices of a graph $G$ is a dominating set if for each $u\in V(G)\setminus D$, $u$ is adjacent to some vertex $v\in D$. The domination number, $\gamma(G)$ of $G$, is the minimum cardinality of a dominating set of $G$. For an even integer $n\ge2$ and $1\le\Delta\le\lfloor\log_2n\rfloor$, a Kn\"odel graph $W_{\Delta,n}$ is a $Delta$-regular bipartite graph of even order $n$, with vertices$(i,j)$, for $i=1,2$ and $0\le j\le n/2-1$, where for every $j$, $0\le j\le n/2-1$, there is an edge between $(1,j)$ and $(2,j+2^k-1 \text{(mod(n/2)})$, for $k=0,1,\cdots,\Delta-1$. In this paper, we determine the domination number in $4$-regular Kn\"odel graphs $W_{4,n}$.


title: Uncertainty principle on 3-dimensional manifolds of constant curvature

abstract: We consider the Heisenberg uncertainty principle of position and momentum in 3-dimensional spaces of constant curvature $K$. The uncertainty of position is defined coordinate independent by the geodesic radius of spherical domains in which the particle is localized after a von Neumann-L\"uders projection. By applying mathematical standard results from spectral analysis on manifolds, we obtain the largest lower bound of the momentum deviation in terms of the geodesic radius and $K$. For hyperbolic spaces, we also obtain a global lower bound $\sigma_p\geq |K|^\frac{1}{2}\hbar$, which is non-zero and independent of the uncertainty in position. Finally, the lower bound for the Schwarzschild radius of a static black hole is derived and given by $r_s\geq 2\,l_P$, where $l_P$ is the Planck length.


title: Metrizable quotients of $C_p$-spaces

abstract: The famous Rosenthal-Lacey theorem asserts that for each infinite compact set $K$ the Banach space $C(K)$ admits a quotient which is either a copy of $c$ or $\ell_{2}$. What is the case when the uniform topology of $C(K)$ is replaced by the pointwise topology? Is it true that $C_p(X)$ always has an infinite-dimensional separable (or better metrizable) quotient? In this paper we prove that for a Tychonoff space $X$ the function space $C_p(X)$ has an infinite-dimensional metrizable quotient if $X$ either contains an infinite discrete $C^*$-embedded subspace or else $X$ has a sequence $(K_n)_{n\in\mathbb N}$ of compact subsets such that for every $n$ the space $K_n$ contains two disjoint topological copies of $K_{n+1}$. Applying the latter result, we show that under $\lozenge$ there exists a zero-dimensional Efimov space $K$ whose function space $C_{p}(K)$ has an infinite-dimensional metrizable quotient. These two theorems essentially improve earlier results of K\k{a}kol and \'Sliwa on infinite-dimensional separable quotients of $C_p$-spaces.


title: An invitation to multisymplectic geometry

abstract: In this article we study multisymplectic geometry, i.e., the geometry of manifolds with a non-degenerate, closed differential form. First we describe the transition from Lagrangian to Hamiltonian classical field theories, and then we reformulate the latter in multisymplectic terms. Furthermore, we investigate basic questions on normal forms of multisymplectic manifolds, notably the questions wether and when Darboux-type theorems hold, and how many diffeomorphisms certain, important classes of multisymplectic manifolds possess. Finally, we survey recent advances in the area of symmetries and conserved quantities on multisymplectic manifolds.


title: Efficient No-Reference Quality Assessment and Classification Model for Contrast Distorted Images

abstract: In this paper, an efficient Minkowski Distance based Metric (MDM) for no-reference (NR) quality assessment of contrast distorted images is proposed. It is shown that higher orders of Minkowski distance and entropy provide accurate quality prediction for the contrast distorted images. The proposed metric performs predictions by extracting only three features from the distorted images followed by a regression analysis. Furthermore, the proposed features are able to classify type of the contrast distorted images with a high accuracy. Experimental results on four datasets CSIQ, TID2013, CCID2014, and SIQAD show that the proposed metric with a very low complexity provides better quality predictions than the state-of-the-art NR metrics. The MATLAB source code of the proposed metric is available to public at http://www.synchromedia.ca/system/files/MDM.zip.


title: Drive Video Analysis for the Detection of Traffic Near-Miss Incidents

abstract: Because of their recent introduction, self-driving cars and advanced driver assistance system (ADAS) equipped vehicles have had little opportunity to learn, the dangerous traffic (including near-miss incident) scenarios that provide normal drivers with strong motivation to drive safely. Accordingly, as a means of providing learning depth, this paper presents a novel traffic database that contains information on a large number of traffic near-miss incidents that were obtained by mounting driving recorders in more than 100 taxis over the course of a decade. The study makes the following two main contributions: (i) In order to assist automated systems in detecting near-miss incidents based on database instances, we created a large-scale traffic near-miss incident database (NIDB) that consists of video clip of dangerous events captured by monocular driving recorders. (ii) To illustrate the applicability of NIDB traffic near-miss incidents, we provide two primary database-related improvements: parameter fine-tuning using various near-miss scenes from NIDB, and foreground/background separation into motion representation. Then, using our new database in conjunction with a monocular driving recorder, we developed a near-miss recognition method that provides automated systems with a performance level that is comparable to a human-level understanding of near-miss incidents (64.5% vs. 68.4% at near-miss recognition, 61.3% vs. 78.7% at near-miss detection).


title: Two attacks on rank metric code-based schemes: RankSign and an Identity-Based-Encryption scheme

abstract: RankSign [GRSZ14a] is a code-based signature scheme proposed to the NIST competition for quantum-safe cryptography [AGHRZ17] and, moreover, is a fundamental building block of a new Identity-Based-Encryption (IBE) [GHPT17a]. This signature scheme is based on the rank metric and enjoys remarkably small key sizes, about 10KBytes for an intended level of security of 128 bits. Unfortunately we will show that all the parameters proposed for this scheme in [AGHRZ17] can be broken by an algebraic attack that exploits the fact that the augmented LRPC codes used in this scheme have very low weight codewords. Therefore, without RankSign the IBE cannot be instantiated at this time. As a second contribution we will show that the problem is deeper than finding a new signature in rank-based cryptography, we also found an attack on the generic problem upon which its security reduction relies. However, contrarily to the RankSign scheme, it seems that the parameters of the IBE scheme could be chosen in order to avoid our attack. Finally, we have also shown that if one replaces the rank metric in the [GHPT17a] IBE scheme by the Hamming metric, then a devastating attack can be found.


title: Generating Functions in $\mathbb{R}^{2n}$ and the Hatcher-Waldhausen map

abstract: In this paper we construct a generating function quadratic at infinity for any exact Lagrangian in $\mathbb R^{2n}$ equal to $\mathbb R^n$ outside a compact set. This type of Lagrangian is equivalent to a Lagrangian filling in $D^{2n}$ of the standard Legendrian unknot $S^{n-1}$. Generating functions of the type we construct are related to the space $\mathcal M_\infty$ considered by Eliashberg and Gromov. We also show that $\mathcal M_\infty$ is the homotopy fiber of the so-called Hatcher-Waldhausen map. This further relates the understanding of exact Lagrangians (and Legendrians) to algebraic K-theory of spaces. As a result of this and the result by B\"okstedt that the Hatcher-Waldhausen map is a rational homotopy equivalence we prove that the stable Lagrangian Gauss map (relative boundary) of the Lagrangian is homotopy trivial.


title: Velocity distribution of driven granular gases

abstract: The granular gas is a paradigm for understanding the effects of inelastic interactions in granular materials. Kinetic theory provides a general theoretical framework for describing the granular gas. Its central result is that the tail of the velocity distribution of a driven granular gas is a stretched exponential that, counterintuitively, decays slower than that of the corresponding elastic gas in equilibrium. However, a derivation of this result starting from a microscopic model is lacking. Here, we obtain analytical results for a microscopic model for a granular gas where particles with two-dimensional velocities are driven homogeneously and isotropically by reducing the velocities by a factor and adding a stochastic noise. We find two universal regimes. For generic physically relevant driving, we find that the tail of the velocity distribution is a Gaussian with additional logarithmic corrections. Thus, the velocity distribution decays faster than the corresponding equilibrium gas. The second universal regime is less generic and corresponds to the scenario described by kinetic theory. Here, the velocity distribution is shown to decay as an exponential with additional logarithmic corrections, in contradiction to the predictions of the phenomenological kinetic theory, necessitating a re-examination of its basic assumptions.


title: Guiding Neural Machine Translation with Retrieved Translation Pieces

abstract: One of the difficulties of neural machine translation (NMT) is the recall and appropriate translation of low-frequency words or phrases. In this paper, we propose a simple, fast, and effective method for recalling previously seen translation examples and incorporating them into the NMT decoding process. Specifically, for an input sentence, we use a search engine to retrieve sentence pairs whose source sides are similar with the input sentence, and then collect $n$-grams that are both in the retrieved target sentences and aligned with words that match in the source sentences, which we call "translation pieces". We compute pseudo-probabilities for each retrieved sentence based on similarities between the input sentence and the retrieved source sentences, and use these to weight the retrieved translation pieces. Finally, an existing NMT model is used to translate the input sentence, with an additional bonus given to outputs that contain the collected translation pieces. We show our method improves NMT translation results up to 6 BLEU points on three narrow domain translation tasks where repetitiveness of the target sentences is particularly salient. It also causes little increase in the translation time, and compares favorably to another alternative retrieval-based method with respect to accuracy, speed, and simplicity of implementation.


title: Quantum gravity for piecewise flat spacetimes

abstract: We describe a theory of quantum gravity which is based on the assumption that the spacetime structure at small distances is given by a piecewise linear (PL) 4-manifold corresponding to a triangulation of a smooth 4-manifold. The fundamental degrees of freedom are the edge lengths of the triangulation. One can work with finitely many edge lengths, so that the corresponding Regge path integral can be made finite by using an appropriate path-integral measure. The semi-classical limit is computed by using the effective action formalism, and the existence of a semi-classical effective action restricts the choice of the path-integral measure. The classical limit is given by the Regge action, so that one has a quantum gravity theory for a piecewise-flat general relativity. By using the effective action formalism we show that the observed value of the cosmological constant can be recovered from the effective cosmological constant. When the number of 4-simplices in the spacetime triangulation is large, then the PL effective action is well approximated by a quantum field theory effective action with a physical cutoff determined by the smallest edge length.


title: Energy evolution of J/$\mathbf{\psi}$ production in DIS on nuclei

abstract: In this paper we show, that the $J/\psi$ production in DIS, is the main source of information about the events with two parton shower production. We attempt to develop our theoretical acumen of this process, to a level compatible with the theoretical description of inclusive DIS. We revisit the problem of the linear evolution equation for the double gluon densities, and include Bose-Einstein enhancement to these equations. We find that the Bose-Einstein correlations lead to an increase of the anomalous dimension, which turns out to be suppressed as $1/(N^2_c -1)^2$, in agreement with the estimates for the twist four anomalous dimension. We believe that understanding what happens to these contributions at ultra high energies, is a key question for an effective theory, based on high energy QCD. We derive the evolution equation for the scattering amplitude of two dipoles with a nucleus, taking into account the shadowing corrections, and investigate the analytical solutions in two distinct kinematic regions: deep in the saturation region, and in the vicinity of the saturation scale. The suggested non-linear evolution equation is a direct generalization of the Balitsky-Kovchegov equation, which has to be solved with the initial condition that depends on the saturation scale $Q_s(Y=Y_0,b)$. With the goal of finding a new small parameter, it is instructive to compare the solution of the non-linear equation with the qusi-classical approximation, in which in the initial condition we replace $Q_s(Y=Y_0,b)$ by $Q_s(Y,b)$. Our final result is that the shadowing corrections in the elastic amplitude generate the survival probability, which suppresses the growth of the amplitude with energy, caused by the Bose-Einstein enhancement.


title: Instabilities in the wake of an inclined prolate spheroid

abstract: We investigate the instabilities, bifurcations and transition in the wake behind a 45-degree inclined 6:1 prolate spheroid, through a series of direct numerical simulations (DNS) over a wide range of Reynolds numbers (Re) from 10 to 3000. We provide a detailed picture of how the originally symmetric and steady laminar wake at low Re gradually looses its symmetry and turns unsteady as Re is gradually increased. Several fascinating flow features have first been revealed and subsequently analysed, e.g. an asymmetric time-averaged flow field, a surprisingly strong side force etc. As the wake partially becomes turbulent, we investigate a dominating coherent wake structure, namely a helical vortex tube, inside of which a helical symmetry alteration scenario was recovered in the intermediate wake, together with self-similarity in the far wake.


title: Highest weight modules for affine Lie superalgebras

abstract: We describe Borel and parabolic subalgebras of affine Lie superalgebras and study the Verma type modules associated to such subalgebras. We give necessary and sufficient conditions under which these modules are simple.


title: Dressing the Dressing Chain

abstract: The dressing chain is derived by applying Darboux transformations to the spectral problem of the Korteweg-de Vries (KdV) equation. It is also an auto-B\"acklund transformation for the modified KdV equation. We show that by applying Darboux transformations to the spectral problem of the dressing chain one obtains the lattice KdV equation as the dressing chain of the dressing chain and, that the lattice KdV equation also arises as an auto-B\"acklund transformation for a modified dressing chain. In analogy to the results obtained for the dressing chain (Veselov and Shabat proved complete integrability for odd dimensional periodic reductions), we study the $(0,n)$-periodic reduction of the lattice KdV equation, which is a two-valued correspondence. We provide explicit formulas for its branches and establish complete integrability for odd $n$.


title: Finsler spheres with constant flag curvature and finite orbits of prime closed geodesics

abstract: In this paper, we consider a Finsler sphere $(M,F)=(S^n,F)$ with the dimension $n>1$ and the flag curvature $K\equiv 1$. The action of the connected isometry group $G=I_o(M,F)$ on $M$, together with the action of $T=S^1$ shifting the parameter $t\in \mathbb{R}/\mathbb{Z}$ of the closed curve $c(t)$, define an action of $\hat{G}=G\times T$ on the free loop space $\lambda M$ of $M$. In particular, for each closed geodesic, we have a $\hat{G}$-orbit of closed geodesics. We assume the Finsler sphere $(M,F)$ described above has only finite orbits of prime closed geodesics. Our main theorem claims, if the subgroup $H$ of all isometries preserving each close geodesic has a dimension $m$, then there exists $m$ geometrically distinct orbits $\mathcal{B}_i$ of prime closed geodesics, such that for each $i$, the union ${B}_i$ of geodesics in $\mathcal{B}_i$ is a totally geodesic sub-manifold in $(M,F)$ with a non-trivial $H_o$-action. This theorem generalizes and slightly refines the one in a previous work, which only discussed the case of finite prime closed geodesics. At the end, we show that, assuming certain generic conditions, the Katok metrics, i.e. the Randers metrics on spheres with $K\equiv 1$, provide examples with the sharp estimate for our main theorem.


title: A Machine Learning Approach To Prevent Malicious Calls Over Telephony Networks

abstract: Malicious calls, i.e., telephony spams and scams, have been a long-standing challenging issue that causes billions of dollars of annual financial loss worldwide. This work presents the first machine learning-based solution without relying on any particular assumptions on the underlying telephony network infrastructures. The main challenge of this decade-long problem is that it is unclear how to construct effective features without the access to the telephony networks' infrastructures. We solve this problem by combining several innovations. We first develop a TouchPal user interface on top of a mobile App to allow users tagging malicious calls. This allows us to maintain a large-scale call log database. We then conduct a measurement study over three months of call logs, including 9 billion records. We design 29 features based on the results, so that machine learning algorithms can be used to predict malicious calls. We extensively evaluate different state-of-the-art machine learning approaches using the proposed features, and the results show that the best approach can reduce up to 90% unblocked malicious calls while maintaining a precision over 99.99% on the benign call traffic. The results also show the models are efficient to implement without incurring a significant latency overhead. We also conduct ablation analysis, which reveals that using 10 out of the 29 features can reach a performance comparable to using all features.


title: Parameterization of factorizable line bundles by K-theory and motivic cohomology

abstract: This note corrects a certain construction in (the old version of) the paper [GL]. The construction in question starts from a Brylinski-Deligne datum, which is an extension of a group G by K_2, and produces a factorization line bundle on the affine Grassmannian of the group G.


title: CODEV: Automated Model Predictive Control Design and Formal Verification (Tool Paper)

abstract: We present CODEV, a Matlab-based tool for verifying systems employing Model Predictive Control (MPC). The MPC solution is computed offline and modeled together with the physical system as a hybrid automaton, whose continuous dynamics may be nonlinear with a control solution that remains affine. While MPC is a widely used synthesis technique for constrained and optimal control in industry, our tool provides the first automated approach of analyzing these systems for rigorous guarantees of safety. This is achieved by implementing a simulation-based verification algorithm for nonlinear hybrid models, with extensions tailored to the structure of the MPC solution. Given a physical model and parameters for desired system behavior (i.e. performance and constraints), CODEV generates a control law and verifies the resulting system will robustly maintain constraints. We have applied CODEV successfully to a set of benchmark examples, which illuminates its potential to tackle more complex problems for which MPC is used.


title: Analysis of 90 days operation of the gyroscope GINGERINO

abstract: GINGERINO is a square ring-laser prototype, which has been built to investigate the level of noise inside the Gran Sasso underground laboratory. It Is meant for fundamental physics, but it provides suitable data for geophysics and seismology. Since May 2017 it is continuously acquiring data. The analysis of the first $90$ days shows that the duty cycle is higher than $95\%$, and the quantum shot noise limit is of the order of $ 10^{-10}(\mathrm{rad}/s)/\sqrt{\mathrm{Hz}}$. It is located in a seismically active area, and it recorded part of the of central Italy earthquakes. Its high sensitivity in the frequency band of fraction of Hz makes it suitable for seismology studies. The main purpose of the present analysis is to investigate the long term response of the apparatus. Simple and fast routines to eliminate the disturbances coming from the laser have been developed. The Allan deviation of the raw data reaches $10^{-7}$ after about $10^6s$ of integration time, while the processed data shows an improvement of one order of magnitude. Disturbances at the daily time scale are present in the processed data and the expected signal induced by polar motion and solid Earth tide is covered by those disturbances.


title: A Shifted Sum for the Congruent Number Problem

abstract: We introduce a shifted convolution sum that is parametrized by the squarefree natural number $t$. The asymptotic growth of this series depends explicitly on whether or not $t$ is a \emph{congruent number}, an integer that is the area of a rational right triangle. This series presents a new avenue of inquiry for The Congruent Number Problem.


title: Nonconvex Proximal Incremental Aggregated Gradient Method with Linear Convergence

abstract: In this paper, we study the proximal incremental aggregated gradient(PIAG) algorithm for minimizing the sum of L-smooth nonconvex component functions and a proper closed convex function. By exploiting the L-smooth property and with the help of an error bound condition, we can show that the PIAG method still enjoys some nice linear convergence properties even for nonconvex minimization. To illustrate this, we first demonstrate that the generated sequence globally converges to the stationary point set. Then, there exists a threshold such that the objective function value sequence and the iterate point sequence are R-linearly convergent when the stepsize is chosen below this threshold.


title: The influence of Lent on marriages and conceptions explored through a new methodology

abstract: Herteliu et al. (2015) have elsewhere analyzed the impact of religious festivals on births in Romania. Here we broaden the analysis (i) by studying the effect of Lent on marriages as well as births (ii) by analyzing a number of other countries which allows a comparison with non-Orthodox countries. We also introduce a new methodology which treats the data in a way that frees the analysis from bias related to seasonal patterns of births and marriages. The comparison between the effects on marriages and conceptions appears of particular interest for it permits to assess the respective weighs of social pressure on one hand and personal leanings on the other hand. Our analysis reveals a strong effect of Lent on marriages with a reduction by 80% in Orthodox countries and 40% in West European Catholic and Protestant countries. Since the influence of Lent on conceptions is independent of any form of direct social control one might expect the effect to be much smaller. In percentage terms it is roughly 10 times smaller than the effect on marriage. The present methodology opens the way to the accurate investigation of the impact of other mobile religious periods (e.g. Ramadan) on various social phenomena (e.g. suicide).


title: Hindsight is Only 50/50: Unsuitability of MDP based Approximate POMDP Solvers for Multi-resolution Information Gathering

abstract: Partially Observable Markov Decision Processes (POMDPs) offer an elegant framework to model sequential decision making in uncertain environments. Solving POMDPs online is an active area of research and given the size of real-world problems approximate solvers are used. Recently, a few approaches have been suggested for solving POMDPs by using MDP solvers in conjunction with imitation learning. MDP based POMDP solvers work well for some cases, while catastrophically failing for others. The main failure point of such solvers is the lack of motivation for MDP solvers to gain information, since under their assumption the environment is either already known as much as it can be or the uncertainty will disappear after the next step. However for solving POMDP problems gaining information can lead to efficient solutions. In this paper we derive a set of conditions where MDP based POMDP solvers are provably sub-optimal. We then use the well-known tiger problem to demonstrate such sub-optimality. We show that multi-resolution, budgeted information gathering cannot be addressed using MDP based POMDP solvers. The contribution of the paper helps identify the properties of a POMDP problem for which the use of MDP based POMDP solvers is inappropriate, enabling better design choices.