Showing 1–21 of 21 results for author: Yen, L

FARSI: Facebook AR System Investigator for Agile Domain-Specific System-on-Chip Exploration

Authors: Behzad Boroujerdian, Ying **g, Amit Kumar, Lavanya Subramanian, Luke Yen, Vincent Lee, Vivek Venkatesan, Amit **dal, Robert Shearer, Vijay Janapa Reddi

Abstract: Domain-specific SoCs (DSSoCs) are attractive solutions for domains with stringent power/performance/area constraints; however, they suffer from two fundamental complexities. On the one hand, their many specialized hardware blocks result in complex systems and thus high development effort. On the other, their many system knobs expand the complexity of design space, making the search for the optimal… ▽ More Domain-specific SoCs (DSSoCs) are attractive solutions for domains with stringent power/performance/area constraints; however, they suffer from two fundamental complexities. On the one hand, their many specialized hardware blocks result in complex systems and thus high development effort. On the other, their many system knobs expand the complexity of design space, making the search for the optimal design difficult. Thus to reach prevalence, taming such complexities is necessary. This work identifies necessary features of an early-stage design space exploration (DSE) framework that targets the complex design space of DSSoCs and further provides an instance of one called FARSI, (F)acebook (AR) (S)ystem (I)nvestigator. Concretely, FARSI provides an agile system-level simulator with speed up and accuracy of 8,400X and 98.5% comparing to Synopsys Platform Architect. FARSI also provides an efficient exploration heuristic and achieves up to 16X improvementin convergence time comparing to naive simulated annealing (SA). This is done by augmenting SA with architectural reasoning such as locality exploitation and bottleneck relaxation. Furthermore, we embed various co-design capabilities and show that on average, they have a 32% impact on the convergence rate. Finally, we demonstrate that using simple development-cost-aware policies can lower the system complexity, both in terms of the component count and variation by as much as 150% and 118% (e,g., for Network-on-a-Chip subsystem) △ Less

Submitted 17 January, 2022; v1 submitted 13 January, 2022; originally announced January 2022.

An extragradient algorithm for quasiconvex equilibrium problems without monotonicity

Authors: Le Hai Yen, Le Dung Muu

Abstract: We attempt to provide an algorithm for approximating a solution of the quasiconvex equilibrium problem that was proved to exist by K. Fan 1972. The proposed algorithm is an iterative procedure, where the search direction at each iteration is a normal-subgradient, while the step-size is updated avoiding Lipschitz-type conditions. The algorithm is convergent to a $ρ$- quasi-solution with any positiv… ▽ More We attempt to provide an algorithm for approximating a solution of the quasiconvex equilibrium problem that was proved to exist by K. Fan 1972. The proposed algorithm is an iterative procedure, where the search direction at each iteration is a normal-subgradient, while the step-size is updated avoiding Lipschitz-type conditions. The algorithm is convergent to a $ρ$- quasi-solution with any positive $ρ$ if the bifunction $f$ is semistrictly quasiconvex in its second variable, while it converges to the solution when $f$ is strongly quasiconvex. Neither monotoniciy nor Lipschitz property is required. △ Less

Submitted 23 April, 2023; v1 submitted 6 December, 2021; originally announced December 2021.

Comments: 1. The title has been changed

A parallel subgradient projection algorithm for quasiconvex equilibrium problems under the intersection of convex sets

Authors: Le Hai Yen, Le Dung Muu

Abstract: In this paper, we studied the equilibrium problem where the bi-function may be quasiconvex with respect to the second variable and the feasible set is the intersection of a finite number of convex sets. We propose a projection-algorithm, where the projection can be computed independently onto each component set. The convergence of the algorithm is investigated and numerical examples for a variatio… ▽ More In this paper, we studied the equilibrium problem where the bi-function may be quasiconvex with respect to the second variable and the feasible set is the intersection of a finite number of convex sets. We propose a projection-algorithm, where the projection can be computed independently onto each component set. The convergence of the algorithm is investigated and numerical examples for a variational inequality problem involving affine fractional operator are provided to demonstrate the behavior of the algorithm. △ Less

Submitted 30 September, 2020; originally announced October 2020.

Severity Detection Tool for Patients with Infectious Disease

Authors: Girmaw Abebe Tadesse, Tingting Zhu, Nhan Le Nguyen Thanh, Nguyen Thanh Hung, Ha Thi Hai Duong, Truong Huu Khanh, Pham Van Quang, Duc Duong Tran, LamMinh Yen, H Rogier Van Doorn, Nguyen Van Hao, John Prince, Hamza Javed, DaniKiyasseh, Le Van Tan, Louise Thwaites, David A. Clifton

Abstract: Hand, foot and mouth disease (HFMD) and tetanus are serious infectious diseases in low and middle income countries. Tetanus in particular has a high mortality rate and its treatment is resource-demanding. Furthermore, HFMD often affects a large number of infants and young children. As a result, its treatment consumes enormous healthcare resources, especially when outbreaks occur. Autonomic nervous… ▽ More Hand, foot and mouth disease (HFMD) and tetanus are serious infectious diseases in low and middle income countries. Tetanus in particular has a high mortality rate and its treatment is resource-demanding. Furthermore, HFMD often affects a large number of infants and young children. As a result, its treatment consumes enormous healthcare resources, especially when outbreaks occur. Autonomic nervous system dysfunction (ANSD) is the main cause of death for both HFMD and tetanus patients. However, early detection of ANSD is a difficult and challenging problem. In this paper, we aim to provide a proof-of-principle to detect the ANSD level automatically by applying machine learning techniques to physiological patient data, such as electrocardiogram (ECG) and photoplethysmogram (PPG) waveforms, which can be collected using low-cost wearable sensors. Efficient features are extracted that encode variations in the waveforms in the time and frequency domains. A support vector machine is employed to classify the ANSD levels. The proposed approach is validated on multiple datasets of HFMD and tetanus patients in Vietnam. Results show that encouraging performance is achieved in classifying ANSD levels. Moreover, the proposed features are simple, more generalisable and outperformed the standard heart rate variability (HRV) analysis. The proposed approach would facilitate both the diagnosis and treatment of infectious diseases in low and middle income countries, and thereby improve overall patient care. △ Less

Submitted 10 December, 2019; originally announced December 2019.

A subgradient method for equilibrium problems involving quasiconvex bifunctions

Authors: Le Hai Yen, Le Dung Muu

Abstract: In this paper we propose a subgradient algorithm for solving the equilibrium problem where the bifunction may be quasiconvex with respect to the second variable. The convergence of the algorithm is investigated. A numerical example for a generalized variational inequality problem is provided to demonstrate the behavior of the algorithm. In this paper we propose a subgradient algorithm for solving the equilibrium problem where the bifunction may be quasiconvex with respect to the second variable. The convergence of the algorithm is investigated. A numerical example for a generalized variational inequality problem is provided to demonstrate the behavior of the algorithm. △ Less

Submitted 31 October, 2019; originally announced November 2019.

A neural document language modeling framework for spoken document retrieval

Authors: Li-Phen Yen, Zhen-Yu Wu, Kuan-Yu Chen

Abstract: Recent developments in deep learning have led to a significant innovation in various classic and practical subjects, including speech recognition, computer vision, question answering, information retrieval and so on. In the context of natural language processing (NLP), language representations have shown giant successes in many downstream tasks, so the school of studies have become a major stream… ▽ More Recent developments in deep learning have led to a significant innovation in various classic and practical subjects, including speech recognition, computer vision, question answering, information retrieval and so on. In the context of natural language processing (NLP), language representations have shown giant successes in many downstream tasks, so the school of studies have become a major stream of research recently. Because the immenseness of multimedia data along with speech have spread around the world in our daily life, spoken document retrieval (SDR) has become an important research subject in the past decades. Targeting on enhancing the SDR performance, the paper concentrates on proposing a neural retrieval framework, which assembles the merits of using language modeling (LM) mechanism in SDR and leveraging the abstractive information learned by the language representation models. Consequently, to our knowledge, this is a pioneer study on supervised training of a neural LM-based SDR framework, especially combined with the pretrained language representation methods. △ Less

Submitted 31 October, 2019; originally announced October 2019.

Decentralized Combinatorial Auctions for Multi-Unit Resource Allocation

Authors: Li-Hsing Yen, Guang-Hong Sun

Abstract: Auction has been used to allocate resources or tasks to processes, machines or other autonomous entities in distributed systems. When different bidders have different demands and valuations on different types of resources or tasks, the auction becomes a combinatorial auction (CA), for which finding an optimal auction result that maximizes total winning bid is NP-hard. Many time-efficient approxima… ▽ More Auction has been used to allocate resources or tasks to processes, machines or other autonomous entities in distributed systems. When different bidders have different demands and valuations on different types of resources or tasks, the auction becomes a combinatorial auction (CA), for which finding an optimal auction result that maximizes total winning bid is NP-hard. Many time-efficient approximations to this problem work with a bid ranking function (BRF). However, existing approximations are all centralized and mostly for single-unit resource. In this paper, we propose the first decentralized CA schemes for multi-unit resources. It includes a BRF-based winner determination scheme that enables every agent to locally compute a critical bid value for her to win the CA and accordingly take her best response to other agent's win declaration. It also includes a critical-value-based pricing scheme for each winner to locally compute her payment. We analyze stabilization, correctness, and consistency properties of the proposed approach. Simulation results confirms that the proposed approach identifies exactly the same set of winners as the centralized counterpart regardless of initial bid setting, but at the cost of lower total winning bid and payment. △ Less

Submitted 24 February, 2019; v1 submitted 16 April, 2018; originally announced April 2018.

Comments: Theorem 1 is questionable and needs revision. Others parts should also be modified accorrdingly. Before the new version is ready, this version should not be referred

Costas cubes

Authors: Jonathan Jedwab, Lily Yen

Abstract: A Costas array is a permutation array for which the vectors joining pairs of $1$s are all distinct. We propose a new three-dimensional combinatorial object related to Costas arrays: an order $n$ Costas cube is an array $(d_{i,j,k})$ of size $n \times n \times n$ over $\mathbb{Z}_2$ for which each of the three projections of the array onto two dimensions, namely $(\sum_i d_{i,j,k})$ and… ▽ More A Costas array is a permutation array for which the vectors joining pairs of $1$s are all distinct. We propose a new three-dimensional combinatorial object related to Costas arrays: an order $n$ Costas cube is an array $(d_{i,j,k})$ of size $n \times n \times n$ over $\mathbb{Z}_2$ for which each of the three projections of the array onto two dimensions, namely $(\sum_i d_{i,j,k})$ and $(\sum_j d_{i,j,k})$ and $(\sum_k d_{i,j,k})$, is an order $n$ Costas array. We determine all Costas cubes of order at most $29$, showing that Costas cubes exist for all these orders except $18$ and $19$ and that a significant proportion of the Costas arrays of certain orders occur as projections of Costas cubes. We then present constructions for four infinite families of Costas cubes. △ Less

Submitted 3 August, 2017; v1 submitted 17 February, 2017; originally announced February 2017.

Comments: 12 pages, 1 figure. Theorem 11 introduces two further infinite families of Costas cubes

MSC Class: 05B20

An infinite family of strongly unextendible mutually unbiased bases in $\mathbb{C}^{2^{2h}}$

Authors: Jonathan Jedwab, Lily Yen

Abstract: A set of $b$ mutually unbiased bases (MUBs) in $\mathbb{C}^d$ (for $d > 1$) comprises $bd$ vectors in $\mathbb{C}^d$, partitioned into $b$ orthogonal bases for $\mathbb{C}^d$ such that the pairwise angle between all vectors from distinct bases is $\arccos(1/\sqrt{d})$. The largest number $μ(d)$ of MUBs that can exist in $\mathbb{C}^d$ is at most $d+1$, but constructions attaining this bound are kn… ▽ More A set of $b$ mutually unbiased bases (MUBs) in $\mathbb{C}^d$ (for $d > 1$) comprises $bd$ vectors in $\mathbb{C}^d$, partitioned into $b$ orthogonal bases for $\mathbb{C}^d$ such that the pairwise angle between all vectors from distinct bases is $\arccos(1/\sqrt{d})$. The largest number $μ(d)$ of MUBs that can exist in $\mathbb{C}^d$ is at most $d+1$, but constructions attaining this bound are known only when $d$ is a prime power. A set of $b$ MUBs in $\mathbb{C}^d$ that cannot be enlarged, even by the first vector of a potential $(b+1)$-th MUB, is called strongly unextendible. Until now, only one infinite family of dimensions $d$ containing $b(d)$ strongly unextendible MUBs in $\mathbb{C}^d$ satisfying $b(d) < μ(d)$ was known, this family, due to Szántó, is asymptotically "large" in the sense that $b(d)/μ(d) \to 1$ as $d \to \infty$. However, the existence of $2^{m-1}+1$ strongly unextendible MUBs in $\mathbb{C}^{2^m}$ for each integer $m > 1$ has been conjectured by Mandayam et al. We prove their conjecture for all even values of $m$, using only elementary linear algebra. The existence of this "small" new infinite family suggests, contrary to widespread belief, that $μ(d)$ for non-prime-powers $d$ might be significantly larger than the size of particular unextendible sets. △ Less

Submitted 16 April, 2016; originally announced April 2016.

Comments: 9 pages

MSC Class: 05B20; 15A30; 81P45; 94B60

Lab-in-a-phone: Smartphone-based Portable Fluorometer for pH Field Measurements of Environmental Water

Authors: Md. Arafat Hossain, John Canning, Sandra Ast, Peter J. Rutledge, Teh Li Yen, Abbas Jamalipour

Abstract: A novel portable fluorometer combining the attributes of a smartphone with an easy fit, simple and compact sample chamber fabricated using 3D printing has been developed for pH measurements of environmental water in the field. The results were then compared directly with those obtained using conventional electrode based measurements. A novel portable fluorometer combining the attributes of a smartphone with an easy fit, simple and compact sample chamber fabricated using 3D printing has been developed for pH measurements of environmental water in the field. The results were then compared directly with those obtained using conventional electrode based measurements. △ Less

Submitted 17 May, 2014; originally announced May 2014.

Comments: Submitted to IEEE Sensors Journal 21_2_2014

On the length of integers in telescopers for proper hypergeometric terms

Authors: Manuel Kauers, Lily Yen

Abstract: We show that the number of digits in the integers of a creative telesco** relation of expected minimal order for a bivariate proper hypergeometric term has essentially cubic growth with the problem size. For telescopers of higher order but lower degree we obtain a quintic bound. Experiments suggest that these bounds are tight. As applications of our results, we give an improved bound on the maxi… ▽ More We show that the number of digits in the integers of a creative telesco** relation of expected minimal order for a bivariate proper hypergeometric term has essentially cubic growth with the problem size. For telescopers of higher order but lower degree we obtain a quintic bound. Experiments suggest that these bounds are tight. As applications of our results, we give an improved bound on the maximal possible integer root of the leading coefficient of a telescoper, and the first discussion of the bit complexity of creative telesco**. △ Less

Submitted 23 February, 2014; v1 submitted 14 November, 2013; originally announced November 2013.

Comments: 21 pages, 2 figures, to appear in the Journal of Symbolic Computation

Constructing Skolem sequences via generating trees

Authors: Sophie Burrill, Lily Yen

Abstract: A Skolem sequence is a linear arrangement of the multiset, {1, 1, 2, 2, ..., n, n} such that if r in [n] appears in positions i and j, then |i-j| = r. We first translate the problem to a particular set of perfect matchings, then apply the method of generating trees for open arc diagrams to generate exhaustively all Skolem sequences of a given size. Tracking the arc length between pairs of vertices… ▽ More A Skolem sequence is a linear arrangement of the multiset, {1, 1, 2, 2, ..., n, n} such that if r in [n] appears in positions i and j, then |i-j| = r. We first translate the problem to a particular set of perfect matchings, then apply the method of generating trees for open arc diagrams to generate exhaustively all Skolem sequences of a given size. Tracking the arc length between pairs of vertices in an arc annotated diagram is the central task. Although we do not surpass previously known enumerative results, this method drastically reduces the search space compared to previously known methods. △ Less

Submitted 27 January, 2013; originally announced January 2013.

Comments: 8 pages, 2 figures

MSC Class: 05A15 (Primary) 05B30 (Secondary)

Crossings and Nestings for Arc-Coloured Permutations

Authors: Lily Yen

Abstract: The equidistribution of many crossing and nesting statistics exists in several combinatorial objects like matchings, set partitions, permutations, and embedded labelled graphs. The involutions switching nesting and crossing numbers for set partitions given by Krattenthaler, also by Chen, Deng, Du, Stanley, and Yan, and for permutations given by Burrill, Mishna, and Post involved passing through ta… ▽ More The equidistribution of many crossing and nesting statistics exists in several combinatorial objects like matchings, set partitions, permutations, and embedded labelled graphs. The involutions switching nesting and crossing numbers for set partitions given by Krattenthaler, also by Chen, Deng, Du, Stanley, and Yan, and for permutations given by Burrill, Mishna, and Post involved passing through tableau-like objects. Recently, Chen and Guo for matchings, and Marberg for set partitions extended the result to coloured arc annotated diagrams. We prove that symmetric joint distribution continues to hold for arc-coloured permutations. As in Marberg's recent work, but through a different interpretation, we also conclude that the ordinary generating functions for all $j$-noncrossing, $k$-nonnesting, $r$-coloured permutations according to size $n$ are rational functions. We use the interpretation to automate the generation of these rational series for both noncrossing and nonnesting coloured set partitions and permutations. △ Less

Submitted 25 April, 2013; v1 submitted 14 November, 2012; originally announced November 2012.

Comments: 22 pages, 10 figures, 2 tables, and two Maple procedures

MSC Class: 05A19

Journal ref: DMTCS Proceedings, 0(01):743-754, 2013

A Bijection for Crossings and Nestings

Authors: Lily Yen

Abstract: For a subclass of matchings, set partitions, and permutations, we describe a direct bijection involving only arc annotated diagrams that not only interchanges maximum nesting and crossing numbers, but also all refinements of crossing and nesting numbers. Furthermore, we show that the bijection cannot be applied to a similar class of coloured arc annotated diagrams. For a subclass of matchings, set partitions, and permutations, we describe a direct bijection involving only arc annotated diagrams that not only interchanges maximum nesting and crossing numbers, but also all refinements of crossing and nesting numbers. Furthermore, we show that the bijection cannot be applied to a similar class of coloured arc annotated diagrams. △ Less

Submitted 21 October, 2012; v1 submitted 13 September, 2012; originally announced September 2012.

MSC Class: 05A19

High Energy Scattering in the Quasi-Potential Approach

Authors: Nguyen Suan Han, Le Hai Yen, Nguyen Nhu Xuan

Abstract: Asymptotic behavior of the scattering amplitude for two scalar particles by scalar, vector and tensor exchanges at high energy and fixed momentum transfers is reconsidered in quantum field theory. In the framework of the quasi-potential approach and the modified perturbation theory a systematic scheme of finding the leading eikonal scattering amplitudes and its corrections are developed and constr… ▽ More Asymptotic behavior of the scattering amplitude for two scalar particles by scalar, vector and tensor exchanges at high energy and fixed momentum transfers is reconsidered in quantum field theory. In the framework of the quasi-potential approach and the modified perturbation theory a systematic scheme of finding the leading eikonal scattering amplitudes and its corrections are developed and constructed.The connection between the solutions obtained by quasi-potential and functional approaches is also discussed.The first correction to leading eikonal amplitude is found. Keywords: Eikonal scattering theory, Quantum gravity. △ Less

Submitted 31 December, 2011; originally announced January 2012.

Comments: 18 pages. arXiv admin note: substantial text overlap with arXiv:0804.3432

Journal ref: International Journal of Modern Physics A, Vol. 27, No. 1 (2012) 1250004

Functional Integration and High Energy Scattering of Particles with Anomalous Magnetic Moments in Quantum Field Theory

Authors: Nguyen Suan Han, Nguyen Nhu Xuan, Le Thi Hai Yen

Abstract: The functional integration method is used for studying the scattering of a scalar pion on nucleon with the anomalous magnetic moment in the framework of nonrenomalizable quantum field theory. In the asymptotic region s {\to} {\infty}, |t| << s the representation of eikonal type for the amplitude of pion-nucleon scattering is obtained. The anomalous magnetic moment leads to additional terms in the… ▽ More The functional integration method is used for studying the scattering of a scalar pion on nucleon with the anomalous magnetic moment in the framework of nonrenomalizable quantum field theory. In the asymptotic region s {\to} {\infty}, |t| << s the representation of eikonal type for the amplitude of pion-nucleon scattering is obtained. The anomalous magnetic moment leads to additional terms in the amplitude which describe the spin flips in the scattering process. It is shown that the renormalization problem does not arise in the asymptotic s {\to} {\infty} since the unrenomalized divergences disappear in this approximation. Coulomb interference is considered as an application. △ Less

Submitted 19 December, 2011; originally announced December 2011.

Comments: 13 pages

A generating tree approach to k-nonnesting partitions and permutations

Authors: Sophie Burrill, Sergi Elizalde, Marni Mishna, Lily Yen

Abstract: We describe a generating tree approach to the enumeration and exhaustive generation of k-nonnesting set partitions and permutations. Unlike previous work in the literature using the connections of these objects to Young tableaux and restricted lattice walks, our approach deals directly with partition and permutation diagrams. We provide explicit functional equations for the generating functions, w… ▽ More We describe a generating tree approach to the enumeration and exhaustive generation of k-nonnesting set partitions and permutations. Unlike previous work in the literature using the connections of these objects to Young tableaux and restricted lattice walks, our approach deals directly with partition and permutation diagrams. We provide explicit functional equations for the generating functions, with k as a parameter. △ Less

Submitted 10 February, 2014; v1 submitted 29 August, 2011; originally announced August 2011.

Comments: 35 pages, 14 figures, 3 tables, Maple code in appendix

MSC Class: 05A15 (Primary) 05A18 (Secondary)

Journal ref: DMTCS Proceedings, 0(01):409-420, 2012

Set partitions with no m-nesting

Authors: Marni Mishna, Lily Yen

Abstract: A partition on [n] has an m-nesting if there exists i_1 < i_2 < ... < i_m < j_m < j_{m-1} < ... < j_1, where i_l and j_l are in the same block for all 1 <= l <= m. We use generating trees to construct the class of partitions with no m-nesting and determine functional equations satisfied by the associated generating functions. We use algebraic kernel method together with a linear operator to desc… ▽ More A partition on [n] has an m-nesting if there exists i_1 < i_2 < ... < i_m < j_m < j_{m-1} < ... < j_1, where i_l and j_l are in the same block for all 1 <= l <= m. We use generating trees to construct the class of partitions with no m-nesting and determine functional equations satisfied by the associated generating functions. We use algebraic kernel method together with a linear operator to describe a coefficient extraction process. This gives rise to enumerative data, and illustrates the increasing complexity of the coefficient formulas as m increases. △ Less

Submitted 26 March, 2012; v1 submitted 24 June, 2011; originally announced June 2011.

MSC Class: 05A18

Journal ref: In Ilias S. Kotsireas and Eugene V. Zima, editors, Advances in Combinatorics, pages 249-258. Springer Berlin Heidelberg, 2013

Extending Feynman's Formalisms for Modelling Human Joint Action Coordination

Authors: Vladimir G. Ivancevic, Eugene V. Aidman, Leong Yen

Abstract: The recently developed Life-Space-Foam approach to goal-directed human action deals with individual actor dynamics. This paper applies the model to characterize the dynamics of co-action by two or more actors. This dynamics is modelled by: (i) a two-term joint action (including cognitive/motivatonal potential and kinetic energy), and (ii) its associated adaptive path integral, representing an in… ▽ More The recently developed Life-Space-Foam approach to goal-directed human action deals with individual actor dynamics. This paper applies the model to characterize the dynamics of co-action by two or more actors. This dynamics is modelled by: (i) a two-term joint action (including cognitive/motivatonal potential and kinetic energy), and (ii) its associated adaptive path integral, representing an infinite--dimensional neural network. Its feedback adaptation loop has been derived from Bernstein's concepts of sensory corrections loop in human motor control and Brooks' subsumption architectures in robotics. Potential applications of the proposed model in human--robot interaction research are discussed. Keywords: Psycho--physics, human joint action, path integrals △ Less

Submitted 30 June, 2009; originally announced June 2009.

Comments: 6 pages, Latex

Phase Transitions, Chaos and Joint Action in the Life Space Foam

Authors: Vladimir Ivancevic, Eugene Aidman, Leong Yen, Darryn Reid

Abstract: This paper extends our recently developed Life Space Foam (LSF) model of motivated cognitive dynamics \cite{IA}. LSF uses adaptive path integrals to generate Lewinian force--fields on smooth manifolds, in order to characterize the dynamics of individual goal--directed action. According to explanatory theories growing in acceptance in cognitive neuroscience, one of the key properties of this dyna… ▽ More This paper extends our recently developed Life Space Foam (LSF) model of motivated cognitive dynamics \cite{IA}. LSF uses adaptive path integrals to generate Lewinian force--fields on smooth manifolds, in order to characterize the dynamics of individual goal--directed action. According to explanatory theories growing in acceptance in cognitive neuroscience, one of the key properties of this dynamics, capable of linking it to microscopic-level cortical neurodynamics, is its meta-stability and the resulting phase transitions. Our extended LSF model incorporates the notion of phase transitions and complements it with embedded geometrical chaos. To describe this LSF phase transition, a general path--integral is used, along the corresponding LSF topology change. As a result, our extended LSF model is able to rigorously represent co-action by two or more actors in the common LSF--manifold. The model yields substantial qualitative differences in geometrical properties between bilateral and multi-lateral co-action due to intrinsic chaotic coupling between $n$ actors when $n\geq 3$. Keywords: cognitive dynamics, adaptive path integrals, phase transitions, chaos, topology change, human joint action, function approximation △ Less

Submitted 4 June, 2008; originally announced June 2008.

Comments: 20 pages, no figures, elsart

Counting pairs of lattice paths by intersections

Authors: Ira Gessel, Wayne Goddard, Walter Shur, Herbert S. Wilf, Lily Yen

Abstract: On an $r\times (n-r)$ lattice rectangle, we first consider walks that begin at the SW corner, proceed with unit steps in either of the directions E or N, and terminate at the NE corner of the rectangle. For each integer $k$ we ask for $N_k^{n,r}$, the number of {\em ordered\/} pairs of these walks that intersect in exactly $k$ points. The number of points in the intersection of two such walks is… ▽ More On an $r\times (n-r)$ lattice rectangle, we first consider walks that begin at the SW corner, proceed with unit steps in either of the directions E or N, and terminate at the NE corner of the rectangle. For each integer $k$ we ask for $N_k^{n,r}$, the number of {\em ordered\/} pairs of these walks that intersect in exactly $k$ points. The number of points in the intersection of two such walks is defined as the cardinality of the intersection of their two sets of vertices, excluding the initial and terminal vertices. We find two explicit formulas for the numbers $N_k^{n,r}$. Next we note that $N_1^{n,r}= 2 N_0^{n,r}$, i.e., that {\em exactly twice as many pairs of walks have a single intersection as have no intersection\/}. Such a relationship clearly merits a bijective proof, and we supply one. We discuss a number of related results for different assumptions on the two walks. We find the probability that two independent walkers on a given lattice rectangle do not meet. In this situation, the walkers start at the two points $(a,b+x+1)$ and (a+x+1,b)$ in the first quadrant, and walk West or South at each step, except that when a walker reaches the $x$-axis (resp. the $y$-axis) then all future steps are constrained to be South (resp. West) until the origin is reached. We find that if the probability $p(i,j)$ that a step from $(i,j)$ will go West depends only on $i+j$, then the probabilty that the two walkers do not meet until they reach the origin is the same as the probability that a single (unconstrained) walker who starts at $(a, b+x+1)$ and and takes $a+b+x$ steps, finishes at one of the points $(0,1), (-1,2), \ldots, (-x,1+x)$. △ Less

Submitted 15 September, 1994; originally announced September 1994.

Comments: 10 pages

Report number: LACES 05A-94-7 MSC Class: 05A15