title: Well-posedness of the supercooled Stefan problem with oscillatory initial conditions

abstract: We study the one-phase one-dimensional supercooled Stefan problem with oscillatory initial conditions. In this context, the global existence of so-called physical solutions has been shown recently in [CRSF20], despite the presence of blow-ups in the freezing rate. On the other hand, for regular initial conditions, the uniqueness of physical solutions has been established in [DNS22]. Here, we prove the uniqueness of physical solutions for oscillatory initial conditions by a new contraction argument that replaces the local monotonicity condition of [DNS22] with an averaging condition. We verify this weaker condition for fairly general oscillating probability densities, such as the ones given by an almost sure trajectory of $(1+W_x-\sqrt{2x|\log{|\log{x}|}|})_{+}\wedge 1$ near the origin, where $W$ is a standard Brownian motion. We also permit typical deterministically constructed oscillating densities, including those of the form $(1+\sin{1/x})/2$ near the origin. Finally, we provide an example of oscillating densities for which it is possible to go beyond our main assumption via further complementary arguments.


title: Determining skew left braces of size np

abstract: We define the twofold semidirect product of two skew left braces, in which both the additive and multiplicative groups are semidirect products of the corresponding groups of the given skew left braces. We consider an odd prime $p$ and an integer $n$ satisfying $p\nmid n$, $p\nmid|\mathrm{Aut}(E)|$ for every group $E$ of order $n$ and such that each group of order $np$ has a unique $p$-Sylow subgroup. Under these conditions, we prove that any skew left brace of size $np$ is either a twofold semidirect product of the trivial brace of size $p$ and a skew brace of size $n$ or a companion skew brace of that one. We develop an algorithm to obtain all skew braces of size $np$ from the braces of size $n$ and provide a formula to count them. We use this result to describe all braces of size $12p$ for $p\geq 7$, which proves a conjecture of V.G. Bardakov, M.V. Neshchadim and M.K. Yadav.


title: HADES: Homologous Automated Document Exploration and Summarization

abstract: This paper introduces HADES, a novel tool for automatic comparative documents with similar structures. HADES is designed to streamline the work of professionals dealing with large volumes of documents, such as policy documents, legal acts, and scientific papers. The tool employs a multi-step pipeline that begins with processing PDF documents using topic modeling, summarization, and analysis of the most important words for each topic. The process concludes with an interactive web app with visualizations that facilitate the comparison of the documents. HADES has the potential to significantly improve the productivity of professionals dealing with high volumes of documents, reducing the time and effort required to complete tasks related to comparative document analysis. Our package is publically available on GitHub.


title: Mitigating Observation Biases in Crowdsourced Label Aggregation

abstract: Crowdsourcing has been widely used to efficiently obtain labeled datasets for supervised learning from large numbers of human resources at low cost. However, one of the technical challenges in obtaining high-quality results from crowdsourcing is dealing with the variability and bias caused by the fact that it is humans execute the work, and various studies have addressed this issue to improve the quality by integrating redundantly collected responses. In this study, we focus on the observation bias in crowdsourcing. Variations in the frequency of worker responses and the complexity of tasks occur, which may affect the aggregation results when they are correlated with the quality of the responses. We also propose statistical aggregation methods for crowdsourcing responses that are combined with an observational data bias removal method used in causal inference. Through experiments using both synthetic and real datasets with/without artificially injected spam and colluding workers, we verify that the proposed method improves the aggregation accuracy in the presence of strong observation biases and robustness to both spam and colluding workers.


title: K3 surfaces of Kummer type in characteristic two

abstract: We discuss K3 surfaces in characteristic two that contain the Kummer configuration formed by smooth rational curves on it.


title: Absolutely continuous curves in Finsler-like spaces

abstract: The present paper is devoted to the investigation of absolutely continuous curves in asymmetric metric spaces induced by Finsler structures. Firstly, for asymmetric spaces induced by Finsler manifolds, we show that three different kinds of absolutely continuous curves coincide when their domains are bounded closed intervals. As an application, a universal existence and regularity theorem for gradient flow is obtained in the Finsler setting. Secondly, we study absolutely continuous curves in Wasserstein spaces over Finsler manifolds and establish the Lisini structure theorem in this setting, which characterize the nature of absolutely continuous curves in Wasserstein spaces in terms of dynamical transference plans concentrated on absolutely continuous curves in base Finsler manifolds. Besides, a close relation between continuity equations and absolutely continuous curves in Wasserstein spaces is founded. Last but not least, we also consider nonsmooth ``Finlser-like" spaces, in which case most of the aforementioned results remain valid. Various model examples are constructed in this paper, which point out genuine differences between the asymmetric and symmetric settings.


title: Floquet isospectrality for periodic graph operators

abstract: Let $\Gamma=q_1\mathbb{Z}\oplus q_2 \mathbb{Z}\oplus\cdots\oplus q_d\mathbb{Z}$ with arbitrary positive integers $q_l$, $l=1,2,\cdots,d$. Let $\Delta_{\rm discrete}+V$ be the discrete Schr\"odinger operator on $\mathbb{Z}^d$, where $\Delta_{\rm discrete}$ is the discrete Laplacian on $\mathbb{Z}^d$ and the function $V:\mathbb{Z}^d\to \mathbb{C}$ is $\Gamma$-periodic. We prove two rigidity theorems for discrete periodic Schr\"odinger operators: (1) If real-valued $\Gamma$-periodic functions $V$ and $Y$ satisfy $\Delta_{\rm discrete}+V$ and $\Delta_{\rm discrete}+Y$ are Floquet isospectral and $Y$ is separable, then $V$ is separable. (2) If complex-valued $\Gamma$-periodic functions $V$ and $Y$ satisfy $\Delta_{\rm discrete}+V$ and $\Delta_{\rm discrete}+Y$ are Floquet isospectral, and both $V=\bigoplus_{j=1}^rV_j$ and $Y=\bigoplus_{j=1}^r Y_j$ are separable functions, then, up to a constant, lower dimensional decompositions $V_j$ and $Y_j$ are Floquet isospectral, $j=1,2,\cdots,r$. Our theorems extend the results of Kappeler. Our approach is developed from the author's recent work on Fermi isospectrality and can be applied to study more general lattices.


title: Fractional quantum anomalous Hall phase for Raman superarray of Rydberg atoms

abstract: Rydberg atom arrays offer promising platforms for quantum simulation of correlated quantum matter and raise great interests. This work proposes a novel stripe-lattice model with Raman superarray of Rydberg atoms to realize bosonic fractional quantum anomalous Hall (FQAH) phase. Two types of Rydberg states, arranged in a supperarray configuration and with Raman-assisted dipole-exchange couplings, are implemented to realize a minimal QAH model for hard-core bosons populated into a topological flat band with large bulk gap under proper tunable experimental condition. With this the bosonic FQAH phase can be further achieved and probed feasibly. In particular, a novel quench protocol is proposed to probe the fractionalized excitations by measuring the correlated quench dynamics featured by fractional charge tunneling between bulk and chiral edge modes in the open boundary.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.str-el quant-ph


title: Laser nano-fabrication inside silicon with spatial beam modulation and non-local seeding

abstract: Nano-fabrication in silicon, arguably the most important material for modern technology, has been limited exclusively to its surface. Existing lithographic methods cannot penetrate the wafer surface without altering it, whereas emerging laser-based subsurface or in-chip fabrication remains at > 1 micrometer resolution. In addition, available methods do not allow positioning or modulation with sub-micron precision deep inside the wafer. The fundamental difficulty of breaking these dimensional barriers are two-fold, i.e., complex nonlinear effects inside the wafer and the inherent diffraction limit for laser light. Here, we overcome these challenges by using structured-laser-beams and exploiting preformed subsurface structures as seed, in order to establish the first controlled nano-fabrication capability inside silicon. We demonstrate buried nano-structures of feature sizes down to 100 nm +- 25 nm, with sub-wavelength and multi-dimensional control; thereby improving the state-of-the-art by an order-of-magnitude. In order to showcase the photonic capabilities, we fabricated the first in-chip nano-photonic elements, i.e., nano-gratings with record diffraction efficiency and spectral control. The reported advance is an important step towards in-chip nano-photonic systems, micro-/nano-fluidics & NEMS/MEMS, and 3D electronic-photonic integration.


title: Topic-Selective Graph Network for Topic-Focused Summarization

abstract: Due to the success of the pre-trained language model (PLM), existing PLM-based summarization models show their powerful generative capability. However, these models are trained on general-purpose summarization datasets, leading to generated summaries failing to satisfy the needs of different readers. To generate summaries with topics, many efforts have been made on topic-focused summarization. However, these works generate a summary only guided by a prompt comprising topic words. Despite their success, these methods still ignore the disturbance of sentences with non-relevant topics and only conduct cross-interaction between tokens by attention module. To address this issue, we propose a topic-arc recognition objective and topic-selective graph network. First, the topic-arc recognition objective is used to model training, which endows the capability to discriminate topics for the model. Moreover, the topic-selective graph network can conduct topic-guided cross-interaction on sentences based on the results of topic-arc recognition. In the experiments, we conduct extensive evaluations on NEWTS and COVIDET datasets. Results show that our methods achieve state-of-the-art performance.


title: Partially Positive Semidefinite Maps on $*$-Semigroupoids and Linearisations

abstract: Motivated by Cuntz-Krieger-Toeplitz systems associated to undirected graphs and representations of groupoids, we obtain a generalisation of the Sz-Nagy's Dilation Theorem for operator valued partially positive semidefinite maps on $*$-semigroupoids with unit, with varying degrees of aggregation, firstly by $*$-representations with unbounded operators and then we characterise the existence of the corresponding $*$-representations by bounded operators. By linearisation of these constructions, we obtain similar results for operator valued partially positive semidefinite maps on $*$-algebroids with unit and then, for the special case of $B^*$-algebroids with unit, we obtain a generalisation of the Stinespring's Dilation Theorem. As an application of the generalisation of the Stinespring's Dilation Theorem, we show that some natural questions on $C^*$-algebroids are equivalent.


title: Proximate molecular quasar absorbers: Chemical enrichment and kinematics of the neutral gas

abstract: Proximate molecular quasar absorbers (PH2) are an intriguing population of absorption systems recently uncovered through strong H2 absorption at small velocity separation from the background quasars. We performed a multi-wavelength spectroscopic follow-up of thirteen such systems with VLT/X-Shooter. Here, we present the observations and study the overall chemical enrichment measured from the HI, H2 and metal lines. We combine this with an investigation of the neutral gas kinematics with respect to the quasar host. We find gas-phase metallicities in the range 2% to 40% of the Solar value, i.e. in the upper-half range of HI-selected proximate damped Lyman-alpha systems, but similar to what is seen in intervening H2-bearing systems. This is likely driven by similar selection effects that play against the detection of most metal and molecular rich systems in absorption. Differences are however seen in the abundance of dust (from [Zn/Fe]) and its depletion pattern, when compared to intervening systems, possibly indicating different dust production or destruction close to the AGN. We also note the almost-ubiquitous presence of a high-ionisation phase traced by NV in proximate systems. In spite of the hard UV field from the quasars, we found no strong overall deficit of neutral argon, at least when compared to intervening DLAs. This likely results from argon being mostly neutral in the H2 phase, which actually accounts for a large fraction of the total amount of metals. We measure the quasar systemic redshifts through emission lines from both ionised gas and CO(3-2) emission, the latter being detected in all 6 cases for which we obtained 3-mm data from complementary NOEMA observations. For the first time, we observe a trend between line-of-sight velocity with respect to systemic redshift and metallicity of the absorbing gas. [truncated]


title: Controlled coherent-coupling and dynamics of exciton complexes in a MoSe$_2$ monolayer

abstract: Quantifying and controlling the coherent dynamics and couplings of optically active excitations in solids is of paramount importance in fundamental research in condensed matter optics and for their prospective optoelectronic applications in quantum technologies. Here, we perform ultrafast coherent nonlinear spectroscopy of a charge-tunable MoSe$_2$ monolayer. The experiments show that the homogeneous and inhomogeneous line width and the population decay of exciton complexes hosted by this material can be directly tuned by an applied gate bias, which governs the Fermi level and therefore the free carrier density. By performing two-dimensional spectroscopy, we also show that the same bias-tuning approach permits us to control the coherent coupling strength between charged and neutral exciton complexes.


title: On the Cost of Demographic Parity in Influence Maximization

abstract: Modeling and shaping how information spreads through a network is a major research topic in network analysis. While initially the focus has been mostly on efficiency, recently fairness criteria have been taken into account in this setting. Most work has focused on the maximin criteria however, and thus still different groups can receive very different shares of information. In this work we propose to consider fairness as a notion to be guaranteed by an algorithm rather than as a criterion to be maximized. To this end, we propose three optimization problems that aim at maximizing the overall spread while enforcing strict levels of demographic parity fairness via constraints (either ex-post or ex-ante). The level of fairness hence becomes a user choice rather than a property to be observed upon output. We study this setting from various perspectives. First, we prove that the cost of introducing demographic parity can be high in terms of both overall spread and computational complexity, i.e., the price of fairness may be unbounded for all three problems and optimal solutions are hard to compute, in some case even approximately or when fairness constraints may be violated. For one of our problems, we still design an algorithm with both constant approximation factor and fairness violation. We also give two heuristics that allow the user to choose the tolerated fairness violation. By means of an extensive experimental study, we show that our algorithms perform well in practice, that is, they achieve the best demographic parity fairness values. For certain instances we additionally even obtain an overall spread comparable to the most efficient algorithms that come without any fairness guarantee, indicating that the empirical price of fairness may actually be small when using our algorithms.


title: Heat-type equations on manifolds with fibered boundaries II: Parametrix construction

abstract: This is the second part of a two parts work on the analysis of heat-type equations on manifolds with fibered boundary equipped with a $\Phi$-metric. This setting generalizes the asymptotically conical (scattering) spaces and includes special cases of magnetic and gravitational monopoles. The core of this second part consists on the construction of parametrix for heat-type equations. Consequently we use the constructed parametrix to infer results regarding existence and regularity of certain homogeneous and non homogeneous second order linear parabolic equations with non constant coefficients. This work represents the first step towards the analysis of geometric flows such as Ricci-, Yamabe and Mean Curvature flow on some families of non compact manifolds.


title: Improving Fairness in Information Exposure by Adding Links

abstract: Fairness in influence maximization has been a very active research topic recently. Most works in this context study the question of how to find seeding strategies (deterministic or probabilistic) such that nodes or communities in the network get their fair share of coverage. Different fairness criteria have been used in this context. All these works assume that the entity that is spreading the information has an inherent interest in spreading the information fairly, otherwise why would they want to use the developed fair algorithms? This assumption may however be flawed in reality -- the spreading entity may be purely \emph{efficiency-oriented}. In this paper we propose to study two optimization problems with the goal to modify the network structure by adding links in such a way that efficiency-oriented information spreading becomes \emph{automatically fair}. We study the proposed optimization problems both from a theoretical and experimental perspective, that is, we give several hardness and hardness of approximation results, provide efficient algorithms for some special cases, and more importantly provide heuristics for solving one of the problems in practice. In our experimental study we then first compare the proposed heuristics against each other and establish the most successful one. In a second experiment, we then show that our approach can be very successful in practice. That is, we show that already after adding a few edges to the networks the greedy algorithm that purely maximizes spread surpasses all fairness-tailored algorithms in terms of ex-post fairness. Maybe surprisingly, we even show that our approach achieves ex-post fairness values that are comparable or even better than the ex-ante fairness values of the currently most efficient algorithms that optimize ex-ante fairness.


title: Toward Self-Adjusting k-ary Search Tree Networks

abstract: Datacenter networks are becoming increasingly flexible with the incorporation of new networking technologies, such as optical circuit switches. These technologies allow for programmable network topologies that can be reconfigured to better serve network traffic, thus enabling a trade-off between the benefits (i.e., shorter routes) and costs of reconfigurations (i.e., overhead). Self-Adjusting Networks (SANs) aim at addressing this trade-off by exploiting patterns in network traffic, both when it is revealed piecewise (online dynamic topologies) or known in advance (offline static topologies). In this paper, we take the first steps toward Self-Adjusting k-ary tree networks. These are more powerful generalizations of existing binary search tree networks (like SplayNets), which have been at the core of SAN designs. k-ary search tree networks are a natural generalization offering nodes of higher degrees, reduced route lengths for a fixed number of nodes, and local routing in spite of reconfigurations. We first compute an offline (optimal) static network for arbitrary traffic patterns in $O(n^3 \cdot k)$ time via dynamic programming, and also improve the bound to $O(n^2 \cdot k)$ for the special case of uniformly distributed traffic. Then, we present a centroid-based topology of the network that can be used both in the offline static and the online setting. In the offline uniform-workload case, we construct this quasi-optimal network in linear time $O(n)$ and, finally, we present online self-adjusting k-ary search tree versions of SplayNet. We evaluate experimentally our new structure for $k=2$ (allowing for a comparison with existing SplayNets) on real and synthetic network traces. Our results show that this approach works better than SplayNet in most of the real network traces and in average to low locality synthetic traces, and is only little inferior to SplayNet in all remaining traces.


title: Sequential Query Encoding For Complex Query Answering on Knowledge Graphs

abstract: Complex Query Answering (CQA) is an important and fundamental task for knowledge graph (KG) reasoning. Query encoding (QE) is proposed as a fast and robust solution to CQA. In the encoding process, most existing QE methods first parse the logical query into an executable computational direct-acyclic graph (DAG), then use neural networks to parameterize the operators, and finally, recursively execute these neuralized operators. However, the parameterization-and-execution paradigm may be potentially over-complicated, as it can be structurally simplified by a single neural network encoder. Meanwhile, sequence encoders, like LSTM and Transformer, proved to be effective for encoding semantic graphs in related tasks. Motivated by this, we propose sequential query encoding (SQE) as an alternative to encode queries for CQA. Instead of parameterizing and executing the computational graph, SQE first uses a search-based algorithm to linearize the computational graph to a sequence of tokens and then uses a sequence encoder to compute its vector representation. Then this vector representation is used as a query embedding to retrieve answers from the embedding space according to similarity scores. Despite its simplicity, SQE demonstrates state-of-the-art neural query encoding performance on FB15k, FB15k-237, and NELL on an extended benchmark including twenty-nine types of in-distribution queries. Further experiment shows that SQE also demonstrates comparable knowledge inference capability on out-of-distribution queries, whose query types are not observed during the training process.


title: Dual Formulation for Chance Constrained Stochastic Shortest Path with Application to Autonomous Vehicle Behavior Planning

abstract: Autonomous vehicles face the problem of optimizing the expected performance of subsequent maneuvers while bounding the risk of collision with surrounding dynamic obstacles. These obstacles, such as agent vehicles, often exhibit stochastic transitions that should be accounted for in a timely and safe manner. The Constrained Stochastic Shortest Path problem (C-SSP) is a formalism for planning in stochastic environments under certain types of operating constraints. While C-SSP allows specifying constraints in the planning problem, it does not allow for bounding the probability of constraint violation, which is desired in safety-critical applications. This work's first contribution is an exact integer linear programming formulation for Chance-constrained SSP (CC-SSP) that attains deterministic policies. Second, a randomized rounding procedure is presented for stochastic policies. Third, we show that the CC-SSP formalism can be generalized to account for constraints that span through multiple time steps. Evaluation results show the usefulness of our approach in benchmark problems compared to existing approaches.


title: The $\mathsf{AC}^0$-Complexity Of Visibly Pushdown Languages

abstract: We study the question of which visibly pushdown languages (VPLs) are in the complexity class $\mathsf{AC}^0$ and how to effectively decide this question. Our contribution is to introduce a particular subclass of one-turn VPLs, called intermediate VPLs, for which the raised question is entirely unclear: to the best of our knowledge our research community is unaware of containment or non-containment in $\mathsf{AC}^0$ for any intermediate VPL. Our main result states that there is an algorithm that, given a visibly pushdown automaton, correctly outputs either that its language is in $\mathsf{AC}^0$, outputs some $m\geq 2$ such that $\mathsf{MOD}_m$ is constant-depth reducible to $L$ (implying that $L$ is not in $\mathsf{AC}^0$), or outputs a finite disjoint union of intermediate VPLs that $L$ is constant-depth equivalent to. In the latter case one can moreover effectively compute $k,l\in\mathbb{N}_{>0}$ with $k\not=l$ such that the concrete intermediate VPL $L(S\rightarrow\varepsilon\mid a c^{k-1} S b_1\mid ac^{l-1}Sb_2)$ is constant-depth reducible to the language $L$. Due to their particular nature we conjecture that either all intermediate VPLs are in $\mathsf{AC}^0$ or all are not. As a corollary of our main result we obtain that in case the input language is a visibly counter language our algorithm can effectively determine if it is in $\mathsf{AC}^0$ -- hence our main result generalizes a result by Krebs et al. stating that it is decidable if a given visibly counter language is in $\mathsf{AC}^0$ (when restricted to well-matched words). For our proofs we revisit so-called Ext-algebras (introduced by Czarnetzki et al.), which are closely related to forest algebras (introduced by Boja\'nczyk and Walukiewicz), and use Green's relations.


title: Abstractive Text Summarization using Attentive GRU based Encoder-Decoder

abstract: In todays era huge volume of information exists everywhere. Therefore, it is very crucial to evaluate that information and extract useful, and often summarized, information out of it so that it may be used for relevant purposes. This extraction can be achieved through a crucial technique of artificial intelligence, namely, machine learning. Indeed automatic text summarization has emerged as an important application of machine learning in text processing. In this paper, an english text summarizer has been built with GRU-based encoder and decoder. Bahdanau attention mechanism has been added to overcome the problem of handling long sequences in the input text. A news-summary dataset has been used to train the model. The output is observed to outperform competitive models in the literature. The generated summary can be used as a newspaper headline.


title: Does H$\alpha$ Stokes~$V$ profiles probe the chromospheric magnetic field? An observational perspective

abstract: We investigated the diagnostic potential of the Stokes $V$ profile of the H$\alpha$ line to probe the chromospheric line-of-sight (LOS) magnetic field ($B_{\mathrm{LOS}}$) by comparing the $B_{\mathrm{LOS}}$ inferred from the weak field approximation (WFA) with that of inferred from the multi-line inversions of the Ca II 8542 {\AA}, Si I 8536 {\AA} and Fe I 8538 {\AA} lines using the STiC inversion code. Simultaneous spectropolarimetric observations of a pore in the Ca II 8542 {\AA} and H$\alpha$ spectral lines obtained from the SPINOR at the Dunn Solar Telescope on the 4th of December, 2008 are used in this study. The WFA was applied on the Stokes $I$ and $V$ profiles of H$\alpha$ line over three wavelength ranges viz.: around line core ($\Delta\lambda=\pm0.35$ {\AA}), line wings ($\Delta\lambda=[-1.5, -0.6]$ and $[+0.6, +1.5]$ {\AA}) and full spectral range of the line ($\Delta\lambda=\pm1.5$ {\AA}) to derive the $B_{\mathrm{LOS}}$. We found the maximum $B_{\mathrm{LOS}}$ strengths of $\sim+800$ and $\sim+600$ G at $\log\tau_{\mathrm{500}}$ = $-$1 and $-$4.5, respectively in the pore. The morphological map of the $B_{\mathrm{LOS}}$ inferred from the H$\alpha$ line core is similar to the $B_{\mathrm{LOS}}$ map at $\log\tau_{\mathrm{500}}$ = $-$4.5 inferred from multi-line inversions. The $B_{\mathrm{LOS}}$ map inferred from the H$\alpha$ line wings and full spectral range have a similar morphological structure to the $B_{\mathrm{LOS}}$ map inferred at $\log\tau_{\mathrm{500}}$ = $-$1. The $B_{\mathrm{LOS}}$ estimated from H$\alpha$ using WFA is weaker by a factor of $\approx 0.53$ than that of inferred from the multi-line inversions.


title: Weakly reversible single linkage class realizations of polynomial dynamical systems: an algorithmic perspective

abstract: Systems of differential equations with polynomial right-hand sides are very common in applications. In particular, when restricted to the positive orthant, they appear naturally (according to the law of mass-action kinetics) in ecology, population dynamics, as models of biochemical interaction networks, and models of the spread of infectious diseases. On the other hand, their mathematical analysis is very challenging in general; in particular, it is very difficult to answer questions about the long-term dynamics of the variables (species) in the model, such as questions about persistence and extinction. Even if we restrict our attention to mass-action systems, these questions still remain challenging. On the other hand, if a polynomial dynamical system has a weakly reversible single linkage class ($W\!R^1$) realization, then its long-term dynamics is known to be remarkably robust: all the variables are persistent (i.e., no species goes extinct), irrespective of the values of the parameters in the model. Here we describe an algorithm for finding $W\!R^1$ realizations of polynomial dynamical systems, whenever such realizations exist.


title: Scattering diagrams in mirror symmetry

abstract: Since the pioneering work of Kontsevich and Soibelman [51], scattering diagrams have started playing an important role in mirror symmetry, in particular in the study of the reconstruction problem. This paper aims at introducing the main ideas on the subject describing the role of scattering diagrams in relation to the SYZ conjecture and the HMS conjecture.


title: The Contribution of Tourism in National Economies: Evidence of Greece

abstract: Greece constitutes a coastal country with a lot of geomorphologic, climatic, cultural and historic peculiarities favoring the development of many aspects of tourism. Within this framework, this article examines what are the effects of tourism in Greece and how determinative these effects are, by applying a macroscopic analysis on empirical data for the estimation of the contribution of tourism in the Greek Economy. The available data regard records of the Balance of Payments in Greece and of the major components of the Balance of the Invisible Revenues, where a measurable aspect of tourism, the Travel or Tourism Exchange, is included. At the time period of the available data (2000-2012) two events of the recent Greek history are distinguished as the most significant (the Olympic Games in the year 2004 and the economic crisis initiated in the year 2009) and their impact on the diachronic evolution in the tourism is discussed. Under an overall assessment, the analysis illustrated that tourism is a sector of the Greek economy, which is described by a significant resilience, but it seems that it has not yet been submitted to an effective developmental plan exploiting the endogenous tourism dynamics of the country, suggesting currently a promising investment of low risk for the economic growth of country and the exit of the economic crisis


title: Optimal feedback control of dynamical systems via value-function approximation

abstract: A self-learning approach for optimal feedback gains for finite-horizon nonlinear continuous time control systems is proposed and analysed. It relies on parameter dependent approximations to the optimal value function obtained from a family of universal approximators. The cost functional for the training of an approximate optimal feedback law incorporates two main features. First, it contains the average over the objective functional values of the parametrized feedback control for an ensemble of initial values. Second, it is adapted to exploit the relationship between the maximum principle and dynamic programming. Based on universal approximation properties, existence, convergence and first order optimality conditions for optimal neural network feedback controllers are proved.


title: Probing the uniaxial strain-dependent valley drift and Berry curvature in monolayer MoSi$_2$N$_4$

abstract: We use ab initio calculations and theoretical analysis to investigate the influence of in-plane strain field on valley drifts and Berry curvatures in the monolayer MoSi$_2$N$_4$, a prototypical septuple atomic layered two-dimensional material. The low energy electron and hole valleys drift far off the K/K' point under uniaxial strains. The direction and strength of valley drift strongly depend on the nature of the charge carrier and uniaxial strain with a more substantial response along the zigzag path. Our findings are governed by the interplay between microscopic orbital contribution and symmetry lowering. The changing geometric properties of Bloch states affect the Berry curvatures and circular dichroism. Specifically, Berry curvature dipole is significantly enhanced under the tensile strain along armchair and zigzag directions. Meanwhile, the particle-hole asymmetry arising from non-equivalent electron and hole valley drifts relax the selection rules, thus reducing the degree of circular polarization up to ~0.98. Therefore, strain engineering of valley physics in the monolayer MoSi$_2$N$_4$ is of prime importance for valleytronics.


title: Simulation of robot swarms for learning communication-aware coordination

abstract: Robotics research has been focusing on cooperative multi-agent problems, where agents must work together and communicate to achieve a shared objective. To tackle this challenge, we explore imitation learning algorithms. These methods learn a controller by observing demonstrations of an expert, such as the behaviour of a centralised omniscient controller, which can perceive the entire environment, including the state and observations of all agents. Performing tasks with complete knowledge of the state of a system is relatively easy, but centralised solutions might not be feasible in real scenarios since agents do not have direct access to the state but only to their observations. To overcome this issue, we train end-to-end Neural Networks that take as input local observations obtained from an omniscient centralised controller, i.e., the agents' sensor readings and the communications received, producing as output the action to be performed and the communication to be transmitted. This study concentrates on two cooperative tasks using a distributed controller: distributing the robots evenly in space and colouring them based on their position relative to others. While an explicit exchange of messages between the agents is required to solve the second task, in the first one, a communication protocol is unnecessary, although it may increase performance. The experiments are run in Enki, a high-performance open-source simulator for planar robots, which provides collision detection and limited physics support for robots evolving on a flat surface. Moreover, it can simulate groups of robots hundreds of times faster than real-time. The results show how applying a communication strategy improves the performance of the distributed model, letting it decide which actions to take almost as precisely and quickly as the expert controller.


title: Non-Intrusive Driver Behavior Characterization From Road-Side Cameras

abstract: In this paper, we demonstrate a proof of concept for characterizing vehicular behavior using only the roadside cameras of the ITS system. The essential advantage of this method is that it can be implemented in the roadside infrastructure transparently and inexpensively and can have a global view of each vehicle's behavior without any involvement of or awareness by the individual vehicles or drivers. By using a setup that includes programmatically controlled robot cars (to simulate different types of vehicular behaviors) and an external video camera set up to capture and analyze the vehicular behavior, we show that the driver classification based on the external video analytics yields accuracies that are within 1-2\% of the accuracies of direct vehicle-based characterization. We also show that the residual errors primarily relate to gaps in correct object identification and tracking and thus can be further reduced with a more sophisticated setup. The characterization can be used to enhance both the safety and performance of the traffic flow, particularly in the mixed manual and automated vehicle scenarios that are expected to be common soon.


title: Goldstone modes and the golden spiral in the ferromagnetic spin-1 biquadratic model

abstract: Ferromagnetic ground states have often been overlooked in comparison to seemingly more interesting antiferromagnetic ground states. However, both the physical and mathematical structure of ferromagnetic ground states are particularly rich. We show that the highly degenerate and highly entangled ground states of the ferromagnetic spin-1 biquadratic model are scale invariant, originating from spontaneous symmetry breaking from ${\rm SU}(3)$ to ${\rm U}(1)\times {\rm U}(1)$ with two type-B Goldstone modes. The ground state degeneracies are characterized as the Fibonacci-Lucas sequences -- an ancient mathematical gem, under open and periodic boundary conditions, with the residual entropy being non-zero. This implies that the ground state degeneracies for this model are asymptotically the golden spiral. In addition, sequences of degenerate ground states generated from highest and generalized highest weight states are constructed to establish that the entanglement entropy scales logarithmically with the block size in the thermodynamic limit, with the prefactor being half the number of type-B Goldstone modes. The latter in turn is identified to be the fractal dimension.


title: Local conductor bounds for modular abelian varieties

abstract: Brumer and Kramer gave bounds on local conductor exponents for an abelian variety $A/\mathbb Q$ in terms of the dimension of $A$ and the localization prime $p$. Here we give improved bounds in the case that $A$ has maximal real multiplication, i.e., $A$ is isogenous to a factor of the Jacobian of a modular curve $X_0(N)$. In many cases, these bounds are sharp. The proof relies on showing that the rationality field of a newform for $\Gamma_0(N)$, and thus the endomorphism algebra of $A$, contains $\mathbb Q(\zeta_{p^r})^+$ when $p$ divides $N$ to a sufficiently high power. We also deduce that certain divisibility conditions on $N$ determine the endomorphism algebra when $A$ is simple.


title: The Degenerate Variable Metric Proximal Point Algorithm and Adaptive Stepsizes for Primal-Dual Douglas-Rachford

abstract: In this paper the degenerate preconditioned proximal point algorithm will be combined with the idea of varying preconditioners leading to the degenerate variable metric proximal point algorithm. The weak convergence of the resulting iteration will be proven. From the perspective of the degenerate variable metric proximal point algorithm, a version of the primal-dual Douglas-Rachford method with varying preconditioners will be derived and a proof of its weak convergence which is based on the previous results for the proximal point algorithm, is provided, too. After that, we derive a heuristic on how to choose those varying preconditioners in order to increase the convergence speed of the method.


title: Axion electrodynamics: Green's functions, zero-point energy and optical activity

abstract: Starting from the theory of Axion Electrodynamics, we work out the axionic modifications to the electromagnetic Casimir energy using the Green's function, both when the axion field is initially assumed purely time-dependent and when the axion field configuration is a static domain wall. For the first case it means that the oscillating axion background is taken to resemble an axion fluid at rest in a conventional Casimir setup with two infinite parallel conducting plates, while in the second case we evaluate the radiation pressure acting on an axion domain wall. We extend previous theories in order to include finite temperatures. Various applications are discussed. 1. We review the theory of Axion Electrodynamics and particularly the energy-momentum conservation in a linear dielectric and magnetic material. We treat this last aspect by extending former results by Brevik and Chaichian (2022) and Patkos (2022). 2. Adopting the model of the oscillating axion background we discuss the axion-induced modifications to the Casimir force between two parallel plates by using a Green's function approach. 3. We calculate the radiation pressure acting on an axion domain wall at finite temperature T. Our results for an oscillating axion field and a domain wall are also useful for condensed matter physics, where "axionic topological insulators" interact with the electromagnetic field with a Chern-Simons interaction, like the one in Axion Electrodynamics, and there are experimental systems analogous to time-dependent axion fields and domain walls as the ones showed by Jiang, Q. D., \& Wilczek, F. (2019) and Fukushima et al. (2019). 4. We compare our results, where we assume time-dependent or space-dependent axion configurations, with the discussion of the optical activity of Axion Electrodynamics by Sikivie (2021) and Carrol et al. (1990).


title: Point Cloud Forecasting as a Proxy for 4D Occupancy Forecasting

abstract: Predicting how the world can evolve in the future is crucial for motion planning in autonomous systems. Classical methods are limited because they rely on costly human annotations in the form of semantic class labels, bounding boxes, and tracks or HD maps of cities to plan their motion and thus are difficult to scale to large unlabeled datasets. One promising self-supervised task is 3D point cloud forecasting from unannotated LiDAR sequences. We show that this task requires algorithms to implicitly capture (1) sensor extrinsics (i.e., the egomotion of the autonomous vehicle), (2) sensor intrinsics (i.e., the sampling pattern specific to the particular LiDAR sensor), and (3) the shape and motion of other objects in the scene. But autonomous systems should make predictions about the world and not their sensors. To this end, we factor out (1) and (2) by recasting the task as one of spacetime (4D) occupancy forecasting. But because it is expensive to obtain ground-truth 4D occupancy, we render point cloud data from 4D occupancy predictions given sensor extrinsics and intrinsics, allowing one to train and test occupancy algorithms with unannotated LiDAR sequences. This also allows one to evaluate and compare point cloud forecasting algorithms across diverse datasets, sensors, and vehicles.


title: Long-range Velocity Correlations from Active Dopants

abstract: One of the most remarkable observations in dense active matter systems is the appearance of long-range velocity correlations without any explicit aligning interaction (of e.g.\ Vicsek type). Here we show that this kind of long range velocity correlation can also be generated in a dense athermal passive system by the inclusion of a very small fraction of active Brownian particles. We develop a continuum theory to explain the emergence of velocity correlations generated via such active dopants. We validate the predictions for the effects of magnitude and persistence time of the active force and the area fractions of active or passive particles using extensive Brownian dynamics simulation of a canonical active-passive mixture. Our work decouples the roles that density and activity play in generating long range velocity correlations in such exotic non-equilibrium steady states.


title: Hierarchical Needs-driven Agent Learning Systems: From Deep Reinforcement Learning To Diverse Strategies

abstract: The needs describe the necessities for a system to survive and evolve, which arouses an agent to action toward a goal, giving purpose and direction to behavior. Based on Maslow hierarchy of needs, an agent needs to satisfy a certain amount of needs at the current level as a condition to arise at the next stage -- upgrade and evolution. Especially, Deep Reinforcement Learning (DAL) can help AI agents (like robots) organize and optimize their behaviors and strategies to develop diverse Strategies based on their current state and needs (expected utilities or rewards). This paper introduces the new hierarchical needs-driven Learning systems based on DAL and investigates the implementation in the single-robot with a novel approach termed Bayesian Soft Actor-Critic (BSAC). Then, we extend this topic to the Multi-Agent systems (MAS), discussing the potential research fields and directions.


title: Data-driven uncertainty quantification for constrained stochastic differential equations and application to solar photovoltaic power forecast data

abstract: In this work, we extend the data-driven It\^{o} stochastic differential equation (SDE) framework for the pathwise assessment of short-term forecast errors to account for the time-dependent upper bound that naturally constrains the observable historical data and forecast. We propose a new nonlinear and time-inhomogeneous SDE model with a Jacobi-type diffusion term for the phenomenon of interest, simultaneously driven by the forecast and the constraining upper bound. We rigorously demonstrate the existence and uniqueness of a strong solution to the SDE model by imposing a condition for the time-varying mean-reversion parameter appearing in the drift term. The normalized forecast function is thresholded to keep such mean-reversion parameters bounded. The SDE model parameter calibration is applied to user-selected approximations of the likelihood function. Another novel contribution is estimating the unknown transition density of the forecast error process with a tailored kernel smoothing technique with the control variate method, coupling an adequate SDE to the original one. We provide a theoretical study about how to choose the optimal bandwidth. We fit the model to the 2019 photovoltaic (PV) solar power daily production and forecast data in Uruguay, computing the daily maximum solar PV production estimation. Two statistical versions of the constrained SDE model are fit, with the beta and truncated normal distributions as proxies for the transition density. Empirical results include simulations of the normalized solar PV power production and pathwise confidence bands generated through an indirect inference method. An objective comparison of optimal parametric points associated with the two selected statistical approximations is provided by applying our innovative kernel smoothing estimation technique of the transition function of the forecast error process.


title: Correlation between phase stiffness and condensation energy across the non-Fermi to Fermi-liquid crossover in the Yukawa-Sachdev-Ye-Kitaev model on a lattice

abstract: We construct and analyze a lattice generalization of the Yukawa-Sachdev-Ye-Kitaev model, where spinful fermions experience on-site, random, all-to-all interactions with an Einstein bosonic mode, and random intersite coherent hopping. We obtain the exact self-consistent numerical solution of the model at mean-field level, and analytical approximations, for all values of fermion-boson coupling and hopping, under the spin-singlet ansatz and at particle-hole symmetry, both in the normal and superconducting states, thus tracing the entire phase diagram. In the normal state, the competition between hopping and coupling leads to crossovers between Fermi-liquid and non-Fermi liquid states, as reflected by the fermionic and bosonic spectral functions and the normal-state entropy. We calculate the finite phase stiffness of the superconducting state through the equilibrium electromagnetic response. Furthermore, we study the critical temperature $T_c$, as well as the spectral functions, the quasiparticle weight, the gap, and the condensation energy in the superconducting state. At weak coupling, we retrieve a disordered generalization of Bardeen-Cooper-Schrieffer theory. At strong coupling, asymptotically $T_c$ saturates but the stiffness decreases, which suggests strong superconducting fluctuations. $T_c$ is maximum in the single-dot limit, while the stiffness peaks exactly at the crossover between non-Fermi liquid and Fermi-liquid phases. We discover that the quasiparticle weight, the stiffness, and the condensation energy, are all correlated as a function of coupling, reminiscent of the correlations observed in high-temperature cuprate superconductors.


title: Experimental Demonstration of A Dual-Input/Dual-Output Reflective Impedance Metasurface

abstract: This paper presents the experimental demonstration of a dual-input/dual-output reflective impedance metasurface. The design of the metasurface relies on the Method of Moments and leverages auxiliary surface waves to achieve anomalous reflection of two impinging plane waves with controlled sidelobe levels. The two beams are chosen independently compared to those in a conventional phase-gradient metasurface where the design presents a single slope to achieve a certain reflection and all other incident beams would depend on that slope. A prototype that ensures maximum directivity at two prescribed reflection angles for the two input waves is then fabricated on a Rogers RO3003 printed-circuit board using 42 metawires loaded with printed capacitors. The proposed metasurface is capable of reflecting an incident beam from $-20^\circ$ to $-55^\circ$ and a second from $+10^\circ$ to $50^\circ$ at 9.93 GHz. The metasurface is experimentally characterized and an illumination efficiency of at least 89% is calculated for each of the reflected waves, indicating a high multiplexing efficacy.


title: Toward Fairness in Text Generation via Mutual Information Minimization based on Importance Sampling

abstract: Pretrained language models (PLMs), such as GPT2, have achieved remarkable empirical performance in text generation tasks. However, pretrained on large-scale natural language corpora, the generated text from PLMs may exhibit social bias against disadvantaged demographic groups. To improve the fairness of PLMs in text generation, we propose to minimize the mutual information between the semantics in the generated text sentences and their demographic polarity, i.e., the demographic group to which the sentence is referring. In this way, the mentioning of a demographic group (e.g., male or female) is encouraged to be independent from how it is described in the generated text, thus effectively alleviating the social bias. Moreover, we propose to efficiently estimate the upper bound of the above mutual information via importance sampling, leveraging a natural language corpus. We also propose a distillation mechanism that preserves the language modeling ability of the PLMs after debiasing. Empirical results on real-world benchmarks demonstrate that the proposed method yields superior performance in term of both fairness and language modeling ability.


title: A Human-Centered Safe Robot Reinforcement Learning Framework with Interactive Behaviors

abstract: Deployment of Reinforcement Learning (RL) algorithms for robotics applications in the real world requires ensuring the safety of the robot and its environment. Safe Robot RL (SRRL) is a crucial step towards achieving human-robot coexistence. In this paper, we envision a human-centered SRRL framework consisting of three stages: safe exploration, safety value alignment, and safe collaboration. We examine the research gaps in these areas and propose to leverage interactive behaviors for SRRL. Interactive behaviors enable bi-directional information transfer between humans and robots, such as conversational robot ChatGPT. We argue that interactive behaviors need further attention from the SRRL community. We discuss four open challenges related to the robustness, efficiency, transparency, and adaptability of SRRL with interactive behaviors.


title: BCS to incoherent superconductivity crossovers in the Yukawa-SYK model on a lattice

abstract: We provide a quantitative and controlled analysis of the phase diagram of the the Yukawa-SYK model on a lattice, in the normal and superconducting states. We analyze the entire crossover from BCS/weak-coupling to Eliashberg/strong coupling superconductivity, as a function of fermion-boson interaction strength and hopping parameter. Cooper pairs of sharp Fermi-liquid quasiparticles at weak coupling evolve into pairing of fully incoherent fermions in the non-Fermi liquid regime. The crossovers leave observable traces in the critical temperature, the zero-temperature and zero-energy gap, the entropy, and the phase stiffness.


title: Prompt-based Learning for Text Readability Assessment

abstract: We propose the novel adaptation of a pre-trained seq2seq model for readability assessment. We prove that a seq2seq model - T5 or BART - can be adapted to discern which text is more difficult from two given texts (pairwise). As an exploratory study to prompt-learn a neural network for text readability in a text-to-text manner, we report useful tips for future work in seq2seq training and ranking-based approach to readability assessment. Specifically, we test nine input-output formats/prefixes and show that they can significantly influence the final model performance. Also, we argue that the combination of text-to-text training and pairwise ranking setup 1) enables leveraging multiple parallel text simplification data for teaching readability and 2) trains a neural model for the general concept of readability (therefore, better cross-domain generalization). At last, we report a 99.6% pairwise classification accuracy on Newsela and a 98.7% for OneStopEnglish, through a joint training approach.


title: Computing the Difference of Conjunctive Queries Efficiently

abstract: We investigate how to efficiently compute the difference result of two (or multiple) conjunctive queries, which is the last operator in relational algebra to be unraveled. The standard approach in practical database systems is to materialize the results for every input query as a separate set, and then compute the difference of two (or multiple) sets. This approach is bottlenecked by the complexity of evaluating every input query individually, which could be very expensive, particularly when there are only a few results in the difference. In this paper, we introduce a new approach by exploiting the structural property of input queries and rewriting the original query by pushing the difference operator down as much as possible. We show that for a large class of difference queries, this approach can lead to a linear-time algorithm, in terms of the input size and (final) output size, i.e., the number of query results that survive from the difference operator. We complete this result by showing the hardness of computing the remaining difference queries in linear time. Although a linear-time algorithm is hard to achieve in general, we also provide some heuristics that can provably improve the standard approach. At last, we compare our approach with standard SQL engines over graph and benchmark datasets. The experiment results demonstrate order-of-magnitude speedups achieved by our approach over the vanilla SQL.


title: 3D Printed Proprioceptive Soft Fluidic Actuators with Graded Porosity

abstract: Integration of both actuation and proprioception into the robot body would provide actuation and sensing in a single integrated system. Within this work, a manufacturing approach for such actuators is investigated that relies on 3D printing for fabricating soft-graded porous actuators with piezoresistive sensing and identified models for strain estimation. By 3D printing, a graded porous structure consisting of a conductive thermoplastic elastomer both mechanical programming for actuation and piezoresistive sensing were realized. Whereas identified Wiener-Hammerstein (WH) models estimate the strain by compensating the nonlinear hysteresis of the sensorized actuator. Three actuator types were investigated, namely: a bending actuator, a contractor, and a three DoF bending segment (3DoF). The porosity of the contractors was shown to enable the tailoring of both the stroke and resistance change. Furthermore, the WH models could provide strain estimation with on average high fits (83%) and low RMS errors (6%) for all three actuators, which outperformed linear models significantly (76.2/9.4% fit/RMS error). These results indicate that an integrated manufacturing approach with both 3D printed graded porous structures and system identification can realize sensorized actuators that can be tailored through porosity for both actuation and sensing behavior but also compensate for the nonlinear hysteresis.


title: Hierarchical Fuel-Cell Airpath Control: an Efficiency-Aware MIMO Control Approach Combined with a Novel Constraint-Enforcing Reference Governor

abstract: This paper presents a hierarchical multivariable control and constraint management approach for an air supply system for a proton exchange membrane fuel cell (PEMFC) system. The control objectives are to track desired compressor mass airflow and cathode inlet pressure, maintain a minimum oxygen excess ratio (OER), and run the system at maximum net efficiency. A multi-input multi-output (MIMO) internal model controller (IMC) is designed and simulated to track flow and pressure set-points, which showed high performance despite strongly coupled plant dynamics. A new set-point map is generated to compute the most efficient cathode inlet pressure from the stack current load. To enforce OER constraints, a novel reference governor (RG) with the ability to govern multiple references (the cascade RG) and the ability to speed up as well as slow down a reference signal (the cross-section RG) is developed and tested. Compared with a single-input single-output (SISO) air-flow control approach, the proposed MIMO control approach shows up to 7.36 percent lower hydrogen fuel consumption. Compared to a traditional load governor, the novel cascaded cross-section RG (CC-RG) shows up to 3.68 percent less mean absolute percent error (MAPE) on net power tracking and greatly improved worst-case OER on realistic drive-cycle simulations. Control development and validations were conducted on two fuel cell system (FCS) models, a nonlinear open-source model and a proprietary Ford high-fidelity model


title: Ensemble learning for Physics Informed Neural Networks: a Gradient Boosting approach

abstract: While the popularity of physics-informed neural networks (PINNs) is steadily rising, to this date, PINNs have not been successful in simulating multi-scale and singular perturbation problems. In this work, we present a new training paradigm referred to as "gradient boosting" (GB), which significantly enhances the performance of physics informed neural networks (PINNs). Rather than learning the solution of a given PDE using a single neural network directly, our algorithm employs a sequence of neural networks to achieve a superior outcome. This approach allows us to solve problems presenting great challenges for traditional PINNs. Our numerical experiments demonstrate the effectiveness of our algorithm through various benchmarks, including comparisons with finite element methods and PINNs. Furthermore, this work also unlocks the door to employing ensemble learning techniques in PINNs, providing opportunities for further improvement in solving PDEs.


title: Revisiting LQR Control from the Perspective of Receding-Horizon Policy Gradient

abstract: We revisit in this paper the discrete-time linear quadratic regulator (LQR) problem from the perspective of receding-horizon policy gradient (RHPG), a newly developed model-free learning framework for control applications. We provide a fine-grained sample complexity analysis for RHPG to learn a control policy that is both stabilizing and $\epsilon$-close to the optimal LQR solution, and our algorithm does not require knowing a stabilizing control policy for initialization. Combined with the recent application of RHPG in learning the Kalman filter, we demonstrate the general applicability of RHPG in linear control and estimation with streamlined analyses.


title: Absynthe: Abstract Interpretation-Guided Synthesis

abstract: Synthesis tools have seen significant success in recent times. However, past approaches often require a complete and accurate embedding of the source language in the logic of the underlying solver, an approach difficult for industrial-grade languages. Other approaches couple the semantics of the source language with purpose-built synthesizers, necessarily tying the synthesis engine to a particular language model. In this paper, we propose Absynthe, an alternative approach based on user-defined abstract semantics that aims to be both lightweight and language agnostic, yet effective in guiding the search for programs. A synthesis goal in Absynthe is specified as an abstract specification in a lightweight user-defined abstract domain and concrete test cases. The synthesis engine is parameterized by the abstract semantics and independent of the source language. Absynthe validates candidate programs against test cases using the actual concrete language implementation to ensure correctness. We formalize the synthesis rules for Absynthe and describe how the key ideas are scaled-up in our implementation in Ruby. We evaluated Absynthe on SyGuS strings benchmark and found it competitive with other enumerative search solvers. Moreover, Absynthe's ability to combine abstract domains allows the user to move along a cost spectrum, i.e., expressive domains prune more programs but require more time. Finally, to verify Absynthe can act as a general purpose synthesis tool, we use Absynthe to synthesize Pandas data frame manipulating programs in Python using simple abstractions like types and column labels of a data frame. Absynthe reaches parity with AutoPandas, a deep learning based tool for the same benchmark suite. In summary, our results demonstrate Absynthe is a promising step forward towards a general-purpose approach to synthesis that may broaden the applicability of synthesis to more $\ldots$


title: The fast non-commutative sharp drop

abstract: An exact GH membrane matrix model solution is given that corresponds to the world volume swept out by a fast moving axially symmetric drop with a sharp tip.


title: Smallest and Largest Block Palindrome Factorizations

abstract: A \emph{palindrome} is a word that reads the same forwards and backwards. A \emph{block palindrome factorization} (or \emph{BP-factorization}) is a factorization of a word into blocks that becomes palindrome if each identical block is replaced by a distinct symbol. We call the number of blocks in a BP-factorization the \emph{width} of the BP-factorization. The \emph{largest BP-factorization} of a word $w$ is the BP-factorization of $w$ with the maximum width. We study words with certain BP-factorizations. First, we give a recurrence for the number of length-$n$ words with largest BP-factorization of width $t$. Second, we show that the expected width of the largest BP-factorization of a word tends to a constant. Third, we give some results on another extremal variation of BP-factorization, the \emph{smallest BP-factorization}. A \emph{border} of a word $w$ is a non-empty word that is both a proper prefix and suffix of $w$. Finally, we conclude by showing a connection between words with a unique border and words whose smallest and largest BP-factorizations coincide.


title: Quantum coherence between subspaces: State transformation, Cohering Power, $k$-coherence and other properties

abstract: The concept of bock-coherence, first introduced in [1] and developed in [2,3] encompasses the case where experimental capabilities are not so delicate to perform arbitrary refined measurements on individual atoms. We develop a framework which facilitates further investigation of this resource theory in several respects. Using this framework, we investigate the problem of state conversion by incoherent operations and show that a majorization condition is the necessary and sufficient condition for state transformation by block-incoherent operations. We also determine the form of the maximally coherent state from which all other states and all unitary gates can be constructed by incoherent operations. Thereafter, we define the concept of block-cohering and block-decohering powers of quantum channels and determine these powers for several types of channels. Finally, we explore the relation between block coherence and a previous extension of coherence, known as $k$-coherence.


title: STACC: Code Comment Classification using SentenceTransformers

abstract: Code comments are a key resource for information about software artefacts. Depending on the use case, only some types of comments are useful. Thus, automatic approaches to classify these comments have been proposed. In this work, we address this need by proposing, STACC, a set of SentenceTransformers-based binary classifiers. These lightweight classifiers are trained and tested on the NLBSE Code Comment Classification tool competition dataset, and surpass the baseline by a significant margin, achieving an average F1 score of 0.74 against the baseline of 0.31, which is an improvement of 139%. A replication package, as well as the models themselves, are publicly available.


title: A Semi-Intelligence Algorithm For Charging Electric Vehicles

abstract: The penetration of Electric Vehicles (EVs) in Distribution Networks (DNs) has many challenges for distribution companies, such as voltage drop, network losses, etc. To overcome these problems, it is recommended to use coordinated charging methods. However, these methods require high-cost telecommunication, measurement, and processing infrastructure and can only be implemented in smart grids. This article introduces a Semi-Smart Method (SSM) to charge EVs that does not require complex infrastructure. This method, using a simple and inexpensive local automation system, charges EVs during off-peak hours of the DN, thus improving its parameters. Since EVs are charged at low-traffic time intervals, the proposed method benefits EV owners. To get real results, 4- wire DN is considered to model the effect of the neutral wire. To confirm the effectiveness of the proposed method, it is compared to various uncontrolled loading methods. A standard 19-bus test system is used for simulations.


title: Existence of Optical Vortex Solitons in Photorefractive Media

abstract: Optical propagation and vortices in nonlinear media have been intensively studied in modern optical physics. In this paper, we establish constraints regarding the propagation constant and provide an existence theory and numerical computations for positive exponentially decaying solutions for a class of ring-profiled solitons in a type of nonlinear media known as a photorefractive nonlinearity. Our methods include constrained minimization and finite element formalism, and we study the vortex profile and its propagation by fixing the energy flux.


title: On Bellman's principle of optimality and Reinforcement learning for safety-constrained Markov decision process

abstract: We study optimality for the safety-constrained Markov decision process which is the underlying framework for safe reinforcement learning. Specifically, we consider a constrained Markov decision process (with finite states and finite actions) where the goal of the decision maker is to reach a target set while avoiding an unsafe set(s) with certain probabilistic guarantees. Therefore the underlying Markov chain for any control policy will be multichain since by definition there exists a target set and an unsafe set. The decision maker also has to be optimal (with respect to a cost function) while navigating to the target set. This gives rise to a multi-objective optimization problem. We highlight the fact that Bellman's principle of optimality may not hold for constrained Markov decision problems with an underlying multichain structure (as shown by the counterexample due to Haviv. We resolve the counterexample by formulating the aforementioned multi-objective optimization problem as a zero-sum game and thereafter construct an asynchronous value iteration scheme for the Lagrangian (similar to Shapley's algorithm). Finally, we consider the reinforcement learning problem for the same and construct a modified $Q$-learning algorithm for learning the Lagrangian from data. We also provide a lower bound on the number of iterations required for learning the Lagrangian and corresponding error bounds.


title: Directed Diffusion: Direct Control of Object Placement through Attention Guidance

abstract: Text-guided diffusion models such as DALLE-2, Imagen, eDiff-I, and Stable Diffusion are able to generate an effectively endless variety of images given only a short text prompt describing the desired image content. In many cases the images are of very high quality. However, these models often struggle to compose scenes containing several key objects such as characters in specified positional relationships. The missing capability to ``direct'' the placement of characters and objects both within and across images is crucial in storytelling, as recognized in the literature on film and animation theory. In this work, we take a particularly straightforward approach to providing the needed direction. Drawing on the observation that the cross-attention maps for prompt words reflect the spatial layout of objects denoted by those words, we introduce an optimization objective that produces ``activation'' at desired positions in these cross-attention maps. The resulting approach is a step toward generalizing the applicability of text-guided diffusion models beyond single images to collections of related images, as in storybooks. Directed Diffusion provides easy high-level positional control over multiple objects, while making use of an existing pre-trained model and maintaining a coherent blend between the positioned objects and the background. Moreover, it requires only a few lines to implement.


title: Effect of tip speed ratio on multiscale coherent dynamics in the near wake of a model wind turbine

abstract: The near wake of a small-scale wind turbine is investigated using Particle Image Velocimetry (PIV) experiments at different tip speed ratios ($\lambda$). The wind turbine model had a nacelle and a tower mimicking real scale wind turbines. The near wake is found to be dominated by multiple coherent structures including the tip vortices, distinct vortex sheddings from the nacelle and tower, and wake meandering. The merging of the tip vortices is found to be strongly dependent on $\lambda$. A convective length scale ($L_c$) related to the pitch of the helical vortices is defined which is shown to be a better length scale than turbine diameter ($D$) to demarcate the near wake from the far wake. The tower induced strong vertical asymmetry in the flow by destabilising the tip vortices and promoting mixing in the lower (below the nacelle) plane. The nacelle's shedding is found to be important in 'seeding' wake meandering which although not potent, exists close to the nacelle, and it becomes important only after a certain distance downstream ($x>3L_c$). A link between the 'effective porosity' of the turbine and $\lambda$ is established and the strength and frequency of wake meandering is found to be dependent on $\lambda$. In fact, a decreasing trend of wake meandering frequency with $\lambda$ is observed, similar to vortex shedding from a porous disk at varying porosity. Such similarity upholds the notion of wake meandering being a global instability of the turbine, which can be considered as a 'porous' bluff body of diameter $D$.


title: Efficient Multitask Learning on Resource-Constrained Systems

abstract: We present Antler, which exploits the affinity between all pairs of tasks in a multitask inference system to construct a compact graph representation of the task set and finds an optimal order of execution of the tasks such that the end-to-end time and energy cost of inference is reduced while the accuracy remains similar to the state-of-the-art. The design of Antler is based on two observations: first, tasks running on the same platform shows affinity, which is leveraged to find a compact graph representation of the tasks that helps avoid unnecessary computations of overlapping subtasks in the task set; and second, tasks that run on the same system may have dependencies, which is leveraged to find an optimal ordering of the tasks that helps avoid unnecessary computations of the dependent tasks or the remaining portion of a task. We implement two systems: a 16-bit TI MSP430FR5994-based custom-designed ultra-low-power system, and a 32-bit ARM Cortex M4/M7-based off-the-shelf STM32H747 board. We conduct both dataset-driven experiments as well as real-world deployments with these systems. We observe that Antler's execution time and energy consumption are the lowest compared to all baseline systems and by leveraging the similarity of tasks and by reusing the intermediate results from previous task, Antler reduces the inference time by 2.3X -- 4.6X and saves 56\% -- 78\% energy, when compared to the state-of-the-art.


title: Why Do Facial Deepfake Detectors Fail?

abstract: Recent rapid advancements in deepfake technology have allowed the creation of highly realistic fake media, such as video, image, and audio. These materials pose significant challenges to human authentication, such as impersonation, misinformation, or even a threat to national security. To keep pace with these rapid advancements, several deepfake detection algorithms have been proposed, leading to an ongoing arms race between deepfake creators and deepfake detectors. Nevertheless, these detectors are often unreliable and frequently fail to detect deepfakes. This study highlights the challenges they face in detecting deepfakes, including (1) the pre-processing pipeline of artifacts and (2) the fact that generators of new, unseen deepfake samples have not been considered when building the defense models. Our work sheds light on the need for further research and development in this field to create more robust and reliable detectors.


title: Improving Energy Management of Hybrid Electric Vehicles by Considering Battery Electric-Thermal Model

abstract: This article proposes an offline Energy Management System (EMS) for Parallel Hybrid Electric Vehicles (PHEVs). Dividing the torque between the Electric Motor (EM) and the Internal Combustion Engine (ICE) requires a suitable EMS. Batteries are vital to HEVs and significantly impact overall vehicle cost and performance. High temperature and high battery State of Charge (SOC) are the main factors that accelerate battery aging. SOC is the most critical state variable in EMS and was usually considered the only dynamic variable in previous studies. For simplicity, the battery temperature was often assumed to be constant, and the effect of EMS on temperature change was neglected. In this paper, we first apply Dynamic Programming (DP) to a PHEV without considering battery temperature variations. Then, the battery model is improved by modeling the cooling system to take into account temperature variations and show how neglecting the thermal dynamics of the battery in EMS is impractical. Finally, by integrating battery temperature as a state variable in the optimization problem, a new EMS is proposed to control battery temperature and SOC variation. Simulation results of the tested vehicle show that the proposed method controls battery charge and temperature. The proposed EMS method prevents uncontrolled fluctuations in battery temperature and reduces its deterioration rate.


title: Continuous gap contact formulation based on the screened Poisson equation

abstract: We introduce a PDE-based node-to-element contact formulation as an alternative to classical, purely geometrical formulations. It is challenging to devise solutions to nonsmooth contact problem with continuous gap using finite element discretizations. We herein achieve this objective by constructing an approximate distance function (ADF) to the boundaries of solid objects, and in doing so, also obtain universal uniqueness of contact detection. Unilateral constraints are implemented using a mixed model combining the screened Poisson equation and a force element, which has the topology of a continuum element containing an additional incident node. An ADF is obtained by solving the screened Poisson equation with constant essential boundary conditions and a variable transformation. The ADF does not explicitly depend on the number of objects and a single solution of the partial differential equation for this field uniquely defines the contact conditions for all incident points in the mesh. Having an ADF field to any obstacle circumvents the multiple target surfaces and avoids the specific data structures present in traditional contact-impact algorithms. We also relax the interpretation of the Lagrange multipliers as contact forces, and the Courant--Beltrami function is used with a mixed formulation producing the required differentiable result. We demonstrate the advantages of the new approach in two- and three-dimensional problems that are solved using Newton iterations. Simultaneous constraints for each incident point are considered.


title: Stability Analysis of a Simple Discretization Method for a Class of Strongly Singular Integral Equations

abstract: Motivated by the discrete dipole approximation (DDA) for the scattering of electromagnetic waves by a dielectric obstacle that can be considered as a simple discretization of a Lippmann-Schwinger style volume integral equation for time-harmonic Maxwell equations, we analyze an analogous discretization of convolution operators with strongly singular kernels. For a class of kernel functions that includes the finite Hilbert transformation in 1D and the principal part of the Maxwell volume integral operator used for DDA in dimensions 2 and 3, we show that the method, which does not fit into known frameworks of projection methods, can nevertheless be considered as a finite section method for an infinite block Toeplitz matrix. The symbol of this matrix is given by a Fourier series that does not converge absolutely. We use Ewald's method to obtain an exponentially fast convergent series representation of this symbol and show that it is a bounded function, thereby allowing to describe the spectrum and the numerical range of the matrix. It turns out that this numerical range includes the numerical range of the integral operator, but that it is in some cases strictly larger. In these cases the discretization method does not provide a spectrally correct approximation, and while it is stable for a large range of the spectral parameter $\lambda$, there are values of $\lambda$ for which the singular integral equation is well posed, but the discretization method is unstable.


title: The Effect of Points Dispersion on the $k$-nn Search in Random Projection Forests

abstract: Partitioning trees are efficient data structures for $k$-nearest neighbor search. Machine learning libraries commonly use a special type of partitioning trees called $k$d-trees to perform $k$-nn search. Unfortunately, $k$d-trees can be ineffective in high dimensions because they need more tree levels to decrease the vector quantization (VQ) error. Random projection trees rpTrees solve this scalability problem by using random directions to split the data. A collection of rpTrees is called rpForest. $k$-nn search in an rpForest is influenced by two factors: 1) the dispersion of points along the random direction and 2) the number of rpTrees in the rpForest. In this study, we investigate how these two factors affect the $k$-nn search with varying $k$ values and different datasets. We found that with larger number of trees, the dispersion of points has a very limited effect on the $k$-nn search. One should use the original rpTree algorithm by picking a random direction regardless of the dispersion of points.


title: Cybersecurity Challenges of Power Transformers

abstract: The rise of cyber threats on critical infrastructure and its potential for devastating consequences, has significantly increased. The dependency of new power grid technology on information, data analytic and communication systems make the entire electricity network vulnerable to cyber threats. Power transformers play a critical role within the power grid and are now commonly enhanced through factory add-ons or intelligent monitoring systems added later to improve the condition monitoring of critical and long lead time assets such as transformers. However, the increased connectivity of those power transformers opens the door to more cyber attacks. Therefore, the need to detect and prevent cyber threats is becoming critical. The first step towards that would be a deeper understanding of the potential cyber-attacks landscape against power transformers. Much of the existing literature pays attention to smart equipment within electricity distribution networks, and most methods proposed are based on model-based detection algorithms. Moreover, only a few of these works address the security vulnerabilities of power elements, especially transformers within the transmission network. To the best of our knowledge, there is no study in the literature that systematically investigate the cybersecurity challenges against the newly emerged smart transformers. This paper addresses this shortcoming by exploring the vulnerabilities and the attack vectors of power transformers within electricity networks, the possible attack scenarios and the risks associated with these attacks.


title: Reduced steroid activation of elephant shark glucocorticoid and mineralocorticoid receptors after inserting four amino acids from the DNA-binding domain of lamprey corticoid receptor-1

abstract: Atlantic sea lamprey contains two corticoid receptors (CRs), CR1 and CR2, that are identical except for a four amino acid insert (Thr-Arg-Gln-Gly) in the CR1 DNA-binding domain (DBD). Steroids are stronger transcriptional activators of CR2 than of CR1 suggesting that the insert reduces the transcriptional response of lamprey CR1 to steroids. The DBD in elephant shark mineralocorticoid receptor (MR) and glucocorticoid receptor (GR), which are descended from a CR, lack these four amino acids, suggesting that a CR2 is their common ancestor. To determine if, similar to lamprey CR1, the presence of this insert in elephant shark MR and GR decreases transcriptional activation by corticosteroids, we inserted these four CR1-specific residues into the DBD of elephant shark MR and GR. Compared to steroid activation of wild-type elephant shark MR and GR, cortisol, corticosterone, aldosterone, 11-deoxycorticosterone and 11-deoxycortisol had lower transcriptional activation of these mutant MR and GR receptors, indicating that the absence of this four-residue segment in the DBD in wild-type elephant shark MR and GR increases transcriptional activation by corticosteroids.


title: Achieving High Accuracy with PINNs via Energy Natural Gradients

abstract: We propose energy natural gradient descent, a natural gradient method with respect to a Hessian-induced Riemannian metric as an optimization algorithm for physics-informed neural networks (PINNs) and the deep Ritz method. As a main motivation we show that the update direction in function space resulting from the energy natural gradient corresponds to the Newton direction modulo an orthogonal projection onto the model's tangent space. We demonstrate experimentally that energy natural gradient descent yields highly accurate solutions with errors several orders of magnitude smaller than what is obtained when training PINNs with standard optimizers like gradient descent or Adam, even when those are allowed significantly more computation time.


title: Multiscale Theory

abstract: Boltzmann kinetic equation is put into the form of an abstract time evolution equation representing links connecting autonomous mesoscopic dynamical theories involving varying amount of details. In the chronological order we present results that led to the abstract time equation evolution in both state space and the space of vector fields. In the final section we list some open problems.


title: A parameter-free graph reduction for spectral clustering and SpectralNet

abstract: Graph-based clustering methods like spectral clustering and SpectralNet are very efficient in detecting clusters of non-convex shapes. Unlike the popular $k$-means, graph-based clustering methods do not assume that each cluster has a single mean. However, these methods need a graph where vertices in the same cluster are connected by edges of large weights. To achieve this goal, many studies have proposed graph reduction methods with parameters. Unfortunately, these parameters have to be tuned for every dataset. We introduce a graph reduction method that does not require any parameters. First, the distances from every point $p$ to its neighbors are filtered using an adaptive threshold to only keep neighbors with similar surrounding density. Second, the similarities with close neighbors are computed and only high similarities are kept. The edges that survive these two filtering steps form the constructed graph that was passed to spectral clustering and SpectralNet. The experiments showed that our method provides a stable alternative, where other methods performance fluctuated according to the setting of their parameters.


title: Stellar Dynamical Modeling -- Counting Conserved Quantities

abstract: Knowing the conserved quantities that a galaxy's stellar orbits conform to is important in helping us understand the stellar distribution and structures within the galaxy. Isolating integrals of motion and resonances are particularly important, non-isolating integrals less so. We compare the behavior and results of two methods for counting the number of conserved quantities, one based on the correlation integral approach and the other a more recent method using machine learning. Both methods use stellar orbit trajectories in phase space as their only input, and we create such trajectories from theoretical spherical, axisymmetric and triaxial model galaxies. The orbits have known isolating integrals and resonances. We find that neither method is fully effective in recovering the numbers of these quantities, nor in determining the number of non-isolating integrals. From a computer performance perspective, we find the correlation integral approach to be the faster. Determining the algebraic formulae of (multiple) conserved quantities from the trajectories has not been possible due to the lack of an appropriate symbolic regression capability. Notwithstanding the shortcomings we have noted, it may be that the methods are usable as part of a trajectory analysis tool kit.


title: Transmon probe for quantum characteristics of magnons in antiferromagnets

abstract: The detection of magnons and their quantum properties, especially in antiferromagnetic (AFM) materials, is a substantial step to realize many ambitious advances in the study of nanomagnetism and the development of energy efficient quantum technologies. The recent development of hybrid systems based on superconducting circuits provides the possibility of engineering quantum sensors that exploit different degrees of freedom. Here, we examine the magnon-photon-transmon hybridisation based on bipartite AFM materials, which gives rise to an effective coupling between a transmon qubit and magnons in a bipartite AFM. We demonstrate how magnetically invisible magnon modes, their chiralities and quantum properties such as nonlocality and two-mode magnon entanglement in bipartite AFMs can be characterized through the Rabi frequency of the superconducting transmon qubit.


title: Random projection tree similarity metric for SpectralNet

abstract: SpectralNet is a graph clustering method that uses neural network to find an embedding that separates the data. So far it was only used with $k$-nn graphs, which are usually constructed using a distance metric (e.g., Euclidean distance). $k$-nn graphs restrict the points to have a fixed number of neighbors regardless of the local statistics around them. We proposed a new SpectralNet similarity metric based on random projection trees (rpTrees). Our experiments revealed that SpectralNet produces better clustering accuracy using rpTree similarity metric compared to $k$-nn graph with a distance metric. Also, we found out that rpTree parameters do not affect the clustering accuracy. These parameters include the leaf size and the selection of projection direction. It is computationally efficient to keep the leaf size in order of $\log(n)$, and project the points onto a random direction instead of trying to find the direction with the maximum dispersion.


title: Quantitative assessment of the universal thermopower in the Hubbard model

abstract: As primarily an electronic observable, the room-temperature thermopower $S$ in cuprates provides possibilities for a quantitative assessment of the Hubbard model. Using determinant quantum Monte Carlo, we demonstrate agreement between Hubbard model calculations and experimentally measured room-temperature $S$ across multiple cuprate families, both qualitatively in terms of the doping dependence and quantitatively in terms of magnitude. We observe an upturn in $S$ with decreasing temperatures, which possesses a slope comparable to that observed experimentally in cuprates. From our calculations, the doping at which $S$ changes sign occurs in close proximity to a vanishing temperature dependence of the chemical potential at fixed density. Our results emphasize the importance of interaction effects in the systematic assessment of the thermopower $S$ in cuprates.


title: Partial Label Learning for Emotion Recognition from EEG

abstract: Fully supervised learning has recently achieved promising performance in various electroencephalography (EEG) learning tasks by training on large datasets with ground truth labels. However, labeling EEG data for affective experiments is challenging, as it can be difficult for participants to accurately distinguish between similar emotions, resulting in ambiguous labeling (reporting multiple emotions for one EEG instance). This notion could cause model performance degradation, as the ground truth is hidden within multiple candidate labels. To address this issue, Partial Label Learning (PLL) has been proposed to identify the ground truth from candidate labels during the training phase, and has shown good performance in the computer vision domain. However, PLL methods have not yet been adopted for EEG representation learning or implemented for emotion recognition tasks. In this paper, we adapt and re-implement six state-of-the-art PLL approaches for emotion recognition from EEG on a large emotion dataset (SEED-V, containing five emotion classes). We evaluate the performance of all methods in classical and real-world experiments. The results show that PLL methods can achieve strong results in affective computing from EEG and achieve comparable performance to fully supervised learning. We also investigate the effect of label disambiguation, a key step in many PLL methods. The results show that in most cases, label disambiguation would benefit the model when the candidate labels are generated based on their similarities to the ground truth rather than obeying a uniform distribution. This finding suggests the potential of using label disambiguation-based PLL methods for real-world affective tasks. We make the source code of this paper publicly available at: https://github.com/guangyizhangbci/PLL-Emotion-EEG.


title: How far is almost strong compactness from strong compactness

abstract: Bagaria and Magidor introduced the notion of almost strong compactness, which is very close to the notion of strong compactness. Boney and Brooke-Taylor asked whether the least almost strongly compact cardinal is strongly compact. Goldberg gives a positive answer in the case $\mathrm{SCH}$ holds from below and the least almost strongly compact cardinal has uncountable cofinality. In this paper, we give a negative answer for the general case. Our result also gives an affirmative answer to a question of Bagaria and Magidor.


title: Deep Learning-based Multi-Organ CT Segmentation with Adversarial Data Augmentation

abstract: In this work, we propose an adversarial attack-based data augmentation method to improve the deep-learning-based segmentation algorithm for the delineation of Organs-At-Risk (OAR) in abdominal Computed Tomography (CT) to facilitate radiation therapy. We introduce Adversarial Feature Attack for Medical Image (AFA-MI) augmentation, which forces the segmentation network to learn out-of-distribution statistics and improve generalization and robustness to noises. AFA-MI augmentation consists of three steps: 1) generate adversarial noises by Fast Gradient Sign Method (FGSM) on the intermediate features of the segmentation network's encoder; 2) inject the generated adversarial noises into the network, intentionally compromising performance; 3) optimize the network with both clean and adversarial features. Experiments are conducted segmenting the heart, left and right kidney, liver, left and right lung, spinal cord, and stomach. We first evaluate the AFA-MI augmentation using nnUnet and TT-Vnet on the test data from a public abdominal dataset and an institutional dataset. In addition, we validate how AFA-MI affects the networks' robustness to the noisy data by evaluating the networks with added Gaussian noises of varying magnitudes to the institutional dataset. Network performance is quantitatively evaluated using Dice Similarity Coefficient (DSC) for volume-based accuracy. Also, Hausdorff Distance (HD) is applied for surface-based accuracy. On the public dataset, nnUnet with AFA-MI achieves DSC = 0.85 and HD = 6.16 millimeters (mm); and TT-Vnet achieves DSC = 0.86 and HD = 5.62 mm. AFA-MI augmentation further improves all contour accuracies up to 0.217 DSC score when tested on images with Gaussian noises. AFA-MI augmentation is therefore demonstrated to improve segmentation performance and robustness in CT multi-organ segmentation.


title: MetaAID 2.0: An Extensible Framework for Developing Metaverse Applications via Human-controllable Pre-trained Models

abstract: Pre-trained models (PM) have achieved promising results in content generation. However, the space for human creativity and imagination is endless, and it is still unclear whether the existing models can meet the needs. Model-generated content faces uncontrollable responsibility and potential unethical problems. This paper presents the MetaAID 2.0 framework, dedicated to human-controllable PM information flow. Through the PM information flow, humans can autonomously control their creativity. Through the Universal Resource Identifier extension (URI-extension), the responsibility of the model outputs can be controlled. Our framework includes modules for handling multimodal data and supporting transformation and generation. The URI-extension consists of URI, detailed description, and URI embeddings, and supports fuzzy retrieval of model outputs. Based on this framework, we conduct experiments on PM information flow and URI embeddings, and the results demonstrate the good performance of our system.


title: The Magic Permutohedron

abstract: We present a configuration called a magic permutohedron that shows the placement of the numbers of $\{1, 2, 3, \dots, 24\}$ in the vertices of the permutohedra so that the sum of numbers on each square side is 50 and the sum of the numbers in each hexagonal side is 75.


title: Computing excluded minors for classes of matroids representable over partial fields

abstract: We describe an implementation of a computer search for the "small" excluded minors for a class of matroids representable over a partial field. Using these techniques, we enumerate the excluded minors on at most 15 elements for both the class of dyadic matroids, and the class of 2-regular matroids. We conjecture that there are no other excluded minors for the class of 2-regular matroids; whereas, on the other hand, we show that there is a 16-element excluded minor for the class of dyadic matroids.


title: A One-way Secret Key Agreement with Security Against Active Adversaries

abstract: In a one-way secret key agreement (OW-SKA) protocol in source model, Alice and Bob have private samples of two correlated variables X and Y that are partially leaked to Eve through Z, and use a single message from Alice to Bob to obtain a secret shared key. We propose an efficient secure OW-SKA when the sent message can be tampered with by an active adversary. The construction follows the approach of an existing OW-SKA with security against passive adversaries, and uses a specially designed secure Message Authentication Code (MAC) that is secure when the key is partially leaked, to achieve security against active adversaries. We prove the secrecy of the established key and robustness of the protocol, and discuss our results.