title: Communication Efficient Secret Sharing in the Presence of Malicious Adversary

abstract: Consider the communication efficient secret sharing problem. A dealer wants to share a secret with $n$ parties such that any $k\leq n$ parties can reconstruct the secret and any $z<k$ parties eavesdropping on their shares obtain no information about the secret. In addition, a legitimate user contacting any $d$, $k\leq d \leq n$, parties to decode the secret can do so by reading and downloading the minimum amount of information needed. We are interested in communication efficient secret sharing schemes that tolerate the presence of malicious parties actively corrupting their shares and the data delivered to the users. The knowledge of the malicious parties about the secret is restricted to the shares they obtain. We characterize the capacity, i.e. maximum size of the secret that can be shared. We derive the minimum amount of information needed to to be read and communicated to a legitimate user to decode the secret from $d$ parties, $k\leq d \leq n$. Error-correcting codes do not achieve capacity in this setting. We construct codes that achieve capacity and achieve minimum read and communication costs for all possible values of $d$. Our codes are based on Staircase codes, previously introduced for communication efficient secret sharing, and on the use of a pairwise hashing scheme used in distributed data storage and network coding settings to detect errors inserted by a limited knowledge adversary.


title: Stochastic tree ensembles for regularized nonlinear regression

abstract: This paper develops a novel stochastic tree ensemble method for nonlinear regression, which we refer to as XBART, short for Accelerated Bayesian Additive Regression Trees. By combining regularization and stochastic search strategies from Bayesian modeling with computationally efficient techniques from recursive partitioning approaches, the new method attains state-of-the-art performance: in many settings it is both faster and more accurate than the widely-used XGBoost algorithm. Via careful simulation studies, we demonstrate that our new approach provides accurate point-wise estimates of the mean function and does so faster than popular alternatives, such as BART, XGBoost and neural networks (using Keras). We also prove a number of basic theoretical results about the new algorithm, including consistency of the single tree version of the model and stationarity of the Markov chain produced by the ensemble version. Furthermore, we demonstrate that initializing standard Bayesian additive regression trees Markov chain Monte Carlo (MCMC) at XBART-fitted trees considerably improves credible interval coverage and reduces total run-time.


title: Optimal liquidation trajectories for the Almgren-Chriss model with Levy processes

abstract: We consider an optimal liquidation problem with infinite horizon in the Almgren-Chriss framework, where the unaffected asset price follows a Levy process. The temporary price impact is described by a general function which satisfies some reasonable conditions. We consider an investor with constant absolute risk aversion, who wants to maximise the expected utility of the cash received from the sale of his assets, and show that this problem can be reduced to a deterministic optimisation problem which we are able to solve explicitly. In order to compare our results with exponential Levy models, which provides a very good statistical fit with observed asset price data for short time horizons, we derive the (linear) Levy process approximation of such models. In particular we derive expressions for the Levy process approximation of the exponential Variance-Gamma Levy process, and study properties of the corresponding optimal liquidation strategy. We then provide a comparison of the liquidation trajectories for reasonable parameters between the Levy process model and the classical Almgren-Chriss model. In particular, we obtain an explicit expression for the connection between the temporary impact function for the Levy model and the temporary impact function for the Brownian motion model (the classical Almgren-Chriss model), for which the optimal liquidation trajectories for the two models coincide.


title: Segre's Theorem. An analytic proof of a result in differential geometry

abstract: We present an analytic approach on how to solve the problem $|\nabla u|=f(u)$, $\Delta u = g(u)$, in connected domains $\Omega\subseteq\mathbb{R}^n$.


title: Non-Markovian effect on quantum optical metrology under dissipative environment

abstract: Quantum metrology utilizes quantum effects to reach higher precision measurements of physical quantities compared with their classical counterparts. However the ubiquitous decoherence obstructs its application. Recently, non-Markovian effects are shown to be effective in performing quantum optical metrology under locally dissipative environments\cite{PhysRevLett.123.040402}. However, the mechanism is still rather hazy. Here, we uncover the reason why forming a bound state can protect the quantumness against a dissipative ambient via the quantum Fisher information of entangled coherent states. An exact analytical expression of the quantum Fisher information in the long-encoding-time condition is derived, which reveals that the dynamics of precision can asymptotically reach the ideal-case-promised one easily when the average photon number is small. Meanwhile, the scaling exhibits a transition from the weak Heisenberg limit to the sub-classical limit with the increase of average photon number. Our work provides a recipe to realize ultrasensitive measurements in the presence of noise by utilizing non-Markovian effects.


title: Optimal liquidation for a risk averse investor in a one-sided limit order book driven by a Levy process

abstract: In a one-sided limit order book, satisfying some realistic assumptions, where the unaffected price process follows a Levy process, we consider a market agent that wants to liquidate a large position of shares. We assume that the agent has constant absolute risk aversion and aims at maximising the expected utility of the cash position at the end of time. The agent is then faced with the problem of balancing the market risk and the cost of a rapid execution. In particular we are interested in how the agent should go about optimally submitting orders. Since liquidation normally takes place within a short period of time, modelling the risk as a Levy process should provide a realistic model with good statistical fit to observed market data, and thus the model should provide a realistic reflection of the agent's market risk. We reduce the optimisation problem to a deterministic two-dimensional singular problem, to which we are able to derive an explicit solution in terms of the model data. In particular we find an expression for the optimal intervention boundary, which completely characterise the optimal liquidation strategy.


title: Probing Dark Matter with Future CMB Measurements

abstract: Dark Matter (DM) annihilation and decay during the Dark Ages can affect the cosmic ionization history and leave imprints in the Cosmic Microwave Background (CMB) anisotropy spectra. CMB polarization anisotropy can be sensitive to such energy injection at higher redshifts and help reducing degeneracy with primordial spectral parameters in $\Lambda$CDM and astrophysical ionization processes during reionization. In light of a number of upcoming CMB polarization experiments, such as AdvACTPol, AliCPT, CLASS, Simons Observatory, Simons Array, SPT-3G, we estimate their prospective sensitivity in probing dark matter annihilation and decay signals. We find that future missions have 95\% C.L. projected limits on DM decay and annihilation rates to orders of $\Gamma_\chi (\tau_{\chi}^{-1}) \sim 10^{-27}{\rm{s}}^{-1}$ and $\left<\sigma v \right>/m_{\chi} \sim 10^{-29}{\rm{cm^3s^{-1}GeV^{-1}}}$ respectively, significantly improving the sensitivity to DM from current experimental bounds.


title: Resource Allocation for UAV Assisted Wireless Networks with QoS Constraints

abstract: For crowded and hotspot area, unmanned aerial vehicles (UAVs) are usually deployed to increase the coverage rate. In the considered model, there are three types of services for UAV assisted communication: control message, non-realtime communication, and real-time communication, which can cover most of the actual demands of users in a UAV assisted communication system. A bandwidth allocation problem is considered to minimize the total energy consumption of this system while satisfying the requirements. Two techniques are introduced to enhance the performance of the system. The first method is to categorize the ground users into multiple user groups and offer each group a unique RF channel with different bandwidth. The second method is to deploy more than one UAVs in the system. Bandwidth optimization in each scheme is proved to be a convex problem. Simulation results show the superiority of the proposed schemes in terms of energy consumption.


title: Segmenting High-dimensional Matrix-valued Time Series via Sequential Transformations

abstract: Modeling matrix-valued time series is an interesting and important research topic. In this paper, we extend the method of Chang et al. (2017) to matrix-valued time series. For any given $p\times q$ matrix-valued time series, we look for linear transformations to segment the matrix into many small sub-matrices for which each of them are uncorrelated with the others both contemporaneously and serially, thus they can be analyzed separately, which will greatly reduce the number of parameters to be estimated in terms of modeling. To overcome the identification issue, we propose a two-step and more structured procedure to segment the rows and columns separately. When $\max(p,q)$ is large in relation to the sample size $n$, we assume the transformation matrices are sparse and use threshold estimators for the (auto)covariance matrices. We also propose a block-wisely thresholding method to separate the columns (or rows) of the transformed matrix-valued data. The asymptotic properties are established for both fixed and diverging $\max(p,q)$. Unlike principal component analysis (PCA) for independent data, we cannot guarantee that the required linear transformation exists. When it does not, the proposed method provides an approximate segmentation, which may be useful for forecasting. The proposed method is illustrated with both simulated and real data examples. We also propose a sequential transformation algorithm to segment higher-order tensor-valued time series.


title: Prediction of native contacts in proteins from an out--of--equilibrium coevolutionary process

abstract: The analysis of coevolution of residues in homologous proteins is a powerful tool to predict their native conformation. The standard framework in which coevolutionary analysis is usually worked out is that of equilibrium Potts models, assuming that proteins have evolved for enough time to reach thermodynamic equilibrium in sequence space. Here we propose a model to describe correlations in sequences based on an explicit description of the evolutionary kinetics of proteins. We show that this procedure improves the correct prediction of native contacts with respect to equilibrium--based models.


title: Mobile RAM and Shape Formation by Programmable Particles

abstract: We investigate computational issues in the distributed model Amoebots of programmable matter. In this model, the computational entities, called particles, are anonymous finite-state machines that operate and move on an hexagonal tasselation of the plane. In this paper we show how a constant number of such weak particles can simulate a powerful Turing-complete entity that is able to move on the plane while computing. We then show an application of our tool to the classical Shape-Formation problem, providing a new and much more general distributed solution protocol. Indeed, the existing algorithms would allow to form only shapes made of arrangements of segments and triangles. Our algorithm allows the particles to form more abstract and general connected shapes, including circles and spirals, as well as fractal objects of non-integer dimension, such as the Sierpinski triangle or the Koch snowflake. In lieu of the existing limitation on the formability of a shape depending on the symmetry of the initial configuration of the particles, our result provides a complete characterization of the connected shapes that can be formed by an initially simply connected set of particles. Furthermore, in the case of non-connected shapes, we give almost-matching necessary and sufficient conditions for their formability.


title: Quantum metamaterials with magnetic response at optical frequencies

abstract: We propose novel quantum antennas and metamaterials with strong magnetic response at optical frequencies. Our design is based on the arrangement of natural atoms with only electric dipole transition moments at distances smaller than a wavelength of light but much larger than their physical size. In particular, we show that an atomic dimer can serve as a magnetic antenna at its antisymmetric mode to enhance the decay rate of a magnetic transition in its vicinity by several orders of magnitude. Furthermore, we study metasurfaces composed of atomic bilayers with and without cavities and show that they can fully reflect the electric and magnetic fields of light, thus, forming nearly perfect electric/magnetic mirrors. The proposed quantum metamaterials can be fabricated with available state-of-the-art technologies and promise several applications both in classical optics and quantum engineering.


title: Patterns and driving forces of dimensionality-dependent charge density waves in 2H-type transition metal dichalcogenides

abstract: Two-dimensional (2D) materials have become a fertile playground for the exploration and manipulation of novel collective electronic states. Recent experiments have unveiled a variety of robust 2D orders in highly-crystalline materials ranging from magnetism to ferroelectricity and from superconductivity to charge density wave (CDW) instability. The latter, in particular, appears in diverse patterns even within the same family of materials with isoelectronic species. Furthermore, how they evolve with dimensionality has so far remained elusive. Here we propose a general framework that provides a unfied picture of CDW ordering in the 2H polytype of four isoelectronic transition metal dichalcogenides 2H-MX$_2$ (M=Nb, Ta and X=S, Se). We first show experimentally that whilst NbSe$_2$ exhibits a strongly enhanced CDW order in the 2D limit, the opposite trend exists for TaSe$_2$ and TaS$_2$, with CDW being entirely absent in NbS$_2$ from its bulk to the monolayer. Such distinct behaviours are then demonstrated to be the result of a subtle, yet profound, competition between three factors: ionic charge transfer, electron-phonon coupling, and the spreading extension of the electronic wave functions. Despite its simplicity, our approach can, in essence, be applied to other quasi-2D materials to account for their CDW response at different thicknesses, thereby shedding new light on this intriguing quantum phenomenon and its underlying mechanisms.


title: Data Vision: Learning to See Through Algorithmic Abstraction

abstract: Learning to see through data is central to contemporary forms of algorithmic knowledge production. While often represented as a mechanical application of rules, making algorithms work with data requires a great deal of situated work. This paper examines how the often-divergent demands of mechanization and discretion manifest in data analytic learning environments. Drawing on research in CSCW and the social sciences, and ethnographic fieldwork in two data learning environments, we show how an algorithm's application is seen sometimes as a mechanical sequence of rules and at other times as an array of situated decisions. Casting data analytics as a rule-based (rather than rule-bound) practice, we show that effective data vision requires would-be analysts to straddle the competing demands of formal abstraction and empirical contingency. We conclude by discussing how the notion of data vision can help better leverage the role of human work in data analytic learning, research, and practice.


title: Bin2vec: Learning Representations of Binary Executable Programs for Security Tasks

abstract: Tackling binary program analysis problems has traditionally implied manually defining rules and heuristics, a tedious and time-consuming task for human analysts. In order to improve automation and scalability, we propose an alternative direction based on distributed representations of binary programs with applicability to a number of downstream tasks. We introduce Bin2vec, a new approach leveraging Graph Convolutional Networks (GCN) along with computational program graphs in order to learn a high dimensional representation of binary executable programs. We demonstrate the versatility of this approach by using our representations to solve two semantically different binary analysis tasks - functional algorithm classification and vulnerability discovery. We compare the proposed approach to our own strong baseline as well as published results and demonstrate improvement over state-of-the-art methods for both tasks. We evaluated Bin2vec on 49191 binaries for the functional algorithm classification task, and on 30 different CWE-IDs including at least 100 CVE entries each for the vulnerability discovery task. We set a new state-of-the-art result by reducing the classification error by 40% compared to the source-code-based inst2vec approach, while working on binary code. For almost every vulnerability class in our dataset, our prediction accuracy is over 80% (and over 90% in multiple classes).


title: Trust in Data Science: Collaboration, Translation, and Accountability in Corporate Data Science Projects

abstract: The trustworthiness of data science systems in applied and real-world settings emerges from the resolution of specific tensions through situated, pragmatic, and ongoing forms of work. Drawing on research in CSCW, critical data studies, and history and sociology of science, and six months of immersive ethnographic fieldwork with a corporate data science team, we describe four common tensions in applied data science work: (un)equivocal numbers, (counter)intuitive knowledge, (in)credible data, and (in)scrutable models. We show how organizational actors establish and re-negotiate trust under messy and uncertain analytic conditions through practices of skepticism, assessment, and credibility. Highlighting the collaborative and heterogeneous nature of real-world data science, we show how the management of trust in applied corporate data science settings depends not only on pre-processing and quantification, but also on negotiation and translation. We conclude by discussing the implications of our findings for data science research and practice, both within and beyond CSCW.


title: Rotational Disruption of Dust and Ice by Radiative Torques in Protoplanetary Disks and Implications for Observations

abstract: Dust and ice mantles on dust grains play an important role in various processes in protoplanetary disks (PPDs) around a young star, including planetesimal formation, surface chemistry, and being the reservoir of water in habitable zones. In this paper, we will perform two-dimensional modeling of rotational disruption of dust grains and ice mantles due to centrifugal force within suprathermally rotating grains spun-up by radiative torques for disks around T-Tauri and Herbig Ae/Be stars. We first study rotational disruption of large composite grains and find that large aggregates could be disrupted into individual nanoparticles via the RAdiative Torque Disruption (RATD) mechanism. We then study rotational desorption of ice mantles and ro-thermal desorption of molecules from the ice mantle. We will show that ice mantles in the warm surface layer and above of the disk can be disrupted into small icy fragments, followed by rapid evaporation of molecules. We suggest that the rotational disruption mechanism can replenish the ubiquitous presence of polycyclic aromatic hydrogen (PAHs)/ nanoparticles in the hot surface layers of PPDs as observed in mid-IR emission, which are presumably destroyed by extreme ultraviolet (UV) stellar photons. We show that the water snowline is more extended in the presence of rotational desorption, which would decrease the number of comets but increase the number of asteroids formed in the solar nebula. Finally, we suggest that the more efficient breakup of carbonaceous grains than silicates by RATD might resolve the carbon deficit problem measured on the Earth and rocky bodies.


title: Message Type Identification of Binary Network Protocols using Continuous Segment Similarity

abstract: Protocol reverse engineering based on traffic traces infers the behavior of unknown network protocols by analyzing observable network messages. To perform correct deduction of message semantics or behavior analysis, accurate message type identification is an essential first step. However, identifying message types is particularly difficult for binary protocols, whose structural features are hidden in their densely packed data representation. We leverage the intrinsic structural features of binary protocols and propose an accurate method for discriminating message types. Our approach uses a similarity measure with continuous value range by comparing feature vectors where vector elements correspond to the fields in a message, rather than discrete byte values. This enables a better recognition of structural patterns, which remain hidden when only exact value matches are considered. We combine Hirschberg alignment with DBSCAN as cluster algorithm to yield a novel inference mechanism. By applying novel autoconfiguration schemes, we do not require manually configured parameters for the analysis of an unknown protocol, as required by earlier approaches. Results of our evaluations show that our approach has considerable advantages in message type identification result quality and also execution performance over previous approaches.


title: Line Hypergraph Convolution Network: Applying Graph Convolution for Hypergraphs

abstract: Network representation learning and node classification in graphs got significant attention due to the invent of different types graph neural networks. Graph convolution network (GCN) is a popular semi-supervised technique which aggregates attributes within the neighborhood of each node. Conventional GCNs can be applied to simple graphs where each edge connects only two nodes. But many modern days applications need to model high order relationships in a graph. Hypergraphs are effective data types to handle such complex relationships. In this paper, we propose a novel technique to apply graph convolution on hypergraphs with variable hyperedge sizes. We use the classical concept of line graph of a hypergraph for the first time in the hypergraph learning literature. Then we propose to use graph convolution on the line graph of a hypergraph. Experimental analysis on multiple real world network datasets shows the merit of our approach compared to state-of-the-arts.


title: Distributed Control Enforcing Group Sparsity in Smart Grids

abstract: In modern smart grids, charging of local energy storage devices is coordinated on a residential level to compensate the volatile aggregated power demand on the time interval of interest. However, this results in a perpetual usage of all batteries which reduces their lifetime. We enforce group sparsity by using an $\ell_{p,q}$-regularization on the control to counteract this phenomenon. This leads to a non-smooth convex optimization problem, for which we propose a tailored Alternating Direction Method of Multipliers algorithm. We elaborate further how to embed it in a Model Predictive Control framework. We show that the proposed scheme yields sparse control while achieving reasonable overall peak shaving by numerical simulations.


title: Constraints on Scalar-Tensor Theory of Gravity by Solar System Tests

abstract: We study the motion of particles in the background of a scalar-tensor theory of gravity in which the scalar field is kinetically coupled to Einstein tensor. We constrain the value of the derivative parameter $z$ through solar system tests. By considering the perihelion precession we obtain the constrain $\sqrt{z}/m_p > 2.6\times 10^{12}$ m, the gravitational red-shift $\frac{\sqrt{z}}{m_{p}}>2.7\times10^{\,10}$ m, the deflection of light $\sqrt{z}/m_p > 1.6 \times 10^{11}$ m, and the gravitational time delay $\sqrt{z}/m_p > 7.9 \times 10^{12}$ m; thereby, our results show that it is possible to constrain the value of the $z$ parameter in agreement with the observational tests that have been considered.


title: On the automorphisms of the Drinfel'd double of a Borel Lie subalgebra

abstract: Let ${\mathfrak g}$ be a complex simple Lie algebra with Borel subalgebra ${\mathfrak b}$. Consider the semidirect product $I{\mathfrak b}={\mathfrak b}\ltimes{\mathfrak b}^*$, where the dual ${\mathfrak b}^*$ of ${\mathfrak b}$, is equipped with the coadjoint action of ${\mathfrak b}$ and is considered as an abelian ideal of $I{\mathfrak b}$. We describe the automorphism group ${\operatorname{Aut}}(I{\mathfrak b})$ of the Lie algebra $I{\mathfrak b}$. In particular we prove that it contains the automorphism group of the extended Dynkin diagram of ${\mathfrak b}$. In type $A_n$, the dihedral subgroup was recently proved to be contained in ${\operatorname{Aut}}(I{\mathfrak b})$ by Dror Bar-Natan and Roland Van Der Veen in arXiv:2002.00697 (where $I{\mathfrak b}$ is denoted by $I{\mathfrak u}_n$). Their construction is handmade and they ask for an explanation: this note fully answers the question.


title: On Some Solutions to Hofstadter's $V$-Recurrence

abstract: In this study, we explore the properties of certain solutions of Hofstadter's famous $V$-recurrence, defined by the nested recurrence relation $V(n)=V(n-V(n-1))+V(n-V(n-4))$. First, we discover the nature behind a finite chaotic meta-Fibonacci sequence in terms of mortality in the $V$-recurrence. Then, we construct a new kind of quasi-periodic solution which suggests a connection with another Hofstadter-Huber recursion, $H(n)= H(n-H(n-2)) + H(n-H(n-3))$.


title: On one class of Orlicz functions

abstract: Answering to a recent question raised by Le\'{s}nik, Maligranda, and Tomaszewski, we prove that there is an Orlicz function $\Phi$ with the upper Matuszewska-Orlicz index equal to $1$ such that the Orlicz space $L_\Phi$ does not satisfy Dunford-Pettis criterion of weak compactness.


title: Floquet engineering of the Luttinger Hamiltonian

abstract: Within the Floquet theory of periodically driven quantum systems, we developed the theory of light-induced modification of electronic states in semiconductor materials described by the Luttinger Hamiltonian (the electronic term $\Gamma_8$). Particularly, exact solutions of the Floquet problem are found for the band edge in the cases of linearly and circularly polarized irradiation. It is shown that the irradiation changes electron effective masses near the band edge, induces anisotropy of the electron dispersion and splits the bands. It is demonstrated that the light-induced band splitting strongly depends on the light polarization. Namely, the circularly polarized light acts similarly to a stationary magnetic field and lifts the spin degeneracy of electron branches, whereas a linearly polarized light does not affect the spin degeneracy and only splits the bands in the center of the Brillouin zone. The present theory can be applied to describe electronic properties of various semiconductor structures irradiated by an electromagnetic field in the broad frequency range.


title: Two-Stream Aural-Visual Affect Analysis in the Wild

abstract: Human affect recognition is an essential part of natural human-computer interaction. However, current methods are still in their infancy, especially for in-the-wild data. In this work, we introduce our submission to the Affective Behavior Analysis in-the-wild (ABAW) 2020 competition. We propose a two-stream aural-visual analysis model to recognize affective behavior from videos. Audio and image streams are first processed separately and fed into a convolutional neural network. Instead of applying recurrent architectures for temporal analysis we only use temporal convolutions. Furthermore, the model is given access to additional features extracted during face-alignment. At training time, we exploit correlations between different emotion representations to improve performance. Our model achieves promising results on the challenging Aff-Wild2 database.


title: Butterfly factorization via randomized matrix-vector multiplications

abstract: This paper presents an adaptive randomized algorithm for computing the butterfly factorization of a $m\times n$ matrix with $m\approx n$ provided that both the matrix and its transpose can be rapidly applied to arbitrary vectors. The resulting factorization is composed of $O(\log n)$ sparse factors, each containing $O(n)$ nonzero entries. The factorization can be attained using $O(n^{3/2}\log n)$ computation and $O(n\log n)$ memory resources. The proposed algorithm applies to matrices with strong and weak admissibility conditions arising from surface integral equation solvers with a rigorous error bound, and is implemented in parallel.


title: Medical Image Registration Using Deep Neural Networks: A Comprehensive Review

abstract: Image-guided interventions are saving the lives of a large number of patients where the image registration problem should indeed be considered as the most complex and complicated issue to be tackled. On the other hand, the recently huge progress in the field of machine learning made by the possibility of implementing deep neural networks on the contemporary many-core GPUs opened up a promising window to challenge with many medical applications, where the registration is not an exception. In this paper, a comprehensive review on the state-of-the-art literature known as medical image registration using deep neural networks is presented. The review is systematic and encompasses all the related works previously published in the field. Key concepts, statistical analysis from different points of view, confiding challenges, novelties and main contributions, key-enabling techniques, future directions and prospective trends all are discussed and surveyed in details in this comprehensive review. This review allows a deep understanding and insight for the readers active in the field who are investigating the state-of-the-art and seeking to contribute the future literature.


title: Feynman Rules for Stochastic Inflationary Correlators

abstract: We elaborate on the functional integral describing the stochastic dynamics of a spectator field during inflation, comparing its diagrammatic expansion to that obtained directly from a perturbative solution of the corresponding Langevin equation. We state Feynman rules for computing arbitrary temporal $n$-point functions and perform some illustrative computations for a $\lambda\phi^4$ interaction, paying attention to the role played by a functional Jacobian determinant in the path integral. We also briefly consider the case when the field contributes to the expansion rate, making the noise multiplicative, which introduces additional vertices.


title: Buoyant flow and instability in a vertical cylindrical porous slab with permeable boundaries

abstract: The basic stationary buoyant flow in a vertical annular porous passage induced by a boundary temperature difference is investigated. The vertical cylindrical boundaries are considered both isothermal and permeable to external fluid reservoirs. There exists a stationary parallel velocity field with a zero flow rate and pure conduction heat transfer. Its linear stability is analysed with normal mode perturbations of the pressure and temperature fields. The transition to convective instability is caused by the basic horizontal temperature gradient. Hence, its nature differs from that of the usual Rayleigh-B\'enard instability. The linear dynamics of the perturbed flow is formulated as an eigenvalue problem, solved numerically. Its solution provides the neutral stability curve at each fixed aspect ratio between the external radius and the internal radius. The critical Rayleigh number triggering the instability is evaluated for different aspect ratios. It is shown that the system becomes more an more unstable as the aspect ratio increases, with the critical Rayleigh number dropping to zero when the aspect ratio tends to infinity.


title: Coherent virtual absorption of light in microring resonators

abstract: Light trapping and radiation process from linear reciprocal photonic resonators is one of the fundamental processes in optical science and engineering. Recently, the concept of coherent virtual absorption (CVA) of light was introduced and investigated for planar and cylindrical optical structures. The key feature of CVA is that by engineering the time-dependence of the excitation waveform, one can temporarily store all the input energy into the optical structure without any leakage. Here we further explore this novel concept in integrated photonic setups made of microring resonators. By using coupled-mode theory (CMT), we derive an analytical expression for CVA in this platform. This in turn allows us to make the connection with the notion of coherent perfect absorption (CPA) as well as extending our analysis to active resonators (having optical gain). We next provide a physical insight into this process by using a simple model made of cascaded beam splitters. Importantly, we confirm our results using a full-wave analysis of realistic material systems. Finally, we discuss the limitation on the CVA process due to waveform mismatch and nonlinear effects.


title: Attend to the beginning: A study on using bidirectional attention for extractive summarization

abstract: Forum discussion data differ in both structure and properties from generic form of textual data such as news. Henceforth, summarization techniques should, in turn, make use of such differences, and craft models that can benefit from the structural nature of discussion data. In this work, we propose attending to the beginning of a document, to improve the performance of extractive summarization models when applied to forum discussion data. Evaluations demonstrated that with the help of bidirectional attention mechanism, attending to the beginning of a document (initial comment/post) in a discussion thread, can introduce a consistent boost in ROUGE scores, as well as introducing a new State Of The Art (SOTA) ROUGE scores on the forum discussions dataset. Additionally, we explored whether this hypothesis is extendable to other generic forms of textual data. We make use of the tendency of introducing important information early in the text, by attending to the first few sentences in generic textual data. Evaluations demonstrated that attending to introductory sentences using bidirectional attention, improves the performance of extractive summarization models when even applied to more generic form of textual data.


title: Bose-Einstein Condensation Beyond the Gross-Pitaevskii Regime

abstract: We consider N bosons in a box with volume one, interacting through a two-body potential with scattering length of the order $N^{-1+\kappa}$, for $\kappa>0$. Assuming that $\kappa\in (0;1/43)$, we show that low-energy states of the system exhibit complete Bose-Einstein condensation by providing explicit bounds on the expectation and on higher moments of the number of excitations.


title: Abstractive Summarization for Low Resource Data using Domain Transfer and Data Synthesis

abstract: Training abstractive summarization models typically requires large amounts of data, which can be a limitation for many domains. In this paper we explore using domain transfer and data synthesis to improve the performance of recent abstractive summarization methods when applied to small corpora of student reflections. First, we explored whether tuning state of the art model trained on newspaper data could boost performance on student reflection data. Evaluations demonstrated that summaries produced by the tuned model achieved higher ROUGE scores compared to model trained on just student reflection data or just newspaper data. The tuned model also achieved higher scores compared to extractive summarization baselines, and additionally was judged to produce more coherent and readable summaries in human evaluations. Second, we explored whether synthesizing summaries of student data could additionally boost performance. We proposed a template-based model to synthesize new data, which when incorporated into training further increased ROUGE scores. Finally, we showed that combining data synthesis with domain transfer achieved higher ROUGE scores compared to only using one of the two approaches.


title: Nonlinear interacting cosmological models after Planck 2018 legacy release and the $H_0$ tension

abstract: Interacting dark energy models are widely renowned for giving an explanation to the cosmic coincidence problem as well as several observational issues. According to the recent observational data, and so far we are concerned with the literature, the choice of the interaction function between dark matter and dark energy is always questionable since there is no such underlying theory that could derive it. Thus, in this work we have raised this issue by proposing two new nonlinear interaction functions and constrain them using cosmic microwave background (CMB) from Planck 2018, baryon acoustic oscillations (BAO), dark energy survey and a measurement of the Hubble constant $H_0$ from Hubble Space Telescope (HST) 2019. The dark energy equation of state is considered to be constant throughout the work and the geometry of the universe is assumed to be homogeneous and isotropic with zero spatial curvature. Our analyses report that a non-zero interaction is always allowed by the observational data and the dark energy equation of state is bent towards the phantom regime. In particular, when $H_0$ from HST is added to Planck 2018+BAO, we find an evidence for a non-zero coupling at more than $2\sigma$ confidence level. Our analyses also report that for both the models, $H_0$ is close to its local measurements and thus alleviating the $H_0$ tension. In particular, one of the interacting models perfectly solves the $H_0$ tension.


title: Homotopical decompositions of simplicial and Vietoris Rips complexes

abstract: Motivated by applications in Topological Data Analysis, we consider decompositions of a simplicial complex induced by a cover of its vertices. We study how the homotopy type of such decompositions approximates the homotopy of the simplicial complex itself. The difference between the simplicial complex and such an approximation is quantitatively measured by means of the so called obstruction complexes. Our general machinery is then specialized to clique complexes, Vietoris-Rips complexes and Vietoris-Rips complexes of metric gluings. For the latter we give metric conditions which allow to recover the first and zero-th homology of the gluing from the respective homologies of the components.


title: Learning graph representations of biochemical networks and its application to enzymatic link prediction

abstract: The complete characterization of enzymatic activities between molecules remains incomplete, hindering biological engineering and limiting biological discovery. We develop in this work a technique, Enzymatic Link Prediction (ELP), for predicting the likelihood of an enzymatic transformation between two molecules. ELP models enzymatic reactions catalogued in the KEGG database as a graph. ELP is innovative over prior works in using graph embedding to learn molecular representations that capture not only molecular and enzymatic attributes but also graph connectivity. We explore both transductive (test nodes included in the training graph) and inductive (test nodes not part of the training graph) learning models. We show that ELP achieves high AUC when learning node embeddings using both graph connectivity and node attributes. Further, we show that graph embedding for predicting enzymatic links improves link prediction by 24% over fingerprint-similarity-based approaches. To emphasize the importance of graph embedding in the context of biochemical networks, we illustrate how graph embedding can also guide visualization. The code and datasets are available through https://github.com/HassounLab/ELP.


title: Adaptive super-twisting observer for fault reconstruction in electro-hydraulic systems

abstract: An adaptive-gain super-twisting sliding mode observer is proposed for fault reconstruction in electro-hydraulic servo systems (EHSS) receiving bounded perturbations with unknown bounds. The objective is to address challenging problems in classic sliding mode observers: chattering effect, conservatism of observer gains, strong condition on the distribution of faults and uncertainties. In this paper, the proposed super-twisting sliding mode observer relaxes the condition on the distribution of uncertainties and faults, and the gain adaptation law leads to eliminate observer gain overestimation and attenuate chattering effects. After using the equivalent output-error-injection feature of sliding mode techniques, a fault reconstruction strategy is proposed. The experimental results are presented, confirming the effectiveness of the proposed adaptive super-twisting observer for precise fault reconstruction in electro-hydraulic servo systems.


title: Vanishing of Nil-terms and negative K-theory for additive categories

abstract: We extend the notion of regular coherence from rings to additive categories and show that well-known consequences of regular coherence for rings also apply to additive categories. For instance the negative K-groups and all twisted Nil-groups vanish for an additive category if it is regular coherent. This will be applied to nested sequences of additive categories, motivated by our ongoing project to determine the algebraic K-theory of the Hecke algebra of a reductive p-adic group.


title: Computer-Aided Assessment of Catheters and Tubes on Radiographs: How Good is Artificial Intelligence for Assessment?

abstract: Catheters are the second most common abnormal finding on radiographs. The position of catheters must be assessed on all radiographs, as serious complications can arise if catheters are malpositioned. However, due to the large number of radiographs performed each day, there can be substantial delays between the time a radiograph is performed and when it is interpreted by a radiologist. Computer-aided approaches hold the potential to assist in prioritizing radiographs with potentially malpositioned catheters for interpretation and automatically insert text indicating the placement of catheters in radiology reports, thereby improving radiologists' efficiency. After 50 years of research in computer-aided diagnosis, there is still a paucity of study in this area. With the development of deep learning approaches, the problem of catheter assessment is far more solvable. Therefore, we have performed a review of current algorithms and identified key challenges in building a reliable computer-aided diagnosis system for assessment of catheters on radiographs. This review may serve to further the development of machine learning approaches for this important use case.


title: Improved Estimator of the Conditional Tail Expectation in the case of heavy-tailed losses

abstract: In this paper, we investigate the extreme-value methodology, to propose an improved estimator of the conditional tail expectation ($CTE$) for a loss distribution with a finite mean but infinite variance. The present work introduces a new estimator of the $CTE$ based on the bias-reduced estimators of high quantile for heavy-tailed distributions. The asymptotic normality of the proposed estimator is established and checked, in a simulation study. Moreover, we compare, in terms of bias and mean squared error, our estimator with the known old estimator.


title: Monotone probability distributions over the Boolean cube can be learned with sublinear samples

abstract: A probability distribution over the Boolean cube is monotone if flipping the value of a coordinate from zero to one can only increase the probability of an element. Given samples of an unknown monotone distribution over the Boolean cube, we give (to our knowledge) the first algorithm that learns an approximation of the distribution in statistical distance using a number of samples that is sublinear in the domain. To do this, we develop a structural lemma describing monotone probability distributions. The structural lemma has further implications to the sample complexity of basic testing tasks for analyzing monotone probability distributions over the Boolean cube: We use it to give nontrivial upper bounds on the tasks of estimating the distance of a monotone distribution to uniform and of estimating the support size of a monotone distribution. In the setting of monotone probability distributions over the Boolean cube, our algorithms are the first to have sample complexity lower than known lower bounds for the same testing tasks on arbitrary (not necessarily monotone) probability distributions. One further consequence of our learning algorithm is an improved sample complexity for the task of testing whether a distribution on the Boolean cube is monotone.


title: HotFuzz: Discovering Algorithmic Denial-of-Service Vulnerabilities Through Guided Micro-Fuzzing

abstract: Contemporary fuzz testing techniques focus on identifying memory corruption vulnerabilities that allow adversaries to achieve either remote code execution or information disclosure. Meanwhile, Algorithmic Complexity (AC)vulnerabilities, which are a common attack vector for denial-of-service attacks, remain an understudied threat. In this paper, we present HotFuzz, a framework for automatically discovering AC vulnerabilities in Java libraries. HotFuzz uses micro-fuzzing, a genetic algorithm that evolves arbitrary Java objects in order to trigger the worst-case performance for a method under test. We define Small Recursive Instantiation (SRI) as a technique to derive seed inputs represented as Java objects to micro-fuzzing. After micro-fuzzing, HotFuzz synthesizes test cases that triggered AC vulnerabilities into Java programs and monitors their execution in order to reproduce vulnerabilities outside the fuzzing framework. HotFuzz outputs those programs that exhibit high CPU utilization as witnesses for AC vulnerabilities in a Java library. We evaluate HotFuzz over the Java Runtime Environment (JRE), the 100 most popular Java libraries on Maven, and challenges contained in the DARPA Space and Time Analysis for Cybersecurity (STAC) program. We evaluate SRI's effectiveness by comparing the performance of micro-fuzzing with SRI, measured by the number of AC vulnerabilities detected, to simply using empty values as seed inputs. In this evaluation, we verified known AC vulnerabilities, discovered previously unknown AC vulnerabilities that we responsibly reported to vendors, and received confirmation from both IBM and Oracle. Our results demonstrate that micro-fuzzing finds AC vulnerabilities in real-world software, and that micro-fuzzing with SRI-derived seed inputs outperforms using empty values.


title: On the Kodaira dimension of the moduli space of hyperelliptic curves with marked points

abstract: It is known that the moduli space $\overline{\mathcal{H}}_{g,n}$ of genus $g$ stable hyperelliptic curves with $n$ marked points is uniruled for $n \leq 4g+5$. In this paper we consider the complementary case. We calculate the canonical divisor of $\overline{\mathcal{H}}_{g,n}$ and show that it is effective for $n=4g+6$ and big for $n\leq 4g+7$. This leads us to conjecture that $\overline{\mathcal{H}}_{g,n}$ has non-negative Kodaira dimension for $n = 4g+6$ and is of general type for $n \geq 4g+7$.


title: Fujita modified exponent for scale invariant damped semilinear wave equations

abstract: The aim of this paper is to prove a blow up result of the solution for a semilinear scale invariant damped wave equation under a suitable decay condition on radial initial data. The admissible range for the power of the nonlinear term depends both on the damping coefficient and on the pointwise decay order of the initial data. In addition we give an upper bound estimate for the lifespan of the solution, in terms of the power of the nonlinearity, size and growth of initial data.


title: The Alzheimer's Disease Prediction Of Longitudinal Evolution (TADPOLE) Challenge: Results after 1 Year Follow-up

abstract: We present the findings of "The Alzheimer's Disease Prediction Of Longitudinal Evolution" (TADPOLE) Challenge, which compared the performance of 92 algorithms from 33 international teams at predicting the future trajectory of 219 individuals at risk of Alzheimer's disease. Challenge participants were required to make a prediction, for each month of a 5-year future time period, of three key outcomes: clinical diagnosis, Alzheimer's Disease Assessment Scale Cognitive Subdomain (ADAS-Cog13), and total volume of the ventricles. The methods used by challenge participants included multivariate linear regression, machine learning methods such as support vector machines and deep neural networks, as well as disease progression models. No single submission was best at predicting all three outcomes. For clinical diagnosis and ventricle volume prediction, the best algorithms strongly outperform simple baselines in predictive ability. However, for ADAS-Cog13 no single submitted prediction method was significantly better than random guesswork. Two ensemble methods based on taking the mean and median over all predictions, obtained top scores on almost all tasks. Better than average performance at diagnosis prediction was generally associated with the additional inclusion of features from cerebrospinal fluid (CSF) samples and diffusion tensor imaging (DTI). On the other hand, better performance at ventricle volume prediction was associated with inclusion of summary statistics, such as the slope or maxima/minima of biomarkers. TADPOLE's unique results suggest that current prediction algorithms provide sufficient accuracy to exploit biomarkers related to clinical diagnosis and ventricle volume, for cohort refinement in clinical trials for Alzheimer's disease. However, results call into question the usage of cognitive test scores for patient selection and as a primary endpoint in clinical trials.


title: Mapping low-dimensional dynamics to high-dimensional neural activity: A derivation of the ring model from the neural engineering framework

abstract: Empirical estimates of the dimensionality of neural population activity are often much lower than the population size. Similar phenomena are also observed in trained and designed neural network models. These experimental and computational results suggest that mapping low-dimensional dynamics to high-dimensional neural space is a common feature of cortical computation. Despite the ubiquity of this observation, the constraints arising from such mapping are poorly understood. Here we consider a specific example of mapping low-dimensional dynamics to high-dimensional neural activity -- the neural engineering framework. We analytically solve the framework for the classic ring model -- a neural network encoding a static or dynamic angular variable. Our results provide a complete characterization of the success and failure modes for this model. Based on similarities between this and other frameworks, we speculate that these results could apply to more general scenarios.


title: Certified Robustness of Community Detection against Adversarial Structural Perturbation via Randomized Smoothing

abstract: Community detection plays a key role in understanding graph structure. However, several recent studies showed that community detection is vulnerable to adversarial structural perturbation. In particular, via adding or removing a small number of carefully selected edges in a graph, an attacker can manipulate the detected communities. However, to the best of our knowledge, there are no studies on certifying robustness of community detection against such adversarial structural perturbation. In this work, we aim to bridge this gap. Specifically, we develop the first certified robustness guarantee of community detection against adversarial structural perturbation. Given an arbitrary community detection method, we build a new smoothed community detection method via randomly perturbing the graph structure. We theoretically show that the smoothed community detection method provably groups a given arbitrary set of nodes into the same community (or different communities) when the number of edges added/removed by an attacker is bounded. Moreover, we show that our certified robustness is tight. We also empirically evaluate our method on multiple real-world graphs with ground truth communities.


title: On semiconvex sets in the plane

abstract: The present work considers the properties of classes of generally convex sets in the plane known as $1$-semiconvex and weakly $1$-semiconvex. More specifically, the examples of open and closed weakly $1$-semiconvex but non $1$-semiconvex sets with smooth boundary in the plane are constructed. It is proved that such sets consist of minimum four connected components. In addition, the example of closed, weakly $1$-semiconvex, and non $1$-semiconvex set in the plane consisting of three connected components is constructed. It is proved that such a number of components is minimal for any closed, weakly $1$-semiconvex, and non $1$-semiconvex set in the plane.


title: On stability of linear dynamic systems with hysteresis feedback

abstract: The stability of linear dynamic systems with hysteresis in feedback is considered. While the absolute stability for memoryless nonlinearities (known as Lure's problem) can be proved by the well-known circle criterion, the multivalued rate-independent hysteresis poses significant challenges for feedback systems, especially for proof of convergence to an equilibrium state correspondingly set. The dissipative behavior of clockwise input-output hysteresis is considered with two boundary cases of energy losses at reversal cycles. For upper boundary cases of maximal (parallelogram shape) hysteresis loop, an equivalent transformation of the closed-loop system is provided. This allows for the application of the circle criterion of absolute stability. Invariant sets as a consequence of hysteresis are discussed. Several numerical examples are demonstrated, including a feedback-controlled double-mass harmonic oscillator with hysteresis and one stable and one unstable poles configuration.


title: Weighted Dyck paths for nonstationary queues

abstract: We consider a model for a queue in which only a fixed number $N$ of customers can join. Each customer joins the queue independently at an exponentially distributed time. Assuming further that the service times are independent and follow an exponential distribution, this system can be described as a two-dimensional Markov process on a finite triangular region $\mathfrak S$ of the square lattice. We interpret the resulting random walk on $\mathfrak S$ as a Dyck path that is weighted according to some state-dependent transition probabilities that are constant along one axis, but are rather general otherwise. We untangle the resulting intricate combinatorial structure by introducing appropriate generating functions that exploit the recursive structure of the model. This allows us to derive a fully explicit expression for the probability density function of the number of customers served in any busy period (equivalently, of the length of any excursion of the Dyck path above the diagonal) as a weighted sum with alternating sign over a certain subclass of Dyck paths, whose study is of independent interest.


title: Cyclic Boosting -- an explainable supervised machine learning algorithm

abstract: Supervised machine learning algorithms have seen spectacular advances and surpassed human level performance in a wide range of specific applications. However, using complex ensemble or deep learning algorithms typically results in black box models, where the path leading to individual predictions cannot be followed in detail. In order to address this issue, we propose the novel "Cyclic Boosting" machine learning algorithm, which allows to efficiently perform accurate regression and classification tasks while at the same time allowing a detailed understanding of how each individual prediction was made.


title: $\lambda$-Differential operators and $\lambda$-differential modules for the Virasoro algebra

abstract: The concept of $\lambda$-differential operators is a natural generalization of differential operators and difference operators. In this paper, we determine the $\lambda$-differential Lie algebraic structure on the Witt algebra and the Virasoro algebra for invertible $\lambda$. Then we consider several families of modules over the Virasoro algebra with explicit module actions and determine the $\lambda$-differential module structures on them.


title: Graph Neural Distance Metric Learning with Graph-Bert

abstract: Graph distance metric learning serves as the foundation for many graph learning problems, e.g., graph clustering, graph classification and graph matching. Existing research works on graph distance metric (or graph kernels) learning fail to maintain the basic properties of such metrics, e.g., non-negative, identity of indiscernibles, symmetry and triangle inequality, respectively. In this paper, we will introduce a new graph neural network based distance metric learning approaches, namely GB-DISTANCE (GRAPH-BERT based Neural Distance). Solely based on the attention mechanism, GB-DISTANCE can learn graph instance representations effectively based on a pre-trained GRAPH-BERT model. Different from the existing supervised/unsupervised metrics, GB-DISTANCE can be learned effectively in a semi-supervised manner. In addition, GB-DISTANCE can also maintain the distance metric basic properties mentioned above. Extensive experiments have been done on several benchmark graph datasets, and the results demonstrate that GB-DISTANCE can out-perform the existing baseline methods, especially the recent graph neural network model based graph metrics, with a significant gap in computing the graph distance.


title: Improving Neural Network Learning Through Dual Variable Learning Rates

abstract: This paper introduces and evaluates a novel training method for neural networks: Dual Variable Learning Rates (DVLR). Building on insights from behavioral psychology, the dual learning rates are used to emphasize correct and incorrect responses differently, thereby making the feedback to the network more specific. Further, the learning rates are varied as a function of the network's performance, thereby making it more efficient. DVLR was implemented on three types of networks: feedforward, convolutional, and residual, and two domains: MNIST and CIFAR-10. The results suggest a consistently improved accuracy, demonstrating that DVLR is a promising, psychologically motivated technique for training neural network models.


title: Viscoelasticity induced onset of slip at the wall for polymer fluids

abstract: The progressive onset of slip at the wall, which corresponds to a slip length increasing with the solicitation time before reaching a plateau, has been investigated for model viscoelastic polymer solutions, allowing one to vary the longest relaxation time while keeping constant solid - fluid interactions. A hydrodynamic model based on a Maxwell fluid and the classical Navier's hypothesis of a linear response for the friction stress at the interface fully accounts for the data, without any adjustable parameter. No viscoelastic response needs be postulated for the friction, reflecting the local character of solid-liquid friction mechanisms.


title: Fixed points of the Ruelle-Thurston operator and the Cauchy transform

abstract: We give necessary and sufficient conditions for a function in a naturally appearing functional space to be a fixed point of the Ruelle-Thurston operator associated to a rational function, see Lemma 2.1. The proof uses essentially a recent [13]. As an immediate consequence, we revisit Theorem 1 and Lemma 5.2 of [11], see Theorem 1 and Lemma 2.2 below.


title: A note on larger orbit size

abstract: In this note, we present an improvement on the large orbit result of Halasi and Podoski, and then answer an open question raised by Chen, Cossey, Lewis, and Tong-Viet.


title: On the distance between two neural networks and the stability of learning

abstract: This paper relates parameter distance to gradient breakdown for a broad class of nonlinear compositional functions. The analysis leads to a new distance function called deep relative trust and a descent lemma for neural networks. Since the resulting learning rule seems to require little to no learning rate tuning, it may unlock a simpler workflow for training deeper and more complex neural networks. The Python code used in this paper is here: https://github.com/jxbz/fromage.


title: Importance-Driven Deep Learning System Testing

abstract: Deep Learning (DL) systems are key enablers for engineering intelligent applications due to their ability to solve complex tasks such as image recognition and machine translation. Nevertheless, using DL systems in safety- and security-critical applications requires to provide testing evidence for their dependable operation. Recent research in this direction focuses on adapting testing criteria from traditional software engineering as a means of increasing confidence for their correct behaviour. However, they are inadequate in capturing the intrinsic properties exhibited by these systems. We bridge this gap by introducing DeepImportance, a systematic testing methodology accompanied by an Importance-Driven (IDC) test adequacy criterion for DL systems. Applying IDC enables to establish a layer-wise functional understanding of the importance of DL system components and use this information to assess the semantic diversity of a test set. Our empirical evaluation on several DL systems, across multiple DL datasets and with state-of-the-art adversarial generation techniques demonstrates the usefulness and effectiveness of DeepImportance and its ability to support the engineering of more robust DL systems.


title: Modified Stokes drift due to surface waves and corrugated sea-floor interactions with and without a mean current

abstract: In this paper, we show that Stokes drift may be significantly affected when an incident intermediate or shallow water surface wave travels over a corrugated sea-floor. The underlying mechanism is Bragg resonance -- reflected waves generated via nonlinear resonant interactions between an incident wave and a rippled bottom. We theoretically explain the fundamental effect of two counter-propagating Stokes waves on Stokes drift and then perform numerical simulations of Bragg resonance using High-order Spectral method. A monochromatic incident wave on interaction with a patch of bottom ripple yields a complex interference between the incident and reflected waves. When the velocity induced by the reflected waves exceeds that of the incident, particle trajectories reverse, leading to a backward drift. Lagrangian and Lagrangian-mean trajectories reveal that surface particles near the up-wave side of the patch are either trapped or reflected, implying that the rippled patch acts as a non-surface-invasive particle trap or reflector. On increasing the length and amplitude of the rippled patch; reflection, and thus the effectiveness of the patch, increases. The inclusion of realistic constant current shows noticeable differences between Lagrangian-mean trajectories with and without the rippled patch. Theoretical analysis reveals additional terms in the Stokes drift arising from the particular solution due to mean-current--bottom-ripple interactions, irrespective of whether Bragg resonance condition is met. Our analyses may be useful for designing artificial, corrugated sea-floor patches for mitigating microplastics and other forms of ocean pollution. We also expect that sea-floor corrugations, especially in the nearshore region, may significantly affect oceanic tracer transport.


title: Burgess bounds for short character sums evaluated at forms II: the mixed case

abstract: This work proves a Burgess bound for short mixed character sums in $n$ dimensions. The non-principal multiplicative character of prime conductor $q$ may be evaluated at any "admissible" form, and the additive character may be evaluated at any real-valued polynomial. The resulting upper bound for the mixed character sum is nontrivial when the length of the sum is at least $q^{\beta}$ with $\beta> 1/2 - 1/(2(n+1))$ in each coordinate. This work capitalizes on the recent stratification of multiplicative character sums due to Xu, and the resolution of the Vinogradov Mean Value Theorem in arbitrary dimensions.


title: K\"{a}hler-Norden structures on Hom-Lie group and Hom-Lie algebras

abstract: In the present paper, we describe two geometric notions, holomorphic Norden structures and K\"{a}hler-Norden structures on Hom-Lie groups, and prove that on Hom-Lie groups in the left invariant setting, these structures are related to each other. We study K\"{a}hler-Norden structures with abelian complex structures and give the curvature properties of holomorphic Norden structures on Hom-Lie groups. Finally, we show that any left-invariant holomorphic Hom-Lie group is a flat (holomorphic Norden Hom-Lie algebra carries a Hom-Left-symmetric algebra) if its left-invariant complex structure (complex structure) is abelian.


title: Network-Agnostic State Machine Replication

abstract: We study the problem of state machine replication (SMR)---the underlying problem addressed by blockchain protocols---in the presence of a malicious adversary who can corrupt some fraction of the parties running the protocol. Existing protocols for this task assume either a synchronous network (where all messages are delivered within some known time $\Delta$) or an asynchronous network (where messages can be delayed arbitrarily). Although protocols for the latter case give seemingly stronger guarantees, this is not the case since they (inherently) tolerate a lower fraction of corrupted parties. We design an SMR protocol that is network-agnostic in the following sense: if it is run in a synchronous network, it tolerates $t_s$ corrupted parties; if the network happens to be asynchronous it is resilient to $t_a \leq t_s$ faults. Our protocol achieves optimal tradeoffs between $t_s$ and $t_a$.


title: Limits of Detecting Text Generated by Large-Scale Language Models

abstract: Some consider large-scale language models that can generate long and coherent pieces of text as dangerous, since they may be used in misinformation campaigns. Here we formulate large-scale language model output detection as a hypothesis testing problem to classify text as genuine or generated. We show that error exponents for particular language models are bounded in terms of their perplexity, a standard measure of language generation performance. Under the assumption that human language is stationary and ergodic, the formulation is extended from considering specific language models to considering maximum likelihood language models, among the class of k-order Markov approximations; error probabilities are characterized. Some discussion of incorporating semantic side information is also given.


title: Nonstandard Quantum Complex Projective Line

abstract: In our attempt to explore how the quantum nonstandard complex projective spaces $\mathbb{C}P_{q,c}^{n}$ studied by Korogodsky, Vaksman, Dijkhuizen, and Noumi are related to those arising from the geometrically constructed Bohr-Sommerfeld groupoids by Bonechi, Ciccoli, Qiu, Staffolani, and Tarlini, we were led to establish the known identification of $C\big(\mathbb{C}P_{q,c}^{1}\big) $ with the pull-back of two copies of the Toeplitz $C^*$-algebra along the symbol map in a more direct way via an operator theoretic analysis, which also provides some interesting non-obvious details, such as a prominent generator of $C\big(\mathbb{C}P_{q,c}^{1}\big) $ being a concrete weighted double shift.


title: The damped wave equation with singular damping

abstract: We analyze the spectral properties and peculiar behavior of solutions of a damped wave equation on a finite interval with a singular damping of the form $\alpha/x$, $\alpha>0$. We establish the exponential stability of the semigroup for all positive $\alpha$, and determine conditions for the spectrum to consist of a finite number of eigenvalues. As a consequence, we fully characterize the set of initial conditions for which there is extinction of solutions in finite time. Finally, we propose two open problems related to extremal decay rates of solutions.


title: Miller-Abrahams random resistor network, Mott random walk and 2-scale homogenization

abstract: The Miller-Abrahams (MA) random resistor network is given by a complete graph on a marked simple point process with edge conductivities depending on the marks and decaying exponentially in the edge length. As Mott random walk, it is an effective model to study Mott variable range hopping in amorphous solids as doped semiconductors. By using 2-scale homogenization we prove that a.s. the infinite volume conductivity of the MA resistor network is given by an effective homogenized matrix $D$. Moreover $D$ admits a variational characterization and equals the limiting diffusion matrix of Mott random walk. This result clarifies the relation between the two models and it also allows to extend to the MA resistor network the existing bounds on $D$ in agreement with the physical Mott law [12,14]. The latter concerns the low temperature stretched exponential decay of conductivity in amorphous solids. The techniques developed here can be applied to other models, as e.g. the random conductance model [11], without ellipticity assumptions.


title: On the Origin of the Globular Cluster FSR 1758

abstract: Globular clusters in the Milky Way are thought to have either an {\it in situ} origin, or to have been deposited in the Galaxy by past accretion events, like the spectacular Sagittarius dwarf galaxy merger. We aim to probe the origin of the recently discovered globular cluster FSR 1758, often associated with some past merger event, and which happens to be projected toward the Galactic bulge, by a detailed study of its Galactic orbit, and to assign it to the most suitable Galactic component. We employ three different analytical time-independent potential models to calculate the orbit of the cluster by using the Gauss Radau spacings integration method. In addition, a time-dependent bar potential model is added to account for the influence of the Galactic bar. We run a large suite of simulations to account for the uncertainties in the initial conditions, in a Montecarlo fashion. We confirm previous indications that the globular cluster FSR 1758 possesses a retrograde orbits with high eccentricity. The comparative analysis of the orbital parameters of star clusters in the Milky Way, in tandem with recent metallicity estimates, allows us to conclude that FSR1758 is indeed a Galactic bulge intruder. The cluster can therefore be considered an old metal poor halo globular cluster formed {\it in situ} and which is passing right now in the bulge region. Its properties, however, can be roughly accounted for also assuming that the cluster is part of some stream of extra-Galactic origin. We conclude that assessing the origin, either Galactic or extra-galactic, of globular clusters is surely a tantalising task. In any case, by using an {\it Occam's razor} argument, we tend to prefer an {\it in situ} origin for FSR 1758.


title: Optimal polynomial-time compression for Boolean Max CSP

abstract: In the Boolean maximum constraint satisfaction problem - Max CSP$(\Gamma)$ - one is given a collection of weighted applications of constraints from a finite constraint language $\Gamma$, over a common set of variables, and the goal is to assign Boolean values to the variables so that the total weight of satisfied constraints is maximized. There exists an elegant dichotomy theorem providing a criterion on $\Gamma$ for the problem to be polynomial-time solvable and stating that otherwise it becomes NP-hard. We study the NP hard cases through the lens of kernelization and provide a complete characterization of Max CSP$(\Gamma)$ with respect to the optimal compression size. Namely, we prove that Max CSP$(\Gamma)$ parameterized by the number of variables $n$ is either polynomial-time solvable, or there exists an integer $d \ge 2$ depending on $\Gamma$, such that 1. An instance of \textsc{Max CSP$(\Gamma)$} can be compressed into an equivalent instance with $O(n^d\log n)$ bits in polynomial time, 2. Max CSP$(\Gamma)$ does not admit such a compression to $O(n^{d-\epsilon})$ bits unless $\text{NP} \subseteq \text{co-NP} / \text{poly}$. Our reductions are based on interpreting constraints as multilinear polynomials combined with the framework of constraint implementations. As another application of our reductions, we reveal tight connections between optimal running times for solving Max CSP$(\Gamma)$. More precisely, we show that obtaining a running time of the form $O(2^{(1-\epsilon)n})$ for particular classes of Max CSPs is as hard as breaching this barrier for Max $d$-SAT for some $d$.


title: Robust binary classification with the 01 loss

abstract: The 01 loss is robust to outliers and tolerant to noisy data compared to convex loss functions. We conjecture that the 01 loss may also be more robust to adversarial attacks. To study this empirically we have developed a stochastic coordinate descent algorithm for a linear 01 loss classifier and a single hidden layer 01 loss neural network. Due to the absence of the gradient we iteratively update coordinates on random subsets of the data for fixed epochs. We show our algorithms to be fast and comparable in accuracy to the linear support vector machine and logistic loss single hidden layer network for binary classification on several image benchmarks, thus establishing that our method is on-par in test accuracy with convex losses. We then subject them to accurately trained substitute model black box attacks on the same image benchmarks and find them to be more robust than convex counterparts. On CIFAR10 binary classification task between classes 0 and 1 with adversarial perturbation of 0.0625 we see that the MLP01 network loses 27\% in accuracy whereas the MLP-logistic counterpart loses 83\%. Similarly on STL10 and ImageNet binary classification between classes 0 and 1 the MLP01 network loses 21\% and 20\% while MLP-logistic loses 67\% and 45\% respectively. On MNIST that is a well-separable dataset we find MLP01 comparable to MLP-logistic and show under simulation how and why our 01 loss solver is less robust there. We then propose adversarial training for our linear 01 loss solver that significantly improves its robustness on MNIST and all other datasets and retains clean test accuracy. Finally we show practical applications of our method to deter traffic sign and facial recognition adversarial attacks. We discuss attacks with 01 loss, substitute model accuracy, and several future avenues like multiclass, 01 loss convolutions, and further adversarial training.


title: The architecture of co-culture spheroids regulates tumor invasion within a 3D extracellular matrix

abstract: Tumor invasion, the process by which tumor cells break away from their primary tumor and gain access to vascular systems, is an important step in cancer metastasis. Most current 3D tumor invasion assays consisted of single tumor cells embedded within an extracellular matrix (ECM). These assays taught us much of what we know today on how key biophysical (e.g. ECM stiffness) and biochemical (e.g. cytokine gradients) parameters within the tumor microenvironment guided and regulated tumor invasion. One limitation of the single tumor cell invasion assay was that it did not account for cell-cell adhesion within the tumor. In this article, we developed a micrometer scale 3D co-culture spheroid invasion assay that was compatible with microscopic imaging. Micrometer scale co-culture spheroids (1:1 ratio of metastatic breast cancer MDA-MB-231 and non-tumorigenic epithelial MCF-10A cells) were made using an array of microwells, and then were embedded within a collagen matrix in a microfluidic platform. Real time imaging of tumor spheroid invasion revealed that the spatial distribution of the two cell types within the tumor spheroid critically regulated tumor invasion. This work linked tumor architecture with tumor invasion and highlighted the importance of the biophysical cues within the bulk of the tumor in tumor invasion.


title: Identification of filamentary structures in the environment of superclusters of galaxies in the Local Universe

abstract: The characterization of the internal structure of the superclusters of galaxies (walls, filaments and knots where the clusters are located) is paramount for understanding the formation of the Large Scale Structure and for outlining the environment where galaxies evolved in the last Gyr. (i) To detect the compact regions of high relative density (clusters and rich groups of galaxies); (ii) to map the elongated structures of low relative density (filaments, bridges and tendrils of galaxies); (iii) to characterize the galaxy populations on filaments and study the environmental effects they are subject to. We employed optical galaxies with spectroscopic redshifts from the SDSS-DR13 inside rectangular boxes encompassing the volumes of a sample of 46 superclusters of galaxies, up to z=0.15. Our methodology implements different classical pattern recognition and machine learning techniques pipelined in the Galaxy Systems-Finding algorithm and the Galaxy Filaments-Finding algorithm. We detected in total 2,705 galaxy systems (clusters and groups, of which 159 are new) and 144 galaxy filaments in the 46 superclusters of galaxies. The filaments we detected have a density contrast above 3, with a mean value around 10, a radius of about 2.5 Mpc and lengths between 9 and 130 Mpc. Correlations between the galaxy properties (mass, morphology and activity) and the environment in which they reside (systems, filaments and the dispersed component) suggest that galaxies closer to the skeleton of the filaments are more massive by up to 25% compared to those in the dispersed component; 70 % of the galaxies in the filament region present early type morphologies and the fractions of active galaxies (both AGN and SF) seem to decrease as galaxies approach the filament. These results suggest that preprocessing in large scale filaments could have significant effects on galaxy evolution.


title: MathOptInterface: a data structure for mathematical optimization problems

abstract: We introduce MathOptInterface, an abstract data structure for representing mathematical optimization problems based on combining pre-defined functions and sets. MathOptInterface is significantly more general than existing data structures in the literature, encompassing, for example, a spectrum of problems classes from integer programming with indicator constraints to bilinear semidefinite programming. We also outline an automated rewriting system between equivalent formulations of a constraint. MathOptInterface has been implemented in practice, forming the foundation of a recent rewrite of JuMP, an open-source algebraic modeling language in the Julia language. The regularity of the MathOptInterface representation leads naturally to a general file format for mathematical optimization we call MathOptFormat. In addition, the automated rewriting system provides modeling power to users while making it easy to connect new solvers to JuMP.


title: Kelly Criterion: From a Simple Random Walk to L\'{e}vy Processes

abstract: The original Kelly criterion provides a strategy to maximize the long-term growth of winnings in a sequence of simple Bernoulli bets with an edge, that is, when the expected return on each bet is positive. The objective of this work is to consider more general models of returns and the continuous time, or high frequency, limits of those models.


title: Spin(7) metrics from K\"ahler Geometry

abstract: We investigate the $\mathbb{T}^2$-quotient of a torsion free $Spin(7)$-structure on an $8$-manifold under the assumption that the quotient $6$-manifold is K\"ahler. We show that there exists either a Hamiltonian $S^1$ or $\mathbb{T}^2$ action on the quotient preserving the complex structure. Performing a K\"ahler reduction in each case reduces the problem of finding $Spin(7)$ metrics to studying a system of PDEs on either a $4$- or $2$-manifold with trivial canonical bundle, which in the compact case corresponds to either $\mathbb{T}^4$, a K3 surface or an elliptic curve. By reversing this construction we give infinitely many new explicit examples of $Spin(7)$ holonomy metrics. In the simplest case, our result can be viewed as an extension of the Gibbons-Hawking ansatz.


title: Black holes in Einstein-aether theory: Quasinormal modes and time-domain evolution

abstract: We propose accurate calculations of quasinormal modes of black holes in the Einstein-aether theory, which were previously considered in the literature, partially, with insufficient accuracy. We also show that the arbitrarily long-lived modes, quasiresonances, are allowed in the Einstein-aether theory as well and demonstrate that the asymptotic tails, unlike quasinormal frequencies, are indistinguishable from those in the Einstein theory.


title: A Novel Method for Spectrum Sensing of Linear Modulation Schemes

abstract: In this paper, we propose and evaluate a novel algorithm for performing spectrum sensing on linear modulations based on second-order cyclic features of the received signals. The proposed approach has similar computational complexity to that of energy detection and outperforms energy detection and other sensing schemes such as Eigenvalue based sensing in the presence of noise uncertainties for a given value of the probability of false alarm.


title: Estimation of Critical Temperature of High-Temperature Superconductors from AC susceptibility measurements using a pair of Neural Networks

abstract: This paper demonstrates the method of estimation of critical temperature Tc value of high-temperature superconductors from the dispersive part of AC susceptibility measurement using a pair of neural networks.


title: On the peculiar torque reversals and the X-ray luminosity history of the accretion-powered X-ray pulsar 4U 1626--67

abstract: We have investigated the rotational and the X-ray luminosity ($L_{\mathrm{x}}$) observations of 4U 1626--67 accumulated during the last four decades. It has been recorded that the source underwent a torque reversal twice. We have tried to understand whether this eccentrical sign-switch of the period derivative ($\dot{P}$) of the source could be accounted for with the existing torque models. We have found that the observed source properties are better estimated with the distances close to the lower limit of the previously predicted distance range ($5-13$ kpc). Furthermore, assuming an inclined rotator, we have considered the partial accretion/ejection from the co-rotation radius that leads different $L_{\mathrm{x}}$-$\dot{P}$ profiles than the aligned rotator cases. We have concluded that the oblique rotator assumption brings at least equally best fitting to the observed X-ray luminosity and the rotational properties of 4U 1626--67. More importantly, the estimated change of the mass accretion rate which causes the change in observed $L_{\mathrm{x}}$ of 4U 1626--67 is much less than that is found in an aligned rotator case. In other words, without the need for a substantial modification of mass accretion rate from the companion star, the range of the observed X-ray luminosity could be explained naturally with an inclined magnetic axis and rotation axis of the neutron star.


title: Intelligent Receivers for Electronic Warfare Applications

abstract: In this paper, we propose an algorithm to perform modulation classification on a 5-class problem consisting of AM, 2-PSK, 4-PSK, 8-PSK and 16-QAM modulation schemes using a combination of features based on the first order cyclostationarity, second- and higher-order moments, and then extend the idea of classification to an intelligent receiver which classifies and demodulates the signal without prior information regarding the transmitted signal.


title: Rotation periods from the inflection point in the power spectrum of stellar brightness variations: II. The Sun

abstract: Young and active stars generally have regular, almost sinusoidal, patterns of variability attributed to their rotation, while the majority of older and less active stars, including the Sun, have more complex and non-regular light-curves which do not have clear rotational-modulation signals. Consequently, the rotation periods have been successfully determined only for a small fraction of the Sun-like stars observed by transit-based planet-hunting missions, such as CoRoT, Kepler, and TESS. This suggests that only a small fraction of such systems have been properly identified as solar-like analogs. We apply a new method for determining rotation periods of low-activity stars, like the Sun. The method is based on calculating the gradient of the power spectrum (GPS) of stellar brightness variations and identifying a tell-tale inflection point in the spectrum. The rotation frequency is then proportional to the frequency of that inflection point. In this paper test this GPS method against available photometric records of the Sun. We apply GPS, autocorrelation functions, Lomb-Scargle periodograms, and wavelet analyses to the total solar irradiance (TSI) time series obtained from the Total Irradiance Monitor (TIM) on the Solar Radiation and Climate Experiment (SORCE) and the Variability of solar IRradiance and Gravity Oscillations (VIRGO) experiment on the SOlar and Heliospheric Observatory (SoHO) missions. We analyse the performance of all methods at various levels of solar activity. We show that the GPS method returns accurate values of solar rotation independently of the level of solar activity. In particular, it performs well during periods of high solar activity, when TSI variability displays an irregular pattern and other methods fail. Our results suggest that the GPS method can successfully determine the rotational periods of stars with both regular and non-regular light-curves.


title: Finite $\beta$ Effects on Short Wavelength Ion Temperature Gradient Modes

abstract: The electromagnetic effect is studied on the short wavelength branch of the ion temperature gradient mode in the linear regime for the first time using a global gyrokinetic model. The short wavelength ion temperature gradient mode growth rate is found to be reduced in the presence of electromagnetic perturbations at finite plasma $\beta$. The effect on real frequency is found to be weak. The threshold value of $\eta_i$ is found to increase for the mode as the magnitude of $\beta$ is increased. The global mode structure of the short wavelength branch of the ion temperature gradient mode is compared with the conventional branch. The magnetic character of the mode, measured as the ratio of mode average square values of electromagnetic potential to electrostatic potential, is found to increase with increasing values of the plasma $\beta$. The mixing length estimate for flux shows that the maximum contribution still comes from the long wavelengths modes. The magnitude of the flux decreases with increasing $\beta$.


title: Guaranteed estimates for the length of branches of periodic orbits for equivariant Hopf bifurcation

abstract: Connected branches of periodic orbits originating at a Hopf bifurcation point of a differential system are considered. A computable estimate for the range of amplitudes of periodic orbits contained in the branch is provided under the assumption that the nonlinear terms satisfy a linear estimate in a ball. If the estimate is global, then the branch is unbounded. The results are formulated in an equivariant setting where the system can have multiple branches of periodic orbits characterized by different groups of symmetries. The non-local analysis is based on the equivariant degree method, which allows us to handle both generic and degenerate Hopf bifurcations. This is illustrated by examples.


title: Throughput Analysis and User Barring Design for Uplink NOMA-Enabled Random Access

abstract: Being able to accommodate multiple simultaneous transmissions on a single channel, non-orthogonal multiple access (NOMA) appears as an attractive solution to support massive machine type communication (mMTC) that faces a massive number of devices competing to access the limited number of shared radio resources. In this paper, we first analytically study the throughput performance of NOMA-based random access (RA), namely NOMA-RA. We show that while increasing the number of power levels in NOMA-RA leads to a further gain in maximum throughput, the growth of throughput gain is slower than linear. This is due to the higher-power dominance characteristic in power-domain NOMA known in the literature. We explicitly quantify the throughput gain for the very first time in this paper. With our analytical model, we verify the performance advantage of the proposed NOMA-RA scheme by comparing with the baseline multi-channel slotted ALOHA (MS-ALOHA), with and without capture effect. Despite the higher-power dominance effect, the maximum throughput of NOMA-RA with four power levels achieves over three times that of the MS-ALOHA. However, our analytical results also reveal the sensitivity of load on the throughput of NOMA-RA. To cope with the potential bursty traffic in mMTC scenarios, we propose adaptive load regulation through a practical user barring algorithm. By estimating the current load based on the observable channel feedback, the algorithm adaptively controls user access to maintain the optimal loading of channels to achieve maximum throughput. When the proposed user barring algorithm is applied, simulations demonstrate that the instantaneous throughput of NOMA-RA always remains close to the maximum throughput confirming the effectiveness of our load regulation.


title: Approximating Text-to-Pattern Distance via Dimensionality Reduction

abstract: Text-to-pattern distance is a fundamental problem in string matching, where given a pattern of length $m$ and a text of length $n$, over an integer alphabet, we are asked to compute the distance between pattern and the text at every location. The distance function can be e.g. Hamming distance or $\ell_p$ distance for some parameter $p > 0$. Almost all state-of-the-art exact and approximate algorithms developed in the past $\sim 40$ years were using FFT as a black-box. In this work we present $\widetilde{O}(n/\varepsilon^2)$ time algorithms for $(1\pm\varepsilon)$-approximation of $\ell_2$ distances, and $\widetilde{O}(n/\varepsilon^3)$ algorithm for approximation of Hamming and $\ell_1$ distances, all without use of FFT. This is independent to the very recent development by Chan et al. [STOC 2020], where $O(n/\varepsilon^2)$ algorithm for Hamming distances not using FFT was presented -- although their algorithm is much more "combinatorial", our techniques apply to other norms than Hamming.


title: An adaptive homotopy method for computing bifurcations of nonlinear parametric systems

abstract: In this paper, we present an adaptive step-size homotopy tracking method for computing bifurcation points of nonlinear systems. There are four components in this new method: 1) an adaptive tracking technique is developed near bifurcation points; 2) an inflation technique is backed up when the adaptive tracking fails; 3) Puiseux series interpolation is used to compute bifurcation points; and 4)the tangent cone structure of the bifurcation point is approximated numerically to compute solutions on different branches. Various numerical examples of nonlinear systems are given to illustrate the efficiency of this new approach. This new adaptive homotopy tracking method is also applied to a system of nonlinear PDEs and shows robustness and efficiency for large-scale nonlinear discretized systems.


title: Relation Embedding for Personalised POI Recommendation

abstract: Point-of-Interest (POI) recommendation is one of the most important location-based services helping people discover interesting venues or services. However, the extreme user-POI matrix sparsity and the varying spatio-temporal context pose challenges for POI systems, which affects the quality of POI recommendations. To this end, we propose a translation-based relation embedding for POI recommendation. Our approach encodes the temporal and geographic information, as well as semantic contents effectively in a low-dimensional relation space by using Knowledge Graph Embedding techniques. To further alleviate the issue of user-POI matrix sparsity, a combined matrix factorization framework is built on a user-POI graph to enhance the inference of dynamic personal interests by exploiting the side-information. Experiments on two real-world datasets demonstrate the effectiveness of our proposed model.


title: Patterns of Non-Radial Solutions to Coupled Semilinear Elliptic Systems on a Disc

abstract: In this paper, we prove the existence of non-radial solutions to the problem $-\triangle u=f(z,u)$, $u|_{\partial D}=0$ on the unit disc $D:=\{z\in \mathbb C : |z|<1\}$ with $u(z)\in \mathbb R^k$, where $f$ is a sub-linear continuous function, differentiable with respect to $u$ at zero and satisfying $f(e^{i\theta}z,u) = f(z,u)$ for all $\theta\in \mathbb R$, $f(z,-u)=- f(z,u)$. Under the assumption that $f$ respects additional (spacial) symmetries on $\mathbb R^k$, we investigate symmetric properties of the corresponding non-radial solutions. The abstract result is supported by a numerical example with extra $S_4$-symmetries.


title: A Deep Learning Approach to Automate High-Resolution Blood Vessel Reconstruction on Computerized Tomography Images With or Without the Use of Contrast Agent

abstract: Existing methods to reconstruct vascular structures from a computed tomography (CT) angiogram rely on injection of intravenous contrast to enhance the radio-density within the vessel lumen. However, pathological changes can be present in the blood lumen, vessel wall or a combination of both that prevent accurate reconstruction. In the example of aortic aneurysmal disease, a blood clot or thrombus adherent to the aortic wall within the expanding aneurysmal sac is present in 70-80% of cases. These deformations prevent the automatic extraction of vital clinically relevant information by current methods. In this study, we implemented a modified U-Net architecture with attention-gating to establish a high-throughput and automated segmentation pipeline of pathological blood vessels in CT images acquired with or without the use of a contrast agent. Twenty-six patients with paired non-contrast and contrast-enhanced CT images within the ongoing Oxford Abdominal Aortic Aneurysm (OxAAA) study were randomly selected, manually annotated and used for model training and evaluation (13/13). Data augmentation methods were implemented to diversify the training data set in a ratio of 10:1. The performance of our Attention-based U-Net in extracting both the inner lumen and the outer wall of the aortic aneurysm from CT angiograms (CTA) was compared against a generic 3-D U-Net and displayed superior results. Subsequent implementation of this network architecture within the aortic segmentation pipeline from both contrast-enhanced CTA and non-contrast CT images has allowed for accurate and efficient extraction of the entire aortic volume. This extracted volume can be used to standardize current methods of aneurysmal disease management and sets the foundation for subsequent complex geometric and morphological analysis. Furthermore, the proposed pipeline can be extended to other vascular pathologies.


title: Robust Online Composition, Routing and NF Placement for NFV-enabled Services

abstract: Network function virtualization (NFV) fosters innovation in the networking field and reduces the complexity involved in managing modern-day conventional networks. Via NFV, the provisioning of a network service becomes more agile, whereby virtual network functions can be instantiated on commodity servers and data centers on demand. Network functions can be either mandatory or best-effort. The former type is strictly necessary for the correctness of a network service, whereas the latter is preferrable yet not necessary. In this paper, we study the online provisioning of NFV-enabled network services. We consider both unicast and multicast NFV-enabled services with multiple mandatory and best-effort NF instances. We propose a primal-dual based online approximation algorithm that allocates both processing and transmission resources to maximize a profit function, subject to resource constraints on physical links and NFV nodes. The online algorithm resembles a joint admission mechanism and an online composition, routing and NF placement framework. The online algorithm is derived from an offline formulation through a primal-dual based analysis. Such analysis offers direct insights and a fundamental understanding on the nature of the profit-maximization problem for NFV-enabled services with multiple resource types.


title: Compactness and finiteness theorems for rotationally symmetric self shrinkers

abstract: In this note we first show a compactness theorem for rotationally symmetric self shrinkers of entropy less than 2, concluding that there are entropy minimizing self shrinkers diffeomorphic to $S^1 \times S^{n-1}$ for each $n \geq 2$ in the class of rotationally symmetric self shrinkers. Assuming extra symmetry, namely that the profile curve is convex, we remove the entropy assumption. Supposing the profile curve is additionally reflection symmetric we show there are only finitely many such shrinkers up to rigid motion.